Two circles ω1 and ω2 intersected at points A and B. Line through B is intersect the ω1 at point C and intersect the ω2 at point D. The line AD intersect the ω1 at point E different from A and the line AC intersect the ω2 at point F different from A. If O is circumcenter of triangle AEF then prove that OB⊥CD.
(Proposed by B. Bat-Od)
Solution
We draw the circumcircle of AEF, and denote ∠EAC=α. So ∠EAF=180∘−α and from here we get ∠EOF=2α. Other hand α=∠EBC=∠EAC=∠FAD=∠FBD, so ∠EBF=180∘−2α. From here we have ∠EOF+∠EBF=180∘, hence EOFB is cyclic. Therefore, from EO=FO we have ∠EBO=∠OBF. From here we have ∠OBC=∠CBE+∠EBO=∠OBF+∠FBD=∠OBD. We know ∠OBC+∠OBD=180∘ so OB⊥CD.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.