Maths Olympiad Prep

Library / /17 of 61

Geometry Difficulty 6.0 National Olympiad Prove it Canada

Problem:
Let ABCABC be a triangle with circumcircle Γ\Gamma and ABACAB \neq AC. Let DD and EE lie on the arc BCBC of Γ\Gamma not containing AA such that BAE=DAC\angle BAE = \angle DAC. Let the incenters of BAEBAE and CADCAD be XX and YY respectively, and let the external tangents of the incircles of BAEBAE and CADCAD intersect at ZZ. Prove that ZZ lies on the common chord of Γ\Gamma and the circumcircle of AXYAXY.

Solution

Solution:
Let AXAX and AYAY intersect (ABC)(ABC) again at PP and QQ, let the inradii of ABEABE and ACDACD be rBr_B and rCr_C, and let (AXY)(AXY) intersect (ABC)(ABC) again at NN.

First note that BAP=12BAE=12CAD=QAC\angle BAP = \frac{1}{2}\angle BAE = \frac{1}{2}\angle CAD = \angle QAC, so XP=BP=CQ=CYXP = BP = CQ = CY. This thus implies that, since NXPNXP and NYQNYQ are spirally similar, NX=NYNX = NY and NP=NQNP = NQ (in particular, NN is the midpoint of arc XAYXAY on (AXY)(AXY)).

Now, note that
ZXZY=rbrc=AXsin(PAE)AYsin(QAD)=AXAY. \frac{ZX}{ZY} = \frac{r_b}{r_c} = \frac{AX\sin(\angle PAE)}{AY\sin(\angle QAD)} = \frac{AX}{AY}.
Since ZZ lies on the ray YXYX, we have that ZZ lies on the external angle bisector of XAY\angle XAY. But so does NN, hence ZZ, AA, NN are collinear, as desired.

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.