作代换a,b中较小的为s-t,另一为s+t
原式即求证
(s-t)^(s-t)×(s+t)^(s+t)≥s^2s
(s-t)^(s-t)×(s+t)^(s+t)≥s^(s-t)×s^(s+t)
后面的不解释.