Maths Olympiad Prep

Library / /84 of 92

Geometry Difficulty 7.5 National olympiad, round 2 Prove it Iran

The distance between two circles ω\omega and ω\omega' is defined as the length of their common external tangent and is represented as d(ω,ω)d(\omega, \omega'). If two circles don't have a common external tangent, the distance between them is not defined. Also, note that a point is a circle with zero radius and that the distance between two circles can be zero.

a) Centroid. Circles ω1,ω2,...,ωn\omega_1, \omega_2, ..., \omega_n are given in the plane where nn is a natural number. Prove that a unique circle ωˉ\bar{\omega} exists such that for an arbitrary circle ω\omega in that plane, the difference between the square of the distance between ω\omega and ωˉ\bar{\omega} and the average of the squares of the distances between ω\omega and ωi\omega_i (1in1 \le i \le n) is constant (for those circles ω\omega that all these distances are defined). That is,
ω:d(ω,ωˉ)21ni=1nd(ω,ωi)2=constant. \forall \omega : d(\omega, \bar{\omega})^2 - \frac{1}{n} \sum_{i=1}^{n} d(\omega, \omega_i)^2 = \text{constant.}
ωˉ\bar{\omega} is called the centroid of these circles, for it is similar to the centroid of nn points in the plane.

b) Perpendicular bisector. Suppose that circle ω\omega is equidistant from circles ω1\omega_1 and ω2\omega_2. Let ω3\omega_3 be an arbitrary circle whose center is on the centerline of circles ω1\omega_1 and ω2\omega_2 and is tangent to the common external tangent of circles ω1\omega_1 and ω2\omega_2. Prove that "the distance between ω\omega and the centroid of circles ω1\omega_1 and ω2\omega_2" is not more than "the distance between ω\omega and ω3\omega_3" (for the case that all these distances are defined).

c) Circumcenter. Let CC be the set of all circles in the plane that each one of them is equidistant from three fixed circles ω1,ω2\omega_1, \omega_2 and ω3\omega_3. Prove that a fixed point exists in the plane that is the direct homothetic center of each two circles in CC.

d) Regular tetrahedron. Do there exist four circles in the plane for which the distance between any two of them is unity?

150 minutes (→ p.34)

Solution

Denote by C(O,R)C(O, R) the circle with center OO and radius RR. If ω1=C(O1,R1)\omega_1 = C(O_1, R_1) and ω2=C(O2,R2)\omega_2 = C(O_2, R_2), then
d(ω1,ω2)2=O1O22(R1R2)2, d(\omega_1, \omega_2)^2 = O_1 O_2^2 - (R_1 - R_2)^2,
and d(ω1,ω2)d(\omega_1, \omega_2) is defined if and only if the right hand side is nonnegative. This is equivalent to the existence of the common external tangents of these circles.

a) Let ω=C(O,R)\omega = C(O, R) and ωi=C(Oi,Ri)\omega_i = C(O_i, R_i) for 1in1 \leq i \leq n. We have
1ni=1nd(ω,ωi)2=1ni=1nOOi2+1ni=1n(RRi)2. \frac{1}{n} \sum_{i=1}^{n} d(\omega, \omega_i)^2 = \frac{1}{n} \sum_{i=1}^{n} OO_i^2 + \frac{1}{n} \sum_{i=1}^{n} (R - R_i)^2.
Suppose that Rˉ=1n(R1+R2++Rn)\bar{R} = \frac{1}{n}(R_1 + R_2 + \dots + R_n). Then
1ni=1n(RRi)2=R22RRˉ+1ni=1nRi2=(RRˉ)2+1ni=1n(RˉRi)2. \frac{1}{n} \sum_{i=1}^{n} (R - R_i)^2 = R^2 - 2R\bar{R} + \frac{1}{n} \sum_{i=1}^{n} R_i^2 = (R - \bar{R})^2 + \frac{1}{n} \sum_{i=1}^{n} (\bar{R} - R_i)^2.
Similarly, let Oˉ\bar{O} be the centroid of all the OiO_i's (1in1 \leq i \leq n). Then
1ni=1nOOi2=OOˉ2+1ni=1nOˉOi2. \frac{1}{n} \sum_{i=1}^{n} OO_i^2 = O\bar{O}^2 + \frac{1}{n} \sum_{i=1}^{n} \bar{O}O_i^2.
Therefore, the circle C(Oˉ,Rˉ)C(\bar{O}, \bar{R}) satisfies the problems condition. Now, if two circles ωˉ1=C(P1,r1)\bar{\omega}_1 = C(P_1, r_1) and ωˉ2=C(P2,r2)\bar{\omega}_2 = C(P_2, r_2) both satisfy the problems condition, for each circle ω\omega we can write (C is a constant value here):
d(ω,ωˉ1)2d(ω,ωˉ2)2=COP12OP22+(Rr1)2(Rr2)2=COP12OP222R(r1r2)=C \begin{align*} d(\omega, \bar{\omega}_1)^2 - d(\omega, \bar{\omega}_2)^2 &= C \\ \Rightarrow \quad &OP_1^2 - OP_2^2 + (R - r_1)^2 - (R - r_2)^2 = C \\ \Rightarrow \quad &OP_1^2 - OP_2^2 - 2R(r_1 - r_2) = C \end{align*}
By fixing OO, we have r1=r2r_1 = r_2 and hence OP12OP22OP_1^2 - OP_2^2 is a constant value. Thus P1=P2P_1 = P_2 and ωˉ1=ωˉ2\bar{\omega}_1 = \bar{\omega}_2. Therefore, ωˉ=C(Oˉ,Rˉ)\bar{\omega} = C(\bar{O}, \bar{R}) is the unique circle satisfying the problems condition.

b) We can write x3=(1α)x1+αx2x_3 = (1 - \alpha)x_1 + \alpha x_2 for some αR\alpha \in \mathbb{R}. Since the distances of O1O_1 and O2O_2 from the common tangent are R1R_1 and R2R_2, respectively, we conclude that the distance of O3O_3 from this line is (1α)R1+αR2|(1 - \alpha)R_1 + \alpha R_2| (If the number in the absolute value sign is negative, it means that O1O_1 and O2O_2 are in the two sides of that line). So
R3=(1α)R1+αR2. R_3 = |(1 - \alpha)R_1 + \alpha R_2|.
Furthermore, the centroid of ω1\omega_1 and ω2\omega_2 is ωˉ=C(x1+x22,R1+R22)\bar{\omega} = C(\frac{x_1+x_2}{2}, \frac{R_1+R_2}{2}). Therefore, putting α=12\alpha = \frac{1}{2} in the definition of ω3\omega_3 implies
d(ω,ω1)=d(ω,ω2)OO12(RR1)2=OO22(RR2)2OO12OO22=R12R222R(R1R2)(xx1)2(xx2)2=R12R222R(R1R2)2x(x1x2)2R(R1R2)=x12x22R12+R22. \begin{aligned} d(\omega, \omega_1) &= d(\omega, \omega_2) \\ &\Rightarrow OO_1^2 - (R - R_1)^2 = OO_2^2 - (R - R_2)^2 \\ &\Rightarrow OO_1^2 - OO_2^2 = R_1^2 - R_2^2 - 2R(R_1 - R_2) \\ &\Rightarrow (x - x_1)^2 - (x - x_2)^2 = R_1^2 - R_2^2 - 2R(R_1 - R_2) \\ &\Rightarrow 2x(x_1 - x_2) - 2R(R_1 - R_2) = x_1^2 - x_2^2 - R_1^2 + R_2^2. \end{aligned}
We have
d(ω,ω3)2=(xx3)2+y2(RR3)2=(x((1α)x1+αx2))2+y2(R((1α)R1+αR2))2=((xx1)+α(x1x2))2+y2((RR1)+α(R1R2))2. \begin{aligned} d(\omega, \omega_3)^2 &= (x - x_3)^2 + y^2 - (R - R_3)^2 \\ &= (x - ((1 - \alpha)x_1 + \alpha x_2))^2 + y^2 - (R - ((1 - \alpha)R_1 + \alpha R_2))^2 \\ &= ((x - x_1) + \alpha(x_1 - x_2))^2 + y^2 - ((R - R_1) + \alpha(R_1 - R_2))^2. \end{aligned}
Suppose that circles ω\omega, ω1\omega_1 and ω2\omega_2 are fixed and α\alpha varies. We can write d(ω,ω3)2d(\omega, \omega_3)^2 as a polynomial of α\alpha such as p2α2+p1α+p0p_2\alpha^2 + p_1\alpha + p_0. We know p2=(x1x2)2(R1R2)2p_2 = (x_1 - x_2)^2 - (R_1 - R_2)^2 is nonnegative because d(ω1,ω2)d(\omega_1, \omega_2) is defined. Furthermore, the coefficient of α\alpha is
p1=2(x1x2)(xx1)2(R1R2)(RR1). p_1 = 2(x_1 - x_2)(x - x_1) - 2(R_1 - R_2)(R - R_1).
Because of the relation between XX and RR,
x12R12x22+R222x1(x1x2)+2R1(R1R2)=(x1x2)2+(R1R2)2. x_1^2 - R_1^2 - x_2^2 + R_2^2 - 2x_1(x_1 - x_2) + 2R_1(R_1 - R_2) = -(x_1 - x_2)^2 + (R_1 - R_2)^2.
If p1=p2=0p_1 = p_2 = 0, d(ω,ω3)d(\omega, \omega_3) is independent of α\alpha. Otherwise, the minimum value of d(ω,ω3)d(\omega, \omega_3) is for α=12\alpha = \frac{1}{2} and the assertion is proved.

c) First, note that the radical center of three circles ω1,ω2\omega_1, \omega_2 and ω3\omega_3, as a circle with radius zero is equidistant from these circles (if this point is outside of all the circles). Therefore, we have
Lemma 1. If two circles C1C_1 and C2C_2 are both equidistant from ω1\omega_1 and ω2\omega_2, then the direct homothetic center of C1C_1 and C2C_2 lies on the radical axis of ω1\omega_1 and ω2\omega_2. If two circles C1C_1 and C2C_2 have equal radius then the direct homothetic center of them is not defined. In this case, the line passing through the centers of C1C_1 and C2C_2 is parallel to the radical axis of ω1\omega_1 and ω2\omega_2.
Let ωi=C(Oi,Ri)\omega_i = C(O_i, R_i) and Ci=C(Pi,ri)C_i = C(P_i, r_i). We can assume that Oi=(xi,0)O_i = (x_i, 0) and Pi=(ai,bi)P_i = (a_i, b_i). If (x,0)(x, 0) lies on the radical axis of ω1\omega_1 and ω2\omega_2, then
(xx1)2R12=(xx2)2R22x=x12x22R12+R222(x1x2). (x - x_1)^2 - R_1^2 = (x - x_2)^2 - R_2^2 \Rightarrow x = \frac{x_1^2 - x_2^2 - R_1^2 + R_2^2}{2(x_1 - x_2)}.
Denote this value by cc. We proved in part b that
2ai(x1x2)2ri(R1R2)=x12R12x22+R22ai=riR1R2x1x2+c. 2a_i(x_1 - x_2) - 2r_i(R_1 - R_2) = x_1^2 - R_1^2 - x_2^2 + R_2^2 \Rightarrow a_i = r_i \frac{R_1 - R_2}{x_1 - x_2} + c.
The direct homothetic center of C1C_1 and C2C_2 lies on P1P2P_1P_2 and hence it can be shown that
S=r2r2r1P1r1r2r1P2 (whenever r1r2), S = \frac{r_2}{r_2 - r_1} P_1 - \frac{r_1}{r_2 - r_1} P_2 \text{ (whenever } r_1 \neq r_2),
so the first coordinate of SS is
r2a1r1a2r2r1=1r2r1[r2(r1R1R2x1x2+c)r1(r2R1R2x1x2+c)]=c. \frac{r_2 a_1 - r_1 a_2}{r_2 - r_1} = \frac{1}{r_2 - r_1} \left[ r_2 \left( r_1 \frac{R_1 - R_2}{x_1 - x_2} + c \right) - r_1 \left( r_2 \frac{R_1 - R_2}{x_1 - x_2} + c \right) \right] = c.
Hence SS lies on the radical axis of ω1\omega_1 and ω2\omega_2.
Otherwise, if r1=r2r_1 = r_2, by the above equations we get a1=a2a_1 = a_2 and thus the line passing through the centers of C1C_1 and C2C_2 is parallel to the radical axis of ω1\omega_1 and ω2\omega_2.

d) The answer is no. Let ωi=C(Oi,Ri)\omega_i = C(O_i, R_i) and dij=OiOjd_{ij} = |O_i - O_j|. We assume that R1R2R3R4R_1 \ge R_2 \ge R_3 \ge R_4. According to the problems assumption we must have
dij2(RiRj)2=1. d_{ij}^2 - (R_i - R_j)^2 = 1.
Note that these equations are invariant under addition of a constant number to RiR_i's (1in1 \le i \le n). Therefore, we can suppose that R4=0R_4 = 0 and O4O_4 lies on the radical axis of ω1\omega_1 and ω2\omega_2. According to the following figure we have:
a2+x2R12=1,a2+y2R22=1,(x+y)2(R1R2)2=1. \begin{aligned} a^2 + x^2 - R_1^2 &= 1, \\ a^2 + y^2 - R_2^2 &= 1, \\ (x + y)^2 - (R_1 - R_2)^2 &= 1. \end{aligned}

Figure 1

Subtracting the sum of the first two equations from the third one implies:
2xy+2R1R2+22a2=1a=12+xy+R1R2. 2xy + 2R_1R_2 + 2 - 2a^2 = 1 \Rightarrow a = \sqrt{\frac{1}{2} + xy + R_1R_2}.
On the other hand, by subtraction of the first equation from the second one we have:
{x2y2=R12R22x+y=d12xy=R12R22d12{x,y}=d122±R12R222d12xy=d1224(R12R22d12)2. \begin{cases} x^2 - y^2 = R_1^2 - R_2^2 \\ x + y = d_{12} \end{cases} \Rightarrow \begin{aligned} x - y &= \frac{R_1^2 - R_2^2}{d_{12}} \\ \Rightarrow \{x, y\} = \frac{d_{12}}{2} \pm \frac{R_1^2 - R_2^2}{2d_{12}} \\ \Rightarrow xy = \frac{d_{12}^2}{4} - \left(\frac{R_1^2 - R_2^2}{d_{12}}\right)^2. \end{aligned}
Hence
a=12+d1224(R12R22)24d122+R1R2. a = \sqrt{\frac{1}{2} + \frac{d_{12}^2}{4} - \frac{(R_1^2 - R_2^2)^2}{4d_{12}^2} + R_1 R_2}.
Now, replacing R1R_1, R2R_2 and R3R_3 by R1R3R_1 - R_3, R2R3R_2 - R_3 and 0 yields:
b=12+d1224((R1R3)2(R2R3)2)24d122+(R1R3)(R2R3). b = \sqrt{\frac{1}{2} + \frac{d_{12}^2}{4} - \frac{((R_1 - R_3)^2 - (R_2 - R_3)^2)^2}{4d_{12}^2} + (R_1 - R_3)(R_2 - R_3)}.
Figure 2

There are two possibilities.
Case 1. O3O_3 and O4O_4 are not on the same side of O1O2O_1O_2. In this case we have
O3O42R32=11+R32=O3O42(a+b)2a2+b2. O_3O_4^2 - R_3^2 = 1 \Rightarrow 1 + R_3^2 = O_3O_4^2 \geq (a+b)^2 \geq a^2 + b^2.
On the other hand,
a2>12+R1R2, a^2 > \frac{1}{2} + R_1 R_2,
b2>12+(R1R3)(R2R3), b^2 > \frac{1}{2} + (R_1 - R_3)(R_2 - R_3),
so
R32>R1R2+(R1R3)(R2R3)(R1+R2)R3>2R1R2. R_3^2 > R_1 R_2 + (R_1 - R_3)(R_2 - R_3) \Rightarrow (R_1 + R_2)R_3 > 2R_1 R_2.
But this is in contradiction with the assumption that R1R2R3R_1 \geq R_2 \geq R_3.

Case 2. O3O_3 and O4O_4 are on the same side of O1O2O_1O_2. In this case we have
1+R32=(ab)2+(xz)2=(a2+x2)+(b2+z2)2ab2xz=1+R12+1+(R1R3)22ab2xz0=1+2R122R1R32ab2xz4ab+4xz=2+4R1(R1R3). \begin{aligned} 1 + R_3^2 &= (a-b)^2 + (x-z)^2 = (a^2+x^2) + (b^2+z^2) - 2ab - 2xz \\ &= 1 + R_1^2 + 1 + (R_1 - R_3)^2 - 2ab - 2xz \\ \Rightarrow 0 &= 1 + 2R_1^2 - 2R_1R_3 - 2ab - 2xz \\ \Rightarrow 4ab + 4xz &= 2 + 4R_1(R_1 - R_3). \end{aligned}
Substituting d122=1+(R1R2)2d_{12}^2 = 1 + (R_1 - R_2)^2 implies
a=12+d1224(R12R22)24d122+R1R2=34+(R1+R2)24(R1R2)2(R1+R2)24(1+(R1R2)2) a = \sqrt{\frac{1}{2} + \frac{d_{12}^2}{4} - \frac{(R_1^2 - R_2^2)^2}{4d_{12}^2} + R_1 R_2} = \sqrt{\frac{3}{4} + \frac{(R_1 + R_2)^2}{4} - \frac{(R_1 - R_2)^2 (R_1 + R_2)^2}{4(1 + (R_1 - R_2)^2)}}
Similarly,
b=34+(R1+R22R3)24(R1R2)2(R1+R22R3)24(1+(R1R2)2) b = \sqrt{\frac{3}{4} + \frac{(R_1 + R_2 - 2R_3)^2}{4} - \frac{(R_1 - R_2)^2 (R_1 + R_2 - 2R_3)^2}{4(1 + (R_1 - R_2)^2)}}
Defining
t:=R1R2,s:=R1+R22R3,r:=R1+R2, \begin{aligned} t &:= R_1 - R_2, \\ s &:= R_1 + R_2 - 2R_3, \\ r &:= R_1 + R_2, \end{aligned}
we have
a=34+r24r2t24(1+t2)=34+r24(1+t2),b=34+s24(1+t2). \begin{aligned} a &= \sqrt{\frac{3}{4} + \frac{r^2}{4} - \frac{r^2 t^2}{4(1+t^2)}} = \sqrt{\frac{3}{4} + \frac{r^2}{4(1+t^2)}}, \\ b &= \sqrt{\frac{3}{4} + \frac{s^2}{4(1+t^2)}}. \end{aligned}
Also,
xz=(d122+R12R222d12)(d122+(R1R3)2(R2R3)22d12)=1+t24+rt4+st4+rst24(1+t2). xz = \left(\frac{d_{12}}{2} + \frac{R_1^2 - R_2^2}{2d_{12}}\right) \left(\frac{d_{12}}{2} + \frac{(R_1 - R_3)^2 - (R_2 - R_3)^2}{2d_{12}}\right) = \frac{1+t^2}{4} + \frac{rt}{4} + \frac{st}{4} + \frac{rst^2}{4(1+t^2)}.
Now, we have:
4ab+4xz=2+4R1(R1R3)(3+r21+t2)(3+s21+t2)+1+t2+rt+st+rst21+t2=2+(r+t)(s+t). \begin{aligned} 4ab + 4xz &= 2 + 4R_1(R_1 - R_3) \\ \Rightarrow \sqrt{\left(3 + \frac{r^2}{1+t^2}\right) \left(3 + \frac{s^2}{1+t^2}\right)} + 1 + t^2 + rt + st + \frac{rst^2}{1+t^2} &= 2 + (r+t)(s+t). \end{aligned}
Multiplication by 1+t21+t^2 and some computations yields:
(3+3t2+r2)(3+3t2+s2)=1+t2+rs, \sqrt{(3 + 3t^2 + r^2)(3 + 3t^2 + s^2)} = 1 + t^2 + rs,
which is in contradiction with the Cauchy-Schwarz inequality.

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 and solution reproduced as published; topic and difficulty added by this site.