Twitterって本当に面白いなと思うのですが、人々のいろんな発見が流れてくるのです。
私が最近面白いと思ったのは次のツイートです。
「2、5を除く全ての素数は11、111、1111、…の素因数として“周期的に”現れる」ってことに気が付いて、証明できた気がするんだけど、これって素数の研究に役立ったりしないかな。おれが気付ける程度のことだから既に知られているとは思うけど。
— Yukinari (@yukinarioshiro) 2020年8月27日
レピュニットについてはこれまでも何度か記事にまとめてきましたが、このツイートに書かれているような事実は知りませんでした。とても面白いと思いましたので、ぜひ紹介させてください。
tsujimotter.hatenablog.com
今回の話はレピュニットだけでなく、「循環小数」や「ダイヤル数」という面白いテーマにも広がる話になっています。よろしければ最後までご覧になってください。
ツイートの主張の確認
上のツイートの内容について、必要な前庭知識をまとめておきましょう。
のように が並ぶ数のことを レピュニット と呼びます。
また、 桁のレピュニット
を と表すことにします。
このとき、次が成り立ちます:
実際、レピュニットの素因数を計算してみましょう:
tsujimotter.info
iPhoneをお持ちの方は「素数チェッカー」というアプリも便利に使えます:
apps.apple.com上で挙げた5つのレピュニットにおいて、素因数として
という数が登場しました。
これ以外の素数は今の所まだ登場しませんが、 と続けていけば、いつかは必ず登場するというのが上の定理の主張です。
とても面白いですね!
素因数の周期性
定理の証明に行く前に、レピュニットの数表についてもう少しだけ観察を続けます。
は が 個並んだ数だと思うことができます。よって、 と分解できます。これは だと思うことができますね。
同様に、 は が 個並んだ数だと思うことができます。すなわち、 と思うことができます。
この調子で考えていくと、 の素因数(つまり、 自身)は、2個おきにレピュニットに現れることがわかりますね。
また、 は が 個並んだ数だと思うことができます。すなわち、 ということです。 つまり、 には の素因数()が登場することになります。
同様に、 は が 個並んだ数だと思うことができます。すなわち、 ということです。実際、 を素因数分解するとこうなります:
ちゃんと と が素因数に登場しますね。
この調子で考えていくと、 の素因数()は、3個おきにレピュニットに現れることがわかりますね。
以上をまとめるとこういうことになります。
- で現れた素因数は でも現れる(周期性)
これもなかなか面白い性質ですね!
定理の証明
証明にあたっては、以下の2つのことが必要です:
- レピュニット を扱いやすい数式に落とす
- が を素因数に持つを合同式で表す
1. について考えてみましょう。 は
と表すことができるでしょう。
右辺を 等比数列の和 だと思うと、
と変形できますね。
この数が素数 を素因数に持つということは、 で に合同であるということです。すなわち
ということですね。これが 2. で述べたことです。
合同式に置き換えることができたら、あとは合同式のルールに乗っ取って変形していけば良いでしょう。
であれば、式 の両辺に を掛けたものは、同値な合同式となります。したがって、以下では としましょう。( はあとで個別に議論します。)
よって、 において
すなわち
を満たす の存在を示せば良いことになります。
ここまで来ると色々見えてきますね。フェルマーの小定理 を使いましょう。フェルマーの小定理は、整数の合同式における議論で頻繁に用いられる定理ですので、ご存じない方はこれを機にぜひ覚えていってください。
つまり、 と互いに素な は、 で 乗すると と合同になるということですね。
今回の問題は、 を で 乗したとき に合同になるような は存在するかという問題でした。
のとき、 と は互いに素なので、 としてフェルマーの小定理が使えます。すなわち、 のとき
が成り立ちます。
したがって、これまでの議論を踏まえて、 であれば として が素因数 を持つことが示されました。
なお、 のときは、 は明らかに素因数 を持つので成立します。
フェルマーの小定理が綺麗に決まって、面白いですね!
証明によって、素数 を素因数に持つ の は、多くとも であることが分かりましたね。証明によってメカニズムがよく分かりましたね。
また、上で議論していませんが、 の下一桁が であるため、 で割り切れるような は存在しないことに注意しましょう。
ダイヤル数との関係
ここまでで本題の定理の証明は終わりなのですが、せっかくなのでレピュニットの問題を掘り下げた上で、関連する整数論の話題を紹介したいと思います。
前述の議論では「 で が を素因数に持つ」という事実の証明について述べてきました。
一方で、たとえば を見ると分かるように、
ですから、 よりもずいぶん前に が素因数に現れることがあります。
もちろん、 においても は素因数に現れます。実際
となり、たしかに が素因数に現れていますね。
つまり、何が言いたいかというと、 で確かに に素因数 が現れるわけですが、もっと早い でも素因数に現れる場合があるのです。というか、前に現れるケースの方が多いのです。
というわけで、以降では素数 に対して「 が素因数 を持つような最小の整数 」を考えたいと思います。これを と書くことにしましょう。
実際、 を除く 以下の素数について、実験してみると次のようになります:
素数 | ||
---|---|---|
ここで、色をつけた素数 は、 であるような素数です。すなわち、最後の最後である にならないと素因数に現れない「しぶとい素数」です。
さて、 はというと、合同式
を満たす最小の と思うことができます。
(つまり、10を何回冪乗したら1になるか、ということですね。)
このような のことを、 における の位数 といいます。
における位数には、色々重要な性質があります。もっとも顕著な性質としては、位数は の約数である ということです。 (実際、上の表を使って が の約数になっていることを確認してみましょう。)
このことは、フェルマーの小定理の帰結
から直ちに導くことができます。
の約数の中で最大のものが 自身というわけですが、 の位数が であるような数を の原始根 といいます。つまり、先ほどの「しぶとい素数」たち において、 は の原始根だということですね。
このように問題を言い換えることで、整数論の世界のさまざまな知見が使えるのが面白いです。抽象化することで問題を水平展開できるのです。
最後に応用例として、循環小数 と ダイヤル数 について紹介しましょう。
を相変わらず であるような素数とします。このとき
という分数を考えて、これを小数展開しましょう。
この小数展開は、必ず有限の桁で循環します。たとえば、
- (6桁で循環する)
- (2桁で循環する)
- (6桁で循環する)
となります。循環する桁数を「循環節の長さ」ということにしましょう。
ここ重要な事実として、次のようなことが示せます:
- の循環節の長さは、 における の位数に一致する
これは極めて面白い性質です。その理屈は、次のページを読んでいただければ分かるかと思います:
tsujimotter.hatenablog.com
今回の記事のレピュニットの性質を踏まえると、次の等式が成立することがわかりますね:
=( における の位数)
=( の循環節の長さ)
特に循環節の長さが となるような に着目しましょう。
たとえば、 の小数展開は
であり、 が循環節です。この には面白い性質があって、次のような式が成り立ちます:
から までの数をかけると、数が「巡回して」いるように見えるでしょう。
(読者の中には、電卓で上のような遊びをしたことある方も多いのではないでしょうか。)
のような性質を持つ数のことを ダイヤル数 といいます。
ここで面白いのは、ダイヤル数はすべて の小数展開から作れるということです。これは次のような必要十分条件になっています:
- ダイヤル数を循環節に持つ小数 は、循環節の長さが であるときに限られる
つまり、こういうことです:
における の位数が (10が の原始根)
の循環節の長さが
の循環節がダイヤル数
これで「しぶとい素数」とダイヤル数がつながりましたね!面白い!
すなわち、先ほどの色をついた「しぶとい素数」
においては、すべて の循環節がダイヤル数になるということです。
mathworld.wolfram.com
日本語の適切な訳は見つからなかったのですが、ご存知の方がいれば教えてください。
ところで、このような性質を持つ嬉しい素数 は無限に存在するのでしょうか?
実は、無限かどうかという問題は、現在未解決の予想となっています。アルティン予想 という名前がついていますので、興味がある方はぜひ調べてみてください。
というわけで、いろんな方向に話が広がってしまいましたが、レピュニットから始まる整数論の世界を楽しんでいただけましたでしょうか?
レピュニットについては語り尽くしたと思っていましたが、まだまだ色々な発見がありそうです。
それでは今日はこの辺で!
関連動画
今回の記事を読んで「フェルマーの小定理」や「 の整数論」に興味を持った方におすすめの動画です:
www.youtube.com