И вот однажды ее озарила догадка, что за доказательствами и формулами, которым учат в школе, стоит какая-то несокрушимая логика. Эта догадка привела ее к стеллажу с пособиями по математике в университетском книжном магазине. Но лишь когда она добралась до «Измерений в математике», перед ней открылся новый мир. Оказалось, что математика — это логическая головоломка с бесчисленными вариантами решений, множество загадок, которые можно разгадать. Арифметические примеры здесь далеко не главное. Пятью пять всегда будет двадцать пять. Вся соль в том, чтобы понять, как построены различные правила, позволяющие решить любую математическую задачу.

Книга «Измерения в математике» не была собственно учебником математики. Этот огромный, в тысячу двести страниц толщиной, кирпич повествовал об истории данной отрасли знания, начиная от древних греков и кончая современными попытками освоить сферическую астрономию. Данный труд был своего рода математической библией, по значению для серьезных математиков равным «Арифметике» Диофанта. [12] Впервые раскрыв на террасе гостиницы с видом на Гранд Анс Бич «Измерения в математике», Лисбет окунулась в волшебный мир чисел, описанный прекрасным педагогом, который умел заинтересовать читателя то занимательным анекдотом, то неожиданной проблемой. По этой книге Лисбет могла проследить развитие математики от трудов Архимеда до достижений современной калифорнийской лаборатории ракетных двигателей «Джет пропалшн». Она поняла методы, какими они решали свои проблемы.

Теорема Пифагора (х2 + у2 = z2), сформулированная примерно за пятьсот лет до начала нашей эры, стала для нее целым открытием. Лисбет вдруг поняла смысл того, что когда-то просто запомнила в старших классах на одном из немногих занятий, на которых присутствовала. В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов. Ее восхитило открытое Евклидом примерно в трехсотом году до нашей эры правило, что совершенное число всегда является произведением двух чисел, из которых одно служит какой-либо степенью числа 2, а другое представляет собой разность между следующей степенью числа 2 и единицей. Это было уточнением формулы Пифагора, и она поняла, что тут возможно огромное количество комбинаций.

Данный ряд Лисбет могла продолжать до бесконечности, не встретив ни одного числа, которое не соответствовало бы приведенному правилу. Эта логика отвечала ее принципам понимания мира. Она бодро проработала Архимеда, Ньютона, Мартина Гарднера и еще дюжину математических классиков.

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

Теорема Ферма производила обманчивое впечатление простой задачки.

Пьер де Ферма родился в 1601 году в юго-западной части Франции в Бомон-де-Ломань. Удивительно, что он был даже не математиком, а государственным чиновником, математикой же занимался в свободное время, ради собственного удовольствия. Правда, он считается одним из самых талантливых математиков-самоучек всех времен. Точно так же, как Лисбет Саландер, он обожал решать ребусы и загадки. Особенно ему нравилось подшучивать над другими математиками, предлагая им задачки и намекая, будто бы в них уже скрыто решение. Философ Рене Декарт наделил его весьма уничижительным эпитетом, английский же коллега Джон Уоллис называл его «этот проклятый француз».

В 1630 году вышел перевод «Арифметики» Диофанта, где давался полный свод всех теорий чисел, сформулированных Пифагором, Евклидом и другими античными математиками. Изучая теорему Пифагора, Ферма придумал свою бессмертную, совершенно гениальную задачу. Он создал особый вариант теоремы Пифагора — в формуле (х2 + у2 = z2) он заменил квадрат кубом: (х3 + у3 = z3).

Суть в том, что это уравнение, очевидно, не имело решения в виде целых чисел. Таким образом, Ферма, внеся небольшое изменение академического характера, превратил формулу, имеющую бесконечное множество решений, в тупиковую задачу, не имеющую никакого решения. Тем самым Ферма утверждал, что в бесконечном мире чисел нельзя найти ни одного целого числа, куб которого был бы равен сумме двух кубов, и что это правило справедливо для чисел всех степеней, кроме второй, то есть для всех, за исключением теоремы Пифагора.

Очень скоро все математики согласились с тем, что дело обстоит именно так. Путем проб и ошибок они убедились в том, что невозможно найти ни одного числа, опровергающего утверждение Ферма. Проблему составляло то, что они не смогли бы проверить все существующие числа (ведь их количество бесконечно), продолжай они считать хоть до скончания века, а следовательно, нельзя со стопроцентной уверенностью утверждать, что уже следующее число не опровергнет теорему Ферма. Требовалось найти способ строго доказать это положение и выразить его общезначимой и математически корректной формулой. Математикам нужно было отыскать решение, с которым можно выйти на трибуну и сказать: «Дело обстоит так, потому что…»

По своему обыкновению, Ферма дал коллегам небольшую подсказку. На полях своего экземпляра «Арифметики» этот гений нацарапал условия задачи и приписал в конце несколько строчек, обретших в математике бессмертие: «Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiquitas non caperet». [13]

Если он хотел привести своих коллег в ярость, то не нашел бы ни одного способа сделать это успешнее. Начиная с 1637 года каждый уважающий себя математик посвящал какую-то, иногда весьма значительную, часть своего времени попытке отыскать доказательство теоремы Ферма. Несколько поколений мыслителей потерпели неудачу, пока наконец Эндрю Уайлс не добился успеха, представив в 1993 году доказательство. Он думал над этой загадкой двадцать пять лет, из которых последние десять посвящал ей почти все свое время.