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 (История и обзор)Дата публикации : 13 октября 2025 г.Ссылка на статью : https://arxiv.org/abs/2510.11559 В своих записных книжках Гаусс записал различные вычисления с "бесконечными сравнениями". Эти бесконечные сравнения являются p-адическими числами; Гаусс вычисляет квадратный корень из 5 5 5 в 11 11 11 -адических целых числах для нахождения 11 11 11 -адического приближения к квадратичной сумме Гаусса, вычисляет нетривиальный квадратный корень из 1 1 1 в 10 10 10 -адических целых числах и вычисляет 10 10 10 -адические логарифмы малых натуральных чисел.
Концепция p-адических чисел обычно приписывается Гензелю, который ввел эту теорию в 1899 году. Хассе впоследствии сделал p-адические числа незаменимым инструментом в алгебраической теории чисел благодаря открытию локально-глобального принципа. Однако данная статья раскрывает важный исторический факт:
Пионерская работа Гаусса : Гаусс записал вычисления, связанные с "бесконечными сравнениями", в своей записной книжке в июле 1800 года, и эти вычисления фактически являются p-адическими числами!Историческое значение : Это произошло почти на 100 лет раньше формального введения Гензеля, что демонстрирует опережающее математическое прозрение ГауссаНаучная ценность : Переосмысление истории математики и открытие упущенных важных вкладовРаскрыть истинное происхождение концепции p-адических чисел путем анализа оригинальных записей Гаусса Интерпретировать вычисления Гаусса "бесконечных сравнений" по модулям 241, 11 и 10 Продемонстрировать, что Гаусс уже овладел основными операциями p-адической арифметики Историческое открытие : Доказано, что Гаусс использовал концепцию p-адических чисел в 1800 году, на 99 лет раньше ГензеляТехническая интерпретация : Детальный анализ трех классов p-адических вычислений Гаусса:
p-адические корни полиномов p-адические приближения квадратичных сумм Гаусса Квадратные корни и логарифмы в 10-адических числах Реконструкция методов : Переинтерпретация методов вычисления Гаусса с использованием современной p-адической теорииПроверка вычислений : Верификация правильности вычислений Гаусса с помощью современных вычислительных инструментовОсновная задача статьи состоит в интерпретации и верификации трех классов 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-адических числах Вычисление нетривиального квадратного корня из 1 и логарифмов натуральных чисел в 10-адических числах Гаусс использовал метод, аналогичный современной "лемме Гензеля":
Сначала найти корень полинома по модулю 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 для получения результата Гаусс вычислил нетривиальный квадратный корень из 1 в 10-адических числах:
ε = ⋯ 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)
Ручные вычисления Гаусса vs современная компьютерная верификация Исторические методы vs стандартные методы современной 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 или выше Отдельные вычисления содержат арифметические ошибки, но методы корректны Демонстрирует исключительные вычислительные способности Гаусса Гензель (1899) : Формальное введение теории p-адических чиселХассе : Развитие локально-глобального принципаИсследования Фрея : Указание на то, что Гаусс знал "лемму Гензеля"Открытия данной статьи : Гаусс фактически овладел полной p-адической арифметикойЦентральное место p-адических чисел в алгебраической теории чисел Приложения в криптографии и вычислительной теории чисел Связь с локальной теорией полей классов Переосмысление истории : Гаусс является истинным пионером концепции p-адических чисел, опередив признанного Гензеля на 99 летТехнические достижения : Гаусс уже овладел основными операциями p-адических чисел, включая квадратные корни, логарифмы и другие продвинутые операцииМетодологическая ценность : Методы вычисления Гаусса высоко согласуются с современной теориейОграничения источников : Исследование основано только на сохранившихся записях Гаусса, возможно, существуют неоткрытые материалыТрудности интерпретации : Цель и методы некоторых вычислений требуют дальнейшего исследованияСистема обозначений : Значение символов, используемых Гауссом, таких как Λ \Lambda Λ , остается неяснымГлубокое изучение : Продолжение исследования других записей и неопубликованных материалов ГауссаРеконструкция методов : Полная реконструкция p-адической теории Гаусса на современном языкеПрименение в обучении : Использование интуитивных методов Гаусса в преподавании p-адических чиселИсторическая ценность : Значительное открытие в истории математики, переписывающее происхождение p-адических чиселТехническая глубина : Детальный анализ вычислений и современная верификацияОсновательность источников : Солидное исследование, основанное на оригинальных документахДиалог через века : Идеальное сочетание классических методов и современной теорииПолнота интерпретации : Цель и методы некоторых вычислений остаются недостаточно яснымиТеоретическая глубина : Анализ в основном на уровне вычислений, теоретическое обсуждение относительно ограниченоАнализ влияния : Отсутствует анализ причин, почему эти работы Гаусса не были опубликованы и не получили распространенияАкадемическое влияние : Изменит описание происхождения p-адических чисел в учебниках по истории математикиОбразовательная ценность : Предоставляет исторический и интуитивный подход к преподаванию p-адических чиселИсследовательское вдохновение : Побуждает переосмысление исторического происхождения других математических концепцийИсследования по истории математики Преподавание теории p-адических чисел Исследование методов вычислительной теории чисел Изучение математической мысли Гаусса Основные источники включают:
Оригинальные записи Гаусса (Cod. Ms. Gauß Schedae 5) Пионерские работы Гензеля по p-адическим числам (1899) Исследования Фрея о неопубликованной восьмой главе Гаусса Ранние работы XIX века о проблеме "самовоспроизводящихся чисел" Общая оценка : Это важная статья по истории математики, которая через глубокий анализ оригинальных записей Гаусса раскрывает истинное происхождение концепции p-адических чисел. Статья имеет не только значительную историческую ценность, но и демонстрирует математическое прозрение Гаусса, опередившее его время. Хотя некоторые технические детали интерпретации требуют дальнейшего углубления, это открытие несомненно изменит наше понимание истории p-адических чисел.