> 2) не имеет решений. Когда его опубликовали, оказалось, что оно занимает 130 страниц плотного математического текста. Это интересно отчасти потому, что иллюстрирует огромный масштаб достижения Уайлса, а еще потому, что его логические рассуждения слишком сложны, чтобы ими можно было оперировать в XVII столетии. В действительности Уайлс использовал столько современных инструментов и методик, что его доказательство теоремы Ферма не может быть тем подходом, который имел в виду сам Ферма.
Именно этот момент упоминался в 2010 году в телесериале BBC «Доктор Кто». В эпизоде «Одиннадцатый час» Мэтт Смит дебютирует в качестве регенерированного одиннадцатого Доктора, который должен доказать свою компетентность группе гениев, чтобы убедить их в необходимости принять его совет и спасти мир. Увидев, что эксперты уже готовы ему отказать, Доктору Кто говорит: «Да, я знаю, вы должны меня отключить, но прежде взгляните на это. Теорема Ферма. Доказательство. Я имею в виду – настоящее. Его никогда еще не видели». Другими словами, Доктор неявно признает факт существования доказательства Уайлса, но совершенно обоснованно не принимает его в качестве доказательства Пьера Ферма, которое считает «настоящим». Возможно, Доктор вернулся в XVII век и получил его у самого Ферма.
Итак, давайте подытожим. В XVII столетии Пьер Ферма утверждает, что у уравнения x>n + y>n = z>n (n > 2) нет решения в целых числах. В 1995 году Эндрю Уайлс находит этому доказательство и подтверждает заявление Ферма. В 2010 году Доктор Кто раскрывает настоящее доказательство Ферма. Все сходятся во мнении, что данное уравнение не имеет решений.
Таким образом, в эпизоде «Волшебник Вечнозеленой аллеи» Гомер как будто бросает вызов величайшим умам четырех столетий. Ферма, Уайлс и даже Доктор Кто считают, что уравнение Ферма нерешаемо, но Гомер все же пишет на доске следующее:
Вы можете проверить это уравнение сами с помощью калькулятора. Возведите число 3987 в двенадцатую степень. Прибавьте 4365 в двенадцатой степени. Возьмите корень двенадцатой степени из результата – и получите число 4472.
Во всяком случае именно такое число выдаст калькулятор, экран которого рассчитан только на десять разрядов. Однако если у вас есть более точный калькулятор, отображающий двенадцать или более цифр, то вы увидите иной ответ. Фактическое значение третьего члена уравнения ближе к следующему значению:
3987¹² + 4365¹² = 4472,0000000070576171875¹²
