89. Лемма Архимеда. Две окружности касаются внутренним образом в точке M
. Пусть AB
— хорда большей окружности, касающаяся меньшей окружности в точке T
. Докажите, что MT
— биссектриса угла AMB
.
Указание. Продолжите луч AB
до пересечения с общей касательной в точке C
; \angle CTM=\angle MAT+\angle AMT
(или рассмотрите гомотетию с центром M
, переводящую меньшую окружность в большую).
Решение. Первый способ. Пусть луч AB
(рис. 1) пересекает общую касательную к окружностям в точке C
(B
между A
и C
). Обозначим
\angle CMT=\varphi,~\angle CMB=\alpha,~\angle AMT=\gamma.
Тогда CM=CT
как отрезки касательных, проведённых к окружности из одной точки. Значит, треугольник MCT
— равнобедренный. Из теоремы об угле между касательной и хордой следует, что
\angle MAT=\angle CMB=\alpha.
Поэтому
\angle CTM=\angle CMT=\varphi,~\angle MTB=\alpha+\gamma=\varphi
(внешний угол треугольника AMT
). Следовательно,
\angle TMB=\varphi-\alpha=\gamma.
Второй способ. При гомотетии с центром M
, переводящей меньшую окружность в большую, касательная AB
к меньшей окружности переходит в параллельную ей касательную l
к большей окружности (рис. 2). Точка касания T
переходит в точку касания T_{1}
прямой l
с большей окружностью. Тогда точки M
, T
и T_{1}
лежат на одной прямой, причём T_{1}
делит пополам дугу AB
, не содержащую точки M
. Значит, вписанные углы AMT_{1}
и BMT_{1}
равны, так как они опираются на равные дуги. Следовательно, MT
— биссектриса угла AMB
.
Третий способ. Пусть луч AB
(рис. 3) пересекает общую касательную к окружностям в точке C
(B
между A
и C
), а лучи MA
и MB
пересекают меньшую окружность в точках P
и Q
соответственно. Из теоремы об угле между касательной и хордой следует, что
\angle MAB=\angle MAT=\angle CMB=\angle CMQ=\angle MPQ,
значит, PQ\parallel AB
. Следовательно,
\angle BMT=\angle QPT=\angle ATP=\angle PMT=\angle AMT.
Что и требовалось доказать.