В 1630 году вышел перевод «Арифметики» Диофанта, где давался полный свод всех теорий чисел, сформулированных Пифагором, Евклидом и другими античными математиками. Изучая теорему Пифагора, Ферма придумал свою бессмертную, совершенно гениальную задачу. Он создал особый вариант теоремы Пифагора — в формуле (х>2 + у>2 = z>2) он заменил квадрат кубом: (х>3 + у>3 = z>3).
Суть в том, что это уравнение, очевидно, не имело решения в виде целых чисел. Таким образом, Ферма, внеся небольшое изменение академического характера, превратил формулу, имеющую бесконечное множество решений, в тупиковую задачу, не имеющую никакого решения. Тем самым Ферма утверждал, что в бесконечном мире чисел нельзя найти ни одного целого числа, куб которого был бы равен сумме двух кубов, и что это правило справедливо для чисел всех степеней, кроме второй, то есть для всех, за исключением теоремы Пифагора.
Очень скоро все математики согласились с тем, что дело обстоит именно так. Путем проб и ошибок они убедились в том, что невозможно найти ни одного числа, опровергающего утверждение Ферма. Проблему составляло то, что они не смогли бы проверить все существующие числа (ведь их количество бесконечно), продолжай они считать хоть до скончания века, а следовательно, нельзя со стопроцентной уверенностью утверждать, что уже следующее число не опровергнет теорему Ферма. Требовалось найти способ строго доказать это положение и выразить его общезначимой и математически корректной формулой. Математикам нужно было отыскать решение, с которым можно выйти на трибуну и сказать: «Дело обстоит так, потому что…»
По своему обыкновению, Ферма дал коллегам небольшую подсказку. На полях своего экземпляра «Арифметики» этот гений нацарапал условия задачи и приписал в конце несколько строчек, обретших в математике бессмертие: «Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiquitas non caperet».>[13]
Если он хотел привести своих коллег в ярость, то не нашел бы ни одного способа сделать это успешнее. Начиная с 1637 года каждый уважающий себя математик посвящал какую-то, иногда весьма значительную, часть своего времени попытке отыскать доказательство теоремы Ферма. Несколько поколений мыслителей потерпели неудачу, пока наконец Эндрю Уайлс не добился успеха, представив в 1993 году доказательство. Он думал над этой загадкой двадцать пять лет, из которых последние десять посвящал ей почти все свое время.
Лисбет Саландер была в полном недоумении.
Ответ как таковой ее, в сущности, не интересовал. Главным для нее был поиск решения. Если ей задали головоломную загадку, она ее решит. У нее ушло много времени на то, чтобы понять логический принцип и разгадать тайну чисел, однако она всегда находила правильный ответ, не подсматривая его в конце учебника.