Интегрирование рациональных дробей

Рациональной дробью называется функция вида , где – многочлены. Если , то рациональную дробь называют правильной. В противном случае ее называют неправильной.

Следующие рациональные дроби называют простейшими

(1 тип) ,

(2 тип)

(3 тип)

(4 тип) ,

Теорема 1.Любую дробь можно разложить в сумму многочлена и правильной рациональной дроби.

Доказательство. Пусть – неправильная рациональная дробь. Поделим числитель на знаменатель с остатком: Здесь -- многочлены, причем Тогда

Дробь правильная в силу неравенства . □

Теорема 2. Любую правильную рациональную дробь можно разложить в сумму простейших.

Алгоритм разложения.

а) Знаменатель правильной дроби раскладываем в произведение неприводимых многочленов (линейных и квадратичных с отрицательным дискриминантом):

Здесь и -- кратности соответствующих корней.

б) Раскладываем дробь в сумму простейших с неопределенными коэффициентами по следующим принципам:

ü множителю соответствует k простейших дробей первого и второго типов с неопределенными коэффициентами в числителе:

ü множителю соответствует m простейших дробей третьего и четвертого типов:

Так мы поступаем для каждого линейного множителя и для каждого квадратичного множителя.

в) Получившееся разложение умножаем на общий знаменатель , и неопределенные коэффициенты отыскиваем из условия тождественности левой и правой части. Действуем комбинацией двух методов

ü в получившееся равенство подставляем вместо корни знаменателя как действительные так и комплексные;

ü в получившемся равенстве приравниваем коэффициенты при одинаковых степенях

??? – обоснование алгоритма

Примеры. А. Разложим в сумму простейших

Отсюда следует, что . Подставляя в это соотношение находим сразу . Итак

Б. Разложим рациональную дробь в сумму простейших. Разложение этой дроби с неопределенными коэффициентами имеет вид

Умножая на общий знаменатель, получаем соотношение

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

Отсюда и . Складывая равенства последней системы, получаем и . Тогда и

Следовательно,

/**/ Задача. Обобщить результат примера А и доказать равенство