Карл Størmer и его числа

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

• ID статьи: 2511.03030
• Название: Carl Størmer and his Numbers
• Авторы: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart
• Классификация: math.HO (История математики), math.NT (Теория чисел)
• Дата публикации: 4 ноября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2511.03030

Аннотация

В многочисленных доказательствах теоремы Ферма о двух квадратах ключевую роль играет минимальный положительный остаток $x_0$ квадратичного сравнения $x^2 \equiv -1 \bmod p$, где $p$ — простое число и $p \equiv 1 \bmod 4$. Такие $x_0$ называются числами Størmer в честь норвежского математика и астронома Карла Størmer (1874–1957). В данной работе устанавливаются необходимые и достаточные условия для того, чтобы $x_0 \in \mathbb{N}$ было числом Størmer некоторого простого числа $p \equiv 1 \bmod 4$. Исследование Størmer этих чисел главным образом проистекало из его работы над представлением $\pi$ как конечной линейной комбинации значений ряда Грегори–Маклорена $\arctan(1/x)$. Поскольку к 1900 году было известно менее 600 цифр числа $\pi$, приближение $\pi$ являлось важной задачей. Тождество, открытое Størmer в 1896 году, было использовано командой Канады в 2002 году для вычисления 1,24 триллиона цифр числа $\pi$.

Исследовательский контекст и мотивация

Предпосылки проблемы

1. Значимость теоремы Ферма о двух квадратах: Эта теорема названа Г.Х. Харди "одной из самых изящных теорем в арифметике". Она утверждает, что простое число $p$ представимо в виде суммы двух положительных квадратов тогда и только тогда, когда $p \equiv 1 \bmod 4$.
2. Центральная роль квадратичных сравнений: Большинство доказательств теоремы Ферма о двух квадратах включают исследование квадратичного сравнения $x^2 \equiv -1 \bmod p$. Например, доказательство, независимо данное Эрмитом и Серре в 1848 году, предполагает известность минимального остатка $x_0$, а затем использует алгоритм Евклида для получения алгоритма нахождения положительных целых чисел $a, b$, удовлетворяющих $p = a^2 + b^2$.
3. Историческое значение: Хотя Жирар сформулировал теорему в 1632 году, а Ферма объявил о доказательстве в 1640 году, первое зафиксированное доказательство существования дал Эйлер в 1749 году, а доказательство единственности завершил Гаусс в 1801 году.

Исследовательская мотивация

1. Теоретическая необходимость: Когда простое число $p$ велико, нахождение $x_0$ практически затруднительно; требуются систематические критерии определения.
2. Историческая ценность: Работа Карла Størmer связывает теорию чисел и приближение $\pi$, имея важное значение для истории математики.
3. Прикладная ценность: Тождества Størmer продолжают применяться в высокоточных вычислениях числа $\pi$.

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

1. Полная характеризация чисел Størmer: Даны необходимые и достаточные условия для того, чтобы положительное целое число $x_0$ было числом Størmer некоторого простого числа (теорема 2.3)
2. Доказана инъективность функции Størmer: Показано, что каждому числу Størmer соответствует единственное простое число (теорема 2.1)
3. Предоставлено эвристическое доказательство естественной плотности чисел Størmer: Подтверждена гипотеза Эверест–Хармана о том, что естественная плотность чисел Størmer равна $\ln 2$
4. Систематически изложена связь между числами Størmer и числами Грегори: Показана теория приближения $\pi$ Størmer и её современные приложения
5. Предоставлены богатые вычислительные примеры: Конкретные примеры иллюстрируют практическое применение теории

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

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

Входные данные: Положительное целое число $x_0$Выходные данные: Определить, является ли $x_0$ числом Størmer некоторого простого числа $p \equiv 1 \bmod 4$; если да, найти соответствующее простое число $p$Ограничения: $p$ должно быть простым числом вида $4n+1$, и $1 < x_0 \leq (p-1)/2$, $x_0^2 \equiv -1 \bmod p$

Основная теоретическая база

Определение 2.1 (Число Størmer)

Пусть $p = 4n+1$ — простое число, и положительное целое число $x_0$ удовлетворяет:

• (i) $1 < x_0 \leq \frac{p-1}{2}$
• (ii) $x_0^2 \equiv -1 \bmod p$

Тогда $x_0$ называется числом Størmer для $p$, обозначаемым $S(p) = x_0$.

Ключевые теоремы

Теорема 2.1 (Инъективность): Функция Størmer $S: P_{4n+1} \to \mathbb{N}$ является инъективной.

Схема доказательства: Предположим, что $S(p_1) = S(p_2)$, но $p_1 \neq p_2$. Без ограничения общности пусть $p_1 > p_2$. Поскольку $p_j | (x_0^2 + 1)$, получаем $p_1 p_2 | (x_0^2 + 1)$, то есть: $x_0^2 + 1 \geq p_1 p_2$

С другой стороны, поскольку $x_0 \leq (p_2-1)/2$ и $p_2 \leq p_1 - 2$, можно вывести: $x_0^2 + 1 < p_1 p_2$

Это приводит к противоречию, следовательно, $p_1 = p_2$.

Теорема 2.2 (Свойства простых чисел): Если $x_0^2 + 1 = 2^r p_1^{r_1} \cdots p_m^{r_m}$, то каждое $p_j \equiv 1 \bmod 4$.

Теорема 2.3 (Необходимые и достаточные условия): Пусть разложение на простые множители $n = x_0^2 + 1$ имеет вид $2^r p_1^{r_1} \cdots p_m^{r_m}$, где $p_1 < \cdots < p_m$. Тогда существует простое число $p$ такое, что $x_0$ является его числом Størmer тогда и только тогда, когда $2x_0 + 1 \leq p_m$. Если условие выполнено, то $p = p_m$ и $S(p_m) = x_0$.

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

1. Единая схема определения: Задача определения чисел Størmer преобразована в анализ разложения на простые множители $x_0^2 + 1$
2. Конструктивное доказательство: Не только даны критерии определения, но и предоставлен конкретный метод нахождения соответствующего простого числа
3. Связь теории чисел и анализа: Установлена глубокая связь между числами Størmer, рядом Грегори, приближением $\pi$

Экспериментальная установка

Представление данных

В статье приведены две важные таблицы данных:

Таблица 1: Упорядоченные пары простых чисел и соответствующих чисел Størmer

(5,2), (13,5), (17,4), (29,12), (37,6), (41,9), (53,23)
(61,11), (73,27), (89,14), (97,22), (101,10), (109,33), (113,15)
...

Таблица 2: Первые несколько чисел Størmer в порядке возрастания

1, 2, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34, 35, 36, 37, 39, 40, 42, ...

Методы верификации

Статья проверяет теоретические результаты на конкретных примерах:

Пример 1: $x_0 = 3$

• $x_0^2 + 1 = 10 = 2 \times 5$
• $2x_0 + 1 = 7 > 5$
• Следовательно, 3 не является числом Størmer

Пример 2: $x_0 = 15$

• $x_0^2 + 1 = 226 = 2 \times 113$
• $2x_0 + 1 = 31 \leq 113$
• Следовательно, $S(113) = 15$

Результаты экспериментов

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

Статья предоставляет численные доказательства естественной плотности чисел Størmer:

Эти данные подтверждают гипотезу Эверест–Хармана: $\lim_{n \to \infty} \frac{|\{S(p) | p \leq n\}|}{n} = \ln 2 \approx 0.693$

Эвристическое доказательство плотности

Статья предоставляет эвристическое доказательство, основанное на теории вероятностей:

Если $x_0 = S(p)$, то $2x_0 + 1 \leq p \leq x_0^2 + 1$. Предполагая, что "вероятность" каждого целого числа быть числом Størmer составляет $2/(p-1)$, вероятность того, что $x_0$ является числом Størmer, примерно равна:

$\sum_{2x_0+1 \leq p \leq x_0^2+1, p \equiv 1 \bmod 4} \frac{2}{p-1} \sim \sum_{2x_0 \leq p \leq x_0^2} \frac{1}{p} \sim \ln 2$

Используя оценку Мертенса, получается окончательный результат.

Числа Грегори и приближение π

Теоретическая база

Størmer установил связь между числами Størmer и числами Грегори $t_x := \arctan(1/x)$:

Теорема 5.1 (Теорема Størmer): Если $x \in \mathbb{N}$ не является числом Størmer, то $t_x$ может быть единственным образом представлено как конечная линейная комбинация $t_n$, где каждое $n$ является числом Størmer и $n < x$.

Исторические приложения

1. Формула Мачина (1706): $\frac{\pi}{4} = 4\arctan\frac{1}{5} - \arctan\frac{1}{239}$
2. Формула Эйлера: $\frac{\pi}{4} = 5\arctan\frac{1}{7} + 2\arctan\frac{79}{3}$
3. Формула Størmer (1896): $\frac{\pi}{4} = 44\arctan\frac{1}{57} + 7\arctan\frac{1}{239} - 12\arctan\frac{1}{682} + 24\arctan\frac{1}{12943}$

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

Тождество Størmer 1896 года было использовано командой Канады в 2002 году для вычисления 1,24 триллиона цифр числа π, демонстрируя долговечную ценность классической математической теории.

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

Историческое развитие

1. Теорема Ферма о двух квадратах: Развитие от Жирара (1632) через Ферма (1640) к Эйлеру (1749)
2. Метод Смита (1855): Элегантное доказательство существования с использованием алгоритма Евклида и теории непрерывных дробей
3. Алгоритм Эрмита–Серре (1848): Алгоритм построения разложения на сумму квадратов на основе известных чисел Størmer

Смежные исследования

1. Определение Конвея–Гая: Несколько отличающееся определение чисел Størmer, включающее $n=1$
2. Работа Лемера: Исследование тождеств функции arccot
3. Теорема Тодда: Характеризация неприводимости функции arctan

Заключение и обсуждение

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

1. Полная характеризация: Установлены необходимые и достаточные условия определения чисел Størmer, решена давняя проблема
2. Теоретическое единство: Числа Størmer, теорема Ферма о двух квадратах, ряд Грегори и приближение π объединены в единую теоретическую схему
3. Историческая ценность: Систематически изложены математические вклады Карла Størmer и их современное значение

Ограничения

1. Доказательство плотности: Доказательство естественной плотности остаётся эвристическим, лишено строгого математического обоснования
2. Вычислительная сложность: Для больших $x_0$ определение того, является ли оно числом Størmer, требует разложения $x_0^2 + 1$, что может быть вычислительно сложным
3. Область применения: Главным образом ограничена теоретической математикой; практическое применение относительно ограничено

Направления будущих исследований

1. Строгое доказательство плотности: Поиск строгого математического доказательства гипотезы Эверест–Хармана
2. Оптимизация алгоритмов: Разработка более эффективных алгоритмов определения и вычисления чисел Størmer
3. Обобщающие исследования: Исследование аналогичных структур в других разделах математики

Глубокая оценка

Достоинства

1. Теоретическая полнота: Предоставлена полная математическая характеризация чисел Størmer, заполнена теоретическая лакуна
2. Историческая ценность: Систематическое изложение биографии и вклада Карла Størmer имеет важное значение для истории математики
3. Сильная связность: Искусно связаны теория чисел, анализ и вычисление π в различных математических разделах
4. Богатство примеров: Многочисленные конкретные примеры иллюстрируют применение теории, повышая читаемость
5. Ясное изложение: Структура статьи ясна, развитие от базовых определений к глубоким приложениям логично и последовательно

Недостатки

1. Вычислительная эффективность: Вычислительная сложность факторизации может стать узким местом для практического применения
2. Доказательство плотности: Доказательство естественной плотности лишено математической строгости, носит только эвристический характер
3. Ограниченное прикладное значение: Хотя теория полна, современная практическая ценность относительно ограничена
4. Степень оригинальности: Главным образом представляет систематизацию существующей теории; оригинальные вклады относительно скромны

Влияние

1. Теоретический вклад: Предоставляет новые инструменты и перспективы для исследований в теории чисел
2. Образовательная ценность: Подходит в качестве учебного материала по теории чисел и истории математики
3. Вдохновляющее значение: Может стимулировать дальнейшие исследования связанных математических структур
4. Воспроизводимость: Теоретические результаты ясны, вычислительные примеры легко проверяются

Области применения

1. Исследования в теории чисел: Предоставляет новые методы для исследования квадратичных сравнений и свойств простых чисел
2. Математическое образование: Служит отличным примером связи различных математических разделов в обучении
3. Исследования по истории математики: Предоставляет важный материал для понимания развития математики в XIX–XX веках
4. Проектирование алгоритмов: Предоставляет теоретическую базу для решения связанных вычислительных задач

Библиография

Статья цитирует 21 важный источник, охватывающий широкий спектр от классических учебников по теории чисел до современной вычислительной математики, что отражает глубину и широту исследования. Ключевые источники включают "Теорию чисел" Эндрюса, "Книгу чисел" Конвея и Гая, а также оригинальные работы Størmer.