利用空间向量解决垂直问题20180910