ГЛАВА 3
ПОСЛЕДНЯЯ ТЕОРЕМА ГОМЕРА
Время от времени Гомер Симпсон пытается демонстрировать свои изобретательские таланты. Например, в эпизоде «Мардж и тюрьма» (Pokey Mom, сезон 12, эпизод 10; 2001 год) он создает чудесный исправляющий спиноцилиндр доктора Гомера, который представляет собой побитый мусорный бак с вмятинами, «точно повторяющий контуры человеческого тела». Гомер позиционирует свое изобретение как метод лечения боли в спине, хотя никаких данных, подтверждающих его слова, нет. Хиропрактики Спрингфилда приходят в ярость из-за того, что Гомер переманивает их пациентов, и угрожают уничтожить его изобретение. Это позволит им снова монополизировать рынок лечения проблем с позвоночником и благополучно продвигать собственные фальшивые методы лечения.
Изобретательские подвиги Гомера достигают пика в эпизоде «Волшебник Вечнозеленой аллеи» (The Wizard of Evergreen Terrace, сезон 10, эпизод 2; 1998 год). Название эпизода — это отсылка к прозвищу Томаса Эдисона «Волшебник из Менло-Парка», которое ему дал один журналист после того, как тот открыл в Менло-Парке свою главную лабораторию. К моменту смерти в 1931 году Эдисон запатентовал на свое имя 1093 изобретения и стал легендой.
В эпизоде «Волшебник Вечнозеленой аллеи» рассказывается о решимости Гомера идти по стопам Эдисона. Он сооружает различные устройства, от сигнализации, срабатывающей каждые три секунды, до ружья, которое делает макияж, выстреливая прямо в лицо. Именно в этот научно-исследовательский период мы видим, как Гомер, стоя у доски, записывает несколько математических уравнений. В этом нет ничего удивительного, потому что многие непрофессиональные изобретатели увлекались математикой, а многие математики любили изобретать.
Возьмем в качестве примера сэра Исаака Ньютона, который, кстати, сыграл самого себя в эпизоде под названием «Последнее искушение Гомера» (The Last Temptation of Homer, сезон 5, эпизод 9; 1993 год). Ньютон — один из отцов современной математики — был также и изобретателем. В частности, именно ему приписывают идею дверцы для кошек — с дыркой в нижней части двери, чтобы кошка могла заходить и выходить, когда захочет. Как ни странно, в двери было еще и отверстие поменьше — для котят! Неужели Ньютон действительно был настолько эксцентричным и рассеянным? Многие ставят под сомнение правдивость этой истории, но в 1827 году Джон Мартин Фредерик Райт сказал следующее: «Не знаю, правда это или ложь, но бесспорно одно: в двери до сих пор есть два заглушенных отверстия, размер которых вполне подходит для того, чтобы через них могли пройти кошка и котенок».
Фрагменты математических каракулей Гомера на доске в эпизоде «Волшебник Вечнозеленой аллеи» включил в сценарий Дэвид Коэн, который представлял новое поколение авторов сериала с математическими наклонностями и присоединился к команде «Симпсонов» в середине 1990-х. Так же как Эл Джин и Майк Рейсс, Коэн еще в раннем возрасте демонстрировал настоящий талант к математике. Дома он постоянно читал отцовский журнал Scientific American и разгадывал математические головоломки, которые печатались в ежемесячной колонке Мартина Гарднера. Кроме того, в средней школе Дуайта Морроу в городе Энглвуд Коэн был одним из капитанов команды математиков, выигравшей в 1984 году математический конкурс штата.
Фотография Дэвида Коэна в выпускном альбоме средней школы Дуайта Морроу 1984 года. В школе часто повторяли шутку о том, что все члены математического кружка были капитанами команды, чтобы каждый из них мог написать об этом в заявлении о приеме в колледж
Фотографию предоставил Дэвид Коэн
Вместе со школьными друзьями Дэвидом Шиминовичем и Дэвидом Борденом Коэн организовал группу программистов под названием Glitchmasters («Мастера компьютерных глюков»), и они разработали собственный язык программирования FLEET, предназначенный для высокоскоростной графики и игр на компьютере Apple II Plus. Параллельно Коэн увлекался комиксами и написанием комедий. Он связывал начало своей профессиональной карьеры с комиксами, которые нарисовал во время учебы в средней школе и продал сестре за пенни.
Даже отправившись изучать физику в Гарвард, Коэн сохранил интерес к писательскому труду и печатался в журнале Harvard Lampoon (впоследствии став его президентом). Со временем, как и в случае с Элом Джином, страсть Коэна к комедии и писательству превзошла любовь к математике и физике. В итоге он отказался от научной карьеры, предпочтя написание сценариев к сериалу «Симпсоны». Однако время от времени Коэн возвращается к своим корням, тайком включая математику в эпизоды мультфильма. Хороший тому пример — символы и диаграммы, изображенные Гомером на доске в эпизоде «Волшебник Вечнозеленой аллеи».
Но Коэн, помимо математики, хотел включить в эпизод научные уравнения, поэтому связался со своим школьным другом Дэвидом Шиминовичем, который не бросил академическую стезю и стал астрономом Колумбийского университета.
Первое уравнение на доске — в значительной степени работа Шиминовича, и оно позволяет составить прогноз массы M(H0) бозона Хиггса, элементарной частицы, гипотеза о существовании которой впервые была выдвинута в 1964 году. Уравнение представляет собой забавное сочетание различных фундаментальных параметров, а именно постоянной Планка, гравитационной постоянной и скорости света. Если вы найдете их в справочниках и подставите в уравнение, то масса бозона Хиггса будет равна 775 гигаэлектронвольт (ГэВ), что гораздо больше значения 125 ГэВ, полученного в 2012 году, когда бозон Хиггса был открыт. Тем не менее значение 775 ГэВ являлось неплохой догадкой, особенно если учесть, что Гомер — непрофессиональный изобретатель и делал свои расчеты за четырнадцать лет до того, как специалистам Европейского центра ядерных исследований (CERN) удалось отследить эту неуловимую частицу.
Второе уравнение… придется на какое-то время отложить. Это самая интригующая с математической точки зрения строка, поэтому стоит немного подождать, чтобы проанализировать ее более тщательно.
Третье уравнение касается плотности Вселенной, которая определяют ее судьбу. Если Ω(t0) будет больше 1, как сначала написал Гомер, то Вселенная в конце концов взорвется под собственным весом. Для того чтобы продемонстрировать это космическое событие на местном уровне, в подвале Гомера — вскоре после того как зрители видят это уравнение — происходит небольшой взрыв.
Затем Гомер меняет знак неравенства, превращая уравнение Ω(t0) > 1 в Ω(t0) < 1. С космологической точки зрения новое уравнение подразумевает, что Вселенная будет расширяться вечно, порождая нечто сродни бесконечного космического взрыва. Сюжет отображает и это явление, и как только Гомер меняет знак неравенства, в подвале происходит мощный взрыв.
Четвертая строка на доске представляет собой последовательность четырех математических рисунков, показывающих, как пончик превращается в сферу. Эта строка относится к области математики под названием «топология». Для того чтобы понять суть рисунков, необходимо знать, что согласно правилам топологии квадрат и круг идентичны. Их считают гомеоморфными, или топологическими близнецами, поскольку квадрат, нарисованный на резиновом листе, можно растянуть и превратить в круг. На самом деле топологию иногда называют «геометрией на резиновом листе».
Топологов не интересуют углы и расстояния: очевидно, что в процессе растягивания резинового листа они меняются. Но их волнуют более фундаментальные свойства. Например, фундаментальное свойство буквы А — что она, по сути, представляет собой петлю с двумя ножками. Буква R — тоже петля с двумя ножками. Следовательно, буквы A и R гомеоморфны, так как букву A, нарисованную на резиновом листе, можно преобразовать в букву R посредством соответствующего растягивания
Однако никакое растягивание не поможет превратить букву A в букву H ввиду того, что эти буквы принципиально отличаются друг от друга: A состоит из одной петли и двух ножек, а H вообще не имеет петель. Единственный способ превратить букву A в H — разрезать резиновый лист у верхушки A, что разомкнет петлю. Однако в топологии разрезание запрещено.
Принципы геометрии на резиновом листе можно расширить на три измерения, что объясняет остроту, будто тополог — это тот, кто не видит разницы между пончиком и кофейной чашкой. Другими словами, у кофейной чашки одно отверстие, образованное ручкой, и у пончика одно отверстие, прямо посередине. Следовательно, кофейную чашку, сделанную из эластичной глины, можно растянуть и скрутить в форме пончика. Это и делает их гомеоморфными.
Напротив, пончик невозможно превратить в сферу, поскольку в ней нет отверстий, и никакое растягивание, сжатие и скручивание не помогут удалить дыру, которая является неотъемлемой частью пончика. В действительности тот факт, что пончик отличается от сферы в топологическом смысле, — доказанная математическая теорема. Тем не менее каракули Гомера на доске говорят о том, что ему будто бы удалось совершить невозможное, так как рисунки отображают успешную трансформацию пончика в сферу. Но как?
Хотя в топологии разрезание запрещено, Гомер решил, что откусывание вполне приемлемо. В конце концов, исходный объект — пончик, так кто же удержится от соблазна немного от него откусить? Если откусить от пончика несколько кусочков, он будет похож на банан, который можно превратить в сферу посредством стандартного растягивания, сжатия и скручивания. По всей вероятности, профессиональные топологи пришли бы в ужас от того, что их любимая теорема превратилась в пепел, но согласно личным правилам топологии Гомера, пончик и сфера идентичны. Возможно, корректнее было бы назвать их не гомеоморфными, а гомероморфными.
* * *
Вторая строка на доске Гомера, пожалуй, самая интересная, поскольку она содержит такое равенство:
398712 + 436512 = 447212
На первый взгляд уравнение выглядит безобидным, если только вы не знаете кое-что из истории математики, — иначе вы с отвращением разобьете в щепки свою логарифмическую линейку. Похоже, Гомеру удалось совершить невозможное — найти решение знаменитой загадки последней теоремы Ферма!
Пьер Ферма предложил эту теорему в 1637 году. Несмотря на то что Ферма был любителем, решавшим задачи исключительно в свободное время, он является одним из величайших математиков в истории. Ферма работал в уединении в своем доме на юге Франции, и его единственным математическим компаньоном была книга под названием Arithmetica, написанная Диофантом Александрийским в третьем веке нашей эры. Читая этот древнегреческий текст, Ферма обратил внимание на раздел со следующим уравнением:
x2 + y2 = z2
Хотя это уравнение имеет непосредственное отношение к теореме Пифагора, Диофанта не интересовали треугольники и длины их сторон. Вместо этого он поставил перед читателями задачу решить его в целых числах. Ферма уже был знаком с методами поиска таких решений, кроме того, он знал, что у этого уравнения их бесконечное множество. К числу этих решений, которые называют «пифагоровыми тройками», относятся следующие:
32 + 42 = 52
52 + 122 = 132
1332 + 1562 = 2052
Поскольку загадка Диофанта показалась Ферма скучной, он решил проанализировать ее другой вариант и найти целые решения такого уравнения:
x3 + y3 = z3
Несмотря на все усилия, Ферма удалось найти только тривиальные решения с участием нуля, такие как 03 + 73 = 73. При попытке отыскать более содержательные решения самым лучшим, что он смог предложить, было уравнение, отличающееся от искомого всего на единицу: 63 + 83 = 93 – 1.
Более того, при дальнейшем увеличении степени, в которую возводятся x, y и z, попытки найти целые решения каждый раз заканчивались ничем. Ферма пришел к выводу, что целочисленных решений для любого из следующих уравнений нет:
x3 + y3 = z3
x4 + y4 = z4
x5 + y5 = z5
x6 + y6 = z6
xn + yn = zn, где n > 2
Однако в конце концов Ферма совершил прорыв. Он не нашел множества чисел, которые стали бы решением одного из этих уравнений, но зато сформулировал доказательство того, что такого решения не существует, и в связи с этим набросал на полях «Арифметики» пару интригующих предложений на латыни. Начав с утверждения о том, что целочисленных решений любого из бесконечного множества упомянутых выше уравнений нет, затем он уверенно прибавил: «Cuius rei demonstrationem mirabilem sane detexi, hanc marginis exiguitas non caperet» («Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него»).
Пьер Ферма нашел доказательство, но не удосужился его записать. Пожалуй, это самая удручающая запись за всю историю математики, особенно учитывая тот факт, что Ферма унес свой секрет в могилу.
Впоследствии сын Ферма Клемент-Самуэль обнаружил отцовский экземпляр «Арифметики» и обратил внимание на эту интригующую заметку на полях. Кроме того, он нашел в книге еще много ценных записей, ведь Ферма имел привычку, заявив об очередном доказательстве, редко записывать его. Клемент-Самуэль решил опубликовать новую редакцию «Арифметики» со всеми заметками своего отца, сделанными на полях первого издания, и она вышла в 1670 году. Это оживило математическое сообщество, пробудив у его представителей острое желание найти отсутствующие доказательства, связанные с каждым заявлением Ферма. И, надо сказать, постепенно они подтвердили правоту Ферма во всех случаях, кроме одного. Никто не смог доказать, что уравнение xn + yn = zn (n > 2) не имеет решений. В итоге его назвали «последняя теорема Ферма», поскольку оно было единственным, остающимся недоказанным.
Шли десятилетия, а теорема Ферма так и оставалась загадкой, над решением которой бились многие математики, считая это делом чести. Например, немецкий промышленник Пауль Вольфскель, умерший в 1908 году, завещал 100 000 марок (в наше время эта сумма эквивалентна 1 миллиону долларов) в качестве вознаграждения тому, кто все же расколет этот крепкий орешек. По некоторым свидетельствам, Вольфскель не выносил свою жену и других членов семьи, поэтому его завещание должно было унизить их и воздать должное математике — предмету, который он обожал. Другие утверждают, что премия стала способом выражения благодарности Ферма за то, что в период, когда Вольфскель был на грани самоубийства, увлеченность этой теоремой наполнила его жизнь смыслом.
Какими бы ни были мотивы, премия Вольфскеля привлекла к теореме всеобщее внимание, и со временем она даже стала частью массовой культуры. В рассказе The Devil and Simon Flagg («Саймон Флэгг и дьявол»), написанном Артуром Порджесом в 1954 году, титульный герой заключает с дьяволом фаустовский договор. Единственная надежда Саймона Флэгга на спасение души — задать дьяволу вопрос, на который тот не сможет ответить, поэтому он предлагает доказать последнюю теорему Ферма. Признав свое поражение, дьявол говорит: «Вы знаете, даже лучшие математики других планет — а они намного опередили вас — не добились решения. Эх, один малый на Сатурне, чем-то напоминающий гриб на ходулях, решает в уме дифференциальные уравнения в частных производных. Но тут и он спасовал».
Последняя теорема Ферма упоминается также в романах (таких как The Girl Who Played with Fire), художественных фильмах (например, Bedazzled с участием Брендана Фрейзера и Элизабет Херли) и спектаклях («Аркадия» Тома Стоппарда). Пожалуй, самый известный пример — ее появление в 1989 году в сериале «Звездный путь: следующее поколение», когда в эпизоде «Отель “Рояль”» капитан Жан-Люк Пикар говорит о теореме Ферма как о «загадке, которую мы можем никогда не разгадать». Однако он ошибался, а его сведения устарели, потому что действие эпизода происходит в XXIV веке, а теорему в 1995 году доказал Эндрю Уайлс из Принстонского университета.
Уайлс мечтал решить теорему Ферма с десяти лет. Он был одержим этой идеей на протяжении трех десятилетий, а последние семь лет работал в обстановке полной секретности и в конце концов предоставил доказательство того, что уравнение xn + yn = zn (n > 2) не имеет решений. Когда его опубликовали, оказалось, что оно занимает 130 страниц плотного математического текста. Это интересно отчасти потому, что иллюстрирует огромный масштаб достижения Уайлса, а еще потому, что его логические рассуждения слишком сложны, чтобы ими можно было оперировать в XVII столетии. В действительности Уайлс использовал столько современных инструментов и методик, что его доказательство теоремы Ферма не может быть тем подходом, который имел в виду сам Ферма.
Именно этот момент упоминался в 2010 году в телесериале BBC «Доктор Кто». В эпизоде «Одиннадцатый час» Мэтт Смит дебютирует в качестве регенерированного одиннадцатого Доктора, который должен доказать свою компетентность группе гениев, чтобы убедить их в необходимости принять его совет и спасти мир. Увидев, что эксперты уже готовы ему отказать, Доктору Кто говорит: «Да, я знаю, вы должны меня отключить, но прежде взгляните на это. Теорема Ферма. Доказательство. Я имею в виду — настоящее. Его никогда еще не видели». Другими словами, Доктор неявно признает факт существования доказательства Уайлса, но совершенно обоснованно не принимает его в качестве доказательства Пьера Ферма, которое считает «настоящим». Возможно, Доктор вернулся в XVII век и получил его у самого Ферма.
Итак, давайте подытожим. В XVII столетии Пьер Ферма утверждает, что у уравнения xn + yn = zn (n > 2) нет решения в целых числах. В 1995 году Эндрю Уайлс находит этому доказательство и подтверждает заявление Ферма. В 2010 году Доктор Кто раскрывает настоящее доказательство Ферма. Все сходятся во мнении, что данное уравнение не имеет решений.
Таким образом, в эпизоде «Волшебник Вечнозеленой аллеи» Гомер как будто бросает вызов величайшим умам четырех столетий. Ферма, Уайлс и даже Доктор Кто считают, что уравнение Ферма нерешаемо, но Гомер все же пишет на доске следующее:
398712 + 436512 = 447212
Вы можете проверить это уравнение сами с помощью калькулятора. Возведите число 3987 в двенадцатую степень. Прибавьте 4365 в двенадцатой степени. Возьмите корень двенадцатой степени из результата — и получите число 4472.
Во всяком случае именно такое число выдаст калькулятор, экран которого рассчитан только на десять разрядов. Однако если у вас есть более точный калькулятор, отображающий двенадцать или более цифр, то вы увидите иной ответ. Фактическое значение третьего члена уравнения ближе к следующему значению:
398712 + 436512 = 4472,000000007057617187512
Так что же происходит? Уравнение Гомера — это так называемое самое близкое решение уравнения Ферма. То есть числа 3987, 4365 и 4472 очень близки к тому, чтобы удовлетворять уравнению Ферма, причем настолько близки, что погрешность практически незаметна. Тем не менее в математике решение либо есть, либо его нет. Самое близкое решение — это, по большому счету, вообще не решение, а значит, последняя теорема Ферма так и остается неопровергнутой.
Дэвид Коэн включил эту математическую шутку в сценарий в расчете на тех зрителей, которые оказались достаточно внимательными, чтобы заметить уравнение, и достаточно осведомленными, чтобы понять связь с теоремой Ферма. Доказательство Уайлса было опубликовано за три года до выхода этого эпизода в эфир в 1998 году, так что Коэн прекрасно знал, что теорему Ферма удалось одолеть. В каком-то смысле он даже имел к этому отношение, поскольку во время учебы в Калифорнийском университете в Беркли посещал лекции Кена Рибета, а именно Рибет предоставил Уайлсу важнейший инструмент для доказательства теоремы Ферма.
Безусловно, Коэну было известно, что теорема Ферма не имеет решений, но он хотел отдать дань уважения Пьеру де Ферма и Эндрю Уайлсу, отыскав настолько близкое к правильному решение, что оно проходило тест на простом калькуляторе. Для того чтобы найти это псевдорешение, Коэн написал компьютерную программу, которая анализировала значения x, y и z до тех пор, пока не отыскала максимально точное решение из возможных. В конце концов Коэн остановился на уравнении 398712 + 436512 = 447212, так как погрешность была мизерной: левая часть уравнения всего на 0,000000002 процента больше правой части.
Как только эпизод вышел в эфир, Коэн начал просматривать интернет-форумы в поисках информации о том, заметил ли кто-нибудь его шутку. И со временем нашел сообщение, в котором было сказано: «Я знаю, что это, по всей видимости, опровергает теорему Ферма, но я проверил эти цифры на калькуляторе, и они оказались правильными. Что, черт возьми, здесь происходит?»
Коэн был рад, что начинающих математиков во всем мире заинтриговал этот математический парадокс: «Я был просто счастлив, поскольку стремился получить решение, достаточно точное, чтобы калькуляторы сказали людям, что это уравнение работает».
Дэвид Коэн очень гордится своей доской в эпизоде «Волшебник Вечнозеленой аллеи». В действительности все интересные фрагменты, которые он включил в «Симпсонов» за эти годы, доставляют ему огромное удовлетворение: «Я получаю от этого настоящее удовольствие. Работая на телевидении, вполне можно не испытывать гордости за то, что вы делаете, потому что это способствует моральному разложению общества. Поэтому когда мы получаем возможность повысить уровень дискуссии (в частности, прославить математику), это компенсирует те дни, когда я пишу примитивные шутки».
