2201. Одна окружность лежит внутри другой. Пусть для некоторой точки A
большей окружности верно следующее утверждение: если из точки A
проведена её хорда AB
, касающаяся меньшей окружности, а из точки B
проведена хорда BC
большей окружности, отличная от AB
и касающаяся меньшей окружности, то хорда AC
касается меньшей окружности. Тогда оно верно для произвольной точки большей окружности (теорема Понселе для треугольника).
Какую траекторию описывает точка пересечения: а) медиан; б) высот всех таких треугольников ABC
?
Ответ. а) Окружность, гомотетичная с центром O
и коэффициентом \frac{2}{3}
окружности с центром I
радиуса \frac{R}{2}-r
, где O
и I
— центры соответственно большей и меньшей окружностей, а R
и r
— их радиусы;
б) окружность, гомотетичная с центром O
и коэффициентом 2 окружности с центром I
радиуса \frac{R}{2}-r
;
Решение. Докажем сначала теорему Понселе для треугольника. Пусть I
и O
— центры окружностей радиусов r
и R
соответственно. Первая из этих окружностей вписана в треугольник ABC
, а вторая описана около этого треугольника. По формуле Эйлера (см. задачу 126) OI^{2}=R^{2}-2Rr
Из произвольной точки X
большей окружности проведём различные хорды XY
и XZ
большей окружности, касающиеся меньшей. Предположим, что хорда YZ
не имеет общих точек с меньшей окружностью. Будем увеличивать угол YXZ
так, чтобы луч XI
оставался его биссектрисой. Тогда расстояние от точки I
до хорд XY
и XZ
будет увеличиваться (это расстояние равно XI\sin\frac{\alpha}{2}
, где \alpha=\angle YXZ
), а до хорды YZ
уменьшаться.
В какой-то момент хорда YZ
коснётся меньшей окружности. При этом расстояние OI
и радиус R
большей окружности не изменятся. Из формулы Эйлера следует, что не изменится и радиус меньшей окружности. Получено противоречие.
Аналогично, если предположить, что хорда YZ
пересекает меньшую окружность. Следовательно, треугольник XYZ
, вписанный в большую окружность, оказывается описанным около меньшей. Что и требовалось доказать.
Пусть H
— ортоцентр треугольника ABC
, M
— точка пересечения медиан, O_{1}
— центр окружности, проходящей через середины сторон треугольника ABC
(окружность девяти точек). Тогда O_{1}
— середина отрезка OH
, а радиус этой окружности равен \frac{R}{2}
.
По теореме Фейербаха вписанная окружность треугольника ABC
касается окружности, проходящей через середины его сторон. Расстояние между центрами касающихся внутренним образом окружностей равно разности их радиусов, значит, IO_{1}=\frac{R}{2}-r
. Следовательно, точка O_{1}
лежит на окружности \omega
с центром I
и радиусом \frac{R}{2}-r
.
Поскольку OH=2OO_{1}
, точка H
лежит на окружности, гомотетичной с центром O
и коэффициентом 2 окружности \omega
.
Точка M
лежит на прямой OH
(прямая Эйлера) между O
и H
и делит отрезок OH
в отношении 1:2
, считая от точки O
. Значит, OM:OO_{1}=\frac{\frac{1}{3}OH}{\frac{1}{2}OH}=\frac{2}{3}
. Следовательно, точка M
лежит на окружности, гомотетичной с центром O
и коэффициентом \frac{2}{3}
окружности \omega
.