证明线与面垂直是要证明线与面的法向量垂直吗?还是别的方法