已知互不相同的正实数 满足不等式
求证:从 中任取 个数作边长,共可构成 个不同的三角形。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
反设某个三元组退化,先证明它的和与倒数和乘积至少十,再把第四个数的贡献加回。
若有三数 不能作三角形,令最大者为 ,并记 。柯西给 ,故三数的和与倒数和之积 ,最后一项由 得到。设第四数为 ,全体乘积等于 ,矛盾。因此任取三数均能作非退化三角形。四数互异,四个不同三元子集有不同边长组,故确有 个不同三角形。
三角形失败包括最大边恰等于另外两边之和,反证已经覆盖此退化边界。用到的倒数与均值项都正,不需要猜定第四数在大小次序中的位置。
先控制一个坏局部构型的总量代价,再逐项加回其余变量,用全局阈值排除所有坏三元组。
反设一组三边退化或不能成三角形,Cauchy和三条倒数配对把整体乘积推到禁界,最后利用边长互异区分三角形。
已记下,谢谢!