Fan不等式相关问题的整理

最近在各个微信群里看到了一些不等式，都和Fan不等式有关．本文简单地做个整理：

设，，，，，且．则

其中．

这个不等式的证明可以参考韩京俊的《初等不等式的证明方法》一书，用的是拉格朗日乘子法，这里做个搬运．

证明 当 （，，，） 时，原不等式显然成立．我们只需考虑 0 的情形．

由齐次性，我们不妨设 （注意这里已经有关于的约束条件，想一下怎样的约束条件，这里能不妨设?）．我们来求的最大值，作Lagrange函数

我们再设，，由条件极值的必要条件有

将这个式子相加，得，从而

其中，．若，那么(，，)，从而

若，那么

而

由于此时 的取值集合为紧集，故必能取到最大值，取到最大值时有

注意，否则， 矛盾，故

当 时 (其中 ， 是任意实数)，，从而命题得证．

这个方法比较高等，在高联中不能直接使用．事实上，用待定系数法直接凑均值不等式就能证明了．引入参数，，，，使得

为使得系数一致，参数需要满足

即为一道初联代数题的推广一文中的等式，也可以参考申强老师的文章强行封闭成一个圈．

此外，田开斌老师有一个非常巧妙的证法，见http://s2.sinaimg.cn/orignal/003oMgnOzy7KK2yVpAtd1

用同样的方法，可以证明如下不等式：

设，，，为正实数，，则

这两个不等式的关系在强行封闭成一个圈一文中也进行了详细的说明，这里不再赘述．

文章最后放一些类似问题．

1. ，，，，求证：

2. ，，，，求证：

3. (2013年罗马尼亚TST)，，，，求证：

4. (新星)给定正整数，求最小的实数，使得对任意非负实数，，，，都存在 ，满足，其中．

注：题3，4其实都是题2的包装，题3经过换元后得到题4，题4本质上即要证题2．