要证明四个点共面，我们可以使用向量的概念，给定四个点A、B、C和D,我们需要证明存在一个较早的有序实数组(x, y, z),使得：
A = (ax1 + by1 + cz1, dx1)
B = (ax2 + by2 + cz2, dx2)
C = (ax3 + by3 + cz3, dx3)
D = (ax4 + by4 + cz4, dx4)
x、y和z是实数，且互不相等，如果找到了这样的有序实数组，那么四个点共面；否则，它们不共面。
证明过程如下：
1、我们需要计算向量AB、AC和AD，这可以通过将每个点的坐标表示为向量的组成部分来实现，AB可以表示为(by1 + cz1, dx1 - ax1),AC可以表示为(by2 + cz2, dx2 - ax2),AD可以表示为(by3 + cz3, dx3 - ax3)。
2、我们需要找到两个向量，它们的叉积相等，换句话说，我们需要找到两个向量u和v,使得u × v = 0，这可以通过计算AB和AC的叉积以及AB和AD的叉积来实现，如果这两个叉积都等于0,那么我们找到了两个这样的向量u和v。
3、我们需要检查这两个向量是否较早，如果有多个向量u和v满足这个条件，那么我们需要找到一个新的向量v',使得v' × u = 0且v' × v = 0，这样，我们就找到了一个较早的有序实数组(x, y, z),使得四个点共面。
