Три статьи о формулах типа Мачина

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

• ID статьи: 2302.00154
• Название: Three essays on Machin's type formulas
• Авторы: Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• Классификация: math.NT (Теория чисел)
• Журнал публикации: Indagationes Mathematicae (в печати)
• Ссылка на статью: https://arxiv.org/abs/2302.00154

Аннотация

В данной работе исследуются три проблемы, связанные с формулами типа Мачина. Во-первых, приводятся все двучленные формулы Мачина, в которых функции арктангенса вычисляются в 2-целых числах (значениях вида $b/2^a$). Такие формулы полезны в вычислениях, поскольку умножение и деление на степени двойки являются чрезвычайно быстрыми операциями на большинстве компьютеров. Во-вторых, предложен метод поиска бесконечного множества формул с $N$ членами, особенно полезный при $N=2$. Этот метод позволяет восстановить большинство известных формул, получить новые формулы и просто доказать существование двучленных формул Мачина с произвольно малой мерой Лемера. В-третьих, исправлена ошибка в предыдущих результатах и приведены все двучленные формулы типа Мачина, включающие арктангенсы степеней золотого сечения.

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

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

Формулы Мачина берут своё начало в 1706 году с открытия Джоном Мачином тождества: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

В сочетании с разложением арктангенса в ряд, открытым Грегори в 1671 году: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

Мачин использовал эту формулу для вычисления 100 десятичных знаков числа π.

Мотивация исследования

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

Ограничения существующих методов

• Ограниченное количество известных формул типа Мачина
• Отсутствие систематического метода конструирования
• Недостаточное изучение формул специального вида (например, включающих степени двойки)
• Пропуски в предыдущих исследованиях, касающихся золотого сечения

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

1. Полная классификация двучленных формул Мачина с 2-целыми числами: найдено 10 отдельных решений и 2 параметрических семейства
2. Предложен метод "машины формул Мачина": позволяет систематически генерировать формулы типа Мачина с $N$ членами
3. Доказано существование двучленных формул Мачина с произвольно малой мерой Лемера: предоставлено конструктивное доказательство
4. Исправлена и дополнена классификация формул Мачина со степенями золотого сечения: найдено 16 существенно различных тождеств

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

Первая проблема: формулы Мачина с 2-целыми числами

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

Найти все решения вида: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ где $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ и $z_k = 2^{a_k}/b_k$ или $b_k/2^{a_k}$.

Основная техника

Используя представление комплексными числами, задача преобразуется в: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

Путём анализа факторизации гауссовых целых чисел в сочетании с известными решениями диофантовых уравнений:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

Вторая проблема: машина формул Мачина

Основная идея

Определяются рациональные функции $R_j(n,x)$ ($j = 0,1,2,3$) такие, что: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

Определение функций

На основе формулы де Муавра определяются: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

Конкретные выражения:

• $R_0(n,x) = \frac{\text{числитель}_n(x)}{\text{знаменатель}_n(x)}$
• $R_1(n,x) = \frac{\text{знаменатель}_n(x) + \text{числитель}_n(x)}{\text{знаменатель}_n(x) - \text{числитель}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

Основная теорема

Для целых чисел $r_k$, удовлетворяющих $\sum_{k=1}^N r_k = 0$, справедливо: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

Третья проблема: формулы золотого сечения

Описание проблемы

Классификация всех формул вида: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ где $\phi = \frac{1+\sqrt{5}}{2}$ — золотое сечение.

Техника решения

Путём анализа норм элементов в $K = \mathbb{Q}(i,\sqrt{5})$ и факторизации простых чисел, с использованием теоремы о существенных простых делителях чисел Фибоначчи и Люка.

Экспериментальные результаты

Основные результаты

Теорема 1: формулы Мачина с 2-целыми числами

Найдено 10 отдельных решений и 2 параметрических семейства:

Примеры отдельных решений:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (классическая формула Мачина)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

Параметрические семейства:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

Теорема 3: формулы с малой мерой Лемера

Доказано, что для любого $\varepsilon > 0$ существует формула Мачина: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ с мерой Лемера, меньшей $\varepsilon$.

Конструктивное доказательство основано на подходящих дробях непрерывной дроби π; конкретные результаты приведены в таблицах 1 и 2.

Конкретные числовые примеры

Таблица 1 демонстрирует формулы, основанные на подходящих дробях непрерывной дроби π, с мерой Лемера, убывающей от 0,901429 до 0,172125.

Таблица 2 демонстрирует формулы, основанные на $2^m$, с минимальной мерой Лемера 0,199544.

Формулы золотого сечения

Найдено 16 существенно различных тождеств, включая:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

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

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

• Störmer (1895): доказал, что формулы вида $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ существуют только в количестве 4
• Lehmer (1938): предложил меру Лемера как показатель вычислительной эффективности
• Современное развитие: алгоритм Чудновского и другие более быстрые методы вычисления π

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

"Машина формул Мачина" в данной работе расширяет результаты из 4, где использовались рекуррентные соотношения многочленов Реди для получения специальных случаев функции $R_3(n,x)$.

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

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

1. Полностью решена проблема классификации двучленных формул Мачина с 2-целыми числами
2. Предоставлен универсальный метод систематического конструирования формул типа Мачина
3. Доказано, что можно конструировать формулы с произвольно малой мерой Лемера
4. Исправлена и дополнена классификация формул, связанных с золотым сечением

Ограничения

1. Для случаев $N > 2$ данный метод может не охватывать все известные формулы
2. Хотя можно конструировать формулы с малой мерой Лемера, числители и знаменатели дробей имеют большое количество цифр, что требует компромисса в практической вычислительной эффективности
3. Современные методы вычисления π (например, алгоритм Чудновского) являются более эффективными, поэтому практическая ценность формул типа Мачина ограничена

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

1. Расширение на формулы Мачина с большим числом членов
2. Исследование других специальных форм параметров арктангенса
3. Изучение связей с эллиптическими функциями и модулярными функциями

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

Достоинства

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

Технические достижения

1. Искусное использование комплексных чисел: преобразование задачи из вещественной области в алгебраическую область комплексных чисел
2. Применение диофантовых уравнений: эффективное использование известных решений диофантовых уравнений
3. Применение теории непрерывных дробей: использование свойств непрерывной дроби π для конструирования формул с малой мерой Лемера

Недостатки

1. Ограниченная практическая ценность: при современных высокоточных вычислениях π эти формулы не имеют явного преимущества
2. Проблема сложности: конструируемые формулы с малой мерой Лемера включают целые числа с большим количеством цифр
3. Ограничения обобщаемости: применимость метода к более общим случаям ограничена

Влияние

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

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

В работе цитируется 24 важных источника, охватывающих классические работы Мачина (1706) и Грегори (1671) до современных исследований, особенно фундаментальные работы Störmer и Lehmer в данной области.