Y by Adventure10, Mango247
Let O be the center of circumcircle c of acuted-triangle ABC. Another circle c* with center O* tangents internally circle c at point A and side BC at point D. Also circle c* intersect the lines AB and AC respectively at points E and F, and lines OO* and EO* respectively at points K and A, G and E. Lines BO and KG intersect at H. Prove DF^2=AF x GH.