Луис Фернандо Ареан Альварес - Самая сложная задача в мире. Ферма. Великая теорема Ферма

математик получил этот результат. Он некоторое время анализировал пифагоровы тройки и их свойства. Речь идет о записи квадрата в виде суммы двух квадратов так, чтобы все используемые числа были натуральными. Разумно предположить: поставив перед собой эту проблему, Ферма также задался вопросом, что произойдет, если вместо квадратов использовать кубы, четвертые степени и так далее. В конце концов, одной из самых естественных тенденций для математика является поиск обобщенного результата или, по крайней мере, исследование возможных обобщений.

Понять поставленную задачу довольно просто, и хотя уже половина ее решения заключается в этом понимании, вторая половина, в случае теоремы Ферма, сформулированной в 1637 году, чрезвычайно сложна. Почему? Чтобы попытаться ответить на данный вопрос, нужно совершить "небольшое" путешествие в прошлое, примерно за 2100 лет до Ферма, во времена Пифагора, — не только из-за связей, которые имеются у Великой теоремы с пифагоровыми тройками.

ГРЕКИ

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

Одно известно точно: Пифагор не формулировал теорему, которая носит его имя. Египтяне и вавилоняне знали и применяли ее, но они пользовались ею как инструкцией. Они неоднократно проверили ее на практике и убедились в ее истинности. Говоря современным языком, египтяне и вавилоняне использовали математику эмпирически: если они систематически убеждались, что результат верен, они обобщали его и думали, что он верен всегда. Это известно как индуктивное рассуждение. Когда мы находим действующую инструкцию, мы применяем ее, даже если и не понимаем, почему она работает.

Однако то, что сделал Пифагор, было действительно революционно: он пришел к убеждению, что эмпирических инструкций недостаточно и что требуется строгое доказательство их правоты. Фалес Милетский (ок. 630-545 до н. э.), отец философии, уже занимался выведениями доказательств, но Пифагор превратил поиск математического доказательства в систематическую программу. Он сделал нечто удивительное: пришел к выводу, что инструкция может быть доказана для всех случаев дедуктивно, с помощью правил логики, чтобы стать вечной, безупречной истиной, которую невозможно оспорить. Эмпиризму он противопоставил разум. Так, доказательство, основанное на логических правилах и образованное рядом шагов, которые любой может рассмотреть и понять, лучше, чем миллион экспериментов.

Насколько известно, Пифагор был первым, кто подумал о том, что такие доказательства не только возможны, но и достижимы систематически.

ГЕОМЕТРИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ ПИФАГОРА

Возьмем два квадрата одинаковой площади со стороной а + b и разделим их, как показано на рисунке. Очевидно, что площадь каждого из квадратов равна (а + b)², но ее можно выразить и другим способом. В квадрате слева общая площадь равна сумме площадей двух квадратов со сторонами b и а и площадей четырех треугольников со сторонами а и b, то есть

1/2 · ab

для каждого из них. Следовательно, общая площадь первого квадрата равна

A1 = a² + b² + 4(1/2 · ab)

Площадь второго квадрата равна сумме площади вписанного квадрата со стороной с и площадей четырех треугольников со сторонами а и b:

A2 = c² + 4(1/2 · ab).

Так как А1 и А2 равны, то

a² + b² + 4(1/2 · ab) = c² + 4(1/2 · ab).

И, после сокращения уравнения:

а²+b²=с².

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

Поэтому он заслуживает титула отца математики. Все амбиции математической науки, одной из самых плодотворных в --">