Комплексная тригонометрия

Почему формула e^{iπ} + 1 = 0 считается самой красивой в математике? Как радар определяет скорость цели по фазе отражённого сигнала? Как MP3 сжимает звук в 10 раз? За всем стоит комплексная тригонометрия.

• Цифровая обработка сигналов: аналитические сигналы для AM/FM демодуляции
• Квантовая механика: волновые функции ψ = A·e^{i(kx-ωt)} - комплексная экспонента
• Электротехника: импедансы Z = R + iX описываются через комплексную экспоненту

Предварительные знания

• Law of Cosines and Law of Sines: Arbitrary Triangles
• Trigonometric Substitution and Product-to-Sum Formulas

Тригонометрические функции комплексного аргумента

Roboarm Boston Dynamics Atlas (2024) использует arctan2 для inverse kinematics: вычисление углов суставов за 1 мс на 1000 Гц цикле управления. Arctan2 используется в GPS-навигации: atan2(dy, dx) даёт направление к цели с точностью до 0.0001° на расстоянии 10 000 км. Синус и косинус можно вычислять не только для вещественных углов, но и для комплексных чисел z = x + iy. Определения через ряды Тейлора или через экспоненту работают для любого комплексного z. Результаты перестают быть ограничены отрезком [-1, 1] - cosh и sinh возникают естественно.

**Определения через комплексную экспоненту:** cos(z) = (e^{iz} + e^{-iz}) / 2 sin(z) = (e^{iz} - e^{-iz}) / (2i) **Для чисто мнимого аргумента z = iy:** cos(iy) = (e^{-y} + e^{y}) / 2 = cosh(y) sin(iy) = (e^{-y} - e^{y}) / (2i) = i·sinh(y) **Формулы разложения для z = x + iy:** cos(x + iy) = cos(x)·cosh(y) - i·sin(x)·sinh(y) sin(x + iy) = sin(x)·cosh(y) + i·cos(x)·sinh(y)

Формула Эйлера: e^{iz} = cos z + i·sin z

Формула Эйлера e^{iθ} = cos θ + i·sin θ - одна из красивейших в математике. Она связывает экспоненту, тригонометрию и комплексные числа. При θ = π получаем e^{iπ} + 1 = 0 - тождество, объединяющее пять фундаментальных констант.

**Вывод через ряды Тейлора:** e^{iz} = 1 + iz + (iz)²/2! + (iz)³/3! + ... = (1 - z²/2! + z⁴/4! - ...) + i(z - z³/3! + z⁵/5! - ...) = cos z + i·sin z **Следствия:** e^{iπ} = -1 → e^{iπ} + 1 = 0 (тождество Эйлера) cos θ = Re(e^{iθ}), sin θ = Im(e^{iθ}) **Полярная форма:** z = r·e^{iθ} = r(cos θ + i·sin θ) **Умножение комплексных = поворот + масштабирование:** z₁·z₂ = r₁·r₂ · e^{i(θ₁+θ₂)}

Гиперболические функции и связь через комплексные аргументы

Гиперболические функции cosh и sinh - «братья-близнецы» косинуса и синуса, связанные через мнимый аргумент. Если тригонометрические функции параметризуют единичную окружность, то гиперболические - единичную гиперболу x² - y² = 1.

**Определения:** cosh x = (e^x + e^{-x}) / 2 (гиперболический косинус) sinh x = (e^x - e^{-x}) / 2 (гиперболический синус) tanh x = sinh x / cosh x **Связь с тригонометрией:** cos(ix) = cosh(x) sin(ix) = i·sinh(x) cosh(iz) = cos(z) sinh(iz) = i·sin(z) **Тождество (аналог sin²+cos²=1):** cosh²(x) - sinh²(x) = 1 (гиперболическая единица) **Физика:** catenary (цепная линия) y = a·cosh(x/a)

Применение: аналитические сигналы и мгновенная фаза

Аналитический сигнал - комплексное расширение вещественного сигнала, позволяющее вычислить мгновенную амплитуду и мгновенную фазу. Он основан на преобразовании Гильберта и тесно связан с формулой Эйлера. Используется в радарных системах, обработке ЭКГ и AM/FM-демодуляции.

**Аналитический сигнал:** z(t) = x(t) + i·H{x(t)} где H{·} - преобразование Гильберта (сдвиг фазы на -90°). **Мгновенная амплитуда:** A(t) = |z(t)| = √(x² + H{x}²) **Мгновенная фаза:** φ(t) = arg(z(t)) = arctan(H{x}/x) **Мгновенная частота:** ω(t) = dφ/dt **Для тонального сигнала** x(t) = A·cos(ω₀t + φ₀): H{x} = A·sin(ω₀t + φ₀) z(t) = A·e^{i(ω₀t + φ₀)} - идеальное вращение!

Ключевые идеи

• cos(x+iy) = cos(x)·cosh(y) - i·sin(x)·sinh(y): тригонометрия = гиперболические функции через мнимый аргумент
• Формула Эйлера: e^{iz} = cos z + i·sin z, следствие - тождество e^{iπ}+1=0
• cosh²x - sinh²x = 1: гиперболы, цепные линии, специальная теория относительности
• Аналитический сигнал z(t) = x + iH{x}: мгновенная амплитуда, фаза, частота

Связанные темы

Комплексная тригонометрия соединяет анализ, алгебру и физику:

• Тригонометрия и вращения в 3D — Кватернионы обобщают комплексную плоскость до 4 измерений
• Тригонометрические ряды и Фурье — Формула Эйлера - основа комплексного представления Фурье-рядов

Вопросы для размышления

• Выведите формулу cos(2θ) = cos²θ - sin²θ из формулы Муавра (e^{iθ})² = e^{2iθ}.
• Почему гиперболические функции появляются в специальной теории относительности? Какую роль играет cosh в преобразованиях Лоренца?
• Как связаны нули функции sin(z) в комплексной плоскости с её рядом Тейлора? Можно ли из ряда предсказать расположение нулей?

Связанные уроки

• ca-01