展开 平面垂直的判定定理和性质是什么