用向量证明四点共面