1088. С помощью одной линейки постройте касательную к данной окружности, проходящую через данную точку.
Решение. Лемма. Если из точки M
, лежащей вне окружности, проведены к окружности касательные MA
, MB
(A
и B
— точки касания) и секущие MCD
и MEF
(рис. 1), то прямые CF
, DE
и AB
пересекаются в одной точке.
Доказательство. Рассмотрим случай, когда точка C
лежит между M
и D
, а точка E
— между M
и F
.
Обозначим
\angle CDE=\alpha_{1},~\angle BDE=\alpha_{2},
\angle DBA=\beta_{1},~\angle ABC=\beta_{2},
\angle FCB=\gamma_{1},~\angle DCF=\gamma_{2}.
Пусть радиус окружности равен R
. По теореме синусов
\sin\alpha_{1}=\frac{CE}{2R},~\sin\alpha_{2}=\frac{BE}{2R},
\sin\beta_{1}=\frac{AD}{2R},~\sin\beta_{2}=\frac{AC}{2R},
\sin\gamma_{1}=\frac{BF}{2R},~\sin\gamma_{2}=\frac{DF}{2R}.
Треугольник MAC
подобен треугольнику MDA
, треугольник MCE
— треугольнику MFD
, а треугольник MEB
— треугольнику MBF
, поэтому
\frac{AD}{AC}=\frac{MD}{MA},~\frac{CE}{DF}=\frac{ME}{MD},~\frac{BF}{BE}=\frac{MB}{ME},
а так как MA=MB
, то после почленного перемножения трёх равенств получим, что
\frac{AD}{AC}\cdot\frac{CE}{DF}\cdot\frac{BF}{BE}=\frac{MD}{MA}\cdot\frac{ME}{MD}\cdot\frac{MB}{ME}=\frac{MB}{MA}=1.
Значит,
\frac{\sin\alpha_{1}}{\sin\alpha_{2}}\cdot\frac{\sin\beta_{1}}{\sin\beta_{2}}\cdot\frac{\sin\gamma_{1}}{\sin\gamma_{2}}=\frac{\frac{CE}{2R}}{\frac{BE}{2R}}\cdot\frac{\frac{AD}{2R}}{\frac{AC}{2R}}\cdot\frac{\frac{BF}{2R}}{\frac{DF}{2R}}=
=\frac{CE}{BE}\cdot\frac{AD}{AC}\cdot\frac{BF}{DF}=\frac{AD}{AC}\cdot\frac{CE}{DF}\cdot\frac{BF}{BE}=1.
Следовательно, по теореме Чевы (в тригонометрической форме), применённой к треугольнику DBC
, прямые CF
, DE
и AB
пересекаются в одной точке (см. задачу 1900). Лемма доказана.
Отсюда вытекает следующее построение. Проведём через данную точку M
три секущие: MCD
, MEF
и MPQ
(рис. 2). Построим точку X
пересечения прямых CF
и DE
и точку Y
пересечения прямых EQ
и PF
. Пусть прямая XY
пересекает окружность в точках Z
и T
. Из доказанной леммы следует, что MZ
и MT
— касательные к окружности.
Примечание. См. также задачу 13705.
Источник: Понарин Я. П. Элементарная геометрия. — Т. 1: Планиметрия, преобразования плоскости. — М.: МЦНМО, 2004. — № 9.10, с. 72