Maths Olympiad Prep

Library / /318 of 377

Geometry Difficulty 5.6 AIME, harder Prove it United States

Problem:

Suppose ABCDABCD is an isosceles trapezoid in which ABCD\overline{AB} \parallel \overline{CD}. Two mutually externally tangent circles ω1\omega_1 and ω2\omega_2 are inscribed in ABCDABCD such that ω1\omega_1 is tangent to AB\overline{AB}, BC\overline{BC}, and CD\overline{CD} while ω2\omega_2 is tangent to AB\overline{AB}, DA\overline{DA}, and CD\overline{CD}. Given that AB=1AB=1, CD=6CD=6, compute the radius of either circle.

Solution

Solution:

Let the radius of both circles be rr, and let ω1\omega_1 be centered at O1O_1. Let ω1\omega_1 be tangent to AB\overline{AB}, BC\overline{BC}, and CD\overline{CD} at PP, QQ, and RR respectively. Then, by symmetry, PB=12rPB = \frac{1}{2} - r and RC=3rRC = 3 - r. By equal tangents from BB and CC, BQ=12rBQ = \frac{1}{2} - r and QC=3rQC = 3 - r.

Now, BO1C\angle BO_1C is right because mO1BC+mBCO1=12(mPBC+mBCR)=90m \angle O_1BC + m \angle BCO_1 = \frac{1}{2}(m \angle PBC + m \angle BCR) = 90^\circ.

Since O1QBC\overline{O_1Q} \perp \overline{BC}, r2=O1Q2=BQQC=(12r)(3r)=r272r+32r^2 = O_1Q^2 = BQ \cdot QC = \left(\frac{1}{2} - r\right)(3 - r) = r^2 - \frac{7}{2}r + \frac{3}{2}.

Solving, we find r=37r = \frac{3}{7}.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.