a^a*b^b>(ab)^(a+b)/2
=>a^((a-b)/2)b^((b-a)/2)>0恒成立