Великая теорема Ферма: история и обзор подходов к доказательству

ВВЕДЕНИЕ

ГЛАВА I. ВЕЛИКАЯ ТЕОРЕМА ФЕРМА И АЛГЕБРАИЧЕСКИЕ ЧИСЛА

§ 1. Предварительные сведения

§ 2. Диофантовы уравнения, пифагоровы тройки и Великая теорема Ферма

§ 3. Метод бесконечного спуска и доказательство Великой теоремы Ферма для показателя n = 4

§ 4. Сводка результатов: от Эйлера до Куммера

ГЛАВА II. ВЕЛИКАЯ ТЕОРЕМА ФЕРМА И abc-ГИПОТЕЗА

§ 1. Гипотеза Таниямы и доказательство Вайлса Великой теоремы Ферма

§ 2. abc-гипотеза и «Великая теорема Ферма» для многочленов

§ 3. abc-гипотеза для натуральных чисел

§ 4. Некоторые следствия abc- и (abc)²-гипотез

ЗАКЛЮЧЕНИЕ

Актуальность темы. На полях сочинения Диофанта «Арифметика», в котором исследовались рациональные и целые решения уравнения Пифагора x² + y² = z², Пьер Ферма записал одно из самых достопримечательных замечаний в истории математики:

«Невозможно разложить куб на два куба, или биквадрат на два биквадрата, или вообще степень, большую двух, на две степени с тем же самым показателем; я нашел этому поистине чудесное доказательство, однако поля слишком малы, чтобы оно здесь уместилось». Таким образом, Большая или Великая, а также Последняя теорема Ферма утверждает, что уравнение xⁿ + yⁿ = zⁿ неразрешимо в натуральных числах при натуральном n > 2 .

Если термин «Последняя» не имеет разумных объяснений, то величина вклада Великой теоремы Ферма в развитие математики действительно велика: по сути дела, П. Ферма дал толчок развитию новой для своего времени области арифметики, называемой теперь диофантовым анализом и исследующей целые решения диофантовых уравнений P(x₁ , … , x_n) = 0, где P(x₁ , … , x_n) — многочлен с целыми коэффициентами от переменных x₁ , … , x_n. Само по себе уравнение xⁿ + yⁿ = zⁿ не имеет большого значения для математики. Однако, не поддаваясь долгое время решению (доказательство отсутствия решений — это тоже решение), оно сыграло важную роль для развития теории алгебраических чисел, теории идеалов, алгебраической геометрии и математики в целом: попытки доказательства Великой теоремы Ферма привели к открытию новых методов, обогативших многие смежные области математики.

Более подробно история Великой теоремы Ферма будет изложена в § 2 главы I. Пока же лишь упомянем, что в доказательстве этой теоремы (для разных n) участвовали многие известные (и даже великие) математики: Л. Эйлер, А. Лежандр, Ж. Л. Лагранж, К. Ф. Гаусс, П. Л. Чебышёв, Э. Куммер, Э. Вайлс, Р. Тейлор и др. В то же время после завещания в 1908 г. Паулем Вольфскелем премии в 100 тысяч германских марок тому, кто первым опубликует доказательство, научный мир заполонили дилетантские «работы», издаваемые, как правило, за собственный счёт, с элементарными «доказательствами» Великой теоремы. С появлением Интернета поток таких псевдогениальных прозрений многократно усилился.

Уже доказательство Л. Эйлера Великой теоремы Ферма для показателя n = 3 неэлементарно. Оно явилось одним из истоков теории алгебраических чисел. Ещё более неэлементарны исследования Э. Куммера, существенно расширившего область показателей, для которых Великая теорема Ферма стала доказанной. В XX столетии его методы были усовершенствованы и дополнены благодаря усилиям У. Вандивера, Г. Ламе и Э. Лемера. К 80-м годам XX в. с использованием ЭВМ неразрешимость уравнения хⁿ + yⁿ = zⁿ в натуральных числах была установлена для всех n 2^125 000 (З. Вагштафф, 1976 г.). Если принять во внимание, что число 2^125 000 записывается 37 628-ю цифрами, то поиски контрпримера к Великой теореме Ферма стали совершенно безнадежным занятием.

Новую эру в развитии истории Великой теоремы Ферма никто не заметил. Между тем, в 1955 г. экстравагантный японский математик Ютака Танияма (1927;1958) сформулировал следующую смелую гипотезу: всякая эллиптическая кривая с рациональными коэффициентами модулярна (более подробно об эллиптических кривых см. § 1 главы II). Вначале её не принял всерьёз ни один из математиков-профессионалов: уж очень она казалась неправдоподобной. Однако в 1970;е годы работы Г. Шимуры и А. Вейля привлекли внимание к ней. Наконец, в 1985 г. немецкий математик Г. Фрей предположил, а американец К. Рибет доказал, что из гипотезы Таниямы следует Великая теорема Ферма.

Кульминация наступила, когда 23 июня 1993 г. математик из Принстона Эндрю Вайлс в докладе на конференции по теории чисел в Кембридже (Великобритания) анонсировал решение проблемы Ю. Таниямы (точнее той её части, которой достаточно для обоснования Великой теоремы Ферма). Однако, в начале декабря 1993 г., когда рукопись Э. Вайлса уже готова была отправиться в печать, в его доказательстве были обнаружены пробелы. Автор извинился и попросил два месяца для исправления. Только через год с небольшим появилось полное доказательство, но уже двух авторов — Э. Вайлса и его ученика Р. Тейлора [6, 7]. Новых пробелов в этих работах специалистами пока не найдено. Позже усилиями целой группы специалистов, среди которых был и Р. Тейлор, была доказана и полная версия гипотезы Таниямы.

Следует отметить, что доказательство Вайлса-Тейлора является сплавом глубоких математических идей, обогащающих не только теорию чисел и алгебру, но и геометрию эллиптических кривых, и анализ модулярных форм. Сам Вайлс считает, что создал новую математику. Тем обиднее, что после более десяти лет с момента опубликования доказательства Вайлса-Тейлора в Российской математической среде хранится полное молчание по поводу революционных методов Э. Вайлса (так же как и по поводу не менее революционного доказательства гипотезы Пуанкаре Г. Перельмана).

Следует отметить, что предложенное Э. Вайлсом сложное синтетическое доказательство Великой проблемы Ферма, занимающее в общем объёме более 120 страниц, ставит большие вопросы перед образованием: как готовить специалистов, способных, если не разобраться в доказательстве, то воспринять его понятийную базу и основные идеи? Тот же вопрос повторен Г. Перельманом в доказательстве гипотезы Пуанкаре…

Наконец, следует упомянуть о новом подходе к доказательству трудных теоретико-числовых проблем (в том числе и Великой теоремы Ферма), наметившемся после формулировки в 1986 г. Массером и Остерле так называемой abc-гипотезы. Её формулировка приведена в § 3 главы II, как и обсуждение некоторых нетривиальных следствий этой гипотезы. Хотя она не доказана, но подтверждается справедливостью её аналога для многочленов и расчётами на ЭВМ, показывающими, что контрпример искать бесполезно.

Цель дипломной работы: изучить доступную литературу по истории Великой теоремы Ферма, изложить некоторые элементарные подходы к обоснованию её частных случаев, а также новые методы — с использованием теории эллиптических кривых и привлечением abc-гипотезы.

Для достижения цели решались следующие задачи:

§ изучить основные понятия и результаты, связанные с теорией диофантовых уравнений, теорией эллиптических кривых и abc-гипотезой;

§ изучить метод бесконечного спуска и на его основе доказательство теоремы Ферма для n = 4;

§ проанализировать доказательство Эйлера для n = 3 и суть идей Куммера;

§ ознакомиться с выводом К. Рибета Великой теоремы Ферма из гипотезы Таниямы;

§ изучить некоторые результаты об abc-гипотезе и вывод из неё Великой теоремы Ферма;

§ по возможности проиллюстрировать теоретические результаты примерами;

§ дать полное, и по возможности подробное изложение результатов, доступное пониманию студентов математических факультетов вузов.

Математические методы исследования: в работе используются геометрические, аналитические, алгебраические методы.

Структура работы: Выпускная квалификационная работа состоит из введения, двух глав, заключения и списка литературы. Во введении дан краткий исторический обзор, сформулированы цели и задачи работы, описана её общая структура.

Заключение

содержит основные выводы о результатах исследования. Список использованной литературы включает 10 наименований. Общий объём работы — 67 страниц.

Первая глава «Великая теорема Ферма и алгебраические числа» содержит элементарное доказательство Великой теоремы Ферма для показателя n = 4 и обзор методов и идей Эйлера для n = 3 и Куммера для регулярных простых показателей. Более подробно: § 1 главы содержит вспомогательные сведения о делимости целых чисел и их сравнимости по модулю, в § 2 даётся описание всех пифагоровых троек и краткая история Великой теоремы Ферма, § 3 включает описание метода бесконечного спуска и доказательство Великой теоремы Ферма для n = 4, а § 4 — обзор идей Эйлера и Куммера её доказательства с помощью теории алгебраических чисел для n = 3 и для регулярных простых показателей.

Вторая глава «Великая теорема Ферма и abc-гипотеза» содержит посильное изложение вывода Великой теоремы Ферма из гипотезы Таниямы (§ 1), а также некоторые результаты по abc-гипотезе (§§ 2−4): в § 2 abc-гипотеза формулируется и обосновывается для многочленов, в § 3 формулируется и обсуждается abc-гипотеза для натуральных чисел, а § 4 содержит вывод из неё некоторых теоретико-числовых результатов, включая Великую теорему Ферма.

Теоретическая и практическая значимость: Дипломная работа имеет теоретическое значение. Хотя она не содержит новых, не известных специалистам математических результатов, но даёт по возможности связное и обоснованное описание трудных, разнородных и разбросанных в литературе методов и идей. Представленное изложение материала по силам студентам математических факультетов вузов, а некоторые разделы работы — даже школьникам старших классов. Поэтому дипломная работа может быть использована в качестве учебного материала для изучения вопросов, связанных с представленными в ней темами, в учебных курсах и спецкурсах для студентов физико-математических специальностей вузов и на факультативных занятиях в школах.

Уровень самостоятельности. Основной творческий вклад автора при написании данной работы состоял в изучении большого объёма трудного для восприятия разнообразного теоретического материала, самостоятельном разборе доказательств (иногда — с помощью научного руководителя), подборе всех иллюстративных примеров и проведении вычислений в них.

Доклад автора по материалам дипломной работы занял третье место на секции «Математика» традиционных Менделеевских чтений в ТГСПА им. Д. И. Менделеева в 2012 г.

ГЛАВА I. ВЕЛИКАЯ ТЕОРЕМА ФЕРМА ИАЛГЕБРАИЧЕСКИЕ ЧИСЛА

§ 1. Предварительные сведения

В этом параграфе напомним основные факты о делимости целых чисел и сравнимости по модулю.

Если a, b Z, b 0, то говорят, что b делит a или a кратно b, если a = bq для некоторого q Z. В этом случае пишут a b или b | a .

Примеры: 1. 156 52, т.к. 148 = 523.

2. —143 52, т.к. -143 = 52(-3) + 13, т. е. -143 даёт остаток 13 при делении на 52.

Упомянем важнейшие свойства делимости нацело:

1⁰. Если a | b и c | d , то ac | bd. В частности, верно a | bc, ac | |bc|, |ac| | bc , (a) | (b) при любой независимой друг от друга расстановке знаков у чисел a и b.

2⁰. Если a | b₁ , …, a | b_k , то a | (b₁c₁+ …+b_kc_k ) для любых целых чисел c₁ , …, c_k .

3⁰. Если a 0, b | a, то |b| |a|. В частности у каждого ненулевого целого числа лишь конечное число делителей.

Пусть a₁ , …, a_n — целые числа, одновременно не равные нулю. Их общим делителем называется любое целое число d, делящее все указанные числа. Наибольший среди всех общих делителей не равных одновременно нулю целых чисел a₁ , …, a_n называется наибольшим общим делителем этих чисел и обозначается через НОД (a₁ , …, a_n) или (a₁ , …, a_n).

Примеры: НОД (0, 8) = 8, (12, 18) = 6, НОД (7, 9) = 1, (12, 40, 28) = 4, НОД(0, 0) не определён.

Общим кратным ненулевых целых чисел a₁ , …, a_n называется любое целое число, делящееся одновременно на каждое из указанных чисел. Наименьшее положительное кратное этих чисел называется их наименьшим общим кратным и обозначаемое символом НОК[a₁ , …, a_n] или просто через [a₁ ,…, a_n].

Примеры: НОК[0, 2] не определено, [24, 16] = 48, НОК[4, 6] = 24, НОК[8, 6, 30] = 120.

В дальнейшем, имея дело с НОД (a₁ , …, a_n) всегда будем молчаливо предполагать, что целые числа a₁ , …, a_n одновременно не равны нулю, а имея дело с НОК[a₁ , …, a_n] — что целые числа все a₁ , …, a_n ненулевые.

Напомним важнейшие свойства наибольшего общего делителя и наименьшего общего кратного:

1⁰. НОД (a₁ , … , a_n) и НОК[a₁ , … , a_n] определёны однозначно.

2⁰. Для произвольной перестановки (i₁ , …, i_n) символов 1, …, n справедливы равенства

НОД(a₁ , …, a_n) = НОД(), НОК[a₁ , …, a_n] = НОК[].

3⁰. Справедливы равенства

НОД (a₁ , …, a_n) = НОД (±a₁ , …, ±a_n), НОК[a₁ , …, a_n] = НОК[±a₁ , …, ±a_n] при любых знаках в правых частях.

4⁰. Если a | b, то НОД (a, b) = |a|, НОК[a, b] = |b|.

5⁰. Для произвольного t Z справедливы равенства

НОД(a, b) = НОД(a, b — at) = НОД(a — bt, b).

6⁰. Любой общий делитель d целых чисел а₁ , … , a_n делит их наибольший общий делитель НОД (a₁ , … , a_n), любое общее кратное K целых чисел а₁ , … , a_n делится на их наименьшее общее кратное НОК[а₁ , … , a_n].

11⁰. Справедливо равенство НОК[a, b] = .

Замечание. Обобщение НОК[a₁ , …, а_n] = доказанной формулы на случай любого числа сомножителей неверно. Например,

НОК[2, 4, 6] = 12 = 24.

2⁰. Справедливы формулы

(a₁ , …, a_n) = ((a₁ , …, a_n-1), a_n), [a₁ , …, a_n] = [[a₁ , …, a_n-1], a_n],

из которых следует, в частности, что вычисление НОД (a₁ , … , a_n) и НОК[a₁ , …, а_n] сводится к последовательному вычислению аналогичных величин для двух чисел:

(a₁ , …, a_n) = (((…((a₁ , a₂), a₃), …), a_n-1), a_n).

[a₁ , …, a_n] = [[[…[[a₁ , a₂], a₃], … ], a_n-1], a_n].

14⁰. Для любого ненулевого с Z верны формулы

НОД(ca₁ , …, ca_n) = |c|НОД(a₁ , …, a_n),

НОК[ca₁ , …, ca_n] = |c|НОК[a₁ , …, a_n].

Как известно, НОД (a, b) удобно вычислять с помощью алгоритма Евклида.

Примеры: 1. Вычислить НОД (244, 356).

Таким образом, НОД (244, 356) = 4 — последнему ненулевому остатку в алгоритме Евклида.

2. Вычислить НОД (244, 356, 96).

Имеем НОД (244, 356, 96) = ((244, 356), 96) = (4, 96) = 4.

3. Вычислить НОК[35, 50, 20].

Имеем НОК[35, 50, 20] = [[35, 20], 50] = = [140, 50] = = 700, т.к. НОД (35, 20) = 5НОД (7, 4) = 51 = 5 и [140, 50] = 10[14, 5] = = 1070 = 700.

Целые числа a₁ , … , a_n называются взаимно простыми (в совокупности), если НОД (a₁ , … , a_n) = 1. Они называются попарно взаимно простыми в случае, когда НОД (a_i , a_j) = 1 (1 i < j n).

Примеры: 1. Числа 6, 4, 3 взаимно просты в совокупности, но не попарно.

2. Числа 6, 11, 35 попарно взаимно просты.

3. Два числа взаимно просты в совокупности тогда и только тогда, когда они попарно взаимно просты.

Лемма (основное свойство двух взаимно простых чисел). Если целые числа a, b взаимно просты и a | bc, где с Z, то a | c.

Доказательство. Утверждение очевидно, если a = ±1. В противном случае из НОД (a, b) = 1 получаем, во-первых, b 0 (иначе НОД (a, b) = |a| > 1), а во-вторых, НОК[a, b] = = |ab|. С другой стороны, bc b и bc a, т. е. bc - общее кратное чисел a, b, а значит, по свойства делимости делится нацело на НОК[a, b] = |ab| = ±ab. Таким образом, bc = abq для некоторого целого q, т. е. c = aq и a | c.

Лемма доказана.

Следствие 1. Если целое число a взаимно просто с b₁ , … , b_n и для некоторого c Z a делит b₁…b_nc, то a | c.

Доказательство. Постепенно уменьшаем число сомножителей: из условий a | b₁…b_nc и НОД (a, b₁) = 1 следует по лемме a | b₂…b_nc. Продолжая этот процесс, на некотором шаге получим a | b_nc и НОД (a, b_n) = 1, откуда по лемме a | c .

Следствие 1 доказано.

Следствие. Целое число взаимно просто с каждым из нескольких целых чисел тогда и только тогда, когда оно взаимно просто с их произведением.

Доказательство. Если целое число a взаимно просто с каждым из нескольких целых чисел b₁ , … , b_n, и НОД (a, b₁…b_n) = D, то D взаимно просто с каждым b_i (1 i n): любой общий делитель D и b_i является общим делителем a и b_i, т. е. равен ±1. Поэтому D | b₁…b_n1, и по следствию 1, D | 1, т. е. D = 1, что и требовалось.

Обратно, если a взаимно просто с b₁…b_n, то любой общий делитель a и b_i будет общим делителем a и b₁…b_n, т. е. a взаимно просто с b_i (1 i n).

Следствие 2 доказано.

Натуральное число p называется простым, если оно имеет ровно два различных натуральных делителя 1 и p.

Примеры: 1. Числа 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37 — простые.

2. Числа —2, 0, 1, 4, 9, 10, 15, — не простые.

Напомним наиболее важные свойства простых чисел.

1⁰. Любые два различных простых числа взаимно просты.

2⁰. Для целого числа a и простого p верно НОД (a, p) > 1 a p.

3⁰. Простое число делит произведение нескольких целых чисел тогда и только тогда, когда оно делит один из сомножителей.

Основная теорема арифметики. Любое целое число n, модуль которого больше 1, единственным образом записывается в виде канонического произведения , где k 1, ± {+, -}, p_i — простые числа, _i N и p₁ < … < p_k .

Пример: Найдём каноническое разложение числа —6 230 840.

Последовательно делим число n = 6 230 840 на простые числа:

Таким образом, 6 230 840 = 2³57²1117², а —6 230 840 = -2³57²1117². Здесь и далее первые степени простых чисел не пишем.

Следствие (о взаимно простых сомножителях степени). Если имеется разложение n^k = m₁…m_s степени целого числа n в произведение попарно взаимно простых целых ненулевых сомножителей m₁ , … , m_s , то эти сомножители, с точностью до знака, являются k-ми степенями некоторых попарно взаимно простых чисел. Более точно: m_i = _iu_i^k , где _i {-1, 1}, u_i N , НОД(u_i , u_j) = 1 (1 i s, 1 j s), |n| = u₁…u_s , ₁…_s = .

Доказательство. Запишем m_i = _i|m_i|, где _i = 1, если m_i > 0 и _i = -1, если m_i > 0 (1 i s), и аналогично n = |n|. Тогда, очевидно, получается равенство ^k|n|^k = (₁…_s)|m₁|…|m_s|, откуда = = ^k = ₁…_s , |n|^k = = |m₁|…|m_s|. При этом все модули являются натуральными числами, так что осталось доказать утверждение для натуральных чисел.

Пусть n, m₁ , … , m_s N имеют разложения, (1 i s) в произведения простых чисел, где выполнены неравенства p₁ < … < p_f, а r_ij - простые числа, не встречающиеся среди p₁ , … , p_f. Тогда. Переставляя простые числа в правой части (собирая их в степени с одинаковыми основаниями), получим в левой и правой частях равенства канонические разложения, которые должны быть одинаковыми по основной теореме арифметики. Это показывает, что в правой части должны отсутствовать сомножители r_ij (1 j t_i , 1 i s), а показатели степеней при простом числе p в левой и правой частях равны: k = (1 f).

Таким образом,, причём ввиду попарной взаимной простоты чисел m₁ , … , m_s каждое простое число p_i (1 i f) участвует лишь в одном из разложений чисел m₁ , … , m_s. Поэтому

где = ₁ + … + _s, но на самом деле в этой сумме лишь одно ненулевое слагаемое. Значит, сравнивая показатели степеней при p в левой и правой частях равенства, по основной теореме арифметики заключаем, что каждая степень _ij делится на k: _ij = k_ij для некоторого натурального или нулевого _ij (1 i s, 1 j f).

Итак,

т.е. u_i = (1 i s).

Эти числа попарно взаимно просты, т.к. любой общий делитель двух из них u_i , u_j будет общим делителем взаимно простых чисел m_i , m_j, а значит, равен ± 1.

Следствие доказано.

Наконец, напомним простейшие сведения из теории сравнений. Два целых числа a, b называются сравнимыми по модулю m Z {0}, если a - b m.

Примеры: 8 2 (mod 3), т.к. 8 — 2 = 32, —27 12 (mod 5), т.к. разность —27 — 12 = -39 не делится нацело на 5.

Упомянем некоторые важнейшие свойства сравнений.

1⁰. Числа a и b сравнимы по модулю m тогда и только тогда, когда они дают одинаковые остатки при делении на m.

2⁰. Условия a b и a 0 (mod b) эквивалентны.

3⁰. Любое целое число a сравнимо само с собой по любому модулю m (рефлексивность отношения сравнимости).

4⁰. Если a b (mod m), то b a (mod m) (симметричность отношения сравнимости).

5⁰. Если a b (mod m) и b с (mod m), то a c (mod m) (транзитивность отношения сравнимости).

6⁰. Если a b (mod m), то для любого целого числа c справедливо

a c b c (mod m) , ac bc (mod m).

7⁰. Если a b (mod m) и c d (mod m), то a c b d (mod m).

8⁰. Если a b (mod m) и c d (mod m), то ac bd (mod m).

9⁰. Если a b (mod m), то для любого натурального k верно сравнение a^k b^k (mod m).

10⁰. Если целые числа a, b, m делятся нацело на число d Z {0}, то a b (mod m) тогда и только тогда, когда .

11⁰. Если da db (mod m) и НОД (d , m) = 1, то a b (mod m).

Сравнения дают удобный язык для изучения делимости чисел. Связь сравнений с делимостью выявлена в свойстве 2⁰.

Примеры: 1. Вычислить остаток числа a⁴ — 8a³ + 19 при делении на 23, если известно, что a даёт при делении на 23 остаток 5.

Если a 5 (mod 23), то

a⁴ — 8a³ + 19 (a²)² — 8aa² + 19 2² — 852 + 19

— 402 + (2² + 19) —(-6)2 + 0 12 (mod 23),

т.е. искомым остатком будет 12.

2. Вычислить 18¹⁰⁰ + 20 (mod 25).

18¹⁰⁰ + 20 (-7)¹⁰⁰ — 5 (7²)⁵⁰ — 5 (-1)⁵⁰ — 5

1 — 5 —4 21 (mod 25).

Таким образом, не вычисляя числа 18¹⁰⁰ + 20, можно сказать, что остаток этого числа при делении на 25 равен 21.

3. Найти младшую цифру числа 24³⁵ — 18 .

Нужно вычислить. Имеем

24³⁵ — 18 4³⁵ — 8 (4²)¹⁷4 — (-2) 6¹⁷4 + 2 64 + 2 4 + 2 = 6 (mod 10).

Здесь использован тот факт, что младшая цифра числа 6^k равна 6, т. е. 6^k 6 (mod 10). Таким образом, искомой младшей цифрой будет 6.

§ 2. Диофантовы уравнения, пифагоровы тройки и Великая теорема Ферма

Диофантово уравнение — это уравнение вида P(x₁ , … , x_n) = 0, где левая часть представляет собой многочлен от переменных x₁ , … , x_n с целыми коэффициентами. Любой упорядоченный набор (u₁ ; … ; u_n) целых чисел со свойством P(u₁ , … , u_n) = 0 называется (частным) решением диофантова уравнения P(x₁ , … , x_n) = 0. Решить диофантово уравнение — значит найти все его решения, или, как говорят, общее решение этого уравнения. Часто диофантовыми называют и уравнения вида P(x₁ , … , x_n) = Q(x₁ , … , x_n), где в левой и правой частях стоят многочлены от переменных x₁ , … , x_n: их всегда можно записать в виде диофантовых уравнений P(x₁ , … , x_n) — Q(x₁ , … , x_n) = 0.

Эти уравнения названы в честь Диофанта Александрийского (жил около III в. до РХ), о жизни которого почти ничего не известно. Через века до нас дошли шесть книг из тринадцати его главного труда «Арифметика» и книга «О многоугольных числах». Выражаясь современным языком, он разрабатывал приёмы нахождения рациональных решений алгебраических уравнений от нескольких неизвестных.

Примеры: 1. 3x — 8 = 0 — диофантово уравнение первой степени от одной переменной x. Очевидно, что оно не имеет решений, т.к. 8 не делится нацело на 3. В то же время, это уравнение имеет корень x =, который не является целым.

2. Диофантово уравнение 6x = 24 имеет единственное решение x = 4.

3. В курсе алгебры и теории чисел рассматривают линейные диофантовы уравнения первой степени от двух неизвестных x, y, общий вид которых таков: ax + by = c, где a, b, c - заданные целые числа. Известно, что такое диофантово уравнение имеет решение тогда и только тогда, когда НОД (a, b) | c - наибольший общий делитель коэффициентов делит нацело правую часть. При выполнении этого условия линейное диофантово уравнение от двух переменных имеет бесконечное число решений.

Нахождение решений произвольных диофантовых уравнений — непростая задача. Более того, в 70-х годах XX в. было доказано, что она алгоритмически неразрешима, т. е. невозможно придумать алгоритм (программу для ЭВМ), который для произвольного заданного диофантова уравнения давал бы ответ на вопрос: «Есть у этого уравнения хотя бы одно решение ?».

Тем удивительнее, что для некоторых классов диофантовых уравнений можно получить полное описание их решений. Классической задачей такого рода, обсуждаемой в «Арифметике» Диофанта, является задача о пифагоровых тройках, т. е. о нахождении всех решений диофантова уравнения x² + y² = z², представляющего собой соотношение Пифагора для прямоугольного треугольника. Вначале найдём все его рациональные решения, а затем — и все целые решения.

1. Рациональные решения уравнения Пифагора. Во-первых, уравнение переписывается в виде, где отношения , рациональны, если рациональными были x, y. Эти отношения являются рациональными координатами точек на единичной окружности. Точки с рациональными координатами на окружности назовём рациональными. Если все рациональные точки M(u; v) окружности уже описаны, то u² + v² = 1 и = u, = v, т. е. x = zu, y = zv , где z Q. Таким образом, задача нахождения всех рациональных решений уравнения Пифагора свелась к описанию всех рациональных точек окружности.

Изложим общий метод нахождения всех рациональных точек окружности, применимый и для многих других кривых, заданных полиномиальными уравнениями.

Выберем на кривой рациональную точку, например точку S(0; -1) на окружности (рис. 1). Если M(u; v) — произвольная рациональная точка, то рациональным будет и .

Обратно, если t Q, то u = t(v + 1) и u² + v² = 1, т. е. t²(v + 1)² + v² = 1 или (t²+1)v²+2t²v+t²— 1= 0. Здесь дискриминант D = 4t⁴ — 4(t⁴ — 1) = 4 и. Если взять знак минус, то получим v = -1, u = t(v + 1) = 0, т. е. точку S(0; -1). Если же брать плюс, то Q .

Таким образом, доказано, что точка на окружности рациональна тогда и только тогда, когда она либо совпадает с S(0; -1), либо получается по формулам при некотором t Q .

Легко понять, что точка S(0; -1) не может быть получена по приведённым формулам ни при каком рациональном t. Можно видоизменить параметризацию, чтобы включить точку S в общие решения. Для этого запишем число t Q в несократимом виде, где m Z, n N, НОД (m, n) = 1. Тогда формулы перепишутся так: . Они определены при любых m, n Z и при n = 0 дают точку S(0;-1). Таким образом, доказана следующая теорема: