Симпсоны и их математические секреты - страница 15

Уайлс мечтал решить теорему Ферма с десяти лет. Он был одержим этой идеей на протяжении трех десятилетий, а последние семь лет работал в обстановке полной секретности и в конце концов предоставил доказательство того, что уравнение x^>n + y^>n = z^>n (n > 2) не имеет решений. Когда его опубликовали, оказалось, что оно занимает 130 страниц плотного математического текста. Это интересно отчасти потому, что иллюстрирует огромный масштаб достижения Уайлса, а еще потому, что его логические рассуждения слишком сложны, чтобы ими можно было оперировать в XVII столетии. В действительности Уайлс использовал столько современных инструментов и методик, что его доказательство теоремы Ферма не может быть тем подходом, который имел в виду сам Ферма.

Именно этот момент упоминался в 2010 году в телесериале BBC «Доктор Кто». В эпизоде «Одиннадцатый час» Мэтт Смит дебютирует в качестве регенерированного одиннадцатого Доктора, который должен доказать свою компетентность группе гениев, чтобы убедить их в необходимости принять его совет и спасти мир. Увидев, что эксперты уже готовы ему отказать, Доктору Кто говорит: «Да, я знаю, вы должны меня отключить, но прежде взгляните на это. Теорема Ферма. Доказательство. Я имею в виду – настоящее. Его никогда еще не видели». Другими словами, Доктор неявно признает факт существования доказательства Уайлса, но совершенно обоснованно не принимает его в качестве доказательства Пьера Ферма, которое считает «настоящим». Возможно, Доктор вернулся в XVII век и получил его у самого Ферма.

Итак, давайте подытожим. В XVII столетии Пьер Ферма утверждает, что у уравнения x^>n + y^>n = z^>n (n > 2) нет решения в целых числах. В 1995 году Эндрю Уайлс находит этому доказательство и подтверждает заявление Ферма. В 2010 году Доктор Кто раскрывает настоящее доказательство Ферма. Все сходятся во мнении, что данное уравнение не имеет решений.

Таким образом, в эпизоде «Волшебник Вечнозеленой аллеи» Гомер как будто бросает вызов величайшим умам четырех столетий. Ферма, Уайлс и даже Доктор Кто считают, что уравнение Ферма нерешаемо, но Гомер все же пишет на доске следующее:

Вы можете проверить это уравнение сами с помощью калькулятора. Возведите число 3987 в двенадцатую степень. Прибавьте 4365 в двенадцатой степени. Возьмите корень двенадцатой степени из результата – и получите число 4472.

Во всяком случае именно такое число выдаст калькулятор, экран которого рассчитан только на десять разрядов. Однако если у вас есть более точный калькулятор, отображающий двенадцать или более цифр, то вы увидите иной ответ. Фактическое значение третьего члена уравнения ближе к следующему значению:

Так что же происходит? Уравнение Гомера – это так называемое самое близкое решение уравнения Ферма. То есть числа 3987, 4365 и 4472 очень близки к тому, чтобы удовлетворять уравнению Ферма, причем настолько близки, что погрешность практически незаметна. Тем не менее в математике решение либо есть, либо его нет. Самое близкое решение – это, по большому счету, вообще не решение, а значит, последняя теорема Ферма так и остается неопровергнутой.

Дэвид Коэн включил эту математическую шутку в сценарий в расчете на тех зрителей, которые оказались достаточно внимательными, чтобы заметить уравнение, и достаточно осведомленными, чтобы понять связь с теоремой Ферма. Доказательство Уайлса было опубликовано за три года до выхода этого эпизода в эфир в 1998 году, так что Коэн прекрасно знал, что теорему Ферма удалось одолеть. В каком-то смысле он даже имел к этому отношение, поскольку во время учебы в Калифорнийском университете в Беркли посещал лекции Кена Рибета, а именно Рибет предоставил Уайлсу важнейший инструмент для доказательства теоремы Ферма.

Безусловно, Коэну было известно, что теорема Ферма не имеет решений, но он хотел отдать дань уважения Пьеру де Ферма и Эндрю Уайлсу, отыскав настолько близкое к правильному решение, что оно проходило тест на простом калькуляторе. Для того чтобы найти это псевдорешение, Коэн написал компьютерную программу, которая анализировала значения