Задача о приближении одного числа рациональными дробями решается с помощью всех этих трёх методов и особенно с применением непрерывных дробей. Приближение действительного числа a подходящими дробями p_klq_k разложения a в непрерывную дробь характеризуется неравенством |a — p_k/q_k| < 1/q_k²; с другой стороны, если несократимая дробь a/b удовлетворяет неравенству |a — а/b | < 1/2b², то она является подходящей дробью разложения a в непрерывную дробь. Глубокие исследования о приближении действительных чисел a рациональными дробями принадлежат А. А. Маркову (старшему). Существует много расширений задачи о приближении числа рациональными дробями; к ним прежде всего относится задача об изучении выражений xq — у — a, где q и a — некоторые действительные числа, а х и у принимают целые значения (так называемая неоднородная одномерная задача). Первые результаты в решении этой задачи принадлежат П. Л. Чебышеву. Среди разнообразных теорем о приближённом решении в целых числах систем линейных уравнений (многомерные задачи Д. п.) особенно известна теорема, принадлежащая Л. Кронекеру: если a₁,..., a_n — действительные числа, для которых равенство a₁a₁ +...+a_na_n = 0 с целыми a₁,..., a_n возможно лишь при a₁ =... = a_n = 0, a b₁,..., b_n — некоторые действительные числа, то при любом заданном e > 0 можно найти число t и такие целые числа х₁,..., x_n, что выполняются неравенства |ta_k - b_k - x_k| < e, k = 1,2,..., n. Для решения многомерных задач Д. п. весьма плодотворным является принцип Дирихле. Методы, основанные на принципе Дирихле, позволили А. Я. Хинчину и др. учёным построить систематическую теорию многомерных Д. п. Для теории Д. п. важное значение имеет связь с геометрией, основанная на том, что систему линейных форм с действительными коэффициентами можно изобразить как решётку в n-мepном арифметическом пространстве. В конце 19 в. Г. Минковский доказал ряд геометрических теорем, имеющих приложения в теории Д. п.

  В вопросах нелинейных Д. п. замечательные результаты получил И. М. Виноградов. Созданные им методы занимают центральное место в этой области теории чисел. Одной из важнейших задач теории Д. п. является проблема приближения алгебраических чисел рациональными.

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

  Лит.: Виноградов И. М., Метод тригонометрических сумм в теории чисел, М., 1971; Гельфонд А. О., Приближение алгебраических чисел алгебраическими же числами и теория трансцендентных чисел, «Успехи математических наук», 1949, т. 4, в. 4; Фельдман Н. И., Шидловский А. Б., Развитие и современное состояние теории трансцендентных чисел, там же, 1967, т. 22, в. 3; Хинчин А. Я., Цепные дроби, 3 изд., М., 1961; Koksma J. F., Diophantische Approximationen, B., 1936.

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

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

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

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

  axⁿ + a₁x^n-1y +... + a_nyⁿ = с

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

  ax³ + y³ =1.

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

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

Диоце'з (лат. dioecesis, от греч. dióikesis), в Древнем Риме первоначально (с 1 в. до н. э.) городской округ или (во времена принципата) часть провинции; со времени Диоклетиана (с конца 3 в.) — крупная административная единица, в состав которой входило несколько (до 16) провинций; всего было образовано 12 Д. (позже 15). Во главе Д. стоял подчинённый префекту претория викарий.