Великая Теорема Ферма

Математика потеряла своего первого героя, но пифагорейский дух не был сокрушен. Числа и математические истины бессмертны. Пифагор показал, что математика в большей степени, чем какая-нибудь другая научная дисциплина, лишена субъективности. Его ученикам и последователям не был нужен учитель, чтобы решить, верна ли та или иная теория. Истинность математической теории не зависит от чьего бы то ни было мнения. Арбитром вместо мнения стала логичность математической конструкции. Величайшим вкладом Пифагора в цивилизацию стал способ достижения истины, не подвластный ошибочности человеческого суждения. После нападения Силона и смерти своего отца-основателя, пифагорейцы покинули Кротон и разбрелись по другим городам Древней Греции.

Но преследования продолжались, и в конце концов многие пифагорейцы были вынуждены поселиться на чужбине. Вынужденная эмиграция способствовала тому, что пифагорейцы распространили свое математическое учение по всему Древнему Миру. Ученики и последователи Пифагора основали новые школы и обучили своих учеников методу логического доказательства. Помимо известного им доказательства теоремы Пифагора они поведали миру секрет нахождения так называемых пифагоровых троек.

Пифагоровы тройки представляют собой комбинации из трех целых чисел, удовлетворяющих соотношению Пифагора x² + y² = z². Например, соотношение Пифагора выполняется при x=3, y=4 и z=5:

З² + 4² = 5², 9 + 16 = 25

Другой способ получения пифагоровых троек — перестройка квадратов. Если взять квадрат 3x3, состоящий из 9 квадратных плиток, и квадрат 4x4, состоящий из 16 плиток, то все эти плитки можно расположить по-новому, так, чтобы они образовывали квадрат 5x5, состоящий из 25 плиток (рис. 4).

+

=

З² + 4² = 5²

 9 + 16 = 25

Рис. 4

Пифагорейцы мечтали найти и другие пифагорейские тройки, другие квадраты, из которых можно было бы сложить третий квадрат больших размеров. Еще одна пифагорова тройка: x=5, y=12 и z=13:

5² + 12² = 13², 15 + 144 = 169.

Приведем пифагорову тройку из больших чисел: x=99, y=4900 и z=4901. По мере того, как числа возрастают, пифагоровы тройки встречаются все реже и находить их становится все труднее и труднее. Пифагорейцы изобрели метод отыскания таких троек и, пользуясь им, доказали, что пифагоровых троек существует бесконечно много.

От теоремы Пифагора до Великой теоремы Ферма

О теореме Пифагора и бесконечном числе пифагоровых троек шла речь в книге Э.Т. Белла «Великая проблема» — той самой библиотечной книге, которая привлекла внимание Эндрю Уайлса. И хотя пифагорейцы достигли почти полного понимания пифагорейских троек, Уайлс скоро обнаружил, что у невинного на первый взгляд уравнения x

² + y² = z² имеется и темная сторона — в книге Белла давалось описание математического чудовища.

В уравнение Пифагора входят три числа x, y и z, все три числа входят в квадрате (например, x² = x·x):

x² + y² = z

²

Но в той же книге Белла приводилось и уравнение, очень похожее на уравнение Пифагора, но отличающееся от него тем, что все числа входят в кубе (например, x³ = x·x·x). Так называемая степень переменной x в этом уравнении равна не 2, а 3:

x³ + y³ = z³

Найти целочисленные решения уравнения Пифагора, т. е. пифагоровы тройки, было сравнительно легко, но стоит лишь степени измениться с 2 на 3 (т. е. заменить квадраты кубами), как решение уравнения, столь похожего на уравнения Пифагора, в целых числах, по-видимому, становится невозможным. Поколения математиков исписывали страницу за страницей в своих блокнотах в тщетной надежде найти решение уравнения в целых числах.

При решении исходного «квадратного» уравнения плитки, из которых состояли два квадрата, требовалось расположить так, чтобы они образовывали третий квадрат более крупных размеров. В случае решения «кубического» уравнения из кубиков, образующих два куба, требуется составить третий куб более крупных размеров. Ясно, что независимо от того, какие два куба выбраны в качестве исходного, из образующих их кубиков можно сложить либо третий куб, причем несколько кубиков останутся «лишними», либо неполный (недостроенный) куб. Ближайшим к идеальному кубу будет такая кладка, в которой один кубик останется лишним или окажется недостающим. Например, если мы начнем с кубов 63 и 83 то, рассыпав их на кубики, сможем сложим из них кладку, в которой всего лишь одного кубика не хватит до полного куба 93 (рис. 5).

+

=

6³ + 8³ = 9³ - 1

216 + 512 = 729 - 1

Рис. 5

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

x³ + y³ = z³

не существует целочисленных решений. Более того, если степень повысить с 3 (куба) до любого большего целого числа (т. е. до 4, 5, 6…), то найти целочисленное решение такого уравнения, по-видимому, также невозможно. Иначе говоря, у более общего уравнения

xⁿ + yⁿ = zⁿ,