用向量解决立体几何中存在性问题