Интегрирование тригонометрических функций 🌊

Представь, что тебе дали интеграл $\int \dfrac{dx}{3+5\cos x}$. На первый взгляд это выглядит безнадёжно: ни синус, ни косинус не входят сюда «изолированно», значит ни одна табличная формула не подходит напрямую, а привычная замена переменной, кажется, тоже не видит здесь никакой внутренней структуры. И тем не менее у этого интеграла есть точный, гарантированно работающий ответ, который получается по совершенно механическому алгоритму — без единой капли изобретательности.

Секрет в том, что любой интеграл вида $\int R(\sin x, \cos x)\,dx$, где $R$ — произвольная рациональная функция от синуса и косинуса, можно одной универсальной заменой превратить в интеграл от рациональной дроби — а рациональные дроби ты уже полностью научился брать в прошлом уроке. Это удивительный факт: огромный, на вид неисчерпаемый класс интегралов сводится к уже решённой задаче одним и тем же приёмом, работающим всегда, без исключений.

Но у этой универсальности есть цена: механический алгоритм редко бывает самым быстрым. Если ты применишь универсальную подстановку к интегралу $\int \sin^2x\cos^3x\,dx$, ты получишь верный, но чудовищно громоздкий путь к ответу, который заменой $u=\sin x$ берётся в три строчки. Поэтому сегодняшний урок — это не только про один мощный универсальный инструмент, но и про умение вовремя понять, что доставать этот инструмент не нужно, потому что под рукой есть более быстрый.

И для тебя как будущего специалиста по машинному обучению эта тема — далеко не факультативная гимнастика. Интегралы от произведений синусов и косинусов разных аргументов — это буквально та операция, на которой держится вычисление коэффициентов ряда Фурье: разложение произвольного периодического сигнала в сумму гармоник требует раз за разом брать интегралы вида $\int \sin(mx)\cos(nx)\,dx$ и $\int \cos(mx)\cos(nx)\,dx$. Именно на этой математике строится цифровая обработка звука, эквалайзеры, сжатие аудио, спектральный анализ вибраций — а в современном машинном обучении те же самые идеи всплывают в архитектурах, которые работают с временными рядами и сигналами в частотной области. Освоив этот урок, ты не просто добавишь ещё один пункт в список «умею интегрировать», а получишь ключ к пониманию того, откуда вообще берётся частотное представление данных.

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

Идея систематически сводить любой интеграл от тригонометрических функций к интегралу от рациональной дроби родилась в рамках гораздо более широкой программы XVIII века — построить конечный, алгоритмический список приёмов, который гарантированно справляется с целыми классами интегралов, а не с отдельными частными случаями. Ты уже видел эту программу в действии в прошлом уроке, когда Леонард Эйлер довёл до полной формы теорию разложения рациональных дробей на простейшие. Тригонометрическая подстановка — это прямое продолжение той же идеи: если любую рациональную функцию от $\sin x$ и $\cos x$ удастся выразить через рациональную функцию одной новой переменной, то весь класс таких интегралов автоматически попадает под уже решённую задачу.

Сама подстановка $t=\operatorname{tg}(x/2)$ была известна ещё Эйлеру и использовалась в его трактатах по интегральному исчислению в середине XVIII века — там она возникает как естественное следствие формул половинного угла, которые тригонометристы знали задолго до этого. Тем не менее в современных учебниках эту замену почти повсеместно называют подстановкой Вейерштрасса — в честь немецкого математика Карла Вейерштрасса (1815–1897), одного из главных архитекторов строгого анализа XIX века. Историческая ирония здесь очень похожа на ту, что ты уже встречал с правилом Лопиталя: сам приём существовал до Вейерштрасса, но именно он включил его в свои систематические лекционные курсы по анализу как стандартный, «дежурный» метод — настолько систематически, что имя закрепилось за подстановкой в учебной традиции, вытеснив из памяти более раннее авторство Эйлера.

Интересно, что геометрически подстановка $t=\operatorname{tg}(x/2)$ — это не случайная алгебраическая уловка, а рациональная параметризация окружности: если провести прямую через точку $(-1,0)$ единичной окружности с угловым коэффициентом $t$, то вторая точка пересечения этой прямой с окружностью окажется точкой $(\cos x,\sin x)$ ровно при $t=\operatorname{tg}(x/2)$. Тот же самый геометрический трюк — рациональная параметризация конического сечения через прямую, проходящую через одну его точку, — лежит в основе классического способа находить все пифагоровы тройки целых чисел. Это тот редкий случай, когда сугубо вычислительный приём для интегралов и красивый факт из теории чисел вырастают из одной и той же геометрической идеи.

Универсальная тригонометрическая подстановка

Интуиция: один переводчик для всех интегралов

Давай разберёмся, в чём именно состоит проблема интегралов вида $\int R(\sin x,\cos x)\,dx$. Синус и косинус — это не рациональные функции, поэтому обычные приёмы работы с дробями к ним не применяются напрямую. Но что, если найти такую новую переменную $t$, через которую и $\sin x$, и $\cos x$, и сам дифференциал $dx$ выражаются рационально — то есть без корней, без тригонометрии, одними лишь сложениями, умножениями и делениями многочленов?

Представь себе синхронного переводчика на международной конференции, где докладчики говорят на десятках разных языков, а слушатели в зале — тоже на разных языках. Вместо того чтобы держать отдельного переводчика на каждую пару языков, разумнее завести один промежуточный язык (например, английский), на который переводится любая речь, — а дальше с этим промежуточным языком уже можно работать единообразно. Переменная $t=\operatorname{tg}(x/2)$ — это ровно такой промежуточный язык для тригонометрических интегралов: любое выражение, содержащее $\sin x$ и $\cos x$ в каком угодно сочетании, переводится в рациональную функцию от $t$, а рациональные функции ты интегрировать уже умеешь.

Вывод формул

Давай разберёмся, откуда берутся сами формулы перевода. Обозначим $t=\operatorname{tg}(x/2)$ и вспомним формулы двойного угла, применённые не к $x$, а к половинному углу $x/2$:

Хитрость в том, чтобы в каждой из этих формул разделить числитель и знаменатель на $\cos^2(x/2)$ — благо знаменателем можно считать тождество $\sin^2(x/2)+\cos^2(x/2)=1$, которое от такого деления не меняется:

Осталось выразить $dx$. Дифференцируем равенство $t=\operatorname{tg}(x/2)$ напрямую:

Три формулы готовы, и все три — рациональные функции одной переменной $t$.

Универсальная тригонометрическая подстановка (подстановка Вейерштрасса). При замене $t=\operatorname{tg}\dfrac{x}{2}$ (где $x=2\operatorname{arctg} t$) справедливо:

$$\sin x=\frac{2t}{1+t^2}, \qquad \cos x=\frac{1-t^2}{1+t^2}, \qquad dx=\frac{2\,dt}{1+t^2}$$

Подставив эти три выражения в $\int R(\sin x,\cos x)\,dx$, всегда получаешь интеграл от рациональной функции переменной $t$, который берётся методами прошлого урока. Единственное ограничение — подстановка не определена в точках $x=\pi+2\pi k$, где $\operatorname{tg}(x/2)$ обращается в бесконечность, поэтому на таких точках нужно быть внимательным к области определения ответа.

Разбор примеров

Пример 1 (лёгкий). Вычислить $\int \dfrac{dx}{1-\cos x}$.

Подставляем $\cos x=\dfrac{1-t^2}{1+t^2}$:

Тогда

Возвращаемся к $x$: $t=\operatorname{tg}(x/2)$.

Ответ: $-\operatorname{ctg}\dfrac{x}{2}+C$.

Пример 2 (средний). Вычислить $\int \dfrac{dx}{3+5\cos x}$ — тот самый интеграл, с которого начинался урок.

Это табличный интеграл вида $\int\dfrac{dt}{a^2-t^2}=\dfrac{1}{2a}\ln\left|\dfrac{a+t}{a-t}\right|+C$ с $a=2$:

Ответ: $\dfrac14\ln\left|\dfrac{2+\operatorname{tg}(x/2)}{2-\operatorname{tg}(x/2)}\right|+C$.

Пример 3 (сложный). Вычислить $\int \dfrac{dx}{2+\sin x}$.

Знаменатель не раскладывается на действительные линейные множители — дополняем до полного квадрата: $t^2+t+1=\left(t+\dfrac12\right)^2+\dfrac34$.

Ответ: $\dfrac{2}{\sqrt3}\operatorname{arctg}\dfrac{2\operatorname{tg}(x/2)+1}{\sqrt3}+C$. Обрати внимание: результат мог оказаться логарифмом (как в примере 2), простой функцией $t$ (как в примере 1) или арктангенсом (как здесь) — заранее по внешнему виду исходного интеграла это не всегда очевидно, но сама подстановка гарантированно доведёт тебя до ответа в любом из этих трёх случаев, потому что все они — стандартные табличные результаты для рациональных дробей.

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

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

Есть и менее очевидная связь с инженерной практикой: похожая по духу дробно-линейная замена используется в цифровой обработке сигналов при переходе от аналоговых фильтров к цифровым — так называемое билинейное преобразование сопоставляет комплексной переменной аналогового фильтра рационально-дробное выражение через новую переменную, очень похожим образом отображая одну кривую (мнимую ось) на другую (единичную окружность). Идея «заменить трансцендентный объект на рациональную функцию новой переменной, сохранив при этом всю нужную структуру» — это общематематический приём, который встречается далеко за пределами интегрального исчисления.

Нечётная степень: более быстрый путь для $\int \sin^m x\cos^n x\,dx$

Интуиция: жертвуем одним множителем ради замены

Представь, что тебе нужно вычислить $\int \sin^2x\cos^3x\,dx$. Формально это тоже интеграл вида $R(\sin x,\cos x)$, и универсальная подстановка к нему применима — но давай разберёмся, что подсказывает структура этого конкретного выражения. Степень косинуса нечётна, а значит, один множитель $\cos x$ можно «отложить в сторону» вместе с $dx$, а оставшуюся чётную степень $\cos^2x$ выразить через $\sin x$ по основному тригонометрическому тождеству.

Это похоже на то, как ты меняешь деньги перед поездкой: если тебе нужно оплатить всё в одной валюте, а на руках смешанная сумма, разумно сначала отложить ровно одну купюру нужного номинала на комиссию обмена (это и есть тот единственный множитель $\cos x\,dx$, который «уходит» в дифференциал), а всё оставшееся — уже чётную, «парную» степень — целиком конвертировать в валюту синуса через тождество $\cos^2x=1-\sin^2x$. После такой операции всё выражение внезапно становится многочленом от одной переменной.

Приём для нечётной степени. Если в интеграле $\int \sin^mx\cos^nx\,dx$ степень $n$ (при косинусе) нечётна, выдели один множитель $\cos x\,dx$ как будущий дифференциал, а оставшуюся чётную степень $\cos^{n-1}x=(\cos^2x)^{(n-1)/2}$ вырази через $\sin x$ по формуле $\cos^2x=1-\sin^2x$; затем сделай замену $u=\sin x$. Симметрично: если нечётна степень $m$ (при синусе), выделяй $\sin x\,dx$, выражай $\sin^{m-1}x$ через $\cos x$ и делай замену $u=\cos x$.

Разбор примеров

Пример 1 (лёгкий). Вычислить $\int \sin^3x\,dx$.

Степень синуса нечётна (при этом с косинусом здесь степень $0$, чётная). Выделяем один $\sin x\,dx$:

Замена $u=\cos x$, $du=-\sin x\,dx$:

Ответ: $-\cos x+\dfrac{\cos^3x}{3}+C$.

Пример 2 (средний). Вычислить $\int \sin^2x\cos^3x\,dx$.

Степень косинуса нечётна. Выделяем один $\cos x\,dx$, а оставшийся $\cos^2x$ переводим в $\sin x$:

Замена $u=\sin x$, $du=\cos x\,dx$:

Ответ: $\dfrac{\sin^3x}{3}-\dfrac{\sin^5x}{5}+C$.

Пример 3 (сложный). Вычислить $\int \sin^5x\cos^2x\,dx$.

Степень синуса нечётна — выделяем один $\sin x\,dx$, а $\sin^4x=(1-\cos^2x)^2$ переводим в косинус:

Замена $u=\cos x$, $du=-\sin x\,dx$, откуда $\sin x\,dx=-du$:

Ответ: $-\dfrac{\cos^3x}{3}+\dfrac{2\cos^5x}{5}-\dfrac{\cos^7x}{7}+C$. Обрати внимание, что даже при высоких степенях приём остаётся тем же самым: один множитель уходит на дифференциал, а вся оставшаяся чётная степень раскрывается по формуле квадрата суммы или разности.

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

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

Обе степени чётные: формулы понижения степени

Интуиция: меняем амплитуду на частоту

А что делать, если в $\int \sin^mx\cos^nx\,dx$ обе степени чётные — скажем, $\int \sin^2x\,dx$ или $\int \cos^4x\,dx$? Здесь трюк с «жертвой одного множителя» не работает: нет нечётного остатка, который можно было бы аккуратно отложить в дифференциал, — если попробовать выделить один $\sin x$, оставшаяся степень окажется нечётной, а не чётной, и тождество $\sin^2x=1-\cos^2x$ не поможет её убрать.

Давай разберёмся, что предлагает сделать в этой ситуации формула двойного угла. Идея в том, чтобы «обменять» высокую степень одной и той же частоты на первую степень удвоенной частоты — это как в фотографии обменять высокое разрешение изображения на бóльшую область охвата: вместо того чтобы работать с квадратом $\sin^2x$ на «медленной» частоте $x$, мы переходим к линейному по амплитуде выражению $\cos 2x$ на вдвое более «быстрой» частоте. Применяя эту замену несколько раз подряд, можно понизить любую чётную степень до суммы косинусов кратных углов, каждый из которых интегрируется по таблице за одну строчку.

Формулы понижения степени.

$$\sin^2x=\frac{1-\cos2x}{2}, \qquad \cos^2x=\frac{1+\cos2x}{2}$$

Для степеней выше второй формулы применяются последовательно: сначала понижается исходная чётная степень, а затем, если внутри появляется $\cos^22x$ или $\sin^22x$, к ним снова применяется та же самая формула, но уже для угла $2x$.

Разбор примеров

Пример 1 (лёгкий). Вычислить $\int \sin^2x\,dx$.

Ответ: $\dfrac{x}{2}-\dfrac{\sin2x}{4}+C$.

Пример 2 (средний). Вычислить $\int \cos^4x\,dx$.

Понижаем степень один раз:

Внутри появился $\cos^22x$ — понижаем ещё раз, теперь уже для угла $2x$: $\cos^22x=\dfrac{1+\cos4x}{2}$.

Ответ: $\dfrac{3x}{8}+\dfrac{\sin2x}{4}+\dfrac{\sin4x}{32}+C$.

Пример 3 (сложный). Вычислить $\int \sin^4x\cos^2x\,dx$.

Обе степени чётные. Сгруппируем $\sin^2x\cos^2x$ через формулу синуса двойного угла: $\sin^2x\cos^2x=\dfrac{\sin^22x}{4}$, а оставшийся множитель $\sin^2x$ понизим отдельно:

(здесь $\sin^22x=\dfrac{1-\cos4x}{2}$, значит $\dfrac{\sin^22x}{4}=\dfrac{1-\cos4x}{8}$). Раскрываем произведение:

Последнее слагаемое переводим в сумму по формуле произведения косинусов (её полный вывод — в следующем разделе урока): $\cos2x\cos4x=\dfrac{\cos2x+\cos6x}{2}$. Подставляем и приводим подобные:

Ответ: $\dfrac{x}{16}-\dfrac{\sin2x}{64}-\dfrac{\sin4x}{64}+\dfrac{\sin6x}{192}+C$.

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

То, что ты только что делал руками, — это не что иное, как вычисление конечного ряда Фурье функции $\sin^mx\cos^nx$: любая целая неотрицательная степень синуса и косинуса раскладывается в конечную сумму гармоник $\cos(kx)$ или $\sin(kx)$ с частотами кратными исходной. Тот факт, что $\sin^4x\cos^2x$ раскладывается ровно в сумму гармоник нулевой, второй, четвёртой и шестой частоты — это частный случай общей теории: степени тригонометрических функций и многочлены Чебышёва связаны именно этим механизмом понижения степени, только «в другую сторону» — там наоборот, $\cos(nx)$ выражается через степени $\cos x$. Понимание этой связи очень пригодится, когда ты будешь изучать спектральное представление сигналов: мощность гармонического сигнала, возведённого в степень (например, при анализе нелинейных искажений или интермодуляции в аудиотехнике), раскладывается по частотам ровно этим способом.

Произведение $\sin(mx)\cos(nx)$: формулы преобразования в сумму

Интуиция: смешение двух частот

Теперь разберём последний тип интегралов — произведения тригонометрических функций разных аргументов, вроде $\int \sin(2x)\cos(3x)\,dx$. Здесь ни приём с нечётной степенью, ни понижение степени не применяются напрямую, потому что аргументы $2x$ и $3x$ — это разные «частоты», а не степени одной и той же функции.

Представь два радиосигнала разной частоты, которые физически смешиваются в одном приёмном устройстве (это ровно то, что происходит в смесителе супергетеродинного радиоприёмника): на выходе смесителя всегда появляются ровно две новые частоты — сумма и разность исходных. Формулы преобразования произведения тригонометрических функций в сумму — это точная алгебраическая запись этого физического явления: произведение колебаний с частотами $m$ и $n$ распадается на сумму двух колебаний с частотами $m+n$ и $m-n$, каждое из которых уже само по себе — обычная табличная функция.

Формулы преобразования произведения в сумму.

$$\sin\alpha\cos\beta=\frac12\bigl[\sin(\alpha+\beta)+\sin(\alpha-\beta)\bigr]$$

$$\cos\alpha\cos\beta=\frac12\bigl[\cos(\alpha-\beta)+\cos(\alpha+\beta)\bigr]$$

$$\sin\alpha\sin\beta=\frac12\bigl[\cos(\alpha-\beta)-\cos(\alpha+\beta)\bigr]$$

После такого преобразования интеграл превращается в сумму двух табличных интегралов вида $\int\cos(kx)\,dx$ или $\int\sin(kx)\,dx$.

Разбор примеров

Пример 1 (лёгкий). Вычислить $\int \sin(2x)\cos(3x)\,dx$.

По первой формуле с $\alpha=2x$, $\beta=3x$:

Ответ: $-\dfrac{\cos5x}{10}+\dfrac{\cos x}{2}+C$.

Пример 2 (средний). Вычислить $\int \sin(5x)\sin x\,dx$.

По третьей формуле с $\alpha=5x$, $\beta=x$:

Ответ: $\dfrac{\sin4x}{8}-\dfrac{\sin6x}{12}+C$.

Пример 3 (сложный). Вычислить $\int \sin x\cos2x\cos3x\,dx$.

Здесь сразу три множителя с разными аргументами. Сначала переведём в сумму пару $\cos2x\cos3x$ по второй формуле:

Теперь исходный интеграл превратился в сумму двух интегралов «синус на косинус» — тех же, что и в примере 1:

Первый интеграл: $\sin x\cos x=\dfrac{\sin2x}{2}$, значит $\dfrac12\int\dfrac{\sin2x}{2}\,dx = -\dfrac{\cos2x}{8}$.

Второй: по первой формуле, $\sin x\cos5x = \dfrac12(\sin6x+\sin(-4x)) = \dfrac{\sin6x-\sin4x}{2}$, значит

Складываем оба результата:

Ответ: $-\dfrac{\cos2x}{8}+\dfrac{\cos4x}{16}-\dfrac{\cos6x}{24}+C$.

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

Формулы произведения в сумму — это не просто вычислительный трюк, а прямой алгебраический источник ортогональности тригонометрической системы, на которой держится весь аппарат рядов Фурье. Если взять интеграл $\int_{-\pi}^{\pi}\cos(nx)\cos(mx)\,dx$ по целому периоду для различных целых $n\neq m$, то после преобразования произведения в сумму он превращается в сумму интегралов вида $\int_{-\pi}^{\pi}\cos(kx)\,dx$ с целым $k\neq0$ — а такой интеграл по полному периоду равен нулю, потому что косинус целого числа полных колебаний одинаково «отрабатывает» и в плюс, и в минус. Из этого одного факта и вырастает вся идея разложения произвольного периодического сигнала в сумму независимых гармоник: коэффициент при каждой гармонике находится ровно тем интегрированием произведения, которое ты только что тренировал, а нулевое «перекрёстное» произведение разных гармоник гарантирует, что их вклады не путаются друг с другом. Ровно на этом факте строится MP3-сжатие, работа эквалайзера, спектральный анализ вибраций, а также предобработка сигналов и временных рядов перед подачей в модель — вплоть до архитектур, которые явно оперируют частотным представлением последовательности вместо временного.

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

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

Задание 1: Вычислить $\int \dfrac{dx}{1-\cos x}$.

Задание 2: Вычислить $\int \sin x\cos x\,dx$.

Задание 3: Вычислить $\int \sin^3x\,dx$.

Задание 4: Вычислить $\int \cos^3x\,dx$.

Задание 5: Вычислить $\int \sin^2x\,dx$.

Задание 6: Вычислить $\int \cos^2x\,dx$.

Задание 7: Вычислить $\int \sin(4x)\cos x\,dx$.

Задание 8: Вычислить $\int \operatorname{tg}^2x\,dx$.

Задание 9: Вычислить $\int \dfrac{dx}{\sin x\cos x}$.

Задание 10: Вычислить $\int \sin(3x)\cos(3x)\,dx$.

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

Задание 11: Вычислить $\int \sin^3x\cos^2x\,dx$.

Задание 12: Вычислить $\int \sin^4x\,dx$.

Задание 13: Вычислить $\int \dfrac{dx}{3+5\cos x}$.

Задание 14: Вычислить $\int \cos(2x)\cos(4x)\,dx$.

Задание 15: Вычислить $\int \sin(5x)\sin x\,dx$.

Задание 16: Вычислить $\int \dfrac{dx}{1+\sin x}$.

Задание 17: Вычислить $\int \operatorname{tg}^3x\,dx$.

Задание 18 (машинное обучение): При разложении сигнала в ряд Фурье встречается интеграл $\int \cos x\cos(3x)\,dx$. Вычислить его.

Задание 19: Вычислить $\int \sin^2(2x)\,dx$.

Задание 20 (машинное обучение): Средняя мощность гармонического сигнала $A\sin(\omega t)$ вычисляется через интеграл от квадрата сигнала. Найти первообразную $\int \sin^2(\omega t)\,dt$ (частота $\omega$ — параметр).

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

Задание 21: Вычислить $\int \sin^5x\,dx$.

Задание 22: Вычислить $\int \cos^6x\,dx$.

Задание 23: Вычислить $\int \dfrac{dx}{\sin x(1+\cos x)}$.

Задание 24 (машинное обучение): При модуляции сигналов возникает произведение двух высокочастотных гармоник. Вычислить $\int \sin(100x)\cos(101x)\,dx$.

Задание 25: Вычислить $\int \sin^3x\cos^4x\,dx$.

Задание 26: Вычислить $\int \sin^2x\cos^4x\,dx$.

Задание 27: Вычислить $\int \dfrac{dx}{4\sin x+3\cos x+5}$.

Задание 28 (машинное обучение): Вывести общую формулу $\int \cos(nx)\cos(mx)\,dx$ для целых $n\neq m$ — именно такой интеграл лежит в основе вычисления коэффициентов ряда Фурье.

Задание 29: Вычислить $\int \sin x\cos(2x)\cos(3x)\,dx$.

Задание 30 (машинное обучение): Вычислить $\int \dfrac{dx}{\sin^4x+\cos^4x}$ — такой знаменатель возникает при анализе спектральной плотности мощности сигнала, прошедшего через квадратичную нелинейность.

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

• Применять универсальную подстановку там, где есть путь короче. Это самая частая и самая затратная по времени ошибка. Если степень одной из функций в $\sin^mx\cos^nx$ нечётна или обе степени чётные, или перед тобой произведение функций разных аргументов — всегда есть более быстрый специализированный приём. Универсальная подстановка технически даст верный ответ и в этих случаях, но через несравнимо более длинные выкладки; прежде чем её применять, всегда задай себе вопрос из раздела «Лайфхаки» ниже.

• Забыть про область определения подстановки $t=\operatorname{tg}(x/2)$. Она не определена в точках $x=\pi+2\pi k$, поэтому результат, полученный универсальной подстановкой, формально нужно понимать на каждом промежутке между такими точками отдельно, даже если сама первообразная выглядит гладкой.

• Перепутать формулы половинного угла с формулами двойного угла. $\sin x=\dfrac{2t}{1+t^2}$ и $\cos x=\dfrac{1-t^2}{1+t^2}$ — это выражения синуса и косинуса полного угла $x$ через тангенс половинного угла $x/2$; их легко спутать с обычными формулами двойного угла $\sin2x=2\sin x\cos x$, которые описывают совсем другую пару углов.

• При выделении множителя для нечётной степени не довести до конца перевод оставшейся части в нужную переменную. Например, в $\int\sin^2x\cos^3x\,dx$ ошибка — оставить $\cos^2x$ как есть вместо того, чтобы полностью заменить его на $1-\sin^2x$; после замены $u=\sin x$ в подынтегральном выражении не должно остаться ни одного $\cos x$, кроме того единственного, что ушёл в дифференциал.

• При понижении степени остановиться слишком рано. В интегралах вида $\int\cos^4x\,dx$ или выше после первого применения формулы понижения внутри почти всегда появляется новый квадрат вроде $\cos^22x$, который тоже нужно понизить ещё раз — если этого не сделать, в ответе останется непроинтегрированный квадрат тригонометрической функции.

• Перепутать знак в формулах преобразования произведения в сумму. Особенно легко перепутать местами формулы для $\sin\alpha\sin\beta$ (там перед вторым косинусом стоит минус) и $\cos\alpha\cos\beta$ (там везде плюс) — стоит либо запомнить обе формулы очень точно, либо каждый раз быстро выводить нужную из формул суммы и разности углов.

• Не заметить более общую симметрию интеграла. Приём с нечётной степенью — это частный случай более широкого наблюдения: если интеграл меняет знак при замене $\sin x\to-\sin x$ (то есть нечётен по синусу), нужную подстановку $u=\cos x$ стоит попробовать даже тогда, когда выражение не выглядит как чистая степень — например, для $\int \dfrac{\sin x}{2+\cos x}\,dx$ никакая степень явно не выделена, но замена $u=\cos x$ всё равно работает мгновенно.

• Не проверить итоговый ответ дифференцированием, особенно после длинной цепочки понижений степени, где легко потерять множитель $\frac12$ на одном из промежуточных шагов.

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

• Универсальная тригонометрическая подстановка $t=\operatorname{tg}(x/2)$ сводит любой интеграл вида $\int R(\sin x,\cos x)\,dx$ к интегралу от рациональной дроби через формулы $\sin x=\dfrac{2t}{1+t^2}$, $\cos x=\dfrac{1-t^2}{1+t^2}$, $dx=\dfrac{2\,dt}{1+t^2}$.

• Эта подстановка — гарантированный, но обычно не самый быстрый путь; прежде чем её применять, проверь, не подходит ли один из трёх более быстрых специализированных приёмов.

• Если в $\int\sin^mx\cos^nx\,dx$ одна из степеней нечётна, выдели один множитель в дифференциал, а оставшуюся чётную степень переведи в другую функцию по основному тригонометрическому тождеству — и сделай замену.

• Если обе степени в $\int\sin^mx\cos^nx\,dx$ чётные, применяй формулы понижения степени $\sin^2x=\dfrac{1-\cos2x}{2}$ и $\cos^2x=\dfrac{1+\cos2x}{2}$, при необходимости — несколько раз подряд.

• Произведения вида $\sin(mx)\cos(nx)$, $\cos(mx)\cos(nx)$ и $\sin(mx)\sin(nx)$ с разными аргументами всегда переводятся в сумму двух табличных интегралов по формулам произведения в сумму.

• Формулы произведения в сумму — не только вычислительный приём: они алгебраически объясняют ортогональность гармоник ряда Фурье, на которой строится вся теория спектрального разложения сигналов.

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

• Подстановка $t=\operatorname{tg}(x/2)$ не определена в точках $x=\pi+2\pi k$ — на таких точках нужно быть внимательным к корректности итогового ответа.

• Симметрия подынтегрального выражения относительно замены знака синуса или косинуса — более общий признак, чем формальная нечётность степени, и подсказывает нужную замену даже в нестандартных случаях.

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

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

Этот урок напрямую опирается на прошлый: универсальная подстановка не решает интеграл сама по себе, а лишь сводит его к интегралу от рациональной дроби — и для завершения решения тебе понадобится ровно тот аппарат разложения на простейшие дроби, который ты освоил в уроке 199. Точно так же примеры 23 и 30 из практики этого урока показывают, что методы двух последних уроков не существуют в изоляции: реальный интеграл часто требует сначала распознать тригонометрическую структуру, а затем — рациональную, и наоборот.

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

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

• Подстановку $t=\operatorname{tg}(x/2)$ называют именем Вейерштрасса по той же исторической причине, по которой правило Лопиталя носит не то имя: сам приём был известен ещё Эйлеру в середине XVIII века, но Вейерштрасс включил его как стандартный метод в свои систематические лекции по анализу во второй половине XIX века, и именно оттуда название закрепилось в учебной традиции.

• Геометрически $t=\operatorname{tg}(x/2)$ — это координата точки пересечения прямой, проходящей через фиксированную точку $(-1,0)$ единичной окружности под углом наклона $t$, со второй точкой окружности $(\cos x,\sin x)$. Та же самая конструкция — рациональная параметризация окружности через прямую из одной её точки — лежит в основе классического способа получить общую формулу для всех пифагоровых троек целых чисел.

• В цифровой обработке сигналов при переходе от аналоговых фильтров к цифровым используется билинейное преобразование — дробно-линейная замена переменной, отображающая одну кривую комплексной плоскости на другую. По математическому духу это очень похоже на подстановку Вейерштрасса: обе идеи сводятся к тому, чтобы заменить трансцендентный объект (угол, частоту) на рациональную функцию новой переменной, сохранив при этом всю нужную алгебраическую структуру.

• Формулы понижения степени, которые превращают $\sin^nx$ и $\cos^nx$ в конечную сумму гармоник $\cos(kx)$, — это частный случай связи между степенями тригонометрических функций и многочленами Чебышёва: если понижение степени выражает $\cos^nx$ через $\cos(kx)$ при разных $k$, то обратная задача (выразить $\cos(nx)$ через степени $\cos x$) как раз и решается многочленами Чебышёва, которые активно используются в численных методах и в теории приближения функций.

• До появления быстрого преобразования Фурье (алгоритма Кули — Тьюки, опубликованного в 1965 году) коэффициенты ряда Фурье для сложных сигналов приходилось вычислять буквально теми интегралами, которые ты брал в практике этого урока, — вручную или на первых вычислительных машинах. Именно открытие быстрого алгоритма, а не открытие самой теории Фурье, сделало спектральный анализ по-настоящему массовым инструментом в инженерии и, десятилетия спустя, в машинном обучении.

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

• Перед тем как хвататься за универсальную подстановку, задай себе три вопроса по порядку: нечётна ли степень одной из функций? Обе степени чётные? Это произведение функций разных аргументов? Если ответ «да» хотя бы на один вопрос — используй соответствующий быстрый приём, а универсальную подстановку оставляй на случай, когда ни один из трёх вариантов не подходит.

• Правило для нечётной степени легко запомнить одной фразой: «нечётный множитель приносится в жертву дифференциалу, а всё оставшееся выражается через партнёра». Тот, кого приносишь в жертву (переводишь в $du$), и тот, через кого всё выражаешь ($u$), — это всегда разные функции.

• По виду знаменателя после универсальной подстановки можно заранее угадать тип ответа и проверить себя: линейный по $t$ знаменатель почти всегда даёт простую функцию $t$ (как $-1/t$), знаменатель, раскладывающийся на два различных линейных множителя — логарифм отношения, а знаменатель с отрицательным дискриминантом после выделения полного квадрата — арктангенс.

• Держи под рукой все три формулы преобразования произведения в сумму на одной карточке и запоминай их не порознь, а как одну закономерность: во всех трёх формулах фигурируют $\cos(\alpha-\beta)$ и один из $\cos(\alpha+\beta)$ или $\sin(\alpha+\beta)$, и только знак перед вторым слагаемым (и то, синус это или косинус) меняется от формулы к формуле.

• Всегда проверяй финальный ответ дифференцированием, особенно после цепочек из двух-трёх понижений степени, — на этом этапе легко потерять множитель $\dfrac12$ или забыть один из промежуточных косинусов кратного угла.

• Если видишь интеграл, где присутствует и сумма аргументов, и высокая степень одновременно (как в задании 30), не пытайся сразу применять универсальную подстановку к исходному выражению — сначала попробуй упростить знаменатель или числитель формулами понижения степени, а универсальную подстановку примени уже к упрощённому результату: комбинация методов почти всегда короче лобовой атаки одним инструментом.

Освоив сегодняшний урок, ты закрыл практически весь класс интегралов от тригонометрических функций — от простейших табличных до тех, что на первый взгляд не поддаются никакому стандартному приёму. Универсальная подстановка даёт тебе гарантию, что решение существует и достижимо, а три специализированных приёма учат главному профессиональному навыку — видеть структуру задачи прежде, чем хвататься за самый общий инструмент. Попробуй теперь вернуться к интегралу $\int\dfrac{dx}{3+5\cos x}$, с которого начинался урок, и решить его самостоятельно, не подглядывая в разбор, — а заодно прикинь, каким из четырёх изученных сегодня путей ты бы взял интеграл $\int\sin^3x\cos^5x\,dx$, прежде чем открывать решение.