∞ Доведення тотожності Ейлера
Це рівняння часто називають «найкрасивішою формулою математики» — воно поєднує п'ять фундаментальних констант (0, 1, e, i, π) та три базові операції (додавання, множення, піднесення до степеня) в одному компактному виразі.
📖 Доведення через ряди Тейлора
Крок 1. Ряди Тейлора для ex, cos(x), sin(x)
В основі доведення лежать три степеневі ряди, які збігаються для будь-якого дійсного (і, як виявляється, комплексного) x:
Крок 2. Підстановка x → ix у ряд для ex
Комплексна експонента означається саме тим самим степеневим рядом, у який замість x підставляють ix. Скористаємось властивостями степенів уявної одиниці: i²=−1, i³=−i, i⁴=1, i⁵=i, i⁶=−1, i⁷=−i, i⁸=1 (цикл довжиною 4).
Крок 3. Групування дійсної та уявної частин
Тепер розділимо доданки без i (дійсна частина) та доданки з множником i (уявна частина):
Крок 4. Підстановка x = π
Тепер підставимо x = π у щойно доведену формулу Ейлера. Відомо, що cos(π) = −1 та sin(π) = 0 (точка на одиничному колі під кутом π радіан = 180° лежить на дійсній осі в −1):
🔢 П'ять констант в одній формулі
Унікальність тотожності Ейлера в тому, що вона об'єднує константи з абсолютно різних розділів математики, що історично розвивались незалежно одна від одної.
| Константа | Значення | Походить з |
|---|---|---|
| 0 | нуль | Арифметика — адитивна нейтральна одиниця |
| 1 | одиниця | Арифметика — мультиплікативна нейтральна одиниця |
| e | ≈2.71828 | Математичний аналіз — основа натурального логарифма, границя (1+1/n)ⁿ, експоненційне зростання |
| i | √(−1) | Алгебра / комплексні числа — розв'язок x²+1=0 |
| π | ≈3.14159 | Геометрія — відношення довжини кола до діаметра |
До цього додаються три фундаментальні операції: додавання (+1), множення (i·sin) та піднесення до степеня (eiπ) — і рівність (=0). Саме ця концентрація базових математичних понять в одному короткому рівнянні пояснює, чому фізик Річард Фейнман називав його «перлиною» математики.
✏️ Приклади
📌 Приклад 1: eiπ/2
eix = cos(x) + i·sin(x), підставимо x = π/2
cos(π/2) = 0, sin(π/2) = 1
eiπ/2 = 0 + i·1 = i
📌 Приклад 2: ei2π
cos(2π) = 1, sin(2π) = 0
ei2π = 1 + i·0 = 1
Звідси випливає періодичність: ei(x+2π) = eix для будь-якого x
📌 Приклад 3: числова перевірка частковою сумою ряду
Доданки: 1; iπ; −π²/2!; −iπ³/3!; π⁴/4!; iπ⁵/5!; −π⁶/6!
Дійсна частина: 1 − 4.9348 + 4.0587 − 1.3353 ≈ −1.2114
Уявна частина: 3.1416 − 5.1677 + 2.5501 ≈ 0.5240
Часткова сума (7 доданків): −1.2114 + 0.5240i — ще не −1, бо ряд для π знакозмінний і збігається повільно; з кожним наступним доданком уявна частина зменшується, а дійсна наближається до −1. При збільшенні кількості доданків до ~20 сума сходиться до −1 + 0i з точністю до 10⁻¹⁰ і вище.
🎯 Застосування
📐 Комплексний аналіз
eix = cos(x)+i·sin(x) — базове тотожне перетворення для роботи з голоморфними функціями, контурним інтегруванням та полярною формою комплексних чисел z = r·eiθ.
⚡ Аналіз кіл змінного струму (фазори)
Напруга та струм змінного струму записуються як комплексні фазори V(t)=V₀·eiωt. Імпеданс котушки (iωL) та конденсатора (1/(iωC)) обчислюються через уявну одиницю, що значно спрощує розв'язання диференціальних рівнянь кола.
📡 Обробка сигналів і перетворення Фур'є
Базисні функції перетворення Фур'є e−i2πft розкладають будь-який сигнал на суму синусоїд і косинусоїд. Формула Ейлера — математичний місток між експоненційним та тригонометричним представленням сигналу.
⚛️ Квантова механіка
Хвильові функції та оператор еволюції у часі мають вигляд e−iEt/ħ. Фазові множники такого типу визначають інтерференцію ймовірнісних амплітуд — основу квантових ефектів.
Про це доведення
Ця сторінка розбирає повне доведення тотожності Ейлера eiπ+1=0 через розклад функцій ex, cos(x) та sin(x) у степеневі ряди Тейлора — один з найстрогіших і найпоширеніших підходів у навчальних курсах математичного аналізу.
Тотожність — окремий випадок загальнішої формули Ейлера eix = cos(x) + i·sin(x) при x = π, і є прикладом того, як комплексний аналіз пов'язує алгебру, тригонометрію та геометрію в єдину систему.
Як застосовувати цей матеріал
Спершу переконайтесь, що зрозуміли, чому ряди для ex, cos(x) і sin(x) взагалі описують ці функції (це теорема Тейлора). Потім прослідкуйте, як степені i (цикл 1, i, −1, −i) розбивають ряд eix на дійсну й уявну частини. Це і є ядро доведення — решта є простою підстановкою x = π.