排序不等式 证(a1a2)/a3+(a2a3)/a1+(a3a1)/a2≥a1+a2+a3

不失一般性，设a1≥a2≥a3,则
1/a3≥1/a2≥1/a1,
a1a2≥a1a3≥a2a3,
则排序不等式的性质有
(a1a2)/a3+(a2a3)/a1+(a3a1)/a2≥a1a2*1/a2+a1a3*1/a1+a2a3*1/a3=a1+a2+a3.
证毕。

不妨假设a1≥a2≥a3,则
1/a3≥1/a2≥1/a1,
a1a2≥a1a3≥a2a3,
则排序不等式的性质正序大于乱序有
(a1a2)/a3+(a2a3)/a1+(a3a1)/a2≥a1a2*1/a2+a1a3*1/a1+a2a3*1/a3=a1+a2+a3.
或者原不等式转化为证明
（a1a2）^2+(a2a3)^2+(a3a1)^2≥a1a2a3(a1+a2+a3)
a1a2≥a1a3≥a2a3,a1a2≥a1a3≥a2a3，同样由正序最大有
（a1a2）^2+(a2a3)^2+(a3a1)^2≥a1a2a3a1+a3a2a1a2+a1a3a2a3=a1a2a3(a1+a2+a3)
证毕！

把 所有 项合并成一项，肯定可以证明。
不等式两边同乘a1*a2 *a3 实际上原理和上种方法一样，但形式 明显不同。

a