Неформальное описание
Известно, что многочлен n-й степени в общем случае имеет n комплексно-сопряжённых корней (некоторые корни могут совпадать). Например, многочлен x2 − 6x + 8 имеет два корня; многочлен x3 − 6x2 + 8x + 7 имеет три корня и т. д.
Соответственно, любой многочлен может быть разложен по формуле
где
,
…
— корни многочлена.
Например, многочлен x2 − 6x + 8 можно разложить следующим образом:
x2 − 6x + 8 = (x - 2)(x - 4)
где 2 и 4 — корни квадратного уравнения
x2 − 6x + 8=0
Следовательно, дробь, знаменателем которой является многочлен, может быть разложена следующим образом:
Эта операция разложения дроби в некотором смысле обратна операции приведения дробей общему знаменателю, с той разницей, что здесь ставится обратная задача - не привести дроби к общему знаменателю, а разложить дробь, имеющую общий знаменатель, на несколько дробей, имеющих разные знаменатели.
В качестве примера, разложим дробь
Согласно написанному выше, разложение этой дроби таково
Начнём приводить две дроби, расположенные в правой части равенства, к общему знаменателю, и очевидно, что числитель получившейся дроби будет равен числителю исходной дроби
то есть, числитель получившейся дроби будет равен единице.
Имеем
Записывая две дроби справа под одну дробную черту, получим
или раскрыв скобки в знаменателе, получим
Учитывая, что знаменатели одинаковы, то числители дробей справа и слева можно приравнять; тогда получим
Раскроем скобки в правой части равенства и сгруппируем слагаемые:
В левой части множитель при переменной х равен нулю (переменная х отсутствует), а свободный член равен 1. В правой части равенства множитель при х равен (А+В), а свободный член равен (-4A - 2B). Приравнивая множители при х в правой и левой части получаем уравнение:
Аналогично приравниваем свободные члены, и получаем второе уравнение
Объединяем эти два уравнения в систему:
Решая эту систему, находим
Итак, имеем разложение
Тогда, интеграл от дроби
будет равен сумме интегралов от двух дробей
Учитывая, что под знаком дифференциала к переменной можно прибавить любую постоянную, запишем
Сделаем две замены
(x-2)=z
(x-4)=y
Тогда интеграл примет вид
Эти два интеграла не составит труда найти по таблицам интегралов. Тогда окончательно получаем:
или
В знаменателе многочлен второй степени, не имеющий действительных корней
Рассмотрим интеграл
Самый простой путь увидеть, что знаменатель x2 − 8x + 25 не имеет действительных корней, состоит в том, чтобы вычислить его дискриминант, и увидеть, что этот дискриминант отрицательный. По-другому, можно выделить полный квадрат в знаменателе:
и можно увидеть, что знаменатель представляет собой сумму квадратов двух чисел, и эта сумма никогда не может быть равна 0 или меньше 0, если x — действительное число.
Используя подстановку
нам нужно выделить выражение x − 4 в числителе. Тогда мы сможем записать числитель x + 6 в виде суммы (x − 4) + 10, и тогда интеграл будет записан в виде
Выше приведённая подстановка позволяет взять первый из этих двух интегралов:
Заметим, что причина, по которой мы можем опустить модульные скобки, состоит в том, что, как мы заметили ранее, выражение (x − 4)2 + 9 не может иметь отрицательных значений.
Далее следует взять интеграл
В первую очередь, выделим полный квадрат в знаменателе, после чего проведём несложные алгебраические преобразования:
Теперь используем следующую подстановку
что позволяет найти
Складывая оба найденных выражения, запишем окончательный результат интегрирования
Использование комплексного разложения
В ряде случаев, при определённом навыке, удобнее использовать комплексное разложение многочлена. Так, в вышеприведённом примере:
Разлагаем знаменатель на два комплексных множителя:
После чего ищем разложение подынтегрального выражения на два слагаемых:
Решив несложную систему линейных уравнений, получаем:
После очевидного интегрирования имеем:
Сгруппируем отдельно действительные и мнимые слагаемые:
Как известно, арктангенс комплексного переменного выражается через логарифм:
Это даёт нам возможность переписать второе слагаемое через арктангенс:
В знаменателе многочлен второй степени, возведённый в целую положительную степень
Рассмотрим интеграл
Так же, как это делалось выше, можно представить числитель x + 6 в виде суммы (x − 4) + 10, и взять ту часть, которая содержит выражение x − 4, с помощью подстановки
Нам остаётся лишь найти интеграл
Как это делалось выше, сначала выделим полный квадрат, после чего произведём несложные математические преобразования
После этого можно использовать подстановку:
После чего интеграл принимает вид
Несколько раз используя формулу
можно упрощать этот интеграл до тех пор, пока подынтегральное выражение не будет содержать cos θ в степени, большей чем 1.
Далее следует выразить sin(θ) и cos(θ) как функции от x. Примем, что
и что тангенс = (противолежащая сторона)/(прилежащая сторона). Если «противолежащая» сторона имеет длину x − 4 и «прилежащая» сторона имеет длину 3, то согласно теореме Пифагора гипотенуза имеет длину √((x − 4)2 + 32) = √(x2 −8x + 25).
Имеем
и