空间向量解决立体几何的向量方法(四)在立体几何证明中的应用