The Three Perpendiculars Theorem
Statement
Let a line not lie in and not be perpendicular to a plane , and let be the orthogonal projection of onto that plane . Then for any line contained in : if and only if .
Why is it true?
Checking perpendicularity to a slanted (oblique) line directly is awkward, but its shadow 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 on outside , and let be the foot of the perpendicular from to , so ; by definition of orthogonal projection, lies on . Because is perpendicular to the entire plane , it is perpendicular to the line inside that plane: . Meanwhile , and all lie in one vertical plane.
() Suppose . Then is perpendicular to both and , which are two intersecting lines of that vertical plane. By the line–plane perpendicularity criterion, is perpendicular to the whole vertical plane, and therefore to , which lies in it; hence .
() Conversely, suppose . Then is perpendicular to both and , again two intersecting lines of the same vertical plane. The same criterion makes perpendicular to that vertical plane, and therefore to ; hence .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Euclid; trans. T. L. Heath (1908). Euclid's Elements, Book XI (perpendicularity and parallelism of lines and planes)
- Wikipedia contributors (2024). Dihedral angle