Теорема (признак параллельности прямых).
Если две прямые перпендикулярны третьей прямой, то эти прямые параллельны между собой.
(Здесь речь идёт о прямых, лежащих в одной плоскости).
Дано: a⊥c, b⊥c
Доказать: a||b
Доказательство (методом от противного):