6 = 21 × (22 − 1)
28 = 22 × (23 − 1)
496 = 24 × (25 − 1)
8128 = 26 × (27 − 1)
Данный ряд Лисбет могла продолжать до бесконечности, не встретив ни одного числа, которое не соответствовало бы приведенному правилу. Эта логика отвечала ее принципам понимания мира. Она бодро проработала Архимеда, Ньютона, Мартина Гарднера и еще дюжину математических классиков.
Затем она добралась до главы о Пьере Ферма. Над его загадкой, теоремой Ферма, она ломала голову целую неделю, что, можно сказать, было не так уж и долго, принимая во внимание то, что теорема Ферма доводила математиков до помешательства на протяжении почти четырехсот лет, пока наконец в 1993 году англичанин Эндрю Уайлс не умудрился ее решить.
Теорема Ферма производила обманчивое впечатление простой задачки.
Пьер де Ферма родился в 1601 году в юго-западной части Франции в Бомон-де-Ломань. Удивительно, что он был даже не математиком, а государственным чиновником, математикой же занимался в свободное время, ради собственного удовольствия. Правда, он считается одним из самых талантливых математиков-самоучек всех времен. Точно так же, как Лисбет Саландер, он обожал решать ребусы и загадки. Особенно ему нравилось подшучивать над другими математиками, предлагая им задачки и намекая, будто бы в них уже скрыто решение. Философ Рене Декарт наделил его весьма уничижительным эпитетом, английский же коллега Джон Уоллис называл его «этот проклятый француз».
В 1630 году вышел перевод «Арифметики» Диофанта, где давался полный свод всех теорий чисел, сформулированных Пифагором, Евклидом и другими античными математиками. Изучая теорему Пифагора, Ферма придумал свою бессмертную, совершенно гениальную задачу. Он создал особый вариант теоремы Пифагора — в формуле (х2 + у2 = z2) он заменил квадрат кубом: (х3 + у3 = z3).
Суть в том, что это уравнение, очевидно, не имело решения в виде целых чисел. Таким образом, Ферма, внеся небольшое изменение академического характера, превратил формулу, имеющую бесконечное множество решений, в тупиковую задачу, не имеющую никакого решения. Тем самым Ферма утверждал, что в бесконечном мире чисел нельзя найти ни одного целого числа, куб которого был бы равен сумме двух кубов, и что это правило справедливо для чисел всех степеней, кроме второй, то есть для всех, за исключением теоремы Пифагора.
Очень скоро все математики согласились с тем, что дело обстоит именно так. Путем проб и ошибок они убедились в том, что невозможно найти ни одного числа, опровергающего утверждение Ферма. Проблему составляло то, что они не смогли бы проверить все существующие числа (ведь их количество бесконечно), продолжай они считать хоть до скончания века, а следовательно, нельзя со стопроцентной уверенностью утверждать, что уже следующее число не опровергнет теорему Ферма. Требовалось найти способ строго доказать это положение и выразить его общезначимой и математически корректной формулой. Математикам нужно было отыскать решение, с которым можно выйти на трибуну и сказать: «Дело обстоит так, потому что…»
По своему обыкновению, Ферма дал коллегам небольшую подсказку. На полях своего экземпляра «Арифметики» этот гений нацарапал условия задачи и приписал в конце несколько строчек, обретших в математике бессмертие: «Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiquitas non caperet».[13]
Если он хотел привести своих коллег в ярость, то не нашел бы ни одного способа сделать это успешнее. Начиная с 1637 года каждый уважающий себя математик посвящал какую-то, иногда весьма значительную, часть своего времени попытке отыскать доказательство теоремы Ферма. Несколько поколений мыслителей потерпели неудачу, пока наконец Эндрю Уайлс не добился успеха, представив в 1993 году доказательство. Он думал над этой загадкой двадцать пять лет, из которых последние десять посвящал ей почти все свое время.
Лисбет Саландер была в полном недоумении.
Ответ как таковой ее, в сущности, не интересовал. Главным для нее был поиск решения. Если ей задали головоломную загадку, она ее решит. У нее ушло много времени на то, чтобы понять логический принцип и разгадать тайну чисел, однако она всегда находила правильный ответ, не подсматривая его в конце учебника.
Поэтому, прочитав теорему Ферма, она взяла лист бумаги и принялась покрывать его рядами цифр. Однако найти доказательство ей не удавалось.
13
«У меня есть воистину замечательное доказательство этого положения, но поля книги слишком узки для того, чтобы оно на них поместилось» (