2025-11-10T03:14:45.496353

Gauss and p-adic numbers

Lemmermeyer
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.
academic

Гаусс и p-адические числа

Основная информация

  • ID статьи: 2510.11559
  • Название: Gauss and p-adic numbers
  • Автор: F. Lemmermeyer
  • Классификация: math.NT (Теория чисел), math.HO (История и обзор)
  • Дата публикации: 13 октября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2510.11559

Аннотация

В своих записных книжках Гаусс записал различные вычисления с "бесконечными сравнениями". Эти бесконечные сравнения являются p-адическими числами; Гаусс вычисляет квадратный корень из 55 в 1111-адических целых числах для нахождения 1111-адического приближения к квадратичной сумме Гаусса, вычисляет нетривиальный квадратный корень из 11 в 1010-адических целых числах и вычисляет 1010-адические логарифмы малых натуральных чисел.

Исторический контекст и мотивация

Исторический фон

Концепция p-адических чисел обычно приписывается Гензелю, который ввел эту теорию в 1899 году. Хассе впоследствии сделал p-адические числа незаменимым инструментом в алгебраической теории чисел благодаря открытию локально-глобального принципа. Однако данная статья раскрывает важный исторический факт:

  1. Пионерская работа Гаусса: Гаусс записал вычисления, связанные с "бесконечными сравнениями", в своей записной книжке в июле 1800 года, и эти вычисления фактически являются p-адическими числами!
  2. Историческое значение: Это произошло почти на 100 лет раньше формального введения Гензеля, что демонстрирует опережающее математическое прозрение Гаусса
  3. Научная ценность: Переосмысление истории математики и открытие упущенных важных вкладов

Научная мотивация

  • Раскрыть истинное происхождение концепции p-адических чисел путем анализа оригинальных записей Гаусса
  • Интерпретировать вычисления Гаусса "бесконечных сравнений" по модулям 241, 11 и 10
  • Продемонстрировать, что Гаусс уже овладел основными операциями p-адической арифметики

Основные вклады

  1. Историческое открытие: Доказано, что Гаусс использовал концепцию p-адических чисел в 1800 году, на 99 лет раньше Гензеля
  2. Техническая интерпретация: Детальный анализ трех классов p-адических вычислений Гаусса:
    • p-адические корни полиномов
    • p-адические приближения квадратичных сумм Гаусса
    • Квадратные корни и логарифмы в 10-адических числах
  3. Реконструкция методов: Переинтерпретация методов вычисления Гаусса с использованием современной p-адической теории
  4. Проверка вычислений: Верификация правильности вычислений Гаусса с помощью современных вычислительных инструментов

Подробное описание методов

Определение задач

Основная задача статьи состоит в интерпретации и верификации трех классов p-адических вычислений из записей Гаусса:

  1. Нахождение корней полинома f(x)=x520x486x398x2+80x+3f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 в 241-адических числах
  2. Вычисление разложения 5\sqrt{5} в 11-адических числах
  3. Вычисление нетривиального квадратного корня из 1 и логарифмов натуральных чисел в 10-адических числах

Основные методы вычисления

1. Поднятие p-адических корней полиномов

Гаусс использовал метод, аналогичный современной "лемме Гензеля":

  • Сначала найти корень полинома по модулю p
  • Затем постепенно поднять его до корня по модулю pnp^n
  • Для корня x12(mod241)x_1 \equiv 2 \pmod{241} Гаусс вычислил: x1=2+191241+1602412+x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots

2. Вычисление 11-адического квадратного корня

Гаусс вычислил разложение 5\sqrt{5} в 11-адических числах: 5=4+411+10112+4113+0114+9115+\sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots

Стратегия вычисления:

  • Найти решение 5n21(mod11)5n^2 \equiv 1 \pmod{11}, а именно n=3n = 3
  • Использовать биномиальное разложение: 1+x=1+12x18x2+\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots
  • Установить x=411x = 4 \cdot 11 и вычислить 1+411\sqrt{1 + 4 \cdot 11}
  • Разделить на n=3n = 3 для получения результата

3. Специальные вычисления в 10-адических числах

Гаусс вычислил нетривиальный квадратный корень из 1 в 10-адических числах: ε=2001114846846461792218008213239954784512519836425781249\varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249

Используя рекуррентное соотношение: если 1a210nr(mod10n+2)1 - a^2 \equiv 10^n r \pmod{10^{n+2}}, то: br2(mod10)b \equiv -\frac{r}{2} \pmod{10}

Технические инновации

  1. Арифметические методы: Гаусс разработал основные арифметические операции p-адических чисел
  2. Разложения в ряды: Использование биномиальных и логарифмических рядов для p-адических вычислений
  3. Техники поднятия: Овладение методом поднятия корней от модуля p к модулю pnp^n
  4. Использование изоморфизмов: Неявное использование структуры Z10Z2Z5\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-адического квадратного корня

Вычисления Гаусса: 5=9.0.4.10.4.4\sqrt{5} = 9.0.4.10.4.4 (читается справа налево) Современная верификация: полностью корректно, точность до 11611^6

2. Вычисление квадратичных периодов

При вычислении квадратичных периодов a=1+52a = \frac{-1+\sqrt{5}}{2} и b=152b = \frac{-1-\sqrt{5}}{2} Гаусс допустил ошибку:

  • Правильное значение: a=6.7.9.9.8.7a = 6.7.9.9.8.7
  • Значение Гаусса: a=10.0.2.5.2.7a = 10.0.2.5.2.7 (ошибка заимствования при делении)

3. Вычисление 10-адических логарифмов

Логарифмические значения, вычисленные Гауссом, в основном совпадают с современными вычислениями:

  • log(31)=80666080\log(31) = 80666080 (Гаусс)
  • Современные вычисления подтвердили свойство логарифма log(ab)=log(a)+log(b)\log(ab) = \log(a) + \log(b)

Анализ точности вычислений

  • Большинство вычислений точны до p6p^6 или выше
  • Отдельные вычисления содержат арифметические ошибки, но методы корректны
  • Демонстрирует исключительные вычислительные способности Гаусса

Связанные работы

Исторический контекст

  1. Гензель (1899): Формальное введение теории p-адических чисел
  2. Хассе: Развитие локально-глобального принципа
  3. Исследования Фрея: Указание на то, что Гаусс знал "лемму Гензеля"
  4. Открытия данной статьи: Гаусс фактически овладел полной p-адической арифметикой

Современное развитие

  • Центральное место p-адических чисел в алгебраической теории чисел
  • Приложения в криптографии и вычислительной теории чисел
  • Связь с локальной теорией полей классов

Выводы и обсуждение

Основные выводы

  1. Переосмысление истории: Гаусс является истинным пионером концепции p-адических чисел, опередив признанного Гензеля на 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. Оригинальные записи Гаусса (Cod. Ms. Gauß Schedae 5)
  2. Пионерские работы Гензеля по p-адическим числам (1899)
  3. Исследования Фрея о неопубликованной восьмой главе Гаусса
  4. Ранние работы XIX века о проблеме "самовоспроизводящихся чисел"

Общая оценка: Это важная статья по истории математики, которая через глубокий анализ оригинальных записей Гаусса раскрывает истинное происхождение концепции p-адических чисел. Статья имеет не только значительную историческую ценность, но и демонстрирует математическое прозрение Гаусса, опередившее его время. Хотя некоторые технические детали интерпретации требуют дальнейшего углубления, это открытие несомненно изменит наше понимание истории p-адических чисел.