MathLabs
定理已证明

直线与平面垂直的判定定理

命题陈述

若对平面内两条相交直线 a,b⊂(α)a, b \subset (\alpha)(a∩b={O}a \cap b = \{O\})有 d⊥ad \perp a 且 d⊥bd \perp b,则 d⊥(α)d \perp (\alpha)。

为什么成立?

不需要检查平面内无穷多条直线。就像从同一点沿两个不同方向垂直钉入地面的两颗钉子就足以让一根柱子完全竖直一样,两次独立的垂直检验就足以确定与整个平面垂直。

证明思路

以交点 OO 为原点,设 u⃗\vec{u} 与 v⃗\vec{v} 分别是 aa 与 bb 的方向向量。由于 aa 与 bb 相交且是两条不同的直线,u⃗\vec{u} 与 v⃗\vec{v} 线性无关,因此二者张成了平面 (α)(\alpha) 内的所有方向:任意直线 c⊂(α)c \subset (\alpha) 的方向向量都可以写成 w⃗=λu⃗+μv⃗\vec{w} = \lambda \vec{u} + \mu \vec{v}(某些实数 λ,μ\lambda, \mu)。

设 n⃗\vec{n} 为 dd 的一个方向向量。条件 d⊥ad \perp a 与 d⊥bd \perp b 对应内积等式 n⃗⋅u⃗=0\vec{n} \cdot \vec{u} = 0 与 n⃗⋅v⃗=0\vec{n} \cdot \vec{v} = 0。对平面 (α)(\alpha) 内方向为 w⃗=λu⃗+μv⃗\vec{w} = \lambda \vec{u} + \mu \vec{v} 的直线 cc,由内积的线性性得 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。

由于 n⃗\vec{n} 与任意直线 c⊂(α)c \subset (\alpha) 方向的内积都为零,所以 dd 与 (α)(\alpha) 内的每一条直线都垂直,这正是 d⊥(α)d \perp (\alpha) 的定义。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  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