Во-первых и в-главных, Эйлер обладал поразительным чутьем на формулы. В своем «Введении в анализ бесконечно малых» 1748 г. он исследовал соотношение между экспоненциальной и тригонометрическими функциями для комплексных чисел, дающее формулу
Отсюда, приняв θ = π радиан = 180°, можно вывести знаменитое уравнение
связывающее две загадочные константы e и π и мнимое число i. Здесь e = 2, 718… является основанием натурального логарифма, а i – символ, который Эйлер ввел для корня квадратного из –1; он тоже широко используется и сегодня. Теперь, когда мы лучше понимаем комплексный анализ, это соотношение не кажется чем-то удивительным, но во времена Эйлера оно казалось сногсшибательным. Тригонометрические функции опираются на геометрию окружностей и измерения треугольников; экспоненциальная функция берет начало в математике сложного процента и опирается на логарифм как расчетный инструмент. Почему такие далекие друг от друга вещи должны быть так тесно, можно сказать интимно, связаны?
Сверхъестественное мастерство Эйлера в работе с формулами привело к триумфу и принесло ему великую славу в возрасте 28 лет, когда он решил базельскую задачу. Математики тогда активно искали интересные формулы для сумм бесконечных рядов, простейшей из которых, возможно, является формула
1 + 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + ... = 2
Базельская задача состояла в том, чтобы найти сумму обратных квадратов:
1+ 1/4 + 1/9 + 1/16 + 1/25 + 1/36 + ...
Многие знаменитые математики безуспешно пытались найти ответ на этот вопрос: Лейбниц, Стирлинг, де Муавр и трое самых искусных Бернулли: Якоб, Иоганн и Даниэль. Эйлер превзошел всех, доказав (или, по крайней мере, проведя расчет, на это указывающий, – строгость доказательств не была его сильной стороной), что эта сумма точно равна π2/6.
Более простая бесконечная сумма, «гармонический ряд» обратных целых чисел, выглядит так:
1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + ...
и расходится – его сумма бесконечна. Невозмутимый Эйлер нашел весьма точную приближенную формулу:
1 + 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + ... + 1/n ≈ logn + γ.
где γ, которую мы сегодня называем постоянной Эйлера, равна, до 16 знаков после запятой,
Эйлер сам вычислил ее значение с такой точностью. Вручную.
Теория чисел, естественно, привлекала внимание Эйлера. Он вдохновлялся в значительной мере примером Ферма, а дополнительную мотивацию давала его переписка с другом Гольдбахом, математиком-любителем. Решение базельской задачи привело его к замечательному соотношению между простыми числами и бесконечными рядами (глава 15). Он нашел доказательства нескольких фундаментальных теорем, сформулированных Ферма. Одной из них была так называемая Малая теорема Ферма, названная так, чтобы отличать ее от Великой теоремы Ферма. Эта теорема гласит, что если n – простое число и a не кратно n, то an – a делится на n. Каким бы безобидным ни казалось на первый взгляд это утверждение, сегодня оно является основой для некоторых нераскрываемых, как считается, шифров, широко используемых в интернете. Кроме того, он обобщил результат для составного n, введя тотиент (или функцию Эйлера) ϕ(n). Это число целых чисел между 1 и n, не имеющих с n общих простых делителей. Он предложил гипотезу о законе квадратичной взаимности, позже доказанную Гауссом (глава 10); описал все простые числа, представляющие собой сумму двух квадратов (2, все числа вида 4k + 1, но не числа вида 4k + 3), и улучшил теорему Лагранжа о том, что любое положительное целое число есть сумма четырех квадратов.
Учебники Эйлера по алгебре, математическому анализу, комплексному анализу и другим дисциплинам стандартизировали математическую запись и терминологию, значительная часть которой используется и сегодня (к примеру, π для числа «пи», e для основания натурального логарифма, i для корня квадратного из –1, Σ для суммы и f(x) для общего обозначения функции от x). Он даже свел воедино системы записи Ньютона и Лейбница по дифференциальному исчислению.
* * *
Мне нравится определять математика не как «человека, который занимается математикой», но как «человека, который видит возможность применить математику там, где никто другой ее не увидел бы». Эйлер редко упускал такую возможность. Вот два примера, которые дали начальный толчок развитию новой области, известной сегодня как комбинаторика, или дискретная математика; область эта занимается счетом и упорядочиванием конечных объектов.
Первым из них в 1735 г. стала загадка, связанная с городом Кёнигсберг в Пруссии (ныне Калининград в России). В этом городе, расположенном на реке Прегель, имеется два острова, связанных друг с другом и с берегами реки семью мостами. Загадка состояла в том, чтобы найти такой маршрут через город, который прошел бы по каждому мосту ровно один раз. Начало и конец маршрута могли находиться в разных местах. Эйлер доказал, что такого маршрута не существует, а для этого рассмотрел более общий вопрос с любым расположением островов и мостов. Он доказал, что требуемый маршрут существует в том, и только том случае, когда не более чем два острова связаны с внешним миром нечетным количеством мостов. Сегодня мы интерпретируем эту теорему как одну из первых теорем теории графов – науки о сетях из точек, соединенных линиями. Доказательство Эйлера было алгебраическим и использовало символьное представление маршрута, где острова и мосты обозначались буквами. Несложно доказать, что сформулированное Эйлером условие необходимо для существования требуемого маршрута; труднее доказать, что этого достаточно для его существования.
Карта семи мостов Кёнигсберга из работы Эйлера «Solutio problematis ad geometrian situs pertinentis»
Второй комбинаторной задачей, которую Эйлер поставил в 1782 г., была загадка 36 офицеров. Имеется шесть полков, в каждом из которых есть шесть офицеров шести разных званий. Можно ли построить полки квадратом 6 × 6 так, чтобы ни в одном ряду и ни в одной колонне не оказалось двух офицеров одного полка или одного звания? Эйлер предполагал, что это невозможно, но этому результату пришлось дожидаться доказательства Гастона Тарри до 1901 г. В основе решения здесь лежит латинский квадрат, в котором n экземпляров n символов необходимо разместить в квадрате n × n так, чтобы каждый символ в каждой строке и в каждом столбце встречался ровно один раз. Требуется, чтобы 36 офицеров образовали два «ортогональных» латинских квадрата – один для полка, другой для ранга, так, чтобы все возможные пары были в них включены. Латинские квадраты применяются, в частности, при разработке статистических тестов, а их широкие обобщения, известные как блочные планы, фигурируют в нескольких областях математики. Одна из вариаций на тему такого квадрата – головоломка судоку.
