連続する3つの素数のべき乗和は素数になるのか？S_n=p_n^{p_n}+p_{n+1}^{p_{n+1}}+p_{n+2}^{p_{n+2}}の考察

素数を順番に並べ、その素数自身を指数としたべき乗を3つ足した数が素数になる条件について考えてみます。例えば、n番目の素数をp_nとして、S_n=p_n^{p_n}+p_{n+1}^{p_{n+1}}+p_{n+2}^{p_{n+2}}と定義した場合、どのような性質があるのかを具体例や合同式を使って解説します。

S_nの定義と具体例

p_nをn番目の素数とすると、最初の素数列は、2、3、5、7、11、13、17…となります。

したがって、例えばn=4の場合は、

(p_4,p_5,p_6)=(7,11,13)

となり、

S_4=7^7+11^11+13^13

という非常に大きな数になります。

このような形の数は一般的な素数判定が難しく、単純な計算だけで全ての場合を調べることはできません。

n=4の場合になぜ注目されるのか

n=4では、

S_4=7^7+11^11+13^13

を計算すると、303160419086407となり、これは素数です。

そのため、「このように素数になるのはn=4だけなのではないか」という予想を立てることができます。

しかし、ある特定の範囲で素数が見つかったことと、すべての正の整数nについて唯一であることを証明することは別問題です。

合同式から分かるS_nの性質

nが大きくなると、p_n,p_{n+1},p_{n+2}はすべて奇数になります。

奇数の奇数乗は奇数なので、

奇数+奇数+奇数=奇数

となり、S_nは奇数になります。

したがって、2で割れるために合成数になるということはありません。

ただし、奇数であることは素数であるための必要条件の一つに過ぎず、他の約数を持たないことまで示す必要があります。

実際に小さいnを調べるとどうなるか

小さい範囲では、いくつかの例を確認できます。

この結果だけを見るとn=4だけが特別に見えますが、有限個の確認では無限に続く数列全体の性質を証明したことにはなりません。

「n=4のみ」という主張を証明する難しさ

「すべての正の整数nについてS_nが素数になるのはn=4だけ」と示すには、nがどれほど大きくなっても必ず合成数になる仕組みを発見する必要があります。

例えば、ある固定された素数qについて、常に

S_n≡0（mod q）

となるような関係が見つかれば、nが大きい場合の合成性を証明できます。

しかし、この問題では素数自身が変化し、その指数も変化するため、単純な合同式だけでは一般的な証明は困難です。

現時点で考えられる結論

n=4でS_nが素数になることは確認できます。しかし、「S_nが素数となるnは4のみである」という主張は、単なる計算結果だけでは証明できません。

このような問題は、具体的な計算による探索と、数学的な一般証明を分けて考える必要があります。

小さい範囲ではn=4だけが素数になる例として確認されていますが、唯一性を断定するにはさらに高度な数論的証明が必要になります。

まとめ

S_n=p_n^{p_n}+p_{n+1}^{p_{n+1}}+p_{n+2}^{p_{n+2}}という数列では、n=4の場合に素数となることが分かります。

一方で、「すべてのnについてn=4だけが唯一である」という主張は、計算例だけでは証明できず、一般的な合同式や素数論による証明が必要です。

この問題は、素数の性質と巨大な指数計算が組み合わさった、非常に興味深い数論の問題といえます。