🕷️ Crawler Inspector

Мало ли доказанных, недоказанных и пока не доказанных теорем ? Тут все дело в том, что Великая теорема Ферма являет собой самый большой контраст между простотой формулировки и сложностью доказательства. 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, что добавляет сомнений в том, что у него было доказательство общего случая, иначе он непременно упомянул бы о нём в этой статье. Эйлер в 1770 году доказал теорему для случая n = 3, Дирихле и Лежандр в 1825 году — для n = 5, Ламе — для n = 7. Куммер показал, что теорема верна для всех простых n, меньших 100, и так далее. Но все это были частные случаи, а не универсальное доказательство для ВСЕХ ЧИСЕЛ. Над полным доказательством Великой теоремы работало немало выдающихся математиков, и эти усилия привели к получению многих результатов современной теории чисел. Считается, что Великая теорема стоит на первом месте по количеству неверных доказательств. Многие начинающие математики считали своим долгом подступиться к Великой теореме, но доказать ее все никак не удавалось. Сначала не удавалось сто лет. Потом еще сто. Среди математиков стал развиваться массовый синдром: « Как же так? Ферма доказал, а я что, не смогу, что ли? », и некоторые из них на этой почве свихнулись в полном смысле этого слова. Некоторые пытались прославиться от обратного: доказать, что она не верна . А для этого, как мы говорили, достаточно просто-напросто привести пример: вот три числа, одно в кубе плюс второе в кубе — равно третьему в кубе. И они искали такие тройки чисел. Но безуспешно… И никакие компьютеры, ни с каким быстродействием, никогда не смогли бы ни проверить теорему, ни опровергнуть ее, ведь все переменные этого уравнения (в том числе и показатели степени) могут возрастать до бесконечности. 4. Наконец-то! Наконец 23 июня 1993 года в Кембридже состоялась самая важная лекция по математике в ХХ веке. Лектором был Эндрю Уайлс , англичанин, профессор Принстонского университета. Эндрю Уайлс продемонстрировал ученым полное доказательство Великой теоремы Ферма. Он шел к этому 30 лет, буквально с десятилетнего возраста. Его доказательство потом еще было уточнено и усовершенствовано в 1995 году, но самое главное — Великая теорема была доказана! На это человечеству понадобилось 358 лет . Для доказательства была применена «самая высшая» и самая современная математическая наука. Поэтому изложить это доказательство в рамках заметочки никак нельзя, и читателям придется поверить на слово мне, математикам Кембриджа и Принстона и так далее. Это доказательство закрыло сразу две страницы истории математики : 350-летний поиск доказательств Великой теоремы и бесконечные нашествия ферматистов на все математические кафедры всех университетов и институтов в мире. 5. Кто такие ферматисты? Как сказано выше, формулировка Великой теоремы очень проста и понятна, поэтому есть стойкая иллюзия, что и доказательство ее также должно быть простым , понятным и вкладываться в знания алгебры в объеме 5−6 классов. Это породило неисчислимые толпы жертв фанатизма , называемых ферматистами , которые пытались ее доказать, думали, что доказали, и атаковали кафедры и отдельных ученых с исписанными тетрадками в клеточку наперевес. Как все фанатики, они нетерпимы к критике, полны намерений снести все преграды и страшно самоуверенны. Обычно их толстые труды сразу выбрасывают или дают студентам кафедры теории чисел для поиска ошибки в качестве упражнения. Как правило, все доказательства сводятся к нехитрым алгебраическим преобразованиям: там прибавил, тут вычел, возвел все в квадрат, извлек квадратный корень, свернул по формулам сокращенного умножения, применил бином Ньютона — и вот оно, доказал. Интересно, что бОльшая часть доморощенных ферматистов даже не понимает сути теоремы — они доказывают не то, что уравнение с показателями степени больше 2 не имеет целых решений, а просто пытаются доказать, что х в степени N + y в степени N равно z в степени N , что, как вы уже, я надеюсь, понимаете, лишено всяческого смысла. И ведь доказывают! Ошибка, как правило, возникает при очередном возведении уравнения в квадрат и последующем извлечении корня. Казалось бы: возвели в квадрат, потом извлекли корень — так на так и получится, но они всегда забывают о том, что х в квадрате и (минус х) в квадрате равны. Это элементарно, Ватсон! Кафедры отбивались, как могли. Учёный секретарь одного из московских академических институтов, не избежавшего нашествия ферматистов, однажды был в отпуске в Молдавии и на рынке купил какую-то снедь, которую ему завернули в местную газету. Вернувшись с рынка, он стал просматривать этот листок и наткнулся на заметку, в которой сообщалось, что местный школьный учитель доказал теорему Ферма, и, как следствие, пелись всякие дифирамбы высокому уровню областной науки. Учёный секретарь вырезал эту заметку, а по возвращении в Москву вставил её в рамку и повесил на стену своего кабинета. Теперь, когда на него «нападал» очередной ферматист, он широким жестом приглашал того ознакомиться с «текущим положением дел». Жизнь явно стала легче. (Саймон СИНГХ, «ВТФ»). Я думаю, после всего, что между нами было, читатели уже смогут оценить попавшуюся мне как-то на кафедре в куче таких рукописей, тетрадок и бандеролей телеграмму: ДОКАЗАЛ ТЕОРЕМУ ФЕРМА ТЧК ИКС СТЕПЕНИ Н ПЛЮС ИГРЕК СТЕПЕНИ Н РАВНО ЗЕТ СТЕПЕНИ Н ТЧК. ДОКАЗАТЕЛЬСТВО ДВТЧ ПЕРЕНОСИМ ИГРЕК СТЕПЕНИ Н ПРАВУЮ ЧАСТЬ ТЧК ПОДРОБНОСТИ ПИСЬМОМ Автор — К. Ю. Старохамская Источник — ШколаЖизни.ру