Problem: Let k be the circumcircle of △ABC with ∠ACB>90∘, and BD be the diameter of k through B. The circle k1 with center D and radius DC meets k at point E and AB at point G. If F is the intersection point of GE and BD, prove that ∠DCG=∠EFD.
Solution
Solution: Since ∠ACB>90∘, the points G and E lie on different sides to the diameter BD. If ∠DCG=∠EFD, then ∠DCG+∠DFG=180∘, i.e. it is enough to prove that the quadrilateral CDFG is cyclic. On the other hand, CE⊥BD and D is the center of k1. Therefore ∠CDF=21CG⌢k1 (as a central angle), ∠CGF=∠CGE is inscribed in k1 and ∠CGF=21(360∘−CGEk1).
Then ∠CDF+∠CGF=180∘, i.e. the quadrilateral CDFG is cyclic, whence ∠DCG=∠EFD.
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.