Maths Olympiad Prep

Library / /65 of 84

, 2014

Geometry Difficulty 5.7 AIME, harder Prove it United States

Problem:

Two circles are said to be orthogonal if they intersect in two points, and their tangents at either point of intersection are perpendicular. Two circles ω1\omega_{1} and ω2\omega_{2} with radii 1010 and 1313, respectively, are externally tangent at point PP. Another circle ω3\omega_{3} with radius 222 \sqrt{2} passes through PP and is orthogonal to both ω1\omega_{1} and ω2\omega_{2}. A fourth circle ω4\omega_{4}, orthogonal to ω3\omega_{3}, is externally tangent to ω1\omega_{1} and ω2\omega_{2}. Compute the radius of ω4\omega_{4}.

Solution

Solution:

Let ωi\omega_{i} have center OiO_{i} and radius rir_{i}. Since ω3\omega_{3} is orthogonal to ω1\omega_{1}, ω2\omega_{2}, ω4\omega_{4}, it has equal power r32r_{3}^{2} to each of them. Thus O3O_{3} is the radical center of ω1\omega_{1}, ω2\omega_{2}, ω4\omega_{4}, which is equidistant to the three sides of O1O2O4\triangle O_{1} O_{2} O_{4} and therefore its incenter.

For distinct i,j{1,2,4}i, j \in\{1,2,4\}, ωiωj\omega_{i} \cap \omega_{j} lies on the circles with diameters O3OiO_{3} O_{i} and O3OjO_{3} O_{j}, and hence ω3\omega_{3} itself. It follows that ω3\omega_{3} is the incircle of O1O2O4\triangle O_{1} O_{2} O_{4}, so 8=r32=r1r2r4r1+r2+r4=130r423+r4r4=92618 = r_{3}^{2} = \frac{r_{1} r_{2} r_{4}}{r_{1} + r_{2} + r_{4}} = \frac{130 r_{4}}{23 + r_{4}} \Longrightarrow r_{4} = \frac{92}{61}.

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.