知道空间四点坐标,怎么求证四点共面?