Maths Olympiad Prep

Library / /11 of 56

Geometry Difficulty 5.1 AIME, harder Prove it Singapore

In an acute triangle ABCABC, AC>ABAC > AB, DD is the point on BCBC such that AD=ABAD = AB. Let ω1\omega_1 be the circle through CC tangent to ADAD at DD, and ω2\omega_2 the circle through CC tangent to ABAB at BB. Let F(C)F (\neq C) be the second intersection of ω1\omega_1 and ω2\omega_2. Prove that FF lies on ACAC.

Solution

Figure 1
Figure 2
Let ω2\omega_2 intersect ACAC at FF'. We shall prove FF' lies on ω1\omega_1. Thus F=FF = F' lies on ACAC.

Referring to the figure on the right. First ABF=BCA=α\angle ABF' = \angle BCA = \alpha as ABAB is tangent to ω2\omega_2 at BB. Let DBF=β\angle DBF' = \beta. Then AFB=ABC=ADB=α+β\angle AF'B = \angle ABC = \angle ADB = \alpha + \beta so that the quadrilateral ABDFABDF' is cyclic. Thus DFC=ABC=α+β\angle DF'C = \angle ABC = \alpha + \beta.

Now refer to the figure on the left. Since ADAD is tangent to ω1\omega_1, DFC=ADB=α+β=DFC\angle DFC = \angle ADB = \alpha + \beta = \angle DF'C. Thus FF' is on ω1\omega_1 and we are done.

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.