Задача из журнала «Квант» (1981 год, 2 выпуск)

Условие

Внутри треугольника расположены окружности $\alpha$, $\beta$, $\gamma$, $\delta$ одинакового радиуса так, что каждая из окружностей $\alpha$, $\beta$, $\gamma$ касается двух сторон треугольника и окружности $\delta$. Докажите, что центр окружности $\delta$ принадлежит прямой, проходящей через центры вписанной в данный треугольник окружности и окружности, описанной около него.

Решение

Пусть $ABC$ — данный треугольник и $O_1$, $O_2$, $O_3$ — центры конгруэнтных окружностей, касающихся пар его сторон, а $O_4$ — центр четвертой окружности — той, которая касается указанны трех (см. рисунок). Длины их радиусов обозначим через $\varrho$. Треугольник $O_1O_2O_3$ гомотетичен треугольнику $ABC$, так как его стороны соответственно параллельны сторонам треугольника $ABC$. Не трудно видеть, что центром этой гомотетии будет точка $N$, являющаяся одновременно центром окружности, вписанной в треугольник $ABC$, и центром окружности, вписанной в треугольник $O_1O_2O_3$. Действительно, прямые $AO_1$, $BO_2$, $CO_3$ являются биссектрисами углов как треугольника $ABC$, так и треугольника $O_1O_2O_3$, а точка $N$ — точка пересечения этих биссектрис.

Теперь заметим, что точка $O_4$ является центром окружности, описанной вокруг треугольника $O_1O_2O_3$ (её расстояния до каждой из вершин этого треугольника равно $2\varrho$).

Рассмотрим гомотетию с центром в точке $N$, переводящую треугольник $O_1O_2O_3$ в треугольник $ABC$. Точка $O_4$ переходит при этом в некоторую точку $M$, лежащую на прямой $NO_4$. Мы уже знаем, что точка $O_4$ была центром окружности, описанной вокруг треугольника $O_1O_2O_3$; следовательно, её образ — точка $M$ — будет центром окружности, описанной вокруг треугольника $ABC$. Тем самым доказано утверждение задачи.

Нетрудно вычислить величину радиуса $\varrho$ этих четырех окружностей через $r$ и $R$ — радиусы вписанной в треугольник $ABC$ окружности и окружности, описанной около него.

Заметим, что радиус окружности, вписанной в треугольник $O_1O_2O_3$, равен $r -\varrho$, а радиус окружности, описанной вокруг этого треугольника, равен $2\varrho$.

Пусть $k$ — коэффициент рассмотренной выше гомотетии. Тогда $(r — \varrho)k = r$ и $2\varrho k = R$. Выразив $k$ из каждого соотношения и приравняв полученные выражения, найдем

$$\frac{r}{r-\varrho} = \frac{R}{2\varrho}\;,$$ откуда $$\varrho = \frac{rR}{R+2r}\;.$$

А.Савин