菜鸡HP的被虐日常（17）各种奇怪的不等式④

$ByHolyPush$

愚蠢的$HP$看起来对排序不等式极为感兴趣，抓着聪明的$txl$的三条腿（众所周知聪明的$txl$是神仙，神仙是可以和常人不一样的），要求他给自己讲排序不等式。

聪明的$txl:$好吧好吧你太烦了。

所谓排序不等式，就是有两个都为$n$项的数列 { a n } , { b n } \{a_n\},\{b_n\} {an​},{bn​}。将这两个数列任意排序，那么当两个数列都是从小到大排或者都是从大到小排的时候，${\sum }_{i=1}^n{a}_i{b}_i$最大，当两个数列一个从小到大排一个从大到小排的时候，${\sum }_{i=1}^n{a}_i{b}_i$最小。
简单地来说，就是正序和≥乱序和≥反序和。

举个例子，数列 { a n } \{a_n\} {an​}有$-2,1,4,5$这四项， { b n } \{b_n\} {bn​}有$-3,-2,1,2$这四项，我们对其进行排序。
当我们的排序结果为
$-2,1,4,5$
$-3,-2,1,2$
时，${\sum }_{i=1}^n{a}_i{b}_i$=$(-2)\times (-3)+1\times (-2)+4\times 1+5\times 2=18$最大。
当我们的排序结果为
$-2,1,4,5$
$2,1,-2,-3$
时，${\sum }_{i=1}^n{a}_i{b}_i$=$(-2)\times 2+1\times 1+4\times (-2)+5\times (-3)=-26$最小。
当我们排序很随意的时候，比如
$-2,4,1,5$
$2,-3,1,-2$
时，${\sum }_{i=1}^n{a}_i{b}_i$=$(-2)\times 2+4\times (-3)+1\times 1+5\times (-2)=-25$处于两者之间。
聪明的$txl:$用排序不等式可以证明非常多的不等式，例如均值、切比雪夫这些，都可以用排序不等式进行证明。重要的就是找出两个项数相等的数列。

愚蠢的$HP:$这个不等式看起来好记多了厚。
聪明的$txl:$那我们先试试用用看吧。比如，上一次写的一个非常经典的不等式$a^2+b^2+c^2\ge ab+ac+bc$，你试着用排序不等式证证吧。
愚蠢的$HP:$由于三者是轮换对称的，所以不妨设$a\ge b\ge c$。那么$a^2+b^2+c^2$就是正序和，$ab+ac+bc$就是乱序和。所以原式就成立了。太简单了厚。
聪明的$txl:$让我再想一道题吧。

已知$a,b,c$都是正数，证明$\frac{c^2-a^2}{a+b}+\frac{a^2-b^2}{b+c}+\frac{b^2-c^2}{c+a}\ge 0$
愚蠢的$HP:$显然我们可以试着构造两个数列，
$a_1=c^2-a^2,a_2=a^2-b^2,a_3=b^2-c^2$
$b_1=\frac{1}{a+b},b_2=\frac{1}{b+c},b_3=\frac{1}{c+a}$。
不妨设$a\ge b\ge c$，则可以发现 { a n } \{a_n\} {an​}是$\dots \dots$貌似不能确定是什么顺序$?$
聪明的$txl:$笨，你为什么不把减号移到右边去呢$?$

原式即证$\frac{c^2}{a+b}+\frac{a^2}{b+c}+\frac{b^2}{c+a}\ge \frac{a^2}{a+b}+\frac{b^2}{b+c}+\frac{c^2}{c+a}$。
那么像刚刚那样构造数列
$a_1=c^2,a_2=b^2,a_3=a^2$
$b_1=\frac{1}{a+b},b_2=\frac{1}{c+a},b_3=\frac{1}{b+c}$，设$a\ge b\ge c>0$，则 { a n } \{a_n\} {an​}和 { b n } \{b_n\} {bn​}都是从小到大排序的，是正序和，而右边的式子则是乱序和，所以左边大于等于右边。

愚蠢的$HP:$看起来排序不等式的题都很简单的样子。
聪明的$txl:$并不，有些题目里面要写很多个正序≥乱序≥反序的不等式加起来才能看出结果，有些题目则很难看出该怎么拆要证的式子，并不一定会很简单，但不可否认它的确非常有用。

欲知后事如何，请听下回因式分解。