Maths Olympiad Prep

Track / Stage 7 / 253 of 300 #1653 of 1964

Problem 1653

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

Two equal circles S1S_1 and S2S_2 meet at two different points. The line \ell intersects S1S_1 at points A,CA,C and S2S_2 at points B,DB,D respectively (the order on \ell: A,B,C,DA,B,C,D) . Define circles Γ1\Gamma_1 and Γ2\Gamma_2 as follows: both Γ1\Gamma_1 and Γ2\Gamma_2 touch S1S_1 internally and S2S_2 externally, both Γ1\Gamma_1 and Γ2\Gamma_2 line \ell, Γ1\Gamma_1 and Γ2\Gamma_2 lie in the different halfplanes relatively to line \ell. Suppose that Γ1\Gamma_1 and Γ2\Gamma_2 touch each other. Prove that AB=CDAB=CD.

I. Voronovich

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. Define the setup and notation:
Let S1 S_1 and S2 S_2 be two equal circles intersecting at points X X and Y Y . Let \ell be a line intersecting S1 S_1 at points A A and C C , and S2 S_2 at points B B and D D in the order A,B,C,D A, B, C, D on \ell . Define circles Γ1 \Gamma_1 and Γ2 \Gamma_2 such that both touch S1 S_1 internally and S2 S_2 externally, and both touch the line \ell . Additionally, Γ1 \Gamma_1 and Γ2 \Gamma_2 lie in different half-planes relative to \ell and touch each other.

2. **Introduce the midpoint M M and radius r r :**
Let M M be the midpoint of the segment XY XY . Since S1 S_1 and S2 S_2 are equal circles, the distance from M M to X X and Y Y is the same, denoted as r r . Thus, MX=MY=r MX = MY = r .

3. State and prove the lemma:
Lemma: For any circle Γ \Gamma touching S1 S_1 internally at point P P and S2 S_2 externally at point Q Q , the points M,P,Q M, P, Q are collinear, and the power of M M with respect to Γ \Gamma is r2 r^2 .

Proof of Lemma:
- The points P,Q,M P, Q, M are the internal and external similicenters of the pairs of circles (Γ,S1) (\Gamma, S_1) , (Γ,S2) (\Gamma, S_2) , and (S1,S2) (S_1, S_2) respectively.
- By Monge's Theorem, the three similicenters of any three circles are collinear. Therefore, M,P,Q M, P, Q are collinear.
- Let Q Q' be the reflection of Q Q in M M . Then, the power of M M with respect to Γ \Gamma is given by:
PowΓ(M)=MPMQ=MPMQ=PowS1(M)=r2 \text{Pow}_{\Gamma}(M) = MP \cdot MQ = MP \cdot MQ' = \text{Pow}_{S_1}(M) = r^2

4. **Apply the lemma to Γ1 \Gamma_1 and Γ2 \Gamma_2 :**
By the lemma, M M has the same power with respect to both Γ1 \Gamma_1 and Γ2 \Gamma_2 . Since Γ1 \Gamma_1 and Γ2 \Gamma_2 touch each other, their radical axis is the line \ell . Therefore, M M lies on \ell .

5. Conclude the symmetry argument:
Since M M lies on \ell and is the midpoint of XY XY , the configuration is symmetric with respect to M M . This symmetry implies that the segments AB AB and CD CD are equal in length.

AB=CD \boxed{AB = CD}

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