1. Почему она так знаменита?
Великая теорема Ферма — математическая задача невероятной сложности, и тем не менее ее формулировку может понять каждый с 5-ю классами средней школы, а вот доказательство — даже далеко не всякий математик-профессионал. Ни в физике, ни в химии, ни в биологии, ни в той же математике нет ни одной проблемы, которая формулировалась бы так просто, но оставалась нерешенной так долго.
2. В чем же она состоит? Начнем с пифагоровых штанов
Формулировка действительно проста — на первый взгляд. Как известно нам с детства, «пифагоровы штаны на все стороны равны».
Проблема выглядит столь простой потому, что в основе ее лежало математическое утверждение, которое всем известно:
Теорема Пифагора: в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.
То есть легко подобрать множество чисел, которые прекрасно удовлетворяют равенству х2 + y2 = z2. Начиная с 3, 4, 5 — действительно, младшекласснику понятно, что
9+16=25.
Или 5, 12, 13:
25 + 144 = 169.
Замечательно. Ну и так далее.
А если взять похожее уравнение х3+ y3 = z3? Может, тоже есть такие числа? И так далее.
Так вот, оказывается, что их НЕТ.
Вот тут начинается подвох. Простота — кажущаяся, потому что трудно доказать не наличие чего-то, а наоборот, отсутствие. Когда надо доказать, что решение есть, можно и нужно просто привести это решение.
Доказать отсутствие сложнее: например, некто говорит: такое-то уравнение не имеет решений. Посадить его в лужу? Легко: бац — а вот оно, решение! (приведите решение). И все, оппонент сражен.
А как доказать отсутствие? Сказать: «Я не нашел таких решений»? А может, ты плохо искал? А вдруг они есть, только очень большие, ну очень, такие, что даже у сверхмощного компьютера пока не хватает силенок? Вот это-то и сложно.
В наглядном виде это можно показать так: если взять два квадратика подходящих размеров и разобрать на единичные квадратики, то из этой кучки единичных квадратиков получается третий квадратик:
А проделаем то же с третьим измерением (рис. 3) — не получается. Не хватает кубиков, или остаются лишние:
3. История: более 350 лет поиска решений
Теорема была сформулирована Пьером Ферма в 1637 году на полях книги «Арифметика» Диофанта с припиской, что найденное им остроумное доказательство этой теоремы слишком длинно, чтобы его можно было здесь поместить:
Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него.
Несколько позже сам Ферма опубликовал доказательство частного случая для n = 4, что добавляет сомнений в том, что у него было доказательство общего случая, иначе он непременно упомянул бы о нём в этой статье.
Но все это были частные случаи, а не универсальное доказательство для ВСЕХ ЧИСЕЛ.
Над полным доказательством Великой теоремы работало немало выдающихся математиков, и эти усилия привели к получению многих результатов современной теории чисел.
Считается, что Великая теорема стоит на первом месте по количеству неверных доказательств. Многие начинающие математики считали своим долгом подступиться к Великой теореме, но доказать ее все никак не удавалось.
Сначала не удавалось сто лет. Потом еще сто. Среди математиков стал развиваться массовый синдром: «Как же так? Ферма доказал, а я что, не смогу, что ли?», и некоторые из них на этой почве свихнулись в полном смысле этого слова.
Некоторые пытались прославиться от обратного: доказать, что она не верна. А для этого, как мы говорили, достаточно просто-напросто привести пример: вот три числа, одно в кубе плюс второе в кубе — равно третьему в кубе. И они искали такие тройки чисел. Но безуспешно… И никакие компьютеры, ни с каким быстродействием, никогда не смогли бы ни проверить теорему, ни опровергнуть ее, ведь все переменные этого уравнения (в том числе и показатели степени) могут возрастать до бесконечности.
4. Наконец-то!
Наконец 23 июня 1993 года в Кембридже состоялась самая важная лекция по математике в ХХ веке. Лектором был Эндрю Уайлс, англичанин, профессор Принстонского университета. Эндрю Уайлс продемонстрировал ученым полное доказательство Великой теоремы Ферма.
Он шел к этому 30 лет, буквально с десятилетнего возраста. Его доказательство потом еще было уточнено и усовершенствовано в 1995 году, но самое главное — Великая теорема была доказана!
На это человечеству понадобилось 358 лет. Для доказательства была применена «самая высшая» и самая современная математическая наука. Поэтому изложить это доказательство в рамках заметочки никак нельзя, и читателям придется поверить на слово мне, математикам Кембриджа и Принстона и так далее.
Это доказательство закрыло сразу две страницы истории математики: 350-летний поиск доказательств Великой теоремы и бесконечные нашествия ферматистов на все математические кафедры всех университетов и институтов в мире.
5. Кто такие ферматисты?
Как сказано выше, формулировка Великой теоремы очень проста и понятна, поэтому есть стойкая иллюзия, что и доказательство ее также должно быть простым, понятным и вкладываться в знания алгебры в объеме 5−6 классов. Это породило неисчислимые толпы жертв фанатизма, называемых ферматистами, которые пытались ее доказать, думали, что доказали, и атаковали кафедры и отдельных ученых с исписанными тетрадками в клеточку наперевес. Как все фанатики, они нетерпимы к критике, полны намерений снести все преграды и страшно самоуверенны. Обычно их толстые труды сразу выбрасывают или дают студентам кафедры теории чисел для поиска ошибки в качестве упражнения.
Как правило, все доказательства сводятся к нехитрым алгебраическим преобразованиям: там прибавил, тут вычел, возвел все в квадрат, извлек квадратный корень, свернул по формулам сокращенного умножения, применил бином Ньютона — и вот оно, доказал.
Интересно, что бОльшая часть доморощенных ферматистов даже не понимает сути теоремы — они доказывают не то, что уравнение с показателями степени больше 2 не имеет целых решений, а просто пытаются доказать, что х в степени N + y в степени N равно z в степени N, что, как вы уже, я надеюсь, понимаете, лишено всяческого смысла.
И ведь доказывают! Ошибка, как правило, возникает при очередном возведении уравнения в квадрат и последующем извлечении корня. Казалось бы: возвели в квадрат, потом извлекли корень — так на так и получится, но они всегда забывают о том, что х в квадрате и (минус х) в квадрате равны. Это элементарно, Ватсон!
Кафедры отбивались, как могли.
Учёный секретарь одного из московских академических институтов, не избежавшего нашествия ферматистов, однажды был в отпуске в Молдавии и на рынке купил какую-то снедь, которую ему завернули в местную газету.
Вернувшись с рынка, он стал просматривать этот листок и наткнулся на заметку, в которой сообщалось, что местный школьный учитель доказал теорему Ферма, и, как следствие, пелись всякие дифирамбы высокому уровню областной науки.
Учёный секретарь вырезал эту заметку, а по возвращении в Москву вставил её в рамку и повесил на стену своего кабинета. Теперь, когда на него «нападал» очередной ферматист, он широким жестом приглашал того ознакомиться с «текущим положением дел». Жизнь явно стала легче. (Саймон СИНГХ, «ВТФ»).
Я думаю, после всего, что между нами было, читатели уже смогут оценить попавшуюся мне как-то на кафедре в куче таких рукописей, тетрадок и бандеролей телеграмму:
ДОКАЗАЛ ТЕОРЕМУ ФЕРМА ТЧК ИКС СТЕПЕНИ Н ПЛЮС ИГРЕК СТЕПЕНИ Н РАВНО ЗЕТ СТЕПЕНИ Н ТЧК. ДОКАЗАТЕЛЬСТВО ДВТЧ ПЕРЕНОСИМ ИГРЕК СТЕПЕНИ Н ПРАВУЮ ЧАСТЬ ТЧК ПОДРОБНОСТИ ПИСЬМОМ