>637
^2+2^2=3^2
が成り立つかどうか、ということであって、調べる数は、「整数比でない解」とは比が違います。

フェルマーの最終定理は、正しいので、調べる数は、「整数比でない解」です。