贵州师范大学数学科学学院 (550025) 刘远桃 唐明坤 陈明万

1.问题呈现

这是《数学通报》2020年第9期数学问题解答2562问题给出的一道不等式证明题，该不等式的条件和结论结构对称、形式优美，文[1]主要是通过综合分析得到证明，读后深受启发.本文拟对该不等式做进一步的探究，得到了不同证法，并对其进行变式和推广，与大家一起探讨.

2.问题解析

评注：此证法通过配凑先将式子中各项的分子代数式有理化，利用基本不等式将式子中各项的分母代数式有理化，再利用权方和不等式进行放缩，凑出“a+b+c”项，将条件式子a+b+c=3代入得到证明.

评注：此证法通过配凑先将式子中各项的分子代数式有理化，利用基本不等式将式子中各项的分母代数式有理化，将条件式子a+b+c=3代入得到一个新的放缩不等式，再利用函数凹凸性和琴生不等式求出放缩后的最小值，从而得到证明.

由三元柯西不等式得

评注：此证法通过配凑先将式子中各项的分子代数式有理化，利用柯西不等式将原不等式进行转化，得到一个新的放缩不等式，再利用三元基本不等式求出放缩后的最小值，从而得到证明.

3.问题变式

分析：此变式是通过证法2得到的，限定t≥3，其目的是为了使所设函数在(0,3)上为凸函数，证明方法也是利用函数凹凸性与琴生不等式.

分析：此变式是通过证法3得到的，证明方法同上述证法3.

分析：此变式是在变式2的基础上得到的，证明方法同上述证法3.

分析：此变式是在变式3的基础上得到的，证明方法同上述证法3.

4.问题推广

分析：将问题中条件式子的结果从“3”推广到“t”，推广形式不变.

分析：在推广1的基础上将未知数个数从“3”元推广到“n”元，推广形式不变.

分析：在推广2的基础上将各项式子中分子分母的系数“1,-1,1,1”推广到“α,β,λ,μ”，推广形式不变.

分析：在推广2的基础上将各项式子的分子分母中含有未知数的式子的未知数个数从“2”元推广到“n-1”元，推广形式改变.

分析：在推广4的基础上将各项式子中分子分母的系数“1,-1,1,1”推广到“α,β,λ,μ”，推广形式不变.此外，还可以在推广2的基础上将各项式子的分子分母中含有未知数的式子的未知数个数“2”进行推广，得到更多的推广不等式.

推广1到推广5的证明方法是一样的，这里给出推广5的证明，推广1到推广4的证明不再叙述.