m^n*n^m=mmm…m(n个)nnn…n(m个)<=[(nm+mn)/(m+n)]^(m+n)=[2mn/(m+n)]^(m+n)<={2[(m+n)/2]^2/(m+n)}^(m+n)=[(m+n)/2]^(m+n)，然后再开m+n次方根就得到要证明的不等式了，等号当且仅当m=n时成立。（括号比较多，嘿嘿，希望楼主能看明白）
