Перпендикулярные прямые на плоскости: определение и доказательство теоремы

Понятие перпендикулярных прямых

Углы бывают острые, прямые и тупые. 

Угол с градусной мерой 90° называется прямым. Если угол меньше 90°, его называют острым, а если больше 90° — тупым. Угол, равный 180° (то есть образующий прямую линию), называют развёрнутым. 

Два угла с одной общей стороной называются смежными.  

На рисунке луч ОС делит развёрнутый ∡AOB =180° на две части, образуя тупой ∡1 и острый ∡2.

∡1 + ∡2 = 180° 

Сумма смежных углов составляет 180°. 

<<Форма демодоступа>>

Поэтому если один из смежных углов прямой, то второй также оказывается прямым: 180° – 90° = 90°

При пересечении двух прямых образуются четыре угла:

Обе стороны ∡1 также являются сторонами ∡3, а стороны ∡2 продолжают стороны ∡4. Такие углы называют вертикальными.  

∡1 и ∡2 — смежные, как и ∡1 и ∡4. Следовательно:
∡1 + ∡2 = 180°
∡1 + ∡4 = 180°
∡2 = ∡4

То же справедливо и для ∡1 и ∡3.

Вертикальные углы равны.  

Прямые, пересекающиеся под прямым углом, называются перпендикулярными.

∡1 равен 90°, остальные углы оказываются для него либо смежными, либо вертикальными, а значит, тоже равными 90°.

Перпендикулярность прямых принято обозначать так: a⟂b

Изучайте математику вместе с преподавателями домашней онлайн-школы «Фоксфорда»! По промокоду GEOM72021 вы получите неделю бесплатного доступа к курсу геометрии 7 класса, в котором изучаются перпендикулярные прямые!  

Теорема о перпендикулярных прямых

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

Построим доказательство теоремы о перпендикулярных прямых «от противного», то есть для начала предположим, что утверждение неверно. 

Возьмём прямую a, отметим на ней точки О и B. От луча OB отложим ∡BOA = 90°. Таким образом, отрезок OA будет находиться на прямой, перпендикулярной а. 

Теперь предположим, что в той же полуплоскости существует другой перпендикуляр к а, проходящий через О. Назовём его OK. ∡BOK и  ∡BOA, равны 90° и лежат в одной полуплоскости относительно луча OB. Но от луча OB в данной полуплоскости можно отложить только один прямой угол. Поэтому другой прямой, проходящей через О и перпендикулярной a, не существует. Теорема доказана.

Свойство перпендикулярных прямых

Две прямые, перпендикулярные третьей, не пересекаются.

Пусть a⟂b и a⟂c. b и с не пересекаются, ведь если бы существовала точка их пересечения, значит, через неё проходили бы две прямые, перпендикулярные a, что невозможно согласно теореме о перпендикулярных прямых. Следовательно, b||с.