作商法
a^a*b^b/(ab)^(a+b)/2=(a/b)^(a-b)/2
若a>b>0,a/b>1,a-b/2>0
则 (a/b)^(a-b)/2>1
:.a^a*b^b>(ab)^(a+b)/2
若a