Диофантово уравнение

Диофантово уравнение — это алгебраическое уравнение или система уравнений с целыми коэффициентами, для которых ищутся целые или рациональные решения. В отличие от обычных уравнений, где решения могут быть любыми действительными числами, диофантовы уравнения требуют нахождения только целочисленных (иногда натуральных, целых неотрицательных) значений переменных. Название происходит от имени древнегреческого математика Диофанта Александрийского, жившего предположительно в III веке н. э., который систематически исследовал такие уравнения в своём трактате «Арифметика».

История

Античность

Первые известные задачи, сводящиеся к диофантовым уравнениям, встречаются в древнеегипетских и вавилонских текстах (например, поиск целых сторон прямоугольного треугольника — пифагоровы тройки). Однако систематическое изучение началось с Диофанта Александрийского. Его труд «Арифметика» (из 13 книг сохранилось 6) содержал задачи на нахождение рациональных и целых решений уравнений второй и третьей степени. Диофант не использовал современной алгебраической символики, но разработал методы, позволяющие сводить сложные уравнения к более простым.

Средневековье и Возрождение

В арабском мире труды Диофанта были переведены и прокомментированы, в частности аль-Хорезми. В Европе интерес к диофантовым уравнениям возродился после перевода «Арифметики» на латынь в XVI веке. Французский математик Пьер Ферма, изучая издание «Арифметики» Баше де Мезириака, оставил на полях знаменитую заметку, ставшую Великой теоремой Ферма: уравнение \(x^n + y^n = z^n\) не имеет целых положительных решений при \(n > 2\). Ферма утверждал, что нашёл «поистине чудесное доказательство», но не оставил его.

XVII–XIX века

В XVII–XVIII веках диофантовы уравнения изучали Леонард Эйлер, Жозеф Луи Лагранж, Адриен Мари Лежандр. Эйлер доказал теорему Ферма для \(n = 3\) и \(n = 4\), Лагранж — теорему о четырёх квадратах (любое натуральное число представимо суммой четырёх квадратов целых чисел). В XIX веке Карл Густав Якоб Якоби, Эрнст Куммер и другие развили теорию идеалов, что позволило доказать Великую теорему Ферма для многих показателей.

XX век

В 1900 году Давид Гильберт включил проблему разрешимости диофантовых уравнений (десятая проблема Гильберта) в список 23 важнейших математических проблем. В 1970 году советский математик Юрий Матиясевич на основе работ Мартина Дэвиса, Хилари Патнэма и Джулии Робинсон доказал, что общего алгоритма для определения разрешимости произвольного диофантова уравнения не существует (алгоритмическая неразрешимость). В 1994 году британский математик Эндрю Уайлс (при участии Ричарда Тейлора) доказал Великую теорему Ферма, используя теорию эллиптических кривых и модулярных форм.

Классификация

Диофантовы уравнения классифицируют по нескольким признакам:

По числу переменных

• Одно переменное: \(ax + b = 0\) (тривиально), \(x^2 + 1 = 0\) (нет целых решений).
• Два переменных: наиболее распространённый тип, например, \(ax + by = c\) (линейное диофантово уравнение).
• Три и более переменных: \(x^2 + y^2 = z^2\) (пифагоровы тройки), \(x^n + y^n = z^n\) (уравнение Ферма).

По степени

• Линейные: \(a_1 x_1 + a_2 x_2 + \dots + a_n x_n = b\).
• Квадратные: \(x^2 + y^2 = z^2\), \(x^2 - Dy^2 = 1\) (уравнение Пелля).
• Кубические и выше: \(x^3 + y^3 = z^3\) (частный случай Ферма), \(y^2 = x^3 + ax + b\) (эллиптические кривые).

По типу решений

• Целые решения: все переменные — целые числа.
• Натуральные решения: все переменные — натуральные числа.
• Рациональные решения: переменные — рациональные числа (часто сводятся к целым домножением на общий знаменатель).

Основные методы решения

Линейные диофантовы уравнения

Уравнение вида \(ax + by = c\), где \(a, b, c\) — целые числа. Решения существуют тогда и только тогда, когда \(\gcd(a, b) \mid c\). Общее решение выражается через частное решение \(x_0, y_0\): \[ x = x_0 + \frac{b}{\gcd(a,b)} t, \quad y = y_0 - \frac{a}{\gcd(a,b)} t, \quad t \in \mathbb{Z}. \]

Уравнение Пелля

Уравнение \(x^2 - Dy^2 = 1\), где \(D\) — натуральное число, не являющееся полным квадратом. Имеет бесконечно много целых решений, которые находятся из цепных дробей \(\sqrt{D}\). Наименьшее нетривиальное решение \((x_1, y_1)\) порождает все остальные по формуле: \[ x_k + y_k \sqrt{D} = (x_1 + y_1 \sqrt{D})^k. \]

Эллиптические кривые

Уравнения вида \(y^2 = x^3 + ax + b\) (с целыми \(a, b\), дискриминант не равен нулю). Исследование целых точек на эллиптических кривых — активная область современной математики. Для некоторых кривых известно лишь конечное число целых решений (теорема Зигеля), для других — бесконечно много.

Метод бесконечного спуска

Классический метод, введённый Ферма. Предполагается существование наименьшего положительного решения, из которого строится ещё меньшее, что приводит к противоречию. Используется, например, для доказательства неразрешимости \(x^4 + y^4 = z^4\).

Примеры известных диофантовых уравнений

Пифагоровы тройки

\(x^2 + y^2 = z^2\). Все целые решения задаются формулами: \[ x = m^2 - n^2, \quad y = 2mn, \quad z = m^2 + n^2, \] где \(m > n\) — взаимно простые числа разной чётности.

Уравнение Маркова

\(x^2 + y^2 + z^2 = 3xyz\). Имеет бесконечно много натуральных решений, порождаемых преобразованием \((x, y, z) \to (x, y, 3xy - z)\).

Уравнение Рамануджана — Нагелла

\(x^2 + 7 = 2^n\). Имеет ровно пять целых решений: \((x, n) = (\pm 1, 3), (\pm 3, 4), (\pm 5, 5), (\pm 11, 7), (\pm 181, 15)\).

Великая теорема Ферма

\(x^n + y^n = z^n\) при \(n > 2\) не имеет целых положительных решений. Доказана Эндрю Уайлсом в 1994 году.

Применение

Диофантовы уравнения находят применение в различных областях:

• Криптография: эллиптические кривые (диофантовы уравнения вида \(y^2 = x^3 + ax + b\)) используются в алгоритмах шифрования (ECC), а также в факторизации чисел.
• Теория кодирования: некоторые диофантовы уравнения возникают при построении кодов, исправляющих ошибки.
• Комбинаторика: задачи о разбиении чисел на суммы, о целых точках в многогранниках.
• Астрономия и физика: расчёт орбит, целочисленные соотношения в резонансах.

Нерешённые проблемы

Несмотря на значительные успехи, многие диофантовы уравнения остаются нерешёнными. К числу наиболее известных относятся:

• Гипотеза Каталана (доказана в 2002 году Преда Михайлеску): единственное решение уравнения \(x^a - y^b = 1\) в натуральных числах при \(a, b > 1\) — это \(3^2 - 2^3 = 1\).
• Гипотеза ABC (сформулирована Массером и Остерле): связывает величины \(a, b, c\) для взаимно простых чисел, удовлетворяющих \(a + b = c\). Имеет глубокие следствия для многих диофантовых уравнений.
• Десятая проблема Гильберта (решена отрицательно в 1970 году): общего алгоритма нет, но для отдельных классов уравнений (например, линейных, квадратичных) алгоритмы существуют.

Источники

• Матиясевич Ю. В. Десятая проблема Гильберта. — М.: Наука, 1993.
• Виноградов И. М. Основы теории чисел. — М.: Наука, 1972.
• Уайлс Э. Модулярные эллиптические кривые и Великая теорема Ферма // Успехи математических наук. — 1995. — Т. 50, № 4.
• Mordell L. J. Diophantine Equations. — Academic Press, 1969.