Kvant Math Problem 617

Let the triangle be $ABC$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m49s
Source on kvant.digital

Problem

Inside a triangle are four circles $\alpha$, $\beta$, $\gamma$, $\delta$ of equal radius, arranged so that each of the circles $\alpha$, $\beta$, $\gamma$ is tangent to two sides of the triangle and to the circle $\delta$ (Fig. 1). Prove that the center of the circle $\delta$ lies on the line passing through the centers of the inscribed circle and the circumscribed circle of the given triangle.

Figure 1

V. Yagubyants

Exploration

Let the triangle be $ABC$. The three equal circles $\alpha,\beta,\gamma$ are tangent respectively to the pairs of sides meeting at $A,B,C$, and each is tangent to the fourth circle $\delta$. Let their common radius be $r$, and let $P,Q,R,S$ be the centers of $\alpha,\beta,\gamma,\delta$.

A circle tangent to the two sides of an angle has its center on the angle bisector. Hence $P,Q,R$ lie on the internal bisectors of $\angle A,\angle B,\angle C$. If $I$ is the incenter and $d_A,d_B,d_C$ denote the distances from $I$ to $A,B,C$ along the corresponding bisectors, then the centers of the circles tangent to the sides at radius $r$ are obtained from $I$ by moving toward the vertices along those bisectors.

Let $\rho$ be the inradius. Along the bisector at $A$, the distance from $A$ to the center of a circle of radius $r$ tangent to the sides through $A$ equals $r/\sin(A/2)$. Since $AI=\rho/\sin(A/2)$, we get

$$AP=AI-IP, \qquad IP=\frac{\rho-r}{\sin(A/2)}.$$

Thus

$$P=I+\left(1-\frac r\rho\right)(A-I)$$

in vector form along the bisector. Analogous formulas hold for $Q,R$.

This is striking: $P,Q,R$ are the images of $A,B,C$ under the homothety centered at $I$ with ratio

$$k=1-\frac r\rho.$$

Therefore triangle $PQR$ is homothetic to $ABC$ and has the same incenter $I$.

Now $S$ is tangent to each of the circles centered at $P,Q,R$. Since all radii are equal, $SP=SQ=SR=2r$. Hence $S$ is the circumcenter of triangle $PQR$.

The circumcenter of a homothetic image of a triangle is the image of the circumcenter. If $O$ is the circumcenter of $ABC$, then the circumcenter of $PQR$ is

$$S=I+k(O-I).$$

Consequently $S$ lies on the line $IO$.

The crucial point is justifying rigorously that $P,Q,R$ are indeed obtained from $A,B,C$ by one and the same homothety centered at $I$.

Problem Understanding

We are given a triangle containing four congruent circles. Three of them, $\alpha,\beta,\gamma$, are each tangent to two sides of the triangle and tangent to the fourth circle $\delta$. We must prove that the center of $\delta$ lies on the Euler line determined by the incenter and circumcenter of the triangle, namely the line through those two centers.

This is a Type B problem.

The core difficulty is relating the configuration of four equal tangent circles to classical centers of the triangle. The natural observation is that the centers of $\alpha,\beta,\gamma$ lie on the angle bisectors. One must then recognize that these three centers form a triangle homothetic to the original triangle with center at the incenter.

Proof Architecture

Lemma 1. If a circle of radius $r$ is tangent to the two sides of angle $A$, then its center lies on the bisector of $A$ at distance $r/\sin(A/2)$ from the vertex.

Sketch. In the right triangle formed by the vertex, the center, and a tangency point, the radius is the side opposite angle $A/2$.

Lemma 2. If $I$ is the incenter and $\rho$ the inradius, then the centers $P,Q,R$ of $\alpha,\beta,\gamma$ are the images of $A,B,C$ under the homothety centered at $I$ with ratio $1-r/\rho$.

Sketch. Apply Lemma 1 both to the incircle and to the circle of radius $r$ at each vertex.

Lemma 3. The center $S$ of $\delta$ is the circumcenter of triangle $PQR$.

Sketch. Since $\delta$ is tangent externally to $\alpha,\beta,\gamma$ and all radii are equal, $SP=SQ=SR=2r$.

Lemma 4. Under a homothety centered at $I$, the circumcenter of a triangle maps to the circumcenter of the image triangle.

Sketch. Distances from the image point to the image vertices are multiplied by the same factor.

The most delicate lemma is Lemma 2, because the entire argument depends on proving that the same homothety ratio works simultaneously at all three vertices.

Solution

Let $A,B,C$ be the vertices of the given triangle, let $I$ be its incenter, and let $O$ be its circumcenter. Denote by $\rho$ the inradius.

Let $P,Q,R,S$ be the centers of the circles $\alpha,\beta,\gamma,\delta$, respectively.

Since $\alpha$ is tangent to the two sides forming angle $A$, its center $P$ lies on the bisector of $\angle A$. Let $T$ be a tangency point of $\alpha$ with one of those sides. Then $\angle PAT=A/2$ and $PT=r$. The right triangle $APT$ gives

$$\sin\frac A2=\frac{PT}{AP}=\frac r{AP},$$

hence

$$AP=\frac r{\sin(A/2)}.$$

Applying the same computation to the incircle, whose center is $I$ and radius is $\rho$, we obtain

$$AI=\frac{\rho}{\sin(A/2)}.$$

Therefore

$$IP=AI-AP =\frac{\rho-r}{\sin(A/2)} =\left(1-\frac r\rho\right)AI.$$

Since $P$ lies on segment $AI$, this equality means that

$$\overrightarrow{IP} = \left(1-\frac r\rho\right)\overrightarrow{IA}.$$

Exactly the same argument yields

$$\overrightarrow{IQ} = \left(1-\frac r\rho\right)\overrightarrow{IB}, \qquad \overrightarrow{IR} = \left(1-\frac r\rho\right)\overrightarrow{IC}.$$

Thus $P,Q,R$ are obtained from $A,B,C$ by the homothety with center $I$ and ratio

$$k=1-\frac r\rho.$$

Hence triangle $PQR$ is the image of triangle $ABC$ under that homothety.

Because $\delta$ is tangent externally to each of the circles $\alpha,\beta,\gamma$, and all four circles have radius $r$, we have

$$SP=SQ=SR=2r.$$

Consequently $S$ is the circumcenter of triangle $PQR$.

Now consider the image of $O$ under the homothety of ratio $k$ centered at $I$. Let this image be $O'$.

Since

$$O'A=k\cdot OA,\qquad O'P=k\cdot OA,$$

and similarly for the other vertices, we obtain

$$O'P=O'Q=O'R.$$

Thus $O'$ is the circumcenter of triangle $PQR$.

A triangle has a unique circumcenter, so $O'=S$.

Since $O'$ is the image of $O$ under a homothety centered at $I$, the points $I,O,O'$ are collinear. Therefore $I,O,S$ are collinear.

Hence the center of the circle $\delta$ lies on the line joining the incenter and circumcenter of the given triangle.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the formula

$$AP=\frac r{\sin(A/2)}.$$

Let $T$ be the tangency point of $\alpha$ with side $AB$. Because the radius to a tangency point is perpendicular to the tangent line, triangle $APT$ is right-angled at $T$. The center lies on the angle bisector, so $\angle PAT=A/2$. The definition of sine in the right triangle gives

$$\sin(A/2)=PT/AP=r/AP.$$

No additional geometric assumptions are used.

The second delicate step is proving that a single homothety ratio works at all three vertices. From

$$AI=\frac{\rho}{\sin(A/2)},\qquad AP=\frac r{\sin(A/2)},$$

we obtain

$$IP=\frac{\rho-r}{\sin(A/2)} = \left(1-\frac r\rho\right)AI.$$

The factor $1-r/\rho$ is independent of $A$. Repeating the same calculation at $B$ and $C$ produces exactly the same factor. This is what guarantees one global homothety rather than three unrelated scalings.

The third delicate step is identifying $S$ as the circumcenter of $PQR$. Since $\delta$ and $\alpha$ are congruent and externally tangent,

$$SP=r+r=2r.$$

The same holds for $SQ$ and $SR$. Thus $S$ is equidistant from $P,Q,R$, which is precisely the defining property of the circumcenter.

Alternative Approaches

A coordinate approach is possible. Using trilinear coordinates with respect to $ABC$, the center of a circle tangent to the sides through $A$ and having radius $r$ has coordinates proportional to

$$(r,; r\sin(C/2),; r\sin(B/2)).$$

Analogous formulas give the centers of the other two circles. The equal tangency conditions determine the center of $\delta$ as the circumcenter of the triangle formed by these three centers. After converting to barycentric coordinates, one finds that this point is a linear combination of the incenter and circumcenter, proving collinearity.

The homothety argument is preferable because it avoids computation. The equal radii immediately imply that the center of $\delta$ is the circumcenter of the triangle of the other three centers, and the geometry of angle bisectors shows that this triangle is a homothetic image of the original one. The conclusion then follows from a single application of the behavior of circumcenters under homothety.