Maths Olympiad Prep

Library / /5 of 48

Geometry Difficulty 4.6 AIME Prove it Hong Kong

Let ABCABC be a triangle with AB=ACAB = AC. A circle Γ\Gamma lies outside triangle ABCABC and is tangent to line ACAC at CC. Point DD lies on Γ\Gamma such that the circumcircle of triangle ABDABD is internally tangent to Γ\Gamma. Segment ADAD meets Γ\Gamma again at EE. Prove that BEBE is tangent to Γ\Gamma.

Solution

Note that AB2=AC2=AE×ADAB^2 = AC^2 = AE \times AD. This implies ABEADB\triangle ABE \sim \triangle ADB. It follows that AEB=ABD\angle AEB = \angle ABD. Let BDBD meet Γ\Gamma again at FF. Consider the homothety with centre DD taking Γ\Gamma to the circumcircle of ABD\triangle ABD. Since EFEF is mapped to ABAB, the lines EFEF and ABAB are parallel. Hence, we have
AEB=ABD=EFD=ECD. \angle AEB = \angle ABD = \angle EFD = \angle ECD.
This implies BEBE is tangent to Γ\Gamma.

Figure 1

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.