MathLabs
TheoremProved

Line–plane perpendicularity criterion

Statement

If d⊥ad \perp a and d⊥bd \perp b for two intersecting lines a,b⊂(α)a, b \subset (\alpha) with a∩b={O}a \cap b = \{O\}, then d⊥(α)d \perp (\alpha).

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 OO at the origin, and let u⃗\vec{u} and v⃗\vec{v} be direction vectors of aa and bb. Since aa and bb intersect and are distinct lines, u⃗\vec{u} and v⃗\vec{v} are linearly independent, so together they span every direction lying in the plane (α)(\alpha): the direction vector of any line c⊂(α)c \subset (\alpha) can be written as w⃗=λu⃗+μv⃗\vec{w} = \lambda \vec{u} + \mu \vec{v} for some real numbers λ,μ\lambda, \mu.

Let n⃗\vec{n} be a direction vector of dd. The hypotheses d⊥ad \perp a and d⊥bd \perp b translate to the dot-product equations n⃗⋅u⃗=0\vec{n} \cdot \vec{u} = 0 and n⃗⋅v⃗=0\vec{n} \cdot \vec{v} = 0. For a line cc in (α)(\alpha) with direction w⃗=λu⃗+μv⃗\vec{w} = \lambda \vec{u} + \mu \vec{v}, linearity of the dot product gives n⃗⋅w⃗=λ(n⃗⋅u⃗)+μ(n⃗⋅v⃗)=λ⋅0+μ⋅0=0\vec{n} \cdot \vec{w} = \lambda(\vec{n}\cdot\vec{u}) + \mu(\vec{n}\cdot\vec{v}) = \lambda \cdot 0 + \mu \cdot 0 = 0.

Since the dot product of n⃗\vec{n} with the direction of an arbitrary line c⊂(α)c \subset (\alpha) is zero, dd is perpendicular to every line of (α)(\alpha), which is exactly the definition of d⊥(α)d \perp (\alpha).

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