Теорема которую нельзя доказать

Великая теорема Ферма

Вы, наверное, помните со школьных времен теорему Пифагора: квадрат гипотенузы прямоугольного треугольника равен сумме квадратов катетов. Возможно, вы помните и классический прямоугольный треугольник со сторонами, длины которых соотносятся как 3 : 4 : 5. Для него теорема Пифагора выглядит так:

32 + 42 = 52

Это пример решения обобщенного уравнения Пифагора в ненулевых целых числах при n = 2. Великая теорема Ферма (ее также называют «Большой теоремой Ферма» и «Последней теоремой Ферма») состоит в утверждении, что при значениях n > 2 уравнения вида xn + yn = zn не имеют ненулевых решений в натуральных числах.

История Великой теоремы Ферма весьма занимательна и поучительна, и не только для математиков. Пьер де Ферма внес вклад в развитие самых различных областей математики, однако основная часть его научного наследия была опубликована лишь посмертно. Дело в том, что математика для Ферма была чем-то вроде хобби, а не профессиональным занятием. Он переписывался с ведущими математиками своего времени, однако публиковать свои работы не стремился. Научные труды Ферма в основном обнаружены в форме частной переписки и обрывочных записей, часто сделанных на полях различных книг. Именно на полях (второго тома древнегреческой «Арифметики» Диофанта. — Прим. переводчика) вскоре после смерти математика потомки и обнаружили формулировку знаменитой теоремы и приписку:

«Я нашел этому поистине чудесное доказательство, но поля эти для него слишком узки».

Увы, судя по всему, Ферма так и не удосужился записать найденное им «чудесное доказательство», и потомки безуспешно искали его три с лишним века. Из всего разрозненного научного наследия Ферма, содержащего немало удивительных утверждений, именно Великая теорема упорно не поддавалась решению.

Кто только не брался за доказательство Великой теоремы Ферма — всё тщетно! Другой великий французский математик, Рене Декарт (René Descartes, 1596–1650), называл Ферма «хвастуном», а английский математик Джон Уоллис (John Wallis, 1616–1703) — и вовсе «чертовым французом». Сам Ферма, правда, все-таки оставил после себя доказательство своей теоремы для случая n = 4. С доказательством для n = 3 справился великий швейцарско-российский математик XVIII века Леонард Эйлер (1707–83), после чего, не сумев найти доказательств для n > 4, в шутку предложил устроить обыск в доме Ферма, чтобы найти ключ к утерянному доказательству. В XIX веке новые методы теории чисел позволили доказать утверждение для многих целых чисел в пределах 200, однако, опять же, не для всех.

В 1908 году была учреждена премия в размере 100 000 немецких марок за решение этой задачи. Призовой фонд был завещан германским промышленником Паулем Вольфскелем (Paul Wolfskehl), который, согласно преданию, собирался покончить жизнь самоубийством, но так увлекся Великой теоремой Ферма, что передумал умирать. С появлением арифмометров, а затем и компьютеров планка значений n стала подниматься всё выше — до 617 к началу Второй мировой войны, до 4001 в 1954 году, до 125 000 в 1976 году. В конце XX столетия мощнейшие компьютеры военных лабораторий в Лос-Аламосе (Нью-Мексико, США) были запрограммированы на решение задачи Ферма в фоновом режиме (по аналогии с режимом экранной заставки персонального компьютера). Таким образом удалось показать, что теорема верна для невероятно больших значений x, y, z и n, но строгим доказательством это послужить не могло, поскольку любые следующие значения n или тройки натуральных чисел могли опровергнуть теорему в целом.

Наконец в 1994 году английский математик Эндрю Джон Уайлс (Andrew John Wiles, р. 1953), работая в Принстоне, опубликовал доказательство Великой теоремы Ферма, которое, после некоторых доработок, было признано исчерпывающим. Доказательство заняло более ста журнальных страниц и основывалось на использовании современного аппарата высшей математики, который в эпоху Ферма разработан не был. Так что же тогда имел в виду Ферма, оставляя на полях книги сообщение о том, что доказательство им найдено? Большинство математиков, с которыми я беседовал на эту тему, указывали, что за века накопилось более чем достаточно некорректных доказательств Великой теоремы Ферма, и что, скорее всего, сам Ферма нашел подобное доказательство, однако не сумел усмотреть в нем ошибку. Впрочем, не исключено, что все-таки имеется какое-то короткое и изящное доказательство Великой теоремы Ферма, которое никто до сих пор не нашел. С уверенностью можно утверждать лишь одно: сегодня мы точно знаем, что теорема верна. Большинство математиков, я думаю, безоговорочно согласятся с Эндрю Уайлсом, который заметил по поводу своего доказательства: «Теперь наконец мой ум спокоен».

аксиома

не требующее доказательства утверждение

Альтернативные описания

• бесспорная, не требующая доказательств истина

• доказательство без доказательства

• исходная бездоказательность, истина, не требующая доказательств

• неоспоримая истина

• полная недоказуемость, равная полной неопровержимости. Александр Круглов

• положение, принимаемое без логического доказательства

• утверждение, которое неопровержимо, пока в нем хватает соединительной силы

• математическая догма

• бесспорная истина

• у древних греков, таких как Пифагор и Евклид, это слово означало «то, что достойно почести»

• полная недоказуемость, равная полной неопровержимости

• истина, на которую не хватило доказательств

• само собой разумеющееся

• положение, не требующее доказательств

• постулат в геометрии

• бездоказательная истина

• истина на веру

• утвержденная истина

• принятая истина

• принятая в науке истина

• недоказуемая истина

• постулат в математике

• беспорная истина

• догма в математике

• положение, принимаемое без доказательств

• убедительное положение

• не требует доказательств

• бездоказательная теорема

• математическая истина

• положение, принимаемое без доказ.

• истиное исходное положение теории

• основополагающее утверждение

• непреложная истина

• истинное исходное положение теории

• заместитель истины

• Истина, не требующая доказательства

• Исходное положение какой-либо теории или науки, принимаемое без доказательств

• Положение, принимаемое без доказательств

• ж. греч. очевидность, ясная по себе и бесспорная истина, не требующая доказательств, напр. целое всегда, больше части своей; основная истина, самоистина, ясноистина

• положение не требующее доказательств

• положение, принимаемое без доказ

• постулат

• у древних греков, таких как Пифагор и Евклид, это слово означало «то, что достойно почести»

Записи созданы 1581

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Начните вводить, то что вы ищите выше и нажмите кнопку Enter для поиска. Нажмите кнопку ESC для отмены.

Вернуться наверх