4n-1の形の素数が無限に存在することの新しい証明 その7
証明の方針
直接法を使う。
証明
aとbを素数として以下が成り立つとする。
a≡1 mod 4
b≡ー1 mod 4
とすると、
ab+a+b≡ー1 mod 4
ここで、左辺は4n-1の形であり、aでもbでも割り切れないので4n-1の形の別の素因数cが存在する。
ここで、
ab+ac+bc≡ー1 mod 4
より、左辺は4n-1の形で、a、b、cのどれも割り切れないので4n-1の形の別の素因数dが存在する。
ここで、
ab+acd+bcd≡ー1 mod 4
より、左辺は4n-1の形でa、b、c、dのどれでも割り切れないので4n-1の形の別の素因数eが存在する。
これは無限に可能。
よって、4n-1の形の素数は無限に存在する。
4n-1の形の素数が無限に存在することの新しい証明 その6
証明の方針
直接法で示す。
証明
4n-1の形の素数aが存在したとする。
a^2+2≡ー1 mod 4
a^2ー2≡ー1 mod 4
ここで上下の式は去通の素因数を持たない。
実際、共通の素因数を持ったとすると、
a^2+2=pa^(+2)
a^2ー2=pa^(-2)
上下の式を足して、
2a^2=p(a^(+2)+a^(ー2))
となり、pは奇数なのでpはaを素因数に含まないといけないが、それは式の構造上ありえない。よって共通の素因数を持たない。
より、
a^2+2≡ー1 mod 4
a^2ー2≡ー1 mod 4
は互いに素で4n-1の素因数を最低一つは持つ。ここで上をb、下をcとして、
(abc)^2+2≡ー1 mod 4
(abc)^2ー2≡ー1 mod 4
となり、上はa、b、c、のどれでもない4n-1の素因数dを持ち、下はa、b、cのどれでもない4n-1の素因数eを持つ。
これは無限にできる。よって4n-1の形の素数は無限に存在する。
4n-1の形の素数が無限に存在することの新しい証明 その5
証明の方針
背理法を使い矛盾が発生することを示す。
証明
4n-1の形の素数が有限個だと仮定する。
3×7×11×19×・・・=a
と置くと、aは4n-1の形か4n+1の形をしているので2乗すると、
a^2=(4n-1)^2=16n^2-8n+1
a^2=(4n+1)^2=16n^2+8n+1
になるので両方とも右辺から2を引くと、
a^2-2=(4n-1)^2-2=4(4n^2-2n)ー1
a^2-2=(4n+1)^2-2=4(4n^2+2n)-1
となり、4m-1の形になるが、aに含まれるどの4n-1の素数でも4m-1を割り切ることはできない。これは矛盾である。これは最初の4n-1の形の素数は有限個だとした仮定に誤りがある。よって4n-1の形の素数は無限に存在する。
4n-1の形の素数が無限に存在することの新しい証明 その4
証明の方針
直接法で示す。
証明
4n-1の形の素数のaとbの2個を取り上げる。
まずは1回目で奇数回。
2(a×b)+1≡ー1 mod 4
より、左辺にはaとbではない別の4n-1の素因数cが存在する。
次は2回目で偶数回。
2(a×b×c^2)+1≡ー1 mod 4
より、左辺はaでもbでもcない別の4n-1の素因数のdが存在する。
次は3回目で奇数回。
2(a×b×c×d)+1≡ー1 mod 4
より、左辺にはa、b、c、dのどれでもない4n-1の素因数eが存在する。
これを繰り返し、
奇数回のときは4n-1の形の素数を偶数個掛けるから値は4を法として1になるから、
2(a×b×c×d×e×f×・・・×z(2m))+1≡ー1 mod 4
となって新しく4n-1の素因数が存在すること示せる。
偶数回の時は4n-1の形の素数を偶数個掛けたうえでさらにもう1個かけることになるので最後の4n-1の素数は2乗すればいいので、
2(a×b×c×d×e×f×・・・×z(2m+1)^2)+1≡ー1 mod 4
となって新しく4n-1の素因数が存在することを示せる。
この操作は無限にできるので4n-1の形の素数は無限に存在する。
4n-1の形の素数が無限に存在することの新しい証明 その2
証明の方針
背理法で示す。4n-1の形の素数が有限個だと仮定すると矛盾が発生することを示す。
証明
4n-1の形の素数が有限個だと仮定する。4n+1の形の素数に制約を設ける必要がないから4n+1の形の素数には個数の制約を設けない。
素数階乗を使う。
2×3×5×7×11×・・・=a
と置く。ここでaに含まれてある4n-1の形の素数は有限個である。
すると、
a≡2 mod 4
となる。
aは2を素因数として含むから、4n+1と4n-1の形の双方をかけても、4を法として2に合同かー2に合同なのでどのみち、4を法として2に合同になる。
ここで、
a+1≡ー1 mod 4
となるので、a+1は4n-1の形で表されるが、4n-1の素数は有限個ですべてにaに含まれてあるという仮定より、a+1はどの4n-1の形の素数でも割り切れない。
これは矛盾である。
これは最初の4n-1の形の素数が有限個とした仮定に誤りがある。
よって、4n-1の形の素数は無限に存在する。