|
kuing
发表于 2024-12-6 10:45
2. 条件中的 `m`, `n`, `p`, `q` 其实可以是负的,只要 `m>n`, `p>q`, `m\geqslant p`, `n\geqslant q` 即可。
根据 zhihu.com/question/610334874/answer/3112237855 的结论,对于任意 `x>0`, `m>n`, `t\geqslant0` 有
\[(1+x^m)(1+x^{n-t})\geqslant(1+x^n)(1+x^{m-t}),\]
即
\[\frac{1+x^m}{1+x^n}\geqslant\frac{1+x^{m-t}}{1+x^{n-t}},\quad(*)\]
设 `a=m-n`, `b=p-q`, `a`, `b>0`,分两类:
(1)若 `a\geqslant b`,则在式 (*) 取 `t=n-q` 得
\[\frac{1+x^m}{1+x^n}\geqslant\frac{1+x^{m-n+q}}{1+x^q},\]
因此要证原不等式只需证
\[\left(\frac{1+x^{a+q}}{1+x^q}\right)^{1/a}\geqslant\left(\frac{1+x^{b+q}}{1+x^q}\right)^{1/b},\]
两边 `b` 次方整理为
\[(1+x^{a+q})^{b/a}(1+x^q)^{1-b/a}\geqslant1+x^{b+q},\]
由 \holder 不等式有 `\LHS\geqslant1+x^{(a+q)\cdot b/a+q\cdot(1-b/a)}=\RHS`,不等式成立;
(2)若 `a\leqslant b`,则在式 (*) 取 `t=m-p` 得
\[\frac{1+x^m}{1+x^n}\geqslant\frac{1+x^p}{1+x^{n-m+p}},\]
只需证
\[\left(\frac{1+x^p}{1+x^{p-a}}\right)^{1/a}\geqslant\left(\frac{1+x^p}{1+x^{p-b}}\right)^{1/b},\]
整理为
\[(1+x^{p-b})^{a/b}(1+x^p)^{1-a/b}\geqslant1+x^{p-a},\]
由 \holder 不等式有 `\LHS\geqslant1+x^{(p-b)\cdot a/b+p\cdot(1-a/b)}=\RHS`,不等式成立。
综上,得证。
|
|