В рассказе The Devil and Simon Flagg («Саймон Флэгг и дьявол»), написанном Артуром Порджесом в 1954 году, титульный герой заключает с дьяволом фаустовский договор. Единственная надежда Саймона Флэгга на спасение души – задать дьяволу вопрос, на который тот не сможет ответить, поэтому он предлагает доказать последнюю теорему Ферма. Признав свое поражение, дьявол говорит: «Вы знаете, даже лучшие математики других планет – а они намного опередили вас – не добились решения. Эх, один малый на Сатурне, чем-то напоминающий гриб на ходулях, решает в уме дифференциальные уравнения в частных производных. Но тут и он спасовал».
Последняя теорема Ферма упоминается также в романах (таких как The Girl Who Played with Fire), художественных фильмах (например, Bedazzled с участием Брендана Фрейзера и Элизабет Херли) и спектаклях («Аркадия» Тома Стоппарда). Пожалуй, самый известный пример – ее появление в 1989 году в сериале «Звездный путь: следующее поколение», когда в эпизоде «Отель “Рояль”» капитан Жан-Люк Пикар говорит о теореме Ферма как о «загадке, которую мы можем никогда не разгадать». Однако он ошибался, а его сведения устарели, потому что действие эпизода происходит в XXIV веке, а теорему в 1995 году доказал Эндрю Уайлс из Принстонского университета.
Уайлс мечтал решить теорему Ферма с десяти лет. Он был одержим этой идеей на протяжении трех десятилетий, а последние семь лет работал в обстановке полной секретности и в конце концов предоставил доказательство того, что уравнение x<sup>n </sup>+ y<sup>n</sup> = z<sup>n</sup> (n > 2) не имеет решений. Когда его опубликовали, оказалось, что оно занимает 130 страниц плотного математического текста. Это интересно отчасти потому, что иллюстрирует огромный масштаб достижения Уайлса, а еще потому, что его логические рассуждения слишком сложны, чтобы ими можно было оперировать в XVII столетии. В действительности Уайлс использовал столько современных инструментов и методик, что его доказательство теоремы Ферма не может быть тем подходом, который имел в виду сам Ферма.
Именно этот момент упоминался в 2010 году в телесериале BBC «Доктор Кто». В эпизоде «Одиннадцатый час» Мэтт Смит дебютирует в качестве регенерированного одиннадцатого Доктора, который должен доказать свою компетентность группе гениев, чтобы убедить их в необходимости принять его совет и спасти мир. Увидев, что эксперты уже готовы ему отказать, Доктору Кто говорит: «Да, я знаю, вы должны меня отключить, но прежде взгляните на это. Теорема Ферма. Доказательство. Я имею в виду – настоящее. Его никогда еще не видели». Другими словами, Доктор неявно признает факт существования доказательства Уайлса, но совершенно обоснованно не принимает его в качестве доказательства Пьера Ферма, которое считает «настоящим». Возможно, Доктор вернулся в XVII век и получил его у самого Ферма.
Итак, давайте подытожим. В XVII столетии Пьер Ферма утверждает, что у уравнения x<sup>n </sup>+ y<sup>n </sup>= z<sup>n</sup> (n > 2) нет решения в целых числах. В 1995 году Эндрю Уайлс находит этому доказательство и подтверждает заявление Ферма. В 2010 году Доктор Кто раскрывает настоящее доказательство Ферма. Все сходятся во мнении, что данное уравнение не имеет решений. |