MathDB
Three circles

Source: Sharygin Geometry Olympiad Correspondence Round 2017 P-14 (Grade-9-11)

May 1, 2017
geometry

Problem Statement

Let points BB and CC lie on the circle with diameter ADAD and center OO on the same side of ADAD. The circumcircles of triangles ABOABO and CDOCDO meet BCBC at points FF and EE respectively. Prove that R2=AF.DER^2 = AF.DE, where RR is the radius of the given circle. Proposed by N.Moskvitin