判定直线与平面垂直的定理的证明过程