Maths Olympiad Prep

Library / Mongolian National Mathematical Olympiad /15 of 31

Mongolian National Mathematical Olympiad

Geometry Difficulty 5.6 AIME, harder Prove it Mongolia

Two circles ω1\omega_1 and ω2\omega_2 intersected at points AA and BB. Line through BB is intersect the ω1\omega_1 at point CC and intersect the ω2\omega_2 at point DD. The line ADAD intersect the ω1\omega_1 at point EE different from AA and the line ACAC intersect the ω2\omega_2 at point FF different from AA. If OO is circumcenter of triangle AEFAEF then prove that OB⊥CDOB \perp CD.

(Proposed by B. Bat-Od)

Solution

We draw the circumcircle of AEFAEF, and denote ∠EAC=α\angle EAC = \alpha. So ∠EAF=180∘−α\angle EAF = 180^\circ - \alpha and from here we get ∠EOF=2α\angle EOF = 2\alpha. Other hand α=∠EBC=∠EAC=∠FAD=∠FBD\alpha = \angle EBC = \angle EAC = \angle FAD = \angle FBD, so ∠EBF=180∘−2α\angle EBF = 180^\circ - 2\alpha. From here we have ∠EOF+∠EBF=180∘\angle EOF + \angle EBF = 180^\circ, hence EOFBEOFB is cyclic. Therefore, from EO=FOEO = FO we have ∠EBO=∠OBF\angle EBO = \angle OBF. From here we have ∠OBC=∠CBE+∠EBO=∠OBF+∠FBD=∠OBD\angle OBC = \angle CBE + \angle EBO = \angle OBF + \angle FBD = \angle OBD. We know ∠OBC+∠OBD=180∘\angle OBC + \angle OBD = 180^\circ so OB⊥CDOB \perp CD.

Figure 1

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.