В данной статье приведены исследования в области теории чисел, а именно в области линейных диофантовых уравнений. Здесь будут представлены обнаруженные методы решения и свойства.
Ключевые слова: уравнение, линейная сумма, решение.
Введение. Диофантовы уравнения знакомы науке уже давно. Первым, кто начал их активное изучение, был Диофант Александрийский. Он был одним из первых математиков, который ввёл символику в алгебру, позднее полностью развитую французским математиком Франсуа Виеттом, что позволило значительно ускорить развитие математики. Математическое исследование диофантовых проблем, начатое Диофантом, теперь называют диофантовым анализом. В изучении диофантовых уравнений также принимали участие такие математики, как Пьер де Ферма, Леонард Эйлер, Андрей Колмогоров и многие другие.
Сами выражения представляют собой уравнения с двумя или более неизвестными с целыми коэффициентами, решения для которых ищутся среди целых чисел. Диофантовы уравнения делятся на линейные (те, которые приравнивают сумму двух или более неизвестных с коэффициентами к константе) и показательные (те, в которых неизвестные могут появляться в показателях степеней). В данной статье будут рассматриваться только линейные диофантовы уравнения с двумя неизвестными. Диофантовы уравнения находят применение во многих областях науки, например, в химии при уравнивании химических реакций, физике, криптографии и в теории сложности вычислений в информатике.
Ручной перебор. Бесконечность решений
Мое первое знакомство с миром диофантовых уравнений началось с уравнения
Первое что я сделал это представил уравнение в буквенном виде, я получил:
В конце концов мы получили систему:
Выходит, что решение системы сводится к поиску
Перебрав множество значений
Теперь попробуем решить данное уравнение перебором через
Свойства коэффициентов.
Исходя из постоянной работы с кратностью, я начал искать ответы на свои вопросы в коэффициентах. Мне хотелось найти общий метод решения, который позволил бы найти все возможные решения для любого линейного диофантового уравнения. Моя интуиция точно подсказывала мне, что такой способ существует, ведь среди коэффициентов явно прослеживалась некая закономерность.
В один момент я решил изучить все варианты четности и нечетности коэффициентов. Мною был замечен один интересный случай, когда
Рассмотрим следующий пример:
Аналогично мне удалось обнаружить пять похожих случаев, где
Теорема о делителях линейной суммы.
Возвращаясь к нашему вопросу, я начал искать ответ на него в коэффициентах, просматривая одно уравнение за другим, при этом разлаживая каждое из них на множители. Давайте рассмотрим пример:
Рассмотрим другой пример:
Доказательство.
Возьмем уравнение общего вида:
Чтобы уравнение имело целые решения нужно, чтобы результат линейной суммы был целым числом, следовательно
Параметрический метод решения.
Нерешенной осталось только одна задача — поиск универсального метода, который словно формула дискриминанта в квадратном уравнении, поможет нам с легкостью находить все возможные решения диофантового уравнения.
Давайте рассмотрим уже знакомый нам пример:
Далее вычтем из первого уравнения второе:
Выносим общие множители за скобки:
Переносим второй член суммы за знак равенства:
Если левая часть уравнения делится на 4 без остатка, то и правая тоже. Так как
Таким образом мы получили все возможные решения для нашего уравнения через параметр


Чтобы обобщить, давайте проделаем тоже самое для буквенной записи:
Мы получили общий
параметрический метод решения линейных диофантовых уравнений.
Он позволяет нам находить все возможные целые корни диофантового уравнения, выраженные через параметр
Далее мы рассмотрим общий алгоритм решения линейных диофантовых уравнений и закрепим все обобщением.
Алгоритм решения
- Проверяем уравнение на существование у него целых корней при помощи Теоремы о делителях линейной суммы.
- Находим любое решение уравнения ручным перебором.
- Используем параметрический метод решения для получения всех возможных корней уравнения.
Обобщение
-
Параметрический метод решения:
-
Ручной метод поиска решений: одно из бесконечного множества решений диофантового уравнения можно найти ручным перебором любых значений
- Теорема о делителях линейной суммы: если результат линейной суммы при разложении на множители содержит наибольший общий делитель всех её членов, то уравнение имеет целые корни.
- Свойства коэффициентов:
-
Если в линейном диофантовом уравнении вида:
-
Если в линейном диофантовом уравнении вида:
Литература:
- Diophantine equation, Wikipedia: сайт. [электронный ресурс] URL: https://en.wikipedia.org/wiki/Diophantine_equation(дата обращения: 11.02.2025).