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

Здесь x может иметь любое значение, поэтому мы можем подставить ix вместо x, где i² = −1. Таким образом, мы получим следующий ряд:

Далее сгруппируем члены ряда в зависимости от того, есть ли в них i или нет:

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

Следовательно, мы можем записать e^ix через sin x и cos x:

e^ix= cos x + i sin x

В формуле Эйлера присутствует eⁱ^π, и теперь мы можем подставить π вместо x:

eⁱ^π= cos π + i sin π

В данном контексте π – это угловой размер в радианах, так что 360° = 2π радиан. Стало быть, cos π = −1, а sin π = 0. Это означает, что:

eⁱ^π= −1

Следовательно,

eⁱ^π+ 1 = 0

Профессор Кит Девлин, британский математик из Стэнфордского университета и автор блога Devlin’s Angle («Угол Девлина»), придерживается такого мнения: «Как сонет Шекспира схватывает саму суть любви или картина показывает внутреннюю красоту человека, так тождество Эйлера проникает в самые глубины существования».

Приложение 3

Формула доктора Килера для поиска суммы квадратов

В беседе с доктором Сарой Гринволд из Аппалачского университета Кен Килер рассказал следующую историю, связанную с его отцом Мартином Килером, которому было присуще интуитивное понимание математики:

Самое большое влияние на меня оказал отец, который был врачом… Он изучал высшую математику только на первом курсе, но я помню, как однажды спросил его, чему равна сумма квадратов первых n чисел, и он за несколько минут смог вывести формулу: n³/3 + n²/2 + n/6.

Что меня до сих пор удивляет, так это то, что он сделал это не посредством геометрического (как обычно выводят сумму первых n целых чисел) или индуктивного доказательства. Он предположил, что эта формула должна представлять собой кубический многочлен с неизвестными коэффициентами, а затем определил эти коэффициенты, решив системы из четырех линейных уравнений, выведенных путем вычисления первых четырех сумм квадратов. (И он решил их вручную, без определителей.) Когда я спросил его, как он понял, что эта формула должна представлять собой кубический многочлен, он сказал: «А чем еще она может быть?»

Приложение 4

Фракталы и фрактальные размерности

Обычно мы представляем себе фракталы как структуры, состоящие из самоподобных структур в любом масштабе. Другими словами, общая структура объекта сохраняется, когда мы увеличиваем или уменьшаем его масштаб. Как отметил первооткрыватель фракталов Бенуа Мандельброт, такие самоподобные структуры можно найти в природе: «На примере цветной капусты видно, что объект может состоять из множества частей, каждая из которых подобна целому, но имеет меньший размер.