MathLabs
TheoremProved

The Three Perpendiculars Theorem

Statement

Let a line dd not lie in and not be perpendicular to a plane (α)(\alpha), and let d1d_1 be the orthogonal projection of dd onto that plane (α)(\alpha). Then for any line aa contained in (α)(\alpha): a⊥da \perp d if and only if a⊥d1a \perp d_1.

Why is it true?

Checking perpendicularity to a slanted (oblique) line directly is awkward, but its shadow d1d_1 lies flat inside the plane, where perpendicularity is easy to see and measure. This theorem says the two checks always agree, so you may always replace the hard 3D check with the easy 2D one.

Proof sketch

Fix a point AA on dd outside (α)(\alpha), and let HH be the foot of the perpendicular from AA to (α)(\alpha), so AH⊥(α)AH \perp (\alpha); by definition of orthogonal projection, HH lies on d1d_1. Because AHAH is perpendicular to the entire plane (α)(\alpha), it is perpendicular to the line aa inside that plane: AH⊥aAH \perp a. Meanwhile dd, d1d_1 and AHAH all lie in one vertical plane.

(⇒\Rightarrow) Suppose a⊥da \perp d. Then aa is perpendicular to both dd and AHAH, which are two intersecting lines of that vertical plane. By the line–plane perpendicularity criterion, aa is perpendicular to the whole vertical plane, and therefore to d1d_1, which lies in it; hence a⊥d1a \perp d_1.

(⇐\Leftarrow) Conversely, suppose a⊥d1a \perp d_1. Then aa is perpendicular to both d1d_1 and AHAH, again two intersecting lines of the same vertical plane. The same criterion makes aa perpendicular to that vertical plane, and therefore to dd; hence a⊥da \perp d.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Euclid; trans. T. L. Heath (1908). Euclid's Elements, Book XI (perpendicularity and parallelism of lines and planes)
  2. Wikipedia contributors (2024). Dihedral angle