Диофантовы уравнения | это... Что такое Диофантовы уравнения? (original) (raw)

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

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

Диофа́нтово уравнение или уравнение в целых числах — это уравнение с целыми коэффициентами и неизвестными, которые могут принимать только целые значения. Названы в честь древнегреческого математика Диофанта.

Содержание

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

Общий вид линейного диофантова уравнения: ax+by+\ldots+cz=d. В литературе под диофантовыми уравнениями иногда понимаются также уравнения более частного вида — с двумя неизвестными:

ax+by=c\qquad(1)

которые достаточно хорошо изучены.

Если (a,b) \nmid c (то есть c не делится нацело на НОД(a,\;b)), то уравнение (1) не разрешимо в целых числах. В самом деле, в этом случае (a,\;b) \ne 1, но тогда число, стоящее слева в (1) делится на (a,\;b), а стоящее справа — нет. Если в уравнении a x + b y = 1 (a,\;b)=1, то оно разрешимо в целых числах.

Пусть (x_0,\;y_0) — решение уравнения a x + b y = c. Тогда все его решения находятся по следующим формулам:

x = _x_0 − b n, y = _y_0 + a n, n \in\mathbb Z.

Начальное (базисное) решение (x_0,\;y_0) можно построить таким образом. Если (a, b) \ne 1, то (если уравнение имеет решения) c делится на (a, b) в силу вышесказанного. Тогда уравнение сводится к виду a_1_x + b_1_y = _c_1 путем деления всех коэффициентов на (a,b). Для уравнения a x + b y = c с (a,b) = 1 базисное решение получается из соотношения Безу для a, b:

u a + v b = 1,

исходя из которого, можно положить (x_0,\;y_0) = (c\cdot u,\;c\cdot v).

Некоторые другие уравнения

Неразрешимость в общем виде

Десятая проблема Гильберта, сформулированная в 1900 г., состоит в нахождении алгоритма решения произвольных диофантовых уравнений. В 1970 г. Юрий Матиясевич доказал алгоритмическую неразрешимость этой проблемы.

См. также

Wikimedia Foundation.2010.

Полезное

Смотреть что такое "Диофантовы уравнения" в других словарях: