排序不等式、证明及其应用

1. 定义及证明

设有两个有序数组：$a_1\leq a_2\cdots \leq a_n$ 及 $b_1\leq b_2\cdots \leq b_n$，求证： $\sum\limits_{i=1}^na_ib_i\geq \sum\limits_{i=1}^na_ib_{ji}\geq \sum\limits_{i=1}^na_ib_{n-i+1}$ （顺序和≥乱序和≥逆序和），其中 $j_1,j_2,\ldots,j_i$ 是自然数的任一个排列。

证明：

令 $s_k=\sum\limits_{i=1}^kb_i$（部分和），$s_k'=\sum\limits_{i=1}^kb_{ji}$（$i=1,2,\ldots,n$）

显然，$s_k\leq s_k'$，$s_n=s_n'$，又因为，$a_i-a_{i+1}\leq 0$，所以有 $s_i\left(a_i-a_{i+1}\right)\geq s_i'\left(a_i-a_{i+1}\right)$，

所以：

$$\sum\limits_{i=1}^na_ib_i=\sum\limits_{i=1}^{n-1}s_i\left(a_i-a_{i+1}\right)+a_ns_n\geq \sum\limits_{i=1}^{n-1}s_i'\left(a_i-a_{i+1}\right)+a_ns_n'=\sum\limits_{i=1}^na_ib_{ji}$$