🔢 mathematics

Carl Størmer and his Numbers

本論文は、 $p \equiv 1 \bmod 4$ なる素数 $p$ に対する $x^2 \equiv -1 \bmod p$ の最小剰余解として定義されるストルメル数が自然数であるための必要十分条件を確立し、同時にこれらの数をグレゴリー数および円周率 $\pi$ の高精度近似と結びつけたカール・ストルマーの歴史的な研究にも言及する。

原著者： Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

公開日 2026-04-30

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

あなたが、ある特別な数のクラブに関する謎を解こうとする探偵だと想像してください。この論文は、そのクラブ、そのクラブに入るための規則、そしてこれらの数が円周率 $\pi$ に関する非常に古い謎を解くのにどのように役立つのかについて述べています。

以下に、カール・シュトルマーの数の物語を、簡単な部分に分解して紹介します。

1. クラブ：「シュトルマー数」

まず、フェルマーの二平方定理と呼ばれる有名な数学の規則について話しましょう。この定理は、4 の倍数に 1 を加えた素数（5、13、17、29 など）は、常に二つの完全平方数の和に分解できることを述べています。

例: $13 = 2^2 + 3^2$ ( $4 + 9$ )。

その二つの平方数（2 と 3）を見つけるために、数学者たちは通常、まず厄介ななぞなぞを解かなければなりません。つまり、ある数 $x$ を見つけ、それを二乗して素数で割った余りが $-1$ になるようにするのです。

例: 素数 13 の場合、5 を二乗すると 25 になります。25 を 13 で割ると、余りは $-1$（または 12）です。したがって、5 が鍵となります。

著者たちは、この鍵となる数をシュトルマー数と呼んでいます。これは、素数を二つの平方数に分解する扉を開くための「パスワード」のようなものです。

2. 大発見：誰がパスワードを手に入れるのか？

長い間、人々はすでに素数を持っている場合、そのパスワードを見つける方法を知っていました。しかし、15 のようなランダムな数しか持っていない場合はどうでしょうか？15 はある素数に対するパスワードでしょうか、それとも偽物でしょうか？

この論文の著者たちは、ある数が本当のシュトルマー数かどうかを判断する正確な規則を見つけ出しました。

規則（扉の「ボーダー」）:
あなたの数（これを $x$ と呼びましょう）を取ります。それを二乗して 1 を加えます（ $x^2 + 1$ ）。次に、その結果を作るために掛け合わされているすべての素数を見てみましょう。

そのグループの中で最大の素数を見つけます。
規則: あなたの数 $x$ がシュトルマー数であるのは、その最大の素数が $2x + 1$ より大きい場合に限ります。

最大の素数が小さすぎる場合、 $x$ は単なる普通の数であり、シュトルマー数ではありません。もしそれが十分に大きければ、 $x$ はその特定の大きな素数に対する唯一のパスワードとなります。

比喩: あなたが鍵（ $x$ ）を持っていると想像してください。その鍵が合う鍵穴（ $x^2+1$ ）をチェックします。もし鍵穴にある最大のボルトが巨大（鍵のサイズの 2 倍より大きい）であれば、あなたは本物のシュトルマーの鍵を持っています。ボルトが小さい場合は、あなたは偽物の鍵を手にしているのです。

3. 彼らはどれほど一般的か？

著者たちは最初の 100 万個の数を調べ、その約70%がシュトルマー数であることを発見しました。
彼らは、無限に進むにつれて、この割合が正確に $\ln(2)$ （約 0.693、つまり 69.3%）に落ち着くと疑っています。彼らはこれを 100% の確信で証明したわけではありません（これはまだ「経験則」または推測です）が、数値はそれが真実であることを強く示唆しています。

4. 現実世界の英雄：カール・シュトルマー

この論文は、これらの数に名を冠した人物、カール・シュトルマー（1874–1957）についても紹介しています。

彼は何者か？ 天才的なノルウェーの数学者であり天文学者でした。
他に何をしたのか？ 彼はオーロラ（極光）の研究で有名でした。彼は太陽から来る荷電粒子が地球の磁場の中でどのように踊るかを解明しました。彼は非常に尊敬されており、彼の名前を冠したクレーターが月にあるほどです！
面白い事実: 彼はまた、秘密のカメラマンでもありました。彼はジャケットの中に小さなスパイカメラを持ち込み、オスロの通りで人々のスナップ写真を撮りました。後に、これらの写真は有名なアート展となりました。

5. 大団円：円周率（ $\pi$ ）の計算

なぜ私たちがこれらの数に関心を持つのでしょうか？それは、これらが $\pi$ （円の円周と直径の比率）の計算を助けてくれるからです。

昔、コンピューターが存在する以前は、 $\pi$ を計算することは、スプーン一つでプールを埋め尽くそうとするようなものでした。非常に効率的な方法が必要でした。数学者たちは、 $\pi$ の桁数を取得するために、逆正接（角度計算の一種）を含む公式を使用します。

シュトルマーは特別な発見をしました。

シュトルマー数ではない数がある場合、その逆正接の公式を、シュトルマー数の逆正接の和に分解することができます。
数がシュトルマー数である場合、それは「既約」です。つまり、それ以上分解することはできません。それは基本的な構成要素です。

「スーパー公式」:
1896 年、シュトルマーは $\pi$ を計算するための複雑な公式を見つけました。

2002 年、金田康正率いるチームは、シュトルマーの公式を用いて、 $\pi$ の1 兆 2400 億桁を計算しました。
これは当時、世界記録でした。

つまり、19 世紀の「ボーダー」規則によって定義された素因数に関する数論の概念が、21 世紀に $\pi$ の桁数計算の世界記録を破るための秘密兵器として使用されたのです。

まとめ

シュトルマー数は、特定の素数を二つの平方数に分解するのを助ける特別な「パスワード」です。
この論文は、任意の数がシュトルマー数かどうかを確認する簡単なテストを提供しています。それは、( $x^2+1$ ) の最大の素因数が $2x+1$ より大きいかどうかをチェックするものです。
全ての数の約 69% がシュトルマー数です。
これらの数は、コンピューターが $\pi$ の兆単位の桁数を計算することを可能にしたシュトルマーの公式の作成に不可欠でした。
カール・シュトルマーは、月のクレーターに名前を冠された天文学者であり、ストリート写真のスパイでもありました。

以下は、Matthew Kroesche、Lance L. Littlejohn、Graeme Reinhart による論文「Carl Størmer and His Numbers」の詳細な技術的要約である。

1. 問題提起

本論文は、フェルマーの二平方和定理および $\pi$ の近似の研究から生じる特定の整数類であるストルメール数の特性付けを取り扱っている。

背景: 素数 $p \equiv 1 \pmod 4$ に対して、フェルマーの二平方和定理は、 $p = a^2 + b^2$ という一意な表現を保証する。この定理のほとんどの構成証明は、 $x_0^2 \equiv -1 \pmod p$ かつ $1 < x_0 \le (p-1)/2$ を満たす最小の正整数 $x_0$ を見つけることに依存している。
課題: このような $x_0$ の存在は知られているが、任意の整数 $x_0 \in \mathbb{N}$ がある素数 $p$ に対するストルメール数であるかどうかを決定するための、単純かつ必要十分条件は存在しなかった。さらに、これらの数の統計的分布（自然密度）は予想の主題であったが、厳密な証明は欠けていた。
歴史的動機: この研究は、 $\pi$ をアークトン関数の値の線形結合（グレゴリー数）として表す恒等式に関するカール・ストルメールの研究と結びついている。これらはコンピュータ時代以前に高精度の $\pi$ 計算に不可欠であった。

2. 手法

著者らは、数論、代数的数論（特にガウス整数）、および確率的な帰納法を組み合わせて用いている。

連分数とユークリッド互除法: 論文は、 $x^2 \equiv -1 \pmod p$ の解と $p = a^2 + b^2$ という分解を結びつけるために、ユークリッド互除法と連分数（三対角行列の行列式）を用いるスミスの手法をレビューしている。
素因数分解の分析: 手法の核心は、 $x_0^2 + 1$ の素因数分解を分析することにある。著者らは、 $x_0$ と $x_0^2 + 1$ の最大素因数との間の関係を調査している。
ガウス整数: グレゴリー数との関連に対処するために、著者らはガウス整数環 $\mathbb{Z}[i]$ を利用している。 $\arctan(1/n)$ の分解の問題を、ガウス整数 $n+i$ の因数分解およびそのノルムの性質への写像として扱う。
確率的帰納法: 密度の予想に対して、著者らは算術級数における素数の分布とメルテンスの定理に基づいた帰納的論証を構築している。

3. 主要な貢献と結果

A. ストルメール数の特性付け（定理 2.3）

論文は、整数 $x_0$ がストルメール数であるための決定的な必要十分条件を確立している。

定義: $x_0^2 + 1 = 2^r \cdot p_1^{e_1} \cdots p_m^{e_m}$ を素因数分解とし、 $p_1 < p_2 < \dots < p_m$ とする。
定理: $x_0$ が素数 $p$ に対するストルメール数であるための必要十分条件は、 $2x_0 + 1 \le p_m$ （ここで $p_m$ は $x_0^2 + 1$ の最大素因数）であることである。
含意: 条件が満たされれば、関連する素数は一意であり、 $p = p_m$ に等しい。もし $2x_0 + 1 > p_m$ であれば、 $x_0$ はどの素数に対してもストルメール数ではない。
単射性: 著者らは、ストルメール関数 $S(p)$ が単射であることを証明している。すなわち、特定の $x_0$ は高々一つの素数 $p$ に対応する。

B. 自然密度の予想（第 3 節）

予想: 論文は、ストルメール数の自然密度が $\ln(2) \approx 0.693$ であるという、エヴァレストとハーマン（2008 年）による予想について議論している。
帰納的証明: 著者らは、この密度を示唆する確率的論証を提供している。彼らは、ある素数 $p$ に対して条件 $2x_0 + 1 \le p \le x_0^2 + 1$ を満たすランダムな $x_0$ の確率を推定する。算術級数に対する素数定理とメルテンスの推定を用いて、以下の極限を導出する：
$\lim_{x_0 \to \infty} \sum_{2x_0 \le p \le x_0^2} \frac{1}{p} \sim \ln(\ln(x_0^2)) - \ln(\ln(2x_0)) \sim \ln(2)$
注記: 著者らは明示的に、この密度の厳密な証明は未だ見出されていないと述べている。

C. グレゴリー数および $\pi$ との関連（第 5 節）

ストルメールの定理: 論文は、 $\gcd(a, b) = 1$ であれば、 $\arctan(b/a)$ は、各 $n$ がストルメール数であるような $\arctan(1/n)$ の有限線形結合として一意に表現できるというストルメールの結果を形式化している。
メカニズム: これは $\mathbb{Z}[i]$ における一意な因数分解によって証明される。$a+bi $をガウス素数に分解することは、角度$ \arctan(b/a)$をストルメール数に関連する角度に分解することに対応する。
既約性: 論文は、ストルメール数を（トッドの意味における）「既約な」グレゴリー数に関連付け、 $n$ がストルメール数であるための必要十分条件は、 $\arctan(1/n)$ が他の $\arctan(1/k)$ 項の和として書き表せないことであることを証明している。
歴史的応用: 論文は、ストルメールの 1896 年の恒等式（ $t_1 = 44t_{57} + 7t_{239} - 12t_{682} + 24t_{12943}$ ）が、2002 年に金田康正によって $\pi$ の 1 兆 2400 億桁の計算に使用されたことを強調している。

4. 意義

理論的明確化: 論文は、ストルメール数の同定に関する曖昧さを解消し、 $x_0$ に関連する特定の素数 $p$ を探す必要がない計算効率の高いテスト（定理 2.3）を提供している。
分野の架け橋: 古典的な数論（フェルマーの定理、二次合同式）と計算数学の歴史（ $\pi$ の近似）を効果的に架け橋している。
歴史的文脈: 論文は、数論と天体物理学（特にオーロアおよび磁場内の荷電粒子の研究）における二重の遺産を詳述することで、カール・ストルメールへの包括的な賛辞となっている。
アルゴリズム的有用性: この特性付けにより、ストルメール数の生成および $\pi$ のための新しいアークトン恒等式の構築が可能となる。これは現代のスーパーコンピュータにとってはそれほど重要ではないかもしれないが、数学的に優雅であり、歴史的に意義深いものである。

要約すると、本論文はストルメール数の厳密な特性付けを提供し、それらの密度に対する説得力のある帰納的論証を提示し、 $\pi$ の近似に用いられるアークトン恒等式の代数的構造におけるそれらの基本的な役割を解明している。