Второе уравнение… придется на какое-то время отложить. Это самая интригующая с математической точки зрения строка, поэтому стоит немного подождать, чтобы проанализировать ее более тщательно.
Третье уравнение касается плотности Вселенной, которая определяют ее судьбу. Если Ω(t0) будет больше 1, как сначала написал Гомер, то Вселенная в конце концов взорвется под собственным весом. Для того чтобы продемонстрировать это космическое событие на местном уровне, в подвале Гомера – вскоре после того как зрители видят это уравнение – происходит небольшой взрыв.
Затем Гомер меняет знак неравенства, превращая уравнение Ω(t0) > 1 в Ω(t0) < 1. С космологической точки зрения новое уравнение подразумевает, что Вселенная будет расширяться вечно, порождая нечто сродни бесконечного космического взрыва. Сюжет отображает и это явление, и как только Гомер меняет знак неравенства, в подвале происходит мощный взрыв.
Четвертая строка на доске представляет собой последовательность четырех математических рисунков, показывающих, как пончик превращается в сферу. Эта строка относится к области математики под названием «топология». Для того чтобы понять суть рисунков, необходимо знать, что согласно правилам топологии квадрат и круг идентичны. Их считают гомеоморфными, или топологическими близнецами, поскольку квадрат, нарисованный на резиновом листе, можно растянуть и превратить в круг. На самом деле топологию иногда называют «геометрией на резиновом листе».
Топологов не интересуют углы и расстояния: очевидно, что в процессе растягивания резинового листа они меняются. Но их волнуют более фундаментальные свойства. Например, фундаментальное свойство буквы А – что она, по сути, представляет собой петлю с двумя ножками. Буква R – тоже петля с двумя ножками. Следовательно, буквы A и R гомеоморфны, так как букву A, нарисованную на резиновом листе, можно преобразовать в букву R посредством соответствующего растягивания
Однако никакое растягивание не поможет превратить букву A в букву H ввиду того, что эти буквы принципиально отличаются друг от друга: A состоит из одной петли и двух ножек, а H вообще не имеет петель. Единственный способ превратить букву A в H – разрезать резиновый лист у верхушки A, что разомкнет петлю. Однако в топологии разрезание запрещено.
Принципы геометрии на резиновом листе можно расширить на три измерения, что объясняет остроту, будто тополог – это тот, кто не видит разницы между пончиком и кофейной чашкой. Другими словами, у кофейной чашки одно отверстие, образованное ручкой, и у пончика одно отверстие, прямо посередине. Следовательно, кофейную чашку, сделанную из эластичной глины, можно растянуть и скрутить в форме пончика. Это и делает их гомеоморфными.
Напротив, пончик невозможно превратить в сферу, поскольку в ней нет отверстий, и никакое растягивание, сжатие и скручивание не помогут удалить дыру, которая является неотъемлемой частью пончика. В действительности тот факт, что пончик отличается от сферы в топологическом смысле, – доказанная математическая теорема. Тем не менее каракули Гомера на доске говорят о том, что ему будто бы удалось совершить невозможное, так как рисунки отображают успешную трансформацию пончика в сферу. Но как?
Хотя в топологии разрезание запрещено, Гомер решил, что откусывание вполне приемлемо. В конце концов, исходный объект – пончик, так кто же удержится от соблазна немного от него откусить? Если откусить от пончика несколько кусочков, он будет похож на банан, который можно превратить в сферу посредством стандартного растягивания, сжатия и скручивания. По всей вероятности, профессиональные топологи пришли бы в ужас от того, что их любимая теорема превратилась в пепел, но согласно личным правилам топологии Гомера, пончик и сфера идентичны. Возможно, корректнее было бы назвать их не гомеоморфными, а гомероморфными.
* * *
Вторая строка на доске Гомера, пожалуй, самая интересная, поскольку она содержит такое равенство:
3987¹² + 4365¹² = 4472¹²
На первый взгляд уравнение выглядит безобидным, если только вы не знаете кое-что из истории математики, – иначе вы с отвращением разобьете в щепки свою логарифмическую линейку. Похоже, Гомеру удалось совершить невозможное – найти решение знаменитой загадки последней теоремы Ферма!
Пьер Ферма предложил эту теорему в 1637 году. Несмотря на то что Ферма был любителем, решавшим задачи исключительно в свободное время, он является одним из величайших математиков в истории. Ферма работал в уединении в своем доме на юге Франции, и его единственным математическим компаньоном была книга под названием Arithmetica[10], написанная Диофантом Александрийским в третьем веке нашей эры. Читая этот древнегреческий текст, Ферма обратил внимание на раздел со следующим уравнением:
x² + y² = z²
Хотя это уравнение имеет непосредственное отношение к теореме Пифагора, Диофанта не интересовали треугольники и длины их сторон. Вместо этого он поставил перед читателями задачу решить его в целых числах. Ферма уже был знаком с методами поиска таких решений, кроме того, он знал, что у этого уравнения их бесконечное множество. К числу этих решений, которые называют «пифагоровыми тройками», относятся следующие:
3² + 4² = 5²
5² + 12² = 13²
133² + 156² = 205²
Поскольку загадка Диофанта показалась Ферма скучной, он решил проанализировать ее другой вариант и найти целые решения такого уравнения:
x³ + y³ = z³
Несмотря на все усилия, Ферма удалось найти только тривиальные решения с участием нуля, такие как 0³ + 7³ = 7³. При попытке отыскать более содержательные решения самым лучшим, что он смог предложить, было уравнение, отличающееся от искомого всего на единицу: 6³ + 8³ = 9³ − 1.
Более того, при дальнейшем увеличении степени, в которую возводятся x, y и z, попытки найти целые решения каждый раз заканчивались ничем. Ферма пришел к выводу, что целочисленных решений для любого из следующих уравнений нет:
x³ + y³ = z³
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 миллиону долларов) в качестве вознаграждения тому, кто все же расколет этот крепкий орешек. По некоторым свидетельствам, Вольфскель не выносил свою жену и других членов семьи, поэтому его завещание должно было унизить их и воздать должное математике – предмету, который он обожал. Другие утверждают, что премия стала способом выражения благодарности Ферма за то, что в период, когда Вольфскель был на грани самоубийства, увлеченность этой теоремой наполнила его жизнь смыслом.
