Интеграл от рациональной функции cos x и sin x
Рассматривается интеграл где — рациональная функция от , ( и — многочлены от , ).
Случай 1. Один из , чётный по , другой нечётный — подстановка
НУО - нечётный, а - нечётный. можно представить в виде где , а . Подстановка приводит интеграл к виду \int R(\cos x, \sin x) dx =\int \frac{M(t, 1 - t^2)}{N(t, 1 - t^2)} d(-\cos x)=$$$$ = -\int \frac{M(t, 1 - t^2)}{N(t, 1 - t^2)} dt = \int R(t) dt, где — рациональная функция от .
Случай 2. Один из , чётный по , другой нечётный — подстановка
Если один из многочленов , чётный по , а другой нечётный по , то подстановка рационализирует интеграл.
Доказывается аналогично случаю 1.
Случай 3. чётно и по , и по — подстановка
Если и оба не меняются при замене на или оба меняют знак, то интеграл рационализируется подстановкой (или ). При : Интеграл принимает вид где — рациональная функция от .
Универсальная подстановка
Для любой рациональной функции подстановка
рационализирует интеграл. При этом:
Случаи 1–3 предпочтительнее использовать там, где они применимы: подстановки в них проще, а возникающие рациональные функции в итоге ниже степенью.
Тригонометрические полиномы
Определение и интегрирование
Функция называется тригонометрическим полиномом порядка . Её интегрирование элементарно: Вспомогательные формулы произведений на случай интегрирования произведения косинусов и синусов с разными углами: ).