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.
論文ID : 2510.11559タイトル : Gauss and p-adic numbers著者 : F. Lemmermeyer分類 : math.NT(数論)、math.HO(歴史と概観)発表日 : 2025年10月13日論文リンク : https://arxiv.org/abs/2510.11559 ガウスは自身のノートに「無限合同式」に関する様々な計算を記録していた。これらの無限合同式はp進数であり、ガウスは二次ガウス和への11進近似を求めるために11進整数における5の平方根を計算し、10進整数における1の非自明な平方根を計算し、小さな自然数の10進対数を計算している。
p進数の概念は通常Henselに帰属され、彼は1899年にこの理論を導入した。その後Hasseは局所-大域原理を発見することで、p進数を代数的数論における不可欠なツールとした。しかし本論文は重要な歴史的事実を明らかにしている:
ガウスの先駆的業績 :ガウスは1800年7月のノートに「無限合同式」に関連する計算を既に記録していた。これらは実際にはp進数である!時代的意義 :これはHenselの正式な導入より約100年早く、ガウスの数学的洞察力の先見性を示している研究価値 :数学史を再検討し、見落とされていた重要な貢献を発見するガウスの原始ノートを分析することで、p進数概念の真の起源を明らかにする 法241、法11、法10における「無限合同式」計算を解読する ガウスがp進算術の基本操作を既に習得していたことを示す 歴史的発見 :ガウスが1800年にはp進数の概念を既に使用していたことを証明し、Henselより99年早い技術的解読 :ガウスの3種類のp進計算を詳細に分析:
多項式のp進根 二次ガウス和のp進近似 10進数における平方根と対数 方法の再構成 :ガウスの計算方法を現代的なp進理論で再解釈計算検証 :現代的な計算ツールを用いてガウスの計算の正確性を検証本論文の核心的課題はガウスのノートに記録された3種類のp進数計算を解読し検証することである:
多項式 f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 の241進数における根の求解 5 \sqrt{5} 5 の11進数展開の計算10進数における1の非自明な平方根と自然数の対数の計算 ガウスは現在「Henselの補題」と呼ばれるものに類似した方法を使用した:
まず多項式を法pで根を見つける その後段階的に法 p n p^n p n の根へリフティングする 根 x 1 ≡ 2 ( m o d 241 ) x_1 \equiv 2 \pmod{241} x 1 ≡ 2 ( mod 241 ) に対して、ガウスは以下を計算した:
x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 241 2 + ⋯ x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 24 1 2 + ⋯ ガウスは 5 \sqrt{5} 5 の11進数展開を計算した:
5 = 4 + 4 ⋅ 11 + 10 ⋅ 11 2 + 4 ⋅ 11 3 + 0 ⋅ 11 4 + 9 ⋅ 11 5 + ⋯ \sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots 5 = 4 + 4 ⋅ 11 + 10 ⋅ 1 1 2 + 4 ⋅ 1 1 3 + 0 ⋅ 1 1 4 + 9 ⋅ 1 1 5 + ⋯
計算戦略 :
5 n 2 ≡ 1 ( m o d 11 ) 5n^2 \equiv 1 \pmod{11} 5 n 2 ≡ 1 ( mod 11 ) の解 n = 3 n = 3 n = 3 を見つける二項展開を利用:1 + x = 1 + 1 2 x − 1 8 x 2 + ⋯ \sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots 1 + x = 1 + 2 1 x − 8 1 x 2 + ⋯ x = 4 ⋅ 11 x = 4 \cdot 11 x = 4 ⋅ 11 と設定し、1 + 4 ⋅ 11 \sqrt{1 + 4 \cdot 11} 1 + 4 ⋅ 11 を計算最後に n = 3 n = 3 n = 3 で除して結果を得る ガウスは10進数における1の非自明な平方根を計算した:
ε = ⋯ 2001114846846461792218008213239954784512519836425781249 \varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249 ε = ⋯ 2001114846846461792218008213239954784512519836425781249
再帰関係を使用:1 − a 2 ≡ 10 n r ( m o d 10 n + 2 ) 1 - a^2 \equiv 10^n r \pmod{10^{n+2}} 1 − a 2 ≡ 1 0 n r ( mod 1 0 n + 2 ) ならば:
b ≡ − r 2 ( m o d 10 ) b \equiv -\frac{r}{2} \pmod{10} b ≡ − 2 r ( mod 10 )
算術方法 :ガウスはp進数の基本的な算術演算を発展させた級数展開 :二項級数と対数級数を用いてp進計算を実行リフティング技術 :法pから法 p n p^n p n への根のリフティング方法を習得同型性の利用 :Z 10 ≅ Z 2 ⊕ Z 5 \mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5 Z 10 ≅ Z 2 ⊕ 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)
ガウスの手計算 対 現代的なコンピュータ検証 歴史的方法 対 現代的なp進理論の標準的方法 ガウスの計算:5 = 9.0.4.10.4.4 \sqrt{5} = 9.0.4.10.4.4 5 = 9.0.4.10.4.4 (右から左へ読む)
現代的検証:完全に正確であり、精度は 11 6 11^6 1 1 6 に達する
ガウスが二次周期 a = − 1 + 5 2 a = \frac{-1+\sqrt{5}}{2} a = 2 − 1 + 5 と b = − 1 − 5 2 b = \frac{-1-\sqrt{5}}{2} b = 2 − 1 − 5 を計算した際にエラーが発生:
正確な値:a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 ガウスの値:a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 (除算時の借位エラー) ガウスが計算した対数値は現代的な計算とほぼ一致:
log ( 31 ) = 80666080 \log(31) = 80666080 log ( 31 ) = 80666080 (ガウス)現代的計算は対数性質 log ( a b ) = log ( a ) + log ( b ) \log(ab) = \log(a) + \log(b) log ( ab ) = log ( a ) + log ( b ) を検証 ほとんどの計算は p 6 p^6 p 6 以上の精度で正確 個別の計算には算術エラーが存在するが、方法は正確 ガウスの非凡な計算能力を示している Hensel(1899年) :p進数理論の正式な導入Hasse :局所-大域原理の発展Freiの研究 :ガウスが「Henselの補題」を知っていたことを指摘本論文の発見 :ガウスが実際には完全なp進算術を習得していた代数的数論におけるp進数の中心的地位 暗号学、計算数論への応用 局所類体論との関連 歴史的再配置 :ガウスはp進数概念の真の先駆者であり、公認されているHenselより99年早い技術的成就 :ガウスはp進数の基本演算、平方根、対数などの高度な操作を既に習得していた方法論的価値 :ガウスの計算方法は現代理論と高度に一致している文献的制限 :現存するガウスのノートのみに基づいており、未発見の資料が存在する可能性解読の困難 :部分的な計算の意図と方法はさらなる研究が必要記号体系 :ガウスが使用した記号 Λ \Lambda Λ などの意味はまだ明確でない深掘り :ガウスの他のノートと未発表資料の継続的研究方法の再構成 :ガウスのp進理論を現代言語で完全に再構成教育応用 :ガウスの直感的方法をp進数の教学に活用史学的価値 :重大な数学史の発見であり、p進数の起源に関する記述を書き換える技術的深さ :詳細な計算分析と現代的検証文献的基礎 :原始文献に基づいた堅実な研究時代を超えた対話 :古典的方法と現代理論の完璧な結合解読の完全性 :部分的な計算の目的と方法はまだ十分に明確でない理論的深さ :主に計算レベルの分析であり、理論レベルの議論は相対的に少ない影響分析 :ガウスのこれらの業績がなぜ発表されず伝播しなかったのかについての分析が不足学術的影響 :数学史の教科書におけるp進数の起源に関する記述を変更する教育的価値 :p進数の教学に歴史的かつ直感的な視点を提供研究的啓発 :他の数学概念の歴史的起源の再検討を促進数学史研究 p進数理論の教学 計算数論の方法研究 ガウスの数学思想研究 主要な参考文献には以下が含まれる:
ガウスの原始ノート(Cod. Ms. Gauß Schedae 5) p進数に関するHenselの開拓的業績(1899年) ガウスの第8章未発表業績に関するFreiの研究 19世紀の「自己複製数」問題に関する初期文献 総評 :これはガウスの原始ノートの深い分析を通じてp進数概念の真の起源を明らかにする重要な数学史研究論文である。本論文は重要な史学的価値を有するだけでなく、ガウスの時代を超越した数学的洞察力を示している。技術的細部の解読においてさらなる深化の余地があるが、この発見はp進数の歴史に関する我々の認識を確実に変えるであろう。