Как найти интеграл деления - AvtoShod.ru - решение различных проблем

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

Выражение
вида

называется дробно-рациональной
функцией
или рациональной
дробью,

— многочлен степени m,

— многочлен степени n.
Рациональная дробь называется правильной,
если m
< n,
неправильной
– если
.
Если под интегралом находится неправильная
рациональная дробь, то нужно выделить
целую часть и найти остаток от деления.

Например,
если требуется найти интеграл от дроби
,
которая является неправильной (степень
многочлена в числителе больше степени
многочлена в знаменателе), то нужно
осуществить деление «уголком».

— целая часть,

— остаток от деления.

Дробь
раскладывается следующим образом:
.

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

Метод неопределённых коэффициентов

Рассмотрим
правильную дробь
.
Всякий многочлен

имеет точно n
действительных или комплексно-сопряжённых
корней с учётом их кратности, и при этом
многочлен

может быть представлен в виде сомножителей,
содержащих корни этого многочлена.

Например,
,
где

— действительный корень кратности 1,

— действительный корень кратности 5,
многочлен

имеет два комплексно-сопряжённых корня,

— содержит 2 комплексно-сопряжённых
корня кратности 3.

Всякая правильная
рациональная дробь может быть представлена
в виде суммы четырёх типов простейших
дробей.

2.
,
k
– кратность корня
.

4.

— k
– кратность пары комплексно-сопряжённых
корней.

а)
Если в знаменателе

корень

— корень кратности 1, то ему соответствует
одна простейшая дробь 1-го типа.

б)
Если корень

имеет кратность k,
то ему соответствует сумма дробей 1-го
и 2-го типа до степени k
включительно, т.е.
.

Например,
для дроби
.

в)
Если многочлену

соответствует пара простых
комплексно-сопряжённых корней, то в
разложении

ему соответствует одна дробь 3-го типа.

г)
Если многочлену

соответствуют комплексные корни
кратности k,
то в разложении для

ему соответствует сумма дробей 3-го и
4-го типа до степени k
включительно, т.е.
.

Например, для дроби

Неизвестные
коэффициенты

необходимо определить так, чтобы левая
и правая части равенства (*) были равны
друг другу при любом х.
Определение этих коэффициентов проводится
методом неопределённых коэффициентов.

Правая часть (*)
приводится к общему знаменателю,
знаменатели отбрасываются и приравниваются
числители левой и правой частей (*).

Далее возможны
два пути:

1)
В правой части (*) группируются слагаемые
с одинаковой степенью х,
затем приравниваются коэффициенты при
одинаковых степенях х
в правой и левой части, из полученной
системы линейных алгебраических
уравнений находятся неизвестные
коэффициенты.

2)
В соответствии неизвестных коэффициентов
выбираются значения х
(лучше брать корни) и подставляются в
числители левой и правой части (*); также
получается система уравнений для
нахождения неизвестных коэффициентов.

Часто используются
комбинированно оба способа.

Таким образом,
интегрирование рациональных дробей
сводится к интегрированию четырёх типов
простейших дробей.

Интегрирование
дробей 1-го, 2-го и 3-го типов:

Пример
1.

Решение.
Запишем
рациональную дробь без интеграла:
.
Она является правильной (степень
числителя меньше степени знаменателя).
В знаменателе находится квадратный
трёхчлен, корни которого равны
:

Значит, дробь можно
разложить на сумму двух дробей 1-го типа:

Приводим дроби к
общему знаменателю и записываем только
числители:

Подставляем
по очереди корни знаменателя вместо х
и решаем
уравнение относительно неопределённых
коэффициентов:

Подставляем
найденные коэффициенты

в разложение первоначального интеграла
и находим интеграл:

Пример
2.

Решение.
Дробь правильная. Знаменатель имеет
один действительный корень

и два комплексных
,
следовательно, дробь будет раскладываться
на сумму дробей 1-го и 3-го типа:

(*)

Подставляем
корень

в полученное равенство (*):

Для
того чтобы найти коэффициенты M
и N,
раскроем скобки в равенстве (*):

Вынесем
в правой части этого равенства

и

за скобки:

Таким
образом, коэффициенты в правой части
равенства сгруппированы по степеням
х.

Приравниваем
коэффициенты при соответствующих
степенях х
в левой и правой части равенства:

Коэффициент
А был
найден ранее, подставляем его значение
в систему и находим коэффициенты M
и N:

Подставляем
найденные коэффициенты A,
M,
N
в разложение первоначального интеграла
и находим интеграл:

Пример
3.

Решение.
Дробь неправильная, т.к. степень числителя
(4) больше степени знаменателя (3). Выделим
целую часть с помощью деления уголком:

Запишем отдельно
правильную дробь и её разложение на 3
дроби 1-го типа:

Пример
4.

Решение.
Дробь правильная. Знаменатель имеет
один действительный корень

кратности 1 и 1 действительный корень

кратности 3 (т.к. выражение (х
– 3) имеет степень 3), следовательно,
дробь будет раскладываться на сумму
дробей 1-го и 2-го типа:

Коэффициенты
А и

были найдены ранее, подставляем их
значения в систему и находим коэффициенты

и
:.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

Источник

И снова здравствуйте, друзья!

Как я и обещал, с этого урока мы начнём бороздить бескрайние просторы поэтического мира интегралов и приступим к решению самых разнообразных (порой, очень красивых) примеров.

Чтобы грамотно ориентироваться во всём интегральном многообразии и не заблудиться, нам потребуется всего четыре вещи:

1) Таблица интегралов. Все подробности о ней — в предыдущем материале. Как именно с ней работать — в этом.

2) Свойства линейности неопределённого интеграла (интеграл суммы/разности и произведения на константу).

3) Таблица производных и правила дифференцирования.

Да-да, не удивляйтесь! Без умения считать производные, в интегрировании ловить совершенно нечего. Согласитесь, бессмысленно, например, учиться делению, не умея умножать. И очень скоро вы увидите, что без отточенных навыков дифференцирования не посчитать ни один сколь-нибудь серьёзный интеграл, выходящий за рамки элементарных табличных.

4) Методы интегрирования.

Их очень и очень много. Для конкретного класса функций — свой. Но среди всего их богатого разнообразия выделяется три базовых:

– метод подведения функции под знак дифференциала,

– метод замены переменной,

– метод интегрирования по частям.

О каждом из них — в отдельных уроках.

А теперь, наконец, приступим к решению долгожданных примеров. Чтобы не скакать из раздела в раздел, я продублирую ещё разок весь джентльменский набор, который пригодится для нашей дальнейшей работы. Пусть весь инструментарий будет под рукой.)

Прежде всего, это таблица интегралов:

Кроме того, нам понадобятся базовые свойства неопределённого интеграла (свойства линейности):

Что ж, необходимая снаряга подготовлена. Пора в путь!

Прямое применение таблицы

В данном параграфе будут рассматриваться самые простые и безобидные примеры. Алгоритм здесь прост до ужаса:

1) Смотрим в таблицу и ищем нужную формулу (формулы);

2) Применяем свойства линейности (где требуется);

3) Осуществляем превращение по табличным формулам и прибавляем в конце константу С (не забываем!);

4) Записываем ответ.

Итак, поехали.)

Пример 1

Такой функции в нашей таблице нет. Зато есть интеграл от степенной функции в общем виде (вторая группа). В нашем случае n = 5. Вот и подставляем пятёрку вместо n и аккуратно считаем результат:

Готово.

Разумеется, этот пример совсем примитивный. Чисто для знакомства.) Зато умение интегрировать степени позволяет легко считать интегралы от любых многочленов и прочих степенных конструкций.

Пример 2

Под интегралом сумма. Ну и ладно. У нас на этот случай есть свойства линейности. Разбиваем наш интеграл на три отдельных, выносим все константы за знаки интегралов и считаем каждый по таблице (группа 1-2):

Прошу обратить внимание: константа С появляется именно в тот момент, когда исчезают ВСЕ знаки интеграла! Конечно, после этого приходится её постоянно таскать за собой. А что делать…

Разумеется, так подробно расписывать обычно не требуется. Это чисто для понимания сделано. Чтобы суть уловить.)

Например, очень скоро, особо не раздумывая, вы в уме будете давать ответ к монстрам типа:

Многочлены — самые халявные функции в интегралах.) А уж в диффурах, в физике, в сопромате и прочих серьёзных дисциплинах интегрировать многочлены придётся постоянно. Привыкайте.)

Следующий примерчик будет чуть покруче.

Пример 3

Надеюсь, всем понятно, что наше подынтегральное выражение можно расписать вот так:

Подынтегральная функция отдельно, а множитель dx (значок дифференциала) — отдельно.

Замечание: в этом уроке множитель dx в процессе интегрирования пока никак не участвует, и мы на него пока что мысленно «забиваем». Работаем только с подынтегральной функцией. Но забывать про него не будем. Совсем скоро, буквально на следующем уроке, посвящённом подведению функции под знак дифференциала, мы про него вспомним. И ощутим всю важность и мощь этого значка в полную силу!)

А пока наш взор обращён на подынтегральную функцию

Не очень похоже на степенную функцию, но это она. Если вспомнить школьные свойства корней и степеней, то вполне можно преобразовать нашу функцию:

А икс в степени минус две трети — это уже табличная функция! Вторая группа, n=-2/3. А константа 1/2 нам не помеха. Выносим её наружу, за знак интеграла, и прямо по формуле считаем:

В этом примере нам помогли элементарные свойства степеней. И так надо делать в большинстве случаев, когда под интегралом стоят одинокие корни или дроби. Посему пара практических советов при интегрировании степенных конструкций:

Заменяем дроби степенями с отрицательными показателями;

Заменяем корни степенями с дробными показателями.

А вот в окончательном ответе переход от степеней обратно к дробям и корням — дело вкуса. Лично я перехожу обратно — так эстетичнее, что ли.

И, пожалуйста, аккуратно считаем все дроби! Внимательно следим за знаками и за тем, что куда идёт — что в числитель, а что знаменатель.

Что? Надоели уже скучные степенные функции? Ну ладно! Берём быка за рога!

Пример 4

Если сейчас привести всё под интегралом к общему знаменателю, то можно застрять на этом примере всерьёз и надолго.) Но, присмотревшись повнимательнее к подынтегральной функции, можно заметить, что наша разность состоит из двух табличных функций. Так что не будем извращаться, а вместо этого разложим наш интеграл на два:

Первый интеграл — обычная степенная функция, (2-я группа, n = -1): 1/x = x^-1.

Традиционная наша формула для первообразной степенной функции

здесь не работает, но зато у нас для n = -1 есть достойная альтернатива — формула с натуральным логарифмом. Вот эта:

Тогда, согласно этой формуле, первая дробь проинтегрируется так:

А вторая дробь — тоже табличная функция! Узнали? Да! Это седьмая формула с «высоким» логарифмом:

Константа «а» в этой формуле равна двойке: a=2.

Важное замечание: Обратите внимание, константу С при промежуточном интегрировании я нигде не приписываю! Почему? Потому что она пойдёт в окончательный ответ всего примера. Этого вполне достаточно.) Строго говоря, константу надо писать после каждого отдельного интегрирования — хоть промежуточного, хоть окончательного: так уж неопределённый интеграл требует…)

Например, после первого интегрирования я должен был бы написать:

После второго интегрирования:

Но вся фишка в том, что сумма/разность произвольных констант — это тоже некоторая константа! В нашем случае для окончательного ответа нам надо из первого интеграла вычесть второй. Тогда у нас получится разность двух промежуточных констант:

С₁-С₂

И мы имеем полное право эту самую разность констант заменить одной константой! И просто переобозначить её привычной нам буквой «С». Вот так:

С₁-С₂ = С

Вот и приписываем эту самую константу С к окончательному результату и получаем ответ:

Да-да, дроби они такие! Многоэтажные логарифмы при их интегрировании — самое обычное дело. Тоже привыкаем.)

Запоминаем:

При промежуточном интегрировании нескольких слагаемых константу С после каждого из них можно не писать. Достаточно включить её в окончательный ответ всего примера. В самом конце.

Следующий пример тоже с дробью. Для разминки.)

Пример 5

В таблице, понятное дело, такой функции нет. Но зато есть похожая функция:

Это самая последняя, восьмая формула. С арктангенсом.

Вот эта:

И нам сам бог велел подстроить наш интеграл под эту формулу! Но есть одна проблемка: в табличной формуле перед х² никакого коэффициента нету, а у нас — девятка. Не можем пока что напрямую воспользоваться формулой. Но в нашем случае проблема вполне решаема. Вынесем эту девятку сначала за скобки, а потом вообще уведём за пределы нашей дроби.)

А новая дробь — уже нужная нам табличная функция под номером 8! Здесь а²=4/9. Или а=2/3.

Всё. Выносим 1/9 за знак интеграла и пользуемся восьмой формулой:

Вот такой ответ. Этот пример, с коэффициентом перед х², я специально так подобрал. Чтобы ясно было, что делать в таких случаях. Если перед х² никакого коэффициента нет, то такие дроби тоже будут в уме интегрироваться.

Например:

Здесь а² = 5, поэтому само «а» будет «корень из пяти». В общем, вы поняли.)

А теперь немного видоизменим нашу функцию: напишем знаменатель под корнем.) Вот такой интеграл теперь будем брать:

Пример 6

В знаменателе появился корень. Естественно, изменилась и соответствующая формула для интегрирования, да.) Опять лезем в таблицу и ищем подходящую. Корни у нас есть в формулах 5-й и 6-й групп. Но в шестой группе под корнями только разность. А у нас — сумма. Значит, работаем по пятой формуле, с «длинным» логарифмом:

Число А у нас — пятёрка. Подставляем в формулу и получаем:

И все дела. Это ответ. Да-да, так просто!)

Если закрадываются сомнения, то всегда можно (и нужно) проверить результат обратным дифференцированием. Проверим? А то вдруг, лажа какая-нибудь?

Дифференцируем (на модуль внимания не обращаем и воспринимаем его как обычные скобки):

Всё честно.

Кстати, если в подынтегральной функции под корнем поменять знак с плюса на минус, то формула для интегрирования останется той же самой. Не случайно в таблице под корнем стоит плюс/минус.

Например:

Важно! В случае минуса, на первом месте под корнем должно стоять именно х², а на втором — число. Если же под корнем всё наоборот, то и соответствующая табличная формула будет уже другая!

Пример 7

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

А вот теперь — аккуратно. В предыдущем примере у нас пятёрка выступала в роли числа A. Здесь же пятёрка будет выступать уже в роли числа а²!

Поэтому для правильного применения формулы не забываем извлечь корень из пятёрки:

И теперь пример решается в одно действие.

Вот так вот! Всего лишь поменялись местами слагаемые под корнем, а результат интегрирования изменился существенно! Логарифм и арксинус… Так что, пожалуйста, не путайте эти две формулы! Хотя подынтегральные функции и очень похожи…

Бонус:

В табличных формулах 7-8 перед логарифмом и арктангенсом присутствуют коэффициенты 1/(2а) и 1/а соответственно. И в тревожной боевой обстановке при записи этих формул даже закалённые учёбой ботаны частенько путаются, где просто 1/а, а где 1/(2а). Вот вам простой приёмчик для запоминания.

В формуле №7

в знаменателе подынтегральной функции стоит разность квадратов х² — а². Которая, согласно боянной школьной формуле, раскладывается как (х-а)(х+а). На два множителя. Ключевое слово — два. И эти две скобки при интегрировании идут в логарифм: с минусом вверх, с плюсом — вниз.) И коэффициент перед логарифмом тоже 1/(2а).

А вот в формуле №8

в знаменателе дроби стоит сумма квадратов. Но сумма квадратов x²+a² неразложима на более простые множители. Поэтому, как ни крути, в знаменателе так и останется один множитель. И коэффициент перед арктангенсом тоже будет 1/а.

А теперь для разнообразия проинтегрируем что-нибудь из тригонометрии.)

Пример 8

Пример простой. Настолько простой, что народ, даже не глядя в таблицу, тут же радостно ответ пишет и… приехали.

Следим за знаками! Это самая распространённая ошибка при интегрировании синусов/косинусов. Не путаем с производными!

Да, (sin x)’ = cos x и (cos x)’ = —sin x.

Но!

Поскольку производные народ обычно худо-бедно помнит, то, чтобы не путаться в знаках, приём для запоминания интегралов тут очень простой:

Интеграл от синуса/косинуса = минус производная от тех же синуса/косинуса.

Например, мы ещё со школы знаем, что производная синуса равна косинусу:

(sin x)’ = cos x.

Тогда для интеграла от того же синуса будет справедливо:

И всё.) С косинусом то же самое.

Исправляем теперь наш пример:

Предварительные элементарные преобразования подынтегральной функции

До этого момента были самые простенькие примеры. Чтобы прочувствовать, как работает таблица и не ошибаться в выборе формулы.)

Конечно, мы делали кое-какие простенькие преобразования — множители выносили, на слагаемые разбивали. Но ответ всё равно так или иначе лежал на поверхности.) Однако… Если бы вычисление интегралов ограничивалось только прямым применением таблицы, то вокруг была бы сплошная халява и жить стало бы скучно.)

А теперь разберём примеры посолиднее. Такие, где впрямую, вроде бы, ничего и не решается. Но стоит вспомнить буквально пару-тройку элементарных школьных формул или преобразований, как дорога к ответу становится простой и понятной.

Применение формул тригонометрии

Продолжим развлекаться с тригонометрией.

Пример 9

Такой функции в таблице и близко нет. Зато в школьной тригонометрии есть такое малоизвестное тождество:

Выражаем теперь из него нужный нам квадрат тангенса и вставляем под интеграл:

Зачем это сделано? А затем, что после такого преобразования наш интеграл сведётся к двум табличным и будет браться в уме!

Смотрите:

А теперь проанализируем наши действия. На первый взгляд, вроде бы, всё проще простого. Но давайте задумаемся вот над чем. Если бы перед нами стояла задача продифференцировать ту же самую функцию, то мы бы точно знали, что именно надо делать — применять формулу производной сложной функции:

И всё. Простая и безотказная технология. Работает всегда и гарантированно приводит к успеху.

А что же с интегралом? А вот тут нам пришлось порыться в тригонометрии, откопать какую-то малопонятную формулу в надежде, что она нам как-то поможет выкрутиться и свести интеграл к табличному. И не факт, что помогла бы она нам, совсем не факт… Именно поэтому интегрирование — более творческий процесс, нежели дифференцирование. Искусство, я бы даже сказал. И это ещё не самый сложный пример. То ли ещё будет!

Пример 10

Что, внушает? Таблица интегралов пока бессильна, да. Но, если снова заглянуть в нашу сокровищницу тригонометрических формул, то можно откопать весьма и весьма полезную формулу косинуса двойного угла:

Вот и применяем эту формулу к нашей подынтегральной функции. В роли «альфа» у нас х/2.

Получаем:

Эффект потрясающий, правда?

Эти два примера наглядно показывают, что предварительное преобразование функции перед интегрированием вполне допускается и порой колоссально облегчает жизнь! И в интегрировании эта процедура (преобразование подынтегральной функции) на порядок более оправдана, чем при дифференцировании. В дальнейшем всё увидите.)

Разберём ещё парочку типовых преобразований.

Формулы сокращённого умножения, раскрытие скобок, приведение подобных и метод почленного деления.

Обычные банальные школьные преобразования. Но порой только они и спасают, да.)

Пример 11

Если бы мы считали производную, то никаких проблем: формула производной произведения и — вперёд. Но стандартной формулы для интеграла от произведения не существует. И единственный выход здесь — раскрыть все скобки, чтобы под интегралом получился многочлен. А уж многочлен мы как-нибудь проинтегрируем.) Но скобки раскрывать тоже будем с умом: формулы сокращённого умножения — штука мощная!

(x² — 1)²(x² + 1)² = ((x² — 1)(x² + 1))² = ((x²)² — 1²)² = (x⁴ — 1)² = x⁸ — 2x⁴ + 1

А теперь считаем:

И все дела.)

Пример 12

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

Особо комментировать процедуру интегрирования степеней не буду: не маленькие уже.)

Интегрируем сумму степенных функций. По табличке.)

Вот и все дела.) Кстати, если бы в знаменателе сидел не икс, а, скажем, х+1, вот так:

то этот фокус с почленным делением уже так просто не прошёл бы. Именно из-за наличия корня в числителе и единицы в знаменателе. Пришлось бы замену вводить и избавляться от корня. Но такие интегралы гораздо сложнее. О них — в других уроках.

Видите! Стоит только чуть-чуть видоизменить функцию — тут же меняется и подход к её интегрированию. Порой кардинально!) Нету чёткой стандартной схемы. К каждой функции — свой подход. Иногда даже уникальный.)

В некоторых случаях преобразования в дробях ещё более хитрые.

Пример 13

А здесь как можно свести интеграл к набору табличных? Здесь можно ловко извернуться добавлением и вычитанием выражения x² в числителе дроби с последующим почленным делением. Очень искусный приём в интегралах! Смотрите мастер-класс!

И теперь, если заменить исходную дробь на разность двух дробей, то наш интеграл распадается на два табличных — уже знакомую нам степенную функцию и арктангенс (формула 8):

Ну, что тут можно сказать? Вау!

Этот трюк с добавлением/вычитанием слагаемых в числителе — очень популярен в интегрировании рациональных дробей. Очень! Рекомендую взять на заметку.

Пример 14

Здесь тоже рулит эта же технология. Только добавлять/вычитать надо единичку, чтобы из числителя выделить выражение, стоящее в знаменателе:

Вообще говоря, рациональные дроби (с многочленами в числителе и знаменателе) — отдельная очень обширная тема. Дело всё в том, что рациональные дроби — один из очень немногих классов функций, для которых универсальный способ интегрирования существует. Метод разложения на простейшие дроби вкупе с методом неопределённых коэффициентов. Но способ этот очень трудоёмкий и обычно применяется как тяжёлая артиллерия. Ему будет посвящён не один урок. А пока что тренируемся и набиваем руку на простых функциях.

Подытожим сегодняшний урок.

Сегодня мы подробно рассмотрели, как именно пользоваться таблицей, со всеми нюансами, разобрали множество примеров (и не самых тривиальных) и познакомились с простейшими приёмами сведения интегралов к табличным. И так мы теперь будем поступать всегда. Какая бы страшная функция ни стояла под интегралом, с помощью самых разнообразных преобразований мы будем добиваться того, чтобы, рано или поздно, наш интеграл, так или иначе, свёлся к набору табличных.

Несколько практических советов.

1) Если под интегралом дробь, в числителе которой сумма степеней (корней), а в знаменателе — одинокая степень икса, то используем почленное деление числителя на знаменатель. Заменяем корни степенями с дробными показателями и работаем по формулам 1-2.

2) В тригонометрических конструкциях в первую очередь пробуем базовые формулы тригонометрии — двойного/тройного угла, основные тригонометрические тождества:

Может очень крупно повезти. А может и нет…

3) Где нужно (особенно в многочленах и дробях), применяем формулы сокращённого умножения:

(a+b)² = a²+2ab+b²

(a-b)² = a²-2ab+b²

(a-b)(a+b) = a²-b²

и так далее…

4) При интегрировании дробей с многочленами пробуем искусственно выделить в числителе выражение(я), стоящее(щие) в знаменателе. Очень часто дробь упрощается и интеграл сводится к комбинации табличных.

Ну что, друзья? Я вижу, интегралы вам начинают нравиться. Тогда набиваем руку и решаем примеры самостоятельно.) Сегодняшнего материала вполне достаточно, чтобы успешно с ними справиться.

Что? Не знаете, как интегрировать арксинус/арккосинус? Да! Мы этого ещё не проходили.) Но здесь их напрямую интегрировать и не нужно. И да поможет вам школьный курс!)

Ответы (в беспорядке):

Для лучших результатов настоятельно рекомендую приобрести сборник задач по матану Г.Н. Бермана. Классная штука!

А у меня на сегодня всё. Успехов!

Источник

Интеграл от дроби, все формулы и примеры
- Первый метод вычисления интеграла от дроби
- Второй метод
- Третий метод вычисления интеграла от дроби
- Четвертый метод
Интегрирование дробей
- - Подготовиться к интегрированию дробей самостоятельно, а затем посмотреть ответ.
Интегрирование рациональных функций
- - Алгоритм интегрирования рациональных функций
Примеры интегрирования рациональных функций (дробей)
- Пример 1
  - Решение
  - Ответ
- Пример 2
  - Решение
  - Ответ
- Пример 3
  - Решение
  - Ответ
Правила интегрирования | Математика
Интегрирование дифференциального бинома
- Применяемые подстановки
- Формулы приведения (понижения или повышения показателей степеней)
  - Доказательство формул приведения
    - Доказательство первой формулы
    - Доказательство второй формулы
- Пример
  - Решение
  - Ответ

Интеграл от дроби, все формулы и примеры

Нужно запомнить, что интеграл от дроби не равен интегралу числителя, деленному на интеграл знаменателя:

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

Первый метод вычисления интеграла от дроби

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

Замечание. Если степень многочлена, стоящего в числителе, большее степени многочлена, стоящего в знаменателе, то рациональнее для выделения целой части делить числитель на знаменатель в столбик.

Второй метод

Для дробей типа

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

Третий метод вычисления интеграла от дроби

Интегралы вида

находятся с помощью выделения полного квадрата в знаменателе, что позволит свести их к табличным интегралам.

Четвертый метод

Для интегралов вида

применяется следующий подход. В числителе выделяется производная знаменателя, далее дробь почленно делится: получаем сумму двух интегралов, в числителе одного из них стоит производная знаменателя, а второго – константа. Первый из интегралов находится методом замены, метод нахождения второго описан выше.

Понравился сайт? Расскажи друзьям!

ru.solverbook.com

Интегрирование дробей

Рациональной дробью называется дробь P(x)/Q(x), числитель P(x) и знаменатель Q(x) которой – многочлены. Рациональные дроби бывают неправильные, если степень многочлена в её числителе не меньше степени многочлена в знаменателе, и правильные, если степень многочлена в числителе меньше степени многочлена в знаменателе.

У любой неправильной дроби можно выделить её целую часть. Для этого следует по правилу деления многочленов разделить числитель на знаменатель. Поэтому любую неправильную дробь можно представить в виде суммы её целой части и некоторой правильной дроби.

Например, неправильную дробь

можно представить в виде

Таким образом, если необходимо проинтегрировать неправильную дробь, то, представив её в виде суммы многочлена и правильной дроби, с помощью метода разложения сведём решение к интегрированию правильной дроби.

Подготовиться к интегрированию дробей самостоятельно, а затем посмотреть ответ.

Пример 0. Представить в виде суммы многочлена и правильной дроби следующие
дроби:

1) ;

2) .

Посмотреть ответ.

Ограничимся интегрированием лишь правильных рациональных дробей, знаменателями которых являются многочлены первой и второй степени. В общем виде интегралы от таких дробей записываются следующим образом:

(1)

(2)

Пример 1. Найти

интеграл дроби

Подынтегральная функция является неправильной рациональной дробью. Используя приведённое выше её представление в виде суммы многочлена и правильной дроби, а также формулу (3), последовательно получим

Любой интеграл вида (2) сводится к нахождению одного или двух следующих интегралов:

(4)

Поэтому рассмотрим эти интегралы. Первый из них находится по формуле (3) при a = 1.

А теперь формулы для вычисления остальных приведённых интегралов.

(5)

(6)

(7)

(8)

(9)

Формулы (5)-(9) можно условно считать табличными интегралами. С их помощью можно найти любой интеграл вида (2). Предварительно такой интеграл приводят к интегралам группы (4).
Для этого в знаменателе подынтегральной функции выделяют полный квадрат (это делается при помощи формул
сокращённого умножения
и ) и представляют его в одном из следующих видов:

или

где m > 0 и n > 0.

В первых двух случаях замена переменной

в третьем непосредственное применение метода разложения приведёт к одному или двум интегралам группы (4).

Пример 2. Найти интеграл дроби

Решение. Результат применения формулы (5) при a = 8:

Пример 3. Найти интеграл дроби

Решение. Выделим в знаменателе подынтегральной функции полный квадрат:

а затем произведём замену переменной t = x + 3
(тогда dt = dx

). В результате этого:

то есть получили табличный интеграл. Применяем формулу 5):

откуда, возвращаясь к старой переменной, окончательно получим

Пример 4. Найти интеграл дроби

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

Произведём теперь замену переменной t = x – 3
(или x = t + 3; тогда dx = dt). Поэтому

Результат применения формул (8) и (5) при a = 1:

Возвращаясь к “старой” переменной, окончательно получим

Пример 5. Найти интеграл дроби

Решение. Знаменатель представляет собой полный квадрат разности:

Поэтому

Применяя далее формулы (7) и (6), найдём

Пример 6. Найти интеграл дроби

Решение. Выделим в знаменателе подынтегральной функции полный квадрат:

Произведём замену переменной t = x – 4
(или x = t + 4; тогда dx = dt):

Результат применения форумул (8) и (9):

Возвращаясь к “старой” переменной, окончательно получим

Начало темы “Интеграл”

Продолжение темы “Интеграл”

function-x.ru

Интегрирование рациональных функций

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

Из урока “Интегрирование некоторых
рациональных дробей и иррациональностей” известно, что рациональные дроби
бывают неправильные, если степень многочлена в её числителе не меньше степени многочлена в
знаменателе, и правильные, если степень многочлена в числителе меньше степени многочлена в
знаменателе. В том же уроке говорилось о том, как представить неправильную дробь в виде суммы её
целой части и некоторой правильной дроби.

На этом уроке будем учиться интегрировать такие рациональные функции, которые
представлены в виде правильных дробей

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

Приведённый ниже алгоритм интегирования рациональных функций будет пошагово
проиллюстрирован в примерах.

Алгоритм интегрирования рациональных функций

Шаг 1. Определить вид многочлена в знаменателе дроби (он может иметь действительные,
кратные действительные, комплексные и кратные комплексные корни) и в зависимости от вида разложить
дробь на простые дроби, в числителях которых – неопределённые коэффициенты, число которых равно степени
знаменателя.
Шаг 2. Определить значения неопределённых коэффициентов. Для этого потребуется
решить систему уравнений, сводящуюся к системе линейных уравнений.
Шаг 3. Найти интеграл исходной рациональной функции (дроби) как сумму интегралов
полученных простых дробей, к которым применяются табличные интегралы.

Переходим к первому шагу алгоритма

Многочлен в знаменателе имеет действительные корни.
То есть, в знаменателе имеет место цепочка сомножителей вида
, в которой
каждый из сомножителей находится в первой степени. В этом случае разложение дроби с использованием метода неопределённых
коэффициентов будет следующим:

Пример 1. Шаг 1. Дан интеграл от рациональной функции
.

От нас требуется разложить подынтегральное выражение – правильную дробь
на простые дроби.

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

Пример 2. Шаг 1.Дан интеграл от рациональной функции

Решение. Разложим знаменатель подынтегрального выражения на множители. Сначала
можно вынести за скобки x. Получаем следующую дробь:

Для разложения квадратного трёхчлена в скобках решаем квадратное уравнение:

Получаем разложение знаменателя на множители в подынтегральном выражении:

Дискриминант решённого выше квадратного уравнения положительный, то есть имеем дело
со случаем, когда многочлен в знаменателе имеет действительные корни. Разложение исходной дроби
подынтегрального выражения будет следующим:

Как и в первом примере, числа, обозначенные большими буквами, пока неизвестны. Отсюда и название – метод неопределённых коэффициентов.

Многочлен в знаменателе имеет кратные действительные корни.
Этот случай имеет место, когда в цепочке сомножителей в знаменателе присутствует выражение вида
,
то есть один из многочленов в степени 2 и больше. В этом случае разложение дроби с использованием метода неопределённых коэффициентов будет следующим:

Пример 3. Шаг 1. Дан интеграл от рациональной функции
.

Решение. Представляем разность квадратов
в виде произведения суммы и разности .

Тогда подынтегральное выражение запишется в виде

все уравнения с многочленами которого имеют действительные корни. Это случай кратных
действительных корней, так как последний сомножитель находится во второй степени. Получаем следующее
разложение исходной дроби на простые дроби:

Как видим, в этом случае нужно понижать степень кратного многочлена с исходной до первой
и записывать простую дробь с каждой из этих степеней в знаменатель.

Пример 4. Шаг 1. Дан интеграл от рациональной функции
.

Решение. Уравнения с многочленами в знаменателе имеют действительные корни,
а сами многочлены присутствуют в степенях больше первой. Поэтому получаем следующее
разложение исходной дроби на простые дроби:

Многочлен в знаменателе имеет комплексные корни: дискриминант квадратного уравнения
, присутствующего в
цепочке сомножителей в знаменателе, меньше нуля.
В этом случае при разложении дроби в простой дроби, соответствующей описанному выше сомножителю, в
числителе нужно записывать линейное выражение с переменной x (это выражение – последнее в следующей записи):

Пример 5. Шаг 1. Дан интеграл от рациональной функции
.

Решение. Уравнение в скобках имеет комплексные корни,
а оба сомножителя присутствуют в знаменателе в первой степени. Поэтому получаем следующее
разложение исходной дроби на простые дроби:

Пример 6. Шаг 1. Дан интеграл от рациональной функции
.

Решение. Представим знаменатель дроби в подынтегральном выражении в виде следующего
произведения сомножителей:

Решение. Уравнение с последним сомножителем имеет комплексные корни,
а все сомножители присутствуют в знаменателе в первой степени. Поэтому получаем следующее
разложение исходной дроби на простые дроби:

Многочлен в знаменателе имеет кратные комплексные корни:
дискриминант квадратного уравнения
, присутствующего в
цепочке сомножителей в знаменателе, меньше нуля и этот сомножитель присутствует в степени 2 или больше.
В этом случае разложение дроби с использованием метода неопределённых коэффициентов будет следующим:

То есть в сумме простых дробей число простых дробей с линейным выражением
в числителе должно быть равно степени сомножителя, имеющего комплексные корни.

Пример 7. Шаг 1. Дан интеграл от рациональной функции
.

Решение. Квадратный трёхчлен имеет
комплексные корни и присутствует в знаменателе подынтегральной дроби во второй степени. Поэтому получаем следующее разложение дробного выражения:

Пример 8. Шаг 1. Дан интеграл от рациональной функции
.

Решение. Квадратный трёхчлен в знаменателе имеет
комплексные корни и присутствует в подынтегральной дроби во второй степени. Поэтому получаем следующее разложение дробного выражения:

На первом шаге мы представили подынтегральные дроби в виде суммы дробей с неопределёнными
коэффициентами. В начале этого шага потребуется привести полученную сумму дробей к общему знаменателю.
После этого в их числителях будут произведения неопределённых коэффициентов на многочлены, которых нет
в данной отдельной дроби, но которые есть в других полученных дробях.

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

Пример 1. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Умножаем неопределённые коэффициенты на многочлены, которых нет
в данной отдельной дроби, но которые есть в других полученных дробях:

Раскрываем скобки и приравниваем полученое к полученному выражению числитель
исходной подынтегральной дроби:

В обеих частях равенства отыскиваем слагаемые с одинаковыми степенями икса и
составляем из них систему уравнений:

Сокращаем все иксы и получаем эквивалентную систему уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Таким образом, окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 2. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Теперь начинаем искать неопределённые коэффициенты. Для этого числитель исходной дроби в выражении функции приравниваем к числителю
выражения, полученного после приведения суммы дробей к общему знаменателю:

Теперь требуется составить и решить систему уравнений. Для этого приравниваем коэффициенты при переменной в соответствующей степени в числителе исходного выражения функции и аналогичные коэффициенты в полученном на предыдущем шаге выражения:

Решаем полученную систему:

Итак, , отсюда
получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 3. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Начинаем искать неопределённые коэффициенты. Для этого числитель исходной дроби в выражении функции приравниваем к числителю
выражения, полученного после приведения суммы дробей к общему знаменателю:

Как и в предыдущих примерах составляем систему уравнений:

Сокращаем иксы и получаем эквивалентную систему уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 4. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Как приравнивать числитель исходной дроби к выражению в числителе, полученному после разложения дроби
на сумму простых дробей и приведения этой суммы к общему знаменателю, мы уже знаем из предыдуших примеров.
Поэтому лишь для контроля приведём получившуюся систему уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 5. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Самостоятельно приводим к общему знаменателю эту сумму, приравнивать числитель
этого выражения к числителю исходной дроби. В результате должна получиться следующая система уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 6. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Производим с этой суммой те же действия, что и в предыдущих примерах.
В результате должна получиться следующая система уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 7. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

После известных действий с полученной суммой должна получиться следующая система уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Пример 8. Шаг 2. На шаге 1 получили следующее разложение
исходной дроби на сумму простых дробей с неопределёнными коэффициентами в числителях:

Внесём некоторые изменения в уже доведённые до автоматизма действия для получения
системы уравнений. Есть искусственный приём, который в некоторых случаях помогает избежать лишних
вычислений. Приводя сумму дробей к общему знаменателю получаем и приравнивая числитель этого выражения
к числителю исходной дроби, получаем:

Можно заметить, что если принять за значение икса единицу, то второе и третье
слагаемые в правой части равенства обратятся в нули и нет необходимости их вычислять. Тогда получаем,
что .
Далее по уже отработанной схеме получаем систему уравнений:

Решая систему, получаем следующие значения неопределённых коэффициентов:

Получаем окончательное разложение подынтегральной дроби на сумму простых дробей:

Полученные простые дроби и интегировать проще. К исходной сумме дробей применяется
правило интеграла суммы (интеграл суммы равен сумме интегралов) и табличные интегралы.
Чаще всего требуется применять табличные интегралы, приводящие к натуральному логарифму и арктангенсу.

Пример 1. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

Интегрируем изначальную рациональную функцию как сумму дробей и используем табличный
интеграл, приводящий к натуральному логарифму:

Последнее действие с натуральным логарифмом – приведение к единому выражению под
логарифмом – может требоваться при выполнении работ,
но требуется не всегда.

Пример 2. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

Вновь применяем табличный интеграл, приводящий к натуральному логарифму:

Пример 3. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

В результате интегрирования получаем сумму натуральных логарифмов и одной простой дроби,
на случай, если требуется преобразование к единому логарифму, делаем и это:

Пример 4. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

В результате интегрирования получаем сумму натуральных логарифмов и одной дроби,
на случай, если требуется преобразование к единому логарифму, делаем и это:

Пример 5. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

Интегрируем и получаем сумму натурального логарифма и арктангенса:

Пример 6. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

Опять получаем сумму натурального логарифма и арктангенса:

Пример 7. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

Интегрируя, получаем натуральные логарифмы и дробь:

Приведение к единому логарифму попробуйте выполнить самостоятельно.

Пример 8. Шаг 3. На шаге 2 получили окончательное разложение
подынтегральной дроби на сумму простых дробей:

Интегрируя, получаем сумму натурального логарифма, арктангенса и дроби:

Начало темы “Интеграл”

Продолжение темы “Интеграл”

function-x.ru

Примеры интегрирования рациональных функций (дробей)

Здесь мы приводим подробные решения трех примеров интегрирования следующих рациональных дробей:
, , .

Пример 1

Вычислить интеграл:
.

Решение

Здесь под знаком интеграла стоит рациональная функция, поскольку подынтегральное выражение является дробью из многочленов. Степень многочлена знаменателя (3) меньше степени многочлена числителя (4). Поэтому, вначале необходимо выделить целую часть дроби.

1. Выделим целую часть дроби. Делим x⁴ на x³ – 6x² + 11x – 6:

Отсюда
.

2. Разложим знаменатель дроби на множители. Для этого нужно решить кубическое уравнение:
.
Предположим, что оно имеет хотя бы один целый корень. Тогда он является делителем числа 6 (члена без x). То есть целый корень может быть одним из чисел:
1, 2, 3, 6, –1, –2, –3, –6.
Подставим x = 1:
.

Итак, мы нашли один корень x = 1. Делим на x – 1:

Отсюда
.
Решаем квадратное уравнение .
.
Корни уравнения: , .
Тогда
.

3. Разложим дробь на простейшие.

Итак, мы нашли:
.
Интегрируем.

Ответ

Пример 2

Вычислить интеграл:
.

Решение

Здесь в числителе дроби – многочлен нулевой степени (1 = x⁰). В знаменателе – многочлен третьей степени. Поскольку 0 < 3, то дробь правильная. Разложим ее на простейшие дроби.

1. Разложим знаменатель дроби на множители. Для этого нужно решить уравнение третьей степени:
.
Предположим, что оно имеет хотя бы один целый корень. Тогда он является делителем числа 3 (члена без x). То есть целый корень может быть одним из чисел:
1, 3, –1, –3.
Подставим x = 1:
.

Итак, мы нашли один корень x = 1. Делим x³ + 2x – 3 на x – 1:

Итак,
.

Решаем квадратное уравнение:
x² + x + 3 = 0.
Находим дискриминант: D = 1² – 4·3 = –11. Поскольку D < 0, то уравнение не имеет действительных корней. Таким образом, мы получили разложение знаменателя на множители:
.

2. Разложим дробь на простейшие. Ищем разложение в виде:
.
Освобождаемся от знаменателя дроби, умножаем на (x – 1)(x² + x + 3):
(2.1) .
Подставим x = 1. Тогда x – 1 = 0,
.

Подставим в (2.1) x = 0:
1 = 3A – C;
.

Приравняем в (2.1) коэффициенты при x²:
;
0 = A + B;
.

Итак, мы нашли разложение на простейшие дроби:
.

3. Интегрируем.
(2.2) .
Для вычисления второго интеграла, выделим в числителе производную знаменателя и приведем знаменатель к сумме квадратов.

;
;
.

Вычисляем I₂.

.
Поскольку уравнение x² + x + 3 = 0 не имеет действительных корней, то x² + x + 3 > 0. Поэтому знак модуля можно опустить.

Поставляем в (2.2):
.

Ответ

Пример 3

Вычислить интеграл:
.

Решение

Здесь под знаком интеграла стоит дробь из многочленов. Поэтому подынтегральное выражение является рациональной функцией. Степень многочлена в числителе равна 3. Степень многочлена знаменателя дроби равна 4. Поскольку 3 < 4, то дробь правильная. Поэтому ее можно раскладывать на простейшие дроби. Но для этого нужно разложить знаменатель на множители.

1. Разложим знаменатель дроби на множители. Для этого нужно решить уравнение четвертой степени:
.
Предположим, что оно имеет хотя бы один целый корень. Тогда он является делителем числа 2 (члена без x). То есть целый корень может быть одним из чисел:
1, 2, –1, –2.
Подставим x = –1:
.

Итак, мы нашли один корень x = –1. Делим на x – (–1) = x + 1:

Итак,
.

Теперь нужно решить уравнение третьей степени:
.
Если предположить, что это уравнение имеет целый корень, то он является делителем числа 2 (члена без x). То есть целый корень может быть одним из чисел:
1, 2, –1, –2.
Подставим x = –1:
.

Итак, мы нашли еще один корень x = –1. Можно было бы, как и в предыдущем случае, разделить многочлен на , но мы сгруппируем члены:
.

Поскольку уравнение x² + 2 = 0 не имеет действительных корней, то мы получили разложение знаменателя на множители:
.

2. Разложим дробь на простейшие. Ищем разложение в виде:
.
Освобождаемся от знаменателя дроби, умножаем на (x + 1)²(x² + 2):
(3.1) .
Подставим x = –1. Тогда x + 1 = 0,
.

Продифференцируем (3.1):

;

.
Подставим x = –1 и учтем, что x + 1 = 0:
;
; .

Подставим в (3.1) x = 0:
0 = 2A + 2B + D;
.

Приравняем в (3.1) коэффициенты при x³:
;
1 = B + C;
.

Итак, мы нашли разложение на простейшие дроби:
.

Ответ

Автор: Олег Одинцов. Опубликовано: 10-05-2015

1cov-edu.ru

Правила интегрирования | Математика

Основные правила интегрирования и таблица интегралов на начальном этапе изучения темы — полезные подсказки, которые удобно всегда иметь перед собой.

Основные правила интегрирования

Постоянный множитель выносится за знак интеграла.

Интеграл от суммы равен сумме интегралов от слагаемых.

В частности,

где k и b — числа.

Таблица неопределенных интегралов

adminНеопределенный интеграл

www.matematika.uznateshe.ru

Интегрирование дифференциального бинома

Применяемые подстановки

Рассмотрим интеграл:
,
где m, n, p – рациональные числа, a, b – действительные числа.
Подынтегральное выражение называется дифференциальным биномом. Интеграл от него сводится к интегралам от рациональных функций в трех случаях.

1) Если p – целое, то выполняется подстановка x = t^N, где N – общий знаменатель дробей m и n.
2) Если – целое, то подстановка a xⁿ + b = t^M, где M – знаменатель числа p.
3) Если – целое, подстановка a + b x^{– n} = t^M, где M – знаменатель числа p.

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

Формулы приведения (понижения или повышения показателей степеней)

В ряде случаев, сначала бывает полезным привести интеграл к более удобным значениям показателей степеней m и p. Это можно сделать с помощью формул приведения:
;
.

Доказательство формул приведения

Доказательство первой формулы

Докажем первую формулу:

Выполняем преобразования.

Интегрируем по частям, умножив на na(p+1).
u = x^m–n+1, v = (axⁿ + b)^p+1, du = (x^m–n+1)′ dx = (m–n+1) x^m–n dx.

Преобразуем оставшийся интеграл.

Подставляем.

Отсюда

Или
.

Доказательство второй формулы

Докажем вторую формулу:
.

Выполняем преобразования.

Интегрируем по частям, умножив на m + 1.
u = (axⁿ + b)^p, v = x^m+1,

Преобразуем оставшийся интеграл.

Подставляем.

Отсюда
.

Пример

Вычислить интеграл.

Решение

Преобразуем.

Это интеграл от дифференциального бинома

со значениями m = 1/3, p = 1/3, n = 2, a = – 1, b = 1.
Поскольку
– целое, то интеграл сводится к интегралу от рациональной функции третьей подстановкой:
– 1 + x^{– 2} = t³.

Возьмем дифференциал от обеих частей этого равенства.

Подставляем

Разложим дробь на простейшие.

Выделим в числителе второй дроби производную знаменателя и преобразуем знаменатель.
(t² – t + 1)′ = 2t – 1

Подставляем

Интегрируем

Окончательно имеем

Ответ

где .

Использованная литература:
Н.М. Гюнтер, Р.О. Кузьмин, Сборник задач по высшей математике, «Лань», 2003.

Автор: Олег Одинцов. Опубликовано: 05-12-2014

1cov-edu.ru

Источник

Интеграл от дроби

Нужно запомнить, что интеграл от дроби не равен интегралу числителя, деленному на интеграл знаменателя:

$[ int{frac{fleft( x right)}{gleft( x right)}dx}ne frac{int{fleft( x right)dx}}{int{gleft( x right)dx}} ]$

Первый метод вычисления интеграла от дроби

Второй метод

Для дробей типа

$[ int{frac{dx}{a{{x}^{2}}pm {{c}^{2}}}} text{ },text{ } int{frac{dx}{sqrt{a{{x}^{2}}pm {{c}^{2}}}}} text{ },text{ }int{frac{dx}{sqrt{{{c}^{2}}-a{{x}^{2}}}}}, a,cne 0 ]$

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

Третий метод вычисления интеграла от дроби

Интегралы вида

$[ int{frac{dx}{a{{x}^{2}}+bx+c}} text{ },text{ } int{frac{dx}{sqrt{a{{x}^{2}}+bx+c}}} ]$

находятся с помощью выделения полного квадрата в знаменателе, что позволит свести их к табличным интегралам.

Четвертый метод

Для интегралов вида

$[ int{frac{left( f,x+g right)dx}{a{{x}^{2}}+bx+c}} text{ },text{ } int{frac{left( f,x+g right)dx}{sqrt{a{{x}^{2}}+bx+c}}} ]$

Понравился сайт? Расскажи друзьям!

Источник

← Методы интегрирования | Интегрирование полиномиальных и рациональных функций

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

Интегрирование многочленов[править]

Многочленом, или полиномом, от одной переменной называется выражение вида:

${displaystyle P_{n}(x)=a_{0}+a_{1}cdot x+a_{2}cdot x^{2}+ldots +a_{n}cdot x^{n}=sum _{k=0}^{n}a_{k}cdot x^{k},}$

(6.1)

где ${displaystyle a_{i},;i=0,;1,;ldots ,;n}$ — некоторые вещественные или комплексные постоянные. Число — максимальная из степеней его одночленов — называется степенью многочлена.

Вычисление интеграла от многочлена $P_{n}(x)$ основано на свойстве линейности интеграла:

${displaystyle int P_{n}(x),dx=int (a_{0}+a_{1}x+a_{2}x^{2}+ldots +a_{n}x^{n}),dx=a_{0}int dx+a_{1}int x,dx+ldots +a_{n}int x^{n},dx=}$

(6.2)

${displaystyle =a_{0}x+a_{1}{frac {x^{2}}{2}}+ldots +a_{n}{frac {x^{n+1}}{n+1}}=sum _{k=0}^{n}{frac {a_{k}x^{k+1}}{k+1}}.}$

Пример 6.1. Найти интеграл

${displaystyle int (x^{3}+5x^{2}-3x+7),dx.}$

(6.3)

Решение. Используя свойства линейности интеграла, получим:

${displaystyle int (x^{3}+5x^{2}-3x+7),dx=int x^{3},dx+5int x^{2},dx-3int x,dx+7int dx={frac {1}{4}}x^{4}+{frac {5}{3}}x^{3}-{frac {3}{2}}x^{2}+7x+C.}$

(6.4)

Пример 6.2. Найти интеграл

${displaystyle int x^{2}(x^{2}+1)^{4},dx.}$

(6.5)

Решение. Раскроем скобки в подынтегральном выражении:

${displaystyle int x^{2}(x^{2}+1)^{4},dx=int (x^{10}+4x^{8}+6x^{6}+4x^{4}+x^{2}),dx.}$

(6.6)

Теперь беря интегралы от каждого слагаемого, получим:

${displaystyle int x^{2}(x^{2}+1)^{4},dx={frac {1}{11}}x^{11}+{frac {4}{9}}x^{9}+{frac {6}{7}}x^{7}+{frac {4}{5}}x^{5}+{frac {1}{3}}x^{3}+C.}$

(6.7)

Пример 6.3. Найти интеграл

${displaystyle int x^{3}(x^{2}+1)^{4},dx.}$

(6.8)

Решение. Здесь можно было поступить также, как и в примере 6.2, но проще сделать замену ${displaystyle x^{2}+1=t}$ , тогда ${displaystyle x,dx={frac {1}{2}},dt}$ и выражение ${displaystyle x^{3}(x^{2}+1)^{4},dx}$ преобразуется к виду ${displaystyle {frac {1}{2}}t^{4}(t-1),dt}$ . Получаем:

${displaystyle int x^{3}(x^{2}+1)^{4},dx={frac {1}{2}}int t^{4}(t-1),dt.}$

(6.9)

Разобьём на два интеграла и проинтегрируем каждое слагаемое:

${displaystyle {frac {1}{2}}int t^{4}(t-1),dt={frac {1}{2}}int t^{5},dt-{frac {1}{2}}int t^{4},dt={frac {1}{2}}cdot {frac {t^{6}}{6}}-{frac {1}{2}}cdot {frac {t^{5}}{5}}+C.}$

(6.10)

Возвращаясь к переменной , у нас получается:

${displaystyle int x^{3}(x^{2}+1)^{4},dx={frac {1}{12}}(x^{2}+1)^{6}-{frac {1}{10}}(x^{2}+1)^{5}+C.}$

(6.11)

Интегрирование рациональных функций[править]

Вводные замечания[править]

Рациональной функцией от переменной называется отношение двух полиномов:

${displaystyle R(x)={frac {P_{n}(x)}{Q_{m}(x)}}={frac {p_{0}+p_{1}cdot x+p_{2}cdot x^{2}+ldots +p_{n}cdot x^{n}}{q_{0}+q_{1}cdot x+q_{2}cdot x^{2}+ldots +q_{m}cdot x^{m}}}={frac {displaystyle {sum _{k=0}^{n}p_{k}cdot x^{k}}}{displaystyle {sum _{k=0}^{m}q_{k}cdot x^{k}}}},}$

(6.12)

где предполагается, что ${displaystyle p_{n}neq 0,;q_{m}neq 0;;n,;min mathbb {N} }$ . Многочлен $P_{n}(x)$ называется числителем дроби, а ${displaystyle Q_{m}(x)}$ — знаменателем. Можно считать, что многочлены $P_{n}(x)$ и ${displaystyle Q_{m}(x)}$ взаимно просты, в противном случае их можно сократить на их наибольший общий делитель (НОД).

Из теории рациональных функций известно, что если , то рациональную функцию можно разбить на многочлен степени и дробь, знаменатель которой равен знаменателю исходной дроби, а в числители стоит многочлен степени, меньшей :

${displaystyle R(x)={frac {P_{n}(x)}{Q_{m}(x)}}=S_{n-m}(x)+{frac {T_{k}(x)}{Q_{m}(x)}},quad k<m.}$

(6.13)

Далее, известно, что любой полином с комплексными коэффициентами на множестве комплексных чисел может быть представлен в виде произведения неприводимых многочленов:

${displaystyle Q_{m}(x)=A(x-x_{1})^{s_{1}}(x-x_{2})^{s_{2}}cdot ldots cdot (x-x_{k})^{s_{k}}=Aprod _{i=1}^{m}(x-x_{i}),}$

(6.14)

где ${displaystyle x_{i}in mathbb {C} }$ — корень многочлена ${displaystyle s_{i}}$ -ой степени кратности (); ${displaystyle s_{1}+s_{2}+ldots +s_{k}=m;;kleqslant m}$ ;

— коэффициент при старшей степени .

Поэтому в случае, если , дробь R(x) на множестве комплексных чисел можно представить в виде:

${displaystyle R(x)={frac {P_{n}(x)}{Q_{m}(x)}}={frac {A_{1}}{x-x_{1}}}+{frac {A_{2}}{(x-x_{1})^{2}}}+ldots +{frac {A_{s_{1}}}{(x-x_{1})^{s_{1}}}}+}$

(6.15)

${displaystyle +{frac {B_{1}}{(x-x_{2})}}+{frac {B_{2}}{(x-x_{2})^{2}}}+ldots +{frac {B_{s_{2}}}{(x-x_{2})^{s_{2}}}}+ldots +}$

${displaystyle +{frac {D_{1}}{(x-x_{k})}}+{frac {D_{2}}{(x-x_{k})^{2}}}+ldots +{frac {D_{s_{k}}}{(x-x_{k})^{s_{k}}}},}$

где ${displaystyle A_{1},;A_{2},;ldots ,;A_{s_{1}},;B_{1},;B_{2},;ldots ,;B_{s_{2}},;ldots ,;D_{1},;D_{2},;ldots ,;D_{s_{k}}}$ — некоторые в общем случае комплексные постоянные, которые можно найти, например, методом неопределённых коэффициентов или из других соображений.

В данном учебнике нас больше интересуют многочлены с действительными коэффициентами и действительными корнями. На множестве разложение многочлена на неприводимые множители будет иметь несколько иной вид:

${displaystyle Q_{m}(x)=A(x-x_{1})^{u_{1}}cdot ldots cdot (x-x_{j})^{u_{j}}cdot (x+p_{1}x+q_{1})^{v_{1}}cdot (x^{2}+p_{2}x+q_{2})^{v_{2}}cdot ldots cdot (x^{2}+p_{k}x+q_{k})^{v_{k}},}$

(6.16)

где ${displaystyle x_{i},;i=1,;2,;ldots ,;j}$ — действительные корни; ${displaystyle u_{1}+ldots +u_{j}+v_{1}+ldots +v_{k}=m}$ . Квадратные трёхчлены ${displaystyle x^{2}+p_{i}x+q_{i},;p_{i},;q_{i}in mathbb {R} }$ не имеют действительных корней.

Если рассматривать разложение дроби на простейшие на , то мы придём к следующей формуле:

${displaystyle R(x)={frac {P_{n}(x)}{Q_{m}(x)}}={frac {A_{1}}{x-x_{1}}}+{frac {A_{2}}{(x-x_{1})^{2}}}+ldots +{frac {A_{s_{1}}}{(x-x_{1})^{u_{1}}}}+ldots +}$

(6.17)

${displaystyle +{frac {D_{1}}{(x-x_{j})}}+{frac {D_{2}}{(x-x_{j})^{2}}}+ldots +{frac {D_{u_{j}}}{(x-x_{j})^{u_{j}}}}+}$

${displaystyle +{frac {K_{1}x+L_{1}}{x^{2}+p_{1}x+q_{1}}}+{frac {K_{2}x+L_{2}}{(x^{2}+p_{1}x+q_{1})^{2}}}+ldots +{frac {K_{v_{1}}x+L_{v_{1}}}{(x^{2}+p_{1}x+q_{1})^{v_{1}}}}+ldots +}$

${displaystyle +{frac {M_{1}x+N_{1}}{x^{2}+p_{k}x+q_{k}}}+{frac {M_{2}x+N_{2}}{(x^{2}+p_{k}x+q_{k})^{2}}}+ldots +{frac {M_{v_{k}}x+N_{v_{k}}}{(x^{2}+p_{k}x+q_{k})^{v_{k}}}},}$

где все коэффициенты — действительные числа.

Рассмотрим пример на разложение дроби.

Пример 6.4 Разложить на простые дроби:

${displaystyle {frac {x^{6}-6x^{4}+24x^{3}-42x^{2}+79x-57}{x^{4}+3x^{3}-x^{2}+9x-12}}.}$

(6.18)

Решение. Как мы видим, степень числителя превосходит степень знаменателя, значит у дроби можно выделить целую часть, а затем получившуюся правильную дробь можно разложить на простые дроби. Но мы воспользуемся методом неопределённых коэффициентов и сразу получим интересующее нас разложение. Решая уравнение четвёртой степени методом подбора (можно воспользоваться методом Феррари), найдём корни знаменателя и разложим многочлен на неприводимые множители:

${displaystyle x^{4}+3x^{3}-x^{2}+9x-12=(x-3)(x+4)(x^{2}+3),}$

(6.19)

следовательно дробь (6.18) согласно (6.13) и (6.17) можно представить в виде:

${displaystyle {frac {x^{6}-6x^{4}+24x^{3}-42x^{2}+79x-57}{x^{4}+3x^{3}-x^{2}+9x-12}}=Ax^{2}+Bx+C+{frac {D}{x-3}}+{frac {E}{x+4}}+{frac {Fx+G}{x^{2}+3}}.}$

(6.20)

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

${displaystyle {begin{array}{r}x^{6}:\x^{5}:\x^{4}:\x^{3}:\x^{2}:\x^{1}:\x^{0}:end{array}};;left{{begin{array}{l}A=1;\3A+B=0;\-A+3B+C=-6;\9A-B+3C+D+E+F=24;\-12A+9B-C+4D-E+3F+G=-42;\-12B+9C+3D+3E-4F+3G=79;\-12C+12D-3E-4G=-57;end{array}}right.}$

(6.21)

Решая систему линейных уравнений, найдём:

${displaystyle A=1,;B=-3,;C=4,;D=-{frac {1}{20}},;E={frac {21}{65}},;F=-{frac {13}{76}},;G={frac {147}{76}}.}$

(6.22)

Подставим найденные коэффициенты в формулу (6.20):

${displaystyle {frac {x^{6}-6x^{4}+24x^{3}-42x^{2}+79x-57}{x^{4}+3x^{3}-x^{2}+9x-12}}=x^{2}-3x+4-{frac {1}{20}}cdot {frac {1}{x-3}}+{frac {21}{65}}cdot {frac {1}{x+4}}-{frac {1}{76}}cdot {frac {13x-147}{x^{2}+3}}.}$

(6.23)

Пример 6.5 Разложить на простые дроби:

${displaystyle {frac {1}{x^{n}+1}}.}$

(6.24)

Решение. Случай, когда или , нас не интересует, так как при этом двучлен будет неприводимым на множестве действительных чисел . Рассмотрим случай, когда .

Найдём корни уравнения ${displaystyle x^{n}+1=0}$ , переписав в виде и воспользовавшись формулой Муавра для извлечения корня:

${displaystyle x_{l}=cos {frac {pi +2pi l}{n}}+isin {frac {pi +2pi l}{n}}=a_{l}+ib_{l},quad l=0,;1;ldots ,;n-1,}$

(6.25)

где ${displaystyle a_{l}=cos {frac {pi +2pi l}{n}}}$ и ${displaystyle b_{l}=sin {frac {pi +2pi l}{n}}}$ — действительные числа.

На множестве действительных чисел у многочлена с действительными коэффициентами помимо комплексного корня имеется и его сопряжённый , значит в разложении многочлена ${displaystyle x^{n}+1}$ на неприводимые можно выделить квадратичные трёхчлены вида:

${displaystyle x^{2}-2a_{l}x+a_{l}^{2}+b_{l}^{2}}$

(6.26)

(доказательство этого факта см. в Дополнении).

Если воспользоваться основным тригонометрическим тождеством, получим, что

${displaystyle a_{l}^{2}+b_{l}^{2}=left(sin {frac {pi +2pi l}{n}}right)^{2}+left(cos {frac {pi +2pi l}{n}}right)^{2}=1}$

(6.27)

Известно, что у многочлена нечётной степени с действительными коэффициентами имеется по крайней мере один действительный корень (в данном случае ), следовательно:

${displaystyle x^{n}+1={begin{cases}displaystyle {prod _{l=0}^{n-1}(x-x_{l})=prod _{l=0}^{k}(x^{2}-2a_{l}x+1),}&n=2k;\displaystyle {prod _{l=0}^{n-1}(x-x_{l})=(x+1)prod _{l=0}^{k}(x^{2}+2a_{l}x+1),}&n=2k+1.end{cases}}}$

(6.28)

Значит выражение (6.24) имеет следующее разложение на простые дроби:

${displaystyle {frac {1}{x^{n}+1}}={begin{cases}displaystyle {sum _{l=0}^{k-1}{frac {A_{l}x+B_{l}}{x^{2}-2a_{l}x+1}},}&n=2k;\displaystyle {{frac {A_{n}}{x+1}}+sum _{l=0}^{k-1}{frac {A_{l}x+B_{l}}{x^{2}-2a_{l}x+1}},}&n=2k+1,end{cases}}}$

(6.29)

где

${displaystyle a_{l}=cos left({dfrac {pi +2pi l}{n}}right).}$

Теперь останется только методом неопределённых коэффициентов найти ${displaystyle A_{l}}$ , ${displaystyle B_{l}}$ и ${displaystyle A_{n}}$ .

Например, для по формуле (6.29) в общем виде получаем:

${displaystyle {frac {1}{x^{3}+1}}={frac {C}{x+1}}+{frac {Ax+B}{x^{2}-x+1}}.}$

(6.30)

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

${displaystyle {frac {1}{x^{3}+1}}={frac {1}{3}}cdot {frac {1}{x+1}}-{frac {1}{3}}{frac {x-2}{x^{2}-x+1}}.}$

(6.31)

Для :

${displaystyle {frac {1}{x^{4}+1}}={frac {Ax+B}{x^{2}+{sqrt {2}}x+1}}+{frac {Cx+D}{x^{2}-{sqrt {2}}x+1}}}$

(6.32)

или после соответствующих манипуляций:

${displaystyle {frac {1}{x^{4}+1}}={frac {1}{4}}cdot {frac {{sqrt {2}}x+2}{x^{2}+{sqrt {2}}x+1}}-{frac {1}{4}}cdot {frac {{sqrt {2}}x-2}{x^{2}-{sqrt {2}}x+1}}.}$

(6.33)

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

Пример 6.6 Найти интеграл

${displaystyle int {frac {2x^{3}+6x^{2}+7x+3}{(x^{4}+4x^{3}+7x^{2}+6x+2)^{2}}},dx.}$

(6.34)

Решение. Замечая, что числитель представляет собой производную основания степенного выражения, стоящего в знаменателе (только производная умножена на ${displaystyle {frac {1}{2}}}$ ), не разлагая на простейшие дроби, сразу же получаем:

${displaystyle int {frac {2x^{3}+6x^{2}+7x+3}{(x^{4}+4x^{3}+7x^{2}+6x+2)^{2}}},dx={frac {1}{2}}int {frac {d(x^{4}+4x^{3}+7x^{2}+6x+2)}{(x^{4}+4x^{3}+7x^{2}+6x+2)^{2}}}=}$

(6.35)

${displaystyle =-{frac {1}{2}}{frac {1}{x^{4}+4x^{3}+7x^{2}+6x+2}}+C.}$

Пример 6.7 Найти интеграл

${displaystyle int {frac {x^{3}-6x^{2}+12x-8}{x-2}},dx.}$

(6.36)

Решение. Можно заметить, что числитель представляет собой куб разности:

${displaystyle int {frac {x^{3}-6x^{2}+12x-8}{x-2}},dx=int {frac {(x-2)^{3}}{x-2}},;dx.}$

(6.37)

Сократим дробь:

${displaystyle int {frac {(x-2)^{3}}{x-2}},;dx=int (x-2)^{2},dx.}$

(6.38)

Теперь вычислить интеграл не составит труда:

${displaystyle int {frac {x^{3}-6x^{2}+12x-8}{x-2}},dx=int (x-2)^{2},dx=int (x-2)^{2},d(x-2)={frac {(x-2)^{3}}{3}}+C.}$

(6.39)

Интегрирование простых дробей[править]

Как мы видели из предыдущего пункта, интегрирование рациональной функции сводится к интегрированию суммы простых дробей вида:

${displaystyle {frac {A}{(x-a)^{n}}}}$

и ${displaystyle {frac {Mx+N}{(x^{2}+px+q)^{m}}},quad n,;min mathbb {N} ,}$

(6.40)

а в случае неправильной дроби ещё и к интегрированию многочлена (см. пункт «Интегрирование многочленов» этой главы).

Возьмём интеграл от дроби первого типа:

${displaystyle int {frac {A}{(x-a)^{n}}},dx=Aint {frac {d(x-a)}{(x-a)^{n}}}={begin{cases}-{dfrac {A}{n-1}}{dfrac {1}{(x-a)^{n-1}}}+C,&nneq 1;\Aln |x-a|+C,&n=1.end{cases}}}$

(6.41)

Исследуем интегралы от дробей второго типа. Сначала рассмотрим следующий интеграл:

${displaystyle int {frac {dx}{ax^{2}+bx+c}},}$

(6.42)

где ; , иначе мы бы имели в знаменателе линейный двучлен, интеграл от которого рассмотрен выше.

Постоянную можно вынести за знак интеграла и получить в знаменателе приведённый квадратный трёхчлен:

${displaystyle int {frac {dx}{ax^{2}+bx+c}}={frac {1}{a}}int {frac {dx}{x^{2}+px+q}},}$

(6.43)

где ${displaystyle p={frac {b}{a}},;q={frac {c}{a}}}$ .

Выделим в квадратном трёхчлена полный квадрат:

${displaystyle {frac {1}{a}}int {frac {dx}{x^{2}+px+q}}={frac {1}{a}}int {frac {dx}{x^{2}+2cdot {dfrac {p}{2}}cdot x+left({dfrac {p}{2}}right)^{2}+q-left({dfrac {p}{2}}right)^{2}}}={frac {1}{a}}int {frac {dx}{left(x+{dfrac {p}{2}}right)^{2}+q-{dfrac {p^{2}}{4}}}}.}$

(6.44)

Исследуем выражение в зависимости от знака ${displaystyle q-{frac {p^{2}}{4}}}$ . Если ${displaystyle q-{frac {p^{2}}{4}}>0}$ , то можно написать, что ${displaystyle q-{frac {p^{2}}{4}}=s^{2}}$ и интеграл (6.44) запишется в виде:

${displaystyle {frac {1}{a}}int {frac {dx}{left(x+{dfrac {p}{2}}right)^{2}+q-{dfrac {p^{2}}{4}}}}={frac {1}{a}}int {frac {dx}{left(x+{dfrac {p}{2}}right)^{2}+s^{2}}}={frac {1}{a}}int {frac {dleft(x+{dfrac {p}{2}}right)}{left(x+{dfrac {p}{2}}right)^{2}+s^{2}}}={frac {1}{a}}{frac {1}{s}},mathrm {arctg} ,{frac {x+{dfrac {p}{2}}}{s}}+C}$

(6.45)

или возвращаясь к :

${displaystyle int {frac {dx}{ax^{2}+bx+c}}={frac {2}{sqrt {4ac-b^{2}}}},mathrm {arctg} ,{frac {2ax+b}{sqrt {4ac-b^{2}}}}+C.}$

(6.46)

Допустим теперь, что ${displaystyle q-{frac {p^{2}}{4}}<0}$ , тогда ${displaystyle q-{frac {p^{2}}{4}}=-s^{2}}$ :

${displaystyle {frac {1}{a}}int {frac {dx}{left(x+{dfrac {p}{2}}right)^{2}+q-{dfrac {p^{2}}{4}}}}={frac {1}{a}}int {frac {dx}{left(x+{dfrac {p}{2}}right)^{2}-s^{2}}}={frac {1}{a}}int {frac {dleft(x+{dfrac {p}{2}}right)}{left(x+{dfrac {p}{2}}right)^{2}-s^{2}}}=}$

(6.47)

${displaystyle ={frac {1}{a}}{frac {1}{2s}}ln left|{frac {x+{dfrac {p}{2}}-s}{x+{dfrac {p}{2}}+s}}right|+C={frac {1}{sqrt {b^{2}-4ac}}}ln left|{frac {2ax+b-{sqrt {b^{2}-4ac}}}{2ax+b+{sqrt {b^{2}-4ac}}}}right|+C.}$

Если же ${displaystyle q-{frac {p^{2}}{4}}=0}$ , то

${displaystyle {frac {1}{a}}int {frac {dx}{x^{2}+px+q}}={frac {1}{a}}int {frac {dx}{left(x+{dfrac {p}{2}}right)^{2}}}={frac {1}{a}}int {frac {dleft(x+{dfrac {p}{2}}right)}{left(x+{dfrac {p}{2}}right)^{2}}}=-{frac {1}{a}}{frac {1}{x+{dfrac {p}{2}}}}+C=-{frac {2}{2ax+b}}+C.}$

(6.48)

Подведём итог:

${displaystyle int {frac {dx}{ax^{2}+bx+c}}={begin{cases}{dfrac {2}{sqrt {4ac-b^{2}}}},mathrm {arctg} ,{dfrac {2ax+b}{sqrt {4ac-b^{2}}}}+C,&b^{2}-4ac<0;\{dfrac {1}{sqrt {b^{2}-4ac}}}ln left|{dfrac {2ax+b-{sqrt {b^{2}-4ac}}}{2ax+b+{sqrt {b^{2}-4ac}}}}right|+C,&b^{2}-4ac>0;\-{dfrac {2}{2ax+b}}+C,&b^{2}-4ac=0.end{cases}}}$

(6.49)

Хочется отметить, что в случае ${displaystyle b^{2}-4ac>0}$ , дробь (6.42) не считается простой [так как может быть разложена на дроби вида (6.41)], но в образовательных целях здесь приведён её полный анализ.

Пример 6.8. Решить интеграл

${displaystyle int {frac {dx}{x^{2}-8x+25}}.}$

(6.50)

Решение. Выделим в знаменателе полный квадрат:

${displaystyle int {frac {dx}{x^{2}-8x+25}}=int {frac {dx}{x^{2}-2cdot 4cdot x+16+25-16}}=int {frac {dx}{(x-4)^{2}+9}}.}$

(6.51)

Теперь можно взять интеграл:

${displaystyle int {frac {dx}{(x-4)^{2}+9}}=int {frac {d(x-4)}{(x-4)^{2}+3^{2}}}={frac {1}{3}},mathrm {arctg} ,{frac {x-4}{3}}+C.}$

(6.52)

Рассмотрим теперь интеграл вида:

${displaystyle int {frac {dx}{(ax^{2}+bx+c)^{n}}},}$

(6.53)

где .

Как и в случае интеграла (6.42) выделим в знаменателе полный квадрат:

${displaystyle int {frac {dx}{(ax^{2}+bx+c)^{n}}}=int {frac {dx}{a^{n}left(x^{2}+2cdot {dfrac {b}{2a}}cdot x+left({dfrac {b}{2a}}right)^{2}+{dfrac {c}{a}}-left({dfrac {b}{2a}}right)^{2}right)^{n}}}=}$

(6.53)

${displaystyle ={frac {1}{a^{n}}}int {frac {dx}{left(left(x+{dfrac {b}{2a}}right)^{2}+{dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}right)^{n}}}.}$

Будем считать, что ${displaystyle {dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}>0}$ , иначе мы могли бы разложить дробь на простые. Сделаем замену ${displaystyle t=x+{frac {b}{2a}}}$ и обозначим ${displaystyle {dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}=s^{2}}$ , тогда выражение (6.53) преобразуется к виду:

${displaystyle {frac {1}{a^{n}}}int {frac {dx}{left(left(x+{dfrac {b}{2a}}right)^{2}+{dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}right)^{n}}}={frac {1}{a^{n}}}int {frac {dt}{(t^{2}+s^{2})^{n}}}.}$

(6.54)

В примере 5.9 нами уже была получена рекуррентная формула для нахождения интеграла в зависимости от . Покажем ещё один способ. Преобразуем правый интеграл в выражении (6.54) следующим образом:

${displaystyle int {frac {dt}{(t^{2}+s^{2})^{n}}}={frac {1}{s^{2}}}int {frac {t^{2}+s^{2}-t^{2}}{(t^{2}+s^{2})^{n}}},dt={frac {1}{s^{2}}}int {frac {t^{2}+s^{2}}{(t^{2}+s^{2})^{n}}},dt-{frac {1}{s^{2}}}int {frac {t^{2},dt}{(t^{2}+s^{2})^{n}}}.}$

(6.55)

В первом слагаемом после сокращения на ${displaystyle t^{2}+s^{2}}$ получается исходный интеграл только степени n-1 ; второе слагаемое можно вычислить взятием по частям:

${displaystyle int {frac {t^{2},dt}{(t^{2}+s^{2})^{n}}}left[{begin{array}{ll}u=t&du=dt\dv={dfrac {t,dt}{(t^{2}+s^{2})^{n}}}&displaystyle {v=int {frac {t,dt}{(t^{2}+s^{2})^{n}}}={dfrac {1}{2}}int {frac {d(t^{2}+s^{2})}{(t^{2}+s^{2})^{n}}}=}\&displaystyle {=-{frac {1}{2}}{frac {1}{n-1}}{frac {1}{(t^{2}+s^{2})^{n-1}}}}end{array}}right]=}$

(6.56)

${displaystyle =-{frac {1}{2}}{frac {1}{n-1}}{frac {t}{(t^{2}+s^{2})^{n-1}}}+{frac {1}{2}}{frac {1}{n-1}}int {frac {dt}{(t^{2}+s^{2})^{n-1}}}.}$

Здесь мы снова пришли к интересующему нас интегралу, но в меньшей степени. Подставим найденные выражения в (6.55):

${displaystyle int {frac {dt}{(t^{2}+s^{2})^{n}}}={frac {1}{s^{2}}}int {frac {dt}{(t^{2}+s^{2})^{n-1}}}+{frac {1}{2s^{2}}}{frac {1}{n-1}}{frac {t}{(t^{2}+s^{2})^{n-1}}}-{frac {1}{2s^{2}}}{frac {1}{n-1}}int {frac {dt}{(t^{2}+s^{2})^{n-1}}}.}$

(6.57)

Приведём подобные:

${displaystyle int {frac {dt}{(t^{2}+s^{2})^{n}}}={frac {1}{2s^{2}(n-1)}}{frac {t}{(t^{2}+s^{2})^{n-1}}}+{frac {2n-3}{2s^{2}(n-1)}}int {frac {dt}{(t^{2}+s^{2})^{n-1}}}.}$

(6.58)

Вернёмся снова к переменной и коэффициентам :

${displaystyle {frac {1}{a^{n}}}int {frac {dt}{(t^{2}+s^{2})^{n}}}={frac {1}{2left({dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}right)(n-1)a^{n}}}{frac {x+{dfrac {b}{2a}}}{left(left(x+{dfrac {b}{2a}}right)^{2}+{dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}right)^{n-1}}}+}$

(6.59)

${displaystyle +{frac {2n-3}{2left({dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}right)(n-1)a^{n}}}int {frac {dx}{left(left(x+{dfrac {b}{2a}}right)^{2}+{dfrac {c}{a}}-{dfrac {b^{2}}{4a^{2}}}right)^{n-1}}}.}$

Проведя упрощения, окончательно получим:

${displaystyle int {frac {dx}{(ax^{2}+bx+c)^{n}}}={frac {2ax+b}{(n-1)(4ac-b^{2})(ax^{2}+bx+c)^{n-1}}}+{frac {2a(2n-3)}{(n-1)(4ac-b^{2})}}int {frac {dx}{(ax^{2}+bx+c)^{n-1}}}}$

(6.60)

Сейчас приступим непосредственно к рассмотрению интегралов вида:

${displaystyle int {frac {Mx+N}{x^{2}+px+q}},dx,}$

(6.61)

где знаменатель не приводим на .

Как и прежде дополним квадратный трёхчлен в знаменателе до полного квадрата:

${displaystyle int {frac {Mx+N}{x^{2}+px+q}},dx=int {frac {Mx+N}{left(x+{dfrac {p}{2}}right)^{2}+q-{dfrac {p^{2}}{4}}}},dx.}$

(6.62)

Сделаем подстановку ${displaystyle t=x+{frac {p}{2}}}$ . Так как ${displaystyle q-{frac {p^{2}}{4}}>0}$ , введём обозначение ${displaystyle q-{frac {p^{2}}{4}}=a^{2}}$ . Получаем:

${displaystyle int {frac {Mx+N}{left(x+{dfrac {p}{2}}right)^{2}+q-{dfrac {p^{2}}{4}}}},dx=int {frac {Mt+N-{dfrac {Mp}{2}}}{t^{2}+a^{2}}},dt.}$

(6.63)

Разобьём сумму на два интеграла:

${displaystyle int {frac {Mt+N-{dfrac {Mp}{2}}}{t^{2}+a^{2}}},dt=Mint {frac {t,dt}{t^{2}+a^{2}}}+left(N-{frac {Mp}{2}}right)int {frac {dt}{t^{2}+a^{2}}}.}$

(6.64)

Вычислим первый интеграл:

${displaystyle Mint {frac {t,dt}{t^{2}+a^{2}}}={frac {M}{2}}int {frac {d(t^{2}+a^{2})}{t^{2}+a^{2}}}={frac {M}{2}}ln |t^{2}+a^{2}|+C.}$

(6.65)

Второй интеграл табличный:

${displaystyle left(N-{frac {Mp}{2}}right)int {frac {dt}{t^{2}+a^{2}}}={frac {1}{a}}left(N-{frac {Mp}{2}}right),mathrm {arctg} ,{frac {t}{a}}+C.}$

(6.66)

Подставляя два последних выражения в (6.64) и возвращаясь к переменной и постоянным и , для интеграла (6.61) будем иметь следующее общее решение:

${displaystyle int {frac {Mx+N}{x^{2}+px+q}},dx={frac {M}{2}}ln(x^{2}+px+q)+{frac {2N-Mp}{sqrt {4q-p^{2}}}},mathrm {arctg} ,{frac {2x+p}{sqrt {4q-p^{2}}}}+C.}$

(6.67)

Рассмотрим интеграл вида:

${displaystyle int {frac {Mx+N}{(x^{2}+px+q)^{m}}},dx,}$

(6.68)

где .

Дополняя до полного квадрата и применяя подстановку ${displaystyle t=x+{frac {p}{2}}}$ , как и в случае, описанном выше, интеграл можно разбить на два:

${displaystyle int {frac {Mx+N}{(x^{2}+px+q)^{m}}},dx=Mint {frac {t,dt}{(t^{2}+a^{2})^{m}}}+left(N-{frac {Mp}{2}}right)int {frac {dt}{(t^{2}+a^{2})^{m}}}.}$

(6.69)

Для первого интеграла получаем:

${displaystyle Mint {frac {t,dt}{(t^{2}+a^{2})^{m}}}={frac {M}{2}}int {frac {d(t^{2}+a^{2})}{(t^{2}+a^{2})^{m}}}=-{frac {M}{2}}{frac {1}{m-1}}{frac {1}{(t^{2}+a^{2})^{m-1}}}+C.}$

(6.70)

Ко второму интегралу можно применить формулу приведения (6.58):

${displaystyle left(N-{frac {Mp}{2}}right)int {frac {dt}{(t^{2}+a^{2})^{m}}}={frac {1}{2a^{2}(m-1)}}left(N-{frac {Mp}{2}}right){frac {t}{(t^{2}+a^{2})^{m-1}}}+{frac {2m-3}{2a^{2}(m-1)}}left(N-{frac {Mp}{2}}right)int {frac {dt}{(t^{2}+a^{2})^{m-1}}}.}$

(6.71)

После соответствующих подстановок и преобразований окончательно получим следующую формулу:

${displaystyle int {frac {Mx+N}{(x^{2}+px+q)^{m}}},dx={frac {(2N-Mp)x+Np-2Mq}{(m-1)(4q-p^{2})(x^{2}+px+q)^{m-1}}}+{frac {(2m-3)(2N-Mp)}{(m-1)(4q-p^{2})}}int {frac {dx}{(x^{2}+px+q)^{m-1}}}.}$

(6.72)

Пример 6.9. Решить интеграл

${displaystyle int {frac {3x-1}{(x^{2}-x+1)^{2}}},dx.}$

(6.73)

Решение. Выделим в знаменателе полный квадрат:

${displaystyle int {frac {3x-1}{(x^{2}-x+1)^{2}}},dx=int {frac {(3x-1),dx}{left(x^{2}-2cdot x{dfrac {1}{2}}+left({dfrac {1}{2}}right)^{2}+1-left({dfrac {1}{2}}right)^{2}right)^{2}}}=int {frac {(3x-1),dx}{left(left(x-{dfrac {1}{2}}right)^{2}+{dfrac {3}{4}}right)^{2}}}.}$

(6.74)

Применим подстановку ${displaystyle t=x-{frac {1}{2}}}$ :

${displaystyle int {frac {(3x-1),dx}{left(left(x-{dfrac {1}{2}}right)^{2}+{dfrac {3}{4}}right)^{2}}}=int {frac {3left(t+{dfrac {1}{2}}right)-1}{left(t^{2}+{dfrac {3}{4}}right)^{2}}},dt=3int {frac {t,dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}+{frac {1}{2}}int {frac {dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}.}$

(6.75)

Вычислим интеграл в первом слагаемом:

${displaystyle 3int {frac {t,dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}={frac {3}{2}}int {frac {dleft(t^{2}+{dfrac {3}{4}}right)}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}=-{frac {3}{2}}{frac {1}{t^{2}+{dfrac {3}{4}}}}+C.}$

(6.76)

Для нахождения интеграла во втором слагаемом преобразуем его:

${displaystyle {frac {1}{2}}int {frac {dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}={frac {1}{2}}cdot {frac {4}{3}}int {frac {t^{2}+{dfrac {3}{4}}-t^{2}}{left(t^{2}+{dfrac {3}{4}}right)^{2}}},dt={frac {2}{3}}int {frac {t^{2}+{dfrac {3}{4}}}{left(t^{2}+{dfrac {3}{4}}right)^{2}}},dt-{frac {2}{3}}int {frac {t^{2},dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}=}$

(6.77)

${displaystyle ={frac {2}{3}}int {frac {dt}{t^{2}+{dfrac {3}{4}}}}-{frac {2}{3}}int {frac {t^{2},dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}.}$

Первый интеграл в сумме является табличным:

${displaystyle {frac {2}{3}}int {frac {dt}{t^{2}+{dfrac {3}{4}}}}={frac {2}{3}}int {frac {dt}{t^{2}+left({dfrac {sqrt {3}}{2}}right)^{2}}}={frac {2}{3}}cdot {frac {2}{sqrt {3}}},mathrm {arctg} ,{frac {t}{dfrac {sqrt {3}}{2}}}+C={frac {4{sqrt {3}}}{9}},mathrm {arctg} ,{frac {2{sqrt {3}}}{3}}t+C.}$

(6.78)

Ко второму слагаемому применим интегрирование по частям:

${displaystyle -{frac {2}{3}}int {frac {t^{2},dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}left[{begin{array}{ll}u=t&du=dt\displaystyle {dv=-{frac {2}{3}}{frac {t,dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}}&displaystyle {v=-{frac {2}{3}}int {frac {t,dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}=-{frac {1}{3}}int {frac {dleft(t^{2}+{dfrac {3}{4}}right)}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}=}\&={dfrac {1}{3}}{dfrac {1}{t^{2}+{dfrac {3}{4}}}}end{array}}right]=}$

(6.79)

${displaystyle ={frac {1}{3}}{frac {t}{t^{2}+{dfrac {3}{4}}}}-{frac {1}{3}}int {frac {dt}{t^{2}+{dfrac {3}{4}}}}={frac {1}{3}}{frac {t}{t^{2}+{dfrac {3}{4}}}}-{frac {2{sqrt {3}}}{9}},mathrm {arctg} ,{frac {2{sqrt {3}}}{3}}t+C.}$

Подставим найденные интегралы в (6.75):

${displaystyle 3int {frac {t,dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}+{frac {1}{2}}int {frac {dt}{left(t^{2}+{dfrac {3}{4}}right)^{2}}}=-{frac {3}{2}}{frac {1}{t^{2}+{dfrac {3}{4}}}}+{frac {4{sqrt {3}}}{9}},mathrm {arctg} ,{frac {2{sqrt {3}}}{3}}t+{frac {1}{3}}{frac {t}{t^{2}+{dfrac {3}{4}}}}-{frac {2{sqrt {3}}}{9}},mathrm {arctg} ,{frac {2{sqrt {3}}}{3}}t+C=}$

(6.80)

${displaystyle ={frac {1}{6}}{frac {2t-9}{t^{2}+{dfrac {3}{4}}}}+{frac {2{sqrt {3}}}{9}},mathrm {arctg} ,{frac {2{sqrt {3}}}{3}}t+C.}$

Вернёмся к исходной переменной:

${displaystyle int {frac {3x-1}{(x^{2}-x+1)^{2}}},dx={frac {1}{6}}{frac {2left(x-{dfrac {1}{2}}right)-9}{x^{2}-x+1}}+{frac {2{sqrt {3}}}{9}},mathrm {arctg} ,left({frac {2{sqrt {3}}}{3}}left(x-{dfrac {1}{2}}right)right)+C=}$

(6.81)

${displaystyle ={frac {1}{3}}{frac {x-5}{x^{2}-x+1}}+{frac {2{sqrt {3}}}{9}},mathrm {arctg} ,left({frac {2{sqrt {3}}x-{sqrt {3}}}{3}}right)+C.}$

Как мы видели, при интегрировании дробей ${displaystyle {frac {Mx+N}{(x^{2}+px+q)^{m}}}}$ исходный интеграл разбивался на два: содержащий переменную интегрирования в числителе и не содержащий. В методе, изложенном выше, это достигалось за счёт применения соответствующей подстановки. Укажем другой способ разбиения на слагаемые. Выражение, стоящее в числителе дроби, лишь значением коэффициентов отличается от производной трёхчлена в знаменателе. Этот факт является предпосылкой сведения выражения к такому виду, чтобы можно было воспользоваться методом заведения под дифференциал.

Итак, преобразуем интеграл (6.68):

${displaystyle int {frac {Mx+N}{(x^{2}+px+q)^{m}}},dx=int {frac {{dfrac {M}{2}}(2x+p)+N-{dfrac {Mp}{2}}}{(x^{2}+px+q)^{m}}},dx=}$

(6.82)

${displaystyle ={frac {M}{2}}int {frac {d(x^{2}+px+q)}{(x^{2}+px+q)^{m}}}+left(N-{frac {Mp}{2}}right)int {frac {dx}{(x^{2}+px+q)^{m}}}.}$

Интегралом первого слагаемого в зависимости от показателя может являться либо степенная функция, либо натуральный логарифм. Для второго слагаемого применимы методы, описанные при исследовании интеграла (6.53). Этим способом преобразования можно пользоваться и в том случае, когда — рациональное число, главное чтобы интеграл ${displaystyle int {frac {dx}{(x^{2}+px+q)^{m}}}}$ при данном показателе был интегрируем в квадратурах. Какой способ преобразований выбирать — дело вкуса, потому что всё равно в интегралах в конечном счёте приходится выделять полный квадрат.

Пример 6.10. Решить интеграл

${displaystyle int {frac {5x-3}{x^{2}-2x+3}},dx.}$

(6.83)

Решение. Преобразуем интеграл к виду (6.82):

${displaystyle int {frac {5x-3}{x^{2}-2x+3}},dx=int {frac {{dfrac {5}{2}}(2x-2)-3+5}{x^{2}-2x+3}},dx={frac {5}{2}}int {frac {(2x-2),dx}{x^{2}-2x+3}}+2int {frac {dx}{x^{2}-2x+3}}.}$

(6.84)

Теперь найти интеграл от первого слагаемого не составит труда:

${displaystyle {frac {5}{2}}int {frac {(2x-2),dx}{x^{2}-2x+3}}={frac {5}{2}}int {frac {d(x^{2}-2x+3)}{x^{2}-2x+3}}={frac {5}{2}}ln(x^{2}-2x+3)+C.}$

(6.85)

Во втором слагаемом выделим полный квадрат:

${displaystyle 2int {frac {dx}{x^{2}-2x+3}}=2int {frac {dx}{x^{2}-2x+1+2}}=2int {frac {dx}{(x-1)^{2}+2}}=2int {frac {d(x-1)}{(x-1)^{2}+left({sqrt {2}}right)^{2}}}=}$

(6.86)

${displaystyle ={frac {2}{sqrt {2}}},mathrm {arctg} ,{frac {x-1}{sqrt {2}}}+C={sqrt {2}},mathrm {arctg} ,{frac {x-1}{sqrt {2}}}+C.}$

В итоге имеем следующий ответ:

${displaystyle int {frac {5x-3}{x^{2}-2x+3}},dx={frac {5}{2}}ln(x^{2}-2x+3)+{sqrt {2}},mathrm {arctg} ,{frac {x-1}{sqrt {2}}}+C.}$

(6.87)

Метод Остроградского[править]

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

Так как по теореме Абеля — Руффини уравнение со степенью, выше четвёртой, не разрешимо в радикалах, то разложение знаменателя на неприводимые множители сопряжено со значительными трудностями. Если все коэффициенты многочлена, стоящего в знаменатели дроби, целые^[1], то существуют алгоритмы нахождения корней методом перебора делителей старшего и свободного члена. Этот процесс трудоёмкий, особенно если делителей очень много. Позднее появился так называемый полиномиальный LLL-алгоритм (алгоритм Ленстры — Ленстры — Ловаса).

Из-за вычислительных трудностей хотелось бы иметь некий метод, позволяющий сразу получить разбиение исходной дроби на алгебраическую часть и трансцендентную без нахождения нулей знаменателя. Таким метод стал метод, предложенный М. В. Остроградским. В 1844 году он доказал следующую теорему.

Теорема 6.1. Если $P_{n}(x)$ и ${displaystyle Q_{m}(x)}$ () — многочлены с действительными коэффициентами, не имеющие общих корней, тогда интеграл от правильной дроби ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ можно представить в виде суммы рациональной и трансцендентной частей:

${displaystyle int {frac {P_{n}(x)}{Q_{m}(x)}},dx={frac {K_{s}(x)}{L_{m-k}(x)}}+int {frac {U_{t}(x)}{V_{k}(x)}},dx,}$

(6.88)

где ${displaystyle L_{m-k}(x)}$ — наибольший общий делитель многочлена ${displaystyle Q_{m}(x)}$ и его производной ${displaystyle Q'_{m}(x)}$ ;

${displaystyle V_{k}(x)={frac {Q_{m}(x)}{L_{m-k}(x)}};}$

${displaystyle K_{s}(x)}$

и ${displaystyle U_{t}(x)}$

— многочлены с неопределёнными коэффициентами (

Доказательство теоремы 6.1

Как уже известно, любой многочлен на может быть представлен в виде^[2]:

${displaystyle Q_{m}(x)=prod _{i=1}^{g}(x-x_{i})^{u_{i}}prod _{j=1}^{h}(x^{2}+p_{j}x+q_{j})^{v_{j}},}$

(6.89)

где $x_{i}$ — действительный корень кратности ${displaystyle u_{i}}$ ();

${displaystyle x^{2}+p_{j}x+q_{j}}$

( ${displaystyle p_{j},;q_{j}in mathbb {R} }$

) — неприводимый на множестве действительных чисел квадратный трёхчлен. Он представляет собой произведение двух комплексно сопряжённых корней многочлена ${displaystyle Q_{m}(x)}$

кратности ${displaystyle v_{j}}$

(

);

${displaystyle sum _{i=1}^{g}u_{i}+2sum _{j=1}^{h}v_{j}=m.}$

В разложении ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ на простые дроби каждому действительному корню $x_{i}$ кратности ${displaystyle u_{i}}$ будут соответствовать слагаемые:

${displaystyle {frac {A_{1}^{(i)}}{x-x_{i}}}+{frac {A_{2}^{(i)}}{(x-x_{i})^{2}}}+ldots +{frac {A_{u_{i}}^{(i)}}{(x-x_{i})^{u_{i}}}},}$

(6.90)

а каждой паре комплексно сопряжённых корней (соответственно, неприводимому квадратному трёхчлену) — слагаемые:

${displaystyle {frac {M_{1}^{(j)}x+N_{1}^{(j)}}{x^{2}+p_{j}x+q_{j}}}+{frac {M_{2}^{(j)}x+N_{2}^{(j)}}{(x^{2}+p_{j}x+q_{j})^{2}}}+ldots +{frac {M_{v_{j}}^{(j)}x+N_{v_{j}}^{(j)}}{(x^{2}+p_{j}x+q_{j})^{v_{j}}}},}$

(6.91)

где все ${displaystyle A_{u_{i}}^{(i)},;M_{v_{j}}^{(j)},;N_{v_{j}}^{(j)}}$ — действительные постоянные.

При интегрировании от первых слагаемых в (6.90) и (6.91) согласно (6.41) (случай ) и (6.49) (при ${displaystyle 4q-p^{2}>0}$ ) является трансцендентной функцией. Интегралы от каждой из всех последующих слагаемых (6.90) — правильная дробь, степень знаменателя которой на единицу меньше степени этой же дроби. Интеграл от каждого слагаемого, начиная со второго, в выражении (6.91) представляет собой сумму правильной рациональной дроби и арктангенса.

Объединим рациональные части интегралов от (6.90) и (6.91), в результате получим правильную рациональную дробь ${displaystyle {frac {K_{s}(x)}{L_{m-k}(x)}}}$ (), знаменатель которой

${displaystyle L_{m-k}(x)=prod _{i=1}^{g}(x-x_{i})^{u_{i}-1}prod _{j=1}^{h}(x^{2}+p_{j}x+q_{j})^{v_{j}-1}}$

(6.92)

является многочленом степени , где .

Как уже сказано выше, трансцендентную часть интеграла от дроби ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ можно представить как алгебраическую сумму дробей вида:

${displaystyle {frac {E_{i}}{x-x_{i}}}}$

и ${displaystyle {frac {F_{j}(2x+p_{j})}{x^{2}+p_{j}x+q_{j}}}}$

,(6.93)

где ${displaystyle E_{i},;F_{j}in mathbb {R} }$ — константы.

Приведя эту сумму к общему знаменателю, получим правильную рациональную дробь ${displaystyle {frac {U_{t}(x)}{V_{k}(x)}}}$ () со знаменателем

${displaystyle V_{k}(x)=prod _{i=1}^{g}(x-x_{i})prod _{j=1}^{h}(x^{2}+p_{j}x+q_{j}),}$

(6.94)

где . Как мы видим, этот многочлен имеет только простые нули.

Из (6.92) и (6.94) следует, что

${displaystyle Q_{m}(x)=L_{m-k}(x)V_{k}(x).}$

(6.95)

Таким образом мы доказали верность формулы (6.88).

Теперь покажем, что для нахождения ${displaystyle L_{m-k}(x)}$ не обязательно знать нули знаменателя дроби ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ . По теореме о корнях производной многочлена (доказательство см. в Дополнении) следует, что ${displaystyle Q'_{m}(x)}$ имеет те же корни, что и ${displaystyle Q_{m}(x)}$ , только их кратность на единицу меньше, а как мы видели из построения многочлена ${displaystyle L_{m-k}(x)}$ , он и будет наибольшим общим делителем многочленов ${displaystyle Q_{m}(x)}$ и ${displaystyle Q'_{m}(x)}$ , так как в него входят те же корни, что и в ${displaystyle Q_{m}(x)}$ , их степень на единицу меньше и при этом простые корни отсутствуют.

Итак, мы установили, что имеет место тождество (6.88). Многочлен ${displaystyle L_{m-k}(x)}$ является наибольшим общим делителем многочленов ${displaystyle Q_{m}(x)}$ и ${displaystyle Q'_{m}(x)}$ . Его можно получить, используя алгоритм последовательного деления, или алгоритм Евклида. Вычислить многочлен ${displaystyle V_{k}(x)={frac {Q_{m}(x)}{L_{m-k}(x)}}}$ также не составит труда. Значит остаётся только получить многочлены ${displaystyle K_{s}(x)}$ и ${displaystyle U_{t}(x)}$ . Для этого продифференцируем по правую и левую части выражения (6.88):

${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}=left({frac {K_{s}(x)}{L_{m-k}(x)}}right)'+{frac {U_{t}(x)}{V_{k}(x)}}.}$

(6.96)

Применим формулу производной от частного:

${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}={frac {K'_{s}(x)L_{m-k}(x)-K_{s}(x)L'_{m-k}(x)}{L_{m-k}^{2}(x)}}+{frac {U_{t}(x)}{V_{k}(x)}}.}$

(6.97)

Разобьём дробь в правой части:

${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}={frac {K'_{s}(x)}{L_{m-k}(x)}}-{frac {K_{s}(x)L'_{m-k}(x)}{L_{m-k}^{2}(x)}}+{frac {U_{t}(x)}{V_{k}(x)}}.}$

(6.98)

Домножим обе части равенства (6.98) на многочлен ${displaystyle Q_{m}(x)}$ :

${displaystyle P_{n}(x)=K'_{s}(x){frac {Q_{m}(x)}{L_{m-k}(x)}}-K_{s}(x){frac {L'_{m-k}(x)}{L_{m-k}(x)}}{frac {Q_{m}(x)}{L_{m-k}(x)}}+U_{t}(x){frac {Q_{m}(x)}{V_{k}(x)}}.}$

(6.99)

Так как в первом слагаемом отношение ${displaystyle {frac {Q_{m}(x)}{L_{m-k}(x)}}}$ равно ${displaystyle V_{k}(x)}$ , то первое слагаемое представляет собой многочлен. В последнем слагаемом мы также имеем многочлен, потому что ${displaystyle {frac {Q_{m}(x)}{V_{k}(x)}}=L_{m-k}(x)}$ [это следует из равенства (6.95)]. Исследуем теперь второе слагаемое. Отношение ${displaystyle {frac {Q_{m}(x)}{L_{m-k}(x)}}}$ равно ${displaystyle V_{k}(x)}$ :

${displaystyle K_{s}(x){frac {L'_{m-k}(x)}{L_{m-k}(x)}}{frac {Q_{m}(x)}{L_{m-k}(x)}}=K_{s}(x){frac {L'_{m-k}(x)V_{k}(x)}{L_{m-k}(x)}}.}$

(6.100)

Продифференцируем теперь равенство (6.95):

${displaystyle Q'_{m}(x)=(L_{m-k}(x)V_{k}(x))'=L'_{m-k}(x)V_{k}(x)+L_{m-k}(x)V'_{k}(x).}$

(6.101)

Выразим из (6.101) ${displaystyle L'_{m-k}(x)V_{k}(x)}$ и подставим в (6.100):

${displaystyle K_{s}(x){frac {L'_{m-k}(x)V_{k}(x)}{L_{m-k}(x)}}=K_{s}(x){frac {Q'_{m}(x)-V'_{k}(x)L_{m-k}(x)}{L_{m-k}(x)}}.}$

(6.102)

Снова разобьём на две дроби:

${displaystyle K_{s}(x){frac {Q'_{m}(x)-V'_{k}(x)L_{m-k}(x)}{L_{m-k}(x)}}=K_{s}(x)left({frac {Q'_{m}(x)}{L_{m-k}(x)}}-V'_{k}(x)right).}$

(6.103)

Дробь ${displaystyle {frac {Q'_{m}(x)}{L_{m-k}(x)}}}$ является многочленом, потому что ${displaystyle L_{m-k}(x)}$ как наибольший общий делитель многочленов ${displaystyle Q_{m}(x)}$ и ${displaystyle Q'_{m}(x)}$ делит последний нацело.

Обобщая исследование правой части (6.99), можно записать следующее выражение:

${displaystyle P_{n}(x)=K'_{s}(x)V_{k}(x)-K_{s}(x)W_{k-1}(x)+U_{t}(x)L_{m-k}(x),}$

(6.104)

где

${displaystyle W_{k-1}(x)={frac {Q'_{m}(x)}{L_{m-k}(x)}}-V'_{k}(x)}$

(6.105)

многочлен степени k-1 ^[3].

Теперь, воспользовавшись методом неопределённых коэффициентов, можно получить выражения для ${displaystyle K_{s}(x)}$ и ${displaystyle U_{t}(x)}$ . Интеграл ${displaystyle int {frac {U_{t}(x)}{V_{k}(x)}},dx}$ взять уже гораздо проще: в знаменателе будут только простые корни и, следовательно, можно воспользоваться специальным методом разложения, упрощающим вычисления (подробности см. в Дополнении).

Рассмотрим пример на применение метода Остроградского.

Пример 6.11. Найти интеграл:

${displaystyle int {frac {x^{2}-3x+5}{(x-1)^{2}(x-2)(x^{2}-x+1)^{2}}},dx.}$

(6.106)

Решение. Для нахождения этого интеграла воспользуемся методом Остроградского. Здесь мы имеем ${displaystyle Q_{7}(x)=(x-1)^{2}(x-2)(x^{2}-x+1)^{2}=x^{7}-6x^{6}+16x^{5}-26x^{4}+28x^{3}-20x^{2}+9x-2}$ , ${displaystyle P_{2}(x)=x^{2}-3x+5}$ . Найдём производную от знаменателя:

${displaystyle Q'_{7}(x)=7x^{6}-36x^{5}+80x^{4}-104x^{3}+84x^{2}-40x+9.}$

(6.107)

Теперь найдём НОД ${displaystyle Q_{7}(x)}$ и ${displaystyle Q'_{7}(x)}$ . Для этого «столбиком» разделим ${displaystyle Q_{7}(x)}$ на ${displaystyle Q'_{7}(x)}$ , получим ${displaystyle {frac {1}{7}}x-{frac {6}{49}}}$ как целую часть и ${displaystyle {frac {1}{49}}(8x^{5}-66x^{4}+160x^{3}-196x^{2}+138x-44)}$ в остатке. Поделим теперь ${displaystyle Q'_{7}(x)}$ на первый остаток, получим целую часть — ${displaystyle {frac {343}{8}}x+{frac {4263}{32}}}$ и второй остаток — ${displaystyle {frac {1}{16}}(1911x^{4}-5880x^{3}+7938x^{2}-6027x+2058)}$ . Теперь поделим первый остаток на второй: целая часть — ${displaystyle {frac {128}{93,639}}x-{frac {8,608}{1,217,307}}}$ и третий остаток — ${displaystyle -{frac {96}{8,281}}(x^{3}+2x^{2}-2x+1)}$ . Поделив второй остаток на третий, получим только целую часть — ${displaystyle -{frac {5,274,997}{512}}x+{frac {2,840,383}{256}}}$ , следовательно, по алгоритму Евклида многочлен

${displaystyle L_{3}(x)=-{frac {96}{8,281}}(x^{3}+2x^{2}-2x+1)=-{frac {96}{8,281}}(x-1)(x^{2}-x+1)}$

(6.108)

является кубическим многочленом. Значит в трансцендентную часть входят логарифмы и арктангенс.

Поделив ${displaystyle Q_{7}(x)}$ на ${displaystyle L_{3}(x)}$ , получим:

${displaystyle V_{4}(x)=-{frac {8,281}{96}}(x^{4}-4x^{3}+6x^{2}-5x+2)=-{frac {8,281}{96}}(x-1)(x-2)(x^{2}-x+1).}$

(6.109)

Таким образом, мы имеем всё, что нужно для определения коэффициентов у ${displaystyle K_{2}(x)}$ и ${displaystyle U_{3}(x)}$ , причём из-за того, что в трансцендентной части легко получить разложение на простые дроби, то в принципе ${displaystyle U_{3}(x)}$ можно не искать, а сразу определять коэффициенты при простых дробях.

Итак, согласно (6.88) мы имеем^[4]:

${displaystyle int {frac {x^{2}-3x+5}{(x-1)^{2}(x-2)(x^{2}-x+1)^{2}}},dx={frac {Ax^{2}+Bx+C}{(x-1)(x^{2}-x+1)}}+int {frac {U_{3}(x),dx}{(x-1)(x-2)(x^{2}-x+1)}}.}$

(6.110)

В свою очереди интеграл от трансцендентной части можно разбить на простые дроби с неизвестными коэффициентами:

${displaystyle int {frac {x^{2}-3x+5}{(x-1)^{2}(x-2)(x^{2}-x+1)^{2}}},dx={frac {Ax^{2}+Bx+C}{(x-1)(x^{2}-x+1)}}+int {frac {E,dx}{x-1}}+int {frac {F,dx}{x-2}}+int {frac {Mx+N}{x^{2}-x+1}},dx.}$

(6.111)

Продифференцируем равенство (6.111):

${displaystyle {frac {x^{2}-3x+5}{(x-1)^{2}(x-2)(x^{2}-x+1)^{2}}},dx=}$

(6.112)

${displaystyle ={frac {-Ax^{4}-2Bx^{3}+(2A+2B-3C)x^{2}+(-2A+4C)x-B-2C}{(x-1)^{2}(x^{2}-x+1)^{2}}}+}$

${displaystyle +{frac {E}{x-1}}+{frac {F}{x-2}}+{frac {Mx+N}{x^{2}-x+1}}.}$

Теперь умножим на ${displaystyle (x-1)^{2}(x-2)(x^{2}-x+1)^{2}}$ , раскроем скобки и приведём подобные. После этого приравняем коэффициенты при равных степенях, получим систему линейных уравнений относительно интересующих нас коэффициентов:

${displaystyle {begin{array}{r}x^{6}:\x^{5}:\x^{4}:\x^{3}:\x^{2}:\x^{1}:\x^{0}:end{array}};;left{{begin{array}{l}E+F+M=0;\-5M-5E-4F-A+N=0;\-2B+2A+11E-5N+8F+10M=0;\10N-10F-3C+2A+6B-11M-15E=0;\10C+7M+13E-4B-11N-6A+8F=1;\-2M+4A-10C-B+7N-7E-4F=-3;\-2N+2E+F+2B+4C=5;end{array}}right.}$

(6.112)

Решая это систему линейных уравнений, найдём:

${displaystyle A={frac {11}{3}},;B=-3,;C={frac {7}{3}},;E=4,;F={frac {1}{3}},;M=-{frac {13}{3}},;N={frac {10}{3}}.}$

(6.113)

Подставляя эти значения в (6.111), будем иметь:

${displaystyle int {frac {x^{2}-3x+5}{(x-1)^{2}(x-2)(x^{2}-x+1)^{2}}},dx=}$

(6.114)

${displaystyle ={frac {1}{3}}{frac {11x^{2}-9x+7}{(x-1)(x^{2}-x+1)}}+4int {frac {dx}{x-1}}+{frac {1}{3}}int {frac {dx}{x-2}}-{frac {1}{3}}int {frac {13x-10}{x^{2}-x+1}},dx.}$

Теперь можно взять интегралы в правой части известными методами:

${displaystyle 4int {frac {dx}{x-1}}=4ln |x-1|+C;quad {frac {1}{3}}int {frac {dx}{x-2}}={frac {1}{3}}ln |x-2|+C;}$

(6.115)

${displaystyle -{frac {1}{3}}int {frac {-13x+10}{x^{2}-x+1}},dx=-{frac {13}{6}}ln(x^{2}-x+1)+{frac {7{sqrt {3}}}{9}},mathrm {arctg} ,{frac {sqrt {3}}{3}}(2x-1)+C.}$

Окончательно получим^[5]:

${displaystyle int {frac {x^{2}-3x+5}{(x-1)^{2}(x-2)(x^{2}-x+1)^{2}}},dx=}$

(6.116)

${displaystyle ={frac {1}{3}}{frac {11x^{2}-9x+7}{(x-1)(x^{2}-x+1)}}+4ln |x-1|+{frac {1}{3}}ln |x-2|-{frac {13}{6}}ln(x^{2}-x+1)+{frac {7{sqrt {3}}}{9}},mathrm {arctg} ,{frac {sqrt {3}}{3}}(2x-1)+C.}$

Метод Эрмита[править]

Приведём теперь описание ещё одного метода выделения алгебраической части интеграла от правильной рациональной дроби. Этот метод был предложен Ш. Эрмитом (1822—1901).

Пусть ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ () — правильная рациональная дробь. Считаем, что дробь несократимая, то есть многочлены $P_{n}(x)$ и ${displaystyle Q_{m}(x)}$ взаимно простые. Также положим, что коэффициенты при старших степенях равны единице.

Вновь рассмотрим представление вещественного многочлена в виде произведения линейных полиномов:

${displaystyle Q_{m}(x)=prod _{i=1}^{m}(x-x_{i}),}$

(6.117)

где ${displaystyle x_{i}in mathbb {C} }$ — корень многочлена (если он кратный, то считаем его несколько раз).

Если перегруппировать в представлении (6.117) сомножители, то это выражение можно переписать так:

${displaystyle Q_{m}(x)=V_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x),}$

(6.118)

где ${displaystyle V_{1}(x),;V_{2}(x),;ldots ,;V_{k}(x)}$ — многочлены, содержащие линейные множители и не имеющие попарно никаких общих множителей. На множестве действительных чисел эти многочлены могут содержать множители вида ${displaystyle x^{2}+px+q}$ , где ${displaystyle 4q-p^{2}>0}$ .

Значит дробь ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ можно представить в виде:

${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}={frac {P_{n}(x)}{V_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}}={frac {U_{1}(x)}{V_{1}(x)}}+{frac {U_{2}(x)}{V_{2}^{2}(x)}}+ldots +{frac {U_{k}(x)}{V_{k}^{k}(x)}},}$

(6.119)

где многочлены ${displaystyle U_{i}(x)}$ взаимно просты с ${displaystyle V_{i}(x)}$ ().

Докажем это.

Доказательство формулы (6.119)

Многочлены ${displaystyle V_{1}(x)}$ и ${displaystyle V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}$ взаимно просты, так как все они попарно взаимно просты, и произведение простых множителей также взаимно просто. Воспользуемся соотношением Безу для этих полиномов. Так как полиномы взаимно просты, то имеет место следующее равенство:

${displaystyle W(x)V_{1}(x)+U_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)=P_{n}(x),}$

(6.120)

где ${displaystyle W(x),;U_{1}(x)}$ — многочлены, степени которых меньше ${displaystyle V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}$ и ${displaystyle V_{1}(x)}$ соответственно. Для поиска этих многочленов можно использовать метод неопределённых коэффициентов.

Теперь поделим на ${displaystyle Q_{m}(x)=V_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}$ :

${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}={frac {W(x)V_{1}(x)}{V_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}}+{frac {U_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}{V_{1}(x)V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}}=}$

(6.121)

${displaystyle ={frac {W(x)}{V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}}+{frac {U_{1}(x)}{V_{1}(x)}}.}$

Многочлен ${displaystyle U_{1}(x)}$ имеет степень, меньшую, чем у ${displaystyle V_{1}(x)}$ , а — меньшую, чем у ${displaystyle V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}$ , при этом ${displaystyle U_{1}(x)}$ и ${displaystyle V_{1}(x)}$ взаимно просты, аналогично, и ${displaystyle V_{2}^{2}(x)V_{3}^{3}(x)ldots V_{k}^{k}(x)}$ взаимно просты.

Применяя те же рассуждения к ${displaystyle V_{2}^{2}(x)}$ и ${displaystyle V_{3}^{3}(x)ldots V_{k}^{k}(x)}$ , получим формулу (6.119).

Из разложения (6.119) следует, что нам нужно научиться выделять рациональную часть у интегралов вида:

${displaystyle int {frac {U(x)}{[V(x)]^{k}}},dx,}$

(6.122)

где степень меньше степени и они взаимно просты. Так как у многочлена все корни различны, то он и его производная будут взаимно просты^[6]. Если k=1 , то интеграл берётся непосредственно разложением на простые дроби. Это легко сделать, потому что у все корни простые. Исследуем случай, когда .

Применим снова соотношение Безу к и его производной :

^[7](6.123)

и подставим его в (6.122):

${displaystyle int {frac {U(x)}{[V(x)]^{k}}},dx=int {frac {M(x)V(x)+N(x)V'(x)}{[V(x)]^{k}}},dx=int {frac {M(x)}{[V(x)]^{k-1}}},dx+int {frac {N(x)V'(x)}{[V(x)]^{k}}},dx.}$

(6.124)

Проинтегрируем по частям для второе слагаемое, положив и ${displaystyle dv={frac {V'(x)}{[V(x)]^{k}}},dx}$ , тогда , а ${displaystyle v=int {frac {V'(x)}{[V(x)]^{k}}},dx={frac {d[V(x)]}{[V(x)]^{k}}}=-{frac {1}{(k-1)[V(x)]^{k-1}}}}$ . Подставив эти выражения в (6.124), будем иметь:

${displaystyle int {frac {M(x)}{[V(x)]^{k-1}}},dx+int {frac {N(x)V'(x)}{[V(x)]^{k}}},dx=int {frac {M(x)}{[V(x)]^{k-1}}},dx-{frac {N(x)}{(k-1)[V(x)]^{k-1}}}+{frac {1}{k-1}}int {frac {N'(x)}{[V(x)]^{k-1}}},dx.}$

(6.125)

Объединяя первое и третье слагаемое в один интеграл, получим:

${displaystyle int {frac {U(x)}{[V(x)]^{k}}},dx=-{frac {N(x)}{(k-1)[V(x)]^{k-1}}}+int {frac {T(x)}{[V(x)]^{k-1}}},dx,}$

(6.126)

где ${displaystyle T(x)=M(x)+{frac {N'(x)}{k-1}}}$ .

Если , то к интегралу ${displaystyle int {frac {T(x)}{[V(x)]^{k-1}}},dx}$ можно снова применить описанный, выше метод. Продолжая дальше, мы в конечном итоге получим:

${displaystyle int {frac {U(x)}{[V(x)]^{k}}},dx=R(x)+int {frac {varphi (x)}{V(x)}},dx,}$

(6.127)

где R(x) — рациональная функция, — многочлен, степень которого меньше степени , при этом он может быть и не взаимно простым с . Интеграл в правой части вычислить уже легче, так как он содержит только простые корни.

Рассмотрим теперь пример.

Пример 6.12. Найти интеграл:

${displaystyle int {frac {x^{5}+35x^{4}-234x^{3}+566x^{2}-511x+63}{(x-2)(x+1)^{2}(x^{2}-2x+5)^{2}}},dx.}$

(6.128)

Решение. В соответствии с методом Эрмита представим знаменатель дроби в виде:

${displaystyle Q(x)=V_{1}(x)cdot V_{2}^{2}(x),}$

(6.129)

где ${displaystyle V_{1}(x)=x-2,;V_{2}(x)=(x+1)(x^{2}-2x+5)}$ .

Значит, подынтегральное выражение можно разбить на две дроби:

${displaystyle {frac {x^{5}+35x^{4}-234x^{3}+566x^{2}-511x+63}{(x-2)(x+1)^{2}(x^{2}-2x+5)^{2}}}={frac {A}{x-2}}+{frac {B_{5}x^{5}+B_{4}x^{4}+B_{3}x^{3}+B_{2}x^{2}+B_{1}x+B_{0}}{[(x+1)(x^{2}-2x+5)]^{2}}}.}$

(6.130)

Методом неопределённых коэффициентов найдём:

${displaystyle A={frac {1}{9}},;B_{5}=-{frac {1}{9}},;B_{4}=1,;B_{3}={frac {326}{9}},;B_{2}=162,;B_{1}={frac {2,179}{9}},;B_{0}={frac {271}{9}}.}$

(6.131)

Итак, исходный интеграл можно представить в виде суммы двух:

${displaystyle int {frac {x^{5}+35x^{4}-234x^{3}+566x^{2}-511x+63}{(x-2)(x+1)^{2}(x^{2}-2x+5)^{2}}},dx=}$

(6.132)

${displaystyle {frac {1}{9}}int {frac {dx}{x-2}}-{frac {1}{9}}int {frac {x^{5}-9x^{4}-326x^{3}+1,458x^{2}-2,179x+271}{[(x+1)(x^{2}-2x+5)]^{2}}},dx.}$

Первое слагаемое легко интегрируется:

${displaystyle {frac {1}{9}}int {frac {dx}{x-2}}={frac {1}{9}}ln |x-2|+C.}$

(6.133)

Для второго интеграла будем использовать метод Эрмита. Найдём производную многочлена ${displaystyle V_{2}(x)}$ :

${displaystyle V'_{2}(x)=3x^{2}-2x+3.}$

(6.134)

Подберём два таких многочлена, чтобы выполнялось соотношение Безу (6.123):

${displaystyle N(x)V_{2}(x)+M(x)V'_{2}(x)=W(x);}$

(6.135)

${displaystyle (N_{1}x+N_{0})(x^{3}-x^{2}+3x+5)+(M_{2}x^{2}+M_{1}x+M_{0})(3x^{2}-2x+3)=x^{5}-9x^{4}-326x^{3}+1,458x^{2}-2,179x+271.}$

Так как степень многочлена, стоящего справа выше стоящего слева, то для определения неизвестных коэффициентов мы получаем переопределённую систему линейных уравнений, чтобы это исправить разделим многочлен на произведение ${displaystyle V_{2}(x)V'_{2}(x)}$ , в результате получим, что можно записать как:

${displaystyle W(x)=Q(x)V_{2}(x)V'_{2}(x)+R(x);}$

(6.136)

${displaystyle W(x)={frac {1}{3}}(x^{3}-x^{2}+3x+5)(3x^{2}-2x+3)-{frac {2}{3}}(11x^{4}+496x^{3}-2184x^{2}+3268x-399).}$

Рассмотрим теперь новое соотношение:

${displaystyle (N'_{1}x+N'_{0})(x^{3}-x^{2}+3x+5)+(M_{2}x^{2}+M_{1}x+M_{0})(3x^{2}-2x+3)=-{frac {2}{3}}(11x^{4}+496x^{3}-2184x^{2}+3268x-399),}$

(6.137)

где ${displaystyle N'(x)=N'_{1}x+N'_{0}}$ — новые многочлен с неизвестными коэффициентами.

Таким образом, мы пришли к линейной системе, где количество неизвестных равно количеству уравнений, относительно этих неизвестных.

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

${displaystyle {begin{array}{r}x^{4}:\x^{3}:\x^{2}:\x^{1}:\x^{0}:end{array}};;left{{begin{array}{l}N'_{1}+3M_{2}=-{frac {22}{3}};\-N'_{1}+N'_{0}-2M_{2}+3M_{1}=-{frac {992}{3}};\3N'_{1}-N'_{0}+3M_{2}-2M_{1}+3M_{0}=1,456;\5N'_{1}+3N'_{0}+3M_{1}-2M_{0}=-{frac {6,536}{3}};\5N'_{0}+3M_{0}=266;end{array}}right.}$

(6.138)

Решением системы будут следующие коэффициенты:

${displaystyle N'_{1}=-{frac {292}{3}},;N'_{0}=-215,;M_{2}=30,;M_{1}=-51,;M_{0}=447.}$

(6.139)

Теперь нужно вернуться к выражению (6.135). Для этого сделаем замену ${displaystyle N(x)=N'(x)+Q(x)V'_{2}(x)}$ . Таким образом, получаем, что:

${displaystyle N(x)=x^{2}-98x-214,quad M(x)=30x^{2}-51x+447.}$

(6.140)

Итак, по методу Эрмита второй интеграл в правой части выражения (6.132) можно разбить на два интеграла следующим образом:

${displaystyle -{frac {1}{9}}int {frac {x^{5}-9x^{4}-326x^{3}+1,458x^{2}-2,179x+271}{[(x+1)(x^{2}-2x+5)]^{2}}},dx=}$

(6.141)

${displaystyle =-{frac {1}{9}}int {frac {x^{2}-98x-214}{(x+1)(x^{2}-2x+5)}},dx-{frac {1}{9}}int {frac {(30x^{2}-51x+447)(3x^{2}-2x+3)}{[(x+1)(x^{2}-2x+5)]^{2}}},dx.}$

Разбивая интеграл в первом слагаемом на части получим:

${displaystyle -{frac {1}{9}}int {frac {x^{2}-98x-214}{(x+1)(x^{2}-2x+5)}},dx={frac {115}{72}}int {frac {dx}{x+1}}-{frac {1}{24}}int {frac {41x-379}{x^{2}-2x+5}},dx.}$

(6.142)

Беря интегралы, получаем:

${displaystyle -{frac {1}{9}}int {frac {x^{2}-98x-214}{(x+1)(x^{2}-2x+5)}},dx={frac {115}{72}}ln |x+1|-{frac {41}{48}}ln(x^{2}-2x+5)+{frac {169}{24}},mathrm {arctg} ,{frac {x-1}{2}}+C.}$

(6.143)

Ко второму слагаемому в (6.141) применим интегрирование по частям:

${displaystyle -{frac {1}{9}}int {frac {(30x^{2}-51x+447)(3x^{2}-2x+3)}{[(x+1)(x^{2}-2x+5)]^{2}}},dx=}$

(6.144)

${displaystyle ={frac {1}{9}}{frac {30x^{2}-51x+447}{(x+1)(x^{2}-2x+5)}}-{frac {1}{9}}int {frac {60x-51}{(x+1)(x^{2}-2x+5)}},dx.}$

Второе слагаемое можно разбить на простые дроби:

${displaystyle -{frac {1}{3}}int {frac {20x-17}{(x+1)(x^{2}-2x+5)}},dx={frac {37}{24}}int {frac {dx}{x+1}}-{frac {1}{24}}int {frac {37x+49}{(x+1)(x^{2}-2x+5)}},dx.}$

(6.145)

Вычислим интегралы:

${displaystyle -{frac {1}{3}}int {frac {20x-17}{(x+1)(x^{2}-2x+5)}},dx={frac {37}{24}}ln |x+1|-{frac {37}{48}}ln(x^{2}-2x+5)-{frac {43}{24}},mathrm {arctg} ,{frac {x-1}{2}}+C.}$

(6.146)

Чтобы получить окончательный ответ, сложим результаты интегрирования отдельных слагаемых тем, самым получая:

${displaystyle int {frac {x^{5}+35x^{4}-234x^{3}+566x^{2}-511x+63}{(x-2)(x+1)^{2}(x^{2}-2x+5)^{2}}},dx={frac {1}{9}}ln |x-2|+{frac {115}{72}}ln |x+1|-{frac {41}{48}}ln(x^{2}-2x+5)+}$

(6.147)

${displaystyle +{frac {169}{24}},mathrm {arctg} ,{frac {x-1}{2}}+{frac {1}{3}}{frac {10x^{2}-17x+149}{(x+1)(x^{2}-2x+5)}}+{frac {37}{24}}ln |x+1|-{frac {37}{48}}ln(x^{2}-2x+5)-{frac {43}{24}},mathrm {arctg} ,{frac {x-1}{2}}+C.}$

Приведя подобные, получим окончательный ответ:

${displaystyle int {frac {x^{5}+35x^{4}-234x^{3}+566x^{2}-511x+63}{(x-2)(x+1)^{2}(x^{2}-2x+5)^{2}}},dx=}$

(6.148)

${displaystyle ={frac {1}{3}}{frac {10x^{2}-17x+149}{(x+1)(x^{2}-2x+5)}}+{frac {1}{9}}ln |x-2|+{frac {113}{36}}ln |x+1|-{frac {13}{8}}ln(x^{2}-2x+5)+{frac {21}{24}},mathrm {arctg} ,{frac {x-1}{2}}+C.}$

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

Рациональные дроби специального вида можно интегрировать, применяя методы, основанные на специфичности данного интеграла. Рассмотри некоторые из них.

Интегрирование дробей вида:

${displaystyle int {frac {varphi (x)}{x^{n}}},dx,quad nin mathbb {N} }$

(6.149)

где — многочлен (в общем случае, в его состав могут входить одночлены не только с натуральными показателями), проще проинтегрировать его как алгебраическую сумму после почленного деления:

${displaystyle int {frac {varphi (x)}{x^{n}}},dx=int sum _{i=1}^{m}a_{i}x^{s_{i}}{frac {dx}{x^{n}}}=sum _{i=1}^{m}left(a_{i}int x^{s_{i}-n},dxright)=sum _{i=1}^{m}{frac {a_{i}x^{s_{i}-n+1}}{s_{i}-n+1}}+C,}$

(6.150)

где ${displaystyle a_{i}in mathbb {R} }$ — действительный коэффициент, ${displaystyle s_{i}}$ — показатель степени одночлена (в общем случае, ${displaystyle s_{i}in mathbb {R} }$ ).

Очень часто при интегрировании таких выражений появляются члены вида ${displaystyle (ax+b)^{n}}$ (). Их раскрывают, используя формулу бинома Ньютона.

Пример 6.12. Найти интеграл

${displaystyle int {frac {x^{3}-7{sqrt {x}}+10{sqrt[{3}]{x^{2}}}}{x^{5}}},dx.}$

(6.151)

Решение. Произведя почленное деление под знаком интеграла, получим:

${displaystyle int {frac {x^{3}-7{sqrt {x}}+10{sqrt[{3}]{x^{2}}}}{x^{5}}},dx=int {frac {x^{3}-7x^{frac {1}{2}}+10x^{frac {2}{3}}}{x^{5}}},dx=int x^{-2},dx-7int x^{-{frac {9}{2}}},dx+10int x^{-{frac {13}{3}}},dx=}$

(6.152)

${displaystyle =-{frac {1}{x}}+7cdot {frac {2}{7}}x^{-{frac {7}{2}}}-10cdot {frac {3}{10}}x^{-{frac {10}{3}}}+C=-{frac {1}{x}}+{frac {2}{sqrt {x^{7}}}}-{frac {3}{sqrt[{3}]{x^{10}}}}+C.}$

Интегралы вида:

${displaystyle int {frac {varphi (x)}{(ax+b)^{n}}},dx,}$

(6.153)

где — многочлен c натуральными показателями, — действительные коэффициенты, не равные нулю;

сводятся к предыдущему случаю с использованием подстановки . В этом случае мы имеем: ${displaystyle x={frac {z-b}{a}},;dx={frac {dz}{a}}}$ . Сделаем замену:

${displaystyle int {frac {varphi (x)}{(ax+b)^{n}}},dx={frac {1}{a}}int varphi left({frac {z-b}{a}}right){frac {dz}{z^{n}}}.}$

(6.154)

Этим интеграл преобразуется к интегралу (6.149).

Пример 6.13. Найти интеграл

${displaystyle int {frac {x^{2}+1}{(x-1)^{3}}},dx.}$

(6.155)

Решение. Сделаем замену , тогда и :

${displaystyle int {frac {x^{2}+1}{(x-1)^{3}}},dx=int {frac {(z+1)^{2}+1}{z^{3}}},dz=int {frac {z^{2}+2z+2}{z^{3}}},dz=}$

(6.156)

${displaystyle =int left({frac {1}{z}}+{frac {2}{z^{2}}}+{frac {2}{z^{3}}}right),dz=int {frac {dz}{z}}+2int {frac {dz}{z^{2}}}+2int {frac {dz}{z^{2}}}=ln |z|-{frac {1}{z^{2}}}-{frac {2}{z}}+C.}$

Вернувшись обратно к переменной , найдём ответ:

${displaystyle int {frac {x^{2}+1}{(x-1)^{3}}},dx=ln |x-1|-{frac {1}{(x-1)^{2}}}-{frac {2}{x-1}}+C.}$

(6.157)

Пример 6.14. Найти интеграл

${displaystyle int {frac {x^{4},dx}{(x^{3}+1)^{2}}}.}$

(6.158)

Решение. Применим интегрирование по частям:

${displaystyle int {frac {x^{4},dx}{(x^{3}+1)^{2}}}left[{begin{array}{ll}u=x^{2}&du=2x,dx\dv={dfrac {x^{2},dx}{(x^{3}+1)^{2}}}&displaystyle {v=int {dfrac {x^{2},dx}{(x^{3}+1)^{2}}}={frac {1}{3}}int {frac {d(x^{3}+1)}{(x^{3}+1)^{2}}}}=\&=-{dfrac {1}{3}}{dfrac {1}{x^{3}+1}}end{array}}right]=}$

(6.159)

${displaystyle =-{frac {1}{3}}{frac {x^{2}}{x^{3}+1}}+{frac {2}{3}}int {frac {x,dx}{x^{3}+1}}.}$

Подынтегральное выражение второго слагаемого разобьём на простые дроби. Так как ${displaystyle x^{3}+1=(x+1)(x^{2}-x+1)}$ , то

${displaystyle {frac {2}{3}}{frac {x}{x^{3}+1}}={frac {2}{3}}{frac {x}{(x+1)(x^{2}-x+1)}}={frac {A}{x+1}}+{frac {Bx+C}{x^{2}-x+1}}.}$

(6.160)

Методом неопределённых коэффициентов устанавливаем, что

${displaystyle A=-{frac {2}{9}},quad B={frac {2}{9}},quad C={frac {2}{9}}.}$

(6.161)

Таким образом, интеграл (6.158) можно представить как:

${displaystyle int {frac {x^{4},dx}{(x^{3}+1)^{2}}}=-{frac {1}{3}}{frac {x^{2}}{x^{3}+1}}-{frac {2}{9}}int {frac {dx}{x+1}}+{frac {2}{9}}int {frac {(x+1),dx}{x^{2}-x+1}}.}$

(6.162)

После взятия интегралов ответом будет служить следующее выражение:

${displaystyle int {frac {x^{4},dx}{(x^{3}+1)^{2}}}=-{frac {1}{3}}{frac {x^{2}}{x^{3}+1}}-{frac {2}{9}}ln |x+1|+{frac {1}{9}}ln(x^{2}-x+1)+{frac {2{sqrt {3}}}{9}},mathrm {arctg} ,left({frac {sqrt {3}}{3}}(2x-1)right)+C.}$

(6.163)

Интегралы

${displaystyle int {frac {varphi (x^{n})x^{n-1}}{x^{n}+a}},dx,}$

(6.164)

где — полином, ;

интегрируются следующим образом: сделаем подстановку ${displaystyle z=x^{n}}$ , тогда ${displaystyle x={sqrt[{n}]{z}},;dx={frac {dz}{n}}}$ :

${displaystyle int {frac {varphi (x^{n})x^{n-1}}{x^{n}+a}},dx={frac {1}{n}}int {frac {varphi (z),dz}{z+a}}.}$

(6.165)

Если сделать подстановку (), можно получить интеграл вида (6.149):

${displaystyle {frac {1}{n}}int {frac {varphi (z),dz}{z+a}}={frac {1}{n}}int {frac {varphi (t-a)}{t}},d(t-a).}$

(6.166)

Пример 6.15. Найти интеграл

${displaystyle int {frac {x^{5}-4x^{3}+6x}{x^{2}-2}},dx}$

(6.167)

Решение. Вынесем в числителе за скобку:

${displaystyle int {frac {x^{5}-4x^{3}+6x}{x^{2}-2}},dx=int {frac {(x^{4}-4x^{2}+6)x}{x^{2}-2}},dx.}$

(6.168)

Сделаем подстановку ${displaystyle z=x^{2},;dx={frac {dz}{2}}}$ :

${displaystyle int {frac {(x^{4}-4x^{2}+6)x}{x^{2}-2}},dx={frac {1}{2}}int {frac {z^{2}-4z+6}{z-2}},dz.}$

(6.169)

Сделаем ещё одну подстановку: :

${displaystyle {frac {1}{2}}int {frac {z^{2}-4z+6}{z-2}},dz={frac {1}{2}}int {frac {(t+2)^{2}-4(t+2)+6}{t}},dt.}$

(6.170)

Раскрывая скобки в числителе и приводя подобные, получим:

${displaystyle {frac {1}{2}}int {frac {(t+2)^{2}-4(t+2)+6}{t}},dt={frac {1}{2}}int {frac {t^{2}+2}{t}},dt.}$

(6.171)

Почленно поделим:

${displaystyle {frac {1}{2}}int {frac {t^{2}+2}{t}},dt={frac {1}{2}}int t,dt+{frac {2}{2}}int {frac {dt}{t}}={frac {1}{2}}{frac {t^{2}}{2}}+ln |t|+C={frac {t^{2}}{4}}+ln |t|+C.}$

(6.172)

Вернёмся сначала к переменной :

${displaystyle {frac {1}{2}}int {frac {t^{2}+2}{t}},dt={frac {t^{2}}{4}}+ln |t|+C={frac {(z-2)^{2}}{4}}+ln |z-2|+C.}$

(6.173)

Окончательно получим:

${displaystyle int {frac {x^{5}-4x^{3}+6x}{x^{2}-2}},dx={frac {(x^{2}-2)^{2}}{4}}+ln |x^{2}-2|+C={frac {1}{4}}x^{4}-x^{2}+ln |x^{2}-2|+C',}$

(6.174)

где .

Исследуем интеграл вида:

${displaystyle int {frac {(cx+d)^{n}}{(ax+b)^{m}}},dx,}$

(6.175)

где .

Если ${displaystyle {frac {c}{a}}={frac {d}{b}}}$ , то линейные двучлены в числителе и знаменателе подобны, следовательно, можно вынести коэффициент подобия и сократить дробь. В этом случае мы получим интеграл

${displaystyle Aint (alpha x+beta )^{n-m},dx,}$

(6.176)

который берётся заведением под дифференциал.

Случай, когда ${displaystyle {frac {c}{d}}neq {frac {d}{b}}}$ , более интересен. Сделаем подстановку ; интеграл преобразуется к виду (6.149):

${displaystyle {frac {1}{a^{n+1}}}int {frac {[cz+ad-cb]^{n}}{z^{m}}},dz.}$

(6.177)

Вычислим следующий интеграл:

${displaystyle int {frac {dx}{(x-a)^{n}(x-b)^{m}}}.}$

(6.178)

Сделаем подстановку ${displaystyle z={frac {x-a}{x-b}}}$ , отсюда

${displaystyle x={frac {a-bz}{1-z}},quad x-a={frac {(a-b)x}{1-z}},quad x-b={frac {a-b}{1-z}},quad dx={frac {a-b}{(1-z)^{2}}},dz.}$

(6.179)

Интеграл (6.178) примет вид:

${displaystyle int {frac {dx}{(x-a)^{n}(x-b)^{m}}}={frac {1}{(a-b)^{n+m-1}}}int {frac {(1-z)^{m+n-2}}{z^{n}}},dz.}$

(6.180)

Если , то мы получаем интеграл вида (6.149).

Описанным выше способом можно брать интегралы вида

${displaystyle int {frac {dx}{(x^{2}+px+q)^{k}}},}$

(6.181)

где ${displaystyle p^{2}-4q>0}$ .

В этом случае квадратный трёхчлен обладает двумя различными вещественными корнями ${displaystyle x_{1}}$ и ${displaystyle x_{2}}$ . Полагая в интеграле (6.178) ${displaystyle a=x_{1},;b=x_{2}}$ и , преобразуем интеграл (6.181) к виду:

${displaystyle {frac {1}{(x_{1}-x_{2})^{2k-1}}}int {frac {(1-z)^{2k-2}}{z^{k}}},dz.}$

(6.182)

Формула, в принципе действительна и при ${displaystyle p^{2}-4q<0}$ , но при этом корни будут комплексными, но, так как они сопряжённые, то их разность ${displaystyle x_{1}-x_{2}}$ будет действительным числом. Если в разложении появится логарифм от комплексного числа, то его легко свести к арктангенсу.

Остановимся на интегралах вида

${displaystyle int {frac {x^{m},dx}{bpm ax^{n}}},quad m,;nin mathbb {N} ,;m<n,quad a,;bin mathbb {R} _{+}}$

(6.183)

более подробно.

Вводя подстановку ${displaystyle x=z{sqrt[{n}]{frac {b}{a}}}}$ , интеграл (6.183) можно представить как:

${displaystyle {sqrt[{n}]{frac {b^{m-n+1}}{a^{m+1}}}}int {frac {z^{m},dz}{1pm z^{n}}}.}$

(6.184)

Рассмотрим несколько случаев значений показателей и и знака в знаменателе.

В знаменателе стоит знак «плюс».

Случай 1. , — чётный. При чётном функция ${displaystyle 1+x^{n}}$ имеет комплексно сопряжённые корни вида:

${displaystyle x_{k}=cos {frac {2k+1}{n}}pi pm isin {frac {2k+1}{n}}pi ,}$

(6.185)

где ${displaystyle k=0,;1,;2,;ldots ,;{frac {n-2}{2}}}$ .

Следовательно, разложение имеет следующий вид:

${displaystyle {frac {1}{1+x^{n}}}=sum _{k=0}^{frac {n-2}{2}}left[{frac {A_{k}}{x-left(cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi right)}}+{frac {B_{k}}{x-left(cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi right)}}right],}$

(6.186)

где ${displaystyle A_{k},;B_{k}}$ — неизвестные коэффициенты.

Так как все корни (6.185) простые, то для нахождения коэффициентов ${displaystyle A_{k},;B_{k}}$ можно воспользоваться методом вычисления производной (см. Дополнение). По этому методу дробь ${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}}$ имеет разложение:

${displaystyle {frac {P_{n}(x)}{Q_{m}(x)}}=sum _{i=1}^{m}{frac {P_{n}(x_{i})}{Q'_{m}(x_{i})}}{frac {1}{x-x_{i}}},}$

(6.187)

где все $x_{i}$ — простые корни ${displaystyle Q_{m}(x)}$ .

Конкретно для нашего случая:

${displaystyle A_{k}=left.{frac {1}{nx^{n-1}}}right|_{x=cos {frac {2k+1}{n}}pi +isin {frac {2k+1}{n}}pi }={frac {1}{n}}{frac {1}{left(cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi right)^{n-1}}}.}$

(6.188)

По формуле Муавра имеем:

${displaystyle A_{k}={frac {1}{n}}{frac {1}{cos {dfrac {(2k+1)(n-1)}{n}}pi +isin {dfrac {(2k+1)(n-1)}{n}}pi }}.}$

(6.189)

Раскрывая скобки в аргументах тригонометрических функций и вычисляя их, получим:

${displaystyle A_{k}=-{frac {1}{n}}{frac {1}{cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi }}.}$

(6.190)

Аналогично для ${displaystyle B_{k}}$ :

${displaystyle B_{k}=-{frac {1}{n}}{frac {1}{cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi }}.}$

(6.191)

Таким образом,

${displaystyle int {frac {dx}{1+x^{n}}}=-{frac {1}{n}}int sum _{k=0}^{frac {n-2}{2}}{Bigg [}{frac {1}{cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi }}cdot {frac {1}{x-left(cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi right)}}+}$

(6.192)

${displaystyle +{frac {1}{cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi }}cdot {frac {1}{x-left(cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi right)}}{Bigg ]},dx.}$

После несложных преобразований будем иметь следующее выражение:

${displaystyle int {frac {dx}{1+x^{n}}}=-{frac {1}{n}}sum _{k=0}^{frac {n-2}{2}}int {frac {2xcos {dfrac {2k+1}{n}}pi -2}{x^{2}-2xcos {dfrac {2k+1}{n}}pi +1}},dx.}$

(6.193)

В этом интеграле ${displaystyle p=-2cos {frac {2k+1}{n}}pi ,;q=1}$ , следовательно, ${displaystyle q-{frac {p^{2}}{4}}>0}$ , значит можно воспользоваться формулой (6.67). Подставляя наши коэффициенты в эту формулу, после преобразований окончательно получаем, что при чётном :

${displaystyle int {frac {dx}{1+x^{n}}}=-{frac {1}{n}}sum _{k=0}^{frac {n-2}{2}}cos {frac {2k+1}{n}}ln left(x^{2}-2xcos {dfrac {2k+1}{n}}pi +1right)+}$

(6.194)

${displaystyle +{frac {2}{n}}sum _{k=0}^{frac {n-2}{2}}sin {frac {2k+1}{n}},mathrm {arctg} ,{frac {x-cos {dfrac {2k+1}{n}}}{sin {dfrac {2k+1}{n}}}}+C.}$

Случай 2. — чётный, . В этом случае формула (6.188) будет иметь вид:

${displaystyle A_{k}={frac {x^{m}}{nx^{n-1}}}=left.{frac {1}{nx^{n-m-1}}}right|_{x=cos {frac {2k+1}{n}}pi +isin {frac {2k+1}{n}}pi }={frac {1}{n}}{frac {1}{left(cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi right)^{n-m-1}}}.}$

(6.195)

Выполняя аналогичные преобразования, для коэффициентов ${displaystyle A_{k}}$ и ${displaystyle B_{k}}$ , в конечном итоге, будем иметь такие выражения:

${displaystyle A_{k}=-{frac {1}{n}}{frac {1}{cos {dfrac {(2k+1)(m+1)}{n}}pi -isin {dfrac {(2k+1)(m+1)}{n}}pi }},}$

(6.196)

${displaystyle B_{k}=-{frac {1}{n}}{frac {1}{cos {dfrac {(2k+1)(m+1)}{n}}pi +isin {dfrac {(2k+1)(m+1)}{n}}pi }}.}$

Значит интеграл от дроби ${displaystyle {frac {x^{m}}{1+x^{n}}}}$ будет иметь вид:

${displaystyle int {frac {x^{m},dx}{1+x^{n}}}=-{frac {1}{n}}int sum _{k=0}^{frac {n-2}{2}}{Bigg [}{frac {1}{cos {dfrac {(2k+1)(m+1)}{n}}pi -isin {dfrac {(2k+1)(m+1)}{n}}pi }}times }$

(6.197)

${displaystyle times {frac {1}{x-left(cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi right)}}+}$

${displaystyle +{frac {1}{cos {dfrac {(2k+1)(m+1)}{n}}pi +isin {dfrac {(2k+1)(m+1)}{n}}pi }}times }$

${displaystyle times {frac {1}{x-left(cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi right)}}{Bigg ]},dx=}$

${displaystyle =-{frac {1}{n}}sum _{k=0}^{frac {n-2}{2}}int {Bigg [}{frac {2xcos {dfrac {(2k+1)(m+1)}{n}}pi -2cos {dfrac {(2k+1)(m+1)}{n}}pi cos {dfrac {2k+1}{n}}pi }{x^{2}-2xcos {dfrac {2k+1}{n}}pi +1}}-}$

${displaystyle -{frac {2sin {dfrac {(2k+1)(m+1)}{n}}pi sin {dfrac {2k+1}{n}}pi }{x^{2}-2xcos {dfrac {2k+1}{n}}pi +1}}{Bigg ]},dx.}$

Теперь, если воспользоваться формулой (6.67), окончательно получим:

${displaystyle int {frac {x^{m},dx}{1+x^{n}}}=-{frac {1}{n}}sum _{k=0}^{frac {n-2}{2}}cos {frac {(2k+1)(m+1)}{n}}ln left(x^{2}-2xcos {dfrac {2k+1}{n}}pi +1right)+}$

(6.198)

${displaystyle +{frac {2}{n}}sum _{k=0}^{frac {n-2}{2}}sin {frac {(2k+1)(m+1)}{n}},mathrm {arctg} ,{frac {x-cos {dfrac {2k+1}{n}}}{sin {dfrac {2k+1}{n}}}}+C.}$

Как мы видим, формула (6.198) пригодна для .

Случай 3. , — нечётный, тогда двучлен ${displaystyle 1+x^{n}}$ имеет помимо комплексно сопряжённых корней ещё и действительный корень:

${displaystyle x_{-1}=-1,quad x_{k}=cos {frac {2k+1}{n}}pi pm isin {frac {2k+1}{n}}pi ,quad k=0,;1,;2,;ldots ,;{frac {n-3}{2}}.}$

(6.199)

Разложение подынтегральной функции на простые дроби в этом случае будет:

${displaystyle {frac {1}{1+x^{n}}}={frac {C}{x+1}}+sum _{k=0}^{frac {n-3}{2}}left[{frac {A_{k}}{x-left(cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi right)}}+{frac {B_{k}}{x-left(cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi right)}}right],}$

(6.200)

где ${displaystyle A_{k},;B_{k},;C}$ — неизвестные коэффициенты.

Найдём коэффициенты:

${displaystyle C={frac {1}{n}},}$

(6.201)

${displaystyle A_{k}=-{frac {1}{n}}{frac {1}{cos {dfrac {2k+1}{n}}pi -isin {dfrac {2k+1}{n}}pi }},}$

${displaystyle B_{k}=-{frac {1}{n}}{frac {1}{cos {dfrac {2k+1}{n}}pi +isin {dfrac {2k+1}{n}}pi }}.}$

Подставляя коэффициенты в (6.200) и интегрируя получившиеся дроби, получаем для нечётного выражение, аналогичное (6.194):

${displaystyle int {frac {dx}{1+x^{n}}}={frac {1}{n}}ln |x+1|-{frac {1}{n}}sum _{k=0}^{frac {n-3}{2}}cos {frac {2k+1}{n}}ln left(x^{2}-2xcos {dfrac {2k+1}{n}}pi +1right)+}$

(6.202)

${displaystyle +{frac {2}{n}}sum _{k=0}^{frac {n-3}{2}}sin {frac {2k+1}{n}},mathrm {arctg} ,{frac {x-cos {dfrac {2k+1}{n}}}{sin {dfrac {2k+1}{n}}}}+C.}$

Случай 4. — нечётный, . Производя уже известные преобразования, получаем следующую формулу:

${displaystyle int {frac {x^{m},dx}{1+x^{n}}}={frac {(-1)^{m}}{n}}ln |x+1|-{frac {1}{n}}sum _{k=0}^{frac {n-3}{2}}cos {frac {(2k+1)(m+1)}{n}}ln left(x^{2}-2xcos {dfrac {2k+1}{n}}pi +1right)+}$

(6.203)

${displaystyle +{frac {2}{n}}sum _{k=0}^{frac {n-3}{2}}sin {frac {(2k+1)(m+1)}{n}},mathrm {arctg} ,{frac {x-cos {dfrac {2k+1}{n}}}{sin {dfrac {2k+1}{n}}}}+C.}$

Формулу (6.203) можно обобщить для .

Теперь рассмотрим выражения (6.184), когда в знаменателе стоит знак «минус».

Случай 5. — чётный, . Двучлен ${displaystyle 1-x^{n}}$ имеет следующий набор корней:

${displaystyle x_{0}=pm 1,quad x_{k}=cos {frac {2k}{n}}pi pm isin {frac {2k}{n}}pi ,quad k=1,;2,;ldots ,;{frac {n-2}{2}}.}$

(6.204)

Разложение дроби ${displaystyle {frac {x^{m}}{1-x^{n}}}}$ будет иметь вид:

${displaystyle {frac {x^{m}}{1-x^{n}}}={frac {C_{1}}{1+x}}+{frac {C_{2}}{1-x}}+sum _{k=1}^{frac {n-2}{2}}left[{frac {A_{k}}{x-left(cos {dfrac {2k}{n}}pi +isin {dfrac {2k}{n}}pi right)}}+{frac {B_{k}}{x-left(cos {dfrac {2k}{n}}pi -isin {dfrac {2k}{n}}pi right)}}right],}$

(6.205)

где ${displaystyle A_{k},;B_{k},;C_{1},;C_{2}}$ — неизвестные коэффициенты, определяя которые и интегрируя после этого получившееся выражение, будет иметь:

${displaystyle int {frac {x^{m},dx}{1-x^{n}}}={frac {(-1)^{m}}{n}}ln |1+x|-{frac {1}{n}}ln |1-x|-{frac {1}{n}}sum _{k=1}^{frac {n-2}{2}}cos {frac {2k(m+1)}{n}}ln left(x^{2}-2xcos {dfrac {2k}{n}}pi +1right)+}$

(6.206)

${displaystyle +{frac {2}{n}}sum _{k=1}^{frac {n-2}{2}}sin {frac {2k(m+1)}{n}},mathrm {arctg} ,{frac {x-cos {dfrac {2k}{n}}}{sin {dfrac {2k}{n}}}}+C.}$

Случай 6. — нечётный, . При нечётном квадратуру интеграла легко получить из формулы (6.203), заменяя в ней на . В итоге получаем:

${displaystyle int {frac {x^{m},dx}{1-x^{n}}}=-{frac {1}{n}}ln |x+1|+{frac {(-1)^{m}}{n}}sum _{k=0}^{frac {n-3}{2}}cos {frac {(2k+1)(m+1)}{n}}ln left(x^{2}+2xcos {dfrac {2k+1}{n}}pi +1right)+}$

(6.207)

${displaystyle +{frac {2(-1)^{m}}{n}}sum _{k=0}^{frac {n-3}{2}}sin {frac {(2k+1)(m+1)}{n}},mathrm {arctg} ,{frac {x+cos {dfrac {2k+1}{n}}}{sin {dfrac {2k+1}{n}}}}+C.}$

Фактически во всех этих случаях можно считать, что , потому что при интеграл берётся непосредственно:

${displaystyle int {frac {x^{n-1},dx}{1pm x^{n}}}=pm {frac {1}{n}}int {frac {d(1pm x^{n})}{1pm x^{n}}}=pm {frac {1}{n}}ln |1pm x^{n}|+C=pm ln {sqrt[{n}]{|1pm x^{n}|}}+C.}$

(6.208)

Рассмотрим теперь интегралы вида:

${displaystyle int {frac {dx}{x^{m}(apm bx^{n})}},}$

(6.209)

где .
Уже известная подстановка ${displaystyle x=z{sqrt[{n}]{frac {b}{a}}}}$ позволяет перейти к интегралу вида:

${displaystyle {sqrt[{n}]{frac {b^{m-n+1}}{a^{m+1}}}}int {frac {dz}{z^{m}(1pm z^{n})}}.}$

(6.210)

Если , получим интеграл:

${displaystyle int {frac {dx}{x(1pm x^{n})}}.}$

(6.211)

Чтобы его вычислить, преобразуем его следующим образом:

${displaystyle int {frac {dx}{x(1pm x^{n})}}=int {frac {1pm x^{n}mp x^{n}}{x(1pm x^{n})}},dx=int {frac {1pm x^{n}}{x(1pm x^{n})}}mp int {frac {x^{n},dx}{x(1pm x^{n})}}=int {frac {dx}{x}}mp int {frac {x^{n-1},dx}{1pm x^{n}}}.}$

(6.212)

Оба интеграла нам известны: первый — табличный, а второй мы можем найти по формуле (6.208):

${displaystyle int {frac {dx}{x(1pm x^{n})}}=ln |x|-ln {sqrt[{n}]{|1pm x^{n}|}}+C=ln {frac {|x|}{{sqrt[{n}]{|1pm x^{n}}}|}}+C.}$

(6.213)

Если , то в интеграле (6.210) применим то же преобразование, что и в (6.212):

${displaystyle int {frac {dx}{x^{m}(1pm x^{n})}}=int {frac {1pm x^{n}mp x^{n}}{x^{m}(1pm x^{n})}},dx=int {frac {1pm x^{n}}{x^{m}(1pm x^{n})}}mp int {frac {x^{n},dx}{x^{m}(1pm x^{n})}}=int {frac {dx}{x^{m}}}mp int {frac {x^{n-m},dx}{1pm x^{n}}}.}$

(6.214)

Интеграл в первом слагаемом равен:

${displaystyle int {frac {dx}{x^{m}}}=-{frac {1}{(m-1)x^{m-1}}}.}$

(6.215)

Значит

${displaystyle int {frac {dx}{x^{m}(1pm x^{n})}}=-{frac {1}{(m-1)x^{m-1}}}mp int {frac {x^{n-m},dx}{1pm x^{n}}}.}$

(6.216)

Если , то мы приходим к одному из интегралов вида (6.184); при , последовательно применяя (6.216), снова приходим к случаю или к интегралу (6.211).

Приступим теперь исследованию интегралов более общего вида, чем (6.183):

${displaystyle int {frac {x^{m},dx}{(a+bx^{n})^{p}}},}$

(6.217)

где и . Считаем, что , в противном случае, имеем случай (6.183), описанный выше.

Интеграл (6.217) является частным случаем, так называемого, биномиального дифференциала (см. соответствующую главу). Этот интеграл обычно берётся интегрированием по частям, выбирая функции и таким образом, чтобы показатель сводился к 1.

Если в выражении (6.217) , то интеграл можно вычислить непосредственно занесением под дифференциал:

${displaystyle int {frac {x^{n-1},dx}{(a+bx^{n})^{p}}}={frac {1}{nb}}int {frac {d(a+bx^{n})}{(a+bx^{n})^{p}}}=-{frac {1}{bn(p-1)(a+bx^{n})^{p-1}}}+C.}$

(6.218)

Если , то применим интегрирование по частям, приняв, что ${displaystyle u=x^{m-n+1}}$ и ${displaystyle dv={frac {x^{n-1}}{(a+bx^{n})^{p}}}}$ , тогда ${displaystyle du=(m-n+1)x^{m-n},dx}$ , а ${displaystyle v=int {frac {x^{n-1},dx}{(a+bx^{n})^{p}}}=-{frac {1}{bn(p-1)(a+bx^{n})^{p-1}}}}$ . Подставляя эти значения в формулу интегрирования по частям (4.42), получаем:

${displaystyle int {frac {x^{m},dx}{(a+bx^{n})^{p}}}=-{frac {x^{m-n+1}}{bn(p-1)(a+bx^{n})^{p-1}}}+{frac {m-n+1}{bn(p-1)}}int {frac {x^{m-n},dx}{(a+bx^{n})^{p-1}}}.}$

(6.219)

Повторяя эту процедуру для интеграла в правой части, в конечном итоге мы придём к интегралу вида:

${displaystyle int {frac {x^{m-(p-1)n}}{a+bx^{n}}},dx,}$

(6.220)

который в зависимости от знака показателя может иметь вид (6.183) или (6.209). Если , то для интегралов вида (6.183) дополнительно потребуется выделить целую часть.

Если , то мы имеем интеграл

${displaystyle int {frac {dx}{x^{k}(a+bx^{n})}},}$

(6.221)

где и . Тогда можно также воспользоваться следующим преобразованием. Найдём такое наименьшее натуральное число , чтобы и при этом, если — чётное, тогда ${displaystyle a^{h}-b^{h}x^{hn}}$ , или, если — нечётное, тогда ${displaystyle a^{h}+b^{h}x^{hn}}$ , делилось бы на ${displaystyle a+bx^{n}}$ .

В первом случае мы можем применить следующее преобразование:

${displaystyle int {frac {dx}{x^{k}(a+bx^{n})}}={frac {1}{a^{h}}}int {frac {a^{h}-b^{h}x^{hn}}{x^{k}(a+bx^{n})}},dx+{frac {b^{h}}{a^{h}}}int {frac {x^{hn-k}}{a+bx^{n}}},dx;}$

(6.222)

во втором:

${displaystyle int {frac {dx}{x^{k}(a+bx^{n})}}={frac {1}{a^{h}}}int {frac {a^{h}+b^{h}x^{hn}}{x^{k}(a+bx^{n})}},dx-{frac {b^{h}}{a^{h}}}int {frac {x^{hn-k}}{a+bx^{n}}},dx.}$

(6.223)

Так как, по условию, мы подбирали так, чтобы ${displaystyle a^{h}-b^{h}x^{hn}}$ или ${displaystyle a^{h}+b^{h}x^{hn}}$ делились на ${displaystyle a+bx^{n}}$ нацело, то интегралы в первых слагаемых (6.222) и (6.223) будут интегралами от полиномов целых, положительных и отрицательных степеней [случай (6.149)]. Вторые интегралы будут интегралами вида (6.183), так как , а — наименьшее число, удовлетворяющее этому условию, то, следовательно, .

Пример 6.16. Найти интеграл:

${displaystyle int {frac {dx}{x(x^{2}+4)^{2}}}.}$

(6.224)

Решение. Здесь мы имеем интеграл (6.217) при . Воспользуемся формулой интегрирования по частям (6.219):

${displaystyle int {frac {dx}{x(x^{2}+4)^{2}}}=-{frac {1}{2x^{2}(x^{2}+4)}}-int {frac {dx}{x^{3}(x^{2}+4)}}.}$

(6.225)

Для интеграла в правой части имеем , подберём , чтобы выполнялось неравенство ; наименьшим натуральным будет . Это чётное число, следовательно имеет место преобразование (6.222):

${displaystyle -int {frac {dx}{x^{3}(x^{2}+4)}}={frac {1}{16}}int {frac {x^{4}-16}{x^{3}(x^{2}+4)}},dx-{frac {1}{16}}int {frac {x^{4},dx}{x^{3}(x^{2}+4)}}.}$

(6.226)

Сократим в первом интеграле на ${displaystyle x^{2}+4}$ и почленно поделим на $x^{3}$ :

${displaystyle {frac {1}{16}}int {frac {x^{4}-16}{x^{3}(x^{2}+4)}},dx={frac {1}{16}}int {frac {x^{2}-4}{x^{3}}},dx={frac {1}{16}}int {frac {dx}{x}}-{frac {1}{4}}int x^{-3},dx={frac {1}{16}}ln |x|+{frac {1}{4}}{frac {1}{2x^{2}}}+C={frac {1}{16}}ln |x|+{frac {1}{8x^{2}}}+C.}$

(6.227)

Второй интеграл берётся заведением под дифференциал:

${displaystyle -{frac {1}{16}}int {frac {x^{4},dx}{x^{3}(x^{2}+4)}}=-{frac {1}{16}}int {frac {x,dx}{x^{2}+4}}=-{frac {1}{32}}int {frac {d(x^{2}+4)}{x^{2}+4}}=-{frac {1}{32}}ln(x^{2}+4)+C.}$

(6.228)

Объединяя найденные интегралы, получим ответ:

${displaystyle int {frac {dx}{x(x^{2}+4)^{2}}}=-{frac {1}{2x^{2}(x^{2}+4)}}+{frac {1}{16}}ln |x|+{frac {1}{8x^{2}}}-{frac {1}{32}}ln(x^{2}+4)+C={frac {1}{16}}ln {frac {|x|}{sqrt {x^{2}+4}}}+{frac {1}{8(x^{2}+4)}}+C.}$

(6.229)

Примечания[править]

↑ Коэффициенты могут быть и рациональными, суть от этого не меняется, так как всегда можно домножить многочлен на некую постоянную величину, чтобы сделать его коэффициенты целочисленными.
↑ Не нарушая общности, можно считать, что коэффициент при старшей степени равен 1, потому что на него всегда можно поделить и учесть уже при интегрировании.
↑ Такая степень получается из того, что ${displaystyle scriptstyle {Q'_{m}(x)}}$ имеет степень ; отношение ${displaystyle scriptstyle {frac {Q'_{m}(x)}{L_{m-k}(x)}}}$ — степень . Производная ${displaystyle scriptstyle {V'_{k}(x)}}$ также имеет степень .
↑ Постоянный множитель ${displaystyle scriptstyle {-{frac {96}{8,281}}}}$ мы сделали частью неопределённых коэффициентов.
↑ Можно ещё объединить все логарифмы в один.
↑ По теореме о корнях производной многочлена производная должна содержать те же корни, что и , но меньшей кратности, а так как все корни просты, то и вообще не будут содержать общих корней.
↑ Многочлены и имеют степень на единицу меньше, чем и соответственно, если степень многочлена не превосходит суммарной степени и ; в противном случае, эти степени могут быть равны или быть больше.