Maths Olympiad Prep

Library / Stars of Mathematics Competition /5 of 7

Stars of Mathematics Competition

Geometry Difficulty 6.4 National Olympiad Prove it Romania

Let ABCABC be a triangle. Let MM be a variable point interior to the segment ABAB, and let γB\gamma_B be the circle through MM and tangent at BB to BCBC. Let PP and QQ be the touch points of γB\gamma_B and its tangents from AA, and let XX be the midpoint of the segment PQPQ. Similarly, let NN be a variable point interior to the segment ACAC, and let γC\gamma_C be the circle through NN and tangent at CC to BCBC. Let RR and SS be the touch points of γC\gamma_C and its tangents from AA, and let YY be the midpoint of the segment RSRS. Prove that the line through the centres of the circles AMNAMN and AXYAXY passes through a fixed point.

Solution

We show that the line through the centres of the circles AMNAMN and AXYAXY passes through the centre of the circle ABCABC. Alternatively, but equivalently, we prove that the three circles share a point different from AA.

Invert the whole configuration from AA and let Z′Z' denote the image of ZZ under inversion: The circles ABCABC, AMNAMN and AXYAXY are transformed into the lines B′C′B'C', M′N′M'N' and X′Y′X'Y', respectively; the line BCBC is transformed into the circle γ\gamma through AA, B′B' and C′C'; the circle γB\gamma_B is transformed into a circle γB′\gamma'_B through B′B' and M′M', centred at X′X' and externally tangent to γ\gamma at B′B'; and the circle γC\gamma_C is transformed into a circle γC′\gamma'_C through C′C' and N′N', centred at Y′Y' and externally tangent to γ\gamma at C′C'. In this setting, we are to prove that the lines B′C′B'C', M′N′M'N' and X′Y′X'Y' are (projectively) concurrent.

To this end, let the pair of external common tangents of γB′\gamma'_B and γC′\gamma'_C meet at OO, and let θ\theta be the homothety centred at OO mapping γB′\gamma'_B onto γC′\gamma'_C; clearly, OO lies on the line X′Y′X'Y' through the centres of the two circles. Let further θB\theta_B and θC\theta_C be the homotheties centred at B′B' and C′C', respectively, mapping γ\gamma onto γB′\gamma'_B and γC′\gamma'_C, respectively.

The centres of the three homotheties are collinear, so B′C′B'C' passes through OO.

Finally, θ=θCθB−1\theta = \theta_C\theta_B^{-1}, so θM′=θCθB−1M′=θCA=N′\theta M' = \theta_C\theta_B^{-1}M' = \theta_C A = N', showing that the line M′N′M'N' passes through OO as well. This ends the proof.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.