展开 平面与平面垂直的判定定理体现了什么思想