Еще в юности Гаусс получил в подарок книгу, в которой содержался список нескольких миллиардов простых чисел, возможно полученных с помощью инструмента, напоминающего решето Эратосфена. Гаусс заметил, что числа появляются без всякой системы. Казалось почти невозможным определить порядок их распределения, или формулу, которая позволила бы находить их в бесконечном множестве натуральных чисел. Ученый, который смог определить орбиту небесных тел на основе немногих наблюдений, решил принять вызов. Мысль о том, что математики не могли найти правила распределения простых чисел, подхлестывала разум Гаусса. Он должен был найти порядок и регулярность там, где, казалось, есть только хаос.
Любой глупец может задавать вопросы о простых числах, на которые не сможет ответить и самый умный человек.
Годфри Харолд Харди (1877-1947) о простых числах
Люди пытались понять простые числа в течение поколений, и за это время были сделаны интересные наблюдения. Например, существует гипотеза, согласно которой можно найти бесконечное число простых чисел-близнецов (разделенных двумя единицами), то есть если р — простое число, таким же является р + 2. Пары простых чисел-близнецов находили среди очень больших чисел, таких как пара 1000 037 и 1000 039. Евклид более двух тысяч лет назад доказал, что существует бесконечное количество простых чисел, но никто не знает, есть ли число, после которого больше нет пар соседних простых чисел. В математике одно дело — гипотезы, и совсем другое — теоремы, отделенные от гипотез пропастью доказательства. Именно поэтому математическое доказательство — фундаментальная основа прогресса этой науки.
Одним из первых вопросов, которым занялись математики, было нахождение формул, дававших бы бесконечный ряд простых чисел. Ферма думал, что нашел одну из таких формул: его идея состояла в том, чтобы прибавлять 1 к особому типу степеней числа 2. Согласно Ферма, числа вида 2²>n +1 (где n — натуральное число), которые мы обозначим F>n и будем называть простыми числами Ферма или просто числами Ферма, всегда простые. Для малых степеней она работает: при n = 1 получаем 5, при n = 2 получаем 17. Ферма был убежден, что его формула всегда даст простое число, но у него не было возможностей проверить свою догадку экспериментально, поскольку числа быстро росли, и вычисления становились невозможными. Однако в этот раз интуиция его подвела. Пятое простое число Ферма, состоящее из десяти цифр, которое он не смог вычислить, уже не простое, поскольку делится на 641, как доказал Эйлер. После вычисления этого контрпримера интуитивное предположение Ферма перестало быть гипотезой и оказалось просто ложным предположением. Именно поэтому некоторые авторы избегают называть такие числа простыми числами Ферма и говорят о них просто как о числах Ферма.