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

Дано:

\(AB\) , \(CD\) , \(EF\) - прямые;

\(\angle 1 = 90 ^{\circ}\) .

Доказать: \(AB\) и \( CD\) — не пересекаются.

Доказательство.

Докажем "методом от противного".

Пусть прямые \(AB\) и \(CD\) пересекаются в точке \(М\) . Мысленно сложим наш рисунок пополам относиться прямой \(EF\) , так, чтобы верхняя часть рисунка отобразилась в нижней части.

• \(\angle 2 \)
• \(OB\)
• \(O\_1D\)
• \(M\_1\)
• невозможно
• не пересекаются

Так как \(\angle 1 = \) [ ] \(= 90 ^{\circ}\) , то луч \(ОА\) наложится на луч [ ].

Аналогично, луч \(O\_1С\) наложится на луч [ ].

Значит, точка \(М\) наложится на точку [ ], лежащую как на \(OA\) так и на \(O\_1С\) .

Таким образом, через точки \(М\) и \(М\_1\) проходят две прямые: \(AB\) и \(CD\) . А это [ ]. Значит, получили противоречие. Значит, прямые \(AB\) и \(CD\) [ ].