История доказательства Великой теоремы Ферма
Южно-Сахалинский Государственный Университет
Кафедра математики
Реферат
Тема: История доказательства Великой теоремы Ферма
Автор: | Меркулов М. Ю. |
Группа: | 411 |
Южно-Сахалинск
2003г
Суть теоремы
Проблема,о которой пойдет речь в этом реферате выглядит довольно простой потому, что в основе ее лежит математическое утверждение, которое всем известно, тАФ теорема Пифагора: в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.
Благодаря этому пифагорову заклинанию, теорема запечатлелась в мозгу миллионов, если не миллиардов, людей. Это тАФ фундаментальная теорема, заучивать которую заставляют каждого школьника. Но несмотря на то, что теорема Пифагора доступна пониманию десятилетних, она является вдохновляющим началом проблемы, при решении которой потерпели фиаско величайшие умы в истории математики.
Теорема Пифагора дает нам соотношение, которое выполняется для всех прямоугольных треугольников и, следовательно, определяет прямой угол. В свою очередь, прямой угол определяет перпендикуляр, т.е. отношение вертикали к горизонтали, а в конечном счете тАФ отношение между тремя измерениями нашего мира. Математика тАФ через прямой угол тАФ определяет самую структуру пространства, в котором мы живем. Это очень глубокая мысль.
В символьной записи теорема Пифагора утверждает, что для катетов 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,
где больше 2, решения в целых числах не существует. Всего лишь изменив 2 в уравнении Пифагора на любое целое число бóльшее 2, мы вместо сравнительно легко решаемого уравнения получаем задачу умопомрачительной сложности. Великий математик XVII века француз Пьер де Ферма сделал удивительное заключение: он утверждал, что знает, почему никому не удавалось найти решение общего уравнения в целых числах. По его словам, причина заключалась в том, что такого решения не существует.
Биография Ферма
Пьер де Ферма родился 20 августа 1601 года в городе Бомон-де-Ломань на юго-западе Франции. Его отец, Доминик Ферма, был состоятельным торговцем кожей, поэтому Пьер имел счастливую возможность получить престижное образование во французском монастыре Грансельва, а затем, в течение некоторого времени учиться в университете Тулузы. Не сохранилось никаких документов, свидетельствующих о том, что юный Ферма проявил блестящие способности к математике.
Под давлением семьи Ферма поступил на гражданскую службу и в 1631 году был назначен советником парламента Тулузы (conseiller au Parlement de Toulouse) тАФ заведующим отдела прошений.
Ферма избрал стратегию неукоснительного исполнения возложенных на него обязанностей и не беспокоился о себе. У него не было особых политических амбиций, и он делал все от него зависящее, чтобы по возможности оставаться в стороне от кипения парламентских страстей. Всю энергию, которую ему удавалось сохранить после исполнения служебных обязанностей, Ферма отдавал математике, и в свободное время Ферма с наслаждением предавался своему увлечению. По существу, Ферма был истинным ученым-любителем, человеком, которого Э. Т. Белл назвал Влкнязем любителейВ». Но математический талант его был столь велик, что Джулиан Кулидж в своей книге ВлМатематика великих любителейВ» исключил Ферма из числа любителей на том весьма веском основании, что тот Влбыл настолько велик, что должен считаться профессионаломВ».
Несмотря на настойчивые просьбы знакомых и друзей, Ферма упорно отказывался публиковать свои доказательства. Публикация результатов и признание ничего не значили для него. Ферма получал удовлетворение от сознания того, что он в тиши своего кабинета без помех может создавать новые теоремы. Но скромный и замкнутый гений не был чужд озорству. В сочетании с его отстраненностью это иногда проявлялось при общении Ферма с другими математиками, когда он поддразнивал своих коллег: направляя им письма с формулировками последних теорем, он неизменно умалчивал о доказательствах. Ферма бросал своим современникам вызов, испытывая их способность найти недостающее доказательство.
То, что Ферма никогда не раскрывал своих доказательств, вызывало у его коллег чувство горького разочарования. Рене Декарт называл Ферма ВлхвастуномВ», а англичанин Джон Валлис называл его Влпроклятым французомВ». К несчастью для англичан, Ферма доставляло особое удовольствие разыгрывать своих коллег по ту сторону Ла-Манша.
Не сохранилось никаких документальных свидетельств того, что у Ферма был учитель математики, который поощрял своего способного ученика. Наставником и учителем Ферма стала ВлАрифметикаВ» Диофанта. В ВлАрифметикеВ» собраны сотни задач, и каждую из них Диофант снабдил подробным решением. Ферма не перенял столь высокий уровень доступности. Его совсем не интересовало создание учебника для будущих поколений. Он жаждал лишь одного тАФ получить удовлетворение от решенной им задачи. Изучая задачи и решения Диофанта, Ферма черпал в них вдохновение и стал помышлять о том, чтобы самому заняться решением аналогичных и более тонких задач. Ферма записывал для себя лишь самое необходимое для того, чтобы убедиться в правильности полученного решения, и не заботился о том, чтобы изложить остальную часть доказательства. Чаще всего сделанные им торопливые записи отправлялись прямиком в мусорную корзину, после чего Ферма спокойно переходил к следующей задаче. К счастью для нас, опубликованный Баше латинский перевод ВлАрифметикиВ» имел широкие поля, и иногда Ферма торопливо записывал на них ход своих рассуждений и свои комментарии. Эти заметки на полях стали бесценными, хотя и несколько отрывочными, документальными свидетельствами некоторых наиболее блестящих выкладок Ферма.
На полях ВлАрифметикиВ» Диофанта, рядом с задачей 8, Ферма оставил такое замечание: ВлCubet autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividereВ» (Невозможно для куба быть записанным в виде суммы двух кубов, или для четвертой степени быть записанной в виде суммы двух четвертых степеней, или, в общем, для любого числа, которое есть степень больше двух, быть записанной в виде суммы двух таких же степеней).
Свое знаменитое открытие Ферма совершил в самом начале своей математической карьеры тАФ около 1637 года. Примерно через тридцать лет, исполняя свои судебные обязанности в городе Кастре, Ферма тяжело заболел. 9 января 1665 года он подписал свой последний приговор и тремя днями позднее умер. Открытиям Ферма, все еще находившегося в изоляции от парижской математической школы и отнюдь не добрым словом поминаемого его разочарованными коллегами, грозило полное забвение. К счастью, старший сын Ферма, Клеман-Самюэль, сознававший все значение любимого увлечения отца, пришел к заключению, что его открытия не должны быть потеряны для всего мира. Всем, что мы знаем о замечательных открытиях Ферма в теории чисел, мы обязаны его сыну, и если бы не Клеман-Самюэль, загадка, известная под названием Великой теоремы Ферма, умерла бы вместе во своим создателем.
Пять лет Клеман-Самюэль собирал отцовские заметки и письма, изучал неразборчивые надписи на полях ВлАрифметикиВ». Заметка на полях с формулировкой Великой теоремы Ферма была лишь одной из вдохновенных мыслей, начертанных на полях этой книги. Клеман-Самюэль взял на себя тяжкий труд опубликовать все эти заметки в специальном издании ВлАрифметикиВ». В 1670 году он издал в Тулузе книгу под названием ВлДиофантова Арифметика, содержащая примечания П. де ФермаВ». В нее наряду с оригинальным текстом на древнегреческом языке и латинском переводом Баше вошли 48 примечаний, сделанных Ферма. Одно из примечаний и было тем, которое стало впоследствии известно под названием Великой теоремы Ферма.
Великая теорема Ферма тАФ задача невероятно трудная, и тем не менее ее можно сформулировать так, что она станет понятной даже школьнику. Ни в физике, ни в химии, ни в биологии нет ни одной проблемы, которая формулировалась бы так просто и определенно и оставалась нерешенной так долго. В своей книге ВлВеликая проблемаВ» Э. Т. Белл высказал предположение, что возможно, наша цивилизация подойдет к концу прежде, чем удастся доказать Великую теорему Ферма. Доказательство Великой теоремы Ферма стало самым ценным призом в теории чисел, и поэтому не удивительно, что поиски его привели к некоторым наиболее захватывающим эпизодам в истории математики. В эти поиски оказались вовлеченными величайшие умы на нашей планеты, за доказательство назначались огромные премии. Из-за Великой теоремы Ферма люди дрались на дуэли, а некоторые, отчаявшись найти доказательство, даже кончали с собой.
Первый серьезный прорыв
Леонард Эйлер родился в Базеле в 1705 году в семье кальвинистского пастора Пауля Эйлера. Хотя юный Эйлер проявил недюжинный математический талант, его отец решил, что сын должен изучать теологию, и готовил ему церковную карьеру. Леонард повиновался отцовской воле и стал изучать теологию и древнееврейский язык в Базельском университете.
Впервые столкнувшись с Великой теоремой Ферма, Эйлер, понадеялся на то, что ему удастся найти доказательство, если он будет придерживаться такой стратегии: найти решения для какого-нибудь частного случая, а затем обобщить это решение, распространив его на все остальные. Напомним, что теорема Ферма утверждает следующее: уравнение
xn + yn = zn, где тАФ любое целое число большее 2,
не допускает решения в целых числах.
Это уравнение в действительности представляет собой бесконечную систему уравнений
x3 + y3 = z3,
x4 + y4 = z4,
x5 + y5 = z5,
x6 + y6 = z6,
x7 + y7 = z7,
. . . . . . . . . . .
Эйлер попытался выяснить, нельзя ли доказать, что одно из уравнений не допускает решений в целых числах, а затем экстраполировать полученный результат на все остальные уравнения (точно так же, как он доказал свою формулу для всех графов).
Первый шаг к осуществлению задуманного Эйлер совершил, когда обнаружил ключ к доказательству в кратких записях на полях ВлАрифметикиВ» Диофанта. Хотя Ферма не оставил развернутого доказательства Великой теоремы, он в другом месте того же экземпляра ВлАрифметикиВ» написал в зашифрованном виде доказательство для случая =4, включив его в решение совершенно другой задачи. Это были самые подробные вычисления, которые Ферма когда-либо доверил бумаге, но всё же детали всё ещё были обрывочны и расплывчаты, а в заключение доказательства Ферма ссылается на то, что недостаток времени и места не позволяют ему дать более полное объяснение. Несмотря на отсутствие многих важных деталей в беглых заметках Ферма, в них отчетливо просматривался один из способов доказательства от противного, известный под названием метода бесконечного спуска.
Чтобы доказать, что уравнение x4 + y4 = z4 не допускает решения в целых числах, Ферма начал с предположения о существовании гипотетического решения в целых числах
x = X1, y = Y1, z = Z1.
При изучении свойств чисел (X1, Y1, Z1) Ферма показал, что если бы такое гипотетическое решение действительно существовало, то существовало бы меньшее решение (X2, Y2, Z2). Рассматривая это новое решение, Ферма смог показать, что если бы оно существовало, то существовало бы еще меньшее решение (X3, Y3, Z3) и т.д.
Эйлер попытался воспользоваться методом бесконечного спуска в качестве исходного пункта при построении общего доказательства для всех других степеней в уравнении Ферма. Он хотел получить доказательство для всех вплоть до бесконечности, но прежде всего он хотел Влопуститься на одну ступеньВ» и получить доказательство при =3. В письме к прусскому математику Христиану Гольдбаху в августе 1753 года Эйлер сообщил, что ему удалось приспособить метод бесконечного спуска и успешно доказать Великую теорему Ферма для случая =3. Так через сто лет после смерти Ферма впервые удалось сделать первый шаг на пути к решению его проблемы.
И до Эйлера некоторые математики уже пытались приспособить метод бесконечного спуска Ферма для решения уравнения Ферма в целых числах при , отличных от 4, но всякий раз попытка распространить метод приводила к каким-нибудь проблемам в логике. И только Эйлер показал, что, используя число i, можно заткнуть все дыры в доказательстве и заставить метод бесконечного спуска работать при =3.
Это было грандиозное достижение, но повторить успех при других значениях Эйлеру не удалось. К сожалению, все попытки применить те же рассуждения к другим значениям вплоть до бесконечности закончились провалом. И математик, решивший больше задач, чем кто-либо другой за всю историю, был вынужден признать поражение тАФ Великая теорема Ферма оставалась неприступной. Единственным утешением для Эйлера было то, что он осуществил первый серьезный прорыв в Влкруговой оборонеВ» труднейшей математической проблемы в мире.
Подход Софи Жермен
Оказалось, что доказательство для случая =4 остается в силе при =8, 12, 16, 20, .. . Дело в том, что любое число, представимое в виде 8-й (а также 12-й, 16-й, 20-й, ..) степени некоторого числа, представимо и в виде 4-й степени какого-то другого целого числа. Например, число 256 равно 28, но оно равно и 44. Следовательно, любое доказательство, которое ВлработаетВ» для 4-й степени, остается в силе для 8-й и любой другой степени, кратной 4. На основе того же принципа можно утверждать, что эйлеровское доказательство для =3 автоматически переносится на =6, 9, 12, 15, .. . Тем самым Великая теорема Ферма утратила свой неприступный вид и оказалась верной сразу для многих чисел .
К началу XIX века за Великой теоремой Ферма установилась устойчивая репутация самой трудной проблемы в теории чисел. После прорыва, осуществленного Эйлером, не было ни малейшего продвижения, пока сенсационное заявление одной юной француженки не вдохнуло новые надежды. Поиски доказательства Великой теоремы Ферма возобновились с новой силой. Софи Жермен выпало жить в эпоху шовинизма и предрассудков, и для того, чтобы иметь возможность заниматься математикой, ей пришлось принять псевдоним, работать в ужасных условиях и творить в интеллектуальной изоляции.
Софи заинтересовалась теорией чисел и, естественно, не могла не услышать о Великой теореме Ферма. Несколько лет Жермен проработала над ее доказательством и, наконец, достигла такого этапа, когда ей показалось, что она смогла продвинуться к желанной цели. Возникла насущная необходимость обсудить полученные результаты с коллегой, специалистом по теории чисел, и Жермен решилась обратиться к самому большому специалисту по теории чисел тАФ немецкому математику Карлу Фридриху Гауссу.
Семьюдесятью пятью годами ранее Эйлер опубликовал найденное им доказательство для =3, и с тех пор все математики тщетно пытались доказать Великую теорему Ферма в других частных случаях. Но Жермен избрала новую стратегию и в письмах к Гауссу изложила так называемый общий подход к проблеме Ферма. Иначе говоря, ее непосредственной целью было не доказательство отдельного случая тАФ Жермен вознамерилась сказать нечто о многих частных случаях сразу. В письмах к Гауссу она изложила общий ход вычислений, сосредоточенных на простых числах частного типа: таких, что числа 2+1 тАФ также простые. В составленный Жермен перечень таких простых чисел входит число 5, поскольку 11=2В·5+1 тАФ также простое, но число 13 в него не входит, так как 27 = 2В·13 + 1 не простое.
В частности, Жермен с помощью изящного рассуждения, доказала, что если уравнение xn + yn = zn имеет решения для таких простых , что 2+1 также простое число, то либо x, y, либо z делится .
После прогресса, достигнутого благодаря работам Софи Жермен, Французская Академия Наук установила серию премий, включая золотую медаль и 3000 франков, тому математику, который сумеет наконец разгадать тайну Великой теоремы Ферма. Того, кто сумеет доказать теорему, ждала не только заслуженная слава, но и значительное материальное вознаграждение. Салоны Парижа полнились слухами относительно того, какую стратегию избрал тот или иной претендент и как скоро объявят результаты конкурса. Наконец 1 марта 1847 года, Академия собралась на самое драматическое из своих заседаний.
Два конверта
В протоколах заседания подробно описывается, как Габриель Ламе, семью годами раньше доказавший Великую теорему Ферма для =7, взошел на трибуну перед самыми знаменитыми математиками XIX века и заявил, что находится на пороге доказательства Великой теоремы Ферма для общего случая. Ламе признал, что его доказательство еще не полно, но он обрисовал в общих чертах свой метод и не без удовольствия сообщил, что через несколько недель опубликует полное доказательство в журнале, издаваемом Академией.
Аудитория замерла от восторга, но едва Ламе покинул трибуну как слова попросил еще один из лучших парижских математиков Огюстен Луи Коши. Обращаясь к членам Академии, Коши сообщил, что уже давно работает над доказательством Великой теоремы Ферма, исходя примерно из тех же идей, что и Ламе, и также вскоре намеревается опубликовать полное доказательство.
Хотя ни Ламе, ни Коши не располагали полным доказательством, оба соперника страстно желали подкрепить свои заявления, и три недели спустя оба представили в Академию запечатанные конверты.
Наконец, 24 мая было сделано заявление, которое положило конец всем домыслам. К Академии обратился не Коши и не Ламе, а Жозеф Лиувилль. Он поверг достопочтенную аудиторию в шок, зачитав письмо от немецкого математика Эрнста Куммера. Куммер был признанным специалистом по теории чисел, но горячий патриотизм, питаемый искренней ненавистью к Наполеону, на протяжении многих лет не позволял ему отдаться своему истинному призванию. Когда Куммер был еще ребенком, французская армия вторглась в его родной город Сорау, принеся с собой эпидемию тифа. Отец Куммера был городским врачом и через несколько недель болезнь унесла его. Потрясенный происшедшим, Куммер поклялся сделать все, что в его силах, чтобы избавить родину от нового вражеского вторжения, тАФ и по окончании университета направил свой интеллект на решение проблемы построения траекторий пушечных ядер. Позднее он преподавал в Берлинском военном училище законы баллистики.
Параллельно с военной карьерой Куммер активно занимался исследованиями в области чистой математики и был полностью осведомлен о происходящем в Французской Академии. Куммер внимательно прочитал публикации в Трудах Академии и проанализировал те немногие детали, которые рискнули раскрыть Коши и Ламе. Ему стало ясно, что оба француза движутся в сторону одного и того же логического тупика, тАФ и свои соображения он изложил в письме к Лиувиллю.
Куммер показал, что полное доказательство Великой теоремы Ферма лежало за пределами возможностей существовавших математических подходов. Это был блестящий образец логики и в то же время чудовищный удар по целому поколению математиков, питавших надежду, что именно им удастся решить самую трудную в мире математическую проблему.
После работ Эрнста Куммера надежды найти доказательство ослабли, как никогда прежде. Кроме того, в математике начали развиваться различные новые области. Возник риск, что новое поколение математиков останется в неведении относительно неразрешимой проблемы.
Новый импульс
В 1908 году Пауль Вольфскель, немецкий промышленник из Дармштадта, вдохнул в старую проблему новую жизнь. Семья Вольфскелей славилась своим богатством и покровительством искусствам и наукам, и Пауль не был исключением. В университете он изучал математику и хотя свою жизнь Пауль посвятил строительству империи семейного бизнеса, все же он поддерживал контакт с профессиональными математиками и продолжал на любительском уровне заниматься теорией чисел. В частности, Вольфскель не отказался от мысли найти доказательство Великой теоремы Ферма. Вольфскель отнюдь не был одаренным математиком, и ему не было суждено внести заметный вклад в поиски доказательства Великой теоремы Ферма. Но цепочка неординарных событий привела к тому, что его имя оказалось навсегда связанным с теоремой Ферма и вдохновило тысячи людей заняться поиском ее доказательства.
История начинается с того, что Вольфскель впал в такое глубокое отчаяние, что решил совершить самоубийство. Вольфскель был человеком страстным, но не импульсивным, и поэтому принялся во всех подробностях разрабатывать свою смерть. Он назначил дату своего самоубийства и решил выстрелить себе в голову с первым ударом часов ровно в полночь. За оставшиеся дни Вольфскель решил привести в порядок свои дела, которые шли великолепно, а в последний день составил завещание и написал письма близким друзьям и родственникам.
Вольфскель трудился с таким усердием, что закончил все свои дела до полуночи и, чтобы как-нибудь заполнить оставшиеся часы, отправился в библиотеку, где стал просматривать математические журналы. Вскоре ему на глаза попалась классическая статья Куммера, в которой тот объяснял, почему потерпели неудачу Коши и Ламе. Работа Куммера принадлежала к числу самых значительных математических публикаций своего века и как нельзя лучше подходила для чтения математику, задумавшему совершить самоубийство. Вольфскель внимательно, строка за строкой, проследил за выкладками Куммера. Неожиданно Вольфскелю показалось, что он обнаружил пробел: автор сделал некое предположение и не обосновал этот шаг в своих рассуждениях.
Вольфскель сел за стол, тщательно проанализировал ВлущербнуюВ» часть рассуждений Куммера и принялся набрасывать минидоказательство, которое должно было либо подкрепить работу Куммера, либо продемонстрировать ошибочность принятого им предположения и, как следствие, опровергнуть все его доводы. К рассвету Вольфскель закончил свои вычисления. Плохие (с точки зрения математики) новости состояли в том, что доказательство Куммера удалось исцелить, и Великая теорема Ферма по-прежнему осталась недоступной. Но были и хорошие новости: время, назначенное для самоубийства, миновало, а Вольфскель был так горд тем, что ему удалось обнаружить и восполнить пробел в работе великого Эрнеста Куммера, что его отчаяние и печаль развеялись сами собой. Математика вернула ему жажду жизни.
Вольфскель разорвал свои прощальные письма и переписал свое завещание в свете случившегося в ту ночь. После его смерти, последовавшей в 1908 году, завещание было оглашено и повергло семью Вольфскеля в шок: выяснилось, что Пауль завещал значительную часть своего состояния в качестве премии тому, кто сумеет доказать Великую теорему Ферма. Премия в 100000 марок (более 1 000 000 фунтов стерлингов в современных масштабах) была той суммой, которую Вольфскель счел своим долгом уплатить в награду за головоломную проблему, спасшую ему жизнь. Деньги были положены на счет Королевского научного общества Гёттингена, которое в том же году официально объявило о проведении конкурса на соискание премии Вольфскеля:
О премии Вольфскеля было объявлено во всех математических журналах, и весть о конкурсе быстро распространилась по всей Европе. Несмотря на широкую рекламную кампанию и дополнительный побудительный стимул в виде огромной премии, Комиссии Вольфскеля не удалось вызвать особый интерес у серьезных математиков. Большинство профессиональных математиков считали поиск доказательства Великой теоремы Ферма безнадежным делом и решительно отказывались тратить свое драгоценное время на такое бесполезное занятие. Однако премии Вольфскеля удалось внедрить проблему Ферма в сознание совершенно новой аудитории тАФ невидимой армии жаждущих знания молодых умов, жаждущих испытать себя на решении неприступной головоломки и не видящих ничего зазорного в том, что они приступают к поиску доказательства с явно недостаточным багажом.
Через несколько недель после объявления конкурса на соискание премии Вольфскеля на Гёттингенский университет обрушилась лавина ВлдоказательствВ». Не удивительно, что все они до одного оказались ошибочными. И хотя каждый из участников конкурса был убежден, что именно ему удалось решить проблему, пережившую столетия, но во всех присланных доказательствах неизбежно была какая-нибудь тонкая, а иногда и не очень тонкая тАФ ошибка. Искусство теории чисел настолько абстрактно, что необычайно легко сойти с верного логического пути и незаметно заблудиться, даже впасть в абсурд. В Приложении 7 показана классическая ошибка такого сорта, которую легко может допустить энтузиаст-любитель.
Независимо от того, кто был отправителем того или иного доказательства, каждое из них скрупулезно изучалось на тот случай, если неизвестному любителю все же удастся найти столь давно разыскиваемое доказательство. Деканом математического факультета Гёттингенского университета с 1909 по 1934 годы был профессор Эдмунд Ландау. Именно на него легла обязанность разбирать все доказательства, присланные на соискание премии Вольфскеля.
Ландау был вынужден то и дело прерывать свои собственные исследования, поскольку ему нужно было разбирать десятки ошибочных доказательств, поступавших к нему на стол каждый месяц. Чтобы справиться с ситуацией, профессор Ландау изобрел изящный метод, позволивший избавиться от докучливой работы. Профессор попросил напечатать несколько сотен карточек, на которых значилось:
Уважаемый(ая) . . . . . . . . Благодарю Вас за присланную Вами рукопись с доказательством Великой теоремы Ферма. Первая ошибка находится на стр. .. в строке .. . Из-за нее все доказательство утрачивает силу. Профессор Э. М. Ландау |
Вместе с этим смотрят:
Modern technologies in teaching FLT