Problem

Source: Turkish Mathematical Olympiad 2nd Round 1995

Tags: geometry, trigonometry, geometric transformation, reflection, circumcircle, radical axis, geometry unsolved



Let $ABC$ be an acute triangle and let $k_{1},k_{2},k_{3}$ be the circles with diameters $BC,CA,AB$, respectively. Let $K$ be the radical center of these circles. Segments $AK,CK,BK$ meet $k_{1},k_{2},k_{3}$ again at $D,E,F$, respectively. If the areas of triangles $ABC,DBC,ECA,FAB$ are $u,x,y,z$, respectively, prove that \[u^{2}=x^{2}+y^{2}+z^{2}.\]