Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers

この論文は、Rényi によって導入された非整数基底における展開に対してミディの定理を一般化し、特に黄金比の基底において分母が素数である場合の性質を特徴づけることを示しています。

要約

この論文は、数学の「ミディの定理（Midy's Theorem）」という面白いルールを、整数以外の「不思議な世界」に広げた研究です。

専門用語を避け、日常のイメージを使って解説しましょう。

1. 元々のルール：「9 の魔法」

まず、元のミディの定理が何をしているかを見てみましょう。

分数 $\frac{3}{7}$ を小数で表すと、$0.428571428571\dots$ となります。
この「428571」という数字の並びは、永遠に繰り返されます（これを「周期」と呼びます）。

面白いことに、この周期を真ん中で半分に切ると：

• 前半：428
• 後半：571

この 2 つを足すと、999 になります！
$\frac{18}{19}$ なども同じで、周期を半分に分けて足すと、すべて「9」でできた数字になります。
これを「9 の魔法」と呼ぶことにしましょう。これは、分母が素数（2, 3, 5, 7, 11...）の分数でよく起きる現象です。

2. 新しい世界：「黄金比（Golden Ratio）」という不思議な土台

通常、私たちは「10 進法」を使います。これは「10」という数字を基準（土台）にして数を表しています。
しかし、この論文の著者たちは、「10 ではない、もっと不思議な数字」を土台にして、同じような魔法が起きるかどうかを探りました。

彼らが選んだのは、**「黄金比（$\tau$：タウ）」**という数字です。

• 値は約 1.618。
• 自然界（ヒマワリの種や貝殻の渦）によく現れる美しい比率です。
• この世界では、数字は「0」と「1」しか使えません（2 進法に近いですが、土台が 1.618 なので、ルールが少し違います）。

3. 発見：黄金比の世界でも「魔法」は起きる？

著者たちは、黄金比の世界で分数を書き直して実験しました。

例えば、$\frac{3}{7}$ を黄金比の世界で書くと、以下のような「0 と 1」の羅列になります。
0.0100001001010010...（永遠に繰り返す）

これを半分に切ってみましょう。

• 前半：01000010
• 後半：01010010

これらを「黄金比の世界の足し算」で足すと、**「10101010」**という数字になります。
これは、黄金比の世界における「999...」に相当する「最大限の数字」です。

結論：
「9 の魔法」は、10 進法だけでなく、黄金比という不思議な世界でも起きる！ ということがわかりました。

4. なぜこれが重要なのか？（フィボナッチ数列との関係）

この研究の面白い点は、**「素数」と「フィボナッチ数列」**という、一見関係なさそうな 2 つの要素が、この魔法の鍵になっていることです。

• フィボナッチ数列：0, 1, 1, 2, 3, 5, 8, 13, 21...（前の 2 つを足すと次の数になる数列）。
• 素数：2, 3, 5, 7, 11...

著者たちは、「分母が素数の場合、その素数が黄金比の世界で『9 の魔法』を起こすかどうか」を、フィボナッチ数列の性質を使って見分ける方法を見つけました。

• 魔法が起きる素数：例えば 3, 5, 7, 13, 17 など。
• 魔法が起きない素数：例えば 11, 29 など。

これらは、その素数がフィボナッチ数列のどこに位置するか、あるいはフィボナッチ数列の数字をその素数で割った時の余りのパターンによって決まります。まるで、素数が「フィボナッチのダンス」を踊れるかどうかで、魔法の発動が決まっているかのようです。

5. 簡単なまとめ

この論文は、以下のようなことを伝えています。

1. 数学は遊ぶもの：「9 の魔法」という面白い現象は、10 進法だけの話ではありません。
2. 黄金比の秘密：自然界の美しい比率である「黄金比」の世界でも、同じような規則性が存在します。
3. 素数と数列の絆：どの素数がこの魔法を持つかは、フィボナッチ数列という有名な数列の「割り算の性質」で説明できます。

つまり、**「分数」「素数」「黄金比」「フィボナッチ数列」**という、バラバラに見える数学の要素たちが、実は深くつながっていて、美しいパターンを作っていることを発見した、というお話です。

数学は単なる計算ではなく、宇宙の奥深くにある「隠れたリズム」を見つける遊びのようなものだと、この論文は教えてくれます。

技術概要

以下は、Zuzana Mas´akov´a と Edita Pelantov´a による論文「Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers（非整数基底におけるミディの定理とフィボナッチ数の可除性）」の技術的な要約です。

1. 問題設定 (Problem)

ミディの定理 (Midy's Theorem) の拡張
従来のミディの定理は、10 進法（整数基底）における分数 $p/q$（$q$ は素数）の性質を記述するものです。周期が偶数 $2n$の場合、その周期を前半$n$桁と後半$n$桁に分割し、それぞれを数値として足し合わせると、$10^n - 1$（すなわち$n$ 個の 9 からなる数）になるという性質があります。

この研究の目的は、以下の 2 点に焦点を当ててこの定理を一般化することです。

1. 非整数基底への拡張: 整数基底（$b \in \mathbb{N}$）ではなく、実数 $\beta > 1$（特に黄金比 $\tau = \frac{1+\sqrt{5}}{2}$）を基底とする $\beta$ 展開において、同様の「ミディの性質」が成立するか。
2. 分母の条件の特定: 特に黄金比 $\tau$ を基底とする場合、どのような分母 $q$（特に素数）に対してこの性質が成り立つのかを、フィボナッチ数の可除性を用いて特徴付けること。

2. 手法と予備知識 (Methodology & Preliminaries)

$\beta$ 展開と貪欲アルゴリズム
A. Rényi が導入した $\beta$ 展開（$\beta$-expansion）を用います。正の実数 $x$ に対して、貪欲アルゴリズムにより $x = \sum x_k \beta^k$ と表します。ここで、許容される数字列は、1 の擬貪欲展開 $d^*_\beta(1)$ と辞書式順序を比較することで決定されます（Parry の条件）。

ミディの性質の定義 (Definition 2.2)
基底 $\beta > 1$ において、整数 $q$ が「ミディの性質」を持つとは、$q$ と互いに素な $p$ ($0 < p < q$) が存在し、以下の条件を満たすことを指します。

• $p/q$ の $\beta$ 展開が純周期であり、その最小周期の長さが偶数 $2n$ である。
• 周期を前半 $n$ 桁と後半 $n$ 桁に分割して得られる $\beta$ 整数 $x, y$ の和が、$\beta^n - 1$ となる。
  $$x + y = \beta^n - 1$$

必要条件の導出 (Section 3)

• 変換の対称性: $T_\beta(x) = \beta x - \lfloor \beta x \rfloor$ と定義する。$q$ がミディの性質を持つための必要十分条件は、ある $N$ に対して $T^N(p/q) = (q-p)/q$ かつ $T^N((q-p)/q) = p/q$ が成り立つことである（Lemma 3.1）。
• 同伴行列の条件: 基底 $\beta$ の最小多項式の同伴行列を $C$ とすると、$q$ がミディの性質を持つためには、ある正整数 $N$ に対して $C^N \equiv -I \pmod q$ が成り立つことが必要である（Theorem 3.2）。
  • この条件から、$\beta$ の次数が奇数でノルムが 1 である場合（例：トリボナッチ基底）、ミディの性質を持つ $q$ は存在しないことが示される。

3. 主要な結果 (Key Results)

A. 黄金比 $\tau$ における十分条件 (Section 4)

基底を黄金比 $\tau = \frac{1+\sqrt{5}}{2}$ とした場合、同伴行列 $C = \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}$ の $N$ 乗はフィボナッチ数を用いて表せます。
$$C^N = \begin{pmatrix} F_{N-1} & F_N \\ F_N & F_{N+1} \end{pmatrix}$$

• 定理 4.1: $C^N \equiv -I \pmod q$ が成り立てば、$q$ は基底 $\tau$ においてミディの性質を持ちます。さらに、この場合 $p/q$ のすべての $p$ が性質を検証します。
• フィボナッチ数との関係:
  • $q$ が $F_{2n-1}$ ($n \ge 3$) の約数であれば、ミディの性質を持ちます（Corollary 4.5）。
  • $q$ が $F_{2n}$ ($n \ge 3$) の倍数であれば、ミディの性質を持ちません。
• 最小周期の長さ: 性質を持つ場合、最小周期 $d$ は 4 の倍数となります（Remark 4.2）。

B. 素数分母 $q$ の完全な特徴付け (Section 5)

素数 $q$ に対して、ミディの性質の有無を二次剰余とフィボナッチ数の周期を用いて分類しました。

1. $q = 5$ または $q \equiv \pm 2 \pmod 5$ の場合:

   • これらの素数は常にミディの性質を持ちます（Theorem 5.3）。
   • 理由：$q \equiv \pm 2 \pmod 5$ なら、$5$は$q$における二次非剰余であり、$a(q)$（$q$が$F_n$を割り切る最小の$n$）は$q+1$を割り切ります。これにより$C^{q+1} \equiv -I \pmod q$ が導かれます。

2. $q \equiv \pm 1 \pmod 5$ の場合:

   • この場合、$5$は$q$における二次剰余です。$q-1 = 2^k \ell$($\ell$ は奇数) とします。
   • 定理 5.4: $q$ がミディの性質を持つための必要十分条件は、行列の列 $\{C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}\}$ の中に $-I \pmod q$ に等しい行列が存在することです。
   • 単に $q \equiv \pm 1 \pmod 5$ であるだけでは性質を持つとは限りません（例：$q=41$ は持つが、$q=101$ は持たない）。

3. 反例と非存在:

   • $q \equiv -1 \pmod{20}$ または $q \equiv 11 \pmod{20}$ である素数は、ミディの性質を持ちません（Corollary 5.5）。
   • メルセンヌ素数 $q=2^s-1$ について、$s \equiv 3 \pmod 4$ なら性質を持ち、$s \equiv 1 \pmod 4$ なら持ちません。

4. 意義と結論 (Significance & Conclusion)

• 理論的貢献: 整数基底でのみ知られていたミディの定理を、非整数基底（特に代数的整数）へと初めて拡張しました。
• 代数的数論との結びつき: ミディの性質の存在が、基底の同伴行列のべき乗と合同式、およびフィボナッチ数列の可除性（$a(q)$ の性質）と密接に関連していることを明らかにしました。
• 具体的な分類: 黄金比 $\tau$ を基底とした場合、分母が素数であるときのミディの性質の有無を、$q$ を法とした 5 の二次剰余性と、$q-1$ の 2 べき因子の構造によって完全に特徴付けることに成功しました。
• 将来の展望: 二次ピソット単位数（ノルムが -1 のもの）への一般化の可能性や、他の非整数基底（例：$X^2 - mX - n$ の根）における現象についても言及されており、数論的数値表現系における新たな研究分野を開拓しました。

この論文は、古典的な数論的定理を現代的な数値表現系（$\beta$ 展開）の文脈で再解釈し、代数的整数論と組み合わせ論を融合させた重要な成果です。