Let ABCD be a parallelogram and Γ the circumcircle of the triangle ABD. Lines BC and CD meet Γ at E=B and F=D respectively. Prove the circumcenter of the triangle CEF lies on Γ.
Solution
Consider all angles oriented and modulo 180∘. Let O be the center of the circle. In the cyclic pentagon ABEDF, ∠EBF=∠EDF=∠EDC=∠CED+∠DCE=∠BED+∠DCE=∠BAD+∠DCE=2∠DCE. This means that if M is the midpoint of the arc FE that does not contain A, ∠FME=∠EBF=2∠DCE=2∠FCE. Since ME=MF, M is the circumcenter of triangle CEF.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.