В інтегруванні, розкладання дробів дозволяє інтегрувати раціональні функції. Будь-яка раціональна функція можебути представлена у вигляді суми деякого многочлена і деякого числа дробових функцій. Кожен дріб має знаменник у вигляді многочлена першого і другого степеня, до того ж многочлен в знаменнику, в свою чергу, також може бути зведеним в деякий додатній цілий степінь. (У випадку комплексної змінної, знаменники є многочленами першого степеня, і ці многочлени можуть бути возведені до цілого додатнього степеня). Якщо знаменник є многочленом першого степеня, зведеним в деякий цілий додатній степінь, то чисельник дроба є постійним числом. Если знаменатель является многочленом второй степени (или некоторой целой положительной степенью такого многочлена), то числитель является многочленом первой степени.
Решение Исаака Барроу для интеграла от секанса было первым случаем использования разложения дробей в интегрировании.[1].
Известно, что многочлен 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). Приравнивая множители при х в правой и левой части получаем уравнение:
Аналогично приравниваем свободные члены, и получаем второе уравнение
Объединяем эти два уравнения в систему:
![{\displaystyle \left\{{\begin{matrix}A+B=0\\-4A-2B=1\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02c24555d56e404634888a200dd774aa5677b09e)
Решая эту систему, находим
Итак, имеем разложение
Тогда, интеграл от дроби
будет равен сумме интегралов от двух дробей
Учитывая, что под знаком дифференциала к переменной можно прибавить любую постоянную, запишем
Сделаем две замены
(x-2)=z
(x-4)=y
Тогда интеграл примет вид
Эти два интеграла не составит труда найти по таблицам интегралов. Тогда окончательно получаем:
или
Подстановка u = ax + b, du = a dx позволяет упростить интеграл
![{\displaystyle \int {1 \over ax+b}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2ac0f44b926289a29fc5632e8b6c14df07b0be9)
до
![{\displaystyle \int {1 \over u}\,{du \over a}={1 \over a}\int {du \over u}={1 \over a}\ln \left|u\right|+C={1 \over a}\ln \left|ax+b\right|+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e481e36de42de4845dfc08d34fd86dbb81d7f5a5)
Многочлен первой степени в знаменателе, возведённый в некоторую целую положительную степень
[ред. | ред. код]
Та же самая подстановка упрощает интеграл, подобный следующему
![{\displaystyle \int {1 \over (ax+b)^{8}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e27f9516de7663fbfc0773fbb3289bcef98a747)
до
![{\displaystyle \int {1 \over u^{8}}\,{du \over a}={1 \over a}\int u^{-8}\,du={1 \over a}\cdot {u^{-7} \over (-7)}+C={-1 \over 7au^{7}}+C={-1 \over 7a(ax+b)^{7}}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44471778bfaf3571aec889e5cb1b26b69c38e354)
В знаменателе многочлен второй степени, не имеющий действительных корней
[ред. | ред. код]
Рассмотрим интеграл
![{\displaystyle \int {x+6 \over x^{2}-8x+25}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/219aa2b1cd73698571fa1265f48666f49ded5932)
Самый простой путь увидеть, что знаменатель x2 − 8x + 25 не имеет действительных корней, состоит в том, чтобы вычислить его дискриминант, и увидеть, что этот дискриминант отрицательный. По-другому, можно выделить полный квадрат в знаменателе:
![{\displaystyle x^{2}-8x+25=(x^{2}-8x+16)+9=(x-4)^{2}+9\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29bb2bdc1d2e7f3318477769296f809bfe188013)
и можно увидеть, что знаменатель представляет собой сумму квадратов двух чисел, и эта сумма никогда не может быть равна 0 или меньше 0, если x — действительное число.
Используя подстановку
![{\displaystyle {\begin{aligned}u&=x^{2}-8x+25\\du&=(2x-8)\,dx\\du/2&=(x-4)\,dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/757a30f45e2f263e4d196859931e048c3179d7e2)
нам нужно выделить выражение x − 4 в числителе. Тогда мы сможем записать числитель x + 6 в виде суммы (x − 4) + 10, и тогда интеграл будет записан в виде
![{\displaystyle \int {x-4 \over x^{2}-8x+25}\,dx+\int {10 \over x^{2}-8x+25}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6062e1c260c28c646d5fa8b2346709b68cc1ca72)
Выше приведённая подстановка позволяет взять первый из этих двух интегралов:
![{\displaystyle \int {x-4 \over x^{2}-8x+25}\,dx=\int {du/2 \over u}={1 \over 2}\ln \left|u\right|+C={1 \over 2}\ln(x^{2}-8x+25)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b6992966414505c7db523969ee1d06cfc030283)
Заметим, что причина, по которой мы можем опустить модульные скобки, состоит в том, что, как мы заметили ранее, выражение (x − 4)2 + 9 не может иметь отрицательных значений.
Далее следует взять интеграл
![{\displaystyle \int {10 \over x^{2}-8x+25}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9f0a07b125fa686bb7ea367cffbccbfcc2514d7)
В первую очередь, выделим полный квадрат в знаменателе, после чего проведём несложные алгебраические преобразования:
![{\displaystyle {\begin{aligned}&{}\quad \int {10 \over x^{2}-8x+25}\,dx=\int {10 \over (x-4)^{2}+9}\,dx\\[9pt]&=\int {10/9 \over \left({x-4 \over 3}\right)^{2}+1}\,dx={10 \over 3}\int {1 \over \left({x-4 \over 3}\right)^{2}+1}\,\left({dx \over 3}\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5aa39a4735dce090d72c7ea9f7266c571a231cb)
Теперь используем следующую подстановку
![{\displaystyle w=(x-4)/3\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26a0a32107f9e4bcd3229954e21baaad23ef1f0a)
![{\displaystyle dw=dx/3\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a12f9836c3d1a9a5e88fbe6977ca1c7868d6ddd6)
что позволяет найти
![{\displaystyle {10 \over 3}\int {dw \over w^{2}+1}={10 \over 3}\operatorname {arctg} \,w+C={10 \over 3}\operatorname {arctg} \left({x-4 \over 3}\right)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b2470719ae60cbfab59480f073405e79139cc4f)
Складывая оба найденных выражения, запишем окончательный результат интегрирования
![{\displaystyle \int {x+6 \over x^{2}-8x+25}\,dx={1 \over 2}\ln(x^{2}-8x+25)+{10 \over 3}\operatorname {arctg} \left({x-4 \over 3}\right)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04b7bd46f6c11ab4537485bae139598bb3e5fceb)
В ряде случаев, при определённом навыке, удобнее использовать комплексное разложение многочлена. Так, в вышеприведённом примере:
![{\displaystyle \int {x+6 \over x^{2}-8x+25}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27dc1a623e9fe1c81e4a3aecca42c85136fc4bf1)
Разлагаем знаменатель на два комплексных множителя:
![{\displaystyle x^{2}-8x+25=(x-4+3i)(x-4-3i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4992387a1bc454cd930b9d9d8f7e7dc366ae602)
После чего ищем разложение подынтегрального выражения на два слагаемых:
![{\displaystyle {\frac {x+6}{x^{2}-8x+25}}={\frac {A}{x-4+3i}}+{\frac {B}{x-4-3i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34ec5ad4c378414dcf1c564fa3fd9e17af3ce0ba)
Решив несложную систему линейных уравнений, получаем:
![{\displaystyle A={\tfrac {1}{2}}+{\tfrac {5}{3}}i,B={\tfrac {1}{2}}-{\tfrac {5}{3}}i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a51be0c1434bacecb9d327673516ad4b4113384)
![{\displaystyle \int {\frac {x+6}{x^{2}-8x+25}}\,dx=({\tfrac {1}{2}}+{\tfrac {5}{3}}i)\int {\frac {1}{x-4+3i}}\,dx+({\tfrac {1}{2}}-{\tfrac {5}{3}}i)\int {\frac {1}{x-4+3i}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fb45b4089c182e65d702826fbfb103cbc3c36b2)
После очевидного интегрирования имеем:
![{\displaystyle \left({\tfrac {1}{2}}+{\tfrac {5}{3}}i\right)\ln(x-4+3i)+\left({\tfrac {1}{2}}-{\tfrac {5}{3}}i\right)\ln(x-4-3i)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f46a0370ad825023c02871dbdff3388acf753e5)
Сгруппируем отдельно действительные и мнимые слагаемые:
![{\displaystyle {\tfrac {1}{2}}\left(\ln(x-4+3i)+\ln(x-4-3i)\right)+{\tfrac {5}{3}}i\left(\ln(x-4+3i)-\ln(x-4-3i)\right)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1885311cd7165acbfb5088417e5eb4ed983586f2)
![{\displaystyle {\tfrac {1}{2}}\ln \left((x-4+3i)(x-4-3i)\right)+{\tfrac {5}{3}}i\ln {\frac {x-4+3i}{x-4-3i}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/438b5753c403fe5c89334891fbbe2f579dd50a5c)
![{\displaystyle {\tfrac {1}{2}}\ln(x^{2}-8x+25)+{\tfrac {5}{3}}i\ln {\frac {1-i{\frac {x-4}{3}}}{1+i{\frac {x-4}{3}}}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71baf70aa90bf59674b221ca4273a616c2f8167e)
Как известно, арктангенс комплексного переменного выражается через логарифм:
![{\displaystyle \operatorname {arctg} \,z={\tfrac {1}{2}}i\ln {\frac {1-i\,z}{1+i\,z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/080bb4cf2a099b32470b5ddaacb2ca8e83f2839e)
Это даёт нам возможность переписать второе слагаемое через арктангенс:
![{\displaystyle {\tfrac {1}{2}}\ln(x^{2}-8x+25)+{\tfrac {10}{3}}\operatorname {arctg} {\frac {x-4}{3}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71293c1f05dc20311f98ed9a7a669a50a3dceadf)
В знаменателе многочлен второй степени, возведённый в целую положительную степень
[ред. | ред. код]
Рассмотрим интеграл
![{\displaystyle \int {x+6 \over (x^{2}-8x+25)^{8}}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a188f9d4c2670feb2a3df54e0dd02968081ada92)
Так же, как это делалось выше, можно представить числитель x + 6 в виде суммы (x − 4) + 10, и взять ту часть, которая содержит выражение x − 4, с помощью подстановки
![{\displaystyle {\begin{aligned}u&=x^{2}-8x+25,\\du&=(2x-8)\,dx,\\du/2&=(x-4)\,dx.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d125aa3b70d3e52ef36907636f5f6f306cd853a2)
Нам остаётся лишь найти интеграл
![{\displaystyle \int {10 \over (x^{2}-8x+25)^{8}}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f4ce39a092a05937fd505cce1af887f8c38d13a)
Как это делалось выше, сначала выделим полный квадрат, после чего произведём несложные математические преобразования
![{\displaystyle \int {10 \over (x^{2}-8x+25)^{8}}\,dx=\int {10 \over ((x-4)^{2}+9)^{8}}\,dx=\int {10/9^{8} \over \left(\left({x-4 \over 3}\right)^{2}+1\right)^{8}}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ef2c23e6c7bd1c3e4e5902afc5935e11686c1da)
После этого можно использовать подстановку:
![{\displaystyle tg\theta ={x-4 \over 3},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c4f6d0998c18c20661b6b7cfa2520778da663d4)
![{\displaystyle \left({x-4 \over 3}\right)^{2}+1=tg^{2}\theta +1=\sec ^{2}\theta ,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7d960b4c8449217eedef832b93793abe07a5cd0)
![{\displaystyle d(tg\theta )=\sec ^{2}\theta \,d\theta ={dx \over 3}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4439f6bb2f4c3e331c3a03a8948177ac3cdf801a)
После чего интеграл принимает вид
![{\displaystyle \int {30/9^{8} \over \sec ^{16}\theta }\sec ^{2}\theta \,d\theta ={30 \over 9^{8}}\int \cos ^{14}\theta \,d\theta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dae1601ce725b598fe8ff3b1a8f0e582b37cbe93)
Несколько раз используя формулу
![{\displaystyle \cos ^{2}\theta ={1 \over 2}(1+\cos(2\theta )),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fe3587c9c2ad5550fe8a46bbdeb756c3d2ba013)
можно упрощать этот интеграл до тех пор, пока подынтегральное выражение не будет содержать cos θ в степени, большей чем 1.
Далее следует выразить sin(θ) и cos(θ) как функции от x. Примем, что
![{\displaystyle tg(\theta )={x-4 \over 3},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1df0d3374f7968812679cf823f009bf109ce7acd)
и что тангенс = (противолежащая сторона)/(прилежащая сторона). Если «противолежащая» сторона имеет длину x − 4 и «прилежащая» сторона имеет длину 3, то согласно теореме Пифагора гипотенуза имеет длину √((x − 4)2 + 32) = √(x2 −8x + 25).
Имеем
![{\displaystyle \sin(\theta )={x-4 \over {\sqrt {x^{2}-8x+25}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/157d859e0b3a9ba5773c22c7de761579dd58e2b7)
![{\displaystyle \cos(\theta )={3 \over {\sqrt {x^{2}-8x+25}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdfd71cd8edbeb9b7fa1da54bf627d5abc162d55)
и
![{\displaystyle \sin(2\theta )=2\sin(\theta )\cos(\theta )={6(x-4) \over x^{2}-8x+25}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6c715a588a59e2c0eb9d0d20bdb8b96b853dfcd)
- ↑ V. Frederick Rickey and Philip M. Tuchinsky, «An Application of Geography to Mathematics: History of the Integral of the Secant», Mathematics Magazine, volume 53, number 3, May 1980, pages 162—166
- Высшая математика в упражнениях и задачах. ( В 2-х частях ) Данко П.Е., Попов А.Г., Кожевников Т.Я. 4-е изд., испр. и доп.— M.: Высш. шк., 1986. ч.1 - 304с.; ч.2 - 416с