高考数学中利用空间向量解决立体几何的向量方法(四)——在立体几何证明中的应用培训讲学