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