如何用空间向量证明四点共面?