 3
|
Рисунок 4.5.3
|
Пусть a – данная прямая и A – не лежащая на ней точка. Проведем через какую-либо точку прямой a перпендикулярную к ней прямую a1 (см. теорему 2.1), а также через точку A прямую b, параллельную прямой a1 (см. теорему 3.3). Она будет перпендикулярна к прямой a по следствию 4.1. Если B – точка пересечения прямых a и b, то отрезок AB – перпендикуляр, проведенный из точки A к прямой a.
Допустим, что существует другой перпендикуляр AC. Тогда у треугольника ABC будет два прямых угла, но это невозможно, так как сумма всех углов треугольника равна 180°. Теорема доказана.