Let ABC be a triangle with AB=AC. A circle Γ lies outside triangle ABC and is tangent to line AC at C. Point D lies on Γ such that the circumcircle of triangle ABD is internally tangent to Γ. Segment AD meets Γ again at E. Prove that BE is tangent to Γ.
Solution
Note that AB2=AC2=AE×AD. This implies △ABE∼△ADB. It follows that ∠AEB=∠ABD. Let BD meet Γ again at F. Consider the homothety with centre D taking Γ to the circumcircle of △ABD. Since EF is mapped to AB, the lines EF and AB are parallel. Hence, we have ∠AEB=∠ABD=∠EFD=∠ECD. This implies BE is tangent to Γ.
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.