当四个点ABCD共面时,体积V=0,展开后即可第(2)式
至于(1)是否成立,可以代入特殊值验证并排除掉
例:x=y=z=1,u=v=w=sqrt(3)/3,刚好构成等边三角形ABC,而D为三角形中心,代入(1)左边为8/9,右边却为0 ,即可排除. 凭这一个特例就能永久地排除(1)式么,感觉不妥吧。
RE: (1)式需要澄清
如果Cayley-Menger行列式作为四面体的体积公式无以复加,那么1#所要求的约束方程应该就是(2)式,可是我们为什么会多出来的(1)式呢?一个合理的猜想是,(1)式是半正定的。 其实可以肯定(1)左边总是恒大于0的,不过证明会很困难,不信的话可以多计算一些数据就可以得到此结论.