レピュニット数と3...31の形をした合成数と、無理数の無理数乗。

　今日は11月11日ということでレピュニット数について話をします！(初数学ブログ de テンションMAX！)

レピュニット数について

レピュニット($\text{repunit}$)とは、$\text{rep}\text{eated}$$\text{unit}$を省略した言葉で

レピュニット数($\text{repunit number}$)とは、全ての桁が$1$である自然数$11\cdots 1$のことです。

実際に$1(\text{unit})$が繰り返されて$(\text{repeated})$いますね！

11月11日はまさにレピュニットの日というわけです！！
(ポッキーを思い浮かべた方も今はレピュニット数に思いを馳せましょう！)

この$11$は素数ですが、レピュニット数かつ素数である数が無限にあるかどうかはまだ分かっていません。

しかし、レピュニット数かつ合成数である(＝素数でない)数は無限にあります。($\underset{1が偶数個}{\underbrace{11\cdots 1}}$は$11$の倍数)

さらに、フェルマーの小定理を使うことで、どんな$7$以上の素数$p$対しても、$p$の倍数であるレピュニット数を構成することが出来ます。
まずここでフェルマーの小定理の主張を確認し、その構成方法と仕組みを述べます。

フェルマーの小定理は
素数$p$で割り切れない整数$a$を$p-1$回かけた数$a\underset{p-1\text{回}}{\underbrace{\times \cdots \times }}a$は、必ず$p$で割ると$1$余る数になるんだぜという定理です。(例えば$3$で割り切れない整数$5$を$2$回かけた数$25$は、$3$で割って$1$余る数になっていますね！)
以下に主張をまとめます。

この定理を使った7以上の素数で割り切れるレピュニット数の構成と仕組みが以下です。

ちなみに、$7$以上の素数$p$に対して$\underset{p-1コ}{\underbrace{11\cdots 1}}$が$p$の倍数であるということは、
$$\underset{p-1コ}{\underbrace{22\cdots 2}},\underset{p-1コ}{\underbrace{33\cdots 3}},\underset{p-1コ}{\underbrace{44\cdots 4}},\underset{p-1コ}{\underbrace{55\cdots 5}},\underset{p-1コ}{\underbrace{66\cdots 6}},\underset{p-1コ}{\underbrace{77\cdots 7}},\underset{p-1コ}{\underbrace{88\cdots 8}},\underset{p-1コ}{\underbrace{99\cdots 9}}$$も$p$の倍数ということになります。

何があるか分からないこの時代、もし全ての桁が$3$である$17$の倍数が今すぐどうしても欲しいという状況になっても、
この定理で対処することが出来ます！($\underset{3が16コ並んだ数}{\underbrace{3333333333333333}}$を手元に用意すればOK！)

無理数の無理数乗は有理数になるか？

さて、ここでタイトルにある無理数の無理数乗についてこのような問題を考えます。

問題１：無理数の組$(a,b)$で、$a^b$が有理数になる($a^b\in \mathbb{Q}$)ものはあるか？

この問題に対して独特な証明がありますが、そのおかげで問題自体わりかし有名かもしれません。

ちなみに、こちらも条件を満たす組が無限個存在することが示せます。先ほどのレピュニット数の証明と何が違うのかを意識しながら証明を確かめましょう！

どうでしょうか！　
この証明の個人的面白ポイントは具体的な構成は示していないという所にあります！　
つまり、${\text{(無理数)}}^{\text{(無理数)}}=(\text{有理数})$となる無理数の組を具体的に見せて、と言われたら困ってしまう訳です！(証明中${\sqrt{2}}^{\sqrt{2}}$が無理数がどうか最後まで分からない！)
もちろん、組$(\sqrt{2},\sqrt{2})$か組$({\sqrt{2}}^{\sqrt{2}},\sqrt{2})$のどちらか一方は少なくとも条件を満たすことは言えますが、どちらが条件を満たすかは結局分からずじまいなのです！
この一見すると、具体的に条件を満たす無理数の組を見つけているように見えてじつは存在性しか言っていない所がこの証明のアツい部分です。

$3$を$16$個並べれば$17$の倍数が手に入った先ほどの状況とはずいぶん違いますね！
今回どうしても${\text{(無理数)}}^{\text{(無理数)}}=(\text{有理数})$になる無理数の組が手元にないと不安だよ～という方は$(\sqrt{2},\sqrt{2})$と$({\sqrt{2}}^{\sqrt{2}},\sqrt{2})$の両方を用意してください！すみません！

$3\cdots 31$の形をした合成数について

ここまでレピュニット数のお話と不思議な証明のお話の２つを紹介しました。

ここからは最終章として、$3\cdots 31$の形をした合成数について話します！ちなみに２つのお話がどこかに再登場します！

ところで皆さん今月11月は31日(晦日)がやってこない小の月ですが、$31$にまつわるこんな小ネタをご存じですか？

$$31\to \text{素数}$$
$$331\to \text{素数}$$
$$3331\to \text{素数}$$
$$33331\to \text{素数}$$
$$333331\to \text{素数}$$
$$3333331\to \text{素数}$$
$$33333331\to \text{素数}$$
$$333333331\to \text{素数じゃない}$$
　WHY PRIME NUMBERS!?

$3\cdots 31$の形をした整数は常に素数になるかと思いきや8番目でその法則は破られて合成数になってしまいます。

この$3\cdots 31$という同じ数字$3$が続いている様子を見ていると、最初のレピュニット数のお話をどうにか使って$3\cdots 31$の形をした合成数を構成できる気がなんとなくしてきます。
つまり、いざとなったらこの形をした合成数を好きなだけ手に入る仕組みが作れるのではないかという予想です。

今のところ筆者はこの予想を具体的に解決出来ませんでしたが、なんと先ほどの無理数の無理数乗のお話のように2つのうち少なくともどちらか一方が$3\cdots 31$の形をした合成数となる組を見つけることが出来ました！

そしてその証明はまたもや、具体的に構成しているように見えてじつは存在性しか言っていないアツい証明になっています！！
さらにその証明に最初のレピュニット数のお話(定理2)を使います！今までの力を結集して最後の敵と対峙する少年漫画のような証明を紹介していきます！

記号が多く煩雑な証明になってしまったので、$n=2,3$の場合の具体例を以下に示します。

先ほどの証明の最中に、$\underset{30コ}{\underbrace{3\cdots 3}}00+31=\underset{32桁}{\underbrace{3\cdots 31}}$が$31$の倍数になることを示していました。

先ほどの証明の最中に、$\underset{330コ}{\underbrace{3\cdots 3}}000+331=\underset{333桁}{\underbrace{3\cdots 31}}$が$331$の倍数になることを示していました。

今回の内容はこれで終了です！

いかがでしたでしょうか！
ある数が$\text{A}$という性質を持てば、その数をとり、
ある数が$\text{A}$という性質を持たなければ、その数から構成される別の数($\text{A}$という性質を持つ)をとればよい($\text{A}$でないからこそ構成できる)
という流れがなんとも不思議でしたね！
(性質$\text{A}=$無理数の無理数乗の形をしているかつ有理数である　or　$3\cdots 31$の形をしているかつ合成数である)

身近(?)なところ(人狼ゲーム)では、
"この人が言っていることが嘘だったらこの人が人狼、本当だったらあの人が人狼。少なくとも、この人かあの人のどちらかが人狼だから、二人とも...(ｹﾂｲ)"
といった推論の流れが今回の証明の流れと似ているでしょうか！
もしよかったら皆さんも日常の生活の中で、この流れがどこかに使われていない是非探してみて下さい！

最後に一つ問題を残して、筆を置きたいと思います！　
ここまで読んで頂き、ありがとうございました！

問題２:花子と太郎は、赤か白の帽子をかぶっていて、それぞれ自分の帽子は見れず、相手の帽子は見ることが出来る。

二人同時に自分の帽子の色を答えるとき、少なくとも一人が正解するには事前にどんな戦略を立てておけばよいか？