立体几何基本事实、推论、平行与垂直判定+性质定理