Формулы приведения

Один и тот же угол в двух системах осей: слева исходные, справа довёрнутые. Формула здесь орган управления — наведите на неё, и на чертежах загорятся те два отрезка, равенство которых она утверждает; наведите на отрезок — загорится его формула.

Дуга показывает, на сколько повёрнуты оси; когда доворот закончен, рядом с новым углом появляется «оси совпали», а кнопка меняется на «Вернуть». У подсвеченной строки видно число, которое при текущем угле дают обе её части, — равенство можно проверить, а не принять на слово. Левый круг слушает стрелки: ← и → по 5°, с Shift по 1°.

Откуда берутся эти формулы и почему у вертикальной оси функция меняется на кофункцию — в теме «Формулы приведения».