«Эйлер. Математический анализ»

744

Описание

Леонард Эйлер, без всякого сомнения, был самым выдающимся математиком эпохи Просвещения и одним из самых великих ученых в истории этой науки. Хотя в первую очередь его имя неразрывно связано с математическим анализом (рядами, пределами и дифференциальным исчислением), его титаническая научная работа этим не ограничивалась. Он сделал фундаментальные открытия в геометрии и теории чисел, создал с нуля новую область исследований — теорию графов, опубликовал бесчисленные работы по самым разным вопросам: гидродинамике, механике, астрономии, оптике и кораблестроению. Также Эйлер обновил и установил систему математических обозначений, которые очень близки к современным. Он обладал обширными знаниями в любой области науки; его невероятный ум оставил нам в наследство непревзойденные труды, написанные в годы работы в лучших академиях XVIII века: Петербургской и Берлинской.



Настроики
A

Фон текста:

  • Текст
  • Текст
  • Текст
  • Текст
  • Аа

    Roboto

  • Аа

    Garamond

  • Аа

    Fira Sans

  • Аа

    Times

Эйлер. Математический анализ (fb2) - Эйлер. Математический анализ [До предела чисел] 2638K скачать: (fb2) - (epub) - (mobi) - Хоакин Наварро

Наука. Величайшие теории: выпуск 20: До предела чисел. Эйлер. Математический анализ.

Пер. с итал. — М.: Де Агостини, 2015. — 160 с.

ISSN 2409-0069

©Joaquin Navarro Sandalinas, 2012 (текст)

© RBA Collecionables S.A., 2012

© ООО «Де Агостини», 2014-2015

Еженедельное издание

Введение

В 2007 году весь мир отмечал 300-летие со дня рождения знаменитого швейцарского математика, физика и инженера Леонарда Эйлера. Отдельные ученые и научные организации организовывали конгрессы, симпозиумы, подготавливали публикации, посвященные его наследию. По значению и влиянию работ Эйлера ставят в один ряд с подлинными гигантами науки, такими как Ньютон и Эйнштейн.

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

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

К необыкновенной разносторонности интересов ученого надо добавить еще один фактор, затрудняющий получение общего представления о его научной деятельности,— его уникальную продуктивность. Эйлер был одним из самых плодовитых, если не самым плодовитым математиком в истории. Его труды были частично каталогизированы Густавом Энестромом и идентифицируются, как оперы знаменитых музыкантов, по номеру. Произведения Моцарта обозначаются буквой К (по фамилии составителя, Кёхеля), а Эйлера — Э (от Эне- строма). Число Э составляет 866. Но этот список далеко не полный; предполагается, что полное собрание сочинений Эйлера {Opera Omnia), которое начали издавать в 1911 году, должно составить 90 томов по 450 страниц. Эйлер сам признавался, что иногда карандаш переставал ему подчиняться и писал быстрее, чем он того хотел. Переписка Эйлера, известная сегодня, состоит из 3000 писем. Его статьи и книги составляют примерно треть всех трудов по математике, физике и механике, написанных между 1726 и 1800 годами. Такая продуктивность кажется еще более невероятной, если учесть, что Эйлер на протяжении 35 лет страдал косоглазием (это подтверждает и его знаменитый портрет 1753 года) и был полностью слеп в последующие 22 года жизни.

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

Еще одним обстоятельством, навсегда изменившим интеллектуальную жизнь, стало появление периодических научных журналов. До этого, за исключением книг, которые авторы часто печатали на свои собственные средства, об открытиях узнавали из писем или путешествий. Появление таких изданий, как Philosophical Transactions, Comptes rendus, Memoires de VAcademie и Journal de Crelle, сделало доступным самому широкому кругу то, что раньше было привилегией немногих избранных. Эйлер, в частности, активно пользовался этими средствами коммуникации.

Жизнь Эйлера можно разделить на четыре основных периода: первый, до 1727 года — обучение; затем 14 лет в Академии наук, основанной Петром I в Санкт-Петербурге; до 1766 года — работа в Берлинской академии наук; наконец, возвращение в Россию, где он и умер. В конце первого периода, ознаменовавшегося знакомством с братьями Бернулли, которые разглядели в ученом интерес к анализу, Эйлер сделал одно из самых важных своих открытий — формулу, позже названную его именем. При помощи математической константы е она связывает комплексное число i и тригонометрические функции синус и косинус:

exi = cosx + isinx.

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

Первый русский период Эйлера можно считать самым плодотворным в его научном творчестве. Как можно предположить, зная о продуктивности Эйлера, открытия, совершенные в это время, настолько многочисленны, насколько и удивительны.

Только в области анализа ученый нашел способ точного вычисления числа е и определил многие его свойства; открыл гамма-функцию (Г), которая позволяет интерполировать значения функций определенного вида и используется в комбинаторике, теории вероятностей, теории чисел и физике; открыл формулу Эйлера — Маклорена для вычисления сумм и интегралов; решил (и впоследствии обобщил полученные результаты) Базельскую задачу, поставившую вопрос о сумме ряда

1 + 1/2 + 1/3 + 1/4 + ...

К этому же периоду относятся важные работы по теории чисел, такие как определение постоянной Эйлера — Мас- керони, изучение так называемых чисел Ферма и решение задачи о мостах Кенигсберга в 1736 году, приведшее к созданию совершенно новой области математики — теории графов. В 1741 году Эйлер принял предложение Фридриха Великого, короля Пруссии, и переехал в Берлин. Ученый продолжал делать одно открытие за другим. Среди них мы можем упомянуть о формуле для многогранников, связывающей грани (F), ребра (S) и вершины ( V) многогранника простым и неожиданным для геометров того времени образом:

C - A + V = 2,

а также определение прямой Эйлера. К этому периоду относятся работы над проблемой Гольдбаха, самой знаменитой теоремой о числах после Великой теоремы Ферма, и исследования в области вариационного исчисления, имевшего огромное значение для физики. Именно в Берлине Эйлер написал трактаты, посвященные анализу (возможно, это самые гениальные его сочинения), а также труды по инженерному делу и механике.

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

1707 15 апреля в Базеле, Швейцария, родился Эйлер.

1720 При поддержке Иоганна Бернулли Эйлер в возрасте всего лишь 13 лет поступает в Базельский университет.

1723 Получает степень магистра философии за сравнительный анализ идей Декарта и Ньютона.

1727 Не получив место профессора физики в Базельском университете, переезжает в Россию.

1731 Становится профессором физики в Петербургской академии наук. Положение, которое он теперь занимает, делает его фигуру одной из самых влиятельных среди ученых.

1734 Женится на Катерине Гзель, дочери художника Академии. У них будет 13 детей, из которых выживут только пять.

1735 Ученый начинает терять зрение, что, тем не менее, не мешает ему решить знаменитую Базельскую задачу и прославиться в научном мире.

1736 Выходит первая книга Эйлера. Он решает задачу о мостах Кенигсберга. Известность ученого продолжает расти.

1741 Принимает предложение Фридриха II, короля Пруссии, и вместе с семьей переезжает в Берлин, где получает место в Академии.

1742 Эйлер и Гольдбах в переписке обсуждают задачу, позже названную проблемой Гольдбаха.

1748 Эйлер публикует один из самых известных своих трудов — 4 Введение в анализ бесконечно малых", — в котором рассматривает в основном математические функции.

1755 Издается еще одна фундаментальная работа ученого — "Дифференциальное исчисление".

1766 Вследствие идейных расхождений с Фридрихом II Эйлер снова уезжает в Россию.

1768 Выходит третье сочинение Эйлера

1770 по математическому анализу — "Интегральное исчисление".

1771 На здоровом глазу Эйлера образуется катаракта. Он полностью теряет зрение, но это только улучшает его способности считать в уме.

1783 18 сентября в Санкт-Петербурге Эйлер умирает от кровоизлияния в мозг.

ГЛАВА 1 Базель, колыбель великого математика

Базель был прекрасным местом для начала научной карьеры, особенно в области математики.

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

Именно они оказали покровительство молодому и многообещающему Эйлеру и привили ему любовь к анализу, которую он пронес через всю свою жизнь.

Базель — город в Швейцарии, занимающий стратегическое положение у границы с Францией и Германией. Он расположен на берегу Рейна недалеко от водопадов, которые делают невозможным речную навигацию. Сейчас в нем вместе с пригородами проживает 750 тысяч человек. Здесь находится самый старый в Швейцарии университет и многочисленные исторические памятники. В Базеле родились и жили такие выдающиеся деятели, как Андреас Везалий, Карл Густав Юнг, Эразм Роттердамский, Фридрих Ницше и Парацельс, а также семья Бернулли. Сегодня самый известный житель Базеля — теннисист Роджер Федерер. Более образованные горожане предпочитают упоминать Эразма Роттердамского, который, хоть и родился не здесь, жил и умер в Базеле. Среди ученых и в особенности математиков самым выдающимся сыном Базеля считается Леонард Эйлер, родившийся здесь более 300 лет тому назад.

Эйлер был математиком, инженером, физиком, астрономом, философом, архитектором, музыкантом и иногда теологом, одним из самых влиятельных ученых XVIII века и одним из самых плодовитых в истории науки. Его именем названо множество математических явлений. Привести их полный список было бы проявлением излишнего педантизма, но в качестве примера необходимо упомянуть хотя бы эти: формула Эйлера, углы Эйлера, характеристика Эйлера — Пуанкаре, прямая Эйлера, формула Эйлера — Маклорена, теорема Эйлера — Лагранжа, теорема вращения Эйлера, теорема Эйлера о треугольниках, эйлеров цикл, круги Эйлера, эйлеров параллелепипед и еще около 140 названий, в зависимости от источника.

ЭЙЛЕР И СЕМЬЯ БЕРНУЛЛИ

Семья Эйлера ничем не была примечательна. Его отец, Пауль Эйлер, был пастором, а мать, Маргарита Брукер, — домохозяйкой и дочерью пастора. Леонард был старшим из четырех детей, у него было две сестры — Анна Мария и Мария Магдалена — и брат Иоганн Генрих, ставший довольно известным художником.

У Пауля Эйлера было неплохое математическое образование, поскольку в свое время он учился у Якоба Бернулли (1654-1705), выдающегося математика и основателя знаменитой династии, а также дружил с его братом Иоганном (1667— 1748), который был младше Якоба на 13 лет. Леонард Эйлер родился 15 апреля 1707 года. Отец хотел, чтобы он тоже стал пастором и в надлежащее время начал "пасти своих овец", но сыну была уготована другая судьба.

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

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

Гений Эйлера проявился в очень раннем возрасте: в 13 лет он поступил в университет, в 1723 году стал магистром философии, написав работу о теоретических различиях вселенных, вытекающих из учений Декарта и Ньютона. Иоганн Бернулли продолжал следить за успехами Эйлера и, хотя по характеру был очень скуп на похвалу, считал его гением.

СЕМЬЯ БЕРНУЛЛИ

Если попросить назвать четырех ученых, живших до XX века и занимающих математический олимп, то общепринятым ответом будет: Архимед, Ньютон, Эйлер, Гаусс. Если же попробовать выделить кого-то одного, задача усложнится. Многие проголосовали бы за разностороннего математика, представленного целой семьей Бернулли. Эта научная династия включала отцов, сыновей и братьев, которые оказывали влияние на науку на протяжении более 100 лет. В этой семье частенько возникали ссоры на почве математических расхождений, и некоторые из них имели серьезные последствия. Например, Якоб, основатель династии, написал в своем завещании, что запрещает своему брату Иоганну читать его научные записи; а тот, в свою очередь, обвинил своего сына Даниила в плагиате своей работы по гидродинамике. Более века (а точнее, 150 лет без перерыва) главой кафедры математики Базельского университета был представитель семьи Бернулли, и до середины XX века, то есть более 250 лет, в этом городе не было Бернулли без кафедры.

Значение семьи Бернулли

Самыми важными достижениями Бернулли считаются использование полярных координат, углубленное изучение лемнискаты и логарифмической спирали, решение различных задач по теории вероятностей и рядов, знаменитая задача по гидродинамике, названная их именем, и правило Бернулли — Лопиталя. Математический анализ получил огромное развитие именно благодаря этой семье и, усилиями Иоганна, стал любимой дисциплиной Эйлера.

Гравюра 1784 года, изображающая Иоганна и Якоба Бернулли, занятых решением геометрических задач.

ИОГАНН БЕРНУЛЛИ, АНАЛИЗ И БРАХИСТОХРОНА

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

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

Он был не только великим математиком, но и настоящим кладом для историков, которые благодаря ему смогли узнать множество анекдотов, например о случае с маркизом де Ло- питалем (1661-1704), богатым аристократом и великолепным математиком. Лопиталь заключил с Бернулли необычный интеллектуально-экономический договор: за плату маркиз получал право доступа к открытиям Иоганна и мог выдавать их за свои. Фундаментальные для математического анализа инструменты, такие как правило Лопиталя — Бернулли, увидели свет под именем маркиза, хотя на самом деле были открыты Иоганном. Великолепная книга маркиза де Лопиталя "Анализ бесконечно малых для исследования кривых линий" была встречена читателями с восторгом, но сегодня мы знаем, что авторство он должен разделить с Бернулли. После смерти маркиза Иоганн предъявил права на все, что на самом деле было открыто им, но прошло некоторое время, прежде чем ему поверили.

В июне 1696 года, еще до рождения Эйлера, на страницах первого научного журнала в истории Acta emditorum ("Деяния ученых"), издаваемого в Лейпциге, Иоганн Бернулли бросил вызов своим коллегам: на основе заданных точек А и В, где А находится на высоте, отличной от В, найти траекторию, которую опишет тело, двигаясь от одной точки к другой под действием только силы притяжения. Разумеется, у самого Иоганна уже было решение (которое, как выяснилось позже, было не совсем верным), и он просто хотел проверить своих коллег и в особенности брата Якоба. В мае 1697 года в Acta eruditorum были опубликованы правильные результаты, в которых искомой кривой признавалась циклоида с началом в точке А и максимумом в В (см. рисунок).

Циклоида — это кривая, описанная точкой на окружности, которая катится по прямой.

Среди знаменитых ученых, нашедших правильное решение, были Лейбниц и Якоб Бернулли. Превосходное, но анонимное решение пришло из Лондонского Королевского общества. Прочитав его, Иоганн понял, что за ним стоял гениальный Ньютон. Считается, что он сказал фразу "лев узнается по своим когтям", которая стала популярной как аллегорическая похвала английскому ученому.

Как мы уже видели, циклоида — это кривая, которая в определенном случае может быть названа брахистохроной (от греческого "брахистос" — "самый короткий" и "хронос" — "время"). Все вышеперечисленные события вошли в историю математики как задача о брахистохроне. Много лет спустя Эйлер также обратился к циклоиде и брахистохроне, занимаясь вариационным исчислением — сильнейшим методом, созданным им вместе с Жозефом Луи Лагранжем (1736-1813) и оказавшим огромное влияние на развитие механики.

ПЕРВЫЕ ШАГИ ГЕНИЯ

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

В 1726 году, в возрасте 19 лет, Эйлер уже был доктором наук. Его диссертация — назовем эту работу современным термином — была посвящена распространению звука и называлась Dissettatio physico de sono ("Диссертация по физике о звуке"). Научным руководителем юноши был Иоганн Бернулли. Эта работа могла обеспечить Эйлеру оставшуюся свободной кафедру в Базельском университете, но это было маловероятно, учитывая его юный возраст. Как и следовало ожидать, должности он не получил.

В 1727 году Эйлер принял участие в Grand Prix Парижской академии наук, предложив решение задачи о том, где лучше всего размещать мачты на корабле. Нельзя не увидеть в этом иронию судьбы: конкурс, посвященный навигации, собирался выиграть "сухопутный" Эйлер. Как пишет биограф Эйлера Эмиль Фельман, самой большой массой воды, которую тот видел в своей жизни, был Рейн, поэтому, как и большая часть населения Швейцарии, юноша был чрезвычайно далек от вопросов навигации. Так или иначе, Эйлер принял участие в конкурсе и, хоть и не выиграл его, получил медаль с отличием и приобрел известность в научном сообществе. Победителем стал Пьер Бугер, ординарный профессор 28 лет и непревзойденный специалист по гидродинамике. Юный Эйлер, изучив работы Вариньона, Галилея, Декарта, Ньютона, Ван Схотена, Германа, Тейлора, Валлиса и Якоба Бернулли, начинал демонстрировать первые проблески своего гения.

СПИРАЛЬ БЕРНУЛЛИ

Якоб Бернулли, как истинный геометр, был поражен характеристиками и видом логарифмической спирали, этой винтообразной кривой, упрощенное уравнение которой в полярной системе координат выглядит так: r = аα, где радиус r экспоненциально зависит от угла α. Ее называют spira mirabilis (удивительная спираль). Очарование Бернулли этой спиралью дошло до того, что он подал официальное прошение о том, чтобы она была высечена на его могиле вместе со словами Eadem mutata resurgo (измененная, я вновь воскресаю). Сказано — сделано. Однако Бернулли не принял в расчет скульптора, делавшего надгробие. Вместо логарифмической спирали тот высек архимедову спираль, поскольку для мраморных дел мастера все они были одинаковы. Зная, каким вспыльчивым характером обладает младший брат Якоба, которому тот передал свою страсть к этой спирали, можно только надеяться, что Иоганн не встретил скульптора на том свете.

На надгробии Якоба Бернулли была высечена не логарифмическая спираль, а спираль Архимеда (см. нижнюю часть иллюстрации), в которой расстояние между витками одинаково.

Логарифмическая спираль не имеет ни начала, ни конца. В природе она встречается в приближенном виде — спираль ураганов и некоторых галактик.

Тем временем выдающиеся математики из разных государств Европы (в особенности Германии и стран, находившихся под ее культурным влиянием), работавшие в то время в России, плели целую сеть, чтобы поймать в нее многообещающего молодого ученого. Одним из них был Кристиан Гольдбах (1690— 1764), с которым Эйлер вел переписку уже на протяжении нескольких лет и о котором мы поговорим позже.

Царь России Петр I (1672-1725), прозванный Великим, придерживался прозападных взглядов. Одним из способов интеграции своей обширной империи в европейскую цивилизацию было создание Российской академии наук по образу академий Парижа и Берлина или Лондонского королевского общества — оплотов просвещения и науки того времени.

Петр поручил искать талантливых ученых, готовых переехать в Россию. Николай и Даниил Бернулли, двое из четырех сыновей Иоганна, с которыми Эйлер был очень дружен и которые уже работали в Санкт-Петербурге, где впоследствии была открыта Академия, с согласия Гольдбаха горячо рекомендовали молодого Эйлера. Николай скоропостижно скончался от внезапного приступа аппендицита, и его место сразу же предложили Эйлеру. Тот согласился. Математик сделал это без особой охоты, но в Базеле отсутствовали какие-либо перспективы, и это стало решающим фактором.

ВКЛАД ЭЙЛЕРА В СОЗДАНИЕ МАТЕМАТИЧЕСКОЙ НОТАЦИИ

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

ПЬЕР БУГЕР, ОТЕЦ КОРАБЛЕСТРОЕНИЯ

Имя Пьера Бугера (1698-1758) редко упоминается в книгах по математике — в основном только в связи с ее применением в гидрографии. В этой области Бугер считается бесспорным авторитетом. Он также является одним из отцов кораблестроения. Дарование этого бретонского ученого проявилось уже в раннем возрасте: в 15 лет он обладал такими глубокими знаниями по физике и математике, что после смерти своего отца, одного из крупнейших специалистов того времени, занял его место на кафедре гидрографии. В 1727 году, когда Бугеру не было еще и 30 лет, он выиграл Grand Prix Парижской академии, решив задачу о наилучшем расположении мачт на корабле, после чего побеждал в этом конкурсе еще два раза. Эйлер в тот раз занял второе место, но впоследствии одерживал победу 12 раз.

Статуя Пьера Бугера недалеко от Луары, в его родном городе Круазик.

Наследие Бугера

Едва Бугеру исполнилось 30 лет, как он сделал важнейшие открытия в фотометрии, проанализировав уменьшение света при прохождении слоев воздуха. В1747 году он изобрел гелиометр, впоследствии усовершенствованный Йозефом Фраунгофером (1787-1826) и позволивший сделать множество открытий в спектрографии в частности и в физике в целом. В 37 лет Бугер вместе с Шарлем Мари де ла Кондамином и Луи Годеном отправился в научную экспедицию в Перу. Ее целью было определить длину градуса меридиана, и в результате был установлен факт расширения земного шара в области экватора. Бугер также открыл гравитационную аномалию, названную его именем. В 1746 году он опубликовал "Трактат о корабле, его построении и движении", ставший главным трудом по кораблестроению той эпохи. В нем стабильность корабля измеряется по положению его метацентра, или киля. Ученый был избран членом Лондонского королевского общества, а слава его символически достигла небес — его именем были названы кратеры на Луне и Марсе. В истории математики Бугера помнят из-за довольно простого, но чрезвычайно полезного нововведения: в 1752 году он предложил использовать символы ≤ и ≥

словесный текст символами и символическими обозначениями. Хорошая система знаков устанавливает общие правила их использования и позволяет нам понимать друг друга. Современная система математических знаков несовершенна, но намного более развита по сравнению с прошлыми эпохами. С ее помощью можно записать практически любое математическое сообщение с существенной экономией выразительных средств. Если же мы попробуем прочитать классический математический текст, написанный до Франсуа Виета (1540-1603), создателя современной алгебраической терминологии, это окажется совсем непростой задачей. Без использования символов все понятия должны быть выражены обычным языком, при этом не избежать частых повторений и тяжеловесных фраз. Приведем один пример.

Сегодня теорему Пифагора можно было бы сформулировать следующим образом:

В треугольнике со сторонами а, b и c, угол А = 90º <=> а2 = b2 + с2.

У Евклида же она записана в двух частях (книга 1, предложения 47 и 48):

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

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

Один из самых известных портретов Эйлера" написанный Якобом Эмануэлем Хандманом в 1753 году, когда ученый жил в Берлине. На картине уже заметна болезнь глаз, от которой Эйлер страдал с 1735 года. Ученый ослеп сначала на один глаз, а затем на другой, но никогда не прекращал интенсивных занятий математикой.

— π: ни один из знаков, введенных Эйлером, не имел такого успеха, как π — символ соотношения между длиной окружности и ее диаметром, иррациональное и трансцендентное число, приблизительно равное π = 3,1415926535... Впервые эта греческая буква была использована англичанином Уильямом Джонсом (1675- 1749), который выбрал ее потому, что с нее начиналось слово "периферия", но именно Эйлер сделал ее знаменитой, опубликовав в 1748 году свою книгу "Введение в анализ бесконечно малых".

— Постоянная е: Эйлер впервые обозначил символом "е" основание натуральных логарифмов еще в письме Гольдбаху 1731 года, говоря о пределе

limn→∞(1 + 1/n)n

и о сумме бесконечного ряда:

e = 1 + 1/1 + 1/(1·2) + 1/(1·2·3) + 1/(1·2·3·4 + ...)

Тем не менее только в уже упомянутом "Введении..." Эйлер углубил и развил свои идеи относительно е и даже вычислил первые 26 цифр:

е = 2,71828182845904523536028747...

Почему Эйлер выбрал именно букву е, неизвестно. Существует мнение, что выбор пал на нее, поскольку это первая буква его собственного имени или слова "экспонента", но это всего лишь догадка.

— i: на протяжении большей части своей жизни Эйлер, не обладая строгим и правильным определением предела, записывал как

ex = (1 + x/i)i,

то, что сегодня мы бы записали как

ex = limn→∞(1 + x/n)n.

В этом примере буква i символизирует бесконечное число. Но в 1777 году ученый передумал и стал использовать ее для обозначения мнимой единицы (комплексного числа). Статья 1777 года была опубликована только в 1794 году, но Гаусс, а с ним и все математическое сообщество, сразу же начали использовать i. Эта буква была выбрана как первая в немецком слове "мнимый".

— у = ƒ(x): Эйлер стал первым ученым, использовавшим современное понятие функции, связав заданное значение х с получившимся значением у посредством соотношения, названного ƒ. Область определения и значений ƒ были четко обозначены. Функция появляется уже в 1734-1735 годах в Commentarii academiae scientiarum imperialis Petropolitanae — первом журнале Петербургской академии наук. И хотя современное понятие функции немного отличается от того, которое имел в виду Эйлер, нельзя не признать, что он сделал огромный шаг вперед в том, что касается ясности определений и описания.

— Σ (сигма): Эйлер выбрал эту букву для обозначения суммы последовательности чисел, подчиняющейся какому-либо правилу, которое записывается над или под символом. В общем случае сумма элементов х, где i — "счетчик" слагаемых, идущих от m до n, записывается так:

Σi=mnxi = xm + xm+1 + xm+2 + ... + xn-1 + xn.

Сигма — греческий аналог буквы "с", с которой начинается слово "сумма", поэтому ее использование кажется вполне логичным. В течение жизни Эйлер вычислил сотни таких последовательностей, многие из которых были бесконечными. При n = ∞ последовательность называется рядом. Возможно, самая знаменитая в своей простоте последовательность Эйлера — это последовательность из Базельской задачи, которую он вычислил в 1735 году, на пике своего математического творчества (мы поговорим о ней подробней в следующей главе):

Σn=1∞1/n2  = π2/6.

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

— Заглавные и строчные буквы: в любом треугольнике стороны обозначаются строчными буквами, а соответствующие углы — теми же буквами, но заглавными (рисунок 1).

РИС. 1

РИС . 2

РИС 3

Аналогичным образом буквами R и г обозначаются соответственно радиусы описанной (рисунок 2) и вписанной окружностей (рисунок 3).

— Использование первых букв алфавита (обычно строчных) — а, b, с, d — для обозначения известных величин в уравнениях, и последних — х, у, z, v — для неизвестных величин.

— Сокращенные латинские формы sin, cos, tang, cot, sec и cosec Эйлер впервые использовал в 1748 году в своей книге "Введение в анализ бесконечно малых" для обозначения тригонометрических функций. Затем они были адаптированы к разным языкам, хотя сейчас фактически универсальным является их английский вариант: sin х, cos х, tan х (в русской традиции tg x), cot х (или ctg х), sec х и cosec х.

— Обозначение для конечных разностей: это вычислительный инструмент, немного похожий на производные. Он не использует понятие предела и так называемые бесконечно малые. Конечные разности встречаются уже у Ньютона (1642-1727), Джеймса Грегори (1638-1675) и Колина Маклорена (1698-1746) и позволяют вычислять неизвестные многочлены на основе их значений, а также интерполировать и изучать последовательности и ряды. Изобретение компьютеров сделало их еще полезнее. Эйлер посвятил много сил изучению конечных разностей. Их обозначения, которые сегодня встречаются в книгах, принадлежат ему. В самом простом случае для последовательности {ui} разность двух соседних членов будет обозначаться ∆:

∆uk = uk+1 - uk.

Последующие конечные разности (второго порядка ∆2, третьего порядка ∆3, четвертого порядка ∆4 и так далее) определяются, исходя из разностей первого порядка с помощью рекурсии, то есть каждая использует предыдущую:

∆puk = ∆(∆p-1uk).

Таким образом строго определяются конечные разности любого порядка — ∆, ∆2, ∆3,... — и с ними можно работать.

ПЕРВОЕ ФУНДАМЕНТАЛЬНОЕ ОТКРЫТИЕ: КОМПЛЕКСНЫЕ ЧИСЛА И ОТРИЦАТЕЛЬНЫЕ ЛОГАРИФМЫ

В серии работ, начатых еще в Базеле, Эйлер открыл формулу комплексных чисел, впоследствии ставшую знаменитой. Он использовал ее для нахождения значения математической категории, до той поры неизвестной, — отрицательных логарифмов. Как мы уже сказали, для обозначения мнимой единицы, √-1, Эйлер использовал символ i.

С этого момента подразумевается, что если в арифметической формуле есть i, то

i= √-1.

Во время работы в Базеле Эйлер открыл формулу

exi = cos x + isin x

и преобразовал ее так, как только он, великий жонглер символами, был способен. Из этого простого выражения, известного как формула Эйлера, которое связывает комплексные числа с тригонометрией, в последующие столетия произошла, как мы увидим в главе 3, большая часть математического анализа.

Во времена Эйлера пользовались большой популярностью логарифмы — инструмент вычисления, открытый в XVI веке. Однако их потенциал оставался невостребованным вплоть

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

N = αx,

то говорится, что х — логарифм N и пишется х = log2N. Или:

N = αlogN.

Если основание логарифма — число е, то пишется In N вместо log N.

Господа: это абсолютно верно и совершенно парадоксально, мы не можем понять этого и не знаем, что это означает, но мы это доказали и, следовательно, знаем: это правда.

Бенджамин Пирс (1809-1880), профессор Гарварда о так называемой

ФОРМУЛЕ КОМПЛЕКСНЫХ ЧИСЕЛ ЭЙЛЕРА

Число -1 можно записать как -1 =1 + 0i и, следовательно, рассматривать его в качестве комплексного числа. Подставим его в формулу Эйлера:

-1 = 1 + 0i = cosπ + isinπ = exi.

Теперь рассмотрим только начало и конец этого равенства и используем натуральный логарифм:

In(-1) = In(exi) = πi.

Таким образом, Эйлер получил точное значение натурального логарифма от -1, отрицательного числа. На этом ученый приостановил интеллектуальную атаку на данную область и уехал в Санкт-Петербург. Только в 1751 году, почти 25 лет спустя, Эйлер обнародовал этот результат в надлежащем виде вместе со многими другими в фундаментальном труде "Введение в анализ бесконечно малых".

Как древние воины, которые продолжали выпускать стрелы даже при отступлении, Эйлер уехал в Россию и отложил изучение отрицательных логарифмов, продемонстрировав, тем не менее, свое будущее оружие.

ГЛАВА 2 Ряды, постоянные и функции: Эйлер в России

Уже в возрасте 20 лет Эйлер стал членом Петербургской академии наук. Так начался период его математического творчества, которому нет аналогов в истории данной науки. В это время ученый открыл гамма-функцию (Г), дал определение постоянной е и сделал другие важные открытия в анализе и теории чисел, а также нашел решения двух задач, имевшие значительные последствия: Базельской задачи и задачи о мостах Кенигсберга.

Эйлер ехал в Россию без особого энтузиазма: помимо сурового климата, его ждала страна, где пользовались другим алфавитом. Однако это было самой меньшей из трудностей, поскольку Эйлеру легко давались иностранные языки: он хорошо знал латынь, греческий, французский и немецкий и добавил к этому списку еще и русский. Этим Эйлер отличался (в лучшую сторону) от других иностранных членов Академии. Здесь впервые появился заморский ученый, с которым можно было поговорить и чья речь была понятна, которому можно было писать, который потрудился научиться выражать свои мысли на местном языке. К тому же он обладал блестящей эрудицией и огромной любознательностью по отношению ко всему, что его окружало. Получив звание члена Академии картографии — один из многочисленных его титулов, — Эйлер восхищался российскими успехами и делал весьма лестные сравнения с западной картографией, с которой был знаком до этого.

По приезду в Санкт-Петербург он очутился в компании таких талантливых ученых, как Кристиан Гольдбах и Даниил Бернулли, а также других, родом из Германии или говоривших на немецком языке. Изначально Эйлер должен был обучать применению математики и механики в физиологии, но очень скоро молодой преподаватель отделения медицины стал профессором математики (в 1733 году), поработав между делом также и профессором физики (в 1731 году). Этот важнейший для него переход от физиологии к физике произошел благодаря настойчивым обращениям в Академию его коллег Якоба Германа (1678-1733) и Даниила Бернулли.

Работа в Российской академии оказалась для Эйлера чрезвычайно благоприятным периодом: он быстро продвигался по служебной лестнице и завел крепкую дружбу с Даниилом Бернулли и секретарем Академии Кристианом Гольдбахом. Он много писал, постоянно узнавал что-то новое и начинал формировать научный авторитет во всем мире. В 1733 году, когда статус и финансовое положение Эйлера уже позволяли содержать собственный дом и семью, он женился на Катерине Гзель, дочери художника Академии. У них было 13 детей, из которых выжили только пятеро.

ПЕТЕРБУРГСКАЯ АКАДЕМИЯ

Петр I хотел подтолкнуть развитие своей империи с помощью образования и распространения знаний. В результате своих путешествий по Европе, где он подружился с Лейбницем, в 1724-1725 годах Петр решил открыть в столице страны Академию наук (Academia Scientiarum Imperialis Petropolitanae). За образец были взяты правила и структура Парижской академии, которая зависела от государственной поддержки и субсидий. Начальный период работы Академии наук был непростым: к нестабильной политической ситуации в стране — где правили дети, регенты и царицы — добавлялись интриги и подковерная борьба за власть. Все это подтолкнуло Эйлера, обеспокоенного тем, какой оборот принимали события, переехать из Санкт-Петербурга в Берлин, то есть из одной академии в другую.

В 1735 году у ученого возникла серьезная глазная инфекция. Есть мнение, что он заболел из-за стресса, вызванного срочной работой по определению широты Санкт-Петербурга. Так или иначе, Эйлер на некоторое время ослеп на правый глаз. Несмотря на то что зрение постепенно к нему вернулось, спустя три года ученый снова потерял зрение на правом глазу, уже окончательно. Однако, если верить словам, приписываемым

Эйлеру, его дух не был сломлен этим бесповоротным ухудшением зрения: "Так даже лучше, я не буду отвлекаться".

Он производил вычисления без видимых усилий, как другие люди дышат или как парят орлы.

Доминик Франсуа Жан Араго (1786-1853)

В 1738 году он получил Grand Prix Парижской академии — за который также боролись Вольтер и Эмили дю Шатле — за свое эссе об огне. Два года спустя, в 1740 году, Эйлер снова выиграл, обогнав Даниила Бернулли и Колина Маклорена, в этот раз за эссе об отливах и приливах.

ГАММА-ФУНКЦИЯ

Сразу же по приезду в Санкт-Петербург Эйлер одно за другим начал делать открытия, которые оказали огромное влияние на его научную жизнь. Считается, что первым из его моментов славы стало создание функции Г (заглавная греческая буква "гамма*), базового инструмента математического анализа. Намеки на Г появлялись в переписке между Даниилом Бернулли и Кристианом Гольдбахом уже около 1720 года, но только в 1729 году Эйлер впервые дал ей определение, а в 1814 году Адриен Мари Лежандр (1752-1833) ввел обозначение "гамма", записав его так: Г(x). Гамма-функция часто появляется в распределении вероятностей и активно используется физиками.

Обычно ее можно встретить в описании явлений, требующих применения экспоненциальных интегралов, типичных для атомной физики; она также распространена в астрофизике, динамике жидкостей и сейсмологии. Эта функция применяется во многих областях математики, особенно в комбинаторике и, в частности, в анализе дзета-функций Римана, имеющих огромное значение в изучении простых чисел. Целью Эйлера было найти способ интерполяции, как это называлось в то время, заключавшейся в том чтобы, зная крайние значения переменной, вывести ее промежуточные значения естественным образом, не прибегая к искусственным методам. Рассмотрим пример. Так называемый факториал натурального числа л! в арифметике, впервые встречающийся у Кристиана Крампа (1760-1826), равен

n! = n(n - 1)(n -2) · ... · 3 · 2 · 1,

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

n n! 0 1 1 1 2 2 3 6 4 24 5 120 6 720 7 5040 8 40 320 9 362 880 10 3628 800 100 9,3326215444 · 10157 1000 4,0238726008 · 102567 10000 2,8462596809 · 1035659 100000 2,824229408 · 10456573

Факториал определен только для натуральных чисел; последовательность факториала прерывна. Интерполировать факториал означает продлевать его, пока не найдется непрерывная функция f(x) которая равна n!, когда значение х равно значению натурального n.

Почти банальным примером является понятие квадрата числа. Пусть дано натуральное число n, его квадрат будет равен n2 = n · n. Его можно интерполировать на любое вещественное число х, просто записав f(x) = х2. Эйлер интерполировал факториал n! и в 1729 году нашел непрерывную функцию f(x), которая вела себя как факториал, когда x = n был натуральным числом. Мы будем называть ее Г(х), что, собственно, и является ее современным обозначением. Эйлер определил значение

Г(x) в каждой точке посредством того, что сегодня мы бы назвали пределом:

Г(x) = limn→∞(n!nx)/(x (х+1)(х+2)...(х+n).

Сейчас вместо этого выражения используется интегральный вид:

Г(x) = ∫0∞ е-ttz-1dt.

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

Г(1 - z)Г(z) = π/sin(πz),

которая связывает гамма-функцию с числом π и тригонометрическими функциями.

ДРУГИЕ ФОРМЫ ГАММА-ФУНКЦИИ

Определить Г(х) можно разными способами. В XIX веке была особенно популярна формула Карла Вейерштрасса (1815-1897), в которой используется постоянная Эйлера (она обозначается буквой у" тоже "гамма", но строчная):

Г(z) = e-γz/z ∏n=1∞(1 + z/n)-1ez/n

Для этой функции верно:

Г(1)=1

Г(1 + х) = хГ(х).

При помощи гамма-функции выводится знаменитая формула Стирлинга (1692-1770), которая считается образцом красоты символов, поскольку в ней гармонически сочетаются постоянные π,е и число n:

n! = √(2πn)(n/e)n

И наконец, скажем о связи между гамма и дзета-функцией ξ(z). Последняя имеет огромное значение в теории чисел, в частности в интереснейшей области простых чисел:

ξ(z)Г(z) = ∫0∞tz-1/(et-1)dt.

БЕТА-ФУНКЦИЯ

Изучая гамма-функцию, Эйлер натолкнулся на еще одну, получившую название "бета" и обозначенную буквой В. Она также очень полезна в области анализа, и ее можно определить разными способами. Один из них — с помощью интеграла:

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

В(х,у) = Г(x)Г(y)/Г(x+y).

ЧИСЛА ФЕРМА

После изучения гамма- и бета-функций Эйлер занялся теорией чисел, вдруг резко изменив направление своей научной работы, что было для него весьма характерным. В частности, его привлек вопрос, который за век до того оставил нерешенным французский ученый Пьер Ферма (1601-1665).

МАТЬ ВСЕХ ФУНКЦИЙ

Дзета-функция — королева всех математических функций, она привлекает наибольшее внимание специалистов, и ей посвящено наибольшее количество сайтов в интернете. Ее название происходит от греческой буквы ξ (дзета), и в первый раз ее использовал Эйлер в решении так называемой Базельской задачи, принесшей ему известность. Эйлер доказал, что бесконечная сумма обратных квадратов равна π2/6:

1 + 1/22 + 1/32 + 1/42 + ... + π2/6,

а затем обобщил этот результат, рассмотрев подробнее следующую функцию:

ξ(x) = 1 + 1/2x + 1/3x + 1/4x + ...

Она может принимать любое значение х из области R вещественных чисел. Эйлер вычислил множество значений дзета-функции, но прямой метод нахождения этих бесконечных сумм неизвестен и по сей день. Сам Эйлер открыл способ приведения бесконечной суммы £ к конечному результату, получив, благодаря легкости обращения с алгебраическими формулами, выражение

ξ(x) = Σn=1∞1/ns = ∏k=1∞1/(1 - 1/pks),

где рk пересекают исключительно область простых чисел. Так обнаружилась неожиданная связь дзета-функций с этими числами. При помощи инструментов анализа дзета-функцию можно перенести в комплексную область, если брать значения s не из области R (то есть вещественных чисел), а из комплексной области С. Впервые дзета-функцию до этой области расширил и изучил великий немецкий математик Бернхард Риман (1826-1866). Сегодня эта функция известна как дзета-функция Римана, и с ней связана так называемая гипотеза, или проблема Римана: невероятное предположение, которое до сих пор не было доказано и считается одной из главных нерешенных задач современной математики. Гипотеза Римана входит в число семи проблем тысячелетия, за решение каждой из которых Институт Клэя в качестве приза выплатит один миллион долларов.

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

Один из самых интересных вопросов из наследия Ферма — числа, которые были названы его именем, числа Ферма. Они обозначаются буквой F и определяются формулой

Fn = 22n +1.

При n = 0,1,2,3,4 получим

F0 = 220 + 1 = 21 + 1 = 3

F1 = 221 +1 = 22 + 1 = 4 + 1 = 5

F2 = 222 + 1 = 24 + 1 = 16 + 1 = 17

F3 = 223 + 1 = 25 + 1 = 256 + 1 = 257

F4 = 224 + 1 = 216 + 1 = 65 536 + 1 = 65 637.

Все они являются простыми числами. Следующее число Ферма выглядит так:

F5 = 225 + 1 = 232 +1 = 4 294 967 296 + 1 = 4 294 967 297.

Было бы логично предположить, что оно, как и предыдущие, является простым. По стандартам того времени более рискованно, хотя и не намного, было выдвинуть гипотезу (как сделал Гольдбах) о том, что все эти числа простые, подтверждая тем самым мнение самого Ферма. Гольдбах сообщил Эйлеру об этой задаче в 1729 году, а в 1732-м тот уже нашел ее решение: F5 — не простое число, а составное:

F5 = 4 294 967 297 = 641 • 6700 417.

Первой реакцией на этот результат было изумление. Ведь чтобы провести факторизацию этого числа, деля его на 2,3,5,7, 11,13 и так далее, продолжая перебирать бесконечную последовательность простых чисел, требовались колоссальные усилия.

ПЬЕР ДЕ ФЕРМА

Ферма был юристом по профессии и занимался математикой исключительно как хобби, за что получил прозвище "король любителей". Он внес решающий вклад в создание аналитической геометрии, а также в развитие теории вероятностей и оптики, изучал отражение и преломление света и отнес эти явления к максимумам и минимумам, заложив таким образом основы дифференциального исчисления. Наибольшую известность Ферма принесли его исследования о теории чисел, в которых ярко проявились его удивительные способности и необычные методы работы. Обычно он не записывал свои рассуждения отдельно, а делал, пока хватало места, пометки на полях книг, которые читал. Всемирной известностью он обязан появлению теоремы, гласящей, что "для n > 2 не существует таких целых положительных чисел х, у, z, не равных нулю, для которых справедливо хn+уn=zn". Она известна как Великая теорема Ферма, и долгое время у нее не было доказательства. Ферма утверждал — хотя, вполне возможно, ошибочно, — что однажды во время чтения он нашел превосходное доказательство, но на полях книги не было достаточно места для его записи. Теорема была доказана в 1995 году Эндрю Уайлсом.

Если же рассмотреть приемы Эйлера подробней, можно понять его метод и, одновременно с этим, гениальность ученого. Постепенно, следуя по скользкому пути деления, Эйлер пришел к выводу — совсем не простому,— что любой делитель F5 должен иметь вид 64n + 1. Таким образом, ему больше не надо было проверять один за другим все простые делители, а только числа 65 (n = 1), 129 (n = 2), 193 (n = 3) и так далее, вычеркивая те, которые простыми не являлись. При n - 10 подсчеты дают 64 -10 + 1 = 641, что является точным делителем.

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

КРЕЩЕНИЕ ЧИСЛА

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

е=2,71828182845904523536028747135266249775724709369995...

Сегодня известно более триллиона знаков е после запятой. Хотя Эйлер дал постоянной имя и использовал ее в самых разных областях, он не был ее первооткрывателем в строгом смысле этого слова: е появилась гораздо раньше, но под другим именем и "в тайне", как мы увидим ниже.

Число е родом из области логарифмов, как подчеркивал Эйлер. Эта связь, которую мы подробнее рассмотрим в приложении 1, ускользала от математиков на протяжении века. В защиту современников Эйлера можно сказать, что постоянная е с течением времени зарекомендовала себя как особенно неуловимая.

Одним из первых к ней приблизился Грегуар де Сен- Венсан (1584-1667), который в 1647 году обнаружил равностороннюю гиперболу, соответствующую уравнению у - 1/x, ее график в декартовой системе координат изображен на этой странице. Сен-Венсан вычислил площадь между 1 и любой другой точкой t на горизонтальной оси говоря современным языком, это площадь криволинейной трапеции между 1 и t.

Таким образом, получается, что

∫1t(1/x)dx = lnt,

и при t = е мы имеем Int - Ine = 1. Следовательно, e равно значению на горизонтальной оси X, для которого площадь, указанная на графике, равна 1. Это определение впоследствии дал ей сам Эйлер, Сен-Венсан же так и не пришел к нему.

Христиан Гюйгенс (1629-1695) тоже не обратил на число е большого внимания, хотя в одном из рассуждений ему пришлось вычислить 17 знаков его десятичного логарифма. Но поскольку он был сконцентрирован на другом вопросе, то также проигнорировал число е.

Не прошел мимо него Якоб Бернулли, хотя он приблизился к е не через логарифмы, а следуя другому, более "земному" пути. В 1683 году Бернулли начал изучать сложные проценты по вкладу капитала. Мы можем проследить за его шагами, используя современную терминологию. Если мы делаем вклад, равный С, под годовой процент i, то в конце года сумма будет равна

C+Ci-C(1 + i).

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

C + Ci/2 + (C + Ci/2)i/2 = C(C + i/2) + C(1 + i/2)i/2 =

= C(1 + i/2)(1 + i/2) = C(1 + i/2)2

Если повторить эту операцию n раз, то, следуя этой модели, капитал будет равен

C(1 + i/n)n.

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

limn→∞(1 + 1/n)n.

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

n (1 + 1/n)n 1 2 2 2,25 3 2,37037 4 2,44141 5 2,48832 10 2,59374 100 2,70481 1000 2,71692 10000 2,71815 100000 2,71827 1000000 2,71828

Якоб Бернулли без помощи современных вычислительных инструментов дошел до первых строк этой таблицы. Это поразительный результат для математики той эпохи. По его подсчетам, предел был бы между 2 и 3. Сегодня мы знаем, что

limn→∞(1 + 1/n)n = e.

Так Якоб Бернулли одновременно нашел е — хотя и не он дал постоянной это имя — и впервые в истории сделал открытие, применив неизвестное до того времени понятие предела. К сожалению, и в этот раз постоянная е осталась без надлежащего признания, поскольку Якоб не связал ее с логарифмами. Число е обрело свое первое имя в 1690 году, когда Лейбниц обозначил его буквой b в письме Гюйгенсу. С этого момента переменная начала существовать. Ей наконец дали имя, хотя и не окончательное. Открытие связи постоянной с логарифмами было вопросом времени, и этот медленный процесс завершился, как мы уже сказали, в 1731 году, в письме Эйлера Гольдбаху.

ЧИСЛО И ШЛЯПЫ

Якоб Бернулли занялся константой е не только с целью решить задачу о процентных ставках. На ее изучение ученого подвиг ребус, а точнее задача о теории вероятностей и шляпах. Пьер Ремон де Монмор (1678-1719) и Якоб Бернулли столкнулись со следующей загадкой: на бал съехалось N гостей. Они сдали свои шляпы лакею. Для них были приготовлены специальные коробки с этикетками, чтобы не перепугать владельцев. Но в последний момент лакей, назначенный ответственным за шляпы, заболел, и его заменили другим, который, не зная приглашенных, положил шляпы в коробки как придется. Проблема возникает, когда гости разъезжаются и лакей отдает им шляпы. Некоторые получат свои, другие — нет. Какова вероятность того, что произойдет полная катастрофа и ни одна шляпа не будет возвращена своему законному владельцу? Ответ таков:

Pn = 1 - 1/1! + 1/2! - 1/3! + ... + (-1)N/N!

Эта величина очень похожа на сумму с пределом е. Действительно, ее пределом является 1/е. Если же гостей очень много, то есть N — большое число, то

PN = 1/e = 36,79 %.

С этого момента, в частности в серии статей, написанных начиная с 1736 года, Эйлер официально называл ее постоянной. Он дал ей определение и связал предел Якоба Бернулли с логарифмами, которым он также дал современное определение. Эйлер принял е за основу натуральных логарифмов и таким образом обессмертил ее, вычислив первые 18 цифр — возможно, с помощью прямой суммы первых 20 членов ряда, который он же сам и обнаружил:

e = 1 + 1/1! + 1/2! + 1/3! + ...

Если это так, то этот подвиг Эйлера можно считать невероятным, почти невозможным. Тем не менее ученый часто выказывал сверхчеловеческие вычислительные способности, и многие склонны верить, что он прибег именно к этому методу.

О том, почему Эйлер выбрал именно букву е, высказывалось множество версий. Несмотря на самые распространенные из них, здесь нет связи со словом "экспонента" на немецком языке или с первой буквой его собственного имени. Есть предположение, что изначально ученый хотел обозначить постоянную через а, но она уже была занята другой величиной в его вычислениях. В любом случае, Эйлер так и не объяснил причины своего выбора.

Большая часть сведений о е содержится в его шедевре "Введение в анализ бесконечных", написанном в Берлине и изданном в 1748 году. В нем Эйлер окончательно установил, что логарифм и возведение в степень являются обратными друг другу операциями, то есть

у - аx тогда и только тогда, когда x-logay.

Эта формула истинна для любого основания а, в том числе для а = е. Есть еще один аспект, который относится к области анализа и возведению в степень с основанием е, — функция ƒ(x) = еx совпадает со своей производной:

deх/dx = ex.

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

Получив доказательство того, что эта дробь бесконечна, он показал:

(е-1)/2

является иррациональным числом. Наконец, в 1873 году Шарль Эрмит (1822-1901) доказал трансцендентность числа е.

Помимо полученного Эйлером, часто встречаются и такие записи числа е в виде дроби:

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

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

Арки колледжа святой Терезы (вверху) архитектора Антонио Гауди в Барселоне и Арка в Сент- Луисе (в середине) — примеры перевернутой традиционной цепной линии, образованной подвесными тросами (внизу). Формула этой линии содержит число е.

МНЕМОНИЧЕСКИЕ УПРАЖНЕНИЯ С ЧИСЛОМ у

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

Например, название стихотворения "С десятью пушками по стороне" испанского поэта Хосе де Эспронседа можно соотнести с последовательностью 17727.

с десятью пушками по стороне 3 4 7 3 5

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

We present a mnemonic to memorize a constant so exciting that Euler exclaimed: '!' when first it was found, yes, loudly '!'. My students perhaps will compute e, use power or Taylor series, an easy summation formula, obvious, clear, elegant!

[1 Мы представляем мнемоническое упражнение на запоминание такой восхитительной постоянной, что Эйлер воскликнул: '!', когда впервые открыл ее, да. громко воскликнул '!'. Мои студенты, возможно, вычислят е. используют свои силы или ряды Тэйлора, простую формулу сложения, ясную, четкую, элегантную! (В данном случае подсчет действителен только для фразы на английском. — Примеч. ред.)]

Знак"!"обозначает ноль. Если мы сосчитаем количество букв в словах, то получим следующую последовательность:

271828182845904523 536028 747135 266249 7757,

которая соответствует первым 40 цифрам числа е.

ПОСТОЯННАЯ ЭЙЛЕРА — МАСКЕРОНИ

Существуют три математические константы, которые резко выделяются на общем фоне и так или иначе связаны с Эйлером. Первая — это знаменитое число я, вторая — е. Третья обозначается греческой буквой у, и хотя Эйлер выделил ее уже в 1734 году, через три года после нахождения числа е, он делит это открытие с итальянским математиком Лоренцо Маскерони, так что у называют постоянной Эйлера —Маскерони. По мнению некоторых специалистов, это не совсем справедливо, поскольку самая большая заслуга Маскерони состояла в том, что в 1790 году он вычислил 32 ее знака, сделав при этом три ошибки: в 19-м, 20-м и 21-м знаках.

γ — сугубо арифметическая константа. Если мы рассмотрим древний гармонический ряд

Σn=1∞1/n = 1 + 1/2 + 1/2 + 1/4 + ... + 1/n + ...,

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

Эйлеру пришла в голову мысль сравнить возрастание этого расходящегося ряда с In n. Если провести вычитание

Σn=1∞1/k = ln(n)

шаг за шагом, мы получим:

1 - ln1 = 1

1 + 1/2 - ln2 = 0,8068528...

1 + 1/2 + 1/3 - ln3 = 0,734721...

1 + 1/2 + 1/3 + 184 - In4 = 0,6970389...

Эта разность стабилизируется и в пределе дает постоянную величину:

γ = limn→∞[Σk=1n1/k - ln n] = 0,57721566...

Целью Эйлера было найти способ описать степень роста гармонического ряда, и ученый пришел к заключению, что он логарифмический. Он обозначил эту постоянную заглавной буквой С, а знак греческой буквы γ, видимо, ввел Маскерони (1790). В 1736 году Эйлер высчитал 19 цифр этой постоянной, используя собственную формулу, так называемые числа Бернулли, Bn; если бы он попытался классическим путем сложить значения гармонического ряда и вычесть логарифм, то потерпел бы поражение, даже несмотря на то что был гением в вычислениях: ряд сходится слишком медленно.

Немецкий ученый Вейерштрасс открыл, что определение Г(х), предложенное Эйлером, дает производную

Г’(1) = -γ,

что позволяет установить неожиданную связь между гамма- функцией и постоянной Эйлера — Маскерони.

О константе γ почти ничего неизвестно, мы даже не знаем, рациональное это число или иррациональное и, разумеется, трансцендентное ли оно. Нам известно только, что если оно окажется рациональным — а большинство специалистов в это не верят, — то его знаменатель будет состоять из 244 663 цифр десятичной системы исчисления. Если воспроизвести это число, оно займет почти всю эту книгу.

Постоянная γ часто используется в анализе (например, в так называемых функциях Бесселя), а также в квантовой механике, особенно в перенормировке диаграмм Фейнмана, имеющих фундаментальное значение в электродинамике.

Однако не нужно далеко ходить, чтобы обнаружить γ. Если мы начнем собирать наклейки, прилагающиеся к жвачкам или шоколадкам, то наше хобби будет совершенно эйлеровским. Если в коллекции всего n наклеек, нам придется купить примерно N товаров, чтобы собрать их все:

N = n(1 + 1/2 + 1/3 + ... + 1/n).

ЛОРЕНЦО МАСКЕРОНИ

Первым призванием Лоренцо Маске- рони, итальянского священника и математика (1750-1800), была поэзия.

Он не был горячим сторонником ни одной из существовавших тогда политических партий, но в общем его можно было охарактеризовать как франкофила. Поэтому в 1797 году его назначили депутатом в Милане, а затем отправили в Париж для разработки новой десятичной метрической системы вместе с Лежандром. Маске- рони больше не смог вернуться в Милан, оккупированный австрийскими войсками, и умер на следующий год.

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

В этой работе Маскерони доказал, что строгое требование древних греков делать геометрические построения только с помощью линейки и циркуля не такое уж обязательное: достаточно одного циркуля. Этот тезис, сегодня кажущийся нам очевидным, был удивительным для того времени. Первым это открытие сделал и опубликовал в Euclides Danicus ("Датский Евклид") в 1672 году датский ученый Георг Мор (1640-1697), но Маскерони об этом не знал. Свое право на бессмертие в математике Маскерони завоевал с помощью Эйлера своей книгой Adnotationes ad calculum integrate Euleri ("Заметки к интегральному исчислению Эйлера"), в которой нет существенных открытий, но содержится знаменитая постоянная γ. С этого момента у стала называться постоянной Эйлера — Маскерони.

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

Если мы попробуем решить эту задачу простым сложением, а наклеек достаточно много, то на это уйдет слишком много времени, и ошибок не избежать, даже используя калькулятор. Лучше применить способ Эйлера и сложить только два слагаемых:

1 + 1/2 + 1/3 + ... + 1/n = γ + ln n.

ПОСТОЯННАЯ у И ПРОСТЫЕ ЧИСЛА

Постоянная у встречается гораздо реже, чем я или е. Несложно найти формулу, которая связывает все три постоянные:

Сам Эйлер тоже нашел взаимосвязи между у и дзета-функцией:

Существуют также формулы, связывающие напрямую ус простыми числами, как, например, формула Франца Мертенса (1840-1927):

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

Логарифм можно вычислить на калькуляторе, а γ в данном случае можно округлить до 50 знаков:

0,57721566490153286060651209008240243104215933593992...

Можно привести еще один, более абстрактный пример: чтобы узнать, сколько делителей п в среднем есть между 1 и n, можно использовать выражение In n + 2γ - 1. Это приближение становится тем точнее, чем больше значение я и чем больше у него делителей.

ФОРМУЛА ЭЙЛЕРА — МАКЛОРЕНА В ДЕТАЛЯХ

Формула Эйлера — Маклорена может произвести пугающее впечатление. Обычно она записывается так:

где Вk — числа Бернулли, a f(x)— производные от f. Применение формулы состоит в том, что из правой части можно получить значения даже медленно сходящихся рядов. Эйлер использовал этот трюк в решении Базельской задачи, как мы увидим ниже.

СУММА, КОТОРАЯ СУММИРУЕТ НЕСУММИРУЕМОЕ

В 1735 году, во время своего первого российского периода, Эйлер сделал последнее из своих важных открытий в области анализа. Он вывел полезнейшую формулу, которая позволяет получать приблизительное значение интеграла, заменяя его на сумму, или приблизительное значение суммы, заменяя ее на интеграл. Независимо от Эйлера ее также открыл шотландский ученый Колин Маклорен. Так называемая формула Эйлера — Маклорена работает следующим образом: пусть дана функция f(x). Когда говорят о ее сумме, обычно имеют в виду две части, связанные между собой, но разные. Если использовать целые значения, то получится сумма

а когда ее складывают по всем х, получается интеграл:

i(n) = ∫0nƒ(x)dx.

Кажется очевидным, что между s(n) и i(n) существует связь, но первая является дискретной суммой, а вторая — непрерывной. Формула Эйлера — Маклорена во многих случаях позволяет перейти от одной к другой. Если мы знаем s(n), то можем получить значение i(n), а если знаем i(n), можем высчитать s(n).

БАЗЕЛЬСКАЯ ЗАДАЧА: НАЧАЛО

По приезду в Петербург Эйлер получал 300 рублей, которых хватало на оплату проживания, дров для камина и масла для ламп. После того как он сменил Даниила Бернулли на посту профессора математики в 1733 году, Академия подняла его жалованье до 600 рублей. В том же году эта сумма еще увеличилась: Эйлер начал давать частные уроки и по предложению барона фон Мюнниха работать председателем экзаменационной комиссии в местной кадетской школе. Стабильное финансовое положение, сложившееся благодаря его новым обязанностям, позволило Эйлеру жениться на Катерине Гзель, дочери Георга Гзеля, художника швейцарского происхождения, работавшего в Академии искусств по особому приглашению Петра I. Церемония бракосочетания прошла 27 декабря 1733 года, после чего молодожены переселились в деревянный дом, "превосходно обставленный", по словам самого Эйлера, на Васильевском острове, недалеко от Академии наук. Через год у них родился первенец, Иоганн Альбрехт. Его крестным отцом стал фон Корф, бывший в то время президентом Академии. Этот факт свидетельствует о большом уважении, с которым относились к Эйлеру, что неудивительно, учитывая его огромный вклад в науку. Но это было еще не все. Буквально год спустя, в 1735-м, Эйлер поразил математическое сообщество гениальным озарением: он нашел решение Базельской задачи.

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

π2/6 = 1 + 1/22 + 1/32 + 1/42 + ...

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

1 + 1/2 + 1/3 + 1/4 + ...

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

1 + 1/22 + 1/32 + 1/42 + ... = 1,644934.

Не существовало ни малейшей догадки по этому вопросу. Если попробовать сложить тысячи чисел из этого ряда, будет ясно: сумма приближается к определенному числу, но в то же время настолько медленно, что практически невозможно не округлить его до сотых. Считается, что впервые о Базельской задаче упомянул итальянский священник и математик Пьетро Менголи (1626-1686), а Эйлеру о ней рассказал Иоганн Бернулли. Уже в 1729 году ученый говорил о задаче в письме Гольдбаху. В 1730 году эта задача занимала мысли всех математиков и привлекала их так же, как впоследствии — Великая теорема Ферма. Эйлер приступил к ней с таким энтузиазмом, что нашел несколько вариантов решения. Все они необыкновенно изобретательны, а некоторые являются идеалом для специалистов по анализу, особенно решение, опубликованное в 1741 году, в котором используется техника интегрального исчисления. Классическое же решение эксперты называют "третьим": оно наиболее изящное с точки зрения неподготовленного читателя. Мы немного поговорим о нем в приложении 2.

Недавно я нашел, и совсем неожиданно, изящное выражение для суммы ряда, зависящего от квадратуры круга... А именно, шестикратную сумму этого ряда равной квадрату периметра круга, диаметр которого 1.

Эйлер

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

Эйлер подготовил почву для решения, проведя предварительные вычисления и прочие операции. Например, сначала он использовал промежуточные суммы, как в методе Эйлера — Маклорена, чтобы получить более точное число, чем 1,64. Благодаря своему уму Эйлер нашел шесть точных цифр, и его отправной точкой стало число:

1 + 1/22 + 1/32 + 1/42 + ... = 1,644934.

С другой стороны, от Эйлера, для которого возводить в различные степени число л было обычным делом и обладавшего необыкновенной памятью, не могло ускользнуть, что 1,644934 очень похоже на π2/6. Следовательно, мы можем предположить, что, вступая на этот тернистый путь, Эйлер уже знал, к чему он придет. Ни один его современник не обладал таким преимуществом. Гениальность Эйлера позволила ему обойтись без сложения около 3000 членов исходного ряда.

БАЗЕЛЬСКАЯ ЗАДАЧА: КОНЕЦ

Решив Базельскую задачу, Эйлер не остановился на достигнутом. Вернемся к дзета-функции из предыдущей главы:

ξ(x) = 1 + 1/2x + 1/3x + 1/4x + ... + 1/nx + ...

При х - 1 мы получаем гармонический ряд, а при х - 2 — ряд из Базельской задачи. Эйлер углубил этот вопрос и на основе своих размышлений над Базельской задачей получил следующие выражения для ряда степеней:

ξ(4) = 1 + 1/24 + 1/34 + 1/44 + ... + 1/n4 + ... = π4/90

ξ(6) = 1 + 1/26 + 1/36 + 1/46 + ... + 1/n6 + ... = π6/945

ξ(8) = 1 + 1/28 + 1/38 + 1/48 + ... + 1/n8 + ... = π8/9450

ξ(10) = 1 + 1/210 + 1/310 + 1/410 + ... + 1/n10 + ... = π10/93555

до ξ(26) со все более сложными формулами, где n всегда стояло в степени л, соответствующей ξ(n). В 1739 году Эйлер пришел к общему выражению:

ξ(2n) = (-1)n+1 (2π)2nB2n/2·(2n)!,

в котором содержались числа Вк, числа Бернулли (о них мы поговорим в главе 4). Постепенно они становятся все больше и ими все труднее оперировать; для примера достаточно записать пятидесятый член:

ξ(50) = 39 604 576 419 286 371866 998 202π60/285 258 771457 546 764 463 363 635 252 374 414183 254 363 234 375

ПЕРВАЯ КОМПЬЮТЕРНАЯ ПРОГРАММА В ИСТОРИИ

Ада Байрон (1815-1852), впоследствии вышедшая замуж за Уильяма Кинга и ставшая известной как Ада Кинг, графиня Лавлейс, была дочерью лорда Байрона. Однако она никогда не знала отца, поскольку родители развелись меньше чем через месяц после ее рождения. Аде ничто не мешало развивать математические способности, так как ее мать считала математику мощным противоядием от возможных склонностей к литературе: глубокая ненависть к бывшему мужу и его работе сопровождала ее всю жизнь. Главную роль в научной деятельности Ады сыграл знаменитый математик Чарльз Бэббидж (1791-1871), создатель первого компьютера в истории. Ада же сделала для этой машины рекурсивный алгоритм, который позволял вычислять числа Бернулли. С точки зрения информатики процедура, придуманная Адой, является самой настоящей компьютерной программой, первой в истории. В 1980-х годах министерство обороны США в честь женщины-ученого дало имя АДА универсальному языку программирования по стандарту MIL-STD-1815 (номер соответствует году рождения Ады).

Вычислительная машина Чарльза Бэбиджа, для которой Ада Кинг создала программу для вычислений чисел Бернулли.

Действительно, первое программное обеспечение в истории (то есть первая программа для автоматических вычислений компьютером) находило числа Бернулли рекурсивным методом. Его создала Августа Ада Кинг, графиня Лавлейс, в 1843 году для механического компьютера Чарльза Бэббиджа, и оно действительно оказалось безупречным с точки зрения информатики. Нечетные значения ξ(n) очень трудно вычислить, и даже сегодня над ними продолжают работать. Очевидно, что первое из них совпадает с гармоническим рядом

ξ(1) = 1 + 1/2 + 1/3 + ... = ∞.

Третье число, иррациональное, было названо постоянной Апери:

ξ(3) = 1 + 1/23 + 1/33 + 1/43 + ... + 1/n3 + ... = 1,2020569...

Эйлер сделал еще один шаг вперед, фактически в будущее. Он еще больше углубился в изучение дзета-функций и, следовательно, в область простых чисел, преобразовывая бесконечную сумму своей функции ξ(n) в результат, включающий простые числа. Желающие могут проследить за рассуждениями Эйлера более подробно в приложении 3.

МОСТЫ КЕНИГСБЕРГА

В начале 1735 года Эйлер серьезно заболел. Из источников, которыми мы располагаем, невозможно установить природу этой болезни, мы знаем только, что у него поднялась такая высокая температура, что он находился между жизнью и смертью. После выздоровления Эйлера поздравил от себя и от имени математиков всего мира Даниил Бернулли, признавшись: "Никто уже не надеялся, что он поправится". После этого случая у Эйлера ухудшилось зрение на правом глазу, а три года спустя он полностью на него ослеп. Тем не менее ученый продолжил работать в таком же ритме и год спустя занялся задачей, совершенно отличной от тех, что он решал до этого, — проблемой мостов Кенигсберга. Некоторые математики считают ее решение вершиной научных открытий Эйлера. Дело в том, что эта геометрическая задача не кажется геометрической, поскольку не содержит ни одной известной фигуры или каких-либо величин; в ней даны только определенные линии и точки, и рассуждать можно только о том, как дойти от одной до другой. Это необычная задача о необычном предмете.

Гравюра, Кенигсберг во времена Эйлера, на которой выделены семь мостов.

Кенигсберг, стоящий на берегу Балтийского моря, во времена Эйлера был частью Восточной Пруссии. Сегодня этот город называется Калининградом, он увеличился в размерах и находится на территории России, в географическом анклаве между Польшей и Литвой, образованном в результате войн.

Через город протекала река Преголя, притоки которой образовывали остров и делили город на три части, соединенные семью мостами, по которым жители могли переходить реку, как видно на рисунке на предыдущей странице. В таком идиллическом городском пейзаже можно было проложить множество разных маршрутов, но некоторые жители задались вопросом, можно ли создать замкнутую траекторию, то есть такой маршрут, который начинался бы и заканчивался в одной и той же точке так, чтобы при этом нужно было проходить всего один раз по каждому мосту. Это был математический вызов. Мостов было всего семь, а возможных маршрутов — несколько тысяч. Но абсурд ситуации заключался в том, что, по какому бы пути вы ни пошли, из какой бы точки ни стартовали, проходя всего один раз по каждому мосту, вы оказываетесь каждый раз не там, откуда начали. Многие стали сомневаться (и довольно справедливо) в том, что искомый маршрут существует, как замок в книге Кафки. Во времена Эйлера ученые нередко задавали себе подобные загадки. Если, не без помощи удачи, решение находилось, это могло привести к появлению новых математических теорий. Гораздо реже такие задачи открывали дорогу новой, благодатной и плодотворной области науки, и именно это случилось с задачей о мостах Кенигсберга. Исходя из схематичного плана города (рисунок 1 на следующей странице), Эйлер решил абстрагироваться от формы всех его составляющих и заменить их графом так, чтобы точки на суше стали вершинами, а мосты — путями (см. рисунок 2). Работая с получившимся графом, Эйлер пришел к своим выводам.

ГРАФЫ

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

Рассуждения Эйлера можно записать таким образом.

Обозначим через п количество узлов четной степени.

а) Если n = 0, то в графе содержится хотя бы один эйлеров цикл.

б) Если n = 2, то в графе содержится хотя бы один эйлеров путь, но ни одного цикла.

в) Если n > 2, то в графе нет ни пути, ни цикла.

РИС. 1

РИС . 2

РИС. 3

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

Поскольку в данном случае 4, то жители Кенигсберга остались без идеального пути. Если бы они спросили совета у Эйлера, он ответил бы, что задачу можно решить, добавив или убрав один мост.

СВЯЗАННАЯ ЗАДАЧА: ХОД КОНЯ

Еще один вопрос, занимавший Эйлера и связанный с графами, — задача о ходе коня в шахматах. Ученый разобрал ее в 1759 году в работе Solution d’une question curieuse que ne soumise a aucune analyse ("Решение одного любопытного вопроса, который, кажется, не подчиняется никакому исследованию"). Задача состоит в поиске маршрута, при котором конь пройдет по всем клеткам, независимо от начальной позиции. Эйлер нашел решение и попутно заложил основу того, что впоследствии было названо гамильтоновыми графами — путями, проходящими по одному разу через все узлы и возвращающимися к исходной точке (рисунок 4).

РИС. 4

РОЖДЕНИЕ ТОПОЛОГИИ

Эйлер называл все задачи, связанные с задачей о мостах, geometriam situs, а термин "топология", использующийся до сих пор, ввел в 1847 году Иоганн Бенедикт Листинг (1808-1882). Сейчас топология — развитая область математики, объединяющая понятия, которые обычно считаются не совсем геометрическими: внутри и снаружи, близко и далеко, ориентируемое и нео- риентируемое, связанное и несвязанное, непрерывное и разрывное. Топология занимается вопросами, на первый взгляд далекими от традиционной математики. Таким образом, в рамках этой дисциплины были найдены решения самых разных задач, таких как поиск минимального количества цветов, необходимого для раскрашивания любой произвольной карты (их нужно четыре). Было также найдено строгое доказательство того, что на Земле всегда существуют диаметрально противоположные точки с одинаковым давлением и одинаковой температурой или что если уменьшить листок бумаги, а потом положить на него исходный лист, то всегда будет точка первого, которая коснется соответствующей точки второго. В этой же области была сформулирована задача о причесывании ежа, в которой понятие направления рассматривается с типично топологической точки зрения. Эйлер не просто попытался объяснить существующую Вселенную — он открыл двери в миры, до той поры неизвестные.

ТЕОРЕМА О ПРИЧЕСЫВАНИИ ЕЖА

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

Затылок с типичным завихрением волос.

ПЕРВЫЕ КНИГИ ЭЙЛЕРА

В России Эйлер написал свои первые трактаты. Несмотря на большой объем, они легко читаются и в них уже прослеживаются стиль и превосходная структура, которые были отличительной чертой ученого: его книги славились ясностью изложения и доставляли немало удовольствия во время чтения. К этому времени относится работа Mechanica sive motus scientia analytice exposita ("Механика, или наука о движении, в аналитическом изложении"), в которой развиваются физикомеханические аспекты точечной массы. Инновация Эйлера состоит в том, что он делает это с помощью дифференциального и интегрального исчисления, тогда как механика обычно рассматривалась с синтетической и геометрической точки зрения. В этой работе уже появляются дифференциальные уравнения, точечные массы, движение упругих тел и жидкости, поэтому она может считаться первым современным трактатом по рациональной механике. Лагранж назвал ее "первой большой работой, в которой анализ применяется к наукам о движении". Эйлер также посвятил один из трактатов музыке — Tentamen novae theoriae musicae ("Опыт новой теории музыки"), написанный в 1731 году, но опубликованный только в 1739-м. В нем, как и в других сочинениях того же периода, принадлежащих Мерсенну, Декарту или Д’Аламберу, говорится о природе, происхождении и восприятии звука, об удовольствии, вызываемом музыкой, и о математической теории темпераментов. Scientia navalis ("Корабельная наука") стала первой большой работой Эйлера, посвященной кораблестроению, в которой рассказывается о принципах гидростатики, устойчивости кораблей и практических сведениях по кораблестроению и навигации. Он также написал эссе и статьи о кораблях и навигации, в которых рассматривал альтернативные способы движения: от вечного двигателя до использования энергии волн. Самым интересным из них было применение системы лопастей, предшественницы гребных колес. В 1773 году, как мы увидим, ученый вернулся к этой теме.

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

Разносторонняя и обширная профессиональная деятельность не мешала Эйлеру обращать внимание на деликатную политическую ситуацию в стране. В 1739 году закончилась русско-турецкая война, и местная знать была недовольна слишком большим количеством немцев на самых высоких государственных и административных постах. Когда в 1740 году на престол взошла Елизавета, дочь Петра I, Эйлер, испугавшись жестоких гонений на элиту немецкого происхождения и на всех иностранцев вообще, принял предложение о работе в Прусской академии наук и уехал в Берлин.

ГЛАВА 3 Берлин, столица анализа

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

"Госпожа, я приехал из страны, где кто разговаривает, того вешают", — ответил Эйлер Софии Доротее, королеве-матери короля Пруссии, когда та добродушно упрекнула его в том, что он почти не участвует в придворных беседах. В 1741 году Эйлер вернулся в тепло старой доброй Европы, в Берлин. Этот город был сердцем просвещенного мира, а также центром распространения западной культуры, столицей Прусского королевства, где правил самый либеральный среди королей Европы Фридрих Великий (1712-1786). Здесь Эйлер оказался в обществе великих деятелей науки и искусства, таких как Франсуа-Мари Аруэ (1694-1778), более известный как Вольтер, музыкант Иоганн Иоахим Кванц (1697-1773), философ Иммануил Кант (1724-1804) и разносторонний Иоганн Вольфганг Гёте (1749-1832). Когда Эйлер приехал в город, Фридрих II был занят сражениями за господство над Силезией, и ученому пришлось жить, занимая в долг у знакомых, до самого возвращения короля в 1746 году. Эйлер купил участок земли с домом, разбил огород, посадил картофель и другие овощи и занялся научной работой как сотрудник общества Societas Regia Scientiarum. Оно было основано в 1700 году Фридрихом I по инициативе Лейбница. В годы правления Фридриха Вильгельма I общество переживало упадок, поскольку король не питал к интеллектуальной деятельности такого интереса, как его предшественник: его не волновало ничего, что не приносило моментальную политическую или военную выгоду. К счастью для общества, после окончания боев в Силезии Фридрих II вернул ему былую славу. К моменту возвращения короля Эйлер уже написал множество статей и несколько книг. Президентом Академии в то время был Пьер Луи Моро де Мо- пертюи, а Эйлер возглавлял математический отдел, но также занимался финансами, астрономией, инженерным делом и ботаникой. Вот что пишет историк Адольф Юшкевич:

"В Берлине он руководил постройкой обсерватории и наблюдал за посадками в ботаническом саду, занимался подбором сотрудников, контролировал различные финансовые вопросы, издавал серии ежегодных календарей, служивших одним из источников дохода Академии. Король также доверил Эйлеру практические вопросы: например, консультацию по проекту изменения уровня воды в канале Финов в 1749 году [...]. В этот период он также руководил работами по установке насосов и водопровода в Сан- Суси, летней резиденции короля".

Однако государь остался недоволен работой ученого, о чем свидетельствует отрывок из его письма Вольтеру:

"Я хотел установить гидравлический насос в своем саду: Эйлер подсчитал, какую необходимую силу должны иметь лопасти, чтобы донести воду до цистерны, откуда потом она бы попала в систему канализаций и орошала территорию дворца Сан-Суси. Мельница была построена в соответствии с геометрическими выкладками, но не могла поднять к цистерне объем воды больше, чем на пять шагов. О, суета сует! О, тщетность геометрии!"

В 1747 году Эйлера выбрали членом Лондонского королевского общества; в 1748-м он снова выиграл Grand Prix Парижской академии наук с задачей о трех телах, которой затем воспользовался Алекси Клод Клеро (1713-1765) в своей работе в этой области. В 1758 году Эйлер был назначен академиком Парижской академии, так что у него были все возможные почетные титулы. Слава ученого была так велика, что, когда русские войска в 1760 году вторглись в Германию и причинили серьезные разрушения его дому в Шарлоттенбурге, то русский генерал Готтлоб Курт Генрих фон Тотлебен поспешил возместить Эйлеру ущерб и извинился со словами: "Я не воюю против науки". Императрица Елизавета также отправила ученому 4000 крон в качестве компенсации.

Около 1750 года возник знаменитый спор об авторстве принципа наименьшего действия: Кениг приписывал его Лейбницу, а Мопертюи — себе. Считается, что Эйлер открыл его независимо от остальных, но не опубликовал, чтобы не поставить Мопертюи, формально бывшего его начальником, в неловкое положение. Вольтер встал на сторону Кенига и в 1752 году написал иронический рассказ "Диатриба доктора Акакия, папского лекаря", в котором высмеивал Мопертюи. Фридрих положил конец этой полемике, изгнав Вольтера из государства. Мопертюи, глубоко переживавший все эти события, также уехал из Берлина.

Академия осталась в руках Эйлера, который, тем не менее, не был назначен ее президентом. Сначала король предложил это место Жан Батисту Лерону Д’Аламберу, обладавшему бесспорным авторитетом, но с которым Эйлер был не в лучших отношениях. Он не хотел опять оказаться под начальством француза и высказал опасение, что Берлинская академия превращается в копию Парижской. Действительно, король назначал ее членами многих французов, особенно философов. Но Д’Аламбер, пообщавшись в ходе собеседований со смирившимся Эйлером, был поражен: этот мрачный ученый обладал невероятной памятью, разбирался во всех областях науки и был гением математики. Невозможно было понять, почему такой талант не продвигают по службе. Д’Аламбер с чрезвычайной любезностью отказался от места президента Академии и предложил назначить на него Эйлера — эрудита, известного во всем мире, у которого, к тому же, уже был здесь дом. Но, как мы уже говорили, в число личных качеств Эйлера не входила способность вести остроумные беседы и рассуждать об искусстве, литературе или философии, а также умение вести себя при дворе, что очень ценил Фридрих II. Можно сказать, что король придавал большее значение этому, а не научным знаниям своего "математического Циклопа", как называл Фридрих ученого в письмах Вольтеру. Поэтому правитель не последовал совету Д’Аламбера и сам занял должность президента, что, видимо, не пришлось Эйлеру по вкусу. С этого момента их отношения стали довольно напряженными, и Эйлер, получавший крайне привлекательные предложения из России, решил опять уехать. Однако Фридрих не отпустил его так просто (в те времена нельзя было сразу перестать служить монарху): он находил все новые причины, чтобы задержать ученого. В конце концов Эйлер все же получил разрешение на отъезд.

ФОРМУЛА ДЛЯ МНОГОГРАННИКОВ

Из всех работ Эйлера, написанных в Берлине, одну с трудом можно приписать к какой-либо области математики того времени. В конце предыдущей главы мы очертили принципы новой области математики — теории графов (начало ей положил сам Эйлер в решении задачи о мостах Кенигсберга) — и более обширной области, частью которой она является, — топологии. Сначала в частных письмах разным адресатам, отправленных между 1750 и 1751 годами, а потом и открыто в статье 1758 года Эйлер вернулся к топологии с невероятным результатом: формулой для выпуклых многогранников с С гранями, А ребрами и V вершинами:

C - A + V = 2.

В начале 2000-х годов читатели авторитетного журнала Mathematical Intelligencer голосовали за самую красивую математическую формулу в истории. Эта формула для полиэдров заняла второе место, а первое — формула, также связанная с Эйлером: еxi + 1 = 0.

Сегодня мы бы сказали, что выражение С - А + V является топологическим инвариантом, то есть характеристикой поверхности, не меняющейся несмотря на трансформации, которым она подвергается, в частности происходящими в результате деформации, не разрушающей ее. Поверхность, для которой формула Эйлера является топологическим инвариантом, — это сфера, а следовательно, и любой гомеоморфный ей трехмерный полиэдр, то есть все тела, полученные в результате деформации сферы.

Формулу С - А + V = 2 обычно называют формулой Эйлера — Декарта, поскольку, хотя официально ее обнародовал Эйлер, Декарт (1596-1650) открыл ее в 1649 году. Точнее, он сделал другое открытие, подразумевавшее результат Эйлера, но не успел опубликовать его при жизни.

РИС. 1

СВОЙСТВА МНОГОГРАННИКА

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

C - A + V = 2.

РИС. 2

РИС. 3

РИС. 4

Эта удивительная взаимосвязь прослеживается всегда — подчеркнем это еще раз, — какой бы ни была форма многогранника, каким бы сложным ни было его изображение и какими бы косыми ни были его грани (за исключением звездчатых многогранников, грани которых пересекаются между собой). Наблюдение Эйлера совсем не очевидно, но его можно легко проверить как на примере симметричных и гармоничных Платоновых тел (рисунок 1 на предыдущей странице), так и на примере любого развернутого многогранника (рисунок 2). Эта числовая формула не зависит от геометрических характеристик фигуры и от формы многогранника. Она справедлива для любого выпуклого многогранника без дыр. Сегодня на элементарном уровне рассматриваются уже не простые многогранники, а поверхности, которые обозначаются буквой S, с дырами и без, а число Χ(S) = С - A + V называют характеристикой S. Для поверхностей, гомеоморфных сфере, таких как многогранники, эта характеристика равна 2. Для тора (рисунок 3) или для бутылки Клейна (рисунок 4) и других гомеоморфных им поверхностей эта характеристика будет равна 0. Для трехмерных поверхностей рода g — где g соответствует количеству дыр в S — характеристика будет равна:

Χ(S) = C - A + V = 2 - 2g.

ГОМЕОМОРФИЗМ

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

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

Кружка и тор гомеоморфны по невероятной геометрической причине: у них всего одно отверстие. Количество отверстий в поверхности считается топологическим инвариантом, поскольку не меняется в результате перехода.

Она называется характеристикой Эйлера — Пуанкаре. Это выражение стало очень популярным в математике и используется в таких абстрактных дисциплинах, как гомологическая алгебра. Уравнение

C - A + V = 2 - 2g

было сформулировано в 1813 году Симоном Антуаном Люи- лье (1750-1840), но этим открытием, как мы видели, он обязан Эйлеру.

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

Переписка между Эйлером и Гольдбахом не прервалась после переезда первого в Берлин. В письме 7 июня 1742 года Гольдбах предположил, что каждое четное целое число является суммой двух целых чисел р и q, которые или были равны 1, или были нечетными простыми числами. Обмен мнениями продолжался, пока Эйлер не нашел окончательную формулировку этой идеи, которая, возможно, является самой известной задачей в истории после теоремы Ферма:

Каждое четное целое число больше 2 может быть представлено как сумма двух простых чисел.

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

Каждое нечетное число больше 7 может быть представлено как сумма трех нечетных простых чисел.

Сильная проблема включает в себя слабую, но не наоборот.

Доказательство слабой проблемы довольно простое: если п — нечетное число и больше 7, то n = p + 3 > 7, следовательно р четное и р > 7-3 = 4. Если сильная гипотеза Гольдбаха подтверждается, то р — сумма двух простых чисел. Между тем n = р + 3, где р равно сумме двух нечетных простых чисел. Следовательно, п является суммой трех нечетных чисел, что и требовалось доказать. Сильная проблема подразумевает слабую. Сильная проблема Гольдбаха подтверждается для любого четного числа, иногда несколькими способами:

4-2 + 2

6-3 + 3

8-3 + 5

10-3+7-5+5

12-5 + 7

14-3+11-7 + 7

16-3+13-5+11

18-5+13-7 + 11

20-3+17-7 + 13.

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

1000 -179 + 821 =191 +809 = 431 +569- = 19 +1019.

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

389965026819938 = 5569 + 389965026814369.

КРИСТИАН ГОЛЬДБАХ

Гольдбах родился в Пруссии, но большую часть своей жизни провел в России, где искал новые таланты для Петербургской академии и работал в ней же секретарем. Он дружил с Лейбницем, Абрахамом де Муавром, Николаем Бернулли (а также с другими членами этой выдающейся семьи) и Эйлером, чью кандидатуру он усиленно продвигал и в переезде которого в Россию сыграл решающую роль. Он даже стал учителем царевича Петра II и занимал высокие посты в министерстве иностранных дел, где работал криптографом. Гольдбах занимался разными областями науки и добился хороших результатов в изучении числовых последовательностей, в особенности благодаря сотрудничеству с Эйлером. Личность последнего, видимо, стимулировала Гольдбаха в работе. Например, не все знают, что именно Гольдбах, будучи не в состоянии решить Базельскую задачу самостоятельно, привлек к ней Эйлера, который впоследствии прославился найденным решением. Переписка Эйлера и Гольдбаха, необыкновенно обширная и полная математических рассуждений, насчитывает почти 200 писем. Об уважении, которое Эйлер питал к Гольдбаху, свидетельствует хотя бы тот факт, что он выбрал коллегу крестным отцом своего первенца.

Влияние проблемы Гольдбаха

Сегодня о Гольдбахе вспоминают не в связи с его теоремами, а с проблемой, носящей его имя. В 1992 году вышел роман "Дядя Петрос и проблема Гольдбаха" Апостолоса Доксиадиса. Издательство Faber&Faber предложило премию в миллион долларов, действительную два года, тому, кто найдет решение. Скорее всего, издатели знали, что никакого ответа они не получат. Пока эта проблема решена только в испанском художественном фильме 2007 года "Западня Ферма" режиссеров Луиса Пьедраиты и Родриго Сопеньи.

В этой паре, не так давно найденной нумерологом Йоргом Рихстейном, одно слагаемое состоит из четырех цифр, а второе — из 15, при этом оба они являются простыми числами. До сих пор никому не удалось доказать ни одну из двух гипотез. Слабую можно считать почти доказанной, поскольку известно, что она работает для всех чисел больше 10 346. Чтобы доказать ее полностью, надо разобраться с нерешенными случаями: начать с 7 и дойти до 10 1346. Это очень сложно: любой существующей вычислительной машине потребуется на это большее количество секунд, чем число атомов во Вселенной.

С сильной проблемой Гольдбаха ситуация яснее: ни одного ее доказательства не существует. Найти его не удалось даже Эйлеру. С помощью супервычислителей Cray проблему проверили для огромных чисел, доходящих до 1018, но общее доказательство так и не найдено. Тем не менее математикам удалось добиться значительных результатов. Например, китайский ученый Чен Джингрун (1933-1996) в 1966 году доказал, что каждое достаточно большое число можно представить в виде суммы двух других, из которых одно — простое, а второе — произведение максимум двух простых.

ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ: МАКСИМУМЫ И МИНИМУМЫ

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

РИС. 5

РИС . б

РИС. 7

Путь, пройденный лучом света на поверхности от А до В, равен отрезку А’ В. Следовательно, он проходит наименьшее расстояние.

Как и все основные проблемы в математике, вопрос о максимумах и минимумах имел длинную историю. Достаточно вспомнить классическую задачу — или, скорее, легенду — о Ди- доне, королеве Тира. Она бежала с последними оставшимися ей верными людьми и достигла берегов, на которых ей суждено было создать свое царство, Карфаген. Она попросила местного короля Иарбанта дать ей кусок земли, где могли бы жить ее подданные. Тот согласился с одним условием: владения Дидоны должны быть равны площади, которую она сможет покрыть воловьей шкурой. Чтобы упростить объяснение, представим, что побережье — прямая линия, без заливов, бухт и мысов. Царица разрезала шкуру на тончайшие ремешки так, что получилась длинная веревка. Она соединила ее концы (рисунок 5), а затем применила базовый принцип изопериметров, то есть площадей, периметры которых имеют одинаковую длину. Одна часть этого периметра проходила вдоль моря, а оставшаяся должна была охватить как можно большую площадь. Решение состояло в том, что веревка из воловьей кожи должна располагаться в виде полукруга, диаметр которого — побережье (рисунок 6). Задача Дидоны относится к разряду классических изопериметриче- ских задач, которые часто встречаются в физике. Она относится к более широкой категории задач, похожих друг на друга, поскольку в них всегда надо найти экстремум функционала — максимум или минимум — при заданных неизменных условиях. Существует наглядный и к тому же очень древний пример, автором которого является Герон Александрийский (ок. 10- 70). Он задался вопросом об отражении света, заметив, что луч, идущий от А к В, отражаясь от зеркала, следует по самой короткой траектории (рисунок 7).

РИС. 8

РИС. 10

Впоследствии Ферма сформулировал закон о преломлении света (так называемый закон Снеллиуса), по которому n1, sinθ1 = n2 sinθ2 Однако в этом случае пройденное расстояние не было минимальным. Минимальным было время, за которое луч проходит от A до B, а расстояние на самом деле было, как мы сказали бы сегодня, функцией времени: e = v · t, где v — скорость луча света в преломляющей его среде. Таким образом, минимизируется функция ƒ(t) · vt (рисунки 8-9).

ПЬЕР ДЕ МОПЕРТЮИ

Хотя семья Пьера де Мопертюи (1698- 1759) сделала состояние, промышляя пиратством — его отец был корсаром, получившим дворянский титул, — и у Пьера была возможность сделать военную карьеру, он выбрал науку и стал выдающимся математиком, физиком, естествоиспытателем и астрономом. Мопертюи был последователем Ньютона. Приняв участие в экспедиции в далекую Лапландию, чтобы собрать данные о длине земного меридиана, он пришел к выводу, что Земля сплюснута у полюсов, и подтвердил таким образом теорию своего учителя. Мопертюи также первым сформулировал принцип наименьшего действия. Правда, некоторые историки ставили его первенство под вопрос, поскольку считали, что Эйлер узнал об этом принципе раньше и уже использовал его. В отношениях между Мопертюи, одной из главных фигур Прусской академии, и Эйлером были периоды большой напряженности. Согласно некоторым источникам, Мопертюи так писал о швейцарском ученом: "Эйлер... в общем чрезвычайно странный персонаж... это неутомимый и надоедливый человек, который любит вмешиваться во все дела, хотя структура Академии и распоряжения нашего короля запрещают подобные вмешательства".

Вышеуказанная вариация есть не что иное, как инструмент вычисления. Если у(х) — это кривая, которая, проходя через (a, y(a)) и (b, y(b)), отвечает необходимым требованиям, то вариация кривой будет небольшим изменением, что обозначается знаком 8 перед ней (рисунок 10). В 1744-1746 годах Мопертюи сформулировал свой принцип наименьшего действия, который можно сформулировать как "природа экономит свои усилия", поскольку "осуществляет их", выполняя наименьшее из возможных действий. Действие — величина, которую можно определить. Она может быть представлена (хоть это и не единственный способ) как сумма задействованных сил, умноженная на пройденный путь, и именно он должен быть минимальным.

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

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

Эйлер

В 1755 году математик итальянского происхождения Жозеф Луи Лагранж, которому было всего 19 лет, написал Эйлеру длинное письмо, в котором содержалось решение одной задачи с помощью усовершенствованной системы вариационного исчисления. В 1772 году Лагранж с благословения Эйлера, признавшего важность его работы, опубликовал свой метод.

Выражаясь современным языком, вариационное исчисление состоит в приведении в действие принципа наименьшего действия с аналитической точки зрения. Вначале запишем так называемый лагранжиан системы, обозначив его L, причем L = С - Р, то есть разнице между кинетической энергией С и потенциальной энергией Р. Лагранжиан — это функционал, функция от функций. Если ограничиться самым банальным случаем, в котором есть только путь, то есть функция x(t) времени, то лагранжиан будет иметь вид L(x,x',t), где ньютоновским знаком х' обозначается производная от х. Интеграл действия принимает вид:

S = ∫t0t1L(x,x',t)dt

и именно его необходимо минимизировать (а в некоторых случаях максимизировать). И Эйлер, и Лагранж, хотя и разными путями, пришли к дифференциальным уравнениям (обычно их бывает несколько) вида

d/dt ∂L/∂x' = ∂K/∂x.

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

Д’АЛАМБЕР И ЕГО ПРИНЦИП

В 1743 году Д’Аламбер (1717-1783) в своем Тгайё de dynamique ("Трактат о динамике") сформулировал принцип аналитической механики, который носит его имя. Согласно этому принципу, в динамической системе сумма виртуальных работ заданных сил и даламберовых сил равна нулю. Такая формулировка позволяет подойти к принципу наименьшего действия или наименьшего усилия и отсылает к Эйлеру, поскольку ведет к уравнениям Эйлера — Лагранжа:

∂L/∂xa - d/dt ∂L/∂xa = 0.

Это фундаментальная формула классической механики, где L — лагранжиан, а хa — так называемые обобщенные координаты системы.

Мудрец своего времени

Д’Аламбер, один из просвещенных умов эпохи, был незаконнорожденным сыном офицера Детуша, который не признал его. Его имя происходит от названия церкви, на ступенях которой его оставили (Сен Жан-Ле-Рон), и от предполагаемого спутника Венеры (Аламбер). Вместе с Дени Дидро

(1713-1784) он опубликовал перевод с английского "Циклопедии" Эфраима Чемберса, которая легла в основу Enciclopedie: она была дополнена 1700 статьями по математике, философии, литературе, музыке, а также знаменитым вступительным словом Discours priliminaire (1751). Д’Аламбер был принят в Берлинскую академию наук, Лондонское королевское общество, Парижскую академию наук, Французскую академию. Д’Аламбер привел первое доказательство (ошибочное и впоследствии исправленное Гауссом) основной теоремы алгебры: "Всякий вещественный многочлен степени n имеет n комплексных корней". Он также нашел превосходный признак сходимости рядов, в теоретической физике разработал так называемый оператор Д’Аламбера, а в теории вероятностей известен своим мартингалом Д’Аламбера. Параллельно с Эйлером он разработал способы улучшения астрономических линз.

ЭЙЛЕР И ГЕОМЕТРИЯ

Пока Эйлер жил в Берлине, он иногда отправлял статьи в Петербургскую академию, особенно если они касались тем, являющихся продолжением работ, в прошлом опубликованных в России. В 1763 году Эйлер представил Solutio facilis problematum quorundam geometricorum difficillimorum ("Легкое решение очень трудной геометрической задачи") — чисто геометрическое и довольно сложное сочинение в духе Евклида. Оно было опубликовано в 1767 году, когда ученый уже вернулся в Санкт- Петербург. В нем он впервые доказал, что в любом неравностороннем треугольнике ортоцентр (О — точка треугольника, в которой пересекаются три его высоты), центр описанной окружности (С — точка треугольника, в которой пересекаются три его срединных перпендикуляра) и барицентр, который также называют центроидом (В — точка, где пересекаются три медианы

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

Помимо того что обнаружилось расположение на одной прямой точек О, В и С, удалось получить точное соотношение:

2d(B,C) = d(B,0).

Как видите, расстояние между барицентром и ортоцентром всегда в два раза больше расстояния между барицентром и центром описанной окружности (рисунок 11). И хотя, как мы уже сказали, инцентр располагается на той же прямой только в равнобедренном треугольнике, Эйлер нашел формулу, по которой можно рассчитать расстояние между инцентром и центром описанной окружности:

d2 = R(R-2r),

где R и r — радиусы описанной и вписанной окружностей соответственно.

РИС. 11

РИС. 12

Крыша олимпийского стадиона в Монако занимает наименьшую площадь, рассчитанную с помощью вариационного исчислении.

В 1750 году Эйлер обнародовал мегаскоп — прибор дли проецировании непрозрачных тел. Он состоил из двух вогнутых зеркал и двух ламп.

Марка, изображающей теорему для многогранников — одно из высочайших достижений Эйлера.

ЦЕНТРЫ ТРЕУГОЛЬНИКА

Центром треугольника называется точка Р, которая обладает особым геометрическим свойством по отношению к определенным линиям (высотам, медианам, биссектрисам и так далее) и определяет окружности или другие простые фигуры, обладающие некоторыми свойствами, связанными с исходным треугольником. Это очень туманное определение, но к нему можно добавить условие: точка Р должна быть инвариантом по отношению к симметриям, вращениям и расширениям. Примерами таких центров являются ставшие уже классическими ортоцентр, центр описанной окружности и инцентр, но существуют и другие. Статья Эйлера о центрах треугольника вызывала удивление у геометров (они полагали, что об особых точках этой фигуры уже сказано все), однако в последующие годы было открыто много других центров. Сегодня существуют сайты, посвященные их перечислению и изучению: например, Encyclopedia of Triangle Centers Кларка Кимберлин- га насчитывает более 3500 точек.

Через несколько лет после этого Карл Вильгельм Фейербах (1800-1834) и Олри Теркем (1782-1862) нашли окружность с центром СE, известную сегодня как окружность Эйлера. Она проходит через девять точек: через середины всех сторон треугольника, через основания всех его высот и, наконец, через срединную точку отрезка, идущего от каждой вершины к ортоцентру (рисунок 12). Существует еще одно соотношение, касающееся этих расстояний:

d (СЕ,O) = d (СЕ,С).

Некоторые из его простейших открытий таковы, что можно представить себе дух Евклида, вопрошающий: "Почему при жизни на Земле я не додумался до этого?"

Гарольд Коксетер об Эйлере

Как легко догадаться, центры треугольников были не единственным геометрическим интересом Эйлера. Мы могли бы перечислить множество других занимавших его вопросов, но среди них есть один, который отличается своей сложностью, прямо пропорциональной простоте формулировки. В 1751 году Эйлер в письме Гольдбаху предложил следующую задачу: найти для любого выпуклого многоугольника с п сторонами, сколькими способами можно разделить его на треугольника при помощи диагоналей, которые не должны пересекаться, и считая по отдельности разные углы. Эйлер спрашивал, сколько поперечных разрезов надо сделать в "торте" многоугольника, как видно на рисунке. Это сложная задача на комбинаторику, и ее решение — Сn-2, где

Cn = 1/n(2n n-1)

Все возможные способы разделения на треугольники многоугольников с 4,5 и 6 сторонами при помощи нелересекающихся диагоналей.

НЕЗНАКОМЫЙ НАМ ЭЙЛЕР

Эйлер интересовался всем и писал статьи почти по всем вопросам. Многие из них сложно отнести к той или иной области науки, известной в то время: к чему относится, например, задача о возможном маршруте по мостам Кенигсберга? Другие же, напротив, прекрасно вписывались в мир того времени, например задача о выплате пенсий, но не были первоочередными проблемами. Краткий экскурс по этим трудноклассифицируемым сочинениям даст более глубокое представление о необыкновенном разнообразии наследия Эйлера.

ЭЙЛЕР-ИНЖЕНЕР

Вклад Эйлера в практическое инженерное дело обычно принижается, отчасти из-за невысокого мнения о нем Фридриха II, который считал очевидным, что все проекты, реализованные его подданными, будь то генералы, садовники или ученые, должны прекрасно работать, ведь за это он им и платил. Инженеры Его Величества — а Эйлер был их начальником — не были исключением. Если, например, из фонтанов в садах императора вдруг не била струя, то, по мнению Фридриха, это означало, что его инженеры и конструкторы никуда не годятся. Ошибки в расчетах давления воды не прощались.

Несмотря на такое отношение, Эйлер много занимался задачами практической инженерии. Около 1744 года (правда, эта работа была опубликована только в 1757-м) он применил вариационное исчисление к рассчету нагрузки от предметов на пилястрах, которые их поддерживают, — на профессиональном языке это называется критической нагрузкой, простым вариантом деформации.

Представим себе колонну, как на следующей странице, на которую давит осевая концентрическая сила, q, то есть груз, давящий на центр тяжести ее поперечной секции. Эйлер нашел формулу

F = π2EI/(KL)2,

которая описывает эту нестабильность, где F — сила, или осевой груз, Е — модуль упругости, I — момент инерции площади, L — длина между точками опоры колонны, а — эмпирический фактор, зависящий от условий поддержки конца перекладины или колонны, испытывающей деформацию. Произведение KL определяет их действительную длину.

Деформация или нестабильность при критической нагрузке колонны.

ЭЙЛЕР И МЕХАНИКА ЖИДКОСТЕЙ

В 1757 году Эйлер опубликовал статью Principes generaux du mouvement des fluides ("Общие принципы движения жидкостей").

В ней впервые появляются уравнения для механики жидкостей, описывающие движение жидкости, которую нельзя сжать и у которой нет вязкости.

Сегодня такую жидкость назвали бы идеальной. Мы же рассмотрим не саму идеальную жидкость, а уравнения Эйлера, записанные в современном виде. Лаплас (1749-1827) добавил к этим уравнениям важную деталь — адиабатическую составляющую (то есть предположил, что количество тепла в системе неизменно). На современном тензорном языке уравнения выглядят так:

где р — плотность жидкости, v — ее векторная скорость, Е — общая энергия на единицу объема и давление. Предполагается, что вязкость потока не имеет значения, однако это нельзя утверждать с такой уверенностью для более сложных формул, например для уравнений Навье — Стокса. По мере того как уравнения становятся все более сложными — и все более близкими к реальности, логично, что количество предпосылок в них уменьшается. Уравнения Навье — Стокса известны как одна из проблем тысячелетия, за решение которой Институт Клэя готов выплатить миллион долларов.

Теорему Бернулли для гидродинамики можно вывести, проинтегрировав уравнения Эйлера. Таким образом, нет сомнений, что они имеют огромное значение, ведь из них выводится принцип полета крылатого тела, более тяжелого, чем воздух. В прошлом уравнения Эйлера применялись в изучении самых разных явлений — большого красного пятна на Юпитере, кровообращения, аэродинамики автомобилей — и продолжают использоваться сейчас. В эссе 1756 года Эйлер подробнейшим образом изучил турбины, приводимые в движение жидкостью, и это исследование до сих пор остается непревзойденным.

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

Компьютеры сделали неоценимый вклад в решение уравнений Эйлера и Навье — Стокса: с их помощью можно имитировать механическое движение жидкости. Тем не менее пока не представляется возможным решить уравнения ее движения.

УСЛОВИЯ КОШИ — РИМАНА

С исторической точки зрения эти аналитические уравнения уже были рассмотрены в 1752 году Д’Аламбером и Эйлером, ис- пользовавшими их в разных областях, например в гидродинамике. Уже в 1777 году эти уравнения появляются среди других аналитических выражений ученого, хотя они были опубликованы только после его смерти. Они постулируют равенство частных производных следующим образом: предположим, что функцию ƒ(x + iy) комплексной переменной можно разделить на действительную и мнимую части:

ƒ(x + yi) = u (х,у) + iv (х,у)

и что u и v можно продифференцировать как функции двух переменных в действительной области R. Следовательно, их частные производные удовлетворяют условиям

∂u/∂x = ∂v/∂y

∂u/∂x = ∂v/∂x

И наоборот, если u и v можно продифференцировать как действительные функции и при этом выполняются предыдущие равенства для производных, то ƒ — дифференцируемая функция и ƒ = u + iv.

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

ИГРЫ, ЛОТЕРЕИ И СТРАХОВАНИЕ ЖИЗНИ

Эйлер нашел время для изучения вопросов статистики и вероятностей. И хотя его исследования в этой области были не слишком обширны, о них стоит упомянуть. Иногда ученый говорил об этих работах в переписке с королем Фридрихом II. Некоторые изыскания ученого касаются азартных игр и пари — в то время эта область считалась научной. Действительно, в них часто решались задачи, впоследствии приобретавшие большое научное значение. Как и другие выдающиеся математики, например Иоганн Генрих Ламберт (1728-1777) или Пьер-Симон Лаплас, Эйлер изучал карточную игру treize (413"), известную также под названием "встреча" (или "совпадения"). Затем он углубился в лотереи, возникшие как раз в это время, и в страхование жизни, а также в статистику жизни и смерти. Пенсия и ежегодные взносы, которые необходимо выплачивать для ее получения, высчитываются на основе этой статистики, поскольку их объем зависит от большей или меньшей вероятности смерти человека.

ПРИНЦЕССА И СИЛЛОГИЗМЫ

Эйлер написал принцессе Ангальт-Дессау, племяннице Фридриха, более 200 писем. В 1768 году они были собраны в один том под названием Lettres è une princesse d'Allemagne sur divers sujets de physique et de philosophie ("Письма к немецкой принцессе о разных физических и философских материях·). И даже в таком, казалось бы, легком жанре Эйлеру удалось удивить современников. В некоторых письмах (102-105) он рассуждает о силлогизмах и, чтобы лучше объяснить свою мысль, прибегает к диаграммам, как на рисунках 1 и 2.

РИС. 1

РИС . 2

Они напоминают диаграммы Джона Венна (1834-1923), хотя отличаются по смыслу. То, что Венн изобразил бы в виде диаграммы на рисунке 3, для Эйлера было бы рисунком 4. Венн изображал фрагмент диаграммы, даже если он был пустым, в то время как Эйлер, не думавший об общей картине, не считал это возможным. Венн называл свои диаграммы не диаграммами Венна, как их обозначают сегодня, а диаграммами Эйлера, так что не требуется уточнять, кто был источником его вдохновения.

РИС.3

РИС. 4

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

ВТОРОСТЕПЕННЫЕ РАБОТЫ

В Пруссии Эйлер написал несколько работ, которые можно называть второстепенными, если сравнивать их с другими фундаментальными трудами из его обширного наследия. В 1744 году вышла книга о траектории планет и комет, Theoria motuum planetarum et cometarum ("Теория движения планет и комет"), а в 1746 году — трактат по оптике, в котором говорится о свете и цветах,— Nova theoria lucis et colorum ("Новая теория света и цветов"). Вслед за Христианом Гюйгенсом (1629-1695) Эйлер склонялся к волновой гипотезе, превалировавшей над корпускулярной вплоть до создания квантовой механики. В 1745 году был опубликован сделанный Эйлером перевод на немецкий язык книги New Principles of Gunnery ("Новые принципы артиллерийского искусства") Бенджамина Роббинса (1707-1751). Ученый сделал такое количество комментариев, исправлений и дополнений, что фактически написал книгу заново.

В 1765 году, когда Эйлер уже переезжал в Россию, в печать отправилась Theoria motus corporum solidorum seu rigidorum ( "Теория движения твердых тел") — второй трактат по механике. Он стал улучшенным вариантом первого (в котором методы математического анализа впервые применялись в механике), поскольку в нем появились уравнения, впоследствии названные дифференциальными уравнениями движения твердого тела, подверженного действию внешних сил, и углы Эйлера, связанные с использованием систем координат, одна из которых неподвижна, а вторая привязана к движущемуся телу так, что его движение оказывается разложено на линейное и вращательное. Все специалисты подчеркивают оригинальность некоторых исследований, например изучения оси вращения обычной юлы, которое подводит к понятию нутации и прецессии равноденствий.

Мы уже говорили, что еще одной страстью Эйлера была картография. В течение нескольких лет ученый принимал участие в создании атласа России. В результате он был напечатан в 1745 году и состоял из 20 карт. Эйлер очень гордился этим достижением и утверждал, что благодаря этому атласу российская картография обогнала немецкую.

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

ФУНДАМЕНТАЛЬНАЯ ТРИЛОГИЯ: ВЕРШИНЫ АНАЛИЗА

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

В 1748 году он опубликовал Introductio in analysin infinitorum ("Введение в анализ бесконечных"), шедевр в двух томах, который вместе с Instituciones calculi differentialis ("Дифференциальное исчисление") 1755 года и с трехтомным Instituciones calculi integralis ("Интегральное исчисление") 1768-1770 годов входит в непревзойденную по сей день научную трилогию. Появление этих работ разделило математику на до и после, особенно в области анализа. Франсуа Араго (1786-1853) назвал Эйлера "анализом, воплощенном в человеке", а историк математики Карл Бенджамин Бойер (1906-1976) ставил его работы в один ряд с трудами Евклида, Ньютона, Гаусса и Декарта и даже впереди их всех, поскольку они имеют большее педагогическое значение. Вот что пишет Бойер:

"Можно сказать, что Эйлер сделал с исчислением Ньютона и Лейбница то, что Евклид сделал с геометрией Евдокса или Ви- ет — с алгеброй Кардано и Аль-Хорезми. Эйлер взял дифференциальное исчисление Лейбница и метод Ньютона и поместил их в более общую область математики, которая с этого момента стала называться анализом, то есть изучением функций и бесконечных процессов".

Это изменение касалось не только содержания, но и математической символики. В качестве упражнения может быть полезно почитать эти книги и убедиться, что они понятны и сегодня. Клиффорд Трусделл (1919-2000), выдающийся американский физик, писал по этому поводу:

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

Некоторые разработки Эйлера в области анализа интересны только узким специалистам, и мы ограничимся их перечислением: это гипергеометрические ряды, гиперболические функции, дифференциальные уравнения, эллиптические функции и комплексные интегралы.

База, на которой основано одно из самых важных открытий, описанных в Introductio in analysin infinitorum,— это формула Муавра. Современный математик записал бы ее так:

(cosx + isinx)n = cosnx + isinnx.

Сам де Муавр записал ее в 1730 году в более сложном виде, но в соответствии с традицией того времени:

АБРАХАМ ДЕ МУАВР

Абрахам де Муавр родился в 1667 году во французском регионе Шампань, однако карьеру сделал в Великобритании, куда бежал от религиозных преследований протестантов, начавшихся после того, как в 1685 году Людовик XIV отменил Нантский эдикт. В Лондоне он оказался в стесненных обстоятельствах и зарабатывал на жизнь частными уроками и игрой в шахматы. Де Муавр близко подружился с Эдмундом Галлеем (1656-1742) и Ньютоном, с которым он каждый день пил кофе и который, как говорят, каждый раз, когда ему задавали вопрос о вычислениях, отвечал: "Спросите де Муавра, он разбирается в этом лучше". Кроме этого, де Муавр дружил с Лейбницем, Эйлером и семьей Бернулли, однако все эти связи не помогли ему найти постоянную работу. Он был превосходным математиком: именно ему принадлежит введение в теорию вероятностей независимых событий — результат, приближающий к понятию распределения статистических данных в виде колокола Гаусса. Также де Муавр изучал вопрос ренты в работе Annuities in life ("Пожизненная рента"), опубликованной в 1724 году и основанной на одном из сочинений Галлея. В области анализа де Муавру принадлежит заслуга асимптотического представления факториала. Впоследствии эта формула станет известна как формула Стирлинга:

n! = √(2πn)(n/e)n.

Но главным его достижением стала формула для комплексных чисел, которая в современной записи выглядит так:

(cosx + /sinx)n = cosnx + isinnx.

Де Муавр остался холостяком и жил в бедности, но с гордостью изгнанника вспоминал, что в 1754 году Парижская академия наук избрала его своим иностранным членом. Умер ученый в Лондоне, и говорят, что он предсказал день своей смерти. Якобы де Муавр заметил, что каждый день спит на 15 минут больше, и, произведя подсчеты, вычислил день, когда должен был проспать 24 часа: 27 ноября 1754 года. Так и оказалось.

Эйлер использовал формулу Муавра, не приведя никакого ее доказательства. Он совместил ее с другой формулой, названной его именем и созданной еще в Базеле (как мы видели в главе 2):

еix = cosx + isinx,

и вывел, пользуясь простым правилом возведения в степень, выражение, которое сегодня мы записали бы так:

ех+iy = ех (cosу + isiny).

Эйлер пришел к этим результатам, а также к другим, имеющим огромную важность, отталкиваясь от простого ряда Тейлора:

ex = Σn=0∞xn/n! = 1 + x + x2/2! + x3/3! + x4/4! + ...

В приложении 5 мы более подробно объясним, как Эйлер вывел свою формулу из этого выражения.

Если мы подставим вместо х число π, то, по формуле Эйлера, получим:

eix = cosπ + isinπ = -1 + i0 = -1,

а перенеся -1:

eix + 1 = 0.

Многие математики считают это уравнение, известное как тождество Эйлера, самым красивым в этой науке.

В Introductio in analysin infinitorum можно также обнаружить понятие логарифма в форме, позволяющей решить задачу отрицательных логарифмов, которая не давала Эйлеру покоя со времен его базельской юности. Он совершенно правильно определял их как результат операции, обратной возведению в степень:

alogºx = x.

а это значит, что логарифм в области комплексных чисел имеет бесконечное число значений, которые отличаются только четным произведением π, то есть 2kπ. В частности:

ln(-1) = iπ + 2kπ(k € Z),

что приводит нас к таким выражениям, как

ii = eilni = e(-π/2) ~ 0,2078795764.

В этой работе также впервые появляются число е, формула Муавра, ряд степеней sinx и cosx, понятие функции, несколько степенных рядов (а также представлено другое решение Базельской задачи) и так далее, объясняются и систематизируются начала аналитической геометрии, неразрывно связанной с анализом. Среди затронутых тем можно найти косоугольные и полярные координаты, преобразование координат, асимптоты, кривизну, пересечение кривых, касательные и многие другие. Подход Эйлера к этим понятиям не просто современен, он действительно соединил точки зрения Ньютона и Лейбница и объяснил раз и навсегда, что дифференцирование и интегрирование являются обратными друг другу действиями, двумя сторонами одной медали. В Institutiones calculi differentialis и Institutiones calculi integralis содержится первое исследование рядов, непрерывных дробей, дифференциальных уравнений, включая частные производные, максимумы, минимумы и так далее. Эйлер начал интеллектуальную схватку длиною в жизнь с числовыми рядами: никто не знал, сходятся ли эти бесконечные суммы, и если сходятся, то к чему. В некоторых случаях расхождение было очевидным, как, например, в так называемом гармоническом ряде:

1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ... ,

который итальянский математик Пьетро Менголи сгруппировал так:

1 + 1/2 + (1/3 + 1/4) + (1/5 + 1/6 + 1/7 + 1/8) +

+ (1/9 + 1/10 + 1/11 + 1/12 + 1/13 + 1/14 + 1/15 + 1/16) + ...

≥ 1 + 1/2 + 1/2 + 1/2 + 1/2 + ... ,

показав, что его сумма бесконечна. Другие же вызывали недоумение. Рассмотрим пример:

1 - 1 + 1 - 1 + 1 - 1 + ...

В таком виде кажется, что его сумма равна 0:

(1-1) + (1-1) + (1-1) + ... = 0,

а если сгруппировать его так, то сумма равна 1:

1 + (-1 + 1) + (-1 + 1) + (-1 + 1) + ... = 1.

На самом деле оба результата неправильны. Эйлер, как и другие математики того времени, предпочитал исходить из известного ряда

1/(1-x) = 1 + x + x2 + x3 + x4 + x5 + ...

Подставив вместо х число -1, он пришел к

1/2 = 1/(1- (-1)) = 1 + (-1) + (-1)2 + (-1)3 + (-1)4 + (-1)5 + ...

= 1 - 1 + 1 - 1 + 1 - 1.

то есть ни 1, ни 0: Эйлер утверждал, что сумма равна 1/2.

К арсеналу уже известных к тому времени рядов

Эйлер постепенно добавил много собственных результатов: решение Базельской задачи; формулу суммирования Эйлера — Маклорена, которая улучшала сходимость, если таковая наблюдалась; преобразование рядов через конечные и последовательные разности; а также важные открытия в области расходящихся рядов. Фактически, в 1755 году, то есть в эпоху, когда еще не существовало понятие предела, ученый уже различал сходящиеся и расходящиеся ряды. Среди рядов, суммированных Эйлером, мы находим

π/(3√3) = 1 - 1/2 + 1/4 - 1/5 + 1/7 - 1/8 + ...

π/(2√2) = 1 + 1/3 + 1/5 + 1/7 + 1/9 + 1/11 + ...

π/3 = 1 + 1/5 - 1/7 - 1/11 + 1/13 - 1/17 + ...

π2/(8√2) = 1 - 1/32 - 1/52 + 1/72 + 1/92 + ...

π2/(6√3) = 1 - 1/52 - 1/72 + 1/112 + 1/132 + ...

1 -1! + 2! -3! + ... = 0,596347362123...

Он также открыл два новых ряда. Один — данная последовательность степеней:

arxtgz = z - z3/3 + z5/5 + z7/7 + ... ,

а вторым был первый ряд Фурье в истории, который Эйлер описал в 1744 году в письме Гольдбаху, то есть задолго до того, как Жозеф Фурье (1768-1830) начал свои знаменитые исследования. И даже до того, как Фурье родился.

1/2x = sinx - 1/2 sin 2х + 1/3 sin Зx - ...

Вклад Эйлера в теорию чисел огромен, и его подробное изложение не является целью этой книги. Достаточно сказать, что только Карл Густав Якоб Якоби (1804-1851) и Сриниваса Рамануджан Айенгор (1887-1920) могут сравниться с ним по значению своих работ в этой области. Еще одним важным разделом математики, интересовавшим Эйлера, были дифференциальные уравнения. Здесь его самым знаменитым открытием, возможно, является метод Эйлера, позволяющий приближенно решать дифференциальные уравнения первого порядка.

ГЛАВА 4 Эйлер и теория чисел

Эйлер, имевший серьезные проблемы со зрением, в России мог бы удалиться от дел и спокойно почивать на лаврах. Но он работал до самой смерти: глубоко исследовал теорию чисел, добился превосходных результатов в области простых чисел, чисел Мерсенна и чисел Бернулли, а также диофантовых уравнений и разбиения множеств. Он также успел уделить время игровой математике и даже написал несколько научно-популярных книг.

Причиной возвращения Эйлера в Россию в 1766 году стало желание императрицы Екатерины II вернуть Академии былую славу. Ученый никогда не терял связи с Россией, даже живя в Берлине. Хорошо известно, что он посылал в Санкт- Петербург множество статей, которые были логическим продолжением работ, впервые опубликованных именно в России. Ученый также постоянно получал вознаграждение от Российской империи за решение определенных задач, например военного характера, и оказывал протекцию молодым русским, приезжавшим учиться в Европу. За научный вклад в работу Петербургской академии Эйлеру в 1742 году, когда он еще был в Берлине, была назначена пенсия. Один любопытный исторический факт дает представление не только о подробностях второго путешествия Эйлера в Россию, но и о том, насколько не сложились его отношения с предыдущим покровителем. В одном из своих писем Фридрих сожалел об утере целого ряда личных записок ученого во время кораблекрушения, произошедшего по пути в Санкт-Петербург: "Какая жалость, ведь из этих записок могло бы получиться шесть томов трактатов, полных цифр от начала и до конца, а теперь, видимо, Европа лишилась такого приятного чтения".

По приезду ученого ему было назначено весьма щедрое жалованье в 3000 рублей. Императрица даже отдала ему повара из своего дворца. Руководила Академией, по назначению Екатерины, княгиня Дашкова. Существует знаменитый и документально подтвержденный анекдот, который показывает, как высоко княгиня ценила Эйлера. Однажды она провожала ученого в зал собраний. Один напыщенный профессор захотел сесть на почетное место рядом с председательницей, она же насколько можно любезно обратилась к Эйлеру: "Располагайтесь, где хотите, господин Эйлер, хотя все мы знаем, что вы выберете самое почетное место, первое из всех".

Но не все было так прекрасно. Первой трагедией этого периода стала слепота. Эйлеру провели операцию по удалению катаракты со здорового глаза, и хотя в начале все было хорошо, позже началось воспаление, которое не заметили вовремя и из-за которого ученый в конце концов потерял зрение. В 1771 году он был почти слеп на оба глаза. Несмотря на это Эйлер не замедлил свой рабочий ритм. Напротив, можно утверждать, что его продуктивность в этот второй русский период была самой высокой за всю его жизнь. Но он не справился бы в одиночку: история сохранила имена некоторых его помощников, многие из которых были превосходными математиками. Это Георг Вольфганг Крафт, Михаил Евсеевич Головин, Степан Румовский, Семен Котельников и Петр Иноходцев, а также старший сын Эйлера Иоганн Альбрехт, его приемный внук Николай Фусс, математик и астроном шведского происхождения Андрей Лексель.

Старший сын Эйлера, Иоганн Альбрехт (1734-1800), был математиком и членом Берлинской академии с 1754 года, а также профессором Петербургской академии с 1765 года. Его научные таланты подтверждают семь призов, полученных им от разных академий в течение жизни.

Правой рукой Эйлера был Николай Фусс (1755-1826), математик, из ассистента ставший его личным секретарем, затем профессором в кадетском корпусе и постоянным секретарем Петербургской академии. В 1784 году он женился на внучке Эйлера и находился рядом со своим гениальным учителем до самой смерти.

ЗНАМЕНИТЫЙ АНЕКДОТ

Вполне естественно, что с персонажем такой величины, как Эйлер, связано большое количество историй. Однако проблема таких анекдотов состоит в том, что чем интереснее герой, тем их больше, и чем больше времени отделяет нас от этих событий, тем сложнее их проверить. Анекдот, приведенный ниже, мы выбрали, во-первых, из-за хорошей репутации его рассказчика — Дьедонне Тьебо (1733-1807), историка, которому можно доверять. Тьебо утверждает, что историю ему пересказали прямые свидетели. А во-вторых, этот анекдот очень популярен. Главный герой истории — французский писатель и философ Дени Дидро, отец и редактор "Энциклопедии". Находясь проездом в России, Дидро получил приглашение поучаствовать в дискуссии о существовании Бога. Эйлер, как очень верующий человек, обладал неоспоримым доказательством. Дидро принял участие в собрании, и Эйлер изложил ему свой тезис:

"Господин, (a + bn)/n = х, следовательно, Бог существует. Отвечайте же!"

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

Портрет Дени Дидро, отца и главного редактора "Энциклопедии".

Другая сторона

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

Он написал для деда своей жены великолепную надгробную речь — длинный трогательный текст о его жизни и работе. Наконец, Андрей Лексель (1740-1784) работал с Эйлером в последний период его жизни и также находился в доме в момент смерти ученого. В то время Лексель вместе с Эйлером и Фуссом занимался изучением только что открытого Урана и с помощью вычислений предсказал существование Нептуна.

Еще одним несчастьем этого периода стал пожар, который случился в доме Эйлера в 1771 году и в котором ученый чуть не погиб. Его спасло только вмешательство слуги Петера Гримма (некоторые источники говорят просто о соотечественнике из Базеля), вынесшего Эйлера на своих плечах. Часть денег для перестройки дома в камне была выделена императрицей.

КРИВЫЕ И ПЕРЕДАЧИ

В 1754 году Эйлер опубликовал в Берлинской академии несколько записок о зубчатых колесах. В 1765 году, между берлинским периодом и возвращением в Россию, он вернулся к этой теме в Supplementum de figura dentium rotarum. В этом сочинении говорилось о форме зубьев вращающегося зубчатого колеса. На рисунке 1 изображено колесо с треугольными зубьями, но простых треугольников недостаточно. Профиль зубьев имеет важнейшее значение, и на рисунке 2, сделанном по работам Эйлера, мы видим идеальные зубья, образованные эвольвентой окружности. Она получается, если нарисовать траекторию конца веревки, обвязанной вокруг окружности, при ее разматывании. У зубьев общая касательная, и колесо не вибрирует, энергия не тратится на шум,

РИС. 1

РИС . 2

и затраты становятся минимальными. Эйлер был первым ученым, исследовавшим область эвольвентного зацепления, а его идеи привели к созданию уравнений Эйлера — Са- вари, которые используются в этой области и сегодня.

РИС.3

Рисунок зубьев пилы, созданный в соответствии с исследовании- ми Эйлера.

Зубья пилы

Помимо шестеренок, Эйлер также интересовался зубьями пилы (рисунок 3) и в 1756 году написал по этому вопросу статью на 25 страницах. В ней содержатся формулы, в которых учитывается количество зубьев, угол их наклона, степень входа зуба в дерево и так далее. Некоторые его выводы сегодня повергают в изумление: Эйлер рекомендовал использовать пилы длиной 1,2 метра и пилить целыми группами пильщиков.

Третьим и самым важным событием, оказавшим влияние на Эйлера в этот период, стала смерть его жены Катерины в 1773 году, после почти 40 лет брака. Ученый женился повторно — на своей свояченице Абигайл. Несмотря на все жизненные удары, он продолжал публиковать новые работы в прежнем ритме. Хотя в прошлом он уже внес значимый вклад в теорию чисел своими работами о математических константах или о числах Ферма, историки единогласно утверждают, что большая часть открытий была сделана Эйлером именно в последние годы жизни. Нельзя не подчеркнуть также, что только этих его достижений в данной области — не очень популярной в то время — хватило бы, чтобы оставить в веках имя любого математика.

ЭЙЛЕР И ДИОФАНТОВЫ УРАВНЕНИЯ

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

Эйлер также попал под их очарование; большая часть его работ по теории чисел состоит в решении задач, оставшихся в наследство от Ферма, а того необычайно привлекал Диофант и область его научных занятий. Но время сбора урожая еще не пришло: Эйлеру не хватало многих мощных инструментов, чтобы начать систематическое изучение диофантовых уравнений, таких как алгебраическая геометрия и эллиптические интегралы, которые только начали появляться. И хотя Эйлер измерил границы царства Диофанта, он не смог его завоевать. Самым знаменитым доказательством в этой области, наверное, может считаться частичное доказательство теоремы Ферма, которое получил Эйлер. Согласно ей, невозможно было решить диофантово уравнение хn + уn - zn при n ≥ 3. Эйлер доказал, что это так при n = 3. Считается, что в доказательстве, которое он нашел уже в 1735 году, была ошибка, но впоследствии Эйлер сам ее исправил. Также при изучении другой категории чисел он подтвердил рассуждения для п - 4, уже выведенные Ферма. Универсальное решение для любого значения п появилось только в конце XX века благодаря Эндрю Уайлсу.

Эйлер также заинтересовался уравнением Пелля — дио- фантовым уравнением вида

у2 = Ах2 + 1,

где А — определенное число, а не неизвестная. Это уравнение решил Лагранж, который развил и расширил метод непрерывных дробей, проанализированный Эйлером. Современное название уравнения происходит от ошибки самого Эйлера, который перепутал Джона Пелля (1611-1685) с математиком

ДИОФАНТОВЫ УРАВНЕНИЯ

Диофант Александрийский (ок. 200 — ок. 284) известен как создатель диофантовых уравнений. Сегодня так называют уравнения с одной или более неизвестными, в которых все коэффициенты являются целыми числами и в качестве решений допускаются целые числа, хотя Диофант допускал и рациональные. Предполагается, что Диофант прожил 84 года, поскольку имеется эпитафия, в которой упоминается его возраст.

Прах Диофанта гробница покоит; дивись ей, и камень

Мудрым искусством его скажет усопшего век.

Волей богов шестую часть жизни он прожил ребенком

И половину шестой встретил с пушком на щеках.

Только минула седьмая, с подругой он обручился.

С нею, пять лет проведя, сына дождался мудрец;

Только полжизни отцовской возлюбленный сын его прожил.

Отнят он был у отца ранней могилой своей.

Дважды два года родитель оплакивал тяжкое горе,

Тут и увидел предел жизни печальной своей*.

* Перевод С. Н. Боброва.

Если мы размотаем этот клубок ребусов и запишем диофантово уравнение, скрывающееся в этом тексте, то получим

x/6 + x/12 + x/7 + 5 + x/2 + 4 = x, и решение ч = 84

Диофант и Ферма

Еще одной причиной известности Диофанта стала история создания теоремы Ферма. Вкратце она выглядит так: во времена Ферма были опубликованы почти все труды Диофанта из тех немногих, что дошли до наших дней. Читая книги, Ферма обычно писал свои комментарии на полях. Одно из предложений Диофанта, приведенных в тексте, натолкнуло Ферма на размышления и вдохновило его на создание теоремы, позже названной Великой теоремой Ферма. Она абсолютно безобидна с виду и кажется довольно простой. Ферма утверждал, что нашел для нее превосходное доказательство, которое не смог записать, поскольку на полях книги не хватило места; по крайней мере, такую версию распространил сын ученого. Тем не менее найти доказательство никому не удавалось до конца XX века (это сделал Эндрю Уайлс в 1995 году). Диофант написал 11 книг по арифметике, из которых до наших дней дошло только шесть (есть еще четыре, авторство которых не установлено). В них содержится более 100 задач, приводящих к диофантовым уравнениям, но в их решениях нет и следа математического метода, а только лишь проявление необыкновенного гения ученого.

Уильямом Браункером (1620-1684), признанным отцом этого знаменитого уравнения. Джулия Робинсон (1919-1985) с его помощью смогла решить десятую проблему Гильберта, одну из самых сложных в современной математике. Она состояла в том, чтобы проверить, существует ли алгоритм, способный определить, имеет ли произвольное диофантово уравнение целое решение. Окончательный ответ — нет.

ПРОБЛЕМА ЭЙЛЕРА И ДИОФАНТОВЫ УРАВНЕНИЯ

Знаменитая проблема Эйлера, сформулированная в 1769 году, связана с диофантовым уравнением вида

х4 + у4 + z4 = u4.

ГИПОТЕЗА О СУММЕ СТЕПЕНЕЙ

Французский математик Огюстен Луи Коши (1789-1857) вошел в историю благодаря своему таланту, сделанным открытиям, сформулированным теоремам и понятиям, а также противоречивому характеру. Его чрезмерная набожность и нежелание признавать заслуги коллег составляли темную сторону сложной натуры ученого. Однако с ним связан один анекдот, который показывает его более приятное лицо и его неподражаемое французское чувство юмора. Согласно этой истории, а точнее легенде, однажды Коши, который получал множество рукописей на проверку, в одной из них нашел доказательство, в стиле Ферма, несуществования целых чисел х, у, z, которые удовлетворяли бы диофантову уравнению:

x3 + y3 + z3 = u3.

В тот день Коши пребывал в хорошем расположении духа и, даже не прочитав всего доказательства, написал ответ, занимавший одну строку. Его кратким вердиктом было:

З3 + 43 + 53 = 63.

Действительно, 27 + 64 + 125 = 216, в чем может убедиться любой ученик средней школы.

Упрощая, мы можем сказать, что она постулирует невозможность существования целых х, у, г и и, при которых равенство было бы верным. Долгое время это предположение считалось справедливым, пока американский математик Ноам Элкис (1966) не опроверг его, опубликовав в 1988 году такой пример:

26824404 + 153656394 +187967604 - 206156734.

И это не все: Элкис доказал, что у этого уравнения — бесконечное число решений абсолютно разной величины, но самое маленькое состоит примерно из 70 цифр. Это показывает нам, что ни одно предположение нельзя принимать на веру, каким бы очевидным оно ни казалось и какой бы ни совершался прогресс в его доказательстве. Сегодня существует даже отдельный русский веб-сайт, на котором собраны контрпримеры к ошибочной гипотезе Эйлера.

РАЗБИЕНИЕ

В течение всей своей жизни Эйлер посвятил много сил работе над разбиением. Хотя базовое понятие разбиения не представляет собой ничего сложного, чтобы изучить его подробно, требуется сложная математика. Детальное объяснение займет больше страниц, чем вся эта книга, поэтому мы рассмотрим понятие очень поверхностно. Возьмем произвольное положительное число, достаточно маленькое, чтобы с ним было удобно работать, например 7. Сколькими способами его можно разложить на слагаемые? Разумеется, разложения, отличающиеся только по порядку слагаемых, такие как 7 = 5+1+1 и 7 = 1+5+1, являются эквивалентными и засчитываются только один раз. Для числа 7 мы имеем:

7 = 7

7 = 6 + 1

7 = 5 + 2

7 = 5+ 1 + 1

7 = 4 + 3

7 = 4 + 2 + 1

7 = 4 + 1 + 1 + 1

7 = 3+3+1

7 = 3 + 2 + 2

7 = 3 + 2 + 1 + 1

7 = 3 + 1 + 1 + 1 + 1

7 = 2 + 2 + 2 + 1

7 = 2 + 2 + 1 + 1 + 1

7 = 2 + 1 + 1 + 1 + 1 + 1

7 = 1 + 1 + 1 + 1 + 1 + 1 + 1.

Итого 15. Запишем: р(7) - 15. Этот простой пример показывает, что разложить число — трудная задача, а результат может быть непредсказуемым. Если мы подсчитаем первые значения р(х), то получим:

Р(1) = 1

Р(2) = 2

P(3) = 3

Р(4) = 5

Р(5) = 7

P(6) = 11

Р(7) = 15

Р(8) = 22

P(9) = 30

P(10) = 42.

Никаких странностей не наблюдается, мы видим только, что p возрастает. Можно доказать, что

р(100) = 190569292.

СРИНИВАСА РАМАНУДЖАН АЙЕНГОР

Этот индийский математик родом из далекой страны, с непростой судьбой и необыкновенным талантом, привнес нотку экзотики в научный мир своего времени. Он родился в Эроде, в штате Тамил-Наду, и был типичным представителем своего общества, очень религиозным и строго соблюдавшим вегетарианство. Рамануджан был гением-самоучкой. По совету друзей он отправил несколько писем в Лондон, в которых рассказывал о своих результатах. Одно из них попало в руки к Годфри Харолду Харди (1877-1947). Вместе со своим другом и коллегой Джоном Литлвудом (1885- 1977) Харди проанализировал содержание писем, в которых говорилось обо всем сразу: об открытиях, уже сделанных, в том числе и самим Харди, и о новых формулах, свидетельствовавших о необыкновенных математических способностях. По приглашению Харди Рамануджан приехал в Англию и впоследствии был избран членом кембриджского Тринити-колледжа и Королевского общества. Многие его разработки еще не до конца изучены, но все единодушно отмечают их красоту, глубину, изобретательность и новизну. Рамануджан углубил работы Эйлера по разбиению, и это принесло свои плоды: многое из того, что сегодня об этом известно. — плод его исследований. Благодаря гению Рамануджана, мы располагаем "простым" инструментом, с помощью которого можем узнать примерное количество разбиений любого числа:

Его можно получить с помощью калькулятора. При желании мы можем получить точные цифры, а не приблизительные, но процесс будет немного сложнее.

Ученые получили необыкновенно длинные результаты, выявили малейшие различия между разбиением четных и нечетных чисел (состоящих только из четных или нечетных чисел), изобрели сложнейшие арифметические инструменты. Большая часть удивительных работ Эйлера основана на методах, развитых Абрахамом де Муавром, которые заключаются в игре со степенными рядами. Так он получал то, что в то время называлось производящими функциями последовательности, то есть хитроумные алгебраические трюки, с помощью которых ученые пытались сымитировать реальность. Уже в 1742 году Эйлеру пришла в голову идея найти производящую функцию разбиений, и после долгих лет работы он пришел к ней: оттолкнувшись от ряда

1/(1 - х) = 1 + х + х2 + х3 + ...,

он вывел формулу

Развивая бесконечное произведение справа, можно доказать, что различные разбиения числа n появляются в скрытой форме в группах степеней меньших n, которые в сумме дают n. Например, возьмем n = 4 и посмотрим, сколько х4 мы получим:

(1 + х + х2 + x3 + ...) (1 + х2 + х4 + х6 +...)(1 + х3 + x6 + х9+...)...

В результате мы получим 5х4. и следовательно, р(4) = 5. Отсюда Эйлер вывел метод для вычисления р(n), но, к сожалению, это рекурсивный метод, который позволяет вычислить р(n), только если мы знаем предшествующие значения:

р(n) = р(n - 1) +р(n - 2) - р(n - 5) - р(n - 7) + р(n - 12) + р(n - 15) - р(n - 22) - ...

ЧИСЛА БЕРНУЛЛИ

Эти числа были названы в честь Якоба Бернулли, который впервые рассмотрел их в 1713 году в своем сочинении Ars conjectandi ("Искусство предположений"). Эти числа встречаются при вычислении сумм степеней целых положительных чисел:

1 + 22 + З2 + 42 + ... + k2

1 + 23 + З3 + 43 + ... + k3

1 + 24 + З4 + 44 + ... + k4

1 + 25 + З5 + 45 + ... + k5,

или, говоря языком Эйлера, вычислении сумм

Мы имеем

где Вi — числа Бернулли. Чтобы пояснить предыдущую формулу, приведем простой пример — сумму квадратов простых чисел. Применив формулу при р - 2, получим

12+22 + ... + n2 = 1/3(B0n3 + 3B1n2 + 3B2n1) = 1/3(n3 + 1/2n2 + 1/2n).

Эйлер вычислил первые 30 чисел Бернулли. Это грандиозная задача, учитывая, что 30-е число выглядит так:

8615841276005/14322.

Наконец, числа Бернулли появляются в выражении, которое Эйлер вывел для ζ(2n) в ходе дальнейших исследований после решения Базельской задачи. Оно выглядит так:

ζ(2n) = (-1)n+1(2π)2nB2n/2(2n)!.

Числа Бернулли используются в современной записи формулы суммирования Эйлера — Маклорена, хотя сам Эйлер их не заметил, когда применил формулу, чтобы приблизительно сосчитать значение

и найти первые шесть его цифр.

ЭЙЛЕР И ПРОСТЫЕ ЧИСЛА

Эйлеру не удалось разгадать все тайны простых чисел, тем не менее он выполнил много исследований на эту тему, а также на другие, тесно с ней связанные, такие как функция Эйлера φ, числа Мерсенна или квадратичный закон взаимности.

До сих пор математики напрасно пытались открыть порядок в последовательности простых чисел, и мы имеем все основания предполагать, что речь о идет о тайне, которую человеческий разум никогда не раскроет.

Эйлер

В работе Variae observationes circa series infinites ("Различные замечания о бесконечных рядах"), опубликованной в 1744 году, Эйлер применил формулу, ставшую одной из самых известных в области простых чисел, — произведение Эйлера, которое мы подробно рассмотрим в приложении 3.

При s = 1 слева возникает гармонический ряд, стремящийся к бесконечности. Следовательно, к ней должен стремиться и результат справа. Но если это так, то произведение не может быть конечным. Следовательно, оно бесконечно, и поскольку в каждом множителе есть простые числа, то, следовательно, их существует бесконечно много. Так Эйлер нашел еще одно доказательство бесконечности простых чисел. Однако ученый хотел заглянуть еще глубже и найти плотность простых чисел. Мы знаем, что они бесконечны, но насколько плотно они расположены? Эйлер доказал, что ряд, ограниченный только простыми членами,

то есть аналог гармонического ряда

также расходится. Кроме того, несмотря на то что гармонический ряд расходится приблизительно как логарифм л, ряд обратных простых чисел расходится еще медленнее, как логарифм логарифма n.

Идеи Эйлера, считающегося изобретателем методов анализа в теории чисел, были развиты вначале Лежандром, а затем Гауссом, отцами теоремы о распределении простых чисел, которая гласит:

π(x = x/Inx

где π(x) — число простых чисел, меньших х. Эта теорема была доказана независимо друг от друга математиками Шарлем Жаном де ла Валле Пуссеном (1866-1962) и Жаком Адамаром (1865-1963) в 1896 году. Бернхард Риман расширил идеи Эйлера до области комплексных чисел С, применив к ней дзета- функцию (мы говорили о ней в главе 2), которую сам Эйлер рассматривал только в области вещественных чисел R. Затем был совершен переход к так называемой аналитической теории чисел, а позже — к оставшейся недоказанной гипотезе Римана.

ФУНКЦИЯ φ

В арифметике существует понятие не только простого числа, но и взаимно простых чисел. Целые положительные числа р и q являются взаимно простыми, если у них нет общих делителей, кроме 1. Например, 14 и 15 — взаимно простые, поскольку, даже если ни одно из них не является простым само по себе, у них нет общего делителя, кроме 1:

14-2-7

15-3-5.

То же самое можно выразить более современным способом, используя понятие наибольшего общего делителя (НОД). Сказать, что p и q являются взаимно простыми, — равноценно тому, что их НОД - 1.Функция, которую Эйлер называл φ(n), определяется как количество взаимно простых чисел, меньших п и взаимно простых с ним. Возьмем для примера числа от 1 до 10:

φ(1) = 1

φ(2) = 1

φ(3) = 2

φ(4) = 2

φ(5) = 4

φ(6) = 2

φ(7) = 6

φ(8) = 4

φ(9) = 6

φ(10) = 4.

Функция φ(n) называется индикаторной функцией; это не просто довольно интересная арифметическая игрушка, а инструмент, который можно широко использовать; она встречается в одной из самых важных теорем теории чисел — так называемой малой теореме Ферма. Как ни странно, вопреки тому, что Эйлер обычно сам вводил математические обозначения в своих работах, знак функции <р принадлежит не ему. Он доказал, что если р ид взаимно простые, то

φ(pq) = φ(p)φ(q)·

К тому же, если р — простое число, то φ(р) = р-1. Эйлеру же принадлежит следующий результат (хотя к нему подошли и раньше): если p и q — взаимно простые числа, то верна так называемая малая теорема Ферма:

pφ(q) ≡ 1 mod q,

где mod q — модуль q и означает, что pφ(q) и 1 имеют одинаковый остаток при делении на q. Эта теорема была доказана Эйлером в 1736 году, в Theorematum Quorundam ad Numéros Primos Spectantium Demonstratio ("Доказательство некоторых теорем о простых числах"), и в прошлом имела сжатую форму, которую придал ей сам Ферма. Если мы предположим, что q простое число, то φ(q) = q - 1. и мы получим оригинальную запись Ферма:

pq-1 ≡ 1 mod q,

где q — простое число, а р и q — взаимно простые. Эйлер нашел еще по меньшей мере три доказательства этой теоремы, хотя можно почти с полной уверенностью утверждать, что он не знал, кто являлся автором оригинальной теоремы.

Эта теорема лежит в основе самого известного в мире криптографического современного алгоритма с открытым ключом RSA, о чем рассказывается в приложении 6.

МАРЕН МЕРСЕНН

Марен Мерсенн (1588-1648) был священником, музыкантом, математиком, философом и теологом, хотя его настоящим призванием была музыка, которой он посвятил большую часть своих сил. Не случайно во многих источниках его называют отцом акустики. Мерсенн установил основные законы вибрации струн, занимался вопросами гармонии и инструментальной музыки. Существует мнение, что во второй сюите Отторино Респиги "Старинные танцы и арии для лютни· есть фрагмент, написанный Мерсенном. Он также серьезно изучал телескопы и зеркала, став авторитетом в этой области. Мерсенн вел обширнейшую переписку и был в центре научных новостей в эпоху, когда они еще очень редко публиковались для широкой публики. Благодаря своим разносторонним интересам он познакомился со многими интеллектуалами своего времени, с которыми поддерживал отношения и завел дружбу, в частности с Декартом. Обладая рассудительным и рациональным умом, Мерсенн активно боролся с иррациональными верованиями — каббалой и магией. Он увлекался математикой и опубликовал различные работы древнегреческих авторов, таких как Архимед и Евклид, а также занимался числами. По мнению ученых, именно в этой области он сделал свой основной вклад, поэтому числа, которые он изучал, вида

МР ≡ 2Р - 1,

были названы числами Мерсенна. Сегодня существует генератор псевдослучайных чисел, связанных с простыми числами Мерсенна, который носит имя ученого, — вихрь Мерсенна.

ЧИСЛА МЕРСЕННА

Эйлер хотел найти простые числа больших размеров. Многие математики до него ошибочно предполагали, что все числа Мр вида Мр = 2р - 1, где Р — простое число, простые. Пьетро Катальди (1548-1626) в 1588 году доказал, что M17 и М19 простые, при помощи немного устаревшего, но стандартного для того времени метода, состоявшего в том, чтобы попытаться разделить их на простые числа, меньшие их квадратного корня. Впоследствии Марен Мерсенн, в честь которого эти числа обозначаются буквой М, составил целый список предполагавмых простых чисел, оказавшийся неточным, так как М67 и М257 повторялись два раза, а M61, M89 и M107 в нем не было. Сегодня самым большим числом является M43112609, в котором 12978189 цифр, в полном виде оно займет 50 таких книг, как эта.

В 1772 году Эйлер доказал, что число M31 простое. Любопытно, что прошло более 100 лет, прежде чем было найдено следующее простое число — M127. Сделал это французский математик Эдуард Люка (1842-1891) в 1876 году. Также простыми являются M61 и M89, но они были открыты позже. Таким образом, на протяжении 104 лет Эйлеру принадлежал рекорд по открытию самого большого простого числа.

КВАДРАТИЧНЫЙ ЗАКОН ВЗАИМНОСТИ

Квадратичный закон взаимности, превосходно сформулированный Гауссом в его Disquisitiones arithmeticae ("Арифметические исследования"), появился у Лежандра и Эйлера, который рассказал о нем Гольдбаху в письме 1742 года. Для начала определим, что такое символы Лежандра (p/q).

Предположим, что p и q — разные простые нечетные числа и

(p/q) =

0, если р ≡ 0 (mod q)

1, если х2 ≡ р (mod q) разрешимое уравнение

-1, если х2 ≡ p (mod q) неразрешимое уравнение.

Таким образом, Гауссу, а не Эйлеру, удалось доказать, что

(p/q) =

(q/p), если q ≡ 1 (mod 4)

(-q/p), если q ≡ 3 (mod 4)

Это можно выразить, хотя это и непросто, в одной формуле. Гаусс сделал это открытие в 19 лет и так гордился им, что назвал его aurum theorema — "золотой теоремой".

ДРУЖЕСТВЕННЫЕ И СОВЕРШЕННЫЕ ЧИСЛА

Делитель d произвольного числа n называется собственным делителем n, если 1 ≤ d < n. Число n — несобственный делитель n. Первое серьезное исследование Эйлера в области дружественных чисел относится к 1747 году. Два числа считаются дружественными, если сумма собственных делителей одного равна другому и наоборот. Это арифметическое понятие "дружбы" можно проиллюстрировать следующим примером. Возьмем числа 220 и 284. Собственными делителями 220 будут 1, 2, 4, 10,11,20,22,44,55 и 110; а 284 -1,2,4,71 и 142. Получаем, что

220 =1 + 2 + 4 + 10+11+20 + 22 + 44 + 55 + 110 = 284

284 = 1 +2 + 4 + 71 + 142 = 220.

АДРИЕН МАРИ ЛЕЖАНДР

Научная жизнь Лежандра (1752- 1833) началась под счастливой звездой. Он обладал выдающимися интеллектуальными способностями и достаточным состоянием, чтобы посвятить себя работе, ни на что не отвлекаясь. Успехов в математике Лежандр добился не сразу. Вместе с Лапласом он сделал важные разработки в области астрономии, открыв многочлены, позже названные многочленами Лежандра, зашел на малоизвестную территорию эллиптических функций и теории чисел, в рамках которой ему удалось, как он считал, решить старую задачу о квадратичном законе взаимности. Но в его исследовании были ошибки, как впоследствии установил Карл Фридрих Гаусс. За свои астрономические работы Лежандр был принят в члены Лондонского королевского общества. Он также участвовал в работе комиссии по созданию десятичной метрической системы, входившей в программу всеобщей рационализации, начатой после Французской революции. Хотя Лежандр и разделял многие революционные идеи, в эпоху Террора он был вынужден скрываться и потерял свое состояние. После этого он переписал и издал "Начала" Евклида с точки зрения того времени и современным языком, получив оглушительный и долгий успех у читателей. Придя к власти, Наполеон сразу же взял Лежандра под свою протекцию. Ученый, бывший к тому времени уже известным академиком, занялся изучением движения комет, разработал метод наименьших квадратов для вычисления траекторий, опередив на сей раз Гаусса. К этому же периоду относятся его исследования по распределению простых чисел, которое, как он предположил, подчинялось асимптотическому закону:

Это значение, очень близкое к современному, впоследствии совпало с фундаментальной теоремой о распределении простых чисел. Гаусс здесь оказался первым, но он так и не опубликовал свои результаты.

Приложение

1. ЛОГАРИФМЫ И НЕПЕР

Джон Непер (1550-1617) может по праву считаться изобретателем логарифмов. Он нарисовал две прямые линии следующим образом: на первой отложил отрезок с концами А и В, а параллельно ему провел прямую из точки А'. Затем он предположил, что есть некое тело, которое скользит по бесконечной прямой с постоянной скоростью. В каждой точке X' на прямой он отмечал соответствующую точку на отрезке АВ, но не случайным образом: X двигался со скоростью, равной расстоянию ХВ. Взяв х = ВХ и у = А'Х', Непер создал свой логарифм:

у - logx.

Непер взял AB - 107, что привело его к довольно сложным алгебраическим равенствам. Если N — число, a L — логарифм, то Непер вычислил N = 107 (1-10-7)L. Мы получаем

Здесь уже появляется постоянная е, так как

(1 - 10-7)107 ≈ 1/e.

Во многих старинных трактатах говорится о логарифмах Непера, или натуральных. Здесь мы имеем дело с путаницей, потому что натуральные логарифмы — это логарифмы по основанию е, в то время как все (почти) логарифмы Непера имеют основание 1/е. Это почти одно и то же, они различаются лишь знаком, а не абсолютным значением:

logeN = -log1/eN.

Сегодня для каждого положительного вещественного числа N, когда N - aL, мы говорим, что L — логарифм N по основанию а, и записываем: L = loga N.

Если мы задумаемся, то увидим, что логарифм основания всегда равен 1, и это его основополагающее свойство.

Самые распространенные основания — это а = 10,а = 2 и а- = е. Логарифмы по основанию 10 называются десятичными, по основанию 2 — двоичными, по основанию е — натуральными. Для натуральных логарифмов используется знак InN вместо log N.

Важным аспектом логарифма является то, что с его помощью упрощаются арифметические вычисления. Например:

Ν1 · Ν2 = aL1 · aL2 = aL1+L2

⇒ loga(N1 · N2) = L1 + L2 = logaN1 + logaN2.

Таким образом, логарифм произведения равен сумме логарифмов его множителей.

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

2. БАЗЕЛЬСКАЯ ЗАДАЧА

Проследим за хитроумными рассуждениями Эйлера, но не будем забывать, что в некоторых местах они должны быть доработаны. Позже это сделал сам ученый. Возьмем знаменитый ряд Тейлора:

sinx = x - x3/3! + x5/5! - x7/7! + ...

Мы знаем, что он равен нулю при х равном нулю, то есть если sinx = 0, когда х = 0, ± π, ±2π, ±3π...

Следовательно, предположив, что ряд ведет себя как многочлен, поскольку он и является длиннейшим многочленом, применение фундаментальной теоремы алгебры преобразит его в произведение одночленов вида х - α, где α — решение. Продолжим:

x - x3/3! + x5/5! - x7/7! + ... = K(x)(x - π)(x + π)(x - 2π)(x + 2π)...

К — неизвестная константа. Производя вычисления в правой части равенства:

x - x3/3! + x5/5! - x7/7! + ... = K(x)(x2 - π2)(x2 - 4π2)(x - 9π2)...

следует отметить, что каждый член вида х2 - λ2π2 справа равен нулю. А это происходит, только если

1 - х2/(λ2π2) = 0.

Запишем члены правого выражения в следующей форме:

x - x3/3! + x5/5! - x7/7! + ... = K(x)(1 - x2/π2)(1 - x2/4π2)(1 - x2/9π2)...

Теперь разделим на x:

sinx/x = 1 - x2/3! + x4/5! - x6/7! + ... = K(1 - x2/π2)(1 - x2/4π2)(1 - x2/9π2)...

И, поскольку limx→0(sinx/x) = 1, получим, что K = 1. Итак:

1 - x2/3! + x4/5! - x6/7! + ... = (1 - x2/π2)(1 - x2/4π2)(1 - x2/9π2)...

Этот ряд равен бесконечному произведению. Для Эйлера это не проблема. Подсчитаем порядок произведения и выделим члены произведения с x2 в правой части:

- x2/3! = -x2/π2 - x2/4π2 - x2/9π2 - ...

Разделив обе части на -x2/π2, получим

π2/6 = 1+ 1/22 + 1/23 + 1/42 + ...,

что и требовалось доказать.

3. ДЗЕТА-ФУНКЦИЯ И ПРОСТЫЕ ЧИСЛА

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

Ниже можно увидеть, каким образом получается это равенство:

Для тех, кто знаком со сложным анализом, дзета-функция может быть расширена до мероморфной во всей комплексной области с простым полюсом s = 1, где остаток равен 1. Это дзета-функция, о которой говорил Риман и которая стала предметом его знаменитой гипотезы.

4. УРАВНЕНИЯ ЭЙЛЕРА — ЛАГРАНЖА

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

Обозначим через S функционал (функцию функций), к которому мы применим вариационное исчисление, а через x1, х2 — экстремумы неизвестной функции:

S(ƒ) = ∫x1x2L(x1,ƒ(x),ƒ'(x))dx.

Предположим, что решением является ƒ0 и что функционал имеет здесь минимум; назовем α(x) функцию (которую мы будем "варьировать"), равную нулю в экстремумах x1, х2. Поскольку в ƒ0 функционал имеет минимум,

S(ƒ0)≤S(ƒ0+εα)

в окрестности ƒ0. Вариационный размах

ƒ = ƒ0 + εα

должен удовлетворять:

dS(ƒ0 + εα)/dε|ε=0 = ∫x1x2dL/dε|ε=0 = 0

Теперь вспомним, что

dƒ/dε = α,dƒ'/dε = α'.

Применим правило дифференцирования и проведем необходимые замены.

Получим

dL/dε = ∂L/∂ƒ dƒ/dε + ∂L/∂ƒ' dƒ'/dε = (∂L/∂ƒ)α + ∂L/∂ƒ'α'

A теперь проинтегрируем по частям и учтем предыдущую формулу:

Поскольку выражение слева — ноль, то нулем будет и выражение справа. Следовательно,

dL/dƒ = d/dx ∂L/dƒ' = 0

Таким образом, мы получили уравнения Эйлера — Лагранжа, которые в приложениях обычно приводят к дифференциальным уравнениям второго порядка.

5. КОМПЛЕКСНЫЕ ЧИСЛА

Эйлер вывел свою фундаментальную формулу, из которой впоследствии получил еще несколько из простых рядов Тейлора. Напомним, что степени ведут себя так:

i0 = 1,i1 = i,i2 = -1,i3 = -i,

i4 - 1, i5 = i, i6 = 1,i7 = i и так далее.

Напомним также, что ряды степеней е и тригонометрических функций синус и косинус раскладываются в ряд Тейлора или степенной ряд следующим образом:

ex = x0/0! + x1/1! + x2/2! + x3/3! + x4/4! + ...

cosx = x0/0! + x2/1! + x4/4! + x6/6! + ...

sinx = x1/1! + x3/3! + x5/5! + x7/7! + ...

Произведем вычисления:

eix = (iz)0/0! + (iz)1/1! + (iz)3/3! + (iz)4/4! + (iz)5/5! + (iz)6/6! + (iz)7/7! + (iz)8/8! + ... = z0/0! + i(z1/1!) + z2/2! + i(z3/3!) + z4/4! + i(z5/5!) + z6/6! + i(z7/7!) + z8/8! + ... = (z0/0! + z2/2! + z4/4! + z6/6! + z8/8! + ...) + i(z1/1! + z3/3! + z4/4! + z6/6! + z8/8! + ...).

6. КРИПТОГРАФИЯ И МАЛАЯ ТЕОРЕМА ФЕРМА

Пусть М — сообщение, а С — зашифрованное сообщение (или криптограмма). Предположим, что оба они — натуральные числа. Обозначим через ƒ функцию, которая преобразует М в С: ƒ(M) = С. Чтобы зашифровать М, выбирают два очень больших простых числа, р и q, и определяют модуль, который мы назовем n, так что n = pq и n > М. Выберем такое е, что 1 < е < φ(n), а е и φ(n) взаимно простые числа. Открытый ключ состоит из n и е, и он всем известен. Поскольку n — очень большое число, узнать значение р и q невозможно. Мы имеем E = ƒ(M) ≡ Me (mod n). Назовем закрытым ключом пару n, d, где d выбрано так, что de ≡ 1 (mod φ(n)). Поскольку ρ и q — простые числа, a pq = n, получим, что φ(n) = (р - 1)(q - 1); если мы не знаем p и q, а узнать их фактически невозможно, то мы не можем узнать и φ(n). Следовательно, мы не можем узнать d. Но у получателя есть значение d, следовательно, он знает р и q и может перейти к расшифровке сообщения: Ed ≡ (Me)d (mod n) ≡ Мed (mod n) ≡ MNφ(n)+1 (mod n), N € Ν. Теперь применим малую теорему Ферма. Если а = MN (a и n почти стопроцентно взаимно простые), то, применяя теорему, мы получаем: Ed ≡ Маφ(n) (mod n) ≡ M (mod n) = M, поскольку М < n, как мы договорились в начале.

Из этого объяснения видно, что создать ключ расшифровки довольно легко, поскольку нужны всего два больших простых числа, р и q, а разложить его, напротив, очень трудно.

Список рекомендуемой литературы

Bell, Е.Т., Los grandes matemdticos, Buenos Aires, Losada, 2010.

Boyer, C., Historia de la matematica, Madrid, Alianza Editorial, 2007.

Bradley, R., et Sandifer, E. (editores), Leonhard Euler: life, work and legacy, Amsterdam, Elsevier B.V., 2007.

Dunham, W., Euler, el maestro de todos nosotros, Madrid, Nivola,

2000.

Galindo, A. et al., La obra de Euler: tricentenario del nacimiento de Leonhard Euler (1707-1783), Madrid, Instituto de Espana, 2009.

Stewart, I., Historia de las matemdticos, Madrid, Critica, 2008.

Vargas, G., Calzada, G., Euler, el matemdtico, Madrid, El rompeca- bezas, 2011.

Указатель

Ars conjectandi 125

Dioptricae 141

Institutiones calculi differentialis 8, 3, 103, 107

Institutiones calculi integralis 8, 13, 103, 107

Introductio in analysin infinitorum 8, 13, 28, 31, 34, 51, 103, 104, 106

Principes généraux du mouvement des fl uides 97

RSA 129

Solutio facilis problematum

quorundam geometricorum diffi cillimorum 91

Vollstàndige anleitung zur algebra 141

алгоритм 64, 120, 138

Апери постоянная 65

Араго, Франсуа 39, 103

барицентр 92

Берлинская академия наук 9, 13, 24, 72, 77, 78, 91, 114, 116

Бернулли

Даниил 24, 37-39, 60, 65, 141

Иоганн 9, 13, 18-24, 61

Николай 24, 84

Якоб 9, 18, 19, 20-24, 48-50, 55, 124

брахистохрона 20-22

Бугер, Пьер 22, 25

Бэббидж, Чарльз 64, 65

Вейерштрасс, Карл 41, 56

Венн, диаграммы 101

Вольтер 39, 75-78

Гаусс, Карл Фридрих 19, 29, 91, 101, 103, 105, 127, 131-133

Герои Александрийский 87

Гзель, Катерина 13, 38, 60, 117

гидродинамика 7, 19, 24, 98

Гольдбах, Кристиан 11, 13, 24, 28, 37-39, 44-46, 50, 62, 82-85, 95, 110, 117, 131

проблема 11, 13, 82-85

граф 67-69

Гюйгенс, Христиан 48, 49, 102

Д’Аламбер, Жан Батист Лерон 71, 77, 78, 90, 91, 99

Декарт 13, 18, 22, 71, 79, 103, 130, 133

Дидона, задача 87

Дидро, Дени 90, 115

диск Эйлера 11, 140

Диофант Александрийский 118, 119

Евклид 26, 57, 94, 103, 130, 132, 135

жидкость 39, 71, 73, 97, 98

зубчатое колесо 7, 116, 117

интеграл 8, 10, 41, 42, 57, 60, 62, 71, 89, 90, 103, 104, 118

инцентр 92, 94

исчисление

вариационное 11, 22, 73, 85, 89, 90, 93, 96, 103, 150

дифференциальное 7, 8,13, 45, 71, 103

интегральное 8, 42, 57, 62, 103

эйлерова пути 18, 68, 69

квадрат 57, 137

греко-латинский 139

латинский 137-139

магический 143

квадратичный закон взаимности 126, 131

Кенигсберг 10, 13, 35, 65-69, 78, 96

Клейн, бутылка 81

Коши, Огюстен Луи 99, 120

криптография 84, 129, 152

круг Эйлера 18, 92

Лавлейс, графиня 64, 65

Лагранж, Жозеф Луи 18, 22, 71, 89, 90, 118, 142, 149, 151

Лаплас, Пьер-Симон 97, 100, 132

Лежандр, Адриен Мари 39, 57, 127, 131-133

Лейбниц, Готфрид 21, 38, 49, 75, 77, 84, 103, 105, 107

логарифм 10, 28, 32-34, 47-51, 56, 58, 106, 127, 145, 146

Лондонское королевское общество 22, 24, 25, 76, 91, 123, 132

Лопиталь, маркиз 19-20

Маклорен, Колин 10, 18, 31, 39, 59, 62, 109, 125

Маскерони, Лоренцо 10, 55-57

математические символы 8, 26, 28, 31, 51, 89, 104, 128, 131

Менголи, Пьетро 61, 107

Мерсенн, Марен 71, 111, 130

мнемоника 54

многогранник 8, 10, 11, 78-82, 93

Мопертюи, Пьер Луи Моро де 76, 77, 88

Муавр, Абрахам де 84, 104, 105, 107, 124

Ньютон, Исаак 7, 13, 18, 21, 22, 31, 88, 103, 105, 107, 142

нестабильность при пиковой нагрузке 96, 97

оптика 7, 45, 102, 141

параллелепипед Эйлера 18, 136

Парижская академия наук 22, 24, 25, 38, 39, 76, 77, 91, 105

Петербургская академия наук 9, 13, 24, 29, 35, 37, 38, 60, 84, 90, 102, 113, 114

"Письма к немецкой принцессе о разных физических и философских материях" 100, 141

полиэдр 8, 10, 11, 78-82, 93

принцип наименьшего действия 77, 85, 88, 89, 90

производная 31, 51, 56, 59, 89, 90, 99, 107

прямая Эйлера 11, 18, 91, 92

Рамануджан, Сриниваса Айенгор 110, 123

Риман, Бернхард 39, 43, 98, 127, 149

гипотеза Римана 43, 127, 149

ряды

Тейлора 106, 147, 151

Фурье 110

сигма (Σ) 29, 30

спираль логарифмическая 19, 23

Стирлинг, приближение 42, 105

судоку 139

теория чисел 7, 8,10, 11, 35, 42, 44-46, 52, 82, 111, 117, 118, 127, 128, 132, 135, 138

топология 70, 78, 81

тор 80

треугольник 18, 26, 30, 91, 92, 94, 95, 116

уравнение

диофантово 11, 111, 118-120, 136

дифференциальное 71, 89, 98, 102, 104, 107, 110, 151

Навье — Стокса 98

Пелля 118

Эйлера — Лагранжа 90, 149-151

уравнения

Коши — Римана 99

Эйлера — Савари 117

Ферма 10, 11, 42, 44-46, 62, 82, 84, 87, 117-120, 128, 129, 133, 134, 152

функция 29, 40, 41, 51, 89, 85, 87, 89, 99, 107, 124, 150, 152

бета 42

гамма 10, 35, 39-42, 56

дзета 40, 42, 43, 58, 63, 65, 127, 148, 149

индикаторная (φ) 126, 128

функций 89, 150

Фусс, Николай 114, 116, 144

центр описанной окружности 91, 92, 94

циклоида 21, 22

цикл эйлеров 18, 92

число

e 10, 28, 33, 35, 46, 47, 49-51, 53-55, 107, 146

π 28, 30, 41, 42, 46, 54, 58, 61, 63, 106

дружественное 11, 132-134

иррациональное 28, 51, 52, 56, 65

комплексное (см. также i) 10, 29, 32, 33, 41, 105, 127, 141, 151

Мерсенна 11, 126, 129-131, 135

простое 11, 40, 42-46, 58, 65, 82, 85, 111, 126-135, 148, 152

совершенное 132, 134, 135

шахматы 69, 105

Эйлер, Иоганн Альбрехт 60, 114, 142

Леонард Эйлер, без всякого сомнения, был самым выдающимся математиком эпохи Просвещения и одним из самых великих ученых в истории этой науки. Хотя в первую очередь его имя неразрывно связано с математическим анализом (рядами, пределами и дифференциальным исчислением), его титаническая научная работа этим не ограничивалась. Он сделал фундаментальные открытия в геометрии и теории чисел, создал с нуля новую область исследований - теорию графов, опубликовал бесчисленные работы по самым разным вопросам: гидродинамике, механике, астрономии, оптике и кораблестроению. Также Эйлер обновил и установил систему математических обозначений, которые очень близки к современным. Он обладал обширными знаниями в любой области науки; его невероятный ум оставил нам в наследство непревзойденные труды, написанные в годы работы в лучших академиях XVIII века: Петербургской и Берлинской.

Оглавление

  • Наука. Величайшие теории: выпуск 20: До предела чисел. Эйлер. Математический анализ.
  • Введение
  • ГЛАВА 1 Базель, колыбель великого математика
  • ГЛАВА 2 Ряды, постоянные и функции: Эйлер в России
  • ГЛАВА 3 Берлин, столица анализа
  • ГЛАВА 4 Эйлер и теория чисел
  • Приложение
  • Список рекомендуемой литературы Fueled by Johannes Gensfleisch zur Laden zum Gutenberg

    Комментарии к книге «Эйлер. Математический анализ», Хоакин Наварро

    Всего 0 комментариев

    Комментариев к этой книге пока нет, будьте первым!

    РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

    Популярные и начинающие авторы, крупнейшие и нишевые издательства