Тригонометрические уравнения - от sin(x)=a до GPT

sin(x) = 0.5 имеет бесконечно много решений. Калькулятор даёт одно. Это не баг - это ветви обратной функции. Каждая горизонтальная прямая пересекает синусоиду бесконечно много раз, arcsin возвращает только главное значение на [-pi/2, pi/2]. Transformer в GPT-4 работает с той же идеей: positional encoding sin(pos/10000^(2i/d)) - каждая позиция токена это уравнение на sin и cos, и бесконечность решений - не проблема, а особенность.

• **Positional encoding GPT-4:** каждый токен кодируется через sin(pos/10000^(2i/d)) - решение уравнения, как закодировать позицию invariant к relative distance
• **MP3/AAC через DCT:** дискретное косинусное преобразование находит коэффициенты разложения - это система уравнений относительно значений cos
• **Phase unwrapping в GPS:** угол возвышения спутника = arctan(высота/горизонталь) - восстановление фазы через решение тригонометрического уравнения
• **Обработка сигналов:** поиск нулевых пересечений sin(2*pi*f*t + phi) = 0 - стандартная операция в DSP для синхронизации

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

• Обратные тригонометрические функции

Базовые уравнения sin x = a и cos x = a

sin(x) = 0.5 имеет бесконечно много решений. Калькулятор даёт одно. Это не баг - это ветви обратной функции. Каждая горизонтальная прямая y = a пересекает синусоиду бесконечно много раз, и arcsin возвращает только главное значение на [-pi/2, pi/2]. Transformer в GPT-4 работает с той же идеей: positional encoding использует sin и cos разных частот именно потому, что у них нет однозначной обратной.

**Общие решения базовых уравнений:** sin x = a -> x = (-1)^n * arcsin(a) + pi*n, n ∈ Z cos x = a -> x = ±arccos(a) + 2*pi*n, n ∈ Z Область существования: |a| <= 1

Каждый токен в GPT-4 кодируется через sin и cos разных частот: PE(pos, 2i) = sin(pos / 10000^(2i/d)). Это не случайный выбор - это решение уравнения: как закодировать позицию так, чтобы relative distance была invariant. Тригонометрические уравнения лежат под капотом каждого современного трансформера.

Уравнения с тангенсом и котангенсом

Тангенс имеет период pi, не 2pi. Поэтому tan x = a имеет ровно одно решение на каждом интервале (-pi/2 + pi*n, pi/2 + pi*n). Одно семейство вместо двух - формула чище. Фурье 1822 года разложил теплопроводность в ряд по sin и cos, но именно обратные функции - arctan, arcsin - позволяют восстановить фазу сигнала из коэффициентов. MP3 делает это 44000 раз в секунду.

**Уравнения с тангенсом и котангенсом:** tan x = a -> x = arctan(a) + pi*n, n ∈ Z cot x = a -> x = arccot(a) + pi*n, n ∈ Z ОДЗ: x != pi/2 + pi*n для tan, x != pi*n для cot

В обработке сигналов phase unwrapping - это буквально решение уравнений arctan. Оборванная фаза сигнала восстанавливается выбором правильной ветви arctangent. GPS снова использует это: угол возвышения спутника вычисляется через arctan(высота / горизонталь). Signal processing без тригонометрических уравнений не существует.

Уравнения, сводящиеся к квадратным

2sin²x - sin x - 1 = 0 выглядит как что-то тригонометрическое. Но замена t = sin x даёт обычное квадратное 2t² - t - 1 = 0. Это тот же приём, что в нейросетях: complex nonlinear function -> linear layer + activation. Разложить сложную задачу на стандартные примитивы.

После замены t = sin x или t = cos x ОБЯЗАТЕЛЬНО проверять |t| <= 1. Квадратное уравнение может дать корни вне [-1, 1] - такие значения отбрасываются. Если t = 2, уравнение sin x = 2 решений не имеет.

Другие типы: через тождество sin²x + cos²x = 1 один через другой; уравнения a*cos²x + b*sin x + c = 0 после cos²x = 1 - sin²x. DCT в MP3 - это нахождение коэффициентов разложения сигнала по cos. Математически это тоже система уравнений относительно значений cos.

Однородные уравнения и универсальная подстановка

Однородное тригонометрическое уравнение содержит sin x и cos x в одной суммарной степени: a*sin^n(x) + b*sin^(n-1)(x)*cos x + ... + c*cos^n(x) = 0. При cos x != 0 делим на cos^n(x) и получаем уравнение относительно tan x. Это та же идея что нормировка в нейросетях: убираем масштаб, оставляем форму.

Универсальная подстановка t = tan(x/2) выражает все тригонометрические функции через рациональную функцию одного параметра. Тяжёлое орудие - применяется когда другие методы не работают. Фурье использовал похожую технику: сложный сигнал = сумма простых. Универсальная подстановка делает то же для тригонометрических уравнений.

**Универсальная подстановка** t = tan(x/2): sin x = 2t/(1+t²) cos x = (1-t²)/(1+t²) tan x = 2t/(1-t²) ОДЗ: x != pi + 2*pi*n (там tan(x/2) не определён)

Линейные уравнения a*sin x + b*cos x = c удобнее методом вспомогательного угла: a*sin x + b*cos x = sqrt(a²+b²)*sin(x+phi), где tan phi = b/a. Прямее и без лишней степени полинома.

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

• **sin x = a** -> x = (-1)^n arcsin(a) + pi*n; **cos x = a** -> x = ±arccos(a) + 2*pi*n - два семейства из-за симметрии
• **tan x = a** -> x = arctan(a) + pi*n - одно семейство, период pi; arctan используется в positional encoding трансформеров
• **Квадратные замены:** t = sin x или t = cos x; обязательно проверять |t| <= 1 перед обратной заменой
• **Однородные уравнения** делятся на cos^n(x) -> уравнение для tan x; **универсальная подстановка** t = tan(x/2) - последнее оружие для любых уравнений

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

Тригонометрические уравнения связывают алгебру с геометрией и анализом:

• Обратные тригонометрические функции — arcsin, arccos, arctan записывают конкретные числовые ответы в формулах общего решения
• Тригонометрические неравенства — Методы решения уравнений - основа для неравенств: вместо точки ищем интервал на единичной окружности
• Формула Эйлера и комплексные числа — e^(ix) = cos x + i*sin x превращает тригонометрические уравнения в алгебру комплексной плоскости

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

• Уравнение sin x = 1.5 решений не имеет. А уравнение e^(sin x) = 3 - имеет ли? Как это связано с областью значений sin x?
• Positional encoding в Transformer использует sin и cos разных частот. Почему именно эти функции, а не полиномы? Что тригонометрия даёт, чего нет у x^n?
• При решении 3sin x - 4cos x = 2 сравни метод вспомогательного угла и универсальную подстановку. Когда каждый из них предпочтительнее?

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

• trig-03 — arcsin, arccos, arctan записывают конкретные ответы
• trig-05 — Неравенства - следующий шаг после уравнений
• trig-10 — Формула Эйлера превращает тригонометрию в комплексную алгебру
• calc-01-sequences — Бесконечные решения - та же идея что сходимость последовательностей
• prob-04-bayes — Выбор ветви arcsin - как выбор prior в байесовском рассуждении
• calc-06-derivative-intro