Рациональные биссектрисы углов на координатной плоскости и решения уравнений Пелля

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

• ID статьи: 2305.01091
• Название: Rational angle bisectors on the coordinate plane and solutions of Pell's equations
• Автор: Takashi HIROTSU
• Классификация: math.NT (Теория чисел)
• Дата публикации: 11 декабря 2024 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2305.01091

Аннотация

На координатной плоскости угловые коэффициенты $a$ и $b$ двух прямых и угловой коэффициент $c$ одной из их биссектрис угла удовлетворяют уравнению $(a-c)^2(b^2+1) = (b-c)^2(a^2+1)$. Автор недавно обнаружил явные формулы связи между нетривиальными целочисленными решениями этого уравнения и решениями отрицательного уравнения Пелля. В данной работе для заданного бесквадратного целого числа $d > 1$ и целого числа $z > 1$ с использованием фундаментальной единицы поля $\mathbb{Q}(\sqrt{d})$ и элементов из $\mathbb{Z}[\sqrt{d}]$ с минимальной абсолютной нормой, являющейся степенью простого числа, описываются все целочисленные решения $(x,y)$ уравнения $|x^2-dy^2| = z$, для которых $x$ и $dy$ взаимно просты. В качестве приложения описываются все нетривиальные рациональные решения указанного уравнения.

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

Основная проблема

Данная работа исследует проблему рациональной биссектрисы угла: для каких рациональных чисел $a$ и $b$ биссектриса угла между двумя прямыми с угловыми коэффициентами $a$ и $b$ имеет рациональный угловой коэффициент?

Значимость проблемы

1. Геометрическое построение: При заданных узлах решётки $O$, $A$, $B$ возможно ли построить биссектрису $\angle AOB$ путём соединения $O$ с другими узлами решётки; это имеет важное значение в технике построений
2. Инженерное применение: В инженерии можно использовать целые отношения для задания диапазонов излучения и оптических осей, избегая ошибок, вызванных приближением иррациональными числами
3. Теоретико-числовая ценность: Данная проблема тесно связана с решениями уравнения Пелля, соединяя геометрические задачи с алгебраической теорией чисел

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

• Хотя проблема биссектрисы может быть сведена к решению уравнения $(a-c)^2(b^2+1) = (b-c)^2(a^2+1)$, отсутствует систематическая классификация и описание решений
• Полное описание решений общего уравнения Пелля $|x^2-dy^2| = z$ остаётся недостаточно точным, особенно для характеризации строго примитивных решений

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

1. Установлена точная связь между проблемой биссектрисы и уравнением Пелля: Доказано, что каждое нетривиальное рациональное решение уравнения биссектрисы соответствует рациональному решению отрицательного уравнения Пелля $x^2-dy^2 = -1$
2. Дано полное описание строго примитивных решений уравнения Пелля: Для $|x^2-dy^2| = z$ полностью описаны все целочисленные решения, для которых $x$ и $dy$ взаимно просты
3. Предоставлены явные формулы для рациональных биссектрис углов: Даны полные аналитические выражения для случаев $x^2-y^2 = -1$ и общего отрицательного уравнения Пелля
4. Построена теория разложения на простые множители: Введены множество $S(d)$ и связанные параметры $\xi_p$, установлена глубокая связь между решениями уравнения Пелля и арифметикой квадратичных полей

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

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

Входные данные: Угловые коэффициенты двух прямых $a, b \in \mathbb{Q}$
Выходные данные: Определить, является ли угловой коэффициент биссектрисы $c$ рациональным числом, и найти все возможные рациональные угловые коэффициенты биссектрис
Ограничения: $|a| \neq |b|$ (нетривиальный случай)

Основная математическая структура

1. Уравнение биссектрисы угла

Проблема биссектрисы эквивалентна решению уравнения: $(a-c)^2(b^2+1) = (b-c)^2(a^2+1) \quad (\star)$

2. Определение строго примитивного решения

Для целочисленного решения $(x,y)$ уравнения $|x^2-dy^2| = z$ оно называется строго примитивным, если и только если $\gcd(x, dy) = 1$.

3. Ключевые множества и параметры

• $S(d) = \{p\text{ — простое число} | |x^2-dy^2| = p^l \text{ имеет строго примитивное целочисленное решение для некоторого целого числа } l > 0\}$
• Для каждого $p \in S(d)$ определяется $l_p = \min\{l \in \mathbb{Z} | |x^2-dy^2| = p^l \text{ имеет строго примитивное целочисленное решение}, l > 0\}$
• $\xi_p = x_p + y_p\sqrt{d}$, где $(x_p, y_p)$ — соответствующее фундаментальное решение

Основные теоремы

Теорема 1: Полное описание решений уравнения Пелля

Для целого числа $z > 1$ уравнение $|x^2-dy^2| = z$ имеет строго примитивное целочисленное решение тогда и только тогда, когда $\text{ord}_p(z) = \begin{cases} l_p n_p & \text{если } p \in S(d) \\ 0 & \text{если } p \notin S(d) \end{cases}$ для некоторых $n_p \in \mathbb{N}$. При этом решения имеют вид: $x + y\sqrt{d} = \pm\eta^n \prod_{p \in S(d)} \xi_p^{*n_p}$

Теорема 2: Явные формулы для рациональных биссектрис углов

Случай 1: Когда $a, b$ являются $x$-компонентами рациональных решений $x^2-y^2 = -1$: $(a, b, c) = \left(\frac{l^2-n^2}{2ln}, \frac{m^2-n^2}{2mn}, \frac{lm-n^2}{(l+m)n}\right)$

Случай 2: Когда $a, b$ являются $x$-компонентами рациональных решений $x^2-dy^2 = -1$: $(a, b, c) = \left(\frac{\alpha+\alpha'}{2}, \frac{\beta+\beta'}{2}, \frac{\alpha\beta-(\alpha\beta)'}{(\alpha+\beta)-(\alpha+\beta)'}\right)$ где $\alpha, \beta \in \mathbb{Q}(\sqrt{d})$ удовлетворяют $N(\alpha) = N(\beta) = -1$.

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

1. Концепция строгой примитивности: Отличие от традиционной примитивности ($\gcd(x,y)=1$), введение строгой примитивности $\gcd(x,dy)=1$ лучше подходит для решения уравнений Пелля
2. Метод разложения на простые множители: Введение множества $S(d)$ позволяет разложить решения общего уравнения Пелля в комбинацию случаев степеней простых чисел
3. Применение теории квадратичных полей: Умелое использование структуры группы единиц $\mathbb{Q}(\sqrt{d})$ и теории группы классов идеалов

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

Теоретическая верификация

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

Пример 1: Базовый случай

• $(a,b,c) = (3/4, 12/5, 9/7)$: получено через $(l,m,n) = (2,5,1)$ в формуле (1.3)
• $(a,b,c) = (1/7, 23/7, 6/7)$: соответствует случаю $d=2$

Пример 2: Случай квадратичного поля

• Случай $d = 34$: $\alpha = (5+\sqrt{34})/3$, $\beta = \eta\alpha$, где $\eta = 35+6\sqrt{34}$
• Получено $(a,b,c) = (5/3, 379/3, 32/9)$

Вычислительные таблицы

Приложение статьи содержит подробные вычислительные данные для $d \leq 34$, включая:

• Значения фундаментальной единицы $\eta$
• Значения $\xi_p$ для каждого простого числа $p \leq 97$
• Числа классов идеалов $h$

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

Верификация основных результатов

1. Корректность формул: Все приведённые примеры удовлетворяют уравнению биссектрисы $(\star)$
2. Полнота: Условия теоремы 3 полностью характеризуют существование строго примитивных решений
3. Конструктивность: Формулы теоремы 2 генерируют все нетривиальные рациональные решения

Теоретические открытия

1. Характеризация $S(d)$:
   • Когда $d \equiv 1 \pmod{8}$ или выполняются другие специфические условия, $S(d)$ состоит ровно из всех простых чисел, расщепляющихся в $\mathbb{Q}(\sqrt{d})$
   • Когда $d \equiv 5 \pmod{8}$ и $\eta \notin \mathbb{Z}[\sqrt{d}]$, множество $S(d)$ также содержит простое число 2
2. Структура решений: Каждое строго примитивное решение может быть записано в виде произведения степени фундаментальной единицы и элементов, соответствующих простым числам

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

Классическая теория уравнений Пелля

• Теорема Кармайкла: О мультипликативных свойствах решений уравнения Пелля
• Теория группы единиц квадратичного поля: Структура группы единиц $\mathbb{Q}(\sqrt{d})$ вида $\{\pm\eta^n | n \in \mathbb{Z}\}$

Проблема биссектрисы угла

• Предыдущие работы автора 5: Установление связи между проблемой биссектрисы и уравнением Пелля
• Данная работа является важным расширением и совершенствованием этих результатов

Теория квадратичных форм

• Теорема Ферма о двух квадратах: Условия представления простого числа суммой двух квадратов
• Теория группы классов идеалов: Арифметическая структура квадратичных полей

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

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

1. Полное решение проблемы рациональной биссектрисы угла: Даны явные формулы для всех нетривиальных рациональных решений
2. Установлена новая теория уравнений Пелля: Полное описание строго примитивных решений заполняет пробел в этой области
3. Связь геометрии и теории чисел: Демонстрируется глубокая связь между задачами координатной геометрии и алгебраической теорией чисел

Ограничения

1. Вычислительная сложность: Для больших значений $d$ вычисление $S(d)$ и связанных параметров может быть достаточно сложным
2. Специальные случаи: Некоторые случаи остатков по модулю 8 требуют специальной обработки
3. Обобщаемость: Остаётся неясным, можно ли обобщить метод на более общие квадратичные формы

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

1. Вычислительные алгоритмы: Разработка эффективных алгоритмов для вычисления $S(d)$ и $\xi_p$
2. Обобщающие исследования: Распространение методов на уравнения Пелля высших степеней или другие квадратичные формы
3. Исследование приложений: Потенциальные применения в криптографии, теории кодирования и других областях

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

Преимущества

1. Теоретическая полнота: Даётся полный ответ на поставленную задачу, теоретическая система строгая
2. Методологическая инновативность: Концепция строгой примитивности и метод разложения на простые множители оригинальны
3. Практическая ценность: Предоставлены вычислимые явные формулы
4. Ясность изложения: Чёткие определения, подробные доказательства, богатые примеры

Недостатки

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

Влияние

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

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

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

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

Статья ссылается на следующие ключевые работы:

1. Andreescu & Andrica: Quadratic Diophantine Equations — классический учебник по уравнениям Пелля
2. Conrad: Pell's equation, II — современная теория решений уравнений Пелля
3. Предыдущие работы автора: Diophantine equation related to angle bisectors
4. Mollin: Quadratics — стандартный справочник по теории квадратичных полей

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