我说的c指得是你上图没有标出的r边。如果四面体体积为零时，c边取最小值，z=0，x=y，c衡大于零，z单调，所以只有一个0值。而且我的公式y应该等于(b^2+p^2-c^2)/(2bp)，笔误。
补充：假设里面有一组对角角BAD和角BCD相等的前提，因为三角形ABD和BCD有公共边r,对边不相等，所以aq≠bp，z导数不为零。
把我说的c改成r你再看看。

[此贴子已经被作者于2006-3-22 21:57:25编辑过]

引用:

以下是引用[I]hejoseph[/I]在2006-3-21 11:53:35的发言：[BR]。
这个证明不正确，例如在a≠p，b=q的时候，即使c=0，z也不一定会为0。

Gauss能把证明发上来看看吗？

想错了，没有我想得那么简单.