MathDB
Sequence of circles and inequality - ILL 1992 THA1

Source:

September 2, 2010
inequalitiesgeometryperimetergeometric inequalityIMO ShortlistIMO Longlist

Problem Statement

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}.