素数が無限個存在する「帰納的証明」
いま、nを2以上の自然数として、nの素因数p1をとる。次に、nとn+1は互いに素なので、n+1の素因数p2を考えると、p2はnの素因数p1とは異なる。次に、
n×(n+1)とn×(n+1)+1
は互いに素なので、n×(n+1)+1の素因数p3はn×(n+1)の素因数p1、p2とは異なる。
次に、
{n×(n+1)}×{n×(n+1)+1}
と
{n×(n+1)}×{n×(n+1)+1}+1
は互いに素なので、
{n×(n+1)}×{n×(n+1)+1}+1
の素因数p4は
{n×(n+1)}×{n×(n+1)+1}
の素因数p1、p2、p3とは異なる。以下、同様の議論を続けることによって、素数は無限個存在することが分かる。