(1601–1665), тулузского судьи и страстного математика-любителя, исписавшего поля всех ее страниц своими комментариями. В частности, рядом с разделом, где говорилось о Пифагоровых тройках — любых натуральных числах
а, b и
с, таких что
а>2 +
b>2 =
с>2 (например, 3, 4 и 5), — Ферма отметил, что невозможно подобрать такие значения
а,
b и
с, чтобы выполнялось равенство
а>3 +
b>3 =
с>3. Не смог он найти и значения
а, b и
с, для которых было бы верно
а>4 +
b>4 =
с>4. В результате Ферма написал — там же, на полях «Арифметики», — что для всякого числа
n, превышающего 2, невозможно найти значения
а, b и
с, которые удовлетворяли бы уравнению
а>n +
b>n =
c>n. «У меня имеется поистине чудесное доказательство, однако эти поля слишком узки для него», — написал он. Ферма так и не представил своего доказательства — чудесного или уж как получится, — даже когда узость полей его более не стесняла. Заметки Ферма на полях «Арифметики» отчасти указывают на то, что доказательство ему было известно, или же он сам уверовал, что его знает, а может, просто решил подзадорить публику. Во всяком случае, его нахальное заявление оказалось невероятной силы приманкой для многих поколений математиков, а само утверждение, вошедшее в науку как Великая теорема Ферма, оставалось самой знаменитой нерешенной задачей в математике до 1995 года, когда ее наконец продавил британец Эндрю Уайлс. Алгебра бывает обманчиво скромной в подобных ситуациях — она позволяет легко сформулировать задачу, которую решить оказывается совсем не легко. Вот и доказательство теоремы Ферма, предложенное Уайлсом, столь сложно, что, судя по всему, его понимают не более пары сотен человек во всем мире.
* * *
Прогресс в математических обозначениях сделал возможным открытие новых концепций. Невероятно важным изобретением стали логарифмы, придуманные в начале XVII столетия выдающимся шотландским математиком Джоном Непером (1550–1617) — бароном, восьмым лэрдом Мерчинстона, который, впрочем, прижизненно был куда более знаменит своими работами по теологии. Непер написал имевшую огромный успех книгу — толкование Апокалипсиса, — где утверждал, что папа есть Антихрист, и предсказывал, что конец света наступит между 1688 и 1700 годами. По вечерам он любил облачаться в длинное платье и разгуливать за пределами своего родового замка, что немало способствовало его репутации чародея. Кроме того, он экспериментировал с удобрением почвы на своих обширных владениях близ Эдинбурга, а также предложил несколько изобретений, касающихся военной техники, например металлическую колесницу, движимую находящимися внутри нее воинами, которые будут «поражать врагов во все стороны через маленькие отверстия в корпусе колесницы», и устройства для «плавания под водой, с ныряльщиками и иными хитрыми приспособлениями для внезапного нападения на врага» — предшественников танка и субмарины. Занимаясь математикой, Непер популяризировал применение десятичной запятой, а кроме того предложил идею логарифмов, изобретя и сам термин как производное от греческих слов