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