Формула Эйлера
Формула Эйлера названа в честь Леонарда Эйлера, который её ввёл, и связывает комплексную экспоненту с тригонометрическими функциями.
Формула Эйлера утверждает, что для любого вещественного числа x выполнено следующее равенство:
,
где e — основание натурального логарифма,
- i — мнимая единица.
Содержание |
[править] История
Формула Эйлера впервые была приведена в книге «Гармония мер» английского математика Роджера Котса (помощника Ньютона), которая была издана в 1722 году, уже после смерти автора. Котс открыл формулу около 1714 года и выразил её в логарифмической форме:
.
Эйлер опубликовал формулу в её привычном виде в статье 1740 года и в книге «Введение в анализ бесконечно малых» (1748), построив доказательство на равенстве бесконечных разложений в степенные ряды правой и левой частей. Ни Эйлер, ни Котс не представляли себе геометрической интерпретации формулы: представление о комплексных числах как точках на комплексной плоскости появилось примерно 50 лет спустя (см. Г. Вессель).
[править] Производные формулы
При помощи формулы Эйлера можно определить функции sin и cos следующим образом:
,
.
Далее можно ввести понятие тригонометрических функций комплексной переменной. Пусть x = iy, тогда:
,
.
Известное тождество Эйлера, связывающее пять фундаментальных математических констант:
- eiπ + 1 = 0
является частным случаем формулы Эйлера при x = π.
[править] Применение в комплексном анализе
Благодаря формуле Эйлера появилась так называемая тригонометрическая и показательная запись комплексного числа: x = a + ib = | x | (cos φ + isin φ) = | x | eiφ.
Также значительным следствием можно считать формулы возведения комплексного числа в произвольную степень: x = | x | eiφ, xn = | x | neniφ. Геометрический смысл данной формулы следующий: при возведении числа x в степень n его расстояние до центра возводится в степень n, а угол поворота относительно оси OX увеличивается в n раз.
Формула возведения в степень верна не только для целых n, но и для вещественных. В частности, комплексная запись числа позволяет находить корни любой степени из любого комплексного числа, что и используется при доказательстве основной теоремы алгебры: «Многочлен степени n имеет ровно n комплексных корней».
[править] Взаимосвязь с тригонометрией
Формула Эйлера предоставляет связь между математическим анализом и тригонометрией, а также позволяет интерпретировать функции синуса и косинуса как взвешенные суммы экспоненциальной функции:
Вышеуказанные уравнения могут быть получены путем сложения или вычитания формул Эйлера :
с последующим решением относительно синуса или косинуса.
Также эти формулы могут служить определением тригонометрических функций комплексной переменной. Например, выполняя подстановку x = iy, получаем:
Комплексные экспоненты позволяют упростить тригонометрические расчеты, поскольку ими проще манипулировать, нежели синусоидальными компонентами. Один из подходов предусматривает преобразование синусоид в соответствующие экспоненциальные выражения. После упрощения, результат выражения остается вещественным. Например:
Суть другого подхода в представлении синусоид в качестве вещественных частей комплексного выражения и проведения манипуляций непосредственно с комплексным выражением. Например:
Данная формула используется для рекурсивного вычисления значений cos(nx) для целых значений n и произвольных значений x (в радианах).
[править] Доказательство
Доказательство формулы Эйлера достаточно тривиально. Разложим функцию eix в ряд Тейлора по степеням x. Получим:

Но


Поэтому 
[править] Показательная форма комплексного числа
Показательная и тригонометрические формы комплексных чисел связаны между собой формулой Эйлера.
Пусть комплексное число z в тригонометрической форме имеет вид z = r(cos φ + isin φ) . На основании формулы Эйлера выражение в скобках можно заменить на показательное выражение. В результате получим:
- z = reiφ
Эта запись называется показательной формой комплексного числа. Так же, как и в тригонометрической форме, здесь r = | z | ,φ = argz.
[править] См. также
[править] Литература
- John Stillwell (2002). Mathematics and Its History. Springer.
| Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её. |
.
,
.
,
.





![\begin{align}
\cos x\cdot \cos y & = \frac{(e^{ix}+e^{-ix})}{2} \cdot \frac{(e^{iy}+e^{-iy})}{2} \\
& = \frac{1}{2}\cdot \frac{e^{i(x+y)}+e^{i(x-y)}+e^{i(-x+y)}+e^{i(-x-y)}}{2} \\
& = \frac{1}{2} \left[ \underbrace{ \frac{e^{i(x+y)} + e^{-i(x+y)}}{2} }_{\cos(x+y)} + \underbrace{ \frac{e^{i(x-y)} + e^{-i(x-y)}}{2} }_{\cos(x-y)} \right].
\end{align}](http://upload.wikimedia.org/wikipedia/ru/math/f/4/3/f43ab884633a92d1bc25ecbdf07d2586.png)
![\begin{align}
\cos(nx) & = \mathrm{Re} \{\ e^{inx}\ \}
= \mathrm{Re} \{\ e^{i(n-1)x}\cdot e^{ix}\ \} \\
& = \mathrm{Re} \{\ e^{i(n-1)x}\cdot (e^{ix} + e^{-ix} - e^{-ix})\ \} \\
& = \mathrm{Re} \{\ e^{i(n-1)x}\cdot \underbrace{(e^{ix} + e^{-ix})}_{2\cos(x)} - e^{i(n-2)x}\ \} \\
& = \cos[(n-1)x]\cdot 2 \cos(x) - \cos[(n-2)x].
\end{align}](http://upload.wikimedia.org/wikipedia/ru/math/a/7/a/a7a3c1cb87018ed91eea26ee3bc76c74.png)