Почти невозможно убедительно рассказать о блестящем таланте Эйлера или о разнообразии и оригинальности его открытий в чем-то меньшем по объему, чем книга. Даже в этом случае это было бы непросто. Но мы можем бросить хотя бы один короткий взгляд на его достижения и проникнуться его замечательными способностями. Я начну с теоретической математики, а затем перейду к прикладной, не обращая внимания на хронологию, но стараясь выдерживать некоторую последовательность в развитии идей.
Во-первых и в-главных, Эйлер обладал поразительным чутьем на формулы. В своем «Введении в анализ бесконечно малых» 1748 г. он исследовал соотношение между экспоненциальной и тригонометрическими функциями для комплексных чисел, дающее формулу
eiθ = cos θ + i sin θ.
Отсюда, приняв θ = π радиан = 180°, можно вывести знаменитое уравнение
eiπ +1 =0,
связывающее две загадочные константы e и π и мнимое число i. Здесь
Сверхъестественное мастерство Эйлера в работе с формулами привело к триумфу и принесло ему великую славу в возрасте 28 лет, когда он решил базельскую задачу. Математики тогда активно искали интересные формулы для сумм бесконечных рядов, простейшей из которых, возможно, является формула
Базельская задача состояла в том, чтобы найти сумму обратных квадратов:
Многие знаменитые математики безуспешно пытались найти ответ на этот вопрос: Лейбниц, Стирлинг, де Муавр и трое самых искусных Бернулли: Якоб, Иоганн и Даниэль. Эйлер превзошел всех, доказав (или, по крайней мере, проведя расчет, на это указывающий, – строгость доказательств не была его сильной стороной), что эта сумма точно равна
Более простая бесконечная сумма, «гармонический ряд» обратных целых чисел, выглядит так:
и расходится – его сумма бесконечна. Невозмутимый Эйлер нашел весьма точную приближенную формулу:
где γ, которую мы сегодня называем постоянной Эйлера, равна, до 16 знаков после запятой,
0, 577215664015328…
Эйлер сам вычислил ее значение с такой точностью. Вручную.
Теория чисел, естественно, привлекала внимание Эйлера. Он вдохновлялся в значительной мере примером Ферма, а дополнительную мотивацию давала его переписка с другом Гольдбахом, математиком-любителем. Решение базельской задачи привело его к замечательному соотношению между простыми числами и бесконечными рядами (глава 15). Он нашел доказательства нескольких фундаментальных теорем, сформулированных Ферма. Одной из них была так называемая Малая теорема Ферма, названная так, чтобы отличать ее от Великой теоремы Ферма. Эта теорема гласит, что если
Учебники Эйлера по алгебре, математическому анализу, комплексному анализу и другим дисциплинам стандартизировали математическую запись и терминологию, значительная часть которой используется и сегодня (к примеру, π для числа «пи», e для основания натурального логарифма, i для корня квадратного из –1, Σ для суммы и
Мне нравится определять математика не как «человека, который занимается математикой», но как «человека, который видит возможность применить математику там, где никто другой ее не увидел бы». Эйлер редко упускал такую возможность. Вот два примера, которые дали начальный толчок развитию новой области, известной сегодня как комбинаторика, или дискретная математика; область эта занимается счетом и упорядочиванием конечных объектов.