Дуэль с бесконечностьюСтраница 1
Чтобы доказать Великую теорему Ферма, Уайлсу было необходимо сначала доказать гипотезу Таниямы-Шимуры о том, что каждой эллиптической кривой можно поставить в соответствие некоторую модулярную форму. Многие математики отчаянно пытались доказать эту гипотезу, но все попытки окончились неудачей. Уайлс хорошо сознавал, какие чудовищные трудности ожидают его на пути к доказательству: «В конце концов всё, что наивно надеялись сделать одни и что действительно пытались сделать другие, сводилось к тому, чтобы пересчитать эллиптические кривые и модулярные формы и показать, что число одних совпадает с числом других. Но никто и никогда не предложил простого способа, который позволил бы сделать это. Первая трудность состоит в том, что существует бесконечно много эллиптических кривых и бесконечно много модулярных форм, и поэтому количество тех и других невозможно выразить конечным числом».
Уайлс решил воспользоваться своим обычным подходом к решению трудных задач. «Иногда я записываю на листке бумаги каракули. Строго говоря, они ничего не обозначают. Это, так сказать, подсознательные каракули. Компьютером я не пользуюсь никогда». Во многих задачах теории чисел, компьютеры оказываются совершенно бесполезными. Гипотеза Таниямы-Шимуры относится к бесконечно многим уравнениям, и хотя компьютер может проверить за несколько секунд каждый отдельный случай, он никогда не сможет проверить все случаи. Требовалось нечто другое: логическое рассуждение, которое допускало бы разбиение на отдельные шаги, которое бы в целом указывало причину и давало объяснение, почему все эллиптические кривые без исключения должны соответствовать модулярным формам. И в поиске доказательства Уайлс полагался только на листок бумаги, карандаш и свой разум. «Я не забывал ни на миг о своей цели. С этим я просыпался по утрам, над этим размышлял весь день, об этом думал, засыпая. Не отвлекаясь, я только и делал, что размышлял и размышлял над всем этим».
После года размышлений Уайлс решил избрать за основу доказательства общий метод, известный под названием индукции. Индукция — чрезвычайно мощный способ доказательства, поскольку он позволяет математику доказать, что утверждение справедливо для бесконечно многих случаев, доказав, что оно справедливо только в одном случае. Например, представим себе, что некий математик хочет доказать, что какое-то утверждение справедливо для всех натуральных чисел от 1 до бесконечности. Первый шаг состоит в том, чтобы убедиться в истинности этого суждения для числа 1, что обычно достигается прямой проверкой. Следующий шаг состоит в том, чтобы показать, что если утверждение верно для числа 1, то оно должно быть верно для числа 2, а если оно верно для числа 2, то оно должно быть верно для числа 3, а если оно верно для числа 3, то оно должно быть верно для числа 4 и т. д. Более общо, математик должен показать, что если утверждение верно для некоторого числа n , то оно должно быть верно для следующего числа n +1.
По существу доказательство по индукции представляет собой процесс, состоящий из двух частей:
1. доказательство того, что утверждение верно в первом случае;
2. доказательство того, что если утверждение верно для какого-нибудь одного случая, то оно должно быть верным для следующего случая.
Другое по теме
Математические анекдоты
Это лишний раз подтверждает истину, что половина людей не
знает, как живут остальные три четверти.
Пелам Г. Вудхаус
«Фамильная честь Вустеров» ...