において、が奇素数となるようなものをサーチしました。その際、「
の乗法性から絶対値が素数になるような
をサーチするには
が素数冪のときだけを考えれば十分である。」と述べました。これは値だけをサーチしたい場合には正しい主張ですが、そのような全ての
を調べたいという目的の場合には間違いとなります。というのも、もし
となるような
が存在すれば(しかも仮に
と互いに素だったと仮定すると)、
も素数となるにも関わらず
は素数冪ではないからです。というわけで、厳密には次の補題が必要です:
証明. 乗法性からが素数冪
のときに考えれば十分である(
は記号の乱用)。さて、
を
を固定して
に関する数列であると考えよう。便宜的に
を
だけスライドして
と定義する。このとき、漸化式
は
となって、(こう定義する),
より
がLucas数列であることを意味する:30:Lucas数列と原始的約数 - INTEGERS
とすると、
が成り立つ。こうして、上記記事で紹介したBilu-Hanrot-Voutierの結果を適用して原始的約数をもつからは
ではないと結論付ける論法である。ところが、
のときに本当に原始的約数をもたない例外ケースになっていないことを確認するのはそれなりに面倒そうである*1。 Q.E.D.
さて、証明には不満が残るものの、補題を認めればの絶対値が奇素数になるような
は素数冪のときに限ることが分かりました。その上で、その冪指数は偶数でなければならないことを示しましたが、最初の方の数値例(最初に挙げた記事)を眺めていると
ばかりが現れる一方、
や
のように
以外の指数も現れるようです。すると、次のような疑問が生じます。
実はの絶対値が奇素数になることはあり得ません。冪指数が大きい例としては
などが知られています。ここで、注目すべきは
素数!
素数!
素数!
素数!
素数!
今回の記事のメインは次の定理を紹介することです:
通常素数については親愛なる素数7758337633へ。あなたが好きです。 - INTEGERSを参照してください。
証明. 素数と
以上の奇数
を用いて
と書けることは既に分かっている。Lucas数列の記事の命題より
ならば
なので、補題と合わせると
の絶対値が素数ならば
は素数でなければならないことがわかる。
また、が非通常素数であると仮定すると、
なので、漸化式から
と割り切れる。これは仮定に反する。 Q.E.D.
*1:細かいが、のときは例え原始的約数をもつケースだったとしても
でないことだけなら簡単に分かる(
のとき、それは
ではない(
) )。
,
ならば
は原始的約数をもたないケースとなるが、
が整数解
を持たないため、このケースは起き得ないとわかる。一方、
(
は
より大きい偶数)ならば
は原始的約数をもたないケースとなるが、今度は
が整数解を持たないことを示す必要があるなど面倒である。全てのケースをすっきりと証明できればこの部分を書き直したいが正直実行する気力は起きそうにない。そもそも、Lygeros-Rozierが論文にこの部分の証明を書いていないという始末である。