Великая Теорема Ферма

Соответственно, отношение к математикам было лишено должного уважения, и многим математикам приходилось своими силами добывать средства для занятий любимой наукой. Например, Галилей не смог изучать математику в Пизанском университете и был вынужден искать себе частного преподавателя. Единственное учебное заведение в Европе, где математиков активно поощряли, был Оксфордский университет, учредивший в 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. То, что единица повторяется неограниченно много раз, означает лишь, что данное десятичное число обладает очень простой и регулярной структурой. В свою очередь такая строгая регулярность, несмотря на неоднократное (в действительности — бесконечнократное) повторение, означает, что данную бесконечную десятичную дробь можно записать в виде обыкновенной дроби. Но если вы захотите представить иррациональное число в виде десятичной дроби, то у вас получится бесконечная дробь, структура которой не будет регулярной и сколько-нибудь обозримой.
      Для Пифагора идея красоты математики состояла в том, что рациональные числа (целые числа и обыкновенные дроби) позволяют объяснить все явления в природе. Эта путеводная философия ослепила Пифагора, не давая ему увидеть существование иррационального числа и, возможно, даже привела к казни одного из его учеников. Легенда рассказывает о том, что один из учеников Пифагора по имени Гиппас на досуге забавлялся с числом ?2, пытаясь найти эквивалентную ему обыкновенную дробь. В конце концов он понял, что такой дроби не существует, т. е. ?2 — иррациональное число. Совершив столь важное открытие, Гиппас, должно быть, пришел в неописуемый восторг, чего нельзя было сказать о его учителе. Пифагор определял все происходящее в мире с помощью рациональных чисел, и существование иррациональных чисел ставило под сомнение его идеал. Открытие Гиппаса могло бы повлечь за собой период споров и сомнений, и Пифагору пришлось бы признать новый источник чисел. Но Пифагор не хотел признать свои заблуждения и в то же время не мог разрушить аргументацию Гиппаса силой логики. К своему вечному позору, он приговорил Гиппаса к смерти через утопление.
      Отец логики и математического метода прибег к силе, но так и не признал, что был неправ. Это было его самым позорным деянием и, возможно, величайшей трагедией греческой математики. Иррациональные числа обрели «права гражданства» в математике только после смерти Пифагора.
      Введение иррациональных чисел означало гигантский прорыв в математике. Математики получили возможность бросить взгляд за пределы целых чисел и обыкновенных дробей, оглядеться и открывать или, быть может, изобретать новые числа. По словам математика 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
 
      Когда Евклид отважился рассмотреть проблему иррациональности в десятом томе «Начал», его цель состояла в том, чтобы доказать существование числа, не представимого в виде обыкновенной дроби. Вместо того, чтобы доказывать иррациональность числа ?, Евклид рассмотрел квадратный корень из двух, ?2, — число, которое при умножении на себя дает число 2. Чтобы доказать, что число ?2 не представимо в виде обыкновенной дроби, Евклид воспользовался доказательством от противного и предположил, что число ?2 представимо в виде обыкновенной дроби. Затем он показал, что эту гипотетическую дробь всегда можно упростить. Упрощение дроби означает, что числитель и знаменатель можно поделить на одно и то же целое число. Например, дробь 8/12 можно упростить, сократив числитель и знаменатель на 2 и превратив ее в дробь 4/6. В свою очередь, дробь 4/6 можно упростить до 2/3, а вот дробь 2/3 уже дальнейшему упрощению не поддается, почему и называется несократимой дробью. Евклид показал, что гипотетическая дробь, по предположению представляющая число ?2, может быть упрощаема снова и снова бесконечное число раз, но так и не приводится к несократимому виду. Но это нелепо, так как все дроби приводимы к несократимому виду. Следовательно, гипотетическая дробь не может существовать. Это означает, что число ?2 не представимо в виде дроби и, следовательно, иррационально. Ход доказательства Евклида приведен в Приложении 2.
      Используя доказательство от противного, Евклид сумел доказать существование иррациональных чисел. До Евклида все числа, с которыми люди имели дело, были представимы как целые числа или обыкновенные дроби, но евклидовы иррациональные числа игнорировали традиционное представление чисел. Не существует иного способа описать число, равное квадратному корню из 2, как записав его в виде ?2, поскольку его нельзя представить в виде обыкновенной дроби, а любая попытка записать ?2 в виде десятичной дроби не позволяет получить ничего, кроме приближения, например, 1,414213562373…