>961
それを確かめるのがフェルマーの最終定理の証明

x,yが整数で、解を持つならば、x,yが有理数でも、解を持ちます。