должен иметь вид 64n + 1. Таким образом, ему больше не надо было проверять один за другим все простые делители, а только числа 65 (n = 1), 129 (n = 2), 193 (n = 3) и так далее, вычеркивая те, которые простыми не являлись. При n - 10 подсчеты дают 64 -10 + 1 = 641, что является точным делителем.
На сегодняшний день не найдено ни одного другого простого числа Ферма. Все новые, что нам известны,— это составные числа. Было доказано, что начиная с F>5 до F>32 — а это огромное количество — нет ни одного простого числа. Но это не означает, что они никогда не будут обнаружены. Вопрос об их существовании — всего лишь гипотеза, а в математике гипотезы считаются верными или ложными, только если находится их доказательство или опровержение.
КРЕЩЕНИЕ ЧИСЛА
Параллельно с работой над числами Ферма и все так же в рамках обширной переписки с Гольдбахом Эйлер дал имя математической константе, которая, как мы уже говорили в предыдущей главе, впоследствии стала основой его исследований по теории чисел: это постоянная е. Впервые она появилась под таким обозначением в одном из писем 1731 года. Вне всяких сомнений, это самая известная постоянная после л. Ее приблизительное значение следующее:
е=2,71828182845904523536028747135266249775724709369995...
Сегодня известно более триллиона знаков е после запятой. Хотя Эйлер дал постоянной имя и использовал ее в самых разных областях, он не был ее первооткрывателем в строгом смысле этого слова: е появилась гораздо раньше, но под другим именем и "в тайне", как мы увидим ниже.
Число е родом из области логарифмов, как подчеркивал Эйлер. Эта связь, которую мы подробнее рассмотрим в приложении 1, ускользала от математиков на протяжении века. В защиту современников Эйлера можно сказать, что постоянная е с течением времени зарекомендовала себя как особенно неуловимая.
Одним из первых к ней приблизился Грегуар де Сен- Венсан (1584-1667), который в 1647 году обнаружил равностороннюю гиперболу, соответствующую уравнению у - 1/x, ее график в декартовой системе координат изображен на этой странице. Сен-Венсан вычислил площадь между 1 и любой другой точкой t на горизонтальной оси говоря современным языком, это площадь криволинейной трапеции между 1 и t.
Таким образом, получается, что
∫>1>t(1/x)dx = lnt,
и при t = е мы имеем Int - Ine = 1. Следовательно, e равно значению на горизонтальной оси X, для которого площадь, указанная на графике, равна 1. Это определение впоследствии дал ей сам Эйлер, Сен-Венсан же так и не пришел к нему.
Христиан Гюйгенс (1629-1695) тоже не обратил на число е большого внимания, хотя в одном из рассуждений ему пришлось вычислить 17 знаков его десятичного логарифма. Но поскольку он был сконцентрирован на другом вопросе, то также проигнорировал число е.