已知实数 $a_1,a_2,\cdots,a_n>0$，证明：\[\sum_{i=1}^n\dfrac{a_{i-1}}{a_i}\geqslant\sum_{i=1}^n\dfrac{a_{i-1}+a_i+1}{a_i+a_{i+1}+1},\]其中 $a_0=a_n$，$a_{n+1}=a_1$．
解析 由于 $a_i$ 与 $\dfrac{1}{a_i(2a_i+1)}$ 反序，而 $a_{i-1}$ 与 $\dfrac{1}{a_i(2a_i+1)}$ 乱序，因此根据排序不等式，有 \[\sum_{i=1}^n\dfrac{a_{i-1}}{a_i(2a_i+1)}\geqslant \sum_{i=1}^n\dfrac{a_i}{a_i(2a_i+1)},\]即\[\sum_{i=1}^n\left(\dfrac{a_{i-1}}{a_i}-\dfrac{2a_{i-1}}{2a_i+1}\right)\geqslant \sum_{i=1}^n\dfrac{1}{2a_i+1},\]即\[\sum_{i=1}^n\dfrac{a_{i-1}}{a_i}\geqslant \sum_{i=1}^n\dfrac{2a_{i-1}+1}{2a_i+1}.\]设 $b_i=\dfrac{2a_{i-1}+1}{2a_i+1}$，则\[ \dfrac{a_{i-1}+a_i+1}{a_i+a_{i+1}+1}=\dfrac{(2a_{i-1}+1)+(2a_i+1)}{(2a_i+1)+(2a_{i+1}+1)}=\dfrac{b_i+1}{1+\frac{1}{b_{i+1}}},\]于是根据排序不等式，有\[\sum_{i=1}^n\dfrac{a_{i-1}+a_i+1}{a_i+a_{i+1}+1}=\sum_{i=1}^n\dfrac{1+b_i}{1+\frac{1}{b_{i+1}}}\leqslant \sum_{i=1}^n\dfrac{1+b_i}{1+\frac{1}{b_i}}=\sum_{i=1}^nb_i,\]命题得证．