Две прямые, перпендикулярные одной и той же прямой, параллельны друг другу.
На рисунке прямая k является секущей для прямых m и n. Указано, что прямые m и n перпендикулярны прямой k, что обозначено знаками прямых углов. Следовательно, m ∥ n.
Вывод: Прямые m и n параллельны, так как обе перпендикулярны прямой k.