Maths Olympiad Prep

Library / /378 of 462

Geometry Difficulty 6.8 National Olympiad Prove it Ireland

A circle CC of radius rr is tangent to L1L_1 and L2L_2, two mutually perpendicular lines in the plane. Circles C1C_1 and C2C_2 have radius ss. Circle C1C_1 is tangent to L1L_1 and externally tangent to the circles CC and C2C_2. Circle C2C_2 is tangent to L2L_2 and externally tangent to the circles CC and C1C_1. Find ss in terms of rr.

Solution

There are two possible configurations as shown in the diagrams below.
Figure 1
Figure 2
Let OO be the intersection point of L1L_1 and L2L_2. The centre PP of circle CC lies on the bisector of the angle between L1L_1 and L2L_2. Because C1C_1 and C2C_2 have equal radius, the line OPOP is the common tangent of these two circles. The angle between OPOP and L1L_1 is bisected by OROR, where RR is the centre of C1C_1.
Figure 3

We now work with coordinates in which L1L_1 is the x-axis, L2L_2 the y-axis and PP has coordinates (r,r)(r, r). Let RR have coordinates (x,y)(x, y). Then y=sy = s is the radius of the circles C1C_1 and C2C_2 and PR2=(xr)2+(yr)2|PR|^2 = (x - r)^2 + (y - r)^2. Since CC and C1C_1 are externally tangent to each other, PR=r+s=r+y|PR| = r + s = r + y and so (r+y)2=(xr)2+(yr)2(r + y)^2 = (x - r)^2 + (y - r)^2 which simplifies to (xr)2=4ry(x - r)^2 = 4ry.
As seen above, the angle between L1L_1 and the line OROR is a quarter of a right angle, hence the slope of OROR is equal to m=tan(π/8)m = \tan(\pi/8), and y=mxy = mx. Thus, (xr)2=4rmx(x - r)^2 = 4rmx. This expands as
x22r(1+2m)x+r2=0 x^2 - 2r(1 + 2m)x + r^2 = 0
with solutions
x1,2=r(1+2m)±r(1+2m)21=r(1+2m±2m2+m) x_{1,2} = r(1 + 2m) \pm r\sqrt{(1 + 2m)^2 - 1} = r(1 + 2m \pm 2\sqrt{m^2 + m})
The two possibilities for ss are then
s1,2=mx1,2=rm(1+2m±2m2+m) s_{1,2} = mx_{1,2} = rm(1 + 2m \pm 2\sqrt{m^2 + m})

Alternatively, we can use basic trigonometry to find a value for mm. The half-angle formula for the tangent function says tan(α/2)=(1cos(α))/sin(α)\tan(\alpha/2) = (1 - \cos(\alpha))/\sin(\alpha). In our case, α=π/4\alpha = \pi/4 and cos(π/4)=sin(π/4)=1/2\cos(\pi/4) = \sin(\pi/4) = 1/\sqrt{2}. Hence
m=tan(π/8)=1cos(π/4)sin(π/4)=11212=21. m = \tan(\pi/8) = \frac{1 - \cos(\pi/4)}{\sin(\pi/4)} = \frac{1 - \frac{1}{\sqrt{2}}}{\frac{1}{\sqrt{2}}} = \sqrt{2} - 1.

The smaller value corresponds to the diagram on the right, the larger to the diagram on the left at the start of this solution.
We can find a value for the slope mm of OROR with the aid of the Angle Bisector Theorem which says that an angle bisector divides the opposite side in a triangle in a ratio that is equal to the ratio between the sides adjacent to the angle. To apply this, we consider a right angled isosceles triangle OLMOLM with OL=LM=1|OL| = |LM| = 1. If the bisector of LOM\angle LOM meets LMLM at RR, then m=LRm = |LR| is the slope of OROR.
Figure 4

We now obtain m2+m=m(m+1)=(21)2=22m^2 + m = m(m + 1) = (\sqrt{2} - 1)\sqrt{2} = 2 - \sqrt{2} and so
s1,2=r(21)(221±222). s_{1,2} = r(\sqrt{2} - 1)\left(2\sqrt{2} - 1 \pm 2\sqrt{2 - \sqrt{2}}\right).

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.