Maths Olympiad Prep

Library / /79 of 105

Geometry Difficulty 5.3 AIME, harder Prove it United States

Problem:

Let ABCABC be a triangle with circumcircle Γ\Gamma, whose incircle touches BCBC, CACA, ABAB at DD, EE, FF. We draw a circle tangent to segment BCBC at DD and to minor arcBC^\operatorname{arc} \widehat{BC} of Γ\Gamma at the point A1A_{1}. Define B1B_{1} and C1C_{1} in a similar way. Prove that lines A1DA_{1}D, B1EB_{1}E, C1FC_{1}F are concurrent.

Solution

Solution:

By the so-called "shooting lemma" (which is proved by taking homothety at A1A_{1}) we find that line A1DA_{1}D passes through the arc midpoint of BAC^\widehat{BAC} of Γ\Gamma; denote this arc midpoint by XX. Define YY and ZZ similarly, so that YY lies on line B1EB_{1}E and ZZ lies on line C1FC_{1}F.

We note the triangles XYZXYZ and DEFDEF are homothetic, since their corresponding sides are parallel: line YZYZ and EFEF are both known to be perpendicular to the internal A\angle A-bisector. Thus DXDX, EYEY, FZFZ meet at a point—which thus is also the concurrency point of A1DA_{1}D, B1EB_{1}E, C1FC_{1}F.

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.