Maths Olympiad Prep

Library / /6 of 9

Geometry Difficulty 6.2 National Olympiad Prove it Switzerland

Problem:

Let ABCABC be a triangle and let PP be a point in the interior of the side BCBC. Let I1I_{1} and I2I_{2} be the incenters of the triangles APBAPB and APCAPC, respectively. Let XX be the closest point to AA on the line APAP such that XI1XI_{1} is perpendicular to XI2XI_{2}. Prove that the distance AXAX is independent of the choice of PP.

Solution

Solution:

Let ω1\omega_{1} and ω2\omega_{2} be the two incircles, centered at I1I_{1} and I2I_{2} respectively. We first introduce the points R1R_{1} and S1S_{1} on ω1\omega_{1} such that XR1XR_{1} and XS1XS_{1} are tangent to ω1\omega_{1}, with the condition that S1S_{1} is on the line APAP. Similarly, we introduce the points R2R_{2} and S2S_{2} on ω2\omega_{2} such that XR2XR_{2} and XS2XS_{2} are tangent to ω2\omega_{2}, with the condition that S2S_{2} is on the line APAP. Finally, let T1T_{1} and T2T_{2} be the contact points of ω1\omega_{1} and ω2\omega_{2} on the line BCBC. Noting that I1,I2I_{1}, I_{2} are on the angle bisectors of R1XP,PXR2\angle R_{1}XP, \angle PX R_{2}, respectively, we find that
R1XR2=R1XP+PXR2=2(I1XP+PXI2)=290=180 \angle R_{1}XR_{2} = \angle R_{1}XP + \angle PX R_{2} = 2 \cdot (\angle I_{1}XP + \angle PX I_{2}) = 2 \cdot 90^{\circ} = 180^{\circ}
so that R1R2R_{1}R_{2} is a common tangent of ω1\omega_{1} and ω2\omega_{2}. Note that, by reflection over I1I2I_{1}I_{2}, we have R1R2=T1T2R_{1}R_{2} = T_{1}T_{2}. Moreover, as tangents from a point have the same length, we can observe that
R1R2=R1X+XR2=XS1+XS2=S2S1+2XS2 R_{1}R_{2} = R_{1}X + XR_{2} = XS_{1} + XS_{2} = S_{2}S_{1} + 2 \cdot XS_{2}
and
T1T2=T1P+PT2=PS1+PS2=S2S1+2PS1 T_{1}T_{2} = T_{1}P + PT_{2} = PS_{1} + PS_{2} = S_{2}S_{1} + 2 \cdot PS_{1}
so that XS2=PS1XS_{2} = PS_{1}, and we can calculate
AX=AS2XS2=AS2PS1 AX = AS_{2} - XS_{2} = AS_{2} - PS_{1}
However, these last lengths can be computed as distances from a vertex of a triangle to a contact point of its incircle. Hence,
AX=AS2PS1=AB+APBP2AP+PCAC2=AB+ACBC2 AX = AS_{2} - PS_{1} = \frac{AB + AP - BP}{2} - \frac{AP + PC - AC}{2} = \frac{AB + AC - BC}{2}
which is independent from the choice of PP.

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.