展开 线和平面垂直的判定定理符号是什么