🔴 Сложный ⏱️ 55 минут

Системы тригонометрических уравнений

📋 Содержание урока

Системы тригонометрических уравнений 🎛️

Представь, что ты обучил модель предсказывать направление ветра. Угол — величина циклическая: $359°$ и $1°$ почти совпадают, хотя как числа они далеки друг от друга. Поэтому направление кодируют не одним числом, а парой: модель выдаёт два выхода, $s$ и $c$, которые должны означать $\sin\theta$ и $\cos\theta$. На инференсе ты получил $s = 0{,}6$ и $c = 0{,}8$ — и тебе нужно вернуться к самому углу. То есть решить систему

$$\begin{cases} \sin\theta = 0{,}6 \\[4pt] \cos\theta = 0{,}8 \end{cases}$$

Два уравнения, одна неизвестная. Каждое по отдельности имеет бесконечно много решений, но вместе они выбирают из этой бесконечности строго определённое семейство. И это не абстрактное упражнение: ровно так работает декодирование циклических признаков в проде, ровно так робот-манипулятор находит углы в суставах по координатам схвата, ровно так приёмник радиосигнала восстанавливает фазу по синфазной и квадратурной компонентам.

В прошлом уроке ты разбирался с однородными уравнениями — там был один хитрый приём (деление на $\cos x$), который схлопывал тригонометрию в алгебру. Здесь приёмов будет пять, и все они про одно: как превратить систему тригонометрических уравнений в что-то, что ты уже умеешь решать. Пересечение серий, замена переменных, переход к сумме и разности аргументов, преобразование суммы в произведение и трюк «возведи в квадрат и сложи», который вытаскивает $\cos(x-y)$ буквально из воздуха.

Отдельная сложность, которой не было в алгебраических системах: ответ здесь — не пара чисел, а бесконечное семейство пар, и записать его правильно сложнее, чем найти. Половина ошибок в этой теме — не в вычислениях, а в записи ответа: перепутанные параметры, потерянные ветви, «склеенные» серии, которые на самом деле не склеиваются. Давай разберёмся со всем этим по порядку.

История: откуда это взялось?

Первые системы тригонометрических соотношений решали не математики, а астрономы — и не ради красоты, а потому что небо не даёт прямых измерений. Клавдий Птолемей во II веке в «Альмагесте» строил таблицу хорд и с её помощью решал сферические треугольники: зная две дуги и угол между ними, найти третью. В современной записи это и есть система, где неизвестные углы связаны сразу несколькими тригонометрическими равенствами. Именно поэтому тригонометрия исторически развивалась не как учение о функциях, а как техника решения таких систем — «решить треугольник» означало найти набор углов, удовлетворяющий нескольким условиям одновременно.

Следующий большой толчок дала навигация. Чтобы определить положение корабля по двум звёздам, штурман XVIII века получал систему из двух уравнений относительно широты и долготы, и обе неизвестные сидели внутри синусов и косинусов. Развязать такую систему «в лоб» невозможно — и именно тогда вошли в обиход приёмы, которыми ты будешь пользоваться в этом уроке: переход к полусумме и полуразности аргументов, преобразование суммы в произведение, возведение в квадрат и сложение. Формулы вроде $\sin x + \sin y = 2\sin\dfrac{x+y}{2}\cos\dfrac{x-y}{2}$ появились в таблицах именно как навигационный инструмент: они превращают сумму, которую нельзя логарифмировать, в произведение, которое логарифмировать можно.

А в XX веке та же математика неожиданно оказалась в центре инженерии. Обратная кинематика робота, фазовая демодуляция в радиосвязи, определение ориентации по кватерниону, декодирование углового признака в нейросети — всё это задачи вида «даны значения нескольких тригонометрических выражений, найди углы». Мостик к сегодняшнему дню совсем короткий: функция atan2(y, x), которая есть в каждом языке программирования, — это буквально готовое решение системы $\{\,\sin\theta = y/r,\ \cos\theta = x/r\,\}$, зашитое в стандартную библиотеку.

Что значит «решить систему» в тригонометрии

Начнём с честного определения — потому что интуиция из алгебраических систем здесь работает только наполовину.

Определение: системой тригонометрических уравнений называют набор из двух и более уравнений с одной или несколькими неизвестными, в которых неизвестные стоят под знаками тригонометрических функций. Решением системы называется набор значений неизвестных (например, пара $(x;\,y)$), при подстановке которого каждое уравнение обращается в верное числовое равенство. Решить систему — значит найти все такие наборы.

Ключевое слово — «все». В алгебраической системе решений обычно конечное число, и ответ выглядит как список пар. В тригонометрической системе решений почти всегда бесконечно много, и ответ выглядит как формула с целочисленными параметрами.

Отсюда три правила, которые сразу стоит зафиксировать.

Правило 1. У каждой независимой серии — свой параметр. Если $x$ и $y$ находятся независимо друг от друга, писать в ответе один и тот же $k$ нельзя:

$$\begin{cases} \sin x = \tfrac12 \\[4pt] \cos y = \tfrac12 \end{cases} \quad \Longrightarrow \quad \begin{cases} x = (-1)^k\dfrac{\pi}{6} + \pi k,\ k\in\mathbb{Z} \\[6pt] y = \pm\dfrac{\pi}{3} + 2\pi n,\ n\in\mathbb{Z}\end{cases}$$

Если написать $n$ вместо $k$, ты потеряешь огромное количество решений: пара $x = \pi/6$, $y = -\pi/3 + 2\pi$ окажется вне ответа, хотя она системе удовлетворяет.

Правило 2. Если параметры связаны — эту связь надо сохранить. Обратная ситуация: когда $x$ и $y$ выражаются через одни и те же промежуточные величины, независимыми они уже не будут. Пример разберём ниже, он поучительный.

Правило 3. Область значений — бесплатный фильтр. Синус и косинус живут в $[-1;\,1]$. Любая величина, которая должна равняться $\sin$ или $\cos$, обязана попасть в этот отрезок. Это отсекает целые ветви решений ещё до вычислений — и часто вообще закрывает систему за одну строчку.

Почему это важно

Правило 3 — это не школьная формальность, а рабочий инструмент диагностики. Когда нейросеть с двумя выходами $(s,\,c)$ выдаёт пару, для которой $s^2 + c^2$ заметно отличается от единицы, это значит: модель выдала несовместную систему, точки с такими $\sin$ и $\cos$ на единичной окружности не существует. В проде это ловится ровно проверкой «сумма квадратов близка к 1?» — и служит сигналом неуверенности предсказания. Математический критерий совместности системы и метрика качества модели тут — одно и то же неравенство.

Метод 1: пересечение серий (когда неизвестная одна)

Самый простой на вид случай — когда все уравнения системы содержат одну и ту же переменную. Каждое уравнение задаёт своё бесконечное множество решений (свою «серию»), а ответом будет их пересечение.

Аналогия: представь два автобуса, которые ходят по кругу с разными интервалами. Первый — каждые 12 минут, второй — каждые 20. Вопрос «когда они оба стоят на остановке» — это в точности пересечение двух арифметических прогрессий. Ответ существует не всегда и, когда существует, имеет свой собственный, более редкий период.

Определение: серией решений тригонометрического уравнения называется семейство вида $x = a + Tk$, $k \in \mathbb{Z}$, где $T$ — период повторения корней. Решение системы уравнений с одной неизвестной есть пересечение серий всех уравнений системы; если пересечение пусто, система решений не имеет.

Пример 1 (простой). Реши систему:

$$\begin{cases} \sin x = \dfrac{\sqrt2}{2} \\[8pt] \cos x = \dfrac{\sqrt2}{2} \end{cases}$$

Шаг 1. Первое уравнение: $x = \dfrac{\pi}{4} + 2\pi k$ или $x = \dfrac{3\pi}{4} + 2\pi k$.

Шаг 2. Второе уравнение: $x = \pm\dfrac{\pi}{4} + 2\pi n$.

Шаг 3. Сравниваем. Из первой серии годится только $x = \dfrac{\pi}{4} + 2\pi k$ — она есть и во втором списке. Ветвь $x = \dfrac{3\pi}{4}+2\pi k$ во втором списке отсутствует ($\cos\frac{3\pi}{4} = -\frac{\sqrt2}{2}$), ветвь $x = -\dfrac{\pi}{4}+2\pi n$ отсутствует в первом ($\sin(-\frac{\pi}{4}) = -\frac{\sqrt2}{2}$).

Ответ: $x = \dfrac{\pi}{4} + 2\pi k$, $k\in\mathbb{Z}$.

Обрати внимание на геометрию: система задала точку на единичной окружности, а не пару точек. Одно уравнение с синусом даёт горизонтальную прямую, пересекающую окружность в двух точках; добавление косинуса — вертикальную прямую; вместе они выбирают одну точку. Отсюда и однозначность ответа с точностью до периода $2\pi$.

Пример 2 (средний). Реши систему:

$$\begin{cases} \operatorname{tg} x = \sqrt3 \\[4pt] \cos x = -\dfrac12 \end{cases}$$

Шаг 1. Тангенс имеет период $\pi$: $x = \dfrac{\pi}{3} + \pi k$.

Шаг 2. Косинус: $x = \pm\dfrac{2\pi}{3} + 2\pi n$.

Шаг 3. Разложим первую серию на две по чётности $k$. При чётном $k = 2m$: $x = \dfrac{\pi}{3} + 2\pi m$, тогда $\cos x = \dfrac12 \neq -\dfrac12$ — не подходит. При нечётном $k = 2m+1$: $x = \dfrac{\pi}{3} + \pi + 2\pi m = \dfrac{4\pi}{3} + 2\pi m$, тогда $\cos x = -\dfrac12$ ✅

Шаг 4. Осталось проверить, что эта серия входит во вторую: $\dfrac{4\pi}{3} = -\dfrac{2\pi}{3} + 2\pi$ ✅

Ответ: $x = \dfrac{4\pi}{3} + 2\pi k$, $k\in\mathbb{Z}$ (то же самое, что $x = -\dfrac{2\pi}{3} + 2\pi k$).

Пример 3 (сложный). Реши систему:

$$\begin{cases} \sin 2x = 0 \\[4pt] \cos 3x = 1 \end{cases}$$

Здесь аргументы разные, и «сравнить глазами» уже не выйдет — нужно работать с параметрами честно.

Шаг 1. $\sin 2x = 0 \implies 2x = \pi k \implies x = \dfrac{\pi k}{2}$, $k\in\mathbb{Z}$.

Шаг 2. $\cos 3x = 1 \implies 3x = 2\pi n \implies x = \dfrac{2\pi n}{3}$, $n\in\mathbb{Z}$.

Шаг 3. Приравниваем: $\dfrac{\pi k}{2} = \dfrac{2\pi n}{3}$. Сокращаем на $\pi$ и умножаем на $6$:

$$3k = 4n.$$

Шаг 4. Это уравнение в целых числах. Числа $3$ и $4$ взаимно просты, значит $k$ обязано делиться на $4$: $k = 4t$. Тогда $3\cdot 4t = 4n \implies n = 3t$.

Шаг 5. Подставляем: $x = \dfrac{\pi\cdot 4t}{2} = 2\pi t$.

Проверка: $\sin(4\pi t) = 0$ ✅, $\cos(6\pi t) = 1$ ✅

Ответ: $x = 2\pi t$, $t\in\mathbb{Z}$.

Заметь, что произошло: серия с периодом $\pi/2$ и серия с периодом $2\pi/3$ пересеклись по серии с периодом $2\pi$ — наименьшим общим кратным. Это общее правило: пересечение серий с периодами $T_1$ и $T_2$ (если непусто) имеет период $\operatorname{НОК}(T_1, T_2)$.

Почему это важно

Пересечение серий — это буквально та операция, которую выполняет декодер позиционного кодирования в трансформере. Позиция $p$ кодируется набором пар $(\sin(p/\omega_i),\ \cos(p/\omega_i))$ с разными частотами $\omega_i$. Каждая пара по отдельности определяет позицию неоднозначно — с точностью до своего периода. Но набор из нескольких частот однозначно восстанавливает позицию на длине, равной НОК периодов. Это ровно тот же механизм, что в примере 3, и та же идея, что в китайской теореме об остатках: несколько «грубых» циклических измерений вместе дают одно точное.

Метод 2: замена переменных — сводим к алгебраической системе

Если в системе фигурируют не сами углы, а тригонометрические выражения от них, часто можно вообще забыть про тригонометрию на несколько шагов.

Аналогия: ты решаешь судоку, где вместо цифр стоят иероглифы. Первым делом ты заменяешь иероглифы цифрами, решаешь как обычно, а потом переводишь обратно. Единственное отличие от школьной алгебры: у «цифр» тут есть ограничение — синус и косинус не выходят за $[-1;\,1]$.

Определение: методом замены переменных в тригонометрической системе называют введение новых неизвестных $u = f(x)$, $v = g(y)$ (чаще всего $u = \sin x$, $v = \cos y$ и т. п.), приводящее систему к алгебраической. Полученные значения $u, v$ обязаны удовлетворять естественным ограничениям: $|u| \le 1$ и $|v| \le 1$ для синуса и косинуса. Значения вне этого отрезка отбрасываются как посторонние.

Пример 4 (простой). Реши систему:

$$\begin{cases} \sin x + \cos y = 1 \\[4pt] \sin x - \cos y = 0 \end{cases}$$

Шаг 1. Замена: $u = \sin x$, $v = \cos y$. Система становится линейной:

$$\begin{cases} u + v = 1 \\[4pt] u - v = 0 \end{cases}$$

Шаг 2. Складываем уравнения: $2u = 1$, значит $u = \dfrac12$, и тогда $v = \dfrac12$.

Шаг 3. Проверяем ограничения: $|1/2| \le 1$ для обоих ✅

Шаг 4. Возвращаемся к углам:

$$\sin x = \frac12 \implies x = (-1)^k\frac{\pi}{6} + \pi k, \qquad \cos y = \frac12 \implies y = \pm\frac{\pi}{3} + 2\pi n.$$

Ответ: $x = (-1)^k\dfrac{\pi}{6} + \pi k$, $y = \pm\dfrac{\pi}{3} + 2\pi n$, где $k, n\in\mathbb{Z}$ независимы.

Пример 5 (средний). Реши систему:

$$\begin{cases} \cos x + \cos y = 0 \\[4pt] \cos x \cdot \cos y = -\dfrac14 \end{cases}$$

Шаг 1. Замена $u = \cos x$, $v = \cos y$. Получаем сумму и произведение — это прямое приглашение к теореме Виета: $u$ и $v$ суть корни квадратного уравнения

$$t^2 - 0\cdot t - \frac14 = 0 \quad \Longleftrightarrow \quad t^2 = \frac14.$$

Шаг 2. $t = \dfrac12$ или $t = -\dfrac12$. Оба корня по модулю не превосходят единицы ✅

Шаг 3. Возникают два случая — система симметрична, но $x$ и $y$ различимы, поэтому нужно перебрать оба распределения корней.

Случай А: $\cos x = \dfrac12$, $\cos y = -\dfrac12$, откуда $x = \pm\dfrac{\pi}{3} + 2\pi k$, $y = \pm\dfrac{2\pi}{3} + 2\pi n$.

Случай Б: $\cos x = -\dfrac12$, $\cos y = \dfrac12$, откуда $x = \pm\dfrac{2\pi}{3} + 2\pi k$, $y = \pm\dfrac{\pi}{3} + 2\pi n$.

Проверка (случай А, $x = \pi/3$, $y = 2\pi/3$): $\dfrac12 + \left(-\dfrac12\right) = 0$ ✅, $\dfrac12\cdot\left(-\dfrac12\right) = -\dfrac14$ ✅

Ответ: две серии пар — $\left(\pm\dfrac{\pi}{3}+2\pi k;\ \pm\dfrac{2\pi}{3}+2\pi n\right)$ и $\left(\pm\dfrac{2\pi}{3}+2\pi k;\ \pm\dfrac{\pi}{3}+2\pi n\right)$, $k,n\in\mathbb{Z}$; знаки $\pm$ выбираются независимо.

Пример 6 (сложный, с отбраковкой). Реши систему:

$$\begin{cases} \cos x + \cos y = \dfrac52 \\[8pt] \cos x \cdot \cos y = \dfrac32 \end{cases}$$

Шаг 1. Замена $u = \cos x$, $v = \cos y$; по теореме Виета они корни уравнения

$$t^2 - \frac52 t + \frac32 = 0 \quad \Longleftrightarrow \quad 2t^2 - 5t + 3 = 0.$$

Шаг 2. Дискриминант: $D = 25 - 24 = 1$, корни $t = \dfrac{5\pm1}{4}$, то есть $t_1 = \dfrac32$ и $t_2 = 1$.

Шаг 3. Фильтр области значений: $t_1 = 1{,}5 > 1$ — косинус такого значения принимать не может. Корень отбрасываем.

Шаг 4. Значит, одно из чисел $\cos x$, $\cos y$ обязано равняться $1{,}5$ — а это невозможно. Пары, удовлетворяющей обоим уравнениям, не существует.

Ответ: решений нет.

Можно было заметить это и раньше: $\cos x + \cos y \le 1 + 1 = 2 < \dfrac52$. Оценка суммы — самый быстрый способ закрыть систему, и с неё полезно начинать.

Почему это важно

Фильтр $|u|\le 1$ — это ровно то, что в оптимизации называется ограничением допустимого множества. Задача «найти параметры модели, минимизирующие ошибку» почти всегда сопровождается такими ограничениями: вероятности лежат в $[0;1]$, дисперсии неотрицательны, веса нормированы. Алгебраическое решение, вылетающее за границу допустимого множества, отбрасывается точно так же, как корень $t = 1{,}5$ выше. Привычка проверять допустимость до того, как радоваться найденному корню, экономит потом часы отладки.

Метод 3: сумма и разность аргументов

Есть класс систем, где по отдельности $x$ и $y$ не выражаются никак, зато прекрасно выражаются $x+y$ и $x-y$. Это самый мощный приём урока.

Аналогия: два человека тянут канат. Каждого по отдельности измерить трудно, но «суммарное усилие» и «перевес одного над другим» измеряются легко — а из них уже восстанавливаются оба.

Определение: переходом к сумме и разности аргументов называют замену $s = x + y$, $d = x - y$, после которой система решается относительно $s$ и $d$, а исходные неизвестные восстанавливаются формулами $x = \dfrac{s+d}{2}$, $y = \dfrac{s-d}{2}$. Метод применим, когда уравнения системы после преобразований содержат только $x+y$ и $x-y$ — например, после сложения и вычитания уравнений с $\sin x\cos y$ и $\cos x\sin y$ или после преобразования суммы в произведение.

Три формулы, которые тут работают постоянно:

$$\sin x\cos y = \tfrac12\big[\sin(x+y) + \sin(x-y)\big], \qquad \cos x\cos y = \tfrac12\big[\cos(x-y) + \cos(x+y)\big],$$$$\sin x + \sin y = 2\sin\frac{x+y}{2}\cos\frac{x-y}{2}, \qquad \cos x + \cos y = 2\cos\frac{x+y}{2}\cos\frac{x-y}{2}.$$

Пример 7 (простой). Реши систему:

$$\begin{cases} \sin(x+y) = 0 \\[4pt] x - y = \dfrac{\pi}{2} \end{cases}$$

Шаг 1. Из первого уравнения: $s = x + y = \pi k$, $k\in\mathbb{Z}$.

Шаг 2. Из второго: $d = x - y = \dfrac{\pi}{2}$ (одно-единственное значение, никакого параметра).

Шаг 3. Восстанавливаем:

$$x = \frac{s+d}{2} = \frac{\pi k}{2} + \frac{\pi}{4}, \qquad y = \frac{s-d}{2} = \frac{\pi k}{2} - \frac{\pi}{4}.$$

Проверка ($k = 1$): $x = \dfrac{3\pi}{4}$, $y = \dfrac{\pi}{4}$. Тогда $\sin(x+y) = \sin\pi = 0$ ✅, $x - y = \dfrac{\pi}{2}$ ✅

Ответ: $x = \dfrac{\pi}{4} + \dfrac{\pi k}{2}$, $y = -\dfrac{\pi}{4} + \dfrac{\pi k}{2}$, $k\in\mathbb{Z}$.

Здесь параметр один на обе неизвестные — и это принципиально. Если разрешить $x$ и $y$ пробегать свои серии независимо, в ответ попадёт, например, пара $x = \dfrac{\pi}{4}$ (это $k=0$ в первой формуле) и $y = \dfrac{\pi}{4}$ (это $k=1$ во второй). Но для неё $x-y = 0 \neq \dfrac{\pi}{2}$ — второе уравнение системы нарушено.

Пример 8 (средний). Реши систему:

$$\begin{cases} \sin x\cos y = \dfrac12 \\[8pt] \cos x\sin y = \dfrac12 \end{cases}$$

Шаг 1. Складываем уравнения. Слева получается формула синуса суммы:

$$\sin x\cos y + \cos x\sin y = \sin(x+y) = 1.$$

Шаг 2. Вычитаем второе из первого — формула синуса разности:

$$\sin x\cos y - \cos x\sin y = \sin(x-y) = 0.$$

Шаг 3. Решаем полученную систему относительно $s$ и $d$:

$$s = x + y = \frac{\pi}{2} + 2\pi k, \qquad d = x - y = \pi n.$$

Шаг 4. Восстанавливаем:

$$x = \frac{s+d}{2} = \frac{\pi}{4} + \pi k + \frac{\pi n}{2}, \qquad y = \frac{s-d}{2} = \frac{\pi}{4} + \pi k - \frac{\pi n}{2}.$$

Проверка ($k=0$, $n=1$): $x = \dfrac{3\pi}{4}$, $y = -\dfrac{\pi}{4}$. Тогда $\sin\dfrac{3\pi}{4}\cos\left(-\dfrac{\pi}{4}\right) = \dfrac{\sqrt2}{2}\cdot\dfrac{\sqrt2}{2} = \dfrac12$ ✅ и $\cos\dfrac{3\pi}{4}\sin\left(-\dfrac{\pi}{4}\right) = \left(-\dfrac{\sqrt2}{2}\right)\left(-\dfrac{\sqrt2}{2}\right) = \dfrac12$ ✅

Ответ: $x = \dfrac{\pi}{4} + \pi k + \dfrac{\pi n}{2}$, $y = \dfrac{\pi}{4} + \pi k - \dfrac{\pi n}{2}$, $k, n\in\mathbb{Z}$.

Пример 9 (сложный). Реши систему:

$$\begin{cases} \cos x + \cos y = 1 \\[4pt] x - y = \dfrac{2\pi}{3} \end{cases}$$

Шаг 1. Первое уравнение превращаем в произведение:

$$\cos x + \cos y = 2\cos\frac{x+y}{2}\cos\frac{x-y}{2} = 1.$$

Шаг 2. Разность известна: $\dfrac{x-y}{2} = \dfrac{\pi}{3}$, значит $\cos\dfrac{x-y}{2} = \dfrac12$. Подставляем:

$$2\cos\frac{x+y}{2}\cdot\frac12 = 1 \quad \Longleftrightarrow \quad \cos\frac{x+y}{2} = 1.$$

Шаг 3. Отсюда $\dfrac{x+y}{2} = 2\pi k$, то есть $s = x + y = 4\pi k$.

Шаг 4. Восстанавливаем, помня $d = \dfrac{2\pi}{3}$:

$$x = \frac{4\pi k + \frac{2\pi}{3}}{2} = 2\pi k + \frac{\pi}{3}, \qquad y = \frac{4\pi k - \frac{2\pi}{3}}{2} = 2\pi k - \frac{\pi}{3}.$$

Проверка ($k=0$): $\cos\dfrac{\pi}{3} + \cos\left(-\dfrac{\pi}{3}\right) = \dfrac12 + \dfrac12 = 1$ ✅, разность $\dfrac{\pi}{3} - \left(-\dfrac{\pi}{3}\right) = \dfrac{2\pi}{3}$ ✅

Ответ: $x = \dfrac{\pi}{3} + 2\pi k$, $y = -\dfrac{\pi}{3} + 2\pi k$, $k\in\mathbb{Z}$ (параметр общий!).

Почему это важно

Переход к $x+y$ и $x-y$ — это замена базиса. Ты смотришь на ту же самую пару неизвестных в других координатах, и в этих координатах задача становится диагональной: одно уравнение отвечает за одну новую переменную, другое — за другую. Ровно этим занимается PCA, когда поворачивает облако данных так, чтобы признаки перестали «переплетаться»; ровно этим занимается диагонализация матрицы; ровно этим занимается преобразование Фурье, разводящее сигнал по независимым частотам. Умение спросить себя «а какая комбинация переменных ведёт себя проще, чем сами переменные?» — универсальный навык, и тригонометрические системы — самое дешёвое место, где его можно натренировать.

Метод 4: возведи в квадрат и сложи

Это фирменный приём для систем вида «сумма синусов равна одному числу, сумма косинусов — другому». Он даёт готовую формулу, которую полезно помнить наизусть.

Раскроем скобки в сумме квадратов:

$$(\sin x + \sin y)^2 + (\cos x + \cos y)^2 = \underbrace{\sin^2 x + \cos^2 x}_{1} + \underbrace{\sin^2 y + \cos^2 y}_{1} + 2\underbrace{(\sin x\sin y + \cos x\cos y)}_{\cos(x-y)}.$$

Определение (рабочая формула): для любых $x, y$ верно

$$(\sin x + \sin y)^2 + (\cos x + \cos y)^2 = 2 + 2\cos(x-y).$$

Если система задаёт $\sin x + \sin y = a$ и $\cos x + \cos y = b$, то $\cos(x-y) = \dfrac{a^2+b^2-2}{2}$. Система совместна только при $|a^2+b^2-2|\le 2$, то есть при $a^2+b^2\le 4$.

Геометрический смысл красив: $(\cos x, \sin x)$ и $(\cos y, \sin y)$ — два единичных вектора, а $(a,\,b)$ — их сумма. Длина суммы двух единичных векторов определяется углом между ними, и $a^2+b^2 = |{\vec u}+{\vec v}|^2 = 2 + 2\cos(x-y)$ — это теорема косинусов в чистом виде. Отсюда же и ограничение: сумма двух единичных векторов не длиннее $2$.

Пример 10 (простой). Реши систему:

$$\begin{cases} \sin x + \sin y = \sqrt2 \\[4pt] \cos x + \cos y = \sqrt2 \end{cases}$$

Шаг 1. Квадраты и сумма: $2 + 2 = 4 = 2 + 2\cos(x-y)$, значит $\cos(x-y) = 1$.

Шаг 2. Отсюда $x - y = 2\pi m$, то есть $\sin x = \sin y$ и $\cos x = \cos y$.

Шаг 3. Подставляем в исходные уравнения: $2\sin x = \sqrt2 \implies \sin x = \dfrac{\sqrt2}{2}$; $2\cos x = \sqrt2 \implies \cos x = \dfrac{\sqrt2}{2}$.

Шаг 4. Эта пара условий (метод 1!) даёт $x = \dfrac{\pi}{4} + 2\pi k$. А $y = x - 2\pi m = \dfrac{\pi}{4} + 2\pi n$, причём $n$ пробегает все целые независимо от $k$.

Ответ: $x = \dfrac{\pi}{4} + 2\pi k$, $y = \dfrac{\pi}{4} + 2\pi n$, $k, n\in\mathbb{Z}$.

Пример 11 (средний). Реши систему:

$$\begin{cases} \sin x + \sin y = 0 \\[4pt] \cos x + \cos y = 1 \end{cases}$$

Шаг 1. По рабочей формуле: $0^2 + 1^2 = 2 + 2\cos(x-y)$, откуда $\cos(x-y) = -\dfrac12$.

Шаг 2. Теперь преобразуем сами уравнения в произведения, обозначив $s = x+y$, $d = x-y$:

$$2\sin\frac{s}{2}\cos\frac{d}{2} = 0, \qquad 2\cos\frac{s}{2}\cos\frac{d}{2} = 1.$$

Шаг 3. Из второго уравнения $\cos\dfrac{d}{2}\neq0$ (иначе слева ноль, а справа единица). Значит, в первом уравнении обязан обнулиться синус: $\sin\dfrac{s}{2} = 0$, то есть $\dfrac{s}{2} = \pi k$ и $\cos\dfrac{s}{2} = (-1)^k$.

Шаг 4. Подставляем во второе: $2(-1)^k\cos\dfrac{d}{2} = 1$, то есть $\cos\dfrac{d}{2} = \dfrac{(-1)^k}{2}$.

Шаг 5. Разберём $k$ чётное: $\dfrac{s}{2} = 2\pi m$ и $\cos\dfrac{d}{2} = \dfrac12$, откуда $\dfrac{d}{2} = \pm\dfrac{\pi}{3} + 2\pi n$. Тогда

$$x = \frac{s}{2} + \frac{d}{2} = 2\pi m \pm \frac{\pi}{3} + 2\pi n, \qquad y = \frac{s}{2} - \frac{d}{2} = 2\pi m \mp \frac{\pi}{3} - 2\pi n.$$

То есть один из углов имеет вид $\dfrac{\pi}{3} + 2\pi p$, другой — $-\dfrac{\pi}{3} + 2\pi q$.

Шаг 6. Случай нечётного $k$ ($\dfrac{s}{2} = \pi + 2\pi m$, $\cos\dfrac{d}{2} = -\dfrac12$, $\dfrac{d}{2} = \pm\dfrac{2\pi}{3}+2\pi n$) даёт $x = \pi \pm \dfrac{2\pi}{3} + \ldots$, то есть $\dfrac{5\pi}{3}\equiv-\dfrac{\pi}{3}$ и $\dfrac{\pi}{3}$ — ту же самую пару серий, только с переставленными ролями.

Проверка: $x = \dfrac{\pi}{3}$, $y = -\dfrac{\pi}{3}$: $\sin\dfrac{\pi}{3}+\sin\left(-\dfrac{\pi}{3}\right) = 0$ ✅, $\cos\dfrac{\pi}{3}+\cos\left(-\dfrac{\pi}{3}\right)=1$ ✅

Ответ: $\left(x = \dfrac{\pi}{3}+2\pi k,\ y = -\dfrac{\pi}{3}+2\pi n\right)$ и $\left(x = -\dfrac{\pi}{3}+2\pi k,\ y = \dfrac{\pi}{3}+2\pi n\right)$, $k,n\in\mathbb{Z}$.

Пример 12 (сложный — на несовместность). Реши систему:

$$\begin{cases} \sin x + \sin y = 2 \\[4pt] \cos x + \cos y = 1 \end{cases}$$

Шаг 1. Рабочая формула: $a^2 + b^2 = 4 + 1 = 5$, значит $2 + 2\cos(x-y) = 5$ и $\cos(x-y) = \dfrac32$.

Шаг 2. Косинус не бывает больше единицы. Система несовместна.

Проверка рассуждением: $\sin x + \sin y = 2$ возможно только при $\sin x = \sin y = 1$, то есть $x = y = \dfrac{\pi}{2}$ (с точностью до $2\pi$). Но тогда $\cos x + \cos y = 0 \neq 1$ ✅ — тот же вывод, полученный независимо.

Ответ: решений нет.

Почему это важно

Формула $a^2+b^2 = 2+2\cos(x-y)$ — это ядро обратной кинематики двухзвенного манипулятора. Если плечо длины $L_1$ повёрнуто на угол $\theta_1$, а предплечье длины $L_2$ — ещё на $\theta_2$ относительно плеча, то координаты схвата равны

$$\begin{cases} X = L_1\cos\theta_1 + L_2\cos(\theta_1+\theta_2) \\[4pt] Y = L_1\sin\theta_1 + L_2\sin(\theta_1+\theta_2)\end{cases}$$

Возведи оба в квадрат, сложи — и все члены с $\theta_1$ схлопнутся, останется

$$X^2+Y^2 = L_1^2 + L_2^2 + 2L_1L_2\cos\theta_2.$$

Один угол найден сразу, второй — подстановкой. Два знака у $\theta_2$ дают две классические конфигурации руки, «локоть вверх» и «локоть вниз». Это не адаптация школьной формулы под робототехнику — это буквально она, и ты решишь такую задачу в практике (задание 23).

Осторожно: параметры бывают связаны

Разберём подробно ловушку, на которой ошибаются чаще всего. Возьмём систему:

$$\begin{cases} \sin(x+y) = 1 \\[4pt] \cos(x-y) = 1 \end{cases}$$

Решается она мгновенно: $x + y = \dfrac{\pi}{2} + 2\pi k$ и $x - y = 2\pi n$, откуда

$$x = \frac{\pi}{4} + \pi k + \pi n, \qquad y = \frac{\pi}{4} + \pi k - \pi n.$$

Возникает соблазн упростить: «$\pi k + \pi n$ — это же просто $\pi m$, значит $x = \dfrac{\pi}{4} + \pi m$, а $y = \dfrac{\pi}{4} + \pi l$ — и параметры независимы». Это неверно. Проверим: возьмём $x = \dfrac{\pi}{4}$ (то есть $m = 0$) и $y = \dfrac{\pi}{4} + \pi = \dfrac{5\pi}{4}$ (то есть $l = 1$). Тогда

$$x + y = \frac{3\pi}{2}, \qquad \sin\frac{3\pi}{2} = -1 \neq 1.$$

Пара не подходит. Причина: числа $m = k+n$ и $l = k-n$ не независимы — их сумма $m + l = 2k$ всегда чётна, значит $m$ и $l$ обязаны иметь одинаковую чётность. Запись $x = \dfrac{\pi}{4}+\pi(k+n)$, $y = \dfrac{\pi}{4}+\pi(k-n)$ эту связь хранит, а «упрощённая» — теряет.

Правило безопасности: если обе неизвестные восстанавливались из одних и тех же промежуточных величин ($s$ и $d$), оставляй ответ в параметрической форме через исходные $k$ и $n$, не пытаясь переобозначить комбинации. Проверить себя всегда можно подстановкой одной-двух конкретных пар.

Системы тригонометрии в ML и инженерии

Соберём в одном месте, где всё это работает по-настоящему.

Декодирование циклических признаков. Час суток, день недели, направление ветра, угол поворота — всё циклическое кодируют парой $(\sin, \cos)$. Обратная операция — решение системы $\{\sin\theta = s,\ \cos\theta = c\}$; в коде это atan2(s, c), но математически это метод 1: пересечение двух серий, дающее единственную точку на окружности. Проверка $s^2+c^2\approx 1$ — критерий совместности.

Гармоническая регрессия. Модель сезонности вида $a\sin t + b\cos t$ переписывается как $A\sin(t+\varphi)$, где $A$ и $\varphi$ находятся из системы $\{A\cos\varphi = a,\ A\sin\varphi = b\}$. Решение: $A = \sqrt{a^2+b^2}$, $\operatorname{tg}\varphi = b/a$ — снова «возведи в квадрат и сложи». Амплитуда $A$ — сила сезонности, $\varphi$ — её фазовый сдвиг; для интерпретации модели нужны обе.

IQ-демодуляция. Радиоприёмник получает две компоненты, $I = A\cos\varphi$ и $Q = A\sin\varphi$. Восстановление амплитуды и фазы — та же система. На этом стоит вся цифровая связь от Wi-Fi до 5G.

Обратная кинематика. Разобрана выше: углы в суставах по координатам схвата.

Ориентация по матрице поворота. Углы Эйлера извлекаются из матрицы поворота решением системы тригонометрических уравнений — и знаменитая «шарнирная блокировка» (gimbal lock) в этой терминологии есть не что иное, как вырождение системы: она перестаёт однозначно определять углы, оставляя связанной только их сумму или разность.

Почему это важно

Во всех пяти сюжетах структура одинакова: измеряются не углы, а значения тригонометрических функций от углов, и восстановить углы — значит решить систему. Понимание того, когда такая система однозначна, когда даёт две ветви (как «локоть вверх/вниз») и когда вырождается, — прямо переносится в отладку моделей и алгоритмов. Ошибка «модель отлично предсказывает синус и косинус, а угол выходит бредовый» почти всегда означает, что предсказанная пара несовместна и её забыли нормировать.

Практика: 30 заданий

Базовые (задания 1-10)

Задание 1: Реши систему:

$$\begin{cases} \sin x = 0 \\[4pt] \cos y = 1 \end{cases}$$

Задание 2: Реши систему:

$$\begin{cases} \sin x = \dfrac12 \\[8pt] \cos x = \dfrac{\sqrt3}{2} \end{cases}$$

Задание 3: Реши систему:

$$\begin{cases} \cos x = -\dfrac12 \\[8pt] \sin x = \dfrac{\sqrt3}{2} \end{cases}$$

Задание 4: Реши систему:

$$\begin{cases} \sin x = \dfrac12 \\[8pt] \cos x = \dfrac12 \end{cases}$$

Задание 5: Реши систему:

$$\begin{cases} \operatorname{tg} x = 1 \\[4pt] \sin y = \dfrac{\sqrt2}{2} \end{cases}$$

Задание 6: Реши систему:

$$\begin{cases} \sin x + \cos y = 1 \\[4pt] \sin x - \cos y = 0 \end{cases}$$

Задание 7: Реши систему:

$$\begin{cases} \sin x + \sin y = 2 \\[4pt] \cos x = 0 \end{cases}$$

Задание 8: Реши систему:

$$\begin{cases} \sin x = \cos x \\[4pt] \sin y = 0 \end{cases}$$

Задание 9: Реши систему:

$$\begin{cases} x + y = \dfrac{\pi}{2} \\[8pt] \sin x = \sin y \end{cases}$$

Задание 10: Модель предсказывает направление ветра парой выходов и выдала $s = 0{,}6$, $c = 0{,}8$, что должно означать $\sin\theta$ и $\cos\theta$. Проверь совместность и найди угол $\theta$ на $[0;\,2\pi)$.


Средние (задания 11-20)

Задание 11: Реши систему:

$$\begin{cases} \sin x + \sin y = 1 \\[8pt] \sin x\cdot\sin y = \dfrac14 \end{cases}$$

Задание 12: Реши систему:

$$\begin{cases} \cos x + \cos y = \dfrac32 \\[8pt] \cos x\cdot\cos y = \dfrac12 \end{cases}$$

Задание 13: Реши систему:

$$\begin{cases} \sin(x+y) = 1 \\[4pt] \cos(x-y) = 1 \end{cases}$$

Задание 14: Реши систему:

$$\begin{cases} x + y = \dfrac{\pi}{3} \\[8pt] \sin x + \sin y = 1 \end{cases}$$

Задание 15: Реши систему:

$$\begin{cases} x + y = \dfrac{2\pi}{3} \\[8pt] \cos x + \cos y = 1 \end{cases}$$

Задание 16: Реши систему:

$$\begin{cases} x+y = \dfrac{\pi}{2} \\[8pt] \sin x\cdot\sin y = \dfrac14\end{cases}$$

Задание 17: Реши систему:

$$\begin{cases} \sin x+\sin y = 1 \\[4pt] \cos x+\cos y = \sqrt3\end{cases}$$

Задание 18: Реши систему:

$$\begin{cases} \operatorname{tg} x = \operatorname{tg} y \\[4pt] x+y = \dfrac{\pi}{2}\end{cases}$$

Задание 19: Реши систему:

$$\begin{cases} \cos x\cos y = \dfrac14 \\[8pt] \sin x\sin y = \dfrac34\end{cases}$$

Задание 20: В позиционном кодировании используются два канала: $\sin\theta$ и $\sin2\theta$. Приёмник считал $\sin\theta = \dfrac12$ и $\sin2\theta = \dfrac{\sqrt3}{2}$. Найди все возможные $\theta$.


Продвинутые (задания 21-30)

Задание 21: Реши систему:

$$\begin{cases} \sin x+\sin y = \sqrt3 \\[4pt] \cos x+\cos y = 1\end{cases}$$

Задание 22: Реши систему:

$$\begin{cases} \sin x+\sin y = 1 \\[4pt] \cos x+\cos y = 1\end{cases}$$

Задание 23: Двухзвенный манипулятор имеет звенья единичной длины ($L_1 = L_2 = 1$). Схват нужно привести в точку $(1;\,1)$. Углы $\theta_1$ (плечо относительно оси $Ox$) и $\theta_2$ (предплечье относительно плеча) удовлетворяют системе

$$\begin{cases}\cos\theta_1+\cos(\theta_1+\theta_2) = 1 \\[4pt] \sin\theta_1+\sin(\theta_1+\theta_2) = 1\end{cases}$$

Найди все конфигурации руки.


Задание 24: Реши систему:

$$\begin{cases}\sin 2x = \cos 2y \\[4pt] \cos 2x = \sin 2y\end{cases}$$

Задание 25: Реши систему:

$$\begin{cases}\operatorname{tg} x+\operatorname{tg} y = 2 \\[4pt] x+y = \dfrac{\pi}{4}\end{cases}$$

Задание 26: Реши систему:

$$\begin{cases}\sin x+\cos y = 0 \\[4pt] \cos x-\sin y = 1\end{cases}$$

Задание 27: Реши систему:

$$\begin{cases}\cos x\cos y = \dfrac12 \\[8pt] \sin x\sin y = \dfrac12\end{cases}$$

Задание 28: При каких значениях параметра $a$ система имеет решения? Найди их.

$$\begin{cases}x+y = \dfrac{\pi}{2} \\[8pt] \sin x+\sin y = a\end{cases}$$

Задание 29: Нейросеть с двумя выходами предсказала для циклического признака $s = 0{,}58$ и $c = 0{,}79$. Оцени, насколько пара несовместна, нормируй её и найди угол $\theta$ в первой четверти.


Задание 30: Сезонная компонента временного ряда подобрана в виде $4\sin t+3\cos t$. Представь её как $A\sin(t+\varphi)$ с $A>0$: найди амплитуду и фазу из системы

$$\begin{cases}A\cos\varphi = 4 \\[4pt] A\sin\varphi = 3\end{cases}$$

Частые ошибки

Ошибка 1: один и тот же параметр для независимых серий

Неправильно: $\begin{cases}\sin x = \frac12\\ \cos y = \frac12\end{cases}$ $\Rightarrow$ $x = (-1)^k\dfrac{\pi}{6}+\pi k$, $y = \pm\dfrac{\pi}{3}+2\pi k$.

Правильно: $x = (-1)^k\dfrac{\pi}{6}+\pi k$, $y = \pm\dfrac{\pi}{3}+2\pi n$, где $k$ и $n$ — разные целые параметры.

Почему важно: уравнения независимы, значит и параметры независимы. С общим параметром пара $\left(\dfrac{\pi}{6};\ \dfrac{\pi}{3}+2\pi\right)$ выпадает из ответа, хотя системе удовлетворяет. Это потеря бесконечного множества решений — самая массовая ошибка в теме.


Ошибка 2: обратная крайность — разрывают связанные параметры

Неправильно: из $x+y = \dfrac{\pi}{2}+2\pi k$ и $x-y = 2\pi n$ написать «$x = \dfrac{\pi}{4}+\pi m$, $y = \dfrac{\pi}{4}+\pi l$ с любыми $m,l$».

Правильно: $x = \dfrac{\pi}{4}+\pi(k+n)$, $y = \dfrac{\pi}{4}+\pi(k-n)$ — в исходных параметрах, без «упрощений».

Почему важно: $m = k+n$ и $l = k-n$ всегда имеют одинаковую чётность, потому что $m+l = 2k$. «Упростив» запись, ты добавляешь в ответ пары вроде $\left(\dfrac{\pi}{4};\ \dfrac{5\pi}{4}\right)$, для которых $\sin(x+y) = -1$, а не $1$. Появление посторонних решений так же плохо, как потеря настоящих.


Ошибка 3: забывают проверить $|u|\le1$ после замены

Неправильно: из $\cos x+\cos y = \dfrac52$, $\cos x\cos y = \dfrac32$ получить корни $t = 1$ и $t = 1{,}5$ и радостно записать $\cos y = 1{,}5$.

Правильно: отбросить $t = 1{,}5$ как недопустимое и сделать вывод, что система несовместна.

Почему важно: алгебраическая система после замены «не знает» о том, что $u$ и $v$ были синусами и косинусами. Ограничение живёт только в твоей голове — если его не применить, ответ будет формально аккуратным и полностью неверным.


Ошибка 4: считают, что $\sin x = \sin y$ влечёт $x = y$

Неправильно: из $\sin x = \sin y$ сразу заключить $x = y+2\pi k$.

Правильно: $\sin x = \sin y \iff x = y+2\pi k$ или $x = \pi-y+2\pi k$. Аналогично $\cos x = \cos y \iff x = \pm y+2\pi k$, а $\operatorname{tg} x = \operatorname{tg} y \iff x = y+\pi k$.

Почему важно: равенство синусов задаёт две симметричные ветви относительно вертикальной оси. Взяв только одну, ты теряешь ровно половину решений — и в задачах на системы это обычно самая интересная половина.


Ошибка 5: возводят в квадрат и не проверяют результат

Неправильно: решить систему приёмом «возведи в квадрат и сложи», получить $\cos(x-y)$ и объявить найденные пары ответом.

Правильно: после возведения в квадрат обязательно подставить представителя каждой серии в исходную систему.

Почему важно: возведение в квадрат — неравносильное преобразование. Оно не различает $a$ и $-a$: система с $\sin x+\sin y = 1$ и система с $\sin x+\sin y = -1$ после возведения в квадрат выглядят одинаково. Часть найденных серий может удовлетворять «квадратичному следствию», но не исходным уравнениям.


Ошибка 6: пропускают разбор случаев в симметричной системе

Неправильно: в системе $\cos x+\cos y = \dfrac32$, $\cos x\cos y = \dfrac12$ найти корни $1$ и $\dfrac12$ и записать только $\cos x = 1$, $\cos y = \dfrac12$.

Правильно: выписать оба распределения корней: $(\cos x;\cos y) = \left(1;\dfrac12\right)$ и $\left(\dfrac12;1\right)$.

Почему важно: теорема Виета даёт неупорядоченную пару чисел, а $x$ и $y$ в системе различимы. Пропуск второго случая срезает половину ответа — и, в отличие от ошибки 4, здесь ошибку легко не заметить, потому что оставшаяся половина полностью корректна.


Ошибка 7: используют $\operatorname{arctg}(s/c)$ там, где угол не в первой четверти

Неправильно: восстанавливать угол из пары $(\sin\theta;\cos\theta) = (-0{,}6;\,-0{,}8)$ по формуле $\theta = \operatorname{arctg}\dfrac{s}{c}$.

Правильно: учесть четверть по знакам $s$ и $c$ (или использовать atan2(s, c)), здесь $\theta = \operatorname{arctg}0{,}75+\pi$.

Почему важно: отношение $s/c$ одинаково для точки и её антипода — арктангенс не различает первую и третью четверти, вторую и четвёртую. Это классический баг в коде декодирования углов: половина предсказаний уезжает на $180°$, а метрика при этом выглядит «просто шумной».


Главное запомнить

📝 Ключевые понятия

Решение системы — это набор значений (пара $(x;y)$), обращающий в верное равенство каждое уравнение; ответ почти всегда бесконечное семейство, записанное формулой с целыми параметрами.

Разные серии — разные параметры: если $x$ и $y$ находились независимо, в ответе обязаны стоять разные буквы $k$ и $n$. Если они восстанавливались из общих $s$ и $d$ — параметры связаны, и связь нужно сохранить.

Пересечение серий: система с одной неизвестной решается пересечением решений уравнений; период результата — НОК периодов, и он может быть больше каждого из них (пример: $\sin2x = 0$ и $\cos3x = 1$ дают период $2\pi$).

Замена переменных: $u = \sin x$, $v = \cos y$ сводит систему к алгебраической, но добавляет обязательный фильтр $|u|\le1$, $|v|\le1$. Сумма и произведение $\Rightarrow$ теорема Виета $\Rightarrow$ два случая распределения корней.

Сумма и разность аргументов: замена $s = x+y$, $d = x-y$, обратный ход $x = \dfrac{s+d}{2}$, $y = \dfrac{s-d}{2}$. Складывая и вычитая уравнения с $\sin x\cos y$ и $\cos x\sin y$, получаешь $\sin(x\pm y)$; с $\cos x\cos y$ и $\sin x\sin y$ — $\cos(x\mp y)$.

Сумма в произведение: $\sin x+\sin y = 2\sin\dfrac{x+y}{2}\cos\dfrac{x-y}{2}$ и $\cos x+\cos y = 2\cos\dfrac{x+y}{2}\cos\dfrac{x-y}{2}$ — главный инструмент, когда одно из уравнений задаёт $x+y$ или $x-y$.

Возведи в квадрат и сложи: $(\sin x+\sin y)^2+(\cos x+\cos y)^2 = 2+2\cos(x-y)$. Отсюда $\cos(x-y) = \dfrac{a^2+b^2-2}{2}$ и критерий совместности $a^2+b^2\le4$.

Оценка сверху закрывает систему быстрее вычислений: $|\sin| \le 1$, $|\cos|\le1$, $|\sin x+\sin y|\le2$, $|a\sin x+b\cos x|\le\sqrt{a^2+b^2}$. Проверяй границы до того, как начинать преобразования.

Равенство функций — не равенство углов: $\sin x = \sin y \iff x = y+2\pi k$ или $x = \pi-y+2\pi k$; $\cos x=\cos y\iff x = \pm y+2\pi k$; $\operatorname{tg} x=\operatorname{tg} y\iff x = y+\pi k$.

Проверка обязательна. Возведение в квадрат, деление на выражение с переменной и переход к тангенсу — неравносильные шаги. Подставляй представителя каждой серии в исходную систему.

Прикладной смысл: $\{\sin\theta = s,\ \cos\theta = c\}$ — это декодирование циклического признака (atan2), $\{A\cos\varphi = a,\ A\sin\varphi = b\}$ — амплитуда и фаза гармоники, а «возведи в квадрат и сложи» — ядро обратной кинематики манипулятора.


Связь с другими темами курса

Что нужно было знать до этого урока:

  • Единичная окружность и определения синуса, косинуса, тангенса (уроки 92-94) — без геометрической картинки пересечение серий превращается в бессмысленное жонглирование формулами

  • Основное тригонометрическое тождество (урок 95) — главный инструмент проверки совместности

  • Формулы приведения (урок 96) и формулы сложения (урок 97) — на них держатся методы 3 и 4

  • Формулы суммы и разности (урок 100) — переход «сумма в произведение»

  • Обратные тригонометрические функции (урок 102) — без них не записать ответ с параметром

  • Простейшие тригонометрические уравнения (урок 103) и методы их решения (урок 104) — каждая система в конце концов распадается на такие уравнения

  • Однородные уравнения (урок 105, предыдущий) — техника «поделить и перейти к тангенсу» часто нужна внутри системы

Куда это ведёт дальше:

  • Тригонометрические неравенства (урок 107, следующий) — там серии решений превращаются в серии промежутков, и вся аккуратность с параметрами, которую ты натренировал здесь, понадобится снова

  • Применение тригонометрии в геометрии, теоремы синусов и косинусов (уроки 108-110) — «решить треугольник» технически означает решить систему тригонометрических соотношений

  • Системы показательных и логарифмических уравнений (урок 124) — те же методы (замена, сложение-вычитание, теорема Виета), только с другими функциями; тригонометрия здесь была разминкой

  • Производная и исследование функций (уроки 133, 139-144) — там условие «производная равна нулю» для функций от нескольких переменных даст систему, и очень часто именно тригонометрическую

  • Вузовский курс: системы уравнений и метод Ньютона — численное решение систем нелинейных уравнений начинается ровно с таких примеров, а тригонометрические системы — классический тест-кейс из-за множественности корней

Где это используется на практике:

💻 В программировании: функция atan2(y, x) в любой стандартной библиотеке — это готовое решение системы $\{\sin\theta = y/r,\ \cos\theta = x/r\}$ с правильным учётом четверти. Поворот спрайта, направление взгляда камеры, угол между векторами — везде она.

🤖 В ML/AI: декодирование циклических признаков (время, направление, угол) из пары выходов модели; восстановление позиции по позиционному кодированию трансформера; проверка $s^2+c^2\approx1$ как метрика уверенности предсказания.

📊 В Data Science: гармоническая регрессия временных рядов — переход от коэффициентов $a,b$ к интерпретируемым амплитуде и фазе через систему $\{A\cos\varphi = a,\ A\sin\varphi = b\}$; выделение сезонности с несколькими гармониками.

🔬 В науке и инженерии: обратная кинематика роботов, IQ-демодуляция в цифровой связи, извлечение углов Эйлера из матрицы поворота, определение положения по двум пеленгам в навигации, расчёт интерференционных картин в оптике.


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

💡 Функция atan2 появилась в Фортране в 1961 году — и с тех пор кочует из языка в язык почти без изменений. Её единственная задача — решать систему $\{\sin\theta = s,\ \cos\theta = c\}$ корректно во всех четырёх четвертях, включая вырожденные случаи вроде $c = 0$. Порядок аргументов у неё «неестественный» (atan2(y, x), сначала синус-компонента), и это до сих пор источник багов: перепутанные аргументы дают угол, отражённый относительно биссектрисы первой четверти.

💡 Пересечение серий с разными периодами — это китайская теорема об остатках в тригонометрической обёртке. В примере с $\sin2x = 0$ и $\cos3x = 1$ ты фактически решал сравнение $3k \equiv 0 \pmod 4$. Тот же механизм лежит в основе синус-косинусного позиционного кодирования: несколько частот с несоизмеримыми периодами вместе задают позицию однозначно на огромной длине, хотя каждая по отдельности безнадёжно неоднозначна.

💡 Шарнирная блокировка (gimbal lock) — это вырождение тригонометрической системы. Когда среднее кольцо гироскопа поворачивается на $90°$, система уравнений для углов Эйлера перестаёт определять их по отдельности и фиксирует лишь их сумму — в точности как задание 24, где ответом оказалось «$x+y$ равно тому-то, а сами $x$ и $y$ произвольны». Из-за этого эффекта Аполлон-11 нёс на борту предупреждение о запретных зонах ориентации, а современная графика перешла на кватернионы.

💡 Две конфигурации робота — «локоть вверх» и «локоть вниз» — прямое следствие двузначности $\arccos$. В обратной кинематике уравнение даёт $\cos\theta_2$, а не сам угол, и оба знака $\theta_2$ физически осуществимы. Промышленные контроллеры выбирают между ними по дополнительным критериям: близость к текущей позе, отсутствие столкновений, запас по пределам сустава. Математическая неоднозначность превращается в инженерное решение.

💡 Формулы «сумма в произведение» изобрели ради логарифмов. До появления таблиц логарифмов астрономы использовали метод простаферезиса (от греческого «сложение-вычитание»): произведение двух чисел вычисляли через сумму косинусов, потому что складывать в столбик проще, чем умножать многозначные числа. Тихо Браге пользовался им в своей обсерватории в 1580-х. Формула, которая сегодня для тебя инструмент решения систем, была придумана как «калькулятор» на два поколения раньше логарифмической линейки.


Лайфхаки и полезные трюки

1. Начинай с оценки, а не с преобразований

Прежде чем возводить в квадрат и раскладывать на произведения, посмотри на правые части. Если сумма двух синусов равна $2$, оба синуса равны $1$ — задача решена в одну строку. Если сумма косинусов больше $2$ по модулю, решений нет.

Пример: в системе $\{\sin x+\sin y = 2,\ \cos x = 0\}$ первое уравнение сразу фиксирует $x = y = \dfrac{\pi}{2}+2\pi k$, и никакой техники больше не нужно (задание 7).

2. Проверяй совместность через $\sin^2+\cos^2 = 1$ до всяких вычислений

Если в системе фигурируют и синус, и косинус одного и того же угла с числовыми правыми частями — подставь их в тождество. Не сходится — решений нет, работа окончена.

Пример: $\{\sin x = \frac12,\ \cos x = \frac12\}$: $\frac14+\frac14 = \frac12\neq1$, ответ «решений нет» получен за одну строку (задание 4).

3. Увидел $\sin x\cos y$ и $\cos x\sin y$ — складывай и вычитай, не раздумывая

Эта пара конструкций специально сделана так, чтобы сумма дала $\sin(x+y)$, а разность — $\sin(x-y)$. Аналогично пара $\cos x\cos y$ и $\sin x\sin y$: сумма даёт $\cos(x-y)$, разность — $\cos(x+y)$.

Пример: система из задания 19 после сложения и вычитания решается за три строки, тогда как «в лоб» она практически неприступна.

4. Запомни рабочую формулу $a^2+b^2 = 2+2\cos(x-y)$ вместе с её геометрией

$(a;b)$ — это сумма двух единичных векторов, поэтому $a^2+b^2\le4$ автоматически. Формула даёт и разность углов, и мгновенный критерий несовместности.

Пример: для $\{\sin x+\sin y = 2,\ \cos x+\cos y = 1\}$ получаем $\cos(x-y) = \dfrac{4+1-2}{2} = \dfrac32>1$ — решений нет, вычислений ноль.

5. Проверяй ответ подстановкой конкретных чисел, а не формул

Формулы с параметрами легко проверить неправильно. Возьми $k = 0$, $n = 0$, потом $k = 0$, $n = 1$, потом $k = 1$, $n = 0$ — три подстановки ловят практически все ошибки с параметрами, включая ту самую про чётность.

Пример: в задании 13 подстановка $k = 0$, $n = 1$ мгновенно показывает, что «упрощённая» запись ответа неверна.

6. Если система выглядит симметрично — не забудь, что $x$ и $y$ различимы

Симметрия системы означает лишь то, что вместе с решением $(x_0;y_0)$ решением будет и $(y_0;x_0)$. Это не право написать одну ветвь и остановиться — это указание выписать обе.

Пример: задания 12, 22 и 26 — везде ответ состоит из двух зеркальных семейств, и потеря одного из них считается за половину ошибки на экзамене и за полноценный баг в коде.

7. При отладке кода сравнивай не углы, а пары $(\sin,\cos)$

Углы $-\dfrac{\pi}{2}$ и $\dfrac{3\pi}{2}$ — это один и тот же поворот, но как числа они различны, и наивное сравнение или наивная функция потерь на них ломается. Сравнивай синусы и косинусы (или считай $1-\cos(\hat\theta-\theta)$ как ошибку) — тогда периодичность учтётся автоматически.

Пример: MSE между предсказанным $359°$ и истинным $1°$ равен $358^2$ — катастрофа для обучения; ошибка $1-\cos(\hat\theta-\theta)$ для той же пары равна примерно $0{,}0006$ — то есть почти ноль, как и должно быть.


💡 Совет: системы тригонометрических уравнений — тот редкий раздел, где вычислительная часть проще, чем оформление ответа. Найти $\cos(x-y)$ или корни по теореме Виета — дело трёх строк; правильно записать бесконечное семейство пар, не потеряв решения и не добавив лишних, — вот где настоящая работа. Поэтому вырабатывай привычку: решил — подставь. Три конкретные пары чисел в исходную систему, и ты либо спокоен, либо нашёл ошибку раньше проверяющего. Та же дисциплина спасает при отладке кода, где «формула вроде правильная, а углы уезжают на $180°$» — самая частая беда декодеров.

А теперь попробуй сам вернуться к заданиям 13 и 19 и записать ответы другим способом — через отбор конкретных серий вместо параметрической формы. Совпало? Значит, ты действительно понял, как устроены семейства решений. В следующем уроке — тригонометрические неравенства, где вместо точек на окружности появятся дуги, а вместо серий решений — серии промежутков. Инструменты те же, аккуратности нужно чуть больше. Погнали 🌀

Понял тему? Закрепи в боте! 🚀

Попрактикуйся на задачах и получи персональные рекомендации от AI

💪 Начать тренировку
💬 Есть вопрос? Спроси бота!