立体几何空间中的位置关系判定，性质归纳