mn│(m^2+n^2+m), 即m|n^2
n|(m^2+m)--> n|m(m+1), 因为m, m+1互质,所以需有：m=kn 或m+1=kn
当m+1=kn时,m=kn-1, 因为kn-1, n 互质,所以不可能m|n^2, 所以m+1不能为kn.
当m=kn时,由m|n^2得：k|n, 即n=kr, 因此m=k^2r
mn=k^3r^2
m^2+n^2+m=k^2r(k^2r+r+1)
所以由mn|(m^2+n^2+1),得：kr|(k^2r+r+1), 因此r|1, 所以r=1.
故有：m=k^2为完全平方数.