Olympiad Maths Prep

Track / Stage 7 / 47 of 300 #1447 of 2000

Problem 1447

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.1 Prove it

Let AA0AA_0 be the altitude of the isosceles triangle ABC (AB=AC)ABC~(AB = AC). A circle γ\gamma centered at the midpoint of AA0AA_0 touches ABAB and ACAC. Let XX be an arbitrary point of line BCBC. Prove that the tangents from XX to γ\gamma cut congruent segments on lines ABAB and ACAC

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Setup and Definitions:
- Let AA0 AA_0 be the altitude of the isosceles triangle ABC ABC with AB=AC AB = AC .
- Let γ \gamma be a circle centered at the midpoint M M of AA0 AA_0 that touches AB AB and AC AC .
- Let X X be an arbitrary point on the line BC BC .
- We need to prove that the tangents from X X to γ \gamma cut congruent segments on lines AB AB and AC AC .

2. **Properties of the Circle γ \gamma **:
- Since γ \gamma is centered at the midpoint M M of AA0 AA_0 and touches AB AB and AC AC , it is the incircle of the right triangle AMA0 AMA_0 .
- The radius of γ \gamma is the distance from M M to AB AB or AC AC .

3. **Tangents from X X to γ \gamma **:
- Let the tangents from X X to γ \gamma touch γ \gamma at points P P and Q Q .
- By the properties of tangents from a point to a circle, XP=XQ XP = XQ .

4. Reflection and Symmetry:
- Reflect P P and Q Q over the line AA0 AA_0 to get points P P' and Q Q' respectively.
- Since γ \gamma is symmetric with respect to AA0 AA_0 , the tangents from X X to γ \gamma will also be symmetric with respect to AA0 AA_0 .

5. **Congruent Segments on AB AB and AC AC **:
- Let P P and Q Q intersect AB AB and AC AC at points S S and R R respectively.
- By the symmetry of the setup, the segments AS AS and AR AR are congruent to AP AP' and AQ AQ' respectively.

6. Using Menelaus' Theorem:
- Consider the triangle ABC ABC with transversal PQR PQR .
- By Menelaus' theorem, we have:
ASSBBRRCCQQA=1 \frac{AS}{SB} \cdot \frac{BR}{RC} \cdot \frac{CQ}{QA} = 1
- Since AS=AR AS = AR and BS=CR BS = CR , the segments AS AS and AR AR are congruent.

7. Conclusion:
- The tangents from X X to γ \gamma cut congruent segments on lines AB AB and AC AC .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.