展开 面面垂直的性质定理的符号怎么表示