前回の記事で や はずっと のままなのに,大きな で突然 でなくなるという「突然の裏切り」が起こることを紹介しました.
n⁵+5 と (n+1)⁵+5 の最大公約数 - 現実と数学の区別が付かない
他にも探してみると似た性質を持つ多項式がいくつか見つかります.それらを観察して,次の予想を立てました.
この予想が正しければ が素数になる はたくさん存在し,そのとき で「突然の裏切り」が起こることになります;
が素数のとき での像が となる を取ると,\begin{align*}\mathrm{gcd}(n^{p}+a,(n+1)^{p}+a)= \begin{cases}
q &(n\equiv b \mod q)\\
1 &(\mbox{otherwise})
\end{cases}\end{align*} となります.
この予想を解けた方には「裏切り」に関する何かしらの商品の進呈します.
状況証拠
を小さい に対して計算してみると \begin{align*}
r_2(t)=&~4t+1\\
r_{3}(t)=&~27t^2+1\\
r_{5}(t)=&~3125t^4+625t^2+1\\
r_{7}(t)=&~823543t^6+6000099t^4+12005t^2+1\\
r_{11}(t)=&~285311670611t^{10}+86346568369165434t^8\\&~+15483521175490489t^6+1782585424103t^4+3879865t^2+1\\
\vdots
\end{align*}となります. までは既約であることを計算機で確認しました(でも小さいところで成り立っているからといってずっと成り立つとは限らないという話を最近聞いたような……)
追記: は定数項が なので原始的で, で既約であることを示せば十分です. が既約であることを Eisensteinの判定法で証明できそうです.
各 に対し, が素数となる 以下の を列挙すると次のようになります.
のとき
のとき
のとき
のとき
のとき
のとき
のとき
のとき
のとき
のとき
のとき
のとき
そしてこの表のすべての で予想3,4 が成り立っています.
のとき
が素数となる自然数 は無限個存在します.
ピタゴラス素数 - Wikipedia
また, が素数のとき において\begin{align} (x+2a)(x+2a+1)=x^2+(4a+1)x+4a^2+2a=x^2-a+2a=x^2+a\end{align}となり, なので,予想3,4も成り立っています.
のとき
が素数となる自然数 無限個存在するかどうかは私には分かりません.しかし, なので,ブニャコフスキー予想が正しいと仮定すれば, が素数となる自然数 が無限個存在することになります.
また, が素数のとき において \begin{align}&\left(x+\cfrac{3a+1}{2}\right)\left(2x+\cfrac{3a-1}{2}\right)(x-3a)=x^3-\cfrac{27a^2+1}{4} x+\cfrac{-27a^3+3a}{4}\\
&=x^3+\cfrac{a+3a}{4}=x^3+a
\end{align} が成り立ちます. は 以上の素数なので が可逆元であることに注意してください. なので,予想3,4が成り立っています.
のとき
なので,ブニャコフスキー予想が正しいと仮定すれば, が素数となる自然数 が無限個存在することになります.
が素数のとき, において \begin{align}
x^5+a=
&~\left(x+\cfrac{625a^3+90a+11}{22}\right)\\
&~\left(x+\cfrac{625a^3+90a-11}{22}\right)\\
&~\left(x+\cfrac{625a^3+145a}{11}\right)\\
&~\left(x-\cfrac{1250a^3+125a^2+235a+7}{22}\right)\\
&~\left(x-\cfrac{1250a^3-125a^2+235a-7}{22}\right)
\end{align} が成り立ちます. であることから,予想3,4が成り立つことが分かります.
のときを鑑賞
最後に のときの「突然の裏切り」を鑑賞してみましょう.\begin{align*} &b=\\
&114639163986838022433471493033582231487059843696971501729723\\
&838399007961015906196300583570493634776987376087643269329057\\
&161223105482392984049807969081020156915883248950085087033826\\
&60163326302581676327242502043057172204427\\
&q= \\
&104310066642138695684562957075767539994224919231022785321022\\
&998638201111250690582693240070811357134844988196278442827230\\
&538607105018619585940730548217113231821013606082099727905440\\
&865311886180325006446369415049503294784509\\
\end{align*}とおくと,\begin{align*}\mathrm{gcd}(n^{37}+14,(n+1)^{37}+14)= \begin{cases}
q &(n\equiv b \mod q)\\
1 &(\mbox{otherwise})
\end{cases}\end{align*} となります.ここまでくると面白いかどうかも分からないですが何か凄いです.