两边同时乘(m+n),看右边,(m+n)乘以(m^n*n^m)的m+n次方根,将m^n*n^m写成(m*m*m*m*...*m)*(n*n*n*n*...*n)
n个m m个n
用不等式,a1+a2+a3+a4+...+an>=n【(a1*a2*...an)的n次方根】
于是由 mn+nm>=(m+n)[(m^n*n^m)的m+n次方根]
容易知道[(m+n)^2]/2>=mn+nm
所以的证
两边同时乘(m+n),看右边,(m+n)乘以(m^n*n^m)的m+n次方根,将m^n*n^m写成(m*m*m*m*...*m)*(n*n*n*n*...*n)
n个m m个n
用不等式,a1+a2+a3+a4+...+an>=n【(a1*a2*...an)的n次方根】
于是由 mn+nm>=(m+n)[(m^n*n^m)的m+n次方根]
容易知道[(m+n)^2]/2>=mn+nm
所以的证