本帖最后由 realnumber 于 2019-8-6 21:09 编辑
令$t=\frac{m}{n}$,$\frac{mn}{m^2+n^2}=\frac{1}{\frac{m}{n}+\frac{n}{m}}=\frac{1}{t+\frac{1}{t}}=f(t)$ ,0<t<1,f(t)单调递增.
不妨设 $x=\frac{m_1n_1}{m_1^2+n_1^2}=f(\frac{m_1}{n_1}),m_1<n_1,y=\frac{m_2n_2}{m_2^2+n_2^2}=f(\frac{m_2}{n_2}),m_2<n_2$,
因为$\frac{m_1}{n_1}<\frac{m_1n_2+m_2n_1}{2n_1n_2}<\frac{m_2}{n_2}$
取$z=\frac{m_1n_2+m_2n_1}{2n_1n_2}$,即符合题意. |