空间向量已知四点坐标怎么证明四点共面