1. Define the setup and notation:
Let S1 and S2 be two equal circles intersecting at points X and Y. Let ℓ be a line intersecting S1 at points A and C, and S2 at points B and D in the order A,B,C,D on ℓ. Define circles Γ1 and Γ2 such that both touch S1 internally and S2 externally, and both touch the line ℓ. Additionally, Γ1 and Γ2 lie in different half-planes relative to ℓ and touch each other.
2. **Introduce the midpoint M and radius r:**
Let M be the midpoint of the segment XY. Since S1 and S2 are equal circles, the distance from M to X and Y is the same, denoted as r. Thus, MX=MY=r.
3. State and prove the lemma:
Lemma: For any circle Γ touching S1 internally at point P and S2 externally at point Q, the points M,P,Q are collinear, and the power of M with respect to Γ is r2.
Proof of Lemma:
- The points P,Q,M are the internal and external similicenters of the pairs of circles (Γ,S1), (Γ,S2), and (S1,S2) respectively.
- By Monge's Theorem, the three similicenters of any three circles are collinear. Therefore, M,P,Q are collinear.
- Let Q′ be the reflection of Q in M. Then, the power of M with respect to Γ is given by:
PowΓ(M)=MP⋅MQ=MP⋅MQ′=PowS1(M)=r2
4. **Apply the lemma to Γ1 and Γ2:**
By the lemma, M has the same power with respect to both Γ1 and Γ2. Since Γ1 and Γ2 touch each other, their radical axis is the line ℓ. Therefore, M lies on ℓ.
5. Conclude the symmetry argument:
Since M lies on ℓ and is the midpoint of XY, the configuration is symmetric with respect to M. This symmetry implies that the segments AB and CD are equal in length.
AB=CD