フェルマーは平方数と平方数の倍数の和として表される素数，すなわち

　　□＋ｍ□＝ｐ

に一定の規則性を発見しました．

［１］４ｎ＋１型素数はａ^2＋ｂ^2の形に表されますが，４ｎ＋３型素数は表されません．

［２］３ｎ＋１型素数はａ^2＋３ｂ^2の形に表されますが，３ｎ＋２型素数は表されません．

［３］８ｎ＋１型，８ｎ＋３型素数は

ａ^2＋２ｂ^2の形に表されますが，８ｎ＋５型，８ｎ＋７型素数は表されません．

　この応用として

［４］ｙ^2＝ｘ^3−２を満たす整数解は（ｘ，ｙ）＝（３，±５）だけである

［５］ｙ^2＝ｘ^3−９を満たす整数解は存在しない

［６］ｙ^2＝ｘ^3−８を満たす整数解は（ｘ，ｙ）＝（２，０）だけである

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝