Пусть a – данная прямая, а точка A принадлежит прямой. Кроме того, [AB) – один из лучей прямой a. Тогда от луча AB можно отложить угол BAC, равный 90° (аксиома 2.2.). По определению прямая ACa (рис. 2.3.4).
4
Рисунок 2.3.4.
Перпендикулярные прямые
Докажем, что такая прямая AC единственная. Допустим, что существует другая прямая, проходящая через точку A, не совпадающая с прямой AC и перпендикулярная к прямой a. Пусть D – какая-либо точка этой прямой, лежащая в той же полуплоскости от a, что и точка С. Тогда BAC = BAD = 90°. Но это противоречит аксиоме 2.2, по которой от прямой в данную полуплоскость можно отложить только один угол, равный 90°. Теорема доказана.
Перпендикуляром к данной прямой называется отрезок прямой, перпендикулярой данной, имеющий одним из концов их точку пересечения. Этот конец называется основанием перпендикуляра.
5
Рисунок 2.3.5.
Перпендикуляр к прямой
Биссектрисой называется луч, проходящий между его сторонами и делящий угол пополам.