Условие
Три окружности попарно касаются друг друга. Через три точки касания проводим
окружность. Доказать, что эта окружность перпендикулярна к каждой из трёх
исходных. (Углом между двумя окружностями в точке их пересечения называется
угол, образованный их касательными в этой точке.)
Решение
Пусть
A,
B,
C — точки касания,
A1,
B1 и
C1 — центры данных
окружностей, причём точки
A,
B и
C лежат на отрезках
B1C1,
C1A1 и
A1B1 соответственно. Тогда
A1B =
A1C,
B1A =
B1C и
C1A =
C1B. Из этого
следует, что
A,
B и
C — точки касания вписанной окружности треугольника
A1B1C1 с его сторонами. Действительно, пусть
A1B =
A1C =
x,
B1A =
B1C =
y
и
C1A =
C1B =
z. Тогда, например,
x =
и для
точек касания вписанной окружности треугольника
A1B1C1 со сторонами
A1B1 и
A1C1 такое соотношение тоже выполняется. В результате получаем,
что радиусы
A1B,
B1C и
C1A данных окружностей касаются описанной
окружности треугольника
ABC.
Источники и прецеденты использования