假设mn不是有理数

（m2+n）/（n2+m）=有理数/有理数=t（t有理数）

分子分母除以n2

（（m/n）2+1/n）/（1+m/n2）=t

设m/n=x有理数

n=（tx-1）/（x方-t）

显然右边是有理数

所以n是有理数

和假设矛盾

不过注意0点，我只是略证