То самое короткое решение этой задачи.
За a, b, c, d обозначим длины касательных из A, B, C, D к вписанной в ABCD окружности, R ее радиус.
Пусть AB, BC, CD, DA касаются вписанной в ABCD окружности в точках X, Y, Z, T. Пусть X', Z' симметричны X, Z относительно I. Тогда, из теоремы Птолемея для X'YZ'T имеем равенство: YT*XZ = R²*XY*ZT/ac + R²*YZ*XT/bd. Осталось заметить, что AB = YT*IA*IB/2R² (упражнение на площади), и записывая три аналогичных равенства и подставляя их в sqrt(AB*BC*CD*DA), побеждаем.