Let ABCD be a cyclic quadrangle. The perpendicular bisector of BC meets the side AB in point E. The circle through E, C and the midpoint F of the side BC meets the side CD in G. Prove that AD⊥FG. (D. Monk)
Solution
Let the lines AD and FG intersect at point H.
As quadrilaterals ABCD and EFCG are cyclic, it follows that ∠HDG∠HGD=180∘−∠ADC=∠ABC,=∠FGC=∠FEC=∠FEB=90∘−∠ABC. Therefore ∠DHG=180∘−∠HDG−∠HGD=90∘ so AD⊥FG.
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.