ピタゴラス学派は素数は無限個あることを発見した。しかし、その証明は背理法によるものではなかった。

何個か素数があったら、全部かけて1を足したものを作り、それを割り切る一番小さい数は素数であり、しかも新しい素数であるというものである。

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

例えば、素数２から始めてみると

　　ｅ1＝２＋１＝３　　（これを割り切る最小の素数は３）

　　ｅ2＝２・３＋１＝７　　（これを割り切る最小の素数は７）

　　ｅ3＝２・３・７＋１＝４３　　（これを割り切る最小の素数は４３）

　　ｅ4＝２・３・７・４３＋１＝１８０７＝１３・１３９　　（これを割り切る最小の素数は１３）

　　ｅ5＝２・３・７・４３・１３＋１＝２３４７９＝５３・４４３　　（これを割り切る最小の素数は１３）

　　ｅ6＝２・３・７・４３・１３・５３＋１＝１２４４３３５＝５・２４８８６７　　（これを割り切る最小の素数は５）

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

1を足したものを作りるのではなく、２を足すことにする。素数3から始めてみると

　　ｅ1＝3＋２＝５　　（これを割り切る最小の素数は５）

　　ｅ2＝３・５＋２＝１７　　（これを割り切る最小の素数は１７）

　　ｅ3＝３・５・１７＋２＝２５７　　（これを割り切る最小の素数は２５７）

　　ｅ4＝３・５・１７・２５７＋２＝６５５３７　　（これを割り切る最小の素数は６５５３７）

　　ｅ5＝３・５・１７・２５７・６５５３７＋２＝６４１・６７００４１７　　（これを割り切る最小の素数は６４１）

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

1を足したものを作りるのではなく、２を足すことにする。

それを割り切る一番小さい数ではなく、最大の素因数を取り出すことにする。素数3から始めてみると

　　ｅ1＝3＋２＝５　　（これを割り切る最大の素数は５）

　　ｅ2＝３・５＋２＝１７　　（これを割り切る最大の素数は１７）

　　ｅ3＝３・５・１７＋２＝２５７　　（これを割り切る最大の素数は２５７）

　　ｅ4＝３・５・１７・２５７＋２＝６５５３７　　（これを割り切る最大の素数は６５５３７）

　　ｅ5＝３・５・１７・２５７・６５５３７＋２＝６４１・６７００４１７　　（これを割り切る最大の素数は６７００４１７）

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

素数列

5-17-257-65527-6700417-・・・は3で割ると2余る素数で、3で割って１余る素数（例えば7）現れない。

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