展开 平面和平面垂直的判定定理符号表示