Пусть прямая a является линией пересечения плоскостей α и β (чертеж 3.3.1). Пусть плоскость γ, перпендикулярная прямой a, пересекает плоскости α и β по прямым m и n, которые взаимно перпендикулярны, то есть γ  α = m, γ  β = n и m  n. Такие плоскости α и β называются взаимно перпендикулярными.

Пусть a  α, a  β, тогда β  α. То есть, если плоскость β содержит прямую a, перпендикулярную плоскости α, то плоскости α и β перпендикулярны.

Пусть α  β, α  β = a, b  a, b  β, тогда b  α. То есть прямая b, лежащая в одной из взаимно перпендикулярных плоскостей β и перпендикулярная линии пересечения a этих плоскостей, перпендикулярна и другой плоскости α.

Если плоскости α и β взаимно перпендикулярны, и к плоскости α проведен перпендикуляр, имеющий общую точку с плоскостью β, то этот перпендикуляр лежит в плоскости β.

Пусть плоскости α и β перпендикулярны плоскости γ и пересекаются по прямой a, тогда a  γ.