展开 直线垂直平面的判定定理符号语