>だからx^2と(n^2+1)y^2の差が最小になるのは
>x=(n+1)yの時か又はx=nyの時になることがわかる。


この箇所が恐ろしいくらい根拠不明