Признак

Пусть

a  α, b  α = A, A  a (чертеж 2.1.2). Допустим, что прямые a и b не скрещивающиеся, то есть они пересекаются. Тогда существует плоскость β, которой принадлежат прямые a и b. В этой плоскости β лежат прямая a и точка A. Поскольку прямая a и точка A вне ее определяют единственную плоскость, то β = α. Но b  β и b α, следовательно, равенство β = α невозможно.

Теорема

Две скрещивающиеся прямые имеют общий перпендикуляр, и при том только один. Он является общим перпендикуляром параллельных плоскостей, проходящих через эти прямые.



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

Пусть a и b – данные скрещивающиеся прямые. Проведем через них параллельные плоскости α и β. Прямые, пересекающие прямую a и перпендикулярные плоскости α, лежат в одной плоскости (γ). Эта плоскость пересекает плоскость β по прямой a`, параллельной a. Пусть B – точка пересечения прямых a` и b. Тогда прямая AB, перпендикулярная плоскости α, перпендикулярна и плоскости β, так как β параллельна α. Отрезок AB – общий перпендикуляр плоскостей α и β, а значит, и прямых a и b.
Докажем, что этот общий перпендикуляр единственный. Допустим, что у прямых a и b есть другой общий перпендикуляр CD. Проведем через точку С прямую b`, параллельную b. Прямая CD перпендикулярна прямой b, а значит, и b`. Так как она перпендикулярна прямой a, то она перпендикулярна плоскости α, а значит, параллельна прямой AB. Выходит, что через прямые AB и CD, как через параллельные, можно провести плоскость. В этой плоскости будут лежать наши скрещивающиеся прямые AC и BD, а это невозможно, что и требовалось доказать. 

Расстоянием между двумя скрещивающимися прямыми называется длина их общего перпендикуляра.