展开 直线垂直平面的判定定理及性质定理