Краткое пояснение:
Теорема о перпендикулярности двух прямых к третьей гласит: если две прямые в плоскости перпендикулярны третьей прямой, то они параллельны между собой.
Доказательство:
- Дано: Две прямые $$a$$ и $$b$$, каждая из которых перпендикулярна прямой $$c$$. $$a ot c$$, $$b ot c$$.
- Доказать: $$a ext{ extbar extbar } b$$.
- Доказательство от противного: Предположим, что прямые $$a$$ и $$b$$ не параллельны, то есть пересекаются в некоторой точке $$M$$.
- Проведем через точку $$M$$ прямую $$a'$$, параллельную прямой $$c$$.
- По теореме о двух перпендикулярах, если прямая, проходящая через точку пересечения двух прямых, перпендикулярна одной из них, то она перпендикулярна и другой.
- Таким образом, прямая $$a'$$ будет перпендикулярна прямой $$a$$.
- Но по построению $$a' ext{ extbar extbar } c$$, а по условию $$a ot c$$. Это означает, что $$a' ot a$$.
- Следовательно, через точку $$M$$ проходят две прямые ($$a$$ и $$a'$$), перпендикулярные одной и той же прямой ($$c$$). Это противоречит теореме о единственности прямой, перпендикулярной данной, проходящей через заданную точку.
- Значит, наше предположение о пересечении прямых $$a$$ и $$b$$ неверно. Прямые $$a$$ и $$b$$ параллельны.