MathDB
2024 Geo Problem 10

Source:

April 15, 2024
geometry

Problem Statement

Let Ω\Omega be a unit circle with diameter ABAB and center OO. Let CC, DD be on Ω\Omega and lie on the same side of ABAB such that CAB=50\angle CAB = 50^\circ and DBA=70\angle DBA = 70^\circ. Suppose ADAD intersects BCBC at EE. Let the perpendicular from OO to CDCD intersect the perpendicular from EE to ABAB at FF. Find the length of OFOF.
Proposed by Puhua Cheng