2025.03.10記
本問のテーマ
エラトステネスの篩
2025.03.11記(00:41:47)
(2) エラトステネスの篩から,連続する6個の自然数の中に2または3の倍数が丁度4個含まれるので2とも3とも互いに素なものは丁度2個なので,この中に素数は 型と
型の高々2個しか存在しない.よって2個先の素数は少なくとも6以上大きくなるので,十分大きな
について
が成立する.
[解答]
(1) 素数を小さい順に並べると
となるので
である.
(1) 素数を小さい順に並べると
(2) ,
より
で成立する.
ある で
が成立するとする.ここで連続6整数の中に2とも3とも互いに素なものは丁度2個存在することに注意すると,
,
,
,
,
,
の中に2とも3とも互いに素なものは 以外に1つだけ存在し,それが素数であろうとなかろうと
を満たすので でも成立する.
よって 以上にすべての自然数
について
が成り立つ.
で
は奇数だから
が成立するので,一旦
を満たせば
が成立する.しかし
(3の倍数)とはならないので
が成立する,として帰納法で示しても良い.
連続する30個の自然数の中に2,3,5と互いに素なものは 個なので
が成立し,
であるから, に対して
が言えることがわかる.