Как доказать теорему из точки не лежавшей на прямой можно провести перпендикуляр к этой прямой и притом только один

Чтобы доказать теорему о том, что из точки, не лежащей на прямой, можно провести только один перпендикуляр к этой прямой, можно воспользоваться методами математической логики и геометрии.

1. Определение понятий:

   • Пусть у нас есть прямая \( l \) и точка \( A \), которая не лежит на этой прямой.

2. Построение перпендикуляра:

   • Согласно определению, перпендикуляр к прямой — это отрезок, который образует угол в \( 90^\circ \) с данной прямой. Обозначим точку пересечения перпендикуляра с прямой \( l \) как \( B \).

3. Свойства углов:

   • Если мы проведем два различных перпендикуляра из точки \( A \) к прямой \( l \), обозначим их как \( AB_1 \) и \( AB_2 \). Оба этих отрезка должны образовывать угол в \( 90^\circ \) с прямой \( l \).

4. Некорректность предположения:

   • Предположим, что оба отрезка \( AB_1 \) и \( AB_2 \) действительно могут существовать. Поскольку угол между каждым из перпендикуляров и прямой \( l \) равен \( 90^\circ \), то точки \( B_1 \) и \( B_2 \), где перпендикуляры пересекают прямую, должны совпадать. То есть, \( B_1 \) должно быть равно \( B_2 \).

5. Вывод:

   • Таким образом, мы приходим к выводу, что если из точки \( A \) провести перпендикуляр к прямой \( l \), то этот перпендикуляр будет единственным, так как два различных перпендикуляра не могут пересекаться в одной и той же точке, образуя угол в \( 90^\circ \) с одной и той же прямой.

Этим образом теорема доказана: из точки, не лежащей на прямой, можно провести только один перпендикуляр к этой прямой.