定义法
三垂线定理及其逆定理.
向量法.数量积是零
直线与平面垂直的定义
如果两个平面垂直,那么他们的法向量也垂直,从而线垂直.