Maths Olympiad Prep

Library / /462 of 520

Geometry Difficulty 7.5 National olympiad, round 2 Prove it

Let two circles AA and BB with unequal radii rr and RR, respectively, be tangent internally at the point A0A_0. If there exists a sequence of distinct circles (Cn)(C_n) such that each circle is tangent to both AA and BB, and each circle Cn+1C_{n+1} touches circle CnC_{n} at the point AnA_n, prove that
n=1An+1An<4πRrR+r.\sum_{n=1}^{\infty} |A_{n+1}A_n| < \frac{4 \pi Rr}{R+r}.

Solution

1. Inversion Transformation:
Let MM and NN be the antipodes of A0A_0 in circles A\mathcal{A} and B\mathcal{B}, respectively. Consider an inversion through the pole A0A_0 with power A0MA0N=4Rr\overline{A_0M} \cdot \overline{A_0N} = 4R \cdot r. This inversion transforms the circles A\mathcal{A} and B\mathcal{B} into two lines aa and bb that are perpendicular to A0NA_0N and pass through NN and MM, respectively.

2. Transformation of the Pappus Chain:
The sequence of circles (Cn)(C_n), which form a Pappus chain, are transformed into a sequence of congruent circles (Un)(U_n) that are tangent to each other and to the lines aa and bb. The contact points of the circles UnU_n lie on the midline \ell of aa and bb.

3. Concyclic Points:
The points AnA_n are concyclic on a circle C\mathcal{C} with radius ϱ\varrho. This circle C\mathcal{C} is the inverse image of the midline \ell.

4. **Calculation of Radius ϱ\varrho:**
Let LL be the midpoint of MNMN. We have:
A0MA0N=4Rr=2ϱA0L=2ϱ(R+r) \overline{A_0M} \cdot \overline{A_0N} = 4R \cdot r = 2\varrho \cdot A_0L = 2\varrho \cdot (R + r)
Solving for ϱ\varrho, we get:
ϱ=2RrR+r \varrho = \frac{2Rr}{R + r}

5. Perimeter of the Inscribed Polygon:
Since the points A0,A1,A2,,AnA_0, A_1, A_2, \ldots, A_n are inscribed in the circle C\mathcal{C}, the perimeter of the polygon formed by these points is less than the circumference of C\mathcal{C}. Therefore:
n=1AnAn+1<2πϱ \sum_{n=1}^{\infty} |A_{n}A_{n+1}| < 2\pi \cdot \varrho

6. Final Inequality:
Substituting the value of ϱ\varrho:
2πϱ=2π2RrR+r=4πRrR+r 2\pi \cdot \varrho = 2\pi \cdot \frac{2Rr}{R + r} = \frac{4\pi Rr}{R + r}
Hence, we have:
n=1An+1An<4πRrR+r \sum_{n=1}^{\infty} |A_{n+1}A_n| < \frac{4\pi Rr}{R + r}

The final answer is n=1An+1An<4πRrR+r \boxed{ \sum_{n=1}^{\infty} |A_{n+1}A_n| < \frac{4 \pi Rr}{R+r} }

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

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