Суть теоремы
Проблема,о которой пойдет речь в этом реферате выглядит довольно простой потому, что в основе ее лежит математическое утверждение, которое всем известно, — теорема Пифагора: в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.
Благодаря этому пифагорову заклинанию, теорема запечатлелась в мозгу миллионов, если не миллиардов, людей. Это — фундаментальная теорема, заучивать которую заставляют каждого школьника. Но несмотря на то, что теорема Пифагора доступна пониманию десятилетних, она является вдохновляющим началом проблемы, при решении которой потерпели фиаско величайшие умы в истории математики.
Теорема Пифагора дает нам соотношение, которое выполняется для всех прямоугольных треугольников и, следовательно, определяет прямой угол. В свою очередь, прямой угол определяет перпендикуляр, т.е. отношение вертикали к горизонтали, а в конечном счете — отношение между тремя измерениями нашего мира. Математика — через прямой угол — определяет самую структуру пространства, в котором мы живем. Это очень глубокая мысль.
В символьной записи теорема Пифагора утверждает, что для катетов x y и гипотенузы z прямоугольного треугольника:
x2 + y2 = z2.
Пифагоровы тройки представляют собой комбинации из трех целых чисел, удовлетворяющих соотношению Пифагора x2 + y2 = z2. Например, соотношение Пифагора выполняется при x=3, y=4 и z=5:
З2 + 42 = 52, 9 + 16 = 25.
Пифагорейцы мечтали найти и другие пифагорейские тройки, другие квадраты, из которых можно было бы сложить третий квадрат больших размеров. Еще одна пифагорова тройка: x=5, y=12 и z=13:
52 + 122 = 132, 15 + 144 = 169.
Приведем пифагорову тройку из больших чисел: x=99, y=4900 и z=4901. По мере того, как числа возрастают, пифагоровы тройки встречаются все реже и находить их становится все труднее и труднее. Пифагорейцы изобрели метод отыскания таких троек и, пользуясь им, доказали, что пифагоровых троек существует бесконечно много. Рассмотрим уравнение, очень похожее на уравнение Пифагора, но отличающееся от него тем, что все числа входят в кубе:
x3 + y3 = z3.
Найти целочисленные решения уравнения Пифагора, т.е. пифагоровы тройки, было сравнительно легко, но стоит лишь степени измениться с 2 на 3 (т.е. заменить квадраты кубами), как решение уравнения, столь похожего на уравнения Пифагора, в целых числах, по-видимому, становится невозможным. Поколения математиков исписывали страницу за страницей в своих блокнотах в тщетной надежде найти решение уравнения в целых числах.
Более того, если степень повысить с 3 до любого большего целого числа (т.е. до 4, 5, 6, .), то найти целочисленное решение такого уравнения, по-видимому, также невозможно. Иначе говоря, у более общего уравнения
xn + yn = zn,
где n больше 2, решения в целых числах не существует. Всего лишь изменив 2 в уравнении Пифагора на любое целое число бóльшее 2, мы вместо сравнительно легко решаемого уравнения получаем задачу умопомрачительной сложности. Великий математик XVII века француз Пьер де Ферма сделал удивительное заключение: он утверждал, что знает, почему никому не удавалось найти решение общего уравнения в целых числах. По его словам, причина заключалась в том, что такого решения не существует.