如果[(m+n)nx+mn]/[m(m+n)]是整數，那麽(m+n)nx+mn是m的倍數，
以及(m+n)NX+Mn = m(n+NX)+xn ^ 2。
那麽xn^2是m的倍數，m和n互質，所以x是m的倍數
設x=km k為正整數。
[(m+n)nx+mn]/[m(m+n)]
=[(m+n)nkm+mn]/[m(m+n)]
=[(m+n)nk+n]/(m+n)
=nk+n/(m+n)
顯然是0
所以它不是壹個整數。
所以原公式不是整數。