Theorem」(ジグモンディの定理)を取り上げます。前回はジグモンディの定理の内容とその応用例についてご紹介しました。今回の主役は次の数列です。Number)』すべての桁が$1$である自然数を「レピュニット数」という。ここではレピュニット数列$\{R_n\}$を$$R_n=\underbrace{111...111}_{n個}$$と定めることにする。見慣れない数かもしれませんが、電卓で最も遊ばれやすい数の一つと言えるのではないでしょうか(笑)。“repeat“+”unit“=”repunit“というのが名前の由来です。このレピュニット数は面白い性質を持っています。以下の等式を見て下さい。$$111111111^2=12345678987654321$$割と有名な等式かもしれませんが、次の式のリストを見ると何だか神秘的にすら思われます。$1^2=1$$11^2=121$$111^2=12321$$1111^2=1234321$$11111^2=123454321$$111111^2=12345654321$$1111111^2=1234567654321$$11111111^2=123456787654321$$111111111^2=12345678987654321$さて、このレピュニット数を小さい順から並べた数列を「レピュニット数列」と名付けて調べてみます。一般項は次のようになります。\tag{1.2}$$となります。一応、$2$進法や$3$進法でもレピュニット数を考えることはできますが、ここでは$10$進法($10$を基底としたレピュニット)で考えます。横道に逸れますが、偶数個の$1$からなるレピュニット数について、以下の等式が成立します。\end{align}$$という関係が背景にあります。個の$0$を$1$で挟んだ見た目をした数ですから、これに$R_n$を乗じれば$R_{2n}$になることは明白ですね。レピュニット数$R_n$は以下のような性質を持ちます。$R_m$と$R_n$が互いに素これらの性質は以下の(ほぼ自明な)関係式により導かれます。\tag{1.3}$$あとはユークリッドの互除法や帰納法により証明可能です。レピュニット数列の隣接2項が互いに素であることは($\text{B}$)の特別な場合に相当しますが、その証明は非常に易しく、漸化式すら使用しません。レピュニット数には次のような性質もあります。($\text{C}$)$2$および$5$を除く任意の素数に対して、レピュニット数となるような倍数が存在するこの命題は次のように言い換えることができます。($\text{C}$′)レピュニット数には$2$および$5$以外の任意の素数を素因数にもつものが存在するこれはいわゆる「鳩の巣論法」(「ディリクレの引き出し論法」とも)によって示すことができますし、フェルマーの小定理を知っていれば瞬殺です。因みにこのレピュニット数列は入試問題の題材にもなっており、2008年の東大前期入試において出題されています。最近では駿台予備校主催の2017年第2回東大実戦模試で扱われたようです。(2008年の東大の問題は個人的にオススメです)レピュニット数には他にも色々と面白い性質が存在するのですが、ここからは本題に移ろうと思います。再掲になりますが、ジグモンディの定理とは以下のようなものでした。divisor)が少なくとも1つ存在する。とき今回は和のバージョンは必要ありませんので割愛します。ここで、以下に$R_n$の素因数分解の結果を示します。上記の命題($\text{A}$)~($\text{C}$)がちゃんと成立しているのが理解して頂けると思います。$・\color{orange}{1300635692678058358830121}$取り敢えず$R_{55}$までの素因数分解の結果を列挙しました。察しの良い方ならお気付きでしょうが、色付きの数字は「新出の素因数」です。ここで$R_n$の「新出の素因数」とは、$R_n$の素因数のうち、$R_2、\cdots、R_{n-1}$のそれぞれを素因数分解して得られる素因数のいずれにも該当しないようなものを指しています。上記のリストを見ると、どの項に対しても「新出の素因数」が存在することが予想できます。「新出の素因数」と言えば”あの定理”がピンと来ますよね?・・・そうです!この予想をジグモンディの定理を利用して解決してみましょう。は$9$の倍数であるから、常に$R_n$は整数である。素因数から$3^2$を除いたものに一致する。2)$の任意の項に対して「新出の素因数」が存在する」は真である。非常にあっさりと解決してしまいました。ジグモンディの定理恐るべし・・・。因みに、レピュニット数のうち素数となるものを「レピュニット素数」というのですが、$R_2$、$R_{19}$、$R_{23}$、$R_{317}$、$R_{1031}$、$R_{49081}$、$R_{86453}$、$R_{109297}$、$R_{270343}$、$\cdots$(この中には「確率的素数」も含まれる)と、かなり疎らに点在しています。2017年12月現在、レピュニット素数が出現する規則性や、無数に存在するか、などに関してはほとんど分かっていません(勿論、命題($\text{A}$)や($\text{B}$)を考えれば、$R_n$が素数となるのは$n$が素数の場合に限ることは直ぐに分かりますが・・・)。「新出の素因数」について見ていきましょう。$n$が素数のとき命題($\text{B}$)により、$R_n$の素因数はすべて「新出の素因数」となります。\pmod{n}$$が成立します。これは位数の性質により証明可能ですので、早速証明してみましょう。《証明》$R_n$の「新出の素因数」を$p$とする。\tag*{・・・(ア)}$$となる。\tag*{・・・(イ)}$$が言える。