Учимся интегрировать рациональные дроби!

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

        Несколько слов о рациональных дробях вообще.

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

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

        Функция

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

        А вот функция

        уже не является рациональной дробью, поскольку в числителе дроби присутствует извлечение корня из икса, а в знаменателе вдобавок сидит sin x.

        Осознали, что такое рациональная дробь? Прекрасно! Тогда продолжаем.

        Одним словом, в данном материале речь пойдёт об интегрировании функций вида

        где Pm(x) и Qn(x) — какие-то многочлены. Совершенно любые. Числа-индексы m и n — степени этих многочленов.

        Например:

        В общем, вы поняли…

        Так же, как и числовые дроби, рациональные дроби бывают правильными и неправильными.

        Рациональная дробь является правильной, если степень числителя строго меньше степени знаменателя. Иными словами, m<n.

        Во всех остальных случаях (mn) дробь является неправильной. Напоминаю, что степенью многочлена P(x) является старшая степень икса в многочлене.

        Посмотрим на примеры правильных и неправильных дробей?

        Например, дроби из нашего списка

        являются правильными, так как в этих дробях степень числителя (0, 1 и 2) строго меньше степени знаменателя (3, 2 и 200 соответственно).

        А вот дроби

        неправильные, так как в каждой из них степень числителя (первая) равна степени знаменателя (также первой).

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

        В этом уроке у меня для вас есть две новости — хорошая и не очень. Начну с хорошей, пожалуй…

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

        А вот в интегрировании к каждой функции - свой подход. Иногда даже уникальный. В том числе и к дробям, да.

        Но есть одно существенное «но»… Если подынтегральная дробь является рациональной, (то есть, представляет собой вышеупомянутое отношение двух многочленов), то, оказывается, для такой дроби универсальный алгоритм интегрирования существует! Называется такой алгоритм - разложение на элементарные дроби с помощью метода неопределённых коэффициентов. Что это за элементарные дроби такие и что это за загадочные неопределённые коэффициенты, мы довольно скоро с вами узнаем. Всему своё время.)

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

        А кто ж знает, надо его применять или не надо… Согласен. Никто не знает. Но некоторые характерные случаи я вам покажу и разберу. В этом уроке.) Это только на примерах понять и прочувствовать можно. Поэтому решаем. Будем по порядочку интегрировать наши дроби, выписанные выше.

        Итак, поехали!

 

Уровень 1.

Метод разложения числителя по степеням знаменателя. В знаменателе — линейная функция.

        Очень удобный и весьма популярный способ выкрутиться при интегрировании многих дробей! Одна из разновидностей этого способа интегрирования нам уже довольно хорошо знакома. Метод «добавить/отнять» помните? В математике он называется «добавление нуля». Смысл этого манёвра прост до ужаса: от добавления/вычитания какого-то числа или выражения суть исходного выражения не меняется:

        x + a — a = x

        Было икс и осталось тоже икс… Добавлять/отнимать, естественно, надо то выражение, которое удобно в конкретном примере. Зачем? А затем, чтобы в числителе подынтегральной дроби (а говорим мы с вами сейчас только о дробях) выделить выражение, стоящее в знаменателе. :) И, тем самым, разложить нашу исходную дробь, которую неудобно интегрировать, в сумму нескольких дробей, которые уже удобно интегрировать. Смотрим, как это делается. На примерах.

        Начнём с дробно-линейных функций. То есть, таких функций, у которых в числителе и в знаменателе стоят какие-то линейные конструкции kx+b.

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

        С первой формулой (натуральный логарифм) всё ясно, надеюсь. А вот вторая формула — самая обычная степенная функция. Замените дробь под интегралом на степень с отрицательным показателем (–n), проинтегрируйте по таблице — и тоже всё будет понятно.

        А теперь берём самую первую дробь из нашего списка и интегрируем:

        Пример 1

        Смотрим на нашу дробь и… пока с ходу не знаем, как её интегрировать, да? Дробь неудобна для интегрирования. Что ж, будем превращать её в удобную! Методом разложения числителя.

        Для этого анализируем числитель и знаменатель: сверху икс, снизу х+4. Для разложения дроби в сумму в числителе тоже хотелось бы получить х+4, но наши хотелки не должны противоречить законам математики. :)

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

        И что? Чем такой манёвр нам поможет? А тем, что теперь нашу дробь можно разложить на две:

        А вот в таком виде наша подынтегральная функция уже удобна для интегрирования! Почему? Да потому, что единичка интегрируется вообще в уме, а оставшаяся дробь

        легко интегрируется подведением под дифференциал. Вперёд!

И все дела.)

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

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

        Продифференцируем наш ответ и проверим результат интегрирования:

        Всё ОК.

        Едем дальше.)

 

        Пример 2

        Опять анализируем числитель и знаменатель. В числителе икс минус один, а в знаменателе икс плюс один. Для продвижения в интегрировании снова выделяем в числителе выражение х+1, стоящее в знаменателе и раскладываем нашу дробь на две. Ибо так нам удобнее!

Вот так. И интеграл теперь берётся одной левой.)

        Дифференцируем ответ, не ленимся:

        Всё гуд.)

        И последний пример из этой серии. Посложнее. С кучей коэффициентов. :)

 

        Пример 3

        Здесь тоже хорошо бы разложить подынтегральную дробь на две. Только, это… Как же нам в числителе из 2х+3 сделать 4х+5?

        Как-как… По шагам! Начнём со слагаемого с иксом. Нам надо 2х превратить в 4х. Как это сделать? Да на два домножить! Элементарно, Ватсон! :)

        2х·2 = 4х

        Но в числителе исходной дроби нету никакого 4х. Там 2х. Поэтому, чтобы от наших действий ничего не изменилось, надо что сделать? Правильно! Разделить обратно на двойку. Или, что то же самое, домножить на 1/2. Вот так:

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

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

        Но у нас в числителе стоит не пять вторых, а просто тройка… Непорядок! Как нам из пяти вторых получить тройку? Очень просто. Если элементарные действия с дробями помнить.)

        Значит, для тройки нам не хватает одной второй. Не проблема! Добавим…

        Есть! Получен исходный числитель! Это значит, что наше искусственное выделение знаменателя произведено успешно. :) Вот оно:

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

        Ну вот. Теперь всё готово к интегрированию. Вперёд и с песнями! Сразу выносим 1/2 за знак интеграла и считаем. В дроби используем подведение под дифференциал (коэффициент 1/4 не теряем, да).

        Готово дело.)

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

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

 

        Пример 4

        Пример совсем элементарный. Что делаем? Правильно! Подводим знаменатель 2х+5 под дифференциал и интегрируем по таблице:

           

        Что, думаете, этот пример я чисто для прикола дал? Вовсе нет! Такие дроби вам будут попадаться регулярно при рассмотрении интегралов от более навороченных дробей.) Думаете, ошибиться нельзя? Ну да, как же…

        Здесь можно машинально влепить в показателе (и в знаменателе дроби) четвёрку вместо двойки, руководствуясь табличным выражением

        Внимание! Показатель n здесь равен -3. Минус три. Из-за того, что наша степень tn стоит в знаменателе. Стало быть, n+1 = -3+1 = -2. Минус два, а не четыре… Повторите свойства степени с отрицательным показателем!)

        Также можно впопыхах забыть про коэффициент 1/2 при подведении знаменателя под дифференциал. Внимательнее надо быть, да.)

        Продолжаем…

 

        Пример 5

        В знаменателе сидит х-10. А в числителе х+3. А хочется тоже х-10… Не проблема! Выделяем в числителе выражение х-10. Это не просто, а очень просто:

        Дальше уже всё ясно.) Раскладываем нашу дробь в сумму:

        Отлично. Разложили.) А теперь вместо исходной дроби интегрируем сумму двух более простых дробей:

           

        Вот и всё!

        И последний пример такого типа. Самый злой, да.)

 

        Пример 6

        В знаменателе аж 200-я степень! Как тут не испугаться. :) На самом деле, телодвижения точно такие же — выделяем в числителе линейное выражение х-1. Прямо под квадратом! Пользуемся школьной формулой квадрата суммы.)

        Вот так:

        Готово дело. И теперь наша зловещая дробь разбивается на три маленьких:

        А полученные три дроби уже очень легко проинтегрировать! Буквально в уме!

           

       

        Как видите, сложного по сути ничего и нету.) А ведь как напугал в самом начале внешний вид примера!

        Практический совет:

        Если под интегралом рациональная дробь, в знаменателе которой стоит одиночная линейная конструкция в какой-либо степени (kx+b)n, то первым делом пробуем выделить эту же линейную конструкцию в числителе дроби. В результате этой процедуры исходный интеграл чаще всего легко сводится к комбинации табличных, либо берущихся подведением под дифференциал.

        А мы переходим на следующий уровень.

 

Уровень 2.

В знаменателе — квадратный трёхчлен. Раскладываем числитель!

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

        Табличные формулы, которые нам понадобятся для решения примеров этого параграфа (формулы №7 и №8):

        Ещё нам понадобятся школьные формулы сокращённого умножения:

        (a+b)2 = a2 + 2ab + b2 

        (a-b)2 = a2 — 2ab + b2 

        (a+b)3 = a3 + 3a2b + 3ab2 + b3 

        (a-b)3 = a3 — 3a2b + 3ab2 — b3

        и т.д. Вспоминайте, кто забыл!

        Вспомнили? А теперь решаем примеры:

       

        Пример 7

        Снова, как и на предыдущем уровне, выделяем в числителе из x4 выражение x2 — 4, стоящее в знаменателе. Вот так:

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

       Многочлен x2+4 интегрируется в уме, а оставшаяся дробь — не что иное, как табличный интеграл! Формула №7 из таблицы, с «высоким» логарифмом.) Число «а» у нас — двойка: 4 = 22. Вот и интегрируем себе по табличке:

       

        Ещё примерчик из этой оперы:

Пример 8

        В знаменателе — одинокий квадратный трёхчлен x2+4 и больше ничего. Идём по проторенной дорожке — выделяем эту же конструкцию в числителе.

        В этот раз пользуемся формулой куба разности: (a-b)3 = a3 — 3a2b + 3ab2 - b3

           

        Есть. Числитель разложен по степеням (х2+4). Теперь раскладываем исходную дробь в сумму, сокращаем что сокращается, раскрываем все скобки, приводим подобные и упрощаем:

           

        Отлично. Снова получили многочлен и табличный интеграл (формула №8, а=2). Интегрируем сумму табличных функций:

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

           

        Видите? И такая структура (многочлен + правильная дробь) у нас будет получаться всегда, как только мы будем иметь дело с неправильными дробями. Сами многочлены — не что иное, как целая часть наших дробей. Так же, как и в числовых дробях.)

        Понятна технология выделения знаменателя? Замечательно! Кстати, если неохота долго возиться с выделением знаменателя в числителе, есть способ-лайт (только в случае неправильной дроби!). А именно — деление числителя на знаменатель уголком. Демонстрирую на примере дроби из примера №7:

           

        Забыли, как делить многочлен на многочлен уголком? А вы вспомните! Не сочтите за труд. :)

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

 

Уровень 3.

В знаменателе — квадратный трёхчлен. Выделяем полный квадрат!

        И сразу пример в студию! :)

 

        Пример 9

        Такие интегралы всегда берутся в три шага.

        1. Выделяем полный квадрат двучлена в знаменателе.

        2. Подводим этот двучлен под знак дифференциала,

        3. Делаем замену переменной и интегрируем по табличным формулам:

           

           

 

        Итак, знаменателе дроби - квадратный трёхчлен. В числителе — просто dx. Работаем прямо по алгоритму.

        Шаг 1. Выделяем полный квадрат в знаменателе

           

        Шаг 2. Подводим двучлен под знак дифференциала

        В нашем случае необходимо подвести под дифференциал образовавшуюся скобку (х+3/2). Действуем:

Шаг 3. Делаем замену переменной и интегрируем по таблице

        В знаменателе — разность. Значит, наша необходимая табличная формула — с логарифмом. Интегрируем:

           

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

        Готово дело.)

        Разберём теперь пример на вторую табличную формулу.

 

Пример 9

        Опять действуем по шагам. Всё то же самое.)

        Шаг 1. Выделяем полный квадрат в знаменателе

           

        Шаг 2. Подводим двучлен под знак дифференциала

        После выделения полного квадрата у нас образовалась скобка (х+1/2). Подводим её под дифференциал:

        Шаг 3. Делаем замену переменной и интегрируем по таблице

           

        В знаменателе — сумма. Значит, пользуемся второй табличной формулой — с арктангенсом:

        Вот такой ответ. С корнями, да… Ничего не поделать… Такой уж пример.

        Что, хлопотно? Согласен, хлопотно. Но это ещё не самые трудные интегралы. Имейте в виду, что дробные и иррациональные числа при интегрировании рациональных дробей — самое обычное дело. Я специально так некрасиво подобрал коэффициенты. Чтобы вы имели представление, что делать в подобных ситуациях.

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

        а также по какому критерию происходит выбор той или иной табличной формулы.

       

        Что делать, если в числителе не dx, а линейная конструкция?

        В этом случае процедура интегрирования усложняется ещё одним шагом. А само интегрирование — ещё одним слагаемым. Сейчас всё увидите.    

        Последний пример на сегодня:

Пример 10

        Вот такая вот дробушка… Сначала всё то же самое.

 

        Шаг 1. Выделяем полный квадрат двучлена в знаменателе

        А вот следующий шаг здесь будет новым. Но хорошо знакомым.)

 

        Шаг 2. Выделяем этот же двучлен в числителе

        Такую операцию мы уже с вами неоднократно проделывали при рассмотрении предыдущих примеров. Здесь всё то же самое. Выделяем скобку (х+3) в числителе нашей дроби. Вот так:

        

 

        Шаг 3. Подводим двучлен под знак дифференциала

        Здесь тоже всё элементарно:

           

 

        Шаг 4. Делаем замену переменной и интегрируем по таблице

        А вот само интегрирование будет уже чуть сложнее, поскольку интегрировать нам придётся уже две дроби. Какие — сейчас увидите.) Начнём:

           

        Что делать с образовавшимся новым интегралом по переменной t? Разбиваем его на сумму двух! Вот так:

        Первый интеграл легко берётся подведением знаменателя под дифференциал и далее - по известной табличной формуле. Это и есть то самое дополнительное слагаемое, о котором я говорил. А вот второй интеграл вообще проблем не вызывает, ибо он — знакомый табличный.) Раз в знаменателе сумма, значит, применяем формулу с арктангенсом. Число «а» у нас равно двойке:

        а = 2

        Смотрите и врубайтесь, как именно происходит интегрирование:

           

        Вот и всё. Осталось лишь вернуться обратно к иксу и записать окончательный ответ:

        Вот всё и получилось.) Конечно, считать побольше пришлось, ну так у нас и дробь тоже посложнее.)

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

 

        Что делать, если дробь - неправильная?

        Что-что… Исправлять! Делать дробь правильной.) Как? Выделять целую часть. Хотя бы делением числителя на знаменатель уголком, ибо это — самый универсальный способ. От него плохо не бывает. Бывает либо хорошо, либо — никак. :) Например, дана нам такая нехорошая дробь:

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

        Напоминаю, что перед делением уголком мы должны расписать наш многочлен по всем степеням икс от старшей к младшей. В том числе и по тем степеням, которых в исходном многочлене в явном виде нет! Перед отсутствующими степенями ставим нули. В нашем многочлене х3-3х+100 нету члена с х2. Вот и пишем х2 с нулевым коэффициентом.

        

        Всё. Деление закончено. Неполное частное х-4 — это целая часть, а остаток -16х-16 – это числитель правильной рациональной дроби. Поэтому после процедуры выделения целой части наша дробь распишется вот так:

        

        Поэтому, если бы перед нами стояла задача проинтегрировать эту дробь, то первым делом мы бы в уме проинтегрировали целую часть (многочлен х-4) и записали:

        А уж что дальше делать с оставшейся непроинтегрированной правильной дробью, мы уже знаем! Выделяем полный квадрат в знаменателе и — вперёд по алгоритму! Желающие могут доинтегрировать.)

        Ну, ладно. На сегодня отмучились! :) На досуге порешайте следующие примерчики:

           

       

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