Gauss and p-adic numbers

基本信息

• 论文ID: 2510.11559
• 标题: Gauss and p-adic numbers
• 作者: F. Lemmermeyer
• 分类: math.NT (Number Theory), math.HO (History and Overview)
• 发表时间: 2025年10月13日
• 论文链接: https://arxiv.org/abs/2510.11559

摘要

In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of $5$ in the $11$-adic integers in order to find an $11$-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of $1$ in $10$-adic integers, and computes the $10$-adic logarithms of small natural numbers.

研究背景与动机

历史背景

p进数的概念通常归功于Hensel，他在1899年引入了这一理论。Hasse随后通过发现局部-全局原理，使p进数成为代数数论中不可或缺的工具。然而，这篇论文揭示了一个重要的历史事实：

1. Gauss的先驱性工作：高斯在1800年7月的笔记本中已经记录了与"无穷同余式"相关的计算，这些实际上就是p进数！
2. 时代意义：这比Hensel的正式引入早了近100年，显示了高斯数学洞察力的超前性
3. 研究价值：重新审视数学史，发现被忽视的重要贡献

研究动机

• 通过分析高斯的原始笔记，揭示p进数概念的真正起源
• 解读高斯在模241、模11和模10下的"无穷同余式"计算
• 展示高斯已经掌握了p进算术的基本操作

核心贡献

1. 历史发现：证明高斯在1800年就已经使用了p进数的概念，比Hensel早99年
2. 技术解读：详细分析了高斯的三类p进计算：
   • 多项式的p进根
   • 二次高斯和的p进逼近
   • 10进数中的平方根和对数
3. 方法重构：用现代p进理论重新解释高斯的计算方法
4. 计算验证：使用现代计算工具验证高斯计算的正确性

方法详解

任务定义

本文的核心任务是解读和验证高斯笔记中三类p进数计算：

1. 求解多项式 $f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3$ 在241进数中的根
2. 计算 $\sqrt{5}$ 在11进数中的展开
3. 计算10进数中1的非平凡平方根和自然数的对数

核心计算方法

1. p进多项式根的提升

高斯使用了类似于现在称为"Hensel引理"的方法：

• 首先找到多项式在模p下的根
• 然后逐步提升到模 $p^n$ 的根
• 对于根 $x_1 \equiv 2 \pmod{241}$，高斯计算出： $x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots$

2. 11进平方根计算

高斯计算 $\sqrt{5}$ 在11进数中的展开： $\sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots$

计算策略：

• 找到 $5n^2 \equiv 1 \pmod{11}$ 的解 $n = 3$
• 利用二项展开：$\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots$
• 设 $x = 4 \cdot 11$，计算 $\sqrt{1 + 4 \cdot 11}$
• 最后除以 $n = 3$ 得到结果

3. 10进数中的特殊计算

高斯计算了10进数中1的非平凡平方根： $\varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249$

使用递推关系：如果 $1 - a^2 \equiv 10^n r \pmod{10^{n+2}}$，则： $b \equiv -\frac{r}{2} \pmod{10}$

技术创新点

1. 算术方法：高斯发展了p进数的基本算术运算
2. 级数展开：使用二项级数和对数级数进行p进计算
3. 提升技术：掌握了从模p到模 $p^n$ 的根提升方法
4. 同构利用：隐含地使用了 $\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5$ 的结构

实验设置

验证工具

作者使用现代计算工具PARI/GP来验证高斯的计算：

sqrt(5 + O(11^8)) = 4 + 4·11 + 10·11^2 + 4·11^3 + 9·11^5 + 5·11^6 + 8·11^7 + O(11^8)

对比方法

• 高斯的手工计算 vs 现代计算机验证
• 历史方法 vs 现代p进理论标准方法

实验结果

主要验证结果

1. 11进平方根验证

高斯的计算：$\sqrt{5} = 9.0.4.10.4.4$（从右到左读） 现代验证：完全正确，精度达到 $11^6$

2. 二次周期计算

高斯计算二次周期 $a = \frac{-1+\sqrt{5}}{2}$ 和 $b = \frac{-1-\sqrt{5}}{2}$ 时出现错误：

• 正确值：$a = 6.7.9.9.8.7$
• 高斯值：$a = 10.0.2.5.2.7$（除法时的借位错误）

3. 10进对数计算

高斯计算的对数值与现代计算基本一致：

• $\log(31) = 80666080$（高斯）
• 现代计算验证了对数性质 $\log(ab) = \log(a) + \log(b)$

计算精度分析

• 大部分计算精确到 $p^6$ 或更高精度
• 个别计算存在算术错误，但方法正确
• 展示了高斯非凡的计算能力

相关工作

历史脉络

1. Hensel (1899)：正式引入p进数理论
2. Hasse：发展局部-全局原理
3. Frei的研究：指出高斯知道"Hensel引理"
4. 本文发现：高斯实际掌握了完整的p进算术

现代发展

• p进数在代数数论中的核心地位
• 在密码学、计算数论中的应用
• 与局部类域论的联系

结论与讨论

主要结论

1. 历史重新定位：高斯是p进数概念的真正先驱，比公认的Hensel早99年
2. 技术成就：高斯已经掌握了p进数的基本运算、平方根、对数等高级操作
3. 方法论价值：高斯的计算方法与现代理论高度一致

局限性

1. 文献限制：仅基于现存的高斯笔记，可能还有未发现的材料
2. 解读困难：部分计算的意图和方法仍需进一步研究
3. 符号系统：高斯使用的记号 $\Lambda$ 等含义尚不明确

未来方向

1. 深入发掘：继续研究高斯的其他笔记和未发表材料
2. 方法重构：用现代语言完整重构高斯的p进理论
3. 教学应用：将高斯的直观方法用于p进数的教学

深度评价

优点

1. 史学价值：重大的数学史发现，改写了p进数的起源
2. 技术深度：详细的计算分析和现代验证
3. 文献功底：基于原始文献的扎实研究
4. 跨时代对话：古典方法与现代理论的完美结合

不足

1. 解读完整性：部分计算的目的和方法仍不够清晰
2. 理论深度：主要是计算层面的分析，理论层面的讨论相对较少
3. 影响分析：对高斯这些工作为何没有发表和传播缺乏分析

影响力

1. 学术影响：将改变数学史教科书中关于p进数起源的叙述
2. 教育价值：为p进数教学提供了历史和直观的视角
3. 研究启发：激发对其他数学概念历史起源的重新审视

适用场景

• 数学史研究
• p进数理论教学
• 计算数论方法研究
• 高斯数学思想研究

参考文献

主要参考文献包括：

1. Gauss的原始笔记（Cod. Ms. Gauß Schedae 5）
2. Hensel关于p进数的开创性工作（1899）
3. Frei关于高斯第八章未发表工作的研究
4. 19世纪关于"自复制数"问题的早期文献

总评：这是一篇重要的数学史研究论文，通过对高斯原始笔记的深入分析，揭示了p进数概念的真正起源。论文不仅具有重要的史学价值，也展示了高斯超越时代的数学洞察力。虽然在某些技术细节的解读上还有待深入，但这一发现无疑将改变我们对p进数历史的认知。