Пусть дана окружность с центром в точке O, касающаяся двух параллельных прямых a и b, и секущей c, пересекающей a и b в точках A и B соответственно. Пусть точки касания окружности с прямыми a и b будут точками K и L соответственно.
1. Соединим центр окружности O с точками касания K и L. Так как прямые a и b параллельны, то KL является диаметром окружности (отрезок, соединяющий точки касания параллельных прямых, перпендикулярен обеим прямым и проходит через центр окружности). Значит, точки K, O и L лежат на одной прямой.
2. Соединим центр окружности O с точками A и B. Нам нужно доказать, что угол AOB равен 90 градусам.
3. Рассмотрим углы при параллельных прямых a и b и секущей c. Углы KAO и LBO – внутренние односторонние углы при параллельных прямых a и b и секущей c. Следовательно, их сумма равна 180 градусам: $\angle KAO + \angle LBO = 180^{\circ}$.
4. OK и OL – радиусы, проведенные в точки касания, а значит, они перпендикулярны касательным a и b соответственно. Таким образом, углы OKA и OLB – прямые, то есть $\angle OKA = \angle OLB = 90^{\circ}$.
5. Рассмотрим четырехугольник AKOB. Сумма углов в четырехугольнике равна 360 градусам. Следовательно, в четырехугольнике AKOB имеем: $\angle OKA + \angle KAO + \angle AOB + \angle OBL = 360^{\circ}$.
6. Выразим угол AOB через другие углы:
$\angle AOB = 360^{\circ} - \angle OKA - \angle OBL - \angle KAO = 360^{\circ} - 90^{\circ} - 90^{\circ} - \angle KAO = 180^{\circ} - \angle KAO$.
7. Аналогично рассмотрим четырёхугольник OLBO:
$\angle AOB = 360^{\circ} - \angle OLB - \angle OBL - \angle LBO = 360^{\circ} - 90^{\circ} - 90^{\circ} - \angle LBO = 180^{\circ} - \angle LBO$.
8. Так как $\angle KAO + \angle LBO = 180^{\circ}$, то $\angle LBO = 180^{\circ} - \angle KAO$. Подставим это в выражение для $\angle AOB$: $\angle AOB = 180^{\circ} - (180^{\circ} - \angle KAO) = \angle KAO$.
9. Но из четырёхугольника AKOB мы получили, что $\angle AOB = 180^{\circ} - \angle KAO$, a из четырёхугольника OLBO получили, что $\angle AOB = 180^{\circ} - \angle LBO$. Сложим эти два выражения:
$2 \cdot \angle AOB = 360^{\circ} - (\angle KAO + \angle LBO) = 360^{\circ} - 180^{\circ} = 180^{\circ}$.
10. Разделим обе части на 2: $\angle AOB = 90^{\circ}$.
Вывод: Отрезок секущей, заключенный между параллельными прямыми, виден из центра окружности под прямым углом.
Убрать каракули