• Главная
• Контакты
• Нашёл ошибку
• Прислать материал
• Добавить в избранное

Знаете, — признался дьявол, — даже самые лучшие математики на других планетах, а они, должен вам сказать, намного опередили ваших, не решили ее.

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

(А. Порджес. Дьявол и Саймон Флэгг)

Пьер де Ферма родился 20 августа 1601 года в городе Бомон-де-Ломань на юго-западе Франции. Его отец, Доминик Ферма, был состоятельным торговцем кожей, поэтому Пьер имел счастливую возможность получить престижное образование во французском монастыре Грансельва, а затем, в течение некоторого времени учиться в университете Тулузы. Не сохранилось никаких документов, свидетельствующих о том, что юный Ферма проявил блестящие способности к математике.

Под давлением семьи Ферма поступил на гражданскую службу и в 1631 году был назначен советником парламента Тулузы (conseiller au Parlement de Toulouse) — заведующим отдела прошений. Если местные жители хотели подать петицию королю по любому вопросу, то сначала им было нужно убедить Ферма и его коллег в важности причин, вынуждающих подавать петицию. Советники осуществляли живую связь между провинцией и Парижем. Помимо этого они были обязаны следить за тем, чтобы в провинциях исполнялись королевские указы, издававшиеся в столице. Ферма плодотворно трудился на своем посту и, судя по всем отзывам, выполнял свои обязанности прилежно, а к просителям относился доброжелательно.

Кроме того, в обязанности Ферма входил разбор судебных дел. Он занимал достаточно высокий пост для того, чтобы ему поручали ведение наиболее серьезных дел. Оценку его деятельности мы находим в записках английского математика Кенельма Дигби, которому понадобилось по некоторому делу навестить Ферма. В письме к их общему коллеге — Джону Валлису — Дигби сообщает, что их французский коллега чрезвычайно занят неотложными судебными делами, и намеченная встреча не представляется возможной.

«Правда, — пишет Дигби, — меня угораздило прибыть именно в тот день, когда судьи из Кастра собираются в Тулузе, где он [Ферма] исполняет обязанности Главного судьи Суверенного суда парламента, и с тех пор он занят самыми крупными делами огромной важности. Слушание одного из дел завершилось вынесением Ферма приговора, который наделал много шума. Речь шла об осуждении священника, дурно исполнявшего свои обязанности и приговоренного к сожжению на эшафоте. Тем дело и закончилось. Приговор был приведен в исполнение».

Ферма регулярно переписывался с Дигби и Валлисом. Как мы увидим далее, эти письма часто были довольно сухими, но они позволяют заглянуть в повседневную жизнь Ферма, в том числе и в его математические изыскания.

Ферма быстро продвигался по ступеням служебной лестницы и вошел в круг знати, о чем свидетельствует небольшая частица «де», появившаяся перед его именем: Пьер де Ферма. Успешная карьера Ферма связана не столько с его честолюбивыми устремлениями, сколько с его здоровьем. В то время в Европе свирепствовала чума, и те, кто выживал, поднимались по служебной лестнице, занимая места умерших. В 1652 году настал черед и самого Ферма: он тоже заболел чумой и был настолько плох, что его друг Бернар Медон даже известил нескольких коллег о кончине Ферма. Но вскоре Медон исправил свою ошибку в письме к голландцу Николасу Хайнсиусу: «Ранее я сообщил Вам о кончине Ферма. Но он все еще жив, и мы более не опасаемся его смерти, хотя еще совсем недавно считали его среди мертвых. Чума более не свирепствует между нами».

Помимо риска, которому во Франции XVII века подвергалось его здоровье, Ферма было необходимо выживать в условиях политических опасностей. Его назначение в парламент Тулузы последовало ровно через три года после того, как кардинал Ришелье стал премьер-министром Франции. Это был век заговоров и интриг, и каждый, кто был вовлечен в управление государством даже на провинциальном уровне, должен был с особой осторожностью следить за тем, чтобы не оказаться в хитросплетении махинаций кардинала.

Ферма избрал стратегию неукоснительного исполнения возложенных на него обязанностей и не беспокоился о себе. У него не было особых политических амбиций, и он делал все от него зависящее, чтобы по возможности оставаться в стороне от кипения парламентских страстей. Всю энергию, которую ему удавалось сохранить после исполнения служебных обязанностей, Ферма отдавал математике, и, когда не нужно было приговаривать священников к сожжению на эшафоте, Ферма с наслаждением предавался своему увлечению. По существу, Ферма был истинным ученым-любителем, человеком, которого Э.Т. Белл назвал «князем любителей». Но математический талант его был столь велик, что Джулиан Кулидж в своей книге «Математика великих любителей» исключил Ферма из числа любителей на том весьма веском основании, что тот «был настолько велик, что должен считаться профессионалом».

В начале XVII века математика еще только оживала после мрачного Средневековья, и занятия этой наукой в глазах общества котировались не очень высоко. Соответственно, отношение к математикам было лишено должного уважения, и многим математикам приходилось своими силами добывать средства для занятий любимой наукой. Например, Галилей не смог изучать математику в Пизанском университете и был вынужден искать себе частного преподавателя. Единственное учебное заведение в Европе, где математиков активно поощряли, был Оксфордский университет, учредивший в 1619 году Савильянскую кафедру геометрии. По правде сказать, математики XVII века в большинстве своем были любителями, но Ферма был особым случаем. Живя вдали от Парижа, он был изолирован даже от того небольшого математического сообщества которое тогда существовало (а в него входили такие фигуры, как Паскаль, Гассенди, Роберваль, Богран и отец Марен Мерсенн).

Отец Мерсенн внес небольшой вклад в теорию чисел, и тем не менее в истории математики XVII века он сыграл более важную, хотя и неоднозначную, роль, чем его более признанные и почитаемые коллеги. После вступления в 1611 году в орден минимов Мерсенн изучал математику, а затем преподавал этот предмет другим монахам и монахиням в монастыре ордена в Невере. Восемью годами позже Мерсенн переезжает в Париж и присоединяется к ордену Миним дель'Анносиад, неподалеку от Пале Ройяль — места, где, конечно же, собирались интеллектуалы. Мерсенн встречался с парижскими математиками, но их нежелание обсуждать научные проблемы с ним и между собой опечалило его.

Замкнутость парижских математиков была традицией, сохранившейся от косситов XVI века. Косситы были знатоками всевозможных вычислений. Купцы и деловые люди прибегали к их услугам для решения сложных задач, возникающих в связи с учетом товаров. Слово «коссит» восходит к итальянскому слову «cosa», означающему «вещь», так как косситы использовали символы для обозначения неизвестных величин, подобно тому, как современные математики обозначают неизвестную величину символом x. Все, кто в ту пору профессионально занимался решением задач, изобретали свои собственные хитроумные методы выполнения вычислений и держали их в тайне, чтобы сохранить свою репутацию единственных в своем роде людей, способных решать задачи того или иного типа.

Исключением был Никколо Тарталья, придумавший метод быстрого решения кубических уравнений. Он сообщил свое открытие Джироламо Кардано и взял с того клятву, что тот никому не откроет доверенную ему тайну. Через десять лет Кардано нарушил свое обещание и опубликовал метод Тартальи в книге «Ars Magna» (Великое искусство). Этот поступок Тарталья никогда не простил Кардано. Он порвал все отношения с Кардано, а последовавшее затем острое публичное разбирательство только укрепило остальных математиков в решимости хранить свои профессиональные тайны. Скрытный характер математических исследований сохранился до конца XIX века, и, как мы увидим в дальнейшем, имеются отдельные примеры, когда математические гении проводили свои исследования в тайне от коллег даже в XX веке.

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

Мерсенн много путешествовал по Франции и далеко за ее пределами, повсюду распространяя вести о последних математических открытиях. В своих странствиях он, в частности, захотел встретиться с Пьером де Ферма, и их встреча, по-видимому, стала единственным контактом тулузского отшельника с другим математиком. Мерсенн оказал на «князя любителей» влияние, уступавшее, возможно, только «Арифметике» Диофанта (сборнику математических трактатов, доставшихся XVII веку в наследие от древних греков). Ферма никогда не расставался с «Арифметикой».

Даже когда от поездок пришлось отказаться, Мерсенн продолжал поддерживать отношения с Ферма и другими математиками, направляя им огромное количество писем. После смерти Мерсенна обнаружилось, что его апартаменты были битком набиты письмами от семидесяти восьми различных корреспондентов.

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

То, что Ферма никогда не раскрывал своих доказательств, вызывало у его коллег чувство горького разочарования. Рене Декарт называл Ферма «хвастуном», а англичанин Джон Валлис называл его «проклятым французом». К несчастью для англичан, Ферма доставляло особое удовольствие разыгрывать своих коллег по ту сторону Ла-Манша.

Помимо удовольствия, которое доставляло Ферма поддразнивание своих коллег, его обыкновение формулировать проблему и скрывать ее решение имело под собой и более практическую мотивацию. Прежде всего оно означало, что Ферма не имел времени подробно излагать полученное им доказательство; он торопился перейти к решению следующей проблемы. Кроме того, такая тактика избавляла Ферма от мелких придирок со стороны ревнивых коллег. Будучи опубликованным, доказательство становится доступным для изучения и критики со стороны всех и каждого, кто хотя бы немного смыслит в предмете. Когда Блез Паскаль стал настаивать на публикации некоторых из работ Ферма, тулузский отшельник возразил: «Какая бы из моих работ ни считалась достойной опубликования, я вовсе не желаю, чтобы мое имя появлялось в печати». Ферма был замкнутым гением, пожертвовавшим славой ради того, чтобы критики не досаждали ему мелочными придирками.

В переписке Ферма с Паскалем (единственный случай, когда Ферма обсуждал идеи с кем-нибудь, кроме Мерсенна) речь шла о рождении нового раздела математики — теории вероятностей. Паскаль ввел математического отшельника в круг проблем новой дисциплины, и поэтому ему, несмотря на пристрастие к уединению, пришлось поддерживать диалог. Совместными усилиями Ферма и Паскаль получили первые доказательства и обнаружили в теории вероятностей незыблемые истины, хотя неопределенность — суть предмета этой теории. Интерес Паскаля к теории вероятностей пробудил профессиональный игрок из Парижа Антуан Гомбо, шевалье де Мере, который поставил перед Паскалем задачу, имевшую отношение к следующей азартной игре. Игроки по очереди бросают игральную кость и замечают, сколько очков выпадает при броске. Выигрывает (и забирает стоящие на кону деньги) тот из игроков, кто первым наберет определенное количество очков.

Гомбо играл в эту игру с партнером, но оба вынуждены были прекратить игру под давлением непредвиденных обстоятельств. Возникла проблема: как разделить деньги, стоявшие на кону? Простое решение состояло бы в том, чтобы всю сумму, стоявшую на кону, забрал тот из партнеров, который успел набрать больше очков, но Гомбо спрашивал у Паскаля, не существует ли более справедливого способа разделить деньги. Паскалю было необходимо вычислить вероятность каждого из партнеров на выигрыш в случае продолжения игры в предположении, что каждый партнер набирал бы последующие очки с одинаковой вероятностью. Деньги, стоявшие на кону, следовало бы поделить пропорционально вычисленным вероятностям.

До XVI века законы вероятности определялись исходя из интуиции и опыта игроков, но Паскаль затеял переписку с Ферма с целью открыть математические правила, которые более точно описывают законы случая. Три столетия спустя Бертран Рассел так прокомментировал этот явный оксиморон: «Как только мы осмеливаемся говорить о законах случая? Разве случай — не антитеза всякому закону?»

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

Задачи теории вероятностей иногда кажутся парадоксальными, потому что математическое решение (правильный ответ) нередко не согласуется с интуицией. Такие провалы интуиции могут показаться удивительными, поскольку «выживание наиболее приспособленного» должно было оказать сильное эволюционное давление на развитие мозга, способного от природы анализировать проблемы теории вероятностей. Можно представить себе наших предков, подкрадывающихся к олененку и решающих, стоит или не стоит им нападать на него. Велик ли риск, что олень бросится защищать свое чадо и нападет на обидчика? С другой стороны, какова вероятность, что представится более удобный случай добыть свежее мясо на обед, если нападение на олененка считать излишне рискованным? Талант к оценке вероятностей должен быть неотъемлемой частью нашей генетической структуры, и тем не менее наша интуиция нередко заставляет нас делать неверные заключения.

Например, в сильнейшем противоречии с интуицией находится задача о вероятности совпадения дней рождения. Представьте себе футбольное поле, на котором находятся 23 человека: игроки двух команд (22 человека) и судья. Какова вероятность, что у двух из них дни рождения совпадают?

Поскольку речь идет о 23 людях, а выбирать приходится из 365 дней, кажется маловероятным, чтобы у кого-нибудь из тех, кто находится на футбольном поле, дни рождения совпали. Если попросить кого-нибудь оценить вероятность совпадения числом, то большинство людей оценят эту вероятность не выше 10 %. В действительности же правильный ответ гласит: чуть выше 50 %. Иначе говоря, если взвешивать на весах теории вероятностей, то вероятность совпадения дней рождения все-таки чуть-чуть больше, чем вероятность того, что никакие два дня рождения не совпадают.

Причина столь высокой вероятности совпадения двух дней рождения заключается в том, что число способов, которыми людей можно разбить на пары, гораздо больше числа самих людей. Если требуется найти совпадающие дни рождения, то необходимо знать не количество людей, а число пар, на которые их можно разбить. Так как число людей на футбольном поле равно 23, то число пар равно 253. Например, первого из находящихся на футбольном поле можно включать в одну пару с любым из 22 других, что дает для начала 22 пары. Второму можно подобрать в пару любого из 21 остальных людей на поле (поскольку мы уже сосчитали второго один раз, когда подсчитывали число пар с участием первого, число пар со вторым следует уменьшить на единицу), и мы получаем еще 20 пар. Продолжая рассуждать так же, мы в итоге получим 253 пары.

То, что вероятность совпадения дней рождения в группе из 23 людей оказывается больше 50 %, противоречит интуиции. Тем не менее с точки зрения математики ответ правильный. Именно на такие «странные», противоречащие интуитивным, представления опираются букмекеры и игроки, используя опрометчивость азартных людей. В следующий раз, когда вам случится быть на заседании или званом обеде, на котором окажется 23 участника, можете заключить пари, что среди присутствующих найдутся два человека, дни рождения которых совпадают. Следует иметь в виду, что в группе из 23 человек вероятность совпадения двух дней рождения лишь слегка превышает 50 %, но с увеличением численности группы вероятность совпадения быстро увеличивается.

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

Паскаль был даже убежден, что мог бы применить свои теории для обоснования веры в Бога. Он утверждал, что «азарт, который испытывает игрок при заключении пари равен произведению той суммы, которую он может выиграть, и вероятности выигрыша». Далее Паскаль утверждал, что возможный выигрыш вечного блаженства обладает бесконечно большой ценностью, а вероятность попасть в царство небесное, если вести добродетельную жизнь, заведомо конечна. Следовательно, по определению Паскаля, религия — игра бесконечно азартная и стоящая того, чтобы в нее играли, так как произведение бесконечно большого потенциального выигрыша на конечную вероятность бесконечно велико.

Разделяя с Паскалем честь быть отцом-основателем теории вероятностей, Ферма по праву может также считаться одним из основателей еще одной области математики — дифференциального исчисления. Дифференциальное исчисление позволяет вычислять скорость изменения, или производную, одной величины относительно другой (например, скорость изменения расстояния относительно времени, известную просто как скорость). Для математиков величины, как правило, абстрактны и неосязаемы, но труды Ферма имели своим следствием подлинный переворот в физике. Математика Ферма позволила физикам лучше понять, что такое скорость, и какова ее связь с другими фундаментальными величинами, такими, как ускорение — скорость изменения скорости относительно времени.

Дифференциальное исчисление оказывает сильное влияние на экономику. Инфляция — это скорость изменения цены, известная как производная цены. Кроме того, экономистов часто интересует скорость изменения инфляции, известная как вторая производная цены. Эти термины часто используются политиками, и математик Хуго Росси однажды заметил: «Осенью 1972 года президент Никсон заявил, что скорость роста инфляции пошла на убыль. Это был первый случай, когда правящий президент использовал третью производную, чтобы увеличить свой шанс на переизбрание».

На протяжении более двух столетий принято было считать, что Исаак Ньютон открыл дифференциальное исчисление независимо от Ферма, не зная о его работах. Но в 1934 году Луис Треншар Мур обнаружил заметку, которая позволила внести в вопрос о приоритете полную ясность и воздать Ферма по заслугам. Ньютон писал, что, разрабатывая дифференциальное исчисление, он опирался на «метод построения касательных месье Ферма». С XVIII века дифференциальное исчисление использовалось для описания закона всемирного тяготения Ньютона и его законов механики, зависящих от расстояния, скорости и ускорения.

Одного лишь участия в создании дифференциального исчисления и теории вероятностей было бы более чем достаточно, чтобы обеспечить Ферма место в зале славы математики, но его величайшее достижение лежит в другой области математики.

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

После смерти Пифагора представление о математическом доказательстве быстро распространилось по всему цивилизованному миру. Два столетия спустя после того, как его Академия сгорела до основания, центр математических исследований переместился из Кротона в город Александрию. В 332 году до н. э., покорив Грецию, Малую Азию и Египет, Александр Македонский решил построить столицу, которая должна была стать самым величественным городом мира. Александрия действительно стала прекраснейшим городом и к тому же, хотя и не сразу, научным центром. Только после смерти Александра Македонского, когда на египетский трон взошел его единоутробный брат Птолемей I, Александрия стала тем местом, где возникло первое в мире высшее учебное заведение — Академия. Математики и другие интеллектуалы, привлеченные репутацией Академии, и, еще в большей степени, Александрийской библиотеки, стали перебираться в культурную столицу Птолемея I.

Замысел создания Библиотеки принадлежал Деметрию Фаларею, непопулярному оратору, который был вынужден бежать из Афин.

После долгих странствий он нашел прибежище в Александрии. Фаларею удалось внушить Птолемею I мысль о том, что следует собрать все великие сочинения, а вслед за книгами в Александрию потянутся и великие умы. Когда в хранилищах Александрийской библиотеки оказались собраны сочинения из Египта и Греции, специальные агенты разъехались в поисках сокровищ знания по Европе и Малой Азии. Ненасытный аппетит собирателей Библиотеки ощущали на себе все, кто посещал в ту пору Александрию: при въезде в город у приезжих отбирали всю литературу и передавали писцам. Со всех сочинений те снимали копии, после чего подлинники отправлялись в Библиотеку, а копии с благодарностью возвращались прежним владельцам книг. Тщательное копирование всех сочинений, оказавшихся в багаже прибывающих в Александрию путешественников, вселяет в современных историков надежду, что где-нибудь в мире на чердаке будет обнаружена копия какого-нибудь великого сочинения, считавшегося утерянным. Так, в 1906 году историк науки Гейберг обнаружил в Константинополе такую рукопись — «Метод», в которой содержалось несколько сочинений Архимеда.

Мечта Птолемея I о постройке сокровищницы знания пережила его самого, и к тому времени, когда на троне сменилось несколько представителей династии Птолемеев, Александрийская библиотека уже насчитывала более 600 000 сочинений. Изучая математику в Александрии, математики могли научиться всему, что было известно в мире, а учили их в Академии самые знаменитые ученые Древнего Мира. Первым главой математического факультета был не кто иной, как сам Евклид.

Евклид родился около 330 года до н. э. Подобно Пифагору, Евклид искал математическую истину ради самой математической истины и не занимался поиском приложений своих работ. Легенда рассказывает, что один ученик спросил Евклида, какая польза от математики, которую он изучает. Закончив урок, Евклид обратился к рабу и, указав на ученика, сказал: «Дай ему обол, ибо он желает иметь пользу от того, что изучает». Вскоре этот ученик был изгнан.

Значительную часть своей жизни Евклид провел за написанием «Начал» — учебника геометрии, имевшего наибольший успех за всю историю человечества. Вплоть до XX века «Начала» были вторым бестселлером после Библии. «Начала» состоят из тринадцати книг, часть которых посвящена изложению результатов исследований самого Евклида, а остальные представляют собой компиляцию всех математических знаний его века. Например, результаты исследований членов пифагорейского братства занимают две книги. За столетия, прошедшие после кончины Пифагора, математики изобрели множество разнообразных логических приемов, применимых в различных обстоятельствах, и Евклид искусно использовал в «Началах» все эти методы. В частности, Евклид применил логическое оружие, известное как reductio ad absurdum, или доказательство от противного. Этот метод вращается вокруг довольно хитроумной идеи: чтобы доказать истинность теоремы, прежде всего необходимо предположить, что эта теорема неверна. Далее математик изучает логические следствия того, что теорема неверна. В каком-то пункте в логической цепочке обнаруживается противоречие (например, выясняется, что 2+2=5). Математика питает непреодолимое отвращение к противоречиям. Отсюда делается заключение, что исходная теорема не может быть неверна, т. е. она истинна.

Английский математик Г.Г. Харди кратко выразил дух доказательства от противного в своей книге «Апология математика»: «Reductio ad absurdum, столь любимое Евклидом, — одно из самых прекрасных орудий математика. Это гораздо более тонкий гамбит, чем любая шахматная партия: шахматист может пожертвовать пешкой или даже какой-нибудь фигурой, но математик жертвует партией».

Одно из наиболее известных доказательств Евклида от противного — доказательство существования так называемых иррациональных чисел. По-видимому, иррациональные числа первоначально были открыты пифагорейцами несколькими столетиями раньше, но понятие иррационального числа вызывало у Пифагора столь сильное отвращение, что он отрицал существование иррациональных чисел.

Когда Пифагор провозгласил, что Вселенной управляют числа, он имел в виду только целые числа и их отношения, называемые рациональными числами. Иррациональное же число не является ни целым, ни дробью, и именно это обстоятельство казалось Пифагору отвратительным. Действительно, иррациональные числа настолько необычны, что их невозможно записать в виде конечных десятичных дробей или бесконечных периодических дробей. Например, такая бесконечная периодическая непрерывная дробь, как 0,111111…, — число весьма и весьма обыкновенное: оно равно дроби 1/9. То, что единица повторяется неограниченно много раз, означает лишь, что данное десятичное число обладает очень простой и регулярной структурой. В свою очередь такая строгая регулярность, несмотря на неоднократное (в действительности — бесконечнократное) повторение, означает, что данную бесконечную десятичную дробь можно записать в виде обыкновенной дроби. Но если вы захотите представить иррациональное число в виде десятичной дроби, то у вас получится бесконечная дробь, структура которой не будет регулярной и сколько-нибудь обозримой.

Для Пифагора идея красоты математики состояла в том, что рациональные числа (целые числа и обыкновенные дроби) позволяют объяснить все явления в природе. Эта путеводная философия ослепила Пифагора, не давая ему увидеть существование иррационального числа и, возможно, даже привела к казни одного из его учеников. Легенда рассказывает о том, что один из учеников Пифагора по имени Гиппас на досуге забавлялся с числом v2, пытаясь найти эквивалентную ему обыкновенную дробь. В конце концов он понял, что такой дроби не существует, т. е. v2 — иррациональное число. Совершив столь важное открытие, Гиппас, должно быть, пришел в неописуемый восторг, чего нельзя было сказать о его учителе. Пифагор определял все происходящее в мире с помощью рациональных чисел, и существование иррациональных чисел ставило под сомнение его идеал. Открытие Гиппаса могло бы повлечь за собой период споров и сомнений, и Пифагору пришлось бы признать новый источник чисел. Но Пифагор не хотел признать свои заблуждения и в то же время не мог разрушить аргументацию Гиппаса силой логики. К своему вечному позору, он приговорил Гиппаса к смерти через утопление.

Отец логики и математического метода прибег к силе, но так и не признал, что был неправ. Это было его самым позорным деянием и, возможно, величайшей трагедией греческой математики. Иррациональные числа обрели «права гражданства» в математике только после смерти Пифагора.

Введение иррациональных чисел означало гигантский прорыв в математике. Математики получили возможность бросить взгляд за пределы целых чисел и обыкновенных дробей, оглядеться и открывать или, быть может, изобретать новые числа. По словам математика XIX века Леопольда Кронекера: «Бог создал целые числа; все остальное дело рук человеческих».

Самым замечательным иррациональным числом по праву считается число ?. В школе его иногда заменяют приближенным значением 31/7 или 3,14. Истинное значение ? ближе к 3,14159265358979323846, но и эта длинная десятичная дробь — не более чем приближение к истинному значению числа ?. В действительности же число ? невозможно точно представить в виде десятичной дроби, так как десятичная дробь получается бесконечной и в распределении цифр нет никакой закономерности. Одна из замечательных особенностей случайного распределения цифр в десятичной записи числа ? заключается в том, что вычислить ее можно с помощью весьма регулярного соотношения:

Вычислив первые несколько членов, вы можете получить весьма грубое приближение к ?, однако последующие вычисления дают довольно хорошее приближение.

Вообще говоря, для вычисления длины окружности Вселенной с точностью до радиуса атома водорода достаточно знание 39 знаков числа ?. Тем не менее, это не мешает специалистам вычислять число ? на компьютере с очень большим количеством знаков. Текущий рекорд принадлежит Ясумасе Канаде из Токийского университета, который в 1996 году вычислил 6 миллиардов знаков десятичного разложения числа ?. Недавно прошел слух о том, что русские по происхождению братья Чудновские из Нью-Йорка вычислили 8 миллиардов знаков десятичного разложения числа ? и намереваются вычислить триллион десятичных знаков. Если Канада или братья Чудновские вознамерились бы продолжать свои вычисления до тех пор, пока их компьютеры не исчерпают всю энергию во Вселенной, то и тогда им не удалось бы найти точное значение числа ?. Нетрудно понять, почему Пифагор настаивал на том, чтобы сведения о существовании столь необычных математических «зверей» оставались достоянием лишь узкого круга посвященных.

Значение числа ? с более чем 1500 знаками

3.14159265358979323846264338327950288419716939937510582

0974944592307816406286208998628034825342117067982148086

5132823066470938446095505822317253594081284811174502841

0270193852110555964462294895493038196442881097566593344

6128475648233786783165271201909145648566923460348610454

3266482133936072602491412737245870066063155881748815209

2096282925409171536436789259036001133053054882046652138

4146951941511609433057270365759591953092186117381932611

7931051185480744623799627495673518857527248912279381830

1194912983367336244065664308602139494639522473719070217

9860943702770539217176293176752384674818467669405132000

5681271452635608277857713427577896091736371787214684409

0122495343014654958537105079227968925892354201995611212

9021960864034418159813629774771309960518707211349999998

3729780499510597317328160963185950244594553469083026425

2230825334468503526193118817101000313783875288658753320

8381420617177669147303598253490428755468731159562863882

3537875937519577818577805321712268066130019278766111959

0921642019893809525720106548586327886593615338182796823

0301952035301852968995773622599413891249721775283479131

5155748572424541506959508295331168617278558890750983817

5463746493931925506040092770167113900984882401285836160

3563707660104710181942955596198946767837449448255379774

7268471040475346462080466842590694912933136770289891521

0475216205696602405803815019351125338243003558764024749

6473263914199272604269922796782354781636009341721641219

9245863150302861829745557067498385054945885869269956909

2721079750930295532116534498720275596023648066549119881

8347977535663698074265425278625518184175746728909777727

938000816470200161452491921732172147723501414419735

Когда Евклид отважился рассмотреть проблему иррациональности в десятом томе «Начал», его цель состояла в том, чтобы доказать существование числа, не представимого в виде обыкновенной дроби. Вместо того, чтобы доказывать иррациональность числа ?, Евклид рассмотрел квадратный корень из двух, v2, — число, которое при умножении на себя дает число 2. Чтобы доказать, что число v2 не представимо в виде обыкновенной дроби, Евклид воспользовался доказательством от противного и предположил, что число v2 представимо в виде обыкновенной дроби. Затем он показал, что эту гипотетическую дробь всегда можно упростить. Упрощение дроби означает, что числитель и знаменатель можно поделить на одно и то же целое число. Например, дробь 8/12 можно упростить, сократив числитель и знаменатель на 2 и превратив ее в дробь 4/6. В свою очередь, дробь 4/6 можно упростить до 2/3, а вот дробь 2/3 уже дальнейшему упрощению не поддается, почему и называется несократимой дробью. Евклид показал, что гипотетическая дробь, по предположению представляющая число v2, может быть упрощаема снова и снова бесконечное число раз, но так и не приводится к несократимому виду. Но это нелепо, так как все дроби приводимы к несократимому виду. Следовательно, гипотетическая дробь не может существовать. Это означает, что число v2 не представимо в виде дроби и, следовательно, иррационально. Ход доказательства Евклида приведен в Приложении 2.

Используя доказательство от противного, Евклид сумел доказать существование иррациональных чисел. До Евклида все числа, с которыми люди имели дело, были представимы как целые числа или обыкновенные дроби, но евклидовы иррациональные числа игнорировали традиционное представление чисел. Не существует иного способа описать число, равное квадратному корню из 2, как записав его в виде v2, поскольку его нельзя представить в виде обыкновенной дроби, а любая попытка записать v2 в виде десятичной дроби не позволяет получить ничего, кроме приближения, например, 1,414213562373…

Хотя Евклид, несомненно, питал интерес к теории чисел, его величайший вклад в математику был сделан в другой области. Истинной страстью Евклида была геометрия, и из тринадцати книг, составляющих «Начала», книги I–VI посвящены планиметрии (двумерной геометрии), а книги XI–XIII — стереометрии. Этот свод геометрических знаний был настолько полным, что содержание «Начал» составляло основу программ по геометрии в школах и университетах на протяжении следующих двух тысяч лет.

Математиком, составившим подобный свод знаний по теории чисел, стал Диофант Александрийский, последний защитник греческой традиции. Хотя достижения Диофанта в теории чисел достаточно задокументированы в его книгах, по существу ничего больше об этом замечательном математике не известно. Не известно, где он родился. В Александрию Диофант мог прибыть в любое время на протяжении «окна», протяженностью в пять веков! В своих сочинениях Диофант цитирует Гипсикла, из чего можно сделать вывод, что Диофант жил после 150 года до н. э.; с другой стороны, труды самого Диофанта цитирует Теон Александрийский, из чего следует, что Диофант жил до 364 года н. э. Разумной обычно считается дата — около 250 года н. э. Достоверно известно лишь своеобразное жизнеописание Диофанта. По преданию, оно было высечено на его надгробии в виде задачи-головоломки, словно специально предназначенной любителям математики:

«Бог ниспослал ему быть мальчиком шестую часть жизни; добавив к сему двенадцатую часть, Он покрыл его щеки пушком; после седьмой части Он зажег ему свет супружества и через пять лет после вступления в брак даровал ему сына. Увы! Несчастный поздний ребенок, достигнув меры половины полной жизни отца, он был унесен безжалостным роком. Через четыре года, утешая постигшее его горе наукой о числах, он [Диофант] завершил свою жизнь».

Требовалось вычислить продолжительность жизни Диофанта. Решение этой задачи приведено в Приложении 3.

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

На протяжении столетий, разделяющих Евклида и Диофанта, Александрия продолжала оставаться интеллектуальной столицей цивилизованного мира, но весь этот период великий город находился под угрозой нападения иностранных армий. Первое крупное нападение произошло в 47 году до н. э., когда Юлий Цезарь предпринял попытку сбросить Клеопатру с трона, предав сожжению александрийский флот. Библиотека, расположенная неподалеку от гавани, сильно пострадала от пожара. Сотни тысяч книг погибли. К счастью для науки, Клеопатра по достоинству ценила значение Библиотеки и решительно вознамерилась восстановить ее в прежней славе. Марк Антоний понял, что путь к сердцу просвещенной царицы лежит через Библиотеку, и пошел маршем на Пергам. В этом городе уже была заложена своя библиотека. Правители города надеялись, что со временем она станет самым богатым книгохранилищем в мире, но Марк Антоний помешал сбыться этим надеждам, отправив все собрание книг в Египет и восстановив тем самым главенство Александрии.

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

Несколько драгоценных экземпляров наиболее важных книг пережили бойню, учиненную христианами, и ученые продолжали наведываться в Александрию в поисках знания. Но в 642 году последовало нападение мусульман. На этот раз поражение потерпели христиане. На вопрос, что делать с Библиотекой, одержавший победу халиф Омар заявил, что книги, противоречащие Корану, должны быть уничтожены как вредоносные, а книги, согласующиеся с Кораном, также должны быть уничтожены как излишние. Рукописи были брошены в печи, которыми отапливались публичные бани, и греческая математика обратилась в дым. Не удивительно, что большая часть «Арифметики» Диофанта оказалась уничтоженной. Следует считать чудом, что шесть книг «Арифметики» смогли уцелеть, пережив трагедию Александрии.

Следующую тысячу лет математика на Западе пребывала в упадке, и только несколько выдающихся ученых Индии и Аравии не дали ей окончательно угаснуть. Они скопировали формулы из сохранившихся греческих математических рукописей и принялись заново придумывать для этих формул утраченные теоремы. Кроме того, они пополнили математику новыми элементами и среди прочего изобрели число нуль.

В современной математике нуль выполняет две функции. Во-первых, нуль позволяет нам различать такие числа, как 52 и 502. В системе счисления, в которой положение цифры определяет ее значение, символ 0 необходим для обозначения пустой позиции. Например, 52 означает 5 раз по десять плюс 2 раза по единице, в то время как 502 означает 5 раз по сто, 0 раз по десять и 2 раза по единице. Нуль играет решающую роль при устранении неоднозначности. Даже вавилоняне, жившие за три тысячи лет до н. э., оценили использование нуля во избежание путаницы, и греки восприняли идеи вавилонян, используя кружок, похожий на тот символ нуля, который мы используем сегодня. Однако нуль выполняет еще одну, более деликатную и значительную, функцию, которую полностью оценили лишь через несколько столетий индийские математики. Они осознали, что нуль не только позволяет заполнить пробел между значащими цифрами, но и существует сам по себе, независимо от других чисел. Так абстрактное понятие «ничего» впервые обрело свой осязаемый символ.

Современному читателю изобретение нуля может показаться тривиальным шагом, но не следует забывать о том, что именно вторая, более глубокая функция нуля ускользнула от внимания всех древнегреческих философов, в том числе Аристотеля. По мнению Аристотеля нуль должен был быть объявлен вне закона, поскольку он нарушал единообразие других чисел: деление обыкновенного числа на нуль приводило к непостижимому результату. К VI веку индийские математики уже не заметали проблему нуля под ковер, а индийский ученый VII века Брахмагупта оказался уже настолько искушенным, что использовал деление на нуль для определения бесконечности.

В то время как Европа оставила благородный поиск истины, Индия и Аравия укрепляли знание, тайно похищенное на пепелище Александрии, и излагали его на новом, более выразительном языке. Индийские и арабские математики не только пополнили математический словарь нулем, но и заменили примитивные греческие символы и неуклюжие римские числительные общепринятой и ныне системой счисления. Последнее достижение, как и введение нуля, может показаться ничтожно малым продвижением, но попробуйте умножить CLV на DCI, и вы оцените значение этого прорыва: эквивалентная задача умножения 155 на 601 гораздо проще. Развитие любой научной дисциплины зависит от ее способности развивать свои идеи и обмениваться ими, а это в свою очередь определяется научным языком, который должен быть достаточно подробным и гибким. Идеи Пифагора и Евклида отличались большим изяществом, несмотря на грубое и неуклюжее оформление, но после перевода в арабскую символику они расцвели и принесли много плодов, породив новые и богатые понятия.

В X веке французский ученый Герберт Аврилакский перенял новую систему счисления у испанских мавров и, занимаясь преподаванием в церквах и школах по всей Европе, внедрил новую систему на Западе. В 999 году он был избран папой Сильвестром II, и это позволило ему способствовать еще большему распространению новых индо-арабских цифр. И хотя необычная эффективность новой системы счисления произвела подлинный переворот в выполнении всех счетных операций и была быстро воспринята купцами, она слабо способствовала оживлению европейской математики.

Жизненно важным, поворотным пунктом в развитии западной математики стал 1453 год, когда турки разграбили Константинополь. За прежние годы рукописи, спасенные после уничтожения Александрии, нашли убежище в Константинополе, и теперь снова оказались под угрозой уничтожения. Византийские ученые бежали на запад, прихватив с собой те тексты, которые могли унести. Пережив нападения Цезаря, епископа Теофила, халифа Омара, а теперь еще и турок, несколько драгоценных книг «Арифметики» Диофанта проделали обратный путь в Европу. Судьба распорядилась так, чтобы сочинение Диофанта оказалось на письменном столе Пьера де Ферма.

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

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

Фронтиспис перевода «Арифметики» Диофанта выполненного Клодом Гаспаром Баше и опубликованного в 1621 году. Эта книга во многом вдохновила Ферма на его исследования

Не сохранилось никаких документальных свидетельств того, что у Ферма был учитель математики, который поощрял своего способного ученика. Наставником и учителем Ферма стала «Арифметика» Диофанта. В «Арифметике» теория чисел, как было принято во времена Диофанта, излагалась в виде ряда задач и их решений. В действительности Диофант развернул перед Ферма картину целого тысячелетия, заслуживающего осмысления со стороны математика. В одной «Арифметике» Ферма мог найти все, что было известно о числах благодаря трудам последователей Пифагора и Евклида. Теория чисел замерла после варварского сожжения Александрии, но Ферма преисполнился решимости возродить изучение самой фундаментальной из всех математических дисциплин.

Книга, вдохновившая Ферма, была латинским переводом «Арифметики», выполненным Клодом Гаспаром Баше де Мезириаком, считавшимся самым ученым человеком во всей Франции. Блестящий лингвист, поэт и знаток классических языков и литературы, Баше питал любовь к математическим задачам-головоломкам. Его первой публикацией был сборник занимательных задач под названием «Problemes plaisans et delectables qui se font par les nombres» [2]. В сборнике были задачи о переправах через реку, переливании жидкостей и несколько фокусов с отгадыванием задуманного числа. Одна из задач ставила вопрос о подборе гирь: «Каков наименьший набор гирь, который позволит взвесить любой груз весом от 1 до 40 кг?»

Баше нашел остроумное решение задачи, показывающее, что удовлетворить ее требованиям можно, располагая набором всего лишь из четырех гирь. Решение Баше приводится в Приложении 4.

Хотя Баше был в математике всего лишь дилетантом, его интерес к задачам-головоломкам был настолько велик, что позволил ему осознать: задачи, приведенные в «Арифметике» Диофанта, — не просто головоломки и требуют более глубокого изучения. Баше поставил перед собой задачу перевести труд Диофанта и опубликовать его с тем, чтобы вдохнуть в методы греческих математиков новую жизнь. Следует иметь в виду, что подавляющее большинство достижений древних математиков было полностью забыто. Высшую математику не изучали даже в самых крупных европейских университетах, и только благодаря таким ученым, как Баше, она стала быстро возрождаться. Публикация в 1621 году выполненного Баше латинского перевода «Арифметики» Диофанта была его вкладом в начало второго золотого века в истории математики.

В «Арифметике» собраны сотни задач, и каждую из них Диофант снабдил подробным решением. Ферма не перенял столь высокий уровень доступности. Его совсем не интересовало создание учебника для будущих поколений. Он жаждал лишь одного — получить удовлетворение от решенной им задачи. Изучая задачи и решения Диофанта, Ферма черпал в них вдохновение и стал помышлять о том, чтобы самому заняться решением аналогичных и более тонких задач. Ферма записывал для себя лишь самое необходимое для того, чтобы убедиться в правильности полученного решения, и не заботился о том, чтобы изложить остальную часть доказательства. Чаще всего сделанные им торопливые записи отправлялись прямиком в мусорную корзину, после чего Ферма спокойно переходил к следующей задаче. К счастью для нас, опубликованный Баше латинский перевод «Арифметики» имел широкие поля, и иногда Ферма торопливо записывал на них ход своих рассуждений и свои комментарии. Эти заметки на полях стали бесценными, хотя и несколько отрывочными, документальными свидетельствами некоторых наиболее блестящих выкладок Ферма.

Одно из открытий Ферма касается так называемых дружественных чисел, тесно связанных с совершенными числами, так восхитившими Пифагора двумя тысячами лет раньше. Дружественными числами называются два числа, каждое из которых равно сумме делителей другого числа. Пифагорейцы совершили необычайное открытие, установив, что 220 и 284 — дружественные числа. Делителями числа 220 служат числа 1, 2, 4,5, 10, 11, 20, 22, 44, 55, 110, а их сумма равна 284. С другой стороны, делителями числа 284 служат числа 1, 2, 4, 71, 142; их сумма равна 220.

Пару чисел 220 и 284 стали считать символом дружбы. Мартин Гарднер в книге «Математические новеллы» [3] рассказывает о том, что в Средние века имели хождение талисманы с выгравированными на них числами 220 и 284, якобы способствующими укреплению любви. Некий арабский нумеролог сообщает об обычае вырезать числа 220 и 284 на плодах, один из которых влюбленный съедал сам, а другой давал съесть предмету своей страсти, как своего рода математическое средство усиления любовного влечения. Первые теологи отмечали, что в Книге Бытия Иаков отдает в подарок брату своему Исаву 220 животных — «двести коз, двадцать козлов». По мнению теологов, число животных, равное одному из чисел, образующих дружественную пару, свидетельствует о любви Иакова к Исаву.

Помимо 220 и 284 других дружественных чисел не было известно вплоть до 1636 года, когда Ферма обнаружил пару 17 296 и 18 416. И хотя это открытие нельзя назвать важным, оно свидетельствует о том, что Ферма хорошо знал натуральные числа и любил «играть» с ними. Ферма стал своего рода законодателем моды на нахождение дружественных чисел. Декарт открыл третью пару (9 363 584 и 9 437 056), а Леонард Эйлер продолжил список дружественных чисел до 62-й пары. Интересно отметить, что Декарт и Эйлер «проглядели» гораздо меньшую пару дружественных чисел. В 1866 году шестнадцатилетний итальянец, тезка великого скрипача, Никколо Паганини открыл пару 1184 и 1210.

В XX веке математики обобщили понятие дружественных чисел и занялись поиском так называемых «общительных» чисел — замкнутых циклов из трех и более чисел. Например, в тройке чисел

(1 945 330 728 960; 2 324 196 638 720; 2 615 631 953 920)

делители первого числа в сумме дают второе число, делители второго в сумме дают третье число, а делители третьего числа в сумме дают первое число. Самый длинный из известных циклов состоит из 28 общительных чисел, первое из которых равно 14 316.

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

Например, Ферма заметил, что число 26 «стиснуто» между числами 25 и 27, одно из которых представляет собой квадрат (25 = 5² = 5·5), а другое — куб (27 = 3³ == 3·3·3). Ферма занялся поиском других чисел, зажатых между квадратом и кубом, но найти ничего так и не удалось. Родилось подозрение, что число 26 единственное. После многодневных напряженных поисков Ферма удалось выстроить сложное доказательство, не оставлявшее сомнений в том, что 26 — действительно единственное число, заключенное между квадратом и кубом. Предложенная им цепочка логических доводов убедительно свидетельствовала, что ни одно другое число не обладает этим свойством.

Ферма сообщил об уникальном свойстве числа 26 математическому сообществу и бросил вызов, предложив доказать это. Ферма открыто признал, что располагает доказательством установленного им свойства. Вопрос был в том, хватит ли у других математиков сообразительности, чтобы справиться с предложенной задачей? Несмотря на простоту формулировки, решение задачи (доказательство утверждения) оказалось чрезвычайно трудным — можно сказать, недружественным по отношению к тем, кто пытался найти его, и Ферма доставляло особое удовольствие подтрунивать над английскими математиками Валлисом и Дигби, которые в конце концов были вынуждены признать свое поражение.

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

При чтении II-й книги «Арифметики» Ферма наткнулся на целую серию наблюдений, задач и решений, связанных с теоремой Пифагора и пифагоровыми тройками. Например, Диофант рассматривал существование особых троек, образующих так называемые «хромые треугольники», у которых две более короткие стороны x и y отличаются по длине только на единицу (например, x = 20, y = 21, z = 29 и 202 + 212 = 292).

Ферма был поражен разнообразием и обилием пифагорейских треугольников. Он знал, что за много веков до него Евклид доказал (общий ход предложенного Евклидом доказательства см. в Приложении 5), что число пифагоровых троек бесконечно велико. Возможно, Ферма просматривал в очередной раз подробное изложение теории пифагоровых троек у Диофанта и прикидывал, нельзя ли сказать что-нибудь новое по этому поводу. Записывая то так, то эдак уравнение Пифагора, Ферма все старался заметить нечто такое, что ускользнуло от древних греков. Внезапно ему пришла в голову гениальная мысль, обессмертившая имя «князя любителей»: Ферма придумал уравнение, очень похожее на уравнение Пифагора, но не имевшее ни одного решения в целых числах! Именно об этом уравнении и узнал десятилетний Эндрю Уайлс, заглянув в книгу Белла, взятую в публичной библиотеке на Милтон-роуд.

Вместо уравнения Пифагора x² + y² = z² Ферма занялся рассмотрением его варианта x³ + y³ = z³. Ферма всего лишь изменил степень на единицу, но его новое уравнение, насколько можно было судить, вообще не допускало никаких решений в целых числах. «Методом проб и ошибок» нетрудно было обнаружить, что найти два куба, которые бы в сумме давали еще один куб, не так-то просто. Неужели произведенное Ферма незначительное изменение действительно превращает уравнение, допускающее бесконечно много решений в целых числах, в уравнение, не имеющее ни одного решения в целых числах?

Ферма подверг уравнение Пифагора еще большему изменению, попробовав заменить степень 2 на целые числа бoльшие 3, и обнаружил, что найти решение в целых числах каждого из этих уравнений столь же трудно. И Ферма решил, что вообще не существует трех целых чисел x, y, z, которые удовлетворяли бы уравнению

На полях «Арифметики» Диофанта, рядом с задачей 8, Ферма оставил такое замечание: «Cubet autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere» [4].

Фронтиспис издания «Арифметики» Диофанта опубликованного Клеманом-Самюэлем Ферма в 1670 году. В этом варианте были напечатаны и заметки на полях, оставленные отцом издателя — Пьером де Ферма

Рис. 6. Страница издания «Арифметики» Диофанта (1670 г.), содержащая знаменитое замечание Пьера де Ферма

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

«Cuius rei demonstrationem mirabilem sane setex hanc marginis exiguitas non caparet» [5]. В этом — весь Ферма, все то, что особенно раздражало современных ему математиков. Из его собственных слов можно заключить, что он весьма доволен своим «поистине удивительным» доказательством, но ему и в голову не приходит дать себе труд написать подробности доказательства и уж тем более опубликовать его. Он так никому и не рассказал о своем доказательстве, но, несмотря на характерную для Ферма комбинацию лени и скромности, Великая теорема Ферма, как ее стали называть позднее, обрела неслыханную славу в грядущих веках.

Свое знаменитое открытие Ферма совершил в самом начале своей математической карьеры — около 1637 года. Примерно через тридцать лет, исполняя свои судебные обязанности в городе Кастре, Ферма тяжело заболел. 9 января 1665 года он подписал свой последний приговор и тремя днями позднее умер. Открытиям Ферма, все еще находившегося в изоляции от парижской математической школы и отнюдь не добрым словом поминаемого его разочарованными коллегами, грозило полное забвение. К счастью, старший сын Ферма, Клеман-Самюэль, сознававший все значение любимого увлечения отца, пришел к заключению, что его открытия не должны быть потеряны для всего мира. Всем, что мы знаем о замечательных открытиях Ферма в теории чисел, мы обязаны его сыну, и если бы не Клеман-Самюэль, загадка, известная под названием Великой теоремы Ферма, умерла бы вместе во своим создателем.

Пять лет Клеман-Самюэль собирал отцовские заметки и письма, изучал неразборчивые надписи на полях «Арифметики». Заметка на полях с формулировкой Великой теоремы Ферма была лишь одной из вдохновенных мыслей, начертанных на полях этой книги. Клеман-Самюэль взял на себя тяжкий труд опубликовать все эти заметки в специальном издании «Арифметики». В 1670 году он издал в Тулузе книгу под названием «Диофантова Арифметика, содержащая примечания П. де Ферма». В нее наряду с оригинальным текстом на древнегреческом языке и латинском переводом Баше вошли 48 примечаний, сделанных Ферма. Примечание, воспроизведенное на рис. 6, и было тем, которое стало впоследствии известно под названием Великой теоремы Ферма.

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

Леонард Эйлер, один из величайших математиков XVIII века, предпринял попытку доказать одно из самых изящных примечаний Ферма — теорему о простых числах. Простым называется число, которое не имеет делителей — чисел, которые делили бы его без остатка, — кроме единицы и самого числа. Например, 13 — простое число, а 14 — не простое. Ни одно число не делит 13 без остатка, а 2 и 7 делят 14. Все простые числа подразделяются на числа, представимые в виде 4n+1, и числа, представимые в виде 4n–1, где n — некоторое целое число. Так, число 13 принадлежит к первой группе (13 = 4·3 + 1), а число 19 — ко второй группе (19 = 4·5–1). Теорема Ферма о простых числах утверждает, что простые числа первой группы всегда представимы в виде суммы двух квадратов (13 = 2² + 3²), в то время как простые числа второй группы никогда в виде суммы двух квадратов не представимы (19 =?² +?²). Это свойство простых чисел формулируется изящно и просто, но все попытки доказать, что им обладает любое простое число, наталкиваются на значительные трудности. Для Ферма это доказательство было всего лишь одним из многих доказательств, хранимых им «приватно», для Эйлера восстановить доказательство стало делом чести. В 1749 году, после семи лет работы и почти через сто лет после смерти Ферма, Эйлеру удалось доказать эту теорему о простых числах.

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

Поскольку математики используют теоремы как ступени, ведущие к другим результатам, было чрезвычайно важно доказать каждую из анонсированных Ферма теорем. Использовать Великую теорему только потому, что, по утверждению Ферма, он располагал ее доказательством, было невозможно. Прежде чем пустить Великую теорему в дело, ее необходимо было доказать со всей строгостью, иначе последствия могли быть самыми ужасными. Например, представьте себе математиков, которые приняли одну из теорем Ферма на веру. Эта теорема была бы включена ими как отдельный элемент в целую серию других, более обширных, доказательств. Со временем эти более обширные доказательства были бы включены в еще более обширные доказательства, и т. д. В результате появились бы сотни теорем, которые бы опирались на истинность той самой недоказанной, принятой на веру, теоремы. Но что если Ферма ошибся, и недоказанная теорема в действительности ложна? Все теоремы, в доказательствах которых была бы использована ложная теорема, также оказались бы ошибочными, и огромные разделы математики рухнули бы. Теоремы — фундамент математики: если истинность теорем установлена, то, опираясь на них, можно возводить, пребывая при этом в полной безопасности, новые теоремы. Необоснованные (недоказанные) идеи имеют бесконечно меньшую ценность и называются гипотезами. Любая логика, опирающаяся на гипотезу, сама гипотетична.

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

За прошедшие столетия одно за другим были доказаны все утверждения Ферма, содержавшиеся в примечаниях на полях «Арифметики» Диофанта, и только Великая теорема Ферма упорно не поддавалась усилиям математиков. Ее даже стали называть «последней теоремой Ферма», так как она осталась последним его примечанием, которое требовалось доказать. Триста лет все попытки найти ее доказательство одна за другой терпели поражение. Великая теорема ферма обрела известность как самая трудная «головоломка» математики. Но всеми признанная трудность проблемы не обязательно означает, что Великая теорема Ферма важна в том смысле, в каком это понимается выше. Великая теорема Ферма, по крайней мере вплоть до самого последнего времени, не удовлетворяла нескольким критериям: казалось, что если бы ее удалось доказать, то это не привело бы ни к какому сколько-нибудь заметному прогрессу в развитии теории чисел и не способствовало бы доказательству других гипотез.

Слава Великой теоремы Ферма обусловлена исключительно тем, что доказать ее необычайно трудно. Есть и еще один дополнительный стимул: «князь любителей» заявил, что располагает доказательством этой теоремы, над восстановлением которой с тех пор ломали голову поколения профессиональных математиков. Небрежные замечания Ферма на полях принадлежавшего ему экземпляра «Арифметики» Диофанта читались как вызов всему миру. Ферма доказал свою Великую теорему, удастся ли какому-нибудь математику превзойти или сравняться с ним по блеску ума?

Г.Г. Харди обладал весьма своеобразным чувством юмора. Как-то раз он задумался, что в математическом наследии прошлого могло бы сравниться с Великой теоремой Ферма по тщетности всех попыток найти доказательство. К найденному им аналогу Великой теоремы Ферма Харди обращался всякий раз, когда ему приходилось преодолевать страх перед морскими путешествиями. Для него это было своего рода страхованием от несчастного случая. Если Харди предстояло пересечь Атлантический океан на борту лайнера, он предварительно посылал кому-нибудь из коллег телеграмму следующего содержания:

ДОКАЗАЛ ГИПОТЕЗУ РИМАНА ТЧК ПОДРОБНОСТИ ПО ВОЗВРАЩЕНИИ ТЧК

Гипотеза Римана — проблема, которой математика «больна» с XIX века. Логика Харди состояла в том, что Бог не даст ему утонуть потому, что тогда математики устремились бы в погоню за еще одним неуловимым призраком.

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

Статус Великой головоломки вышел за рамки замкнутого мира математики. В 1958 году Великая теорема Ферма проникла даже в легенду о Фаусте. В сборнике «Как иметь дело с дьяволом» была опубликована новелла Артура Порджеса «Дьявол и Саймон Флэгг». В ней дьявол обращается к профессору математики Саймону Флэггу с предложением задать ему, дьяволу, какой-нибудь вопрос. Если дьяволу удастся найти ответ за двадцать четыре часа, то он получает душу Саймона. В случае неудачи дьявол обязуется уплатить Саймону 100000 долларов. Саймон задает дьяволу вопрос: «Верна ли Великая теорема Ферма?» Дьявол исчезает и носится по свету, собирая по крохам все достижения математики. На следующий день он возвращается и признает свое поражение: «Вы выиграли, Саймон, — сказал дьявол, почтительно глядя на профессора. — Даже мне не под силу выучить всю математику, которая необходима для решения столь трудной задачи за столь короткое время. Чем глубже я погружаюсь в проблему, тем труднее она становится. Неединственное разложение на множители, идеальные числа… Да что зря говорить! Знаете, — признался дьявол, — даже самые лучшие математики на других планетах, а они, должен вам сказать, намного опередили ваших, не решили ее. Взять хотя бы того парня на Сатурне, что очень похож на гриб на ходулях. Он в уме решает дифференциальные уравнения в частных производных. Так даже он не справился с этой задачей».

Примечания:

2

Задачи занимательные и приятные, связанные с числами. (фр.)

3

Гарднер М. Математические новеллы. — М.: Мир, 1974; гл. 28 «Краткий трактат о бесполезной красоте совершенных чисел». 

4

Невозможно для куба быть записанным в виде суммы двух кубов, или для четвертой степени быть записанной в виде суммы двух четвертых степеней, или, в общем, для любого числа, которое есть степень больше двух, быть записанной в виде суммы двух таких же степеней. (лат.)

5

Я нашел поистине удивительное доказательство этого предложения, но поля здесь слишком узки для того, чтобы вместить его. (лат.)