Maths Olympiad Prep

Track / Stage 6 / 373 of 400 #1373 of 1964

Problem 1373

National olympiad, first round
Geometry Difficulty 6.8 Prove it

Two circles C1C_1 and C2C_2 touch each other externally in a point PP. At point C1C_1 there is a point QQ such that the tangent line in QQ at C1C_1 intersects the circle C2C_2 at points AA and BB. The line QPQP still intersects C2C_2 at point CC.
Prove that triangle ABCABC is isosceles.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Let O1 O_1 and O2 O_2 be the centers of circles C1 C_1 and C2 C_2 , respectively. Since the circles touch externally at point P P , the line O1O2 O_1O_2 passes through P P .

2. Let Q Q be a point on C1 C_1 such that the tangent at Q Q intersects C2 C_2 at points A A and B B . The line QP QP intersects C2 C_2 again at point C C .

3. Since Q Q is a point on C1 C_1 and PQ PQ is a tangent to C1 C_1 at Q Q , we have O1QPQ O_1Q \perp PQ .

4. Let α=PQA \alpha = \angle PQA . Since PQ PQ is tangent to C1 C_1 at Q Q , we have PQO1=90α \angle PQO_1 = 90^\circ - \alpha .

5. Since P P is the point of tangency and the circles touch externally, QPO1=α \angle QPO_1 = \alpha .

6. Similarly, since C C lies on C2 C_2 and QP QP intersects C2 C_2 at C C , we have PCO2=α \angle PCO_2 = \alpha .

7. Since O1O2 O_1O_2 is the line joining the centers of the two circles and passes through P P , we have PO2C=90 \angle PO_2C = 90^\circ .

8. Therefore, O1O2QB O_1O_2 \parallel QB . This implies that CO2AB CO_2 \perp AB .

9. Since CO2AB CO_2 \perp AB , CO2 CO_2 is the perpendicular bisector of AB AB . The perpendicular bisector of any chord of a circle passes through the center of the circle.

10. Let CO2AB=K CO_2 \cap AB = K . By the SSS (Side-Side-Side) congruence criterion, AO2KBO2K \triangle AO_2K \cong \triangle BO_2K .

11. Hence, AK=BK AK = BK , which means K K is the midpoint of AB AB .

12. Since CO2 CO_2 is the perpendicular bisector of AB AB , ABC \triangle ABC is isosceles with AC=BC AC = BC .

\blacksquare

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