已知m,n属于R求证(m+n)/2>=m+n倍的根号下m^n*n^m