Теорема Ферма

Великая теорема Ферма — утверждение, сформулированное Пьером Ферма в древнем 1637 и ставшее главным бредо- и лулзогенератором в математике.

Давным-давно, еще в античной Греции, дедушка Пифагор придумал и доказал теорему имени себя, ту самую, которая «пифагоровы штаны во все стороны равны». Практически сразу обнаружились пифагоровы тройки — такие наборы из трех натуральных чисел, что если взять отрезки таких длин, то получится прямоугольный треугольник. Задача несложная, в лучшие годы ее давали в школе, а тройка «3, 4, 5» была известна еще египетским фараонам. Сабж является прямым аналогом этой задачки, только чуть более сложным. Здесь степени не вторые, а любые натуральные больше двух.
Короче говоря, великая теорема Ферма утверждает, что уравнение x+y=z не имеет натуральных решений при n > 2. Всего-навсего.
XVII век от Рождества Христова. Франция. Тулуза. Юристу Ферма патологически нечего делать по вечерам. В те славные времена интернета ещё не было, письма были бумажными, а юрист Ферма — честным. Соответственно, ходить на местные аналоги дискотеки ему было не комильфо, бухать с VIP-друзьями в кабаке тоже не рекомендовалось, а полагалось сидеть дома и скучать. Посему у Пьера нашего Ферма появилось невинное увлечение: он занимался математикой. В частности, сидел, почитывал и порешивал книжку «Арифметика» за авторством Диофанта, учёного древнегреческого разлива, да обобщал задачки, ибо мужик был умный. Вообще, Ферма много чего сделал хорошего, доброго и вечного, но тут не будем говорить о его вкладе ни в матан, ни в теорию чисел, ни во все остальное. Речь пойдет о ВТФ.
В знаменитом экземпляре «Арифметики» он на полях написал формулировку и, ставшее мемом: «Я доказал этот поистине удивительный факт, но поля этой книги слишком узки для доказательства». Потом он начал писать письма, предлагая своим коллегам решить эту «простенькую задачу». Теорема пошла в массы, и всё завертелось на следующие триста лет.

Коллеги Ферма начали срать кирпичами: задачка по виду простенькая, как два пальца об асфальт, но не получается. Блеать, нихуя не получается, то есть вообще. От самого Ферма осталось доказательство для случая n = 4, а в легендарном доказательстве, надо полагать, была ошибка, или оно, аки «Мертвые души», второй том, было спалено в приступе белой горячки. Эйлер, к которому задача попала через Мерсенна, доказал для n = 3 и грустил, пытаясь разродиться доказательством в общем случае. Ни-че-го, пусто-пусто. Впоследствии многие пробовали доказать эту теорему, но все фейлили. Вообще, любой математик заведомо потратил хотя бы денек-другой, пытаясь изобрести доказательство. Так что, если твой знакомый мастер матана будет утверждать, что он никогда не пробовал, знай: он врет. Инфа 100%.
Показательно, что в свое время Гильберт, когда его спросили, не пробовал ли и он доказать ВТФ, разразился долгой речью, что, мол, бла-бла-бла, зачем это надо, лучше ее и не доказывать, бла-бла-бла, очень уж много клевых методов придумали, пытаясь доказать, да и вообще, он, Гильберт, не специалист. Ну да, конечно. Когда старый хитрец отдал б-гу душу, у него в черновиках нашли не одну сотню страниц с попытками доказать ВТФ.
Хотя в чем-то Гильберт был прав: всякого вкусного и интересного при попытках доказательства изобрели немало, для специалистов один метод бесконечного спуска чего стоит. А ведь это еще не все, желающим — гугл в помощь.
Наконец, в середине XX века, двумя японцами Шимурой и Таниямой была сформулирована некая гипотеза, суть которой доступна чуть более, чем никому. А потом неким Риббетом было доказано, что из нее следует ВТФ. Забрезжил свет в конце тоннеля, и в 90-е, Уайлс, аналог нашего Перельмана из СШП, доказал эту гипотезу и, соответственно, сабж. Тут тоже не обошлось без драмы: в первом доказательстве была найдена ошибка, которую Уайлс, подвергаемый травле бокланов со всего света, все-таки исправил. Исправлял год и с большим трудом, но сдюжил. Его работу снова проверили, и на этот раз ошибок не нашли. Epic win.
О, этого добра навалом. Подобно мобилистам, изобретающим вечный двигатель, по сей день существуют фермисты, которые ищут простое доказательство ВТФ. Зайдя на любой форум фриков, можно насладиться их бредом. Сколько их, нашедших то самое, элементарное доказательство. Многие из них разъехались по палатам с Наполеоном, иные продолжают бомбардировать все инстанции: институт Клея, академию наук, МГУ и все остальное со своими доказательствами. Эдмунд Ландау, немецкий математик и лентяй, напечатал специальные бланки со следующим текстом: «уважаемый %username%, первая ошибка в вашем доказательстве Великой теоремы Ферма находится на %d странице в %d строке». ИЧСХ, обленился настолько, что поиск ошибок поручал своим студентам в качестве домашнего задания.
В 1972 году журнал «Квант» опубликовал статью о ВТФ, снабдив замечанием: «Редакция „Кванта“ со своей стороны считает необходимым известить читателей, что письма с проектами доказательств теоремы Ферма рассматриваться (и возвращаться) не будут».
Не надо думать, что после доказательства ВТФ ферматисты успокоились, нет. Доказательство же негодное, сложное. Они ищут элементарное, доступное школьнику, доказательство, но поскольку все они сами с трудом знают школьную программу, получается рафинированный бред. Ознакомиться с этой чушью можно где угодно, например, на форуме dxdy, и там же можно познакомиться с гигатоннами кирпичей, высираемых тамошними завсегдатаями от этих текстов. Но фрики неуёмны.
Из забавных историй можно вспомнить байку, описанную в книжке Сингха, про некоего немца, которому ВТФ спасла жизнь. Пациента бросила телка, он обанкротился, жизнь была лютое говно, и херр решил застрелиться, причем ровно в полночь. Приведя свои дела в порядок, насколько это было возможно, увидел, что времени только 9 вечера, и решил подождать. Немец же: Ordnung muss sein. Ну и присел подоказывать ВТФ. Увлекся этим делом, а когда вспомнил, что решил стреляться, было уже крепко за полночь. Поняв, что это знак, решил отложить суицид до <del>лучших</del> худших времен… А потом дела пошли на поправку, и закончил он свой жизненный путь преуспевающим бизнесменом и весьма богатым человеком. На радость наследничкам херр завещал тому, кто докажет ВТФ, изрядную по тем временам сумму. Что стало с премией неизвестно, надо полагать за время XX века она обесценилась, пруфов, в общем, не будет.
Почему же в деле доказательства ВТФ такой лютый пиздец и откуда столько фриков? Ну как же, такая простая формулировка, впрочем в теории чисел таких много. А при доказательстве легко ухватиться за простую идею и начать сводить задачу к другим. Ничего, правда, не получится, это дело бесконечное. Видимо потому, что сам этот факт случайно частный случай более общего эффекта. Той самой теоремы Таниями-Шимуры. Такое в математике частенько бывает. А еще это так, потому что это так.
ВТФ — далеко не последняя теорема, формулировка которой доступна любому идиоту, с чудовищно сложным доказательством или вообще не имеющая вразумительного решения. Гуглить, к примеру, проблему Гольдбаха, проблему близнецов или гипотезу Коллатца. Много всякого неизвестного и непонятного осталось про простые числа. Простые числа такие простые. Опять же проблема о нулях дзета-функции Римана, положительное решение которой принесет мир в души криптографов и физиков, а отрицательное неопровержимо докажет, что наш мир чуть менее, чем целиком состоит из НЕХ. Да и гипотеза Пуанкаре, которую доказал Перельман, относится туда же. Так что, есть еще много возможностей обессмертить свое имя, доказав какой-нибудь математический факт, или попасть в стационар, в комнату с мягкими стенами и улыбчивыми санитарами, что более вероятно.
Забавно, но ВТФ, при всей ее знаменитости, одна из наиболее бессмысленных гипотез сама по себе. Большинство остальных знаменитых гипотез имеет глубокий, или не очень, прикладной смысл. Особенно это, конечно, относится к гипотезе о нетривиальных нулях дзета-функции, но и другие проблемы, в общем-то, тоже могли бы принести пользу. Даже теорема о модулярах, через которую доказывается ВТФ, имеет некоторое применение в теории криптостойкости. 
Но известность получила в первую очередь ВТФ. Надо полагать, что в этом виновата ее формулировка и романтическая история с потерянным доказательством, впрочем кто его знает?
В багтрекерах, mailing list'ах и прочих форумах западные коллеги «последним постом Ферма» («Fermat's last post») называют сообщение топикстартера о том, что он нашел простое решение проблемы, после чего ТС исчезает вместе со своим решением, так и не успев вместить его на поля сообщения.