3. Интегралы вида
В этом пункте мы рассмотрим общий метод нахождения интегралов вида
где — рациональное выражение относительно . Такими интегралами, например, являются интегралы
Наоборот, интеграл не является интегралом указанного вида, так как под интегралом стоит функция, не рациональная относительно .
Покажем, что всякий интеграл вида можно свести к интегралу от рациональной функции. Для этого вместо введем новую переменную z, связанную с переменной z соотношением
Тогда выразятся рационально через . В самом деле, применяя формулы, известные из тригонометрии, имеем
Аналогично
Наконец, учитывая, что найдем . Итак, если положить то
(22)
Формулы (22) показывают, что рационально выражаются через z. Подставляя выражения через , получим
Последний интеграл является интегралом от рациональной функции переменной и может быть вычислен методами, рассмотренными в § 3.
Пример 1. Найти
Решение. Полагая и применяя формулы (22), имеем
Пример 2. Найти
Решение. Полагая находим
Итак,
Эти формулы рекомендуется запомнить.
Хотя подстановкой интеграл всегда приводится к интегралу от рациональной функции, но очень часто это ведет к слишком громоздким вычислениям. Поэтому во многих случаях целесообразнее пользоваться другими методами нахождения этого интеграла. Так, например, если где — целые числа, то удобнее пользоваться методами, изложенными в п. 1.
Укажем еще на один частный случай функции , при котором применением другой подстановки значительно сокращают вычисления.
Рассмотрим интеграл от функции, рационально зависящей только от
Этот интеграл можно взять заменой переменной В самом деле, так как то
Подынтегральное выражение в последнем интеграле является рациональной функцией от .
Пример 3. Найти
Решение. Сделаем замену переменной, положив Тогда Следовательно,
Пример
Замечание. Такой же подстановкой берутся интегралы если входят только в четных степенях. Это следует из того, что выражаются рационально через