经典:直线与平面垂直的判定定理的证明