利用空间向量证明探索性与存在性问题