Если дьяволу удастся найти ответ за двадцать четыре часа, то он получает душу Саймона. В случае неудачи дьявол обязуется уплатить Саймону 100000 долларов. Саймон задает дьяволу вопрос: «Верна ли Великая теорема Ферма?» Дьявол исчезает и носится по свету, собирая по крохам все достижения математики. На следующий день он возвращается и признает свое поражение: «Вы выиграли, Саймон, — сказал дьявол, почтительно глядя на профессора. — Даже мне не под силу выучить всю математику, которая необходима для решения столь трудной задачи за столь короткое время. Чем глубже я погружаюсь в проблему, тем труднее она становится. Неединственное разложение на множители, идеальные числа… Да что зря говорить! Знаете, — признался дьявол, — даже самые лучшие математики на других планетах, а они, должен вам сказать, намного опередили ваших, не решили ее. Взять хотя бы того парня на Сатурне, что очень похож на гриб на ходулях. Он в уме решает дифференциальные уравнения в частных производных. Так даже он не справился с этой задачей».
Глава 3. Позор математики
Математика — не церемониальный марш по гладкой дороге, а путешествие по незнакомой местности, где исследователи часто рискуют заблудиться. Строгость должна стать указанием для историка о том, что данная местность нанесена на карту, а настоящие исследователи отправились дальше.
У.С. Энглин
«С тех пор, как я еще мальчиком впервые столкнулся с Великой теоремой Ферма, она стала моим увлечением на всю жизнь, — вспоминает Эндрю Уайлс, и его дрогнувший голос выдает тот трепет, с которым он относится к этой задаче. — Я обнаружил, что эта проблема оставалась нерешенной на протяжении трех столетий. Не думаю, чтобы многие из моих школьных друзей подхватили математическую лихорадку, поэтому я не стал обсуждать проблему Ферма с моими одногодками. Но мой учитель математики сам занимался исследованиями, и он дал мне книгу по теории чисел, из которой я почерпнул кое-какие указания относительно того, как приступить к решению проблемы. Прежде всего я решил (и принял это в качестве исходной гипотезы), что Ферма не мог знать намного больше математики, чем я. И я попытался найти его утерянное доказательство, используя те разделы математики, которые мог использовать он сам».
Уайлс был наивным ребенком, преисполненным честолюбивых замыслов, который мечтал достичь успеха там, где потерпели неудачу поколения математиков. Кому-нибудь другому такое намерение могло бы показаться глупой мечтой, но юный Эндрю был совершенно прав, полагая, что он, двенадцатилетний школьник, живущий в XX веке, знает математику в ничуть не меньшем объеме, чем Пьер де Ферма — гений, живший в XVII веке. В своей наивности он действительно мог наткнуться на доказательство, которое пропустили Другие, более искушенные, математики.
Но, несмотря на весь энтузиазм Эндрю, все его попытки доказать Великую теорему Ферма неизменно оканчивались неудачей.
Изрядно поломав голову и подробнейшим образом изучив школьные учебники, он не сумел добиться ничего. После года бесплодных поисков Эндрю решил изменить стратегию и попытаться извлечь что-нибудь полезное для себя из ошибок известных математиков. История Великой теоремы Ферма была необычайно романтичной. Много людей размышляли над ней, и не один великий математик в прошлом пытался доказать ее и потерпел неудачу, отчего Великая проблема становилась все большим вызовом и все большей тайной. «Многие математики XVIII и XIX веков. пытались самыми различными способами доказать Великую теорему Ферма, и я, мальчишка, решил изучить все эти методы и понять, что делали великие математики прошлого».
Юный Уайлс принялся изучать методы всех, кто когда-либо делал серьезную попытку доказать Великую теорему Ферма. И начал он с изучения трудов одного из наиболее плодовитых математиков в истории, которому удалось осуществить первый прорыв в битве с Великой теоремой Ферма.
Математик-циклоп
Создание математики — занятие мучительное и таинственное. Объект доказательства часто бывает ясен, но путь к доказательству теряется в тумане, и математик бредет наощупь, производя выкладки и опасаясь, что каждый шаг может увлечь ход рассуждений в совершенно неверном направлении. Кроме того, всегда существует возможность того, что пути к доказательству вообще не существует. Решив, что некоторое утверждение истинно, математик может годами пытаться доказать его, хотя в действительности это утверждение ложно. По существу, математик в этом случае пытается доказать невозможное.
За всю историю математики лишь горстке математиков удалось избежать такого рода сомнений, которые страшили их коллег. Возможно, наиболее известным из математиков, не ведающих страха и упрека, был живший в XVIII веке математический гений Леонард Эйлер. Именно ему удалось совершить первый крупный прорыв к доказательству Великой теоремы Ферма. Эйлер обладал столь невероятной интуицией и такой обширной памятью, что, по преданию, мог держать в голове весь объем производимых вычислений, не прикасаясь пером к бумаге. Вся Европа называла его «прирожденным аналитиком», а французский академик Франсуа Араго сказал о нем: «Эйлер вычислял без видимых усилий, как люди дышат или как орлы парят в поднебесье».
Леонард Эйлер родился в Базеле в 1705 году в семье кальвинистского пастора Пауля Эйлера. Хотя юный Эйлер проявил недюжинный математический талант, его отец решил, что сын должен изучать теологию, и готовил ему церковную карьеру. Леонард повиновался отцовской воле и стал изучать теологию и древнееврейский язык в Базельском университете.
К счастью для Эйлера, Базель был родиной знаменитого клана Бернулли. Бернулли могли бы с полным основанием претендовать на звание самого математического рода: восемь представителей семьи Бернулли принадлежали к числу самых выдающихся умов Европы на протяжении всего лишь трех поколений. Говорили, что семья Бернулли стала для математики тем же, чем семья Баха была для музыки. Слава рода Бернулли распространилась за пределы математического сообщества, и одна легенда ярко рисует «профиль» семейства. Однажды Даниил Бернулли путешествовал по Европе и вступил в беседу с незнакомцем. Спустя какое-то время он скромно представился своему собеседнику: «Я — Даниил Бернулли». «А я, — саркастически ответил тот, — Исаак Ньютон». Даниил охотно вспоминал этот случай несколько раз, считая его самым искренним признанием своих заслуг, которое ему когда-либо довелось получать.
Даниил и Николай Бернулли были близкими друзьями Леонарда Эйлера, и они первыми поняли, что на их глазах происходит превращение блестящего математика в самого заурядного теолога. Они обратились к Паулю Эйлеру и упросили его разрешить Леонарду оставить теологию ради чисел. Эйлер-старший сам в прошлом изучал математику у старшего Бернулли, Якоба, и испытывал к семье Бернулли глубочайшее почтение. С большой неохотой Пауль Эйлер был вынужден признать, что его сын рожден не для молитв, а для вычислений.
Вскоре Леонард Эйлер покинул Швейцарию, сменив родной Базель на дворцы Берлина и Санкт-Петербурга, где он и провел б?льшую часть своей творческой жизни. В эпоху Ферма математиков считали любителями жонглировать числами, но к началу XVIII века их уже рассматривали как профессиональных «решателей задач». Культура чисел резко изменилась, и произошло это отчасти благодаря сэру Исааку Ньютону и его научным результатам.
Ньютон полагал, что математики лишь впустую тратят время, поддразнивая друг друга пустыми и никчемными задачами-головоломками. Вместо этого он вознамерился применять математику к физическому миру и вычислять все, что только можно, — от орбит планет до траекторий пушечных ядер. К тому времени, когда Ньютон умер (это произошло в 1727 году), в Европе произошла научная революция. В тот же год Эйлер опубликовал свою первую работу. И хотя она содержала изящные и свежие математические идеи, ее главная цель состояла в описании решения одной технической проблемы, связанной с постановкой мачт на парусных кораблях.
Европейские державы не были заинтересованы в использовании математики для изучения эзотерических и абстрактных понятий; математика была им необходима для решения практических проблем, и правительства состязались в привлечении к себе на службу лучших умов. Эйлер начал свою математическую карьеру в России, затем его пригласил в Берлинскую академию король Пруссии Фридрих Великий. В царствование Екатерины Великой Эйлер вернулся в Россию, где он и провел последние годы жизни. За годы своей деятельности Эйлер решил множество задач из самых различных областей — от навигации до финансов, от акустики до ирригации. Практический мир решения насущных проблем не притупил математические способности Эйлера. Наоборот, для решения каждой новой проблемы Эйлер изобретал новый остроумный математический подход. Столь «односторонняя» направленность его ума приводила к тому, что в иной день Эйлеру случалось писать по несколько работ. Рассказывают, что между первым и вторым приглашением к обеденному столу Эйлер как-то раз попытался выполнить вычисления, заслуживающие публикации. Эйлер не терял ни минуты. Укачивая одной рукой младенца в колыбели, он другой рукой набрасывал доказательство теоремы.
Одним из величайших достижений Эйлера стала разработка алгоритмического мышления. Отличительная особенность эйлеровских алгоритмов состояла в том, что они предназначались для решения проблем, казавшихся неразрешимыми. Одной из таких проблем было высокоточное предсказание фаз Луны — информация о фазах Луны имела жизненно важное значение для составления таблиц, необходимых для мореплавания. Еще Ньютон показал, что можно сравнительно легко предсказывать орбиту одного тела, обращающегося вокруг другого, но в случае Луны ситуация не столь проста.
Луна обращается вокруг Земли, но третье тело — Солнце — существенно усложняет картину. Земля и Луна притягивают друг друга, а Солнце возмущает положение Земли и сталкивает Луну с ее идеальной орбиты вокруг Земли. Уравнения позволяли описать поведение Земли и Луны, но математики XVIII века не умели учитывать в своих вычислениях влияние третьего тела. Даже сегодня невозможно предсказать, как будет вести себя точное решение этой задачи (класс таких задач называется «задачей трех тел»). Эйлер понял, что мореплавателям нет необходимости знать фазу Луны с абсолютной точностью — вполне достаточно такой точности, которая позволяет определить положение судна с точностью до нескольких морских миль. И он разработал рецепт, позволяющий получать не идеальное, а достаточно точное решение. Такой рецепт, называемый алгоритмом, позволяет получить сначала весьма приближенное, грубое решение. Затем это решение можно ввести в качестве исходных данных в тот же алгоритм и получить уже более точное решение. В свою очередь, уточненное решение, если его также ввести в алгоритм, порождает еще более точное решение, и т. д. После ста или около того итераций Эйлер получил возможность определить положение Луны с точностью, достаточной для нужд мореплавания. Свой алгоритм Эйлер представил британскому Адмиралтейству и получил награду в триста фунтов стерлингов.
Эйлер заслужил репутацию человека, способного решить любую поставленную ему задачу, причем не только математическую. В бытность свою при дворе Екатерины Великой он встретил великого французского философа Дени Дидро. Тот был убежденным атеистом и пытался обратить в атеизм представителей русской знати. Разгневанная этим Екатерина обратилась к Эйлеру с просьбой пресечь деятельность французского безбожника.
Эйлер поразмыслил над просьбой императрицы и объявил, что располагает алгебраическим доказательством существования Бога. Екатерина Великая пригласила Эйлера и Дидро во дворец и собрала на теологический спор всех придворных. Эйлер встал перед аудиторией и заявил:
«Сир! (a + bn )/n = x , следовательно Бог существует. Что Вы имеете возразить?»
Дидро не был силен в алгебре и не мог ничего возразить величайшему математику Европы. Ему оставалось только безмолвствовать. Потерпев унизительное поражение, он покинул Санкт-Петербург и вернулся в Париж. Эйлер же на какое-то время вернулся к занятиям теологией и опубликовал еще несколько шутливых доказательств относительно природы Господа Бога и человеческого духа.
Более «земная» задача, привлекшая внимание Эйлера, большого любителя головоломных проблем, связана с прусским городом Кёнигсбергом (ныне — российский город Калининград). Город стоит на берегах реки Прегили и состоит из четырех частей, соединенных между собой семью мостами. План города схематически изображен на рис. 7. Некоторые из любопытных жителей Кенигсберга заинтересовались, можно ли обойти все семь мостов, не переходя ни по одному из них дважды. Кое-кто из обитателей Кенигсберга попытался проложить различные маршруты, но ничего хорошего из этого не вышло. Эйлеру также не удалось обойти все семь кёнигсбергских мостов, побывав на каждом только один раз, но зато он сумел объяснить, почему сделать это невозможно.
Рис. 7. Река Прегиль делит Кёнигсберг на четыре несвязанные части A, B, C и D. Различные части города соединены между собой семью мостами. Можно ли обойти все семь мостов побывав на каждом один и только один раз?
Рис. 8. Упрощенная схема семи кёнигсбергских мостов
Эйлер взял план города и заменил его упрощенной схемой, на которой части города изображены точками (узлами), а мосты — линиями (ребрами), как на рис. 8. Затем Эйлер стал рассуждать так. Чтобы существовал маршрут, позволяющий обойти ровно по одному разу все мосты, каждая точка на схеме должна принадлежать четному числу линий. Это связано с тем, что в середине обхода путешественник, проходя какую-то из частей города, должен войти в нее по одному мосту, а выйти — по другому. Из этого правила существуют лишь два исключения: когда путешественник начинает или завершает обход. В самом начале обхода путешественник покидает некую часть города, и для выхода из нее необходим только один-единственный мост. Если обход начинается и заканчивается в различных частях города, то число мостов, ведущих к каждой из них нечетно. Но если обход начинается и заканчивается в одной и той же части города, то соответствующая ей точка на схеме, как и все другие точки, должна принадлежать четному числу линий (т. е. эта часть города должна быть соединена с другими частями четным числом мостов).
Таким образом, заключил Эйлер, какой бы ни была сеть мостов, обойти все мосты, побывав на каждом по одному и только одному разу, можно только в том случае, если все части города соединены с другими четным числом мостов или если ровно две части города соединены с другими частями нечетным числом мостов. В Кенигсберге город подразделяется всего на четыре части, — и все они соединены с другими частями нечетным числом мостов. На схеме Кенигсберга три точки принадлежат трем линиям, а одна — пяти линиям. Тем самым Эйлер не только сумел объяснить, почему все семь кёнигсбергских мостов невозможно обойти, побывав на каждом один и только один раз, но и придумал правило, применимое к любой сети мостов в любом городе мира. Рассуждения Эйлера отличаются замечательной красотой. По-видимому, такого сорта логические задачи Эйлер и любил решать за обедом.
Задача о семи кёнигсбергских мостах принадлежит к числу так называемых задачах о графах в прикладной математике. Именно она побудила Эйлера к рассмотрению более абстрактных графов. В ходе своих исследований Эйлер открыл фундаментальную истину, относящуюся ко всем графам, — так называемую формулу Эйлера для графов, которую ему удалось доказать за несколько логических шагов. Формула Эйлера для графов выражает незыблемое соотношение между тремя элементами любой графа:
V — R + L = 1,
где
V — число вершин (узлов, или пересечений) в графе,
R — число линий (ребер) в графе,
L — число замкнутых областей в графе.
Таким образом, по утверждению Эйлера, если к числу вершин любого графа прибавить число замкнутых областей и вычесть число его ребер — результат всегда окажется равен единице. Например, все графы на рис. 9 удовлетворяют формуле Эйлера.
Вершины = 4
Области = 3
Линии = 6
Вершины = 6
Области = 1
Линии = 6
Вершины = 5
Области = 10
Линии= 6
Рис. 9. Различные графы, удовлетворяющие формуле Эйлера
Рис. 10. Эйлер доказал свою формулу для графов, продемонстрировав, что она выполняется для простейшего графа, а затем показав, что формула остается верной при любых «дополнениях» к единственной вершине
Можно проверить формулу Эйлера на целой серии графов, и всякий раз она оказывается верной; возникает искушение предположить, что формула Эйлера верна для всех графов.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
Глава 3. Позор математики
Математика — не церемониальный марш по гладкой дороге, а путешествие по незнакомой местности, где исследователи часто рискуют заблудиться. Строгость должна стать указанием для историка о том, что данная местность нанесена на карту, а настоящие исследователи отправились дальше.
У.С. Энглин
«С тех пор, как я еще мальчиком впервые столкнулся с Великой теоремой Ферма, она стала моим увлечением на всю жизнь, — вспоминает Эндрю Уайлс, и его дрогнувший голос выдает тот трепет, с которым он относится к этой задаче. — Я обнаружил, что эта проблема оставалась нерешенной на протяжении трех столетий. Не думаю, чтобы многие из моих школьных друзей подхватили математическую лихорадку, поэтому я не стал обсуждать проблему Ферма с моими одногодками. Но мой учитель математики сам занимался исследованиями, и он дал мне книгу по теории чисел, из которой я почерпнул кое-какие указания относительно того, как приступить к решению проблемы. Прежде всего я решил (и принял это в качестве исходной гипотезы), что Ферма не мог знать намного больше математики, чем я. И я попытался найти его утерянное доказательство, используя те разделы математики, которые мог использовать он сам».
Уайлс был наивным ребенком, преисполненным честолюбивых замыслов, который мечтал достичь успеха там, где потерпели неудачу поколения математиков. Кому-нибудь другому такое намерение могло бы показаться глупой мечтой, но юный Эндрю был совершенно прав, полагая, что он, двенадцатилетний школьник, живущий в XX веке, знает математику в ничуть не меньшем объеме, чем Пьер де Ферма — гений, живший в XVII веке. В своей наивности он действительно мог наткнуться на доказательство, которое пропустили Другие, более искушенные, математики.
Но, несмотря на весь энтузиазм Эндрю, все его попытки доказать Великую теорему Ферма неизменно оканчивались неудачей.
Изрядно поломав голову и подробнейшим образом изучив школьные учебники, он не сумел добиться ничего. После года бесплодных поисков Эндрю решил изменить стратегию и попытаться извлечь что-нибудь полезное для себя из ошибок известных математиков. История Великой теоремы Ферма была необычайно романтичной. Много людей размышляли над ней, и не один великий математик в прошлом пытался доказать ее и потерпел неудачу, отчего Великая проблема становилась все большим вызовом и все большей тайной. «Многие математики XVIII и XIX веков. пытались самыми различными способами доказать Великую теорему Ферма, и я, мальчишка, решил изучить все эти методы и понять, что делали великие математики прошлого».
Юный Уайлс принялся изучать методы всех, кто когда-либо делал серьезную попытку доказать Великую теорему Ферма. И начал он с изучения трудов одного из наиболее плодовитых математиков в истории, которому удалось осуществить первый прорыв в битве с Великой теоремой Ферма.
Математик-циклоп
Создание математики — занятие мучительное и таинственное. Объект доказательства часто бывает ясен, но путь к доказательству теряется в тумане, и математик бредет наощупь, производя выкладки и опасаясь, что каждый шаг может увлечь ход рассуждений в совершенно неверном направлении. Кроме того, всегда существует возможность того, что пути к доказательству вообще не существует. Решив, что некоторое утверждение истинно, математик может годами пытаться доказать его, хотя в действительности это утверждение ложно. По существу, математик в этом случае пытается доказать невозможное.
За всю историю математики лишь горстке математиков удалось избежать такого рода сомнений, которые страшили их коллег. Возможно, наиболее известным из математиков, не ведающих страха и упрека, был живший в XVIII веке математический гений Леонард Эйлер. Именно ему удалось совершить первый крупный прорыв к доказательству Великой теоремы Ферма. Эйлер обладал столь невероятной интуицией и такой обширной памятью, что, по преданию, мог держать в голове весь объем производимых вычислений, не прикасаясь пером к бумаге. Вся Европа называла его «прирожденным аналитиком», а французский академик Франсуа Араго сказал о нем: «Эйлер вычислял без видимых усилий, как люди дышат или как орлы парят в поднебесье».
Леонард Эйлер родился в Базеле в 1705 году в семье кальвинистского пастора Пауля Эйлера. Хотя юный Эйлер проявил недюжинный математический талант, его отец решил, что сын должен изучать теологию, и готовил ему церковную карьеру. Леонард повиновался отцовской воле и стал изучать теологию и древнееврейский язык в Базельском университете.
К счастью для Эйлера, Базель был родиной знаменитого клана Бернулли. Бернулли могли бы с полным основанием претендовать на звание самого математического рода: восемь представителей семьи Бернулли принадлежали к числу самых выдающихся умов Европы на протяжении всего лишь трех поколений. Говорили, что семья Бернулли стала для математики тем же, чем семья Баха была для музыки. Слава рода Бернулли распространилась за пределы математического сообщества, и одна легенда ярко рисует «профиль» семейства. Однажды Даниил Бернулли путешествовал по Европе и вступил в беседу с незнакомцем. Спустя какое-то время он скромно представился своему собеседнику: «Я — Даниил Бернулли». «А я, — саркастически ответил тот, — Исаак Ньютон». Даниил охотно вспоминал этот случай несколько раз, считая его самым искренним признанием своих заслуг, которое ему когда-либо довелось получать.
Даниил и Николай Бернулли были близкими друзьями Леонарда Эйлера, и они первыми поняли, что на их глазах происходит превращение блестящего математика в самого заурядного теолога. Они обратились к Паулю Эйлеру и упросили его разрешить Леонарду оставить теологию ради чисел. Эйлер-старший сам в прошлом изучал математику у старшего Бернулли, Якоба, и испытывал к семье Бернулли глубочайшее почтение. С большой неохотой Пауль Эйлер был вынужден признать, что его сын рожден не для молитв, а для вычислений.
Вскоре Леонард Эйлер покинул Швейцарию, сменив родной Базель на дворцы Берлина и Санкт-Петербурга, где он и провел б?льшую часть своей творческой жизни. В эпоху Ферма математиков считали любителями жонглировать числами, но к началу XVIII века их уже рассматривали как профессиональных «решателей задач». Культура чисел резко изменилась, и произошло это отчасти благодаря сэру Исааку Ньютону и его научным результатам.
Ньютон полагал, что математики лишь впустую тратят время, поддразнивая друг друга пустыми и никчемными задачами-головоломками. Вместо этого он вознамерился применять математику к физическому миру и вычислять все, что только можно, — от орбит планет до траекторий пушечных ядер. К тому времени, когда Ньютон умер (это произошло в 1727 году), в Европе произошла научная революция. В тот же год Эйлер опубликовал свою первую работу. И хотя она содержала изящные и свежие математические идеи, ее главная цель состояла в описании решения одной технической проблемы, связанной с постановкой мачт на парусных кораблях.
Европейские державы не были заинтересованы в использовании математики для изучения эзотерических и абстрактных понятий; математика была им необходима для решения практических проблем, и правительства состязались в привлечении к себе на службу лучших умов. Эйлер начал свою математическую карьеру в России, затем его пригласил в Берлинскую академию король Пруссии Фридрих Великий. В царствование Екатерины Великой Эйлер вернулся в Россию, где он и провел последние годы жизни. За годы своей деятельности Эйлер решил множество задач из самых различных областей — от навигации до финансов, от акустики до ирригации. Практический мир решения насущных проблем не притупил математические способности Эйлера. Наоборот, для решения каждой новой проблемы Эйлер изобретал новый остроумный математический подход. Столь «односторонняя» направленность его ума приводила к тому, что в иной день Эйлеру случалось писать по несколько работ. Рассказывают, что между первым и вторым приглашением к обеденному столу Эйлер как-то раз попытался выполнить вычисления, заслуживающие публикации. Эйлер не терял ни минуты. Укачивая одной рукой младенца в колыбели, он другой рукой набрасывал доказательство теоремы.
Одним из величайших достижений Эйлера стала разработка алгоритмического мышления. Отличительная особенность эйлеровских алгоритмов состояла в том, что они предназначались для решения проблем, казавшихся неразрешимыми. Одной из таких проблем было высокоточное предсказание фаз Луны — информация о фазах Луны имела жизненно важное значение для составления таблиц, необходимых для мореплавания. Еще Ньютон показал, что можно сравнительно легко предсказывать орбиту одного тела, обращающегося вокруг другого, но в случае Луны ситуация не столь проста.
Луна обращается вокруг Земли, но третье тело — Солнце — существенно усложняет картину. Земля и Луна притягивают друг друга, а Солнце возмущает положение Земли и сталкивает Луну с ее идеальной орбиты вокруг Земли. Уравнения позволяли описать поведение Земли и Луны, но математики XVIII века не умели учитывать в своих вычислениях влияние третьего тела. Даже сегодня невозможно предсказать, как будет вести себя точное решение этой задачи (класс таких задач называется «задачей трех тел»). Эйлер понял, что мореплавателям нет необходимости знать фазу Луны с абсолютной точностью — вполне достаточно такой точности, которая позволяет определить положение судна с точностью до нескольких морских миль. И он разработал рецепт, позволяющий получать не идеальное, а достаточно точное решение. Такой рецепт, называемый алгоритмом, позволяет получить сначала весьма приближенное, грубое решение. Затем это решение можно ввести в качестве исходных данных в тот же алгоритм и получить уже более точное решение. В свою очередь, уточненное решение, если его также ввести в алгоритм, порождает еще более точное решение, и т. д. После ста или около того итераций Эйлер получил возможность определить положение Луны с точностью, достаточной для нужд мореплавания. Свой алгоритм Эйлер представил британскому Адмиралтейству и получил награду в триста фунтов стерлингов.
Эйлер заслужил репутацию человека, способного решить любую поставленную ему задачу, причем не только математическую. В бытность свою при дворе Екатерины Великой он встретил великого французского философа Дени Дидро. Тот был убежденным атеистом и пытался обратить в атеизм представителей русской знати. Разгневанная этим Екатерина обратилась к Эйлеру с просьбой пресечь деятельность французского безбожника.
Эйлер поразмыслил над просьбой императрицы и объявил, что располагает алгебраическим доказательством существования Бога. Екатерина Великая пригласила Эйлера и Дидро во дворец и собрала на теологический спор всех придворных. Эйлер встал перед аудиторией и заявил:
«Сир! (a + bn )/n = x , следовательно Бог существует. Что Вы имеете возразить?»
Дидро не был силен в алгебре и не мог ничего возразить величайшему математику Европы. Ему оставалось только безмолвствовать. Потерпев унизительное поражение, он покинул Санкт-Петербург и вернулся в Париж. Эйлер же на какое-то время вернулся к занятиям теологией и опубликовал еще несколько шутливых доказательств относительно природы Господа Бога и человеческого духа.
Более «земная» задача, привлекшая внимание Эйлера, большого любителя головоломных проблем, связана с прусским городом Кёнигсбергом (ныне — российский город Калининград). Город стоит на берегах реки Прегили и состоит из четырех частей, соединенных между собой семью мостами. План города схематически изображен на рис. 7. Некоторые из любопытных жителей Кенигсберга заинтересовались, можно ли обойти все семь мостов, не переходя ни по одному из них дважды. Кое-кто из обитателей Кенигсберга попытался проложить различные маршруты, но ничего хорошего из этого не вышло. Эйлеру также не удалось обойти все семь кёнигсбергских мостов, побывав на каждом только один раз, но зато он сумел объяснить, почему сделать это невозможно.
Рис. 7. Река Прегиль делит Кёнигсберг на четыре несвязанные части A, B, C и D. Различные части города соединены между собой семью мостами. Можно ли обойти все семь мостов побывав на каждом один и только один раз?
Рис. 8. Упрощенная схема семи кёнигсбергских мостов
Эйлер взял план города и заменил его упрощенной схемой, на которой части города изображены точками (узлами), а мосты — линиями (ребрами), как на рис. 8. Затем Эйлер стал рассуждать так. Чтобы существовал маршрут, позволяющий обойти ровно по одному разу все мосты, каждая точка на схеме должна принадлежать четному числу линий. Это связано с тем, что в середине обхода путешественник, проходя какую-то из частей города, должен войти в нее по одному мосту, а выйти — по другому. Из этого правила существуют лишь два исключения: когда путешественник начинает или завершает обход. В самом начале обхода путешественник покидает некую часть города, и для выхода из нее необходим только один-единственный мост. Если обход начинается и заканчивается в различных частях города, то число мостов, ведущих к каждой из них нечетно. Но если обход начинается и заканчивается в одной и той же части города, то соответствующая ей точка на схеме, как и все другие точки, должна принадлежать четному числу линий (т. е. эта часть города должна быть соединена с другими частями четным числом мостов).
Таким образом, заключил Эйлер, какой бы ни была сеть мостов, обойти все мосты, побывав на каждом по одному и только одному разу, можно только в том случае, если все части города соединены с другими четным числом мостов или если ровно две части города соединены с другими частями нечетным числом мостов. В Кенигсберге город подразделяется всего на четыре части, — и все они соединены с другими частями нечетным числом мостов. На схеме Кенигсберга три точки принадлежат трем линиям, а одна — пяти линиям. Тем самым Эйлер не только сумел объяснить, почему все семь кёнигсбергских мостов невозможно обойти, побывав на каждом один и только один раз, но и придумал правило, применимое к любой сети мостов в любом городе мира. Рассуждения Эйлера отличаются замечательной красотой. По-видимому, такого сорта логические задачи Эйлер и любил решать за обедом.
Задача о семи кёнигсбергских мостах принадлежит к числу так называемых задачах о графах в прикладной математике. Именно она побудила Эйлера к рассмотрению более абстрактных графов. В ходе своих исследований Эйлер открыл фундаментальную истину, относящуюся ко всем графам, — так называемую формулу Эйлера для графов, которую ему удалось доказать за несколько логических шагов. Формула Эйлера для графов выражает незыблемое соотношение между тремя элементами любой графа:
V — R + L = 1,
где
V — число вершин (узлов, или пересечений) в графе,
R — число линий (ребер) в графе,
L — число замкнутых областей в графе.
Таким образом, по утверждению Эйлера, если к числу вершин любого графа прибавить число замкнутых областей и вычесть число его ребер — результат всегда окажется равен единице. Например, все графы на рис. 9 удовлетворяют формуле Эйлера.
Вершины = 4
Области = 3
Линии = 6
Вершины = 6
Области = 1
Линии = 6
Вершины = 5
Области = 10
Линии= 6
Рис. 9. Различные графы, удовлетворяющие формуле Эйлера
Рис. 10. Эйлер доказал свою формулу для графов, продемонстрировав, что она выполняется для простейшего графа, а затем показав, что формула остается верной при любых «дополнениях» к единственной вершине
Можно проверить формулу Эйлера на целой серии графов, и всякий раз она оказывается верной; возникает искушение предположить, что формула Эйлера верна для всех графов.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36