Формула Эйлера

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

\[ e^{ix} = \cos x + i \sin x, \]

где \( e \) — основание натурального логарифма (число Эйлера, приблизительно 2,71828), \( i \) — мнимая единица (\( i^2 = -1 \)), а \( \cos x \) и \( \sin x \) — тригонометрические функции косинуса и синуса. Формула является частным случаем более общего соотношения, известного как формула Эйлера в комплексном анализе, и играет ключевую роль в математике, физике и инженерных науках.

История

Формула была впервые опубликована швейцарским математиком Леонардом Эйлером в 1748 году в его труде «Introductio in analysin infinitorum» (Введение в анализ бесконечно малых). Однако Эйлер не был первым, кто заметил связь между экспонентой и тригонометрическими функциями. Ранее, в 1714 году, английский математик Роджер Котс, работая над логарифмами комплексных чисел, вывел соотношение, эквивалентное \( \ln(\cos x + i \sin x) = ix \). Котс не придал своему результату широкой известности, и именно Эйлер систематизировал и популяризировал формулу, показав её универсальность.

Эйлер использовал разложения функций в степенные ряды (ряды Тейлора). Он показал, что ряды для \( e^{ix} \), \( \cos x \) и \( \sin x \) совпадают при группировке членов, что и привело к тождеству. Дальнейшее развитие формула получила в работах Огюстена Луи Коши, который строго обосновал её в рамках теории функций комплексной переменной.

Математическая формулировка

Основное тождество

Формула Эйлера устанавливает, что комплексная экспонента \( e^{ix} \) является точкой на единичной окружности комплексной плоскости, координаты которой равны \( \cos x \) и \( \sin x \). Аргумент \( x \) при этом интерпретируется как угол в радианах.

Частный случай: тождество Эйлера

При подстановке \( x = \pi \) формула принимает вид:

\[ e^{i\pi} = \cos \pi + i \sin \pi = -1 + 0 \cdot i = -1. \]

Перенос единицы даёт знаменитое тождество Эйлера:

\[ e^{i\pi} + 1 = 0. \]

Это равенство считается одним из самых красивых в математике, так как связывает пять фундаментальных математических констант: \( e \) (основание натурального логарифма), \( i \) (мнимая единица), \( \pi \) (число пи), 1 (единица) и 0 (ноль), а также операции сложения, умножения и возведения в степень.

Обобщение на произвольные комплексные числа

Формула Эйлера обобщается на случай произвольного комплексного числа \( z = a + bi \):

\[ e^{z} = e^{a+bi} = e^{a} \cdot e^{bi} = e^{a} (\cos b + i \sin b). \]

Таким образом, любое комплексное число может быть представлено в показательной форме:

\[ z = r e^{i\varphi}, \]

где \( r = |z| \) — модуль числа (расстояние от начала координат), а \( \varphi = \arg(z) \) — аргумент (угол на комплексной плоскости). Эта форма удобна для умножения, деления и возведения в степень комплексных чисел.

Доказательства

Через ряды Тейлора

Наиболее распространённое доказательство основано на разложении функций в степенные ряды:

\[ e^{x} = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \dots \]

\[ \cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots \]

\[ \sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots \]

Подставляя \( ix \) в ряд для \( e^{x} \), получаем:

\[ e^{ix} = 1 + ix - \frac{x^2}{2!} - i\frac{x^3}{3!} + \frac{x^4}{4!} + i\frac{x^5}{5!} - \dots \]

Группируя вещественные и мнимые члены, видим, что вещественная часть совпадает с рядом для \( \cos x \), а мнимая — с рядом для \( \sin x \). Это доказывает тождество для всех вещественных \( x \).

Через дифференциальные уравнения

Другой подход: рассмотреть функцию \( f(x) = \cos x + i \sin x \). Её производная \( f'(x) = -\sin x + i \cos x = i(\cos x + i \sin x) = i f(x) \). Решением дифференциального уравнения \( f'(x) = i f(x) \) с начальным условием \( f(0) = 1 \) является \( f(x) = e^{ix} \). Таким образом, \( e^{ix} = \cos x + i \sin x \).

Применение

Комплексный анализ

Формула Эйлера является основой для представления комплексных чисел в полярной форме. Она упрощает операции умножения и деления: \( r_1 e^{i\varphi_1} \cdot r_2 e^{i\varphi_2} = r_1 r_2 e^{i(\varphi_1+\varphi_2)} \). Также она используется для вычисления корней из комплексных чисел и для решения уравнений.

Тригонометрия

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

\[ \cos(a+b) + i \sin(a+b) = e^{i(a+b)} = e^{ia} e^{ib} = (\cos a + i \sin a)(\cos b + i \sin b). \]

Раскрывая скобки и приравнивая вещественные и мнимые части, получаем:

\[ \cos(a+b) = \cos a \cos b - \sin a \sin b, \] \[ \sin(a+b) = \sin a \cos b + \cos a \sin b. \]

Также из формулы следуют выражения для степеней синуса и косинуса (формулы Муавра) и для их разложения в ряды.

Физика и инженерия

В электротехнике и теории колебаний формула Эйлера используется для описания гармонических колебаний и переменного тока. Сигналы вида \( A \cos(\omega t + \varphi) \) часто представляют как вещественную часть комплексной экспоненты \( A e^{i(\omega t + \varphi)} \). Это упрощает анализ линейных цепей, фильтров и систем управления.

В квантовой механике волновая функция частицы часто записывается в виде \( \psi(x,t) = A e^{i(kx - \omega t)} \), что является решением уравнения Шрёдингера для свободной частицы.

Обработка сигналов

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

Интересные факты

• Тождество Эйлера \( e^{i\pi} + 1 = 0 \) часто называют «математическим шедевром» и «самым красивым уравнением». В 2004 году читатели журнала Physics World признали его величайшим уравнением всех времён.
• Формула Эйлера является частным случаем более общей формулы Эйлера — Лагранжа в вариационном исчислении, но эти понятия не следует путать.
• В некоторых учебниках формулу Эйлера называют «формулой Эйлера — Котса», признавая приоритет Роджера Котса, который вывел её на 34 года раньше.

Источники

• Эйлер Л. Введение в анализ бесконечно малых. — М.: Наука, 1961.
• Кочин Н. Е. Введение в теорию функций комплексного переменного. — М.: Наука, 1970.
• Абрамовиц М., Стиган И. Справочник по специальным функциям. — М.: Наука, 1979.
• Ричард Фейнман. Фейнмановские лекции по физике. Том 1. — М.: Мир, 1965.