定义域R
（你可能没学过导数,我用定义证明）
对任意m,m,且n0
m^2+n^2>2mn
(mn)^2+m^2+n^2+1>(mn)^2+2mn+1
√[(m^2+1)(n^2+1)]>1+mn
2-2√[(m^2+1)(n^2+1)]