Pentru ca
\( OM\perp AC \) si astfel
\( YM\perp AC \) este suficient sa demonstram ca
\( OF\perp XF \) pentru ca punctele
\( F,M,Y,Z \) sa fie conciclice.
Acest lucru se demonstreaza interesant astfel:
Fie
\( D \) simetricul lui
\( H \) fata de
\( AB \). Atunci patrulaterul
\( ADPH \) este romb(diagonalele se injumatatesc, si sunt perpendiculare). Notam cu
\( T \) intersectia
\( AD\cap XF \). Deoarece
\( F \) este centrul de simetrie al rombului avem
\( XF=FT \).
Acum sa observam ca punctul
\( D \) este pe cercul circumscris triunghiului
\( ABC \), deci patrulaterul
\( ACBD \) este inscriptibil.
\( F \) este intersectia diagonalelor acestul patrulater, si dreapta
\( XF \) trece prin intersectia diagonalelor si taie doua laturi opuse in
\( X,T \) astfel incat
\( XF=FT \).
Acum, dintr-o problema cunoscuta, problema "fluturelui" rezulta ca daca
\( Q,R \) sunt intersectiile lui
\( XF \) cu cercul circumscris patrulaterului(adica cercul circumscris triunghiului
\( ABC \)) atunci
\( RF=QF \) de unde rezulta si
\( OF\perp XF \).
Probabil ca asa a fost construita problema

:
-se considera dreapta perpendiculara pe
\( OF \) si intersectia ei cu cercul;
-din constructie,
\( F \) este mijlocul coardei formate;
-din teorema "fluturelui" rezulta ca
\( XF=FT \);
-daca facem simetricul triunghiului
\( AFD \) fata de
\( F \) atunci obtinem triunghiul
\( PHF \) si
\( X\in PH\cap AB \).
... acuma se da ultima parte numai si se cere prima, sau ceva echivalent cu ea, ca si in problema noastra
