f(x)=(x/m-1)^2+(n/x-1)^2的定义域为[m.n].且1

（1）证明：设X1,X2属于定义域[m,n],且X10则有
f(x)=(x/m-1)^2+(n/x-1)^2≥2(x/m-1)(n/x-1)(当且仅当x/m-1=n/x-1即x=√mn时等号成立）
则f(√mn)=2(√mn/m-1)^2
经比较f(m)=f(n)>f(√mn)(这个关系自己算吧这里不写了比较长）
可得一个结论原函数的图像关于x=√mn轴对称当x=√mn原函数的值最小
则只需考虑一个区间[m,√mn]或[√mn,n]就够了
原函数可变形为f(x)=[(x/m-1)-(n/x-1)]^2+2(x/m-1)(n/x-1)
=(x/m-n/x)^2+2[(n/m+1)- (x/m+n/x)]
=(x/m-n/x)^2-2(x/m+n/x)+2(n/m+1)
设x1,x2属于[m,√mn]且x1>x2则有
f(x1)=(x1/m-n/x1)^2-2(x1/m+n/x1)+2(n/m+1)
f(x2)=(x2/m-n/x2)^2-2(x2/m+n/x2)+2(n/m+1)
则f(x1)-f(x2)=[(x1/m-n/x1)^2-2(x1/m+n/x1)+2(n/m+1)]-[(x2/m-n/x2)^2-2(x2/m+n/x2)+2(n/m+1)]
=[(x1/m-n/x1)^2-(x2/m-n/x2)^2]+2(x2/m+n/x2-x1/m-n/x1)]
=(x1/m-n/x1-x2/m+n/x2)(x1/m-n/x1+x2/m-n/x2)+2[(x2-x1)/m+n(x1-x2)/x1x2]
=[(x1-x2)/m+n(x1-x2)/x1x2][(x1+x2)/m-n(x1+x2)/x1x2]+2(x1-x2)(n/x1x2-1/m)
=(x1-x2)(1/m+n/x1x2)(x1+x2)(1/m-n/x1x2)+2(x1-x2)(n/x1x2-1/m)
=(x1-x2)(n/x1x2-1/m)[2-(x1+x2)(1/m+n/x1x2)]
=(x1-x2)[(mn-x1x2)/mx1x2][2-(x1+x2)(1/m+n/x1x2)] (1)
由假设与已知可得x1-x2>0,1≤m^20,(x1+x2)(1/m+n/x1x2)>2(1/m+1/m)=2
那么（1）