🔢 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$ 的古老谜题。

以下是**卡尔·斯图默数（Carl Størmer's Numbers）**的故事，已拆解为简单部分。

1. 俱乐部：“斯图默数”

首先，让我们谈谈一个著名的数学规则，称为费马平方和定理。它指出，如果你有一个质数（只能被 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$ ）。现在，查看所有相乘得到该结果的质数。

找出该组中最大的质数。
规则： 当且仅当那个最大质数大于 $2x + 1$ 时，你的数字 $x$ 才是斯图默数。

如果最大质数太小， $x$ 就只是一个普通数字，而非斯图默数。如果它足够大， $x$ 就是那个特定大质数的唯一密码。

类比： 想象你有一把钥匙（ $x$ ）。你检查它能匹配的锁（ $x^2+1$ ）。如果锁中最大的螺栓巨大（大于你钥匙尺寸的两倍），那么你拥有的就是一把真正的斯图默钥匙。如果螺栓很小，你拿的就是一把假钥匙。

3. 它们有多常见？

作者们检查了前一百万个数字，发现其中约有 70% 是斯图默数。
他们推测，随着数字趋向无穷大，这个比例将稳定在 $\ln(2)$ （约为 0.693，即 69.3%）。他们尚未以 100% 的确定性证明这一点（这仍是一个“启发式”或经过深思熟虑的猜测），但数据强烈表明这是正确的。

4. 现实世界的英雄：卡尔·斯图默

本文还介绍了这些数字背后的那个人：卡尔·斯图默（1874–1957）。

他是谁？ 一位才华横溢的挪威数学家和天文学家。
他还做了什么？ 他以研究极光（北极光）而闻名。他弄清了来自太阳的带电粒子如何在地球磁场中舞动。他备受尊敬，以至于月球上的一座陨石坑以他的名字命名！
趣闻： 他还是一位秘密摄影师。他在夹克里藏着一台微型间谍相机，在奥斯陆街头抓拍人们。后来，这些照片成为了一场著名的艺术展览。

5. 压轴大戏：计算圆周率（ $\pi$ ）

我们为什么要在意这些数字？因为它们帮助我们计算 $\pi$ （圆的周长与直径之比）。

在计算机出现之前的旧时代，计算 $\pi$ 就像试图用茶匙填满游泳池。你需要一种非常高效的方法。数学家使用涉及反正切（一种角度计算）的公式来获取 $\pi$ 的数字。

斯图默发现了一个特殊的联系：

如果你有一个不是斯图默数的数字，你可以将其反正切公式分解为斯图默数的反正切之和。
如果一个数字是斯图默数，它就是“不可约”的——你无法将其进一步分解。它是一个基本的构建模块。

“超级公式”：
1896 年，斯图默发现了一个复杂的公式来计算 $\pi$ 。

2002 年，由金田康正（Yasumasa Kanada）领导的一个团队利用斯图默的公式计算了 1.24 万亿位 的 $\pi$ 。
这在当时是一项世界纪录。

因此，一个由关于质因数的“看门人”规则定义的 19 世纪数论概念，成为了 21 世纪打破计算 $\pi$ 位数世界纪录的秘密武器。

总结

斯图默数是特殊的“密码”，有助于将某些质数拆分为两个平方数。
本文提供了一个简单的测试来判断任何数字是否为斯图默数：检查 ( $x^2+1$ ) 的最大质因数是否大于 $2x+1$ 。
大约 69% 的所有数字都是斯图默数。
这些数字对于卡尔·斯图默创建公式至关重要，这些公式使得计算机能够计算出数万亿位的 $\pi$ 。
卡尔·斯图默还是一位以命名月球陨石坑而闻名的天文学家，以及一名街头摄影间谍。

以下是 Matthew Kroesche、Lance L. Littlejohn 和 Graeme Reinhart 所著论文《Carl Størmer 及其数》的详细技术总结。

1. 问题陈述

本文旨在刻画Størmer 数，这是一类源于费马二平方定理研究及 $\pi$ 近似计算的特定整数类。

背景： 对于素数 $p \equiv 1 \pmod 4$ ，费马二平方定理保证了其唯一表示 $p = a^2 + b^2$ 的存在性。该定理的大多数构造性证明都依赖于寻找最小的正整数 $x_0$ ，使得 $x_0^2 \equiv -1 \pmod p$ 且 $1 < x_0 \le (p-1)/2$ 。
缺口： 尽管此类 $x_0$ 的存在性已知，但当时尚无简单、必要且充分的条件来判断任意整数 $x_0 \in \mathbb{N}$ 是否为某个素数 $p$ 的 Størmer 数。此外，这些数的统计分布（自然密度）虽为猜想对象，但缺乏严格证明。
历史动机： 该研究与 Carl Størmer 关于将 $\pi$ 表示为反正切值（Gregory 数）线性组合的恒等式的工作相关联，这些恒等式在计算机时代之前对于高精度 $\pi$ 计算至关重要。

2. 方法论

作者结合了数论、代数数论（特别是高斯整数）以及概率启发式方法。

连分数与欧几里得算法： 论文回顾了 Smith 的方法，该方法利用欧几里得算法和连分数（三对角矩阵的行列式）将 $x^2 \equiv -1 \pmod p$ 的解与分解 $p = a^2 + b^2$ 联系起来。
素因数分解分析： 核心方法论涉及分析 $x_0^2 + 1$ 的素因数分解。作者研究了 $x_0$ 与 $x_0^2 + 1$ 的最大素因子之间的关系。
高斯整数： 为了解决与 Gregory 数的联系，作者利用了高斯整数环 $\mathbb{Z}[i]$ 。他们将分解 $\arctan(1/n)$ 的问题映射到高斯整数 $n+i$ 的分解及其范数性质上。
概率启发式： 针对密度猜想，作者基于算术级数中素数的分布和 Mertens 定理构建了启发式论证。

3. 主要贡献与结果

A. Størmer 数的刻画（定理 2.3）

论文确立了整数 $x_0$ 为 Størmer 数的明确必要且充分条件。

定义： 设 $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$ 的 Størmer 数，当且仅当 $2x_0 + 1 \le p_m$ （其中 $p_m$ 是 $x_0^2 + 1$ 的最大素因子）。
推论： 若条件成立，则关联的素数是唯一的，且等于 $p = p_m$ 。若 $2x_0 + 1 > p_m$ ，则 $x_0$ 不是任何素数的 Størmer 数。
单射性： 作者证明了 Størmer 函数 $S(p)$ 是单射的；特定的 $x_0$ 至多对应一个素数 $p$ 。

B. 自然密度猜想（第 3 节）

猜想： 论文讨论了 Everest 和 Harman (2008) 的猜想，即 Størmer 数的自然密度为 $\ln(2) \approx 0.693$ 。
启发式证明： 作者提供了一个概率论证来支持这一密度。他们估算了随机 $x_0$ 满足对某个素数 $p$ 有 $2x_0 + 1 \le p \le x_0^2 + 1$ 的概率。利用算术级数的素数定理和 Mertens 估计，他们推导出极限：
$\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. 与 Gregory 数及 $\pi$ 的联系（第 5 节）

Størmer 定理： 论文形式化了 Størmer 的结果：若 $\gcd(a, b) = 1$ ，则 $\arctan(b/a)$ 可唯一表示为有限个 $\arctan(1/n)$ 的线性组合，其中每个 $n$ 均为 Størmer 数。
机制： 这是通过 $\mathbb{Z}[i]$ 中的唯一分解定理证明的。$a+bi $分解为高斯素数对应于将角度$ \arctan(b/a)$ 分解为与 Størmer 数相关联的角度。
不可约性： 论文将 Størmer 数与“不可约”Gregory 数（在 Todd 的意义上）联系起来，证明了 $n$ 是 Størmer 数当且仅当 $\arctan(1/n)$ 不能写成其他 $\arctan(1/k)$ 项之和。
历史应用： 论文强调了 Størmer 1896 年的恒等式（ $t_1 = 44t_{57} + 7t_{239} - 12t_{682} + 24t_{12943}$ ）如何被金田康正 (Yasumasa Kanada) 在 2002 年用于计算 1.24 万亿位 $\pi$ 。

4. 意义

理论清晰度： 论文解决了关于 Størmer 数识别的歧义，提供了一种计算高效的测试方法（定理 2.3），避免了为特定 $x_0$ 寻找关联素数 $p$ 的需求。
跨领域桥梁： 它有效地架起了经典数论（费马定理、二次同余）与计算数学史（ $\pi$ 的近似）之间的桥梁。
历史背景： 本文作为对 Carl Størmer 的全面致敬，详述了他在数论和天体物理学（特别是极光及磁场中带电粒子的研究）方面的双重遗产。
算法效用： 该刻画使得生成 Størmer 数及构建新的 $\pi$ 反正切恒等式成为可能，尽管这对现代超级计算机而言已非关键，但其数学优雅性和历史意义依然显著。

总之，本文提供了对 Størmer 数的严格刻画，给出了其密度的有力启发式论证，并阐明了它们在用于近似 $\pi$ 的反正切恒等式代数结构中的根本作用。