在三棱锥 - 中,,,,,,。则三棱锥 - 体积的最大值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
以固定棱为共同底,体积不超过两点到这条棱的垂距乘积;另外两条棱的约束留到等号构型逐项核。
取 。 给 ,所以 ,点 到直线 的距离不超过 。点 到该直线的距离不超过 。混合积或逐次底高公式于是给 。取 ,两垂轴分量互相垂直,且 ,全部条件都满足并取到体积界。因此 。
不能只在每条棱上分别取边界值而默认它们兼容;本构造逐一核了全部六棱条件。四点非共面,最大体积真实达到。
以固定棱控制两个垂距,可以先放宽部分约束求上界,再用一个完全合法的构型证明锐性。
固定棱的两个垂轴距离控制体积上界,须另外构造使全部六棱上下界同时相容的真实等号构型。
核心工具:柯西不等式与投影、行列式与面积、体积比
已记下,谢谢!