Рассмотрим случай, когда точки
и
лежат по одну сторону от прямой
Рассуждения во втором случае схожи с рассуждениями в первом случае.
a) Пусть
— центры малой и большой окружностей соответственно.
Углы
(вписанные в малую окружность) отличаются друг от друга на
так как опираются на дуги, разность градусных мер которых составляет
Аналогично, углы
(вписанные в большую окружность) отличаются друг от друга на
так как опираются на дуги, разность градусных мер которых составляет
Итак, углы
одновременно большие (или меньшие) угла
на
равны между собой. А поскольку указанные равные углы — соответственные при прямых
и секущей
то
(по признаку параллельности прямых).
Что и требовалось доказать.
б) Заметим, поскольку
— прямой (опирается на диаметр малой окружности), то в равнобедренном треугольнике
высота
является и медианой, то есть
— середина
Таким образом,
— средняя линия треугольника
откуда
Пусть
— середина
Тогда
— не только медиана в равнобедренном треугольнике
но и высота.
По теореме Пифагора из треугольника
имеем
— прямоугольная трапеция. Проведем в ней из точки
перпендикуляр
к основанию
Из треугольника
Из треугольника
по теореме косинусов:
Наконец,
Ответ:
Полезно посмотреть
аналог.