Диофа'нтовы уравне'ния (по имени древнегреческого математика Диофанта ), алгебраические уравнения или системы алгебраических уравнений с целыми коэффициентами, имеющие число неизвестных, превосходящее число уравнений, и у которых разыскиваются целые или рациональные решения. Понятие Д. у. в современной математике расширено: это уравнения, у которых разыскиваются решения в алгебраических числах . Д. у. называются также неопределёнными. Простейшее Д. у. ax + by = 1, где а и b — целые взаимно простые числа , имеет бесконечно много решений: если x 0 и у 0 — одно решение, то числа х = x 0 + bn, у = y 0 -an (n — любое целое число) тоже будут решениями. Так, все целые решения уравнения 2x + 3у = 1 получаются по формулам х = 2 + 3n, у = - 1 — 2n (здесь x 0 = 2, у 0 = - 1). Другим примером Д. у. является x 2 + у 2 = z 2 . Целые положительные решения этого уравнения представляют длины катетов х, у и гипотенузы z прямоугольных треугольников с целочисленными длинами сторон и называются пифагоровыми числами . Все тройки взаимно простых пифагоровых чисел можно получить по формулам х = m 2 - n 2 , у = 2mn, z = m 2 + n 2 , где m и n — целые числа (m> n > 0).

  Диофант в сочинении «Арифметика» занимался разысканием рациональных (не обязательно целых) решений специальных видов Д. у. Общая теория решения Д. у. первой степени была создана в 17 в. французским математиком К. Г. Баше; к началу 19 в. трудами П. Ферма , Дж. Валлиса , Л. Эйлера , Ж. Лагранжа и К. Гаусса в основном было исследовано Д. у. вида

  ах 2 + bxy + су 2 + dx + еу + f = 0,

где а, b, с, d, е, f — целые числа, т. е. общее неоднородное уравнение второй степени с двумя неизвестными. Ферма утверждал, например, что Д. у. x 2 — dy 2 = 1 (Пелля уравнение ), где d — целое положительное число, не являющееся квадратом, имеет бесконечно много решений. Валлис и Эйлер дали способы решения этого уравнения, а Лагранж доказал бесконечность числа решений. С помощью непрерывных дробей Лагранж исследовал общее неоднородное Д. у. второй степени с двумя неизвестными. Гаусс построил общую теорию квадратичных форм , являющуюся основой решения некоторых типов Д. у. В исследованиях Д. у. степени выше второй с двумя неизвестными были достигнуты серьёзные успехи лишь в 20 в. А. Туз установил, что Д. у.

  a 0 x n + a 1 x n-1 y +... + a n y n = с

(где n ³ 3, a 0 , а 1 ,..., a n , с — целые и многочлен a 0 t n + a 1 , t n-1 +...+ a n неприводим в поле рациональных чисел) не может иметь бесконечного числа целых решений. Английским математиком А. Бейкером получены эффективные теоремы о границах решений некоторых таких уравнений. Б. Н. Делоне создал другой метод исследования, охватывающий более узкий класс Д. у., но позволяющий определять границы числа решений. В частности, его методом полностью решается Д. у. вида

  ax 3 + y 3 =1.

Существует много направлений теории Д. у. Так, известной задачей теории Д. у. является Ферма великая теорема . Советским математикам (Б. Н. Делоне, А. О. Гельфонду , Д. К. Фаддееву и др.) принадлежат фундаментальные работы по теории Д. у.

  Лит.: Гельфонд А. О., Решение уравнений в целых числах, 2 изд., М., 1956; Dickson L. Е., History of the theory of numbers, v. 2, Wash., 1920; Skolem Th., Diophantische Gleichungen, B., 1938.