Line–plane perpendicularity criterion
Statement
If and for two intersecting lines with , then .
Why is it true?
You do not need to check infinitely many lines in the plane. Just as two nails driven perpendicular to a floor along two different directions from the same point are enough to hold a post exactly upright, two independent perpendicularity checks pin down perpendicularity to the whole plane.
Proof sketch
Place the intersection point at the origin, and let and be direction vectors of and . Since and intersect and are distinct lines, and are linearly independent, so together they span every direction lying in the plane : the direction vector of any line can be written as for some real numbers .
Let be a direction vector of . The hypotheses and translate to the dot-product equations and . For a line in with direction , linearity of the dot product gives .
Since the dot product of with the direction of an arbitrary line is zero, is perpendicular to every line of , which is exactly the definition of .
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