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

В прошлом уроке ты уже видел, что у разложения рациональной дроби на простейшие слагаемые есть одно удивительное свойство: оно работает всегда. Не «часто», не «в большинстве случаев», а буквально для любой рациональной функции без исключений. В математическом анализе это редкость: подавляющее большинство интегралов не берётся в элементарных функциях вообще, и даже среди тех, что берутся, почти для каждого класса функций нужен свой особый трюк, своя удача, своя догадка. А рациональные дроби — исключение. Для них существует конечный, полностью детерминированный алгоритм, который гарантированно доводит тебя от произвольной дроби $\frac{P(x)}{Q(x)}$ до готового ответа.

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

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

История: откуда это взялось?

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

Ключевую роль в этой истории сыграл ещё один результат, на первый взгляд далёкий от интегрального исчисления — основная теорема алгебры, которая утверждает, что любой многочлен с вещественными коэффициентами раскладывается в произведение линейных и квадратичных множителей с вещественными коэффициентами (квадратичных — ровно тех, у которых дискриминант отрицателен, то есть корни комплексные и обязательно идут сопряжёнными парами). Первое достаточно строгое доказательство этого факта для вещественного случая дал Карл Фридрих Гаусс на рубеже XVIII и XIX веков. Без этой теоремы метод разложения на простейшие дроби был бы неполным: непонятно было бы, гарантированно ли знаменатель раскладывается на множители «хороших» типов. Теорема Гаусса закрыла этот вопрос окончательно — и именно поэтому, как ты увидишь дальше в этом уроке, простейших дробей ровно четыре типа, не больше и не меньше: этого достаточно, чтобы покрыть вообще все возможные множители любого знаменателя.

Интересный поворот эта история получила спустя полтора века, когда английский инженер-самоучка Оливер Хевисайд в конце XIX века разработал операционное исчисление для расчёта электрических цепей. Работая с так называемыми «изображениями» сигналов (по сути, ранней версией преобразования Лапласа), Хевисайд обнаружил, что разложение рациональной функции на простейшие дроби — это не просто приём для взятия интеграла, а способ понять физический смысл сигнала: каждое элементарное слагаемое соответствует отдельной, физически различимой компоненте отклика цепи — затухающей экспонентой, колебанием и так далее. Математики того времени критиковали методы Хевисайда за недостаточную строгость (он оперировал символами так, будто это обычные числа, не особенно заботясь о доказательствах), но инженерная интуиция его не подвела: сегодня его подход лежит в основе анализа линейных систем и цифровой обработки сигналов, а «метод Хевисайда» — это отдельное название для быстрого способа находить коэффициенты в разложении на простейшие дроби, с которым ты познакомишься в разделе «Лайфхаки» этого урока.

Правильные и неправильные дроби: деление многочленов

Интуиция: смешанное число вместо неправильной дроби

Давай разберёмся с самого начала — с того, что вообще значит «правильная» рациональная дробь. Определение простое: дробь $\frac{P(x)}{Q(x)}$ называется правильной, если степень многочлена $P$ строго меньше степени многочлена $Q$. Если же степень числителя больше или равна степени знаменателя — дробь неправильная, и с ней нельзя напрямую применять технику разложения на простейшие: простейшие дроби всех четырёх типов при $x\to\infty$ стремятся к нулю, а неправильная дробь при больших $x$ ведёт себя как многочлен и к нулю не стремится, значит её никаким способом нельзя представить в виде одной только суммы простейших слагаемых.

Представь, что ты работаешь с обыкновенными числовыми дробями. Дробь $\frac72$ — «неправильная», потому что числитель больше знаменателя, и её принято представлять как смешанное число: $\frac72 = 3 + \frac12$, то есть целая часть плюс правильный остаток. С рациональными функциями происходит ровно то же самое: неправильную дробь $\frac{P(x)}{Q(x)}$ нужно представить как «целую часть» (некоторый многочлен $S(x)$) плюс «правильный остаток» — дробь $\frac{R(x)}{Q(x)}$, где степень $R$ уже строго меньше степени $Q$. А находится это представление ровно так же, как находится целая часть у обыкновенной дроби — делением, только не чисел, а многочленов, столбиком.

Алгоритм деления многочленов

Алгоритм.

1. Сравни степень числителя $\deg P$ со степенью знаменателя $\deg Q$. Если $\deg P < \deg Q$, дробь уже правильная — переходи сразу к разложению на простейшие.

2. Если $\deg P \ge \deg Q$, дели $P(x)$ на $Q(x)$ столбиком, как обычные числа в столбик: на каждом шаге делишь старший член текущего остатка на старший член $Q(x)$, полученный одночлен записываешь в частное, умножаешь на весь $Q(x)$ и вычитаешь из текущего остатка.

3. Повторяй шаг 2, пока степень остатка не станет строго меньше степени $Q(x)$.

4. Запиши результат в виде $\dfrac{P(x)}{Q(x)} = S(x) + \dfrac{R(x)}{Q(x)}$, где $S(x)$ — частное (целая часть), а $R(x)$ — окончательный остаток, уже образующий правильную дробь.

Разбор примеров

Пример 1 (лёгкий). Представить $\dfrac{x^2}{x-1}$ в виде суммы многочлена и правильной дроби.

Степень числителя (2) больше степени знаменателя (1) — дробь неправильная. Делим: $x^2 \div (x-1)$. Старший член: $x^2 / x = x$; умножаем $x\cdot(x-1)=x^2-x$; вычитаем из $x^2$: остаток $x$. Продолжаем: $x/x=1$; умножаем $1\cdot(x-1)=x-1$; вычитаем из $x$: остаток $1$.

Пример 2 (средний). Представить $\dfrac{x^3+2x^2-x+1}{x^2+1}$ в виде суммы многочлена и правильной дроби.

Делим столбиком. Старший член: $x^3/x^2=x$; $x\cdot(x^2+1)=x^3+x$; вычитаем из $x^3+2x^2-x+1$: остаток $2x^2-2x+1$. Продолжаем: $2x^2/x^2=2$; $2\cdot(x^2+1)=2x^2+2$; вычитаем: остаток $-2x-1$. Степень остатка (1) меньше степени знаменателя (2) — деление завершено.

Пример 3 (сложный). Представить $\dfrac{2x^4-3x^3+4x^2-5x+6}{x^2-x+1}$ в виде суммы многочлена и правильной дроби.

Делим в три шага. Шаг 1: $2x^4/x^2=2x^2$; $2x^2(x^2-x+1)=2x^4-2x^3+2x^2$; вычитаем из $2x^4-3x^3+4x^2$: остаток $-x^3+2x^2$, сносим $-5x+6$: $-x^3+2x^2-5x+6$. Шаг 2: $-x^3/x^2=-x$; $-x(x^2-x+1)=-x^3+x^2-x$; вычитаем: остаток $x^2-4x$, сносим $+6$: $x^2-4x+6$. Шаг 3: $x^2/x^2=1$; $1\cdot(x^2-x+1)=x^2-x+1$; вычитаем: остаток $-3x+5$.

Проверить себя легко: разверни $(2x^2-x+1)(x^2-x+1)+(-3x+5)$ обратно и убедись, что получаешь исходный числитель $2x^4-3x^3+4x^2-5x+6$ — если раскрыть скобки и привести подобные слагаемые, всё сойдётся день в день.

Почему это важно

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

Разложение знаменателя и четыре типа простейших дробей

Интуиция: знаменатель как набор деталей конструктора

Теперь, когда дробь правильная (или уже приведена к правильной делением), нужно разобраться со знаменателем. Представь детский конструктор: любая крупная деталь на самом деле собрана из более мелких стандартных кирпичиков, и если ты умеешь работать с каждым видом кирпичика по отдельности, ты можешь разобрать любую сколь угодно сложную конструкцию. Знаменатель $Q(x)$ — это и есть такая «крупная деталь». Согласно основной теореме алгебры, любой многочлен с вещественными коэффициентами раскладывается в произведение множителей ровно двух видов: линейных $(x-a)^k$ (где $a$ — вещественный корень кратности $k$) и неразложимых далее квадратичных $(x^2+px+q)^m$, у которых дискриминант $D=p^2-4q$ отрицателен — то есть у которых нет вещественных корней вообще, только пара комплексно-сопряжённых.

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

Алгоритм: четыре типа простейших дробей

Алгоритм.

1. Разложи $Q(x)$ на множители вида $(x-a)^k$ и $(x^2+px+q)^m$, где $D=p^2-4q<0$ для каждого квадратичного множителя.

2. Каждому линейному множителю $(x-a)^k$ сопоставь сумму из $k$ слагаемых — это дроби типа I и типа II:

   $$\frac{A_1}{x-a}+\frac{A_2}{(x-a)^2}+\dots+\frac{A_k}{(x-a)^k}$$

3. Каждому неразложимому квадратичному множителю $(x^2+px+q)^m$ сопоставь сумму из $m$ слагаемых — это дроби типа III и типа IV:

   $$\frac{M_1x+N_1}{x^2+px+q}+\frac{M_2x+N_2}{(x^2+px+q)^2}+\dots+\frac{M_mx+N_m}{(x^2+px+q)^m}$$

4. Сумма всех получившихся слагаемых по всем множителям знаменателя и есть искомое разложение правильной дроби на простейшие — с неизвестными пока коэффициентами $A_i$, $M_j$, $N_j$, которые предстоит найти.

Итак, простейших дробей ровно четыре типа: $\dfrac{A}{x-a}$ (тип I, простой линейный корень), $\dfrac{A}{(x-a)^n}$ (тип II, кратный линейный корень), $\dfrac{Mx+N}{x^2+px+q}$ (тип III, простая комплексная пара) и $\dfrac{Mx+N}{(x^2+px+q)^n}$ (тип IV, кратная комплексная пара). Больше типов быть не может — а меньше не хватит, чтобы покрыть все случаи, которые допускает основная теорема алгебры.

Разбор примеров

Пример 1 (лёгкий, два простых линейных корня). Записать вид разложения для $\dfrac{3x-1}{(x-1)(x+2)}$.

Знаменатель уже разложен на два различных линейных множителя первой степени — оба типа I:

Пример 2 (средний, кратный линейный корень). Записать вид разложения для $\dfrac{5x^2-3}{x(x-1)^2}$.

Множитель $x$ входит в первой степени (тип I), множитель $(x-1)$ — во второй степени, значит ему соответствуют сразу два слагаемых, типа I и типа II:

Пример 3 (сложный, все четыре типа сразу). Записать вид разложения для $\dfrac{x^3+1}{(x-1)(x^2+x+1)^2}$.

Проверим квадратичный множитель на неразложимость: у $x^2+x+1$ дискриминант $D=1-4=-3<0$, значит он действительно неразложим дальше на вещественные линейные множители. Линейный множитель $(x-1)$ входит в первой степени — тип I. Квадратичный множитель $(x^2+x+1)$ входит во второй степени — значит ему соответствуют сразу два слагаемых, типа III и типа IV:

Почему это важно

Именно эта классификация — простой корень, кратный корень, простая комплексная пара, кратная комплексная пара — лежит в основе анализа устойчивости линейных динамических систем в цифровой обработке сигналов. Когда инженер раскладывает передаточную функцию фильтра на простейшие дроби, каждое слагаемое интерпретируется как отдельная «мода» отклика системы. Простой вещественный корень (тип I) даёт чисто затухающую (или растущую) экспоненциальную составляющую сигнала. Кратный вещественный корень (тип II) даёт составляющую, которая затухает экспоненциально, но домножена на растущий полином по времени — это как раз тот пограничный случай неустойчивости, который особенно интересует инженеров при проектировании фильтров. Комплексно-сопряжённая пара (тип III) даёт колебательную, синусоидальную составляющую, а её кратность (тип IV) определяет, нарастает ли амплитуда этого колебания со временем полиномиально. Иными словами: просто взглянув на то, какого типа множители сидят в знаменателе передаточной функции, инженер уже понимает качественную картину поведения системы — ещё до того, как выписан явный вид решения.

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

Интуиция: подгонка параметров модели под данные

Мы записали разложение в общем виде — но в нём стоят неизвестные буквы $A$, $B$, $M$, $N$ и так далее. Как их найти? Здесь на сцену выходит метод неопределённых коэффициентов — и, пожалуй, именно в этом месте курса проще всего увидеть параллель с машинным обучением, которая будет преследовать тебя ещё очень долго.

Представь, что у тебя есть «модель» — сумма простейших дробей с параметрами, значения которых пока неизвестны, — и есть «истинные данные» — исходная дробь, которую нужно точно воспроизвести. Задача метода неопределённых коэффициентов ровно та же самая, что задача обучения модели: подобрать параметры так, чтобы модель в точности совпала с целью. Разница лишь в одном: здесь совпадение требуется абсолютно точное, на каждом значении $x$ сразу, а не приближённое в среднем — и по счастливому стечению обстоятельств задача при этом оказывается линейной и решается за конечное число алгебраических шагов, без градиентного спуска и итераций. Но сам принцип — «параметризуй объект неизвестными числами и подбирай их так, чтобы модель совпала с целью» — это тот же самый принцип, который лежит в основе обучения линейной регрессии: там тоже ищут коэффициенты, при которых линейная комбинация признаков наилучшим образом воспроизводит целевую переменную, просто в общем случае точного совпадения добиться нельзя, и вместо системы уравнений решают задачу минимизации ошибки.

Алгоритм

Алгоритм метода неопределённых коэффициентов.

1. Запиши разложение дроби на простейшие с неизвестными коэффициентами (по правилам предыдущего раздела).

2. Приведи правую часть равенства к общему знаменателю — он совпадёт с исходным $Q(x)$ — и приравняй числители левой и правой части. Получится тождество, верное при всех $x$.

3. Найди коэффициенты одним из двух способов (или их комбинацией): подставляй в тождество «удобные» значения $x$ — в первую очередь корни знаменателя, которые обнуляют почти все слагаемые сразу; либо раскрой все скобки и приравняй коэффициенты при одинаковых степенях $x$ слева и справа.

4. Реши получившуюся систему линейных уравнений относительно неизвестных коэффициентов.

5. Подставь найденные значения обратно в разложение — и обязательно проверь результат, подставив в тождество ещё одно, ранее не использованное значение $x$.

Разбор примеров

Пример 1 (лёгкий). Найти коэффициенты разложения $\dfrac{3x-1}{(x-1)(x+2)}=\dfrac{A}{x-1}+\dfrac{B}{x+2}$.

Приводим к общему знаменателю и приравниваем числители: $3x-1 = A(x+2)+B(x-1)$. Подставляем корни знаменателя: при $x=1$: $2=3A\Rightarrow A=\frac23$; при $x=-2$: $-7=-3B\Rightarrow B=\frac73$.

Проверка при $x=0$: слева $-1$; справа $A\cdot2+B\cdot(-1)=\frac43-\frac73=-1$ — совпало.

Пример 2 (средний, кратный корень). Найти коэффициенты разложения $\dfrac{5x^2-3}{x(x-1)^2}=\dfrac{A}{x}+\dfrac{B}{x-1}+\dfrac{C}{(x-1)^2}$.

Числители: $5x^2-3 = A(x-1)^2+Bx(x-1)+Cx$. При $x=0$: $-3=A\Rightarrow A=-3$. При $x=1$ (корень кратности 2 — подставляем сразу, все слагаемые кроме последнего обнуляются): $2=C\Rightarrow C=2$. Осталось найти $B$ — сравним коэффициенты при $x^2$: слева $5$, справа $A+B$, значит $B=5-A=5-(-3)=8$.

Проверка при $x=2$: слева $5\cdot4-3=17$; справа $A\cdot1+B\cdot2\cdot1+C\cdot2=-3+16+4=17$ — совпало.

Пример 3 (сложный, линейный и квадратичный множитель вместе). Найти коэффициенты разложения $\dfrac{2x^2+3}{(x-1)(x^2+1)}=\dfrac{A}{x-1}+\dfrac{Mx+N}{x^2+1}$.

Числители: $2x^2+3 = A(x^2+1)+(Mx+N)(x-1)$. При $x=1$ (единственный вещественный корень знаменателя): $5=2A\Rightarrow A=\frac52$. Дальше квадратичный множитель вещественных корней не имеет, поэтому корневая подстановка исчерпана — раскрываем скобки и сравниваем коэффициенты:

При $x^2$: $A+M=2\Rightarrow M=2-\frac52=-\frac12$. При $x^1$: $N-M=0\Rightarrow N=M=-\frac12$. При $x^0$: $A-N=3$, проверяем: $\frac52-\left(-\frac12\right)=3$ — сходится, значит ошибок нет.

Почему это важно

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

Интегрирование простейших дробей каждого типа

Интуиция: четыре готовых рецепта на все случаи жизни

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

Тип I: $\int \dfrac{A}{x-a}\,dx$

Это простейший табличный интеграл:

Тип II: $\int \dfrac{A}{(x-a)^n}\,dx$, $n\ge2$

Здесь логарифм неприменим — переписываем как степенную функцию и берём по формуле степени:

Тип III: $\int \dfrac{Mx+N}{x^2+px+q}\,dx$, $D=p^2-4q<0$

Здесь нужен небольшой алгебраический трюк: представь числитель как долю производной знаменателя плюс остаток. Производная знаменателя равна $2x+p$, поэтому пишем $Mx+N = \dfrac M2(2x+p)+\left(N-\dfrac{Mp}2\right)$. Тогда интеграл распадается на два:

Первый интеграл — табличный (числитель есть производная знаменателя): $\dfrac M2\ln(x^2+px+q)$ (модуль не нужен, ведь при $D<0$ трёхчлен всегда положителен). Второй берётся дополнением до полного квадрата: $x^2+px+q=\left(x+\dfrac p2\right)^2+a^2$, где $a^2=q-\dfrac{p^2}4>0$ (это положительно ровно потому, что $D<0$), и дальше это табличный арктангенс:

Тип IV: $\int \dfrac{Mx+N}{(x^2+px+q)^n}\,dx$, $n\ge2$

Действуем так же, как в типе III: выделяем производную знаменателя. Первый интеграл берётся заменой $u=x^2+px+q$ и даёт степенную функцию. Второй сводится (после дополнения до полного квадрата) к интегралу вида $\int\dfrac{dt}{(t^2+a^2)^n}$, который берётся по рекуррентной (редукционной) формуле. Для $n=2$ эту формулу легко вывести самостоятельно интегрированием по частям — тебе уже знаком этот приём из прошлого урока — и результат таков:

Разбор примеров

Пример 1 (лёгкий, полный цикл — тип I). Вычислить $\int\dfrac{3x-1}{(x-1)(x+2)}\,dx$.

Коэффициенты уже найдены в предыдущем разделе: $A=\frac23$, $B=\frac73$.

Пример 2 (средний, полный цикл — типы I и II). Вычислить $\int\dfrac{5x^2-3}{x(x-1)^2}\,dx$.

Коэффициенты уже найдены: $A=-3$, $B=8$, $C=2$.

Пример 3 (сложный, полный цикл — типы I и III). Вычислить $\int\dfrac{2x^2+3}{(x-1)(x^2+1)}\,dx$.

Коэффициенты уже найдены: $A=\frac52$, $M=-\frac12$, $N=-\frac12$.

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

Ответ: $\dfrac52\ln|x-1|-\dfrac14\ln(x^2+1)-\dfrac12\arctan x+C$.

Пример 4 (тип IV отдельно). Вычислить $\int\dfrac{dx}{(x^2+1)^2}$.

Здесь $M=0$, $N=1$, $a=1$ — применяем редукционную формулу напрямую, с $t=x$:

Обрати внимание, как этот результат согласуется с общей формулой при $a=1$: слагаемое $\frac{t}{2a^2(t^2+a^2)}$ превращается в $\frac{x}{2(x^2+1)}$, а слагаемое $\frac1{2a^3}\arctan\frac ta$ — в $\frac12\arctan x$, ровно как и получилось.

Почему это важно

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

Практика: 30 заданий

Базовые задания (1–10)

Задание 1: Вычислить $\int\dfrac{dx}{x^2-9}$.

Задание 2: Вычислить $\int\dfrac{x\,dx}{x^2-1}$.

Задание 3: Вычислить $\int\dfrac{2x+3}{x(x+1)}\,dx$.

Задание 4: Вычислить $\int\dfrac{dx}{(x+1)^2}$.

Задание 5: Вычислить $\int\dfrac{x+3}{(x+1)^2}\,dx$.

Задание 6: Вычислить $\int\dfrac{x^2}{x-2}\,dx$.

Задание 7: Вычислить $\int\dfrac{3\,dx}{x^2+4}$.

Задание 8: Вычислить $\int\dfrac{2x+1}{x^2+1}\,dx$.

Задание 9: Вычислить $\int\dfrac{dx}{x^2+2x+5}$.

Задание 10: Вычислить $\int\dfrac{x\,dx}{x^2+2x+5}$.

Средние задания (11–20)

Задание 11: Вычислить $\int\dfrac{x^2+1}{x(x-1)^2}\,dx$.

Задание 12: Вычислить $\int\dfrac{3x^2-2x+1}{(x-1)^3}\,dx$.

Задание 13: Вычислить $\int\dfrac{x^3+1}{x^2-1}\,dx$.

Задание 14: Вычислить $\int\dfrac{5x^2+3x-1}{x^3-x}\,dx$.

Задание 15: Вычислить $\int\dfrac{2x+5}{x^2+4x+13}\,dx$.

Задание 16: Вычислить $\int\dfrac{x^3}{x^2+4}\,dx$.

Задание 17: Вычислить $\int\dfrac{4x^2-8x}{(x-1)^2(x+1)}\,dx$.

Задание 18: Вычислить $\int\dfrac{x^2+2}{x(x^2+1)}\,dx$.

Задание 19 (сигналы): Передаточная функция аналогового фильтра имеет вид $H(s)=\dfrac{s+3}{(s+1)(s+2)}$. Найти $\int H(s)\,ds$.

Задание 20: Вычислить $\int\dfrac{x^4}{x^2-1}\,dx$.

Продвинутые задания (21–30)

Задание 21: Вычислить $\int\dfrac{dx}{(x^2+4)^2}$.

Задание 22: Вычислить $\int\dfrac{x\,dx}{(x^2+1)^2}$.

Задание 23: Вычислить $\int\dfrac{2x+3}{(x^2+2x+2)^2}\,dx$.

Задание 24: Вычислить $\int\dfrac{x^3+x^2+x+2}{x^2+x}\,dx$.

Задание 25: Вычислить $\int\dfrac{3x^2+x+4}{(x-1)(x^2+1)^2}\,dx$.

Задание 26 (сигналы): Разложить и проинтегрировать передаточную функцию фильтра с одним двойным полюсом: $H(x)=\dfrac{x^2+3}{(x-2)(x+1)^2}$.

Задание 27: Вычислить $\int\dfrac{6x^2-x+1}{(2x-1)(x^2+1)}\,dx$.

Задание 28: Вычислить $\int\dfrac{x^4+1}{x^3-x^2}\,dx$.

Задание 29 (сигналы): Вычислить $\int\dfrac{5x+3}{(x^2+9)^2}\,dx$ — затухающая колебательная мода с двукратным комплексным полюсом.

Задание 30 (сигналы, финал): Модель авторегрессии с одним вещественным и одной комплексно-сопряжённой парой полюсов даёт передаточную функцию $H(x)=\dfrac{x^3+2x^2+3x+2}{(x+1)^2(x^2+1)}$. Найти $\int H(x)\,dx$.

Частые ошибки

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

• Разложение неправильной дроби напрямую, без деления. Простейшие дроби всех четырёх типов стремятся к нулю при $x\to\infty$, а неправильная дробь — нет. Попытка сразу расписать $\dfrac{x^3}{x^2+1}$ как сумму $\dfrac{Mx+N}{x^2+1}$ обречена: у такой суммы никогда не найдётся коэффициентов, дающих верное тождество, потому что слева степень растёт с $x$, а справа — убывает.

• Квадратичный множитель с неотрицательным дискриминантом, ошибочно принятый за неразложимый. Если у $x^2+px+q$ дискриминант $D\ge0$, он раскладывается на два (возможно совпадающих) линейных множителя, и работать с ним нужно как с типом I или II, а не как с типом III или IV. Перед тем как писать $\dfrac{Mx+N}{x^2+px+q}$, всегда проверяй знак дискриминанта явно.

• Забытая кратность корня. Если корень $x=a$ имеет кратность $k$, а в разложение вставлено только одно слагаемое $\dfrac{A}{x-a}$, у системы уравнений на коэффициенты просто не хватит степеней свободы — она либо не сойдётся, либо (что опаснее) даст неверный «совпадающий» ответ при подстановке одной конкретной точки, создавая иллюзию правильности.

• Логарифм вместо степенной функции для типа II. Формула $\int\dfrac{A}{(x-a)^n}\,dx=A\ln|x-a|+C$ верна только при $n=1$. При $n\ge2$ нужна степенная первообразная $\dfrac{A}{(1-n)(x-a)^{n-1}}$ — использование логарифма здесь одна из самых частых механических ошибок.

• Лишний или пропущенный модуль под логарифмом. Модуль обязателен для $\ln|x-a|$ (линейный множитель может обращаться в отрицательные значения), но не нужен для $\ln(x^2+px+q)$ при $D<0$ — такое выражение всегда строго положительно, и писать там модуль избыточно (хотя формально не ошибка, но признак непонимания, откуда модуль берётся).

• Ошибка знака при дополнении до полного квадрата. При выделении $x^2+px+q=\left(x+\frac p2\right)^2+\left(q-\frac{p^2}4\right)$ легко перепутать знак свободного члена — особенно когда $p$ отрицательно. Стоит явно проверять, что итоговая константа $a^2=q-\frac{p^2}4$ положительна: если получилось отрицательное число, значит где-то в дополнении до квадрата закралась ошибка (или квадратичный трёхчлен на самом деле раскладывается на линейные множители).

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

Главное запомнить

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

• Первый шаг всегда — проверка, правильная ли дробь; если нет, дели многочлены столбиком и выдели целую часть, прежде чем раскладывать остаток.

• Знаменатель раскладывается только на два вида множителей: линейные $(x-a)^k$ и неразложимые квадратичные $(x^2+px+q)^m$ с отрицательным дискриминантом — это гарантия основной теоремы алгебры.

• Каждому линейному множителю кратности $k$ соответствует $k$ слагаемых (типы I и II), каждому неразложимому квадратичному множителю кратности $m$ — $m$ слагаемых (типы III и IV).

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

• Тип I интегрируется в логарифм, тип II — в степенную функцию, тип III через дополнение до полного квадрата даёт логарифм плюс арктангенс, тип IV сводится к типу III и редукционной формуле для повторяющегося квадратичного знаменателя.

• Числитель квадратичного слагаемого всегда полезно раскладывать на долю производной знаменателя плюс константу — этот приём автоматически разделяет интеграл на «логарифмическую» и «арктангенсную» части.

• Каждую выкладку стоит проверять подстановкой дополнительного значения $x$ — это самый быстрый способ поймать арифметическую ошибку до того, как она попадёт в окончательный ответ.

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

Связь с другими темами курса

Интегрирование рациональных функций не существует изолированно — это узел, в котором сходятся сразу несколько линий курса. Во-первых, оно опирается на замену переменной и интегрирование по частям из предыдущего урока: подготовительные преобразования (замена $t=\sqrt x$ или другая, сводящая интеграл к рациональной дроби) часто предшествуют самому разложению, а интегрирование по частям иногда возникает как способ вывести редукционную формулу для типа IV. Во-вторых, метод неопределённых коэффициентов — это, по существу, решение системы линейных уравнений, а значит прямая иллюстрация к линейной алгебре: матрица этой системы всегда невырождена (иначе разложение было бы неоднозначным), и это можно строго доказать методами линейной алгебры, хотя на практике достаточно решать её вручную.

В-третьих, техника разложения знаменателя на линейные и неразложимые квадратичные множители — это ровно тот же навык, что понадобится тебе при решении линейных дифференциальных уравнений с постоянными коэффициентами: характеристическое уравнение такого ДУ раскладывается на множители по той же логике, а вид общего решения (экспонента, экспонента на полином, затухающее колебание) буквально копирует классификацию типов I–IV, которую ты сегодня освоил. Наконец, определённый интеграл, который тебе предстоит изучать дальше, очень часто берётся от рациональных функций — и разложение на простейшие точно так же применяется там, только после нахождения первообразной остаётся ещё подставить пределы интегрирования.

Интересные факты

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

• «Метод закрытия» (о котором пойдёт речь в следующем разделе) часто называют методом Хевисайда — в честь того самого инженера-самоучки из XIX века, который не имел формального математического образования, но интуитивно нашёл кратчайший путь к коэффициентам разложения задолго до того, как математики строго обосновали, почему этот путь вообще работает.

• Разложение рациональной функции на простейшие дроби используется не только при интегрировании, но и при обратном Z-преобразовании в цифровой обработке сигналов: зная передаточную функцию цифрового фильтра как рациональную функцию от $z^{-1}$, инженеры раскладывают её на простейшие дроби, чтобы восстановить импульсную характеристику фильтра — последовательность чисел, полностью описывающую его поведение во времени.

• Комплексные корни знаменателя обязательно идут сопряжёнными парами именно потому, что коэффициенты многочлена вещественны — это прямое следствие того, что если $z$ является корнем многочлена с вещественными коэффициентами, то и сопряжённое число $\bar z$ тоже обязано быть его корнем; это же самое явление ты встретишь снова, когда будешь изучать собственные значения вещественных матриц в линейной алгебре.

• Существует альтернативный, более «продвинутый» способ находить коэффициенты через комплексные числа: если временно разрешить себе работать с комплексными корнями квадратичных множителей напрямую (тип III фактически превращается в пару типов I с комплексно-сопряжёнными $a$), вычисления иногда получаются даже проще — но при этом в самом конце приходится аккуратно возвращаться к вещественной форме ответа.

Лайфхаки и полезные трюки

• Метод закрытия (метод Хевисайда) для простых корней. Чтобы найти коэффициент $A$ при слагаемом $\dfrac{A}{x-a}$, где $a$ — простой (некратный) корень знаменателя, «закрой» рукой множитель $(x-a)$ в исходной дроби и подставь $x=a$ в оставшееся выражение — это сразу даёт значение $A$, без выписывания полного тождества и системы уравнений.

• Метод закрытия работает и для старшего коэффициента при кратном корне. Если $x=a$ имеет кратность $k$, коэффициент $A_k$ при старшей степени $(x-a)^k$ находится точно так же — закрой множитель $(x-a)^k$ целиком и подставь $x=a$ в остаток; остальные коэффициенты $A_1,\dots,A_{k-1}$ так просто уже не получить, для них нужен полный метод сравнения коэффициентов.

• Комбинируй подстановку корней со сравнением старших и младших коэффициентов. Подстановка вещественных корней знаменателя почти всегда даёт часть неизвестных мгновенно; оставшиеся удобно находить, сравнивая коэффициенты при самой старшей и самой младшей степени $x$ в тождестве — там обычно самые простые уравнения.

• Проверяй деление многочленов подстановкой числа. Чтобы быстро убедиться, что деление столбиком выполнено верно, подставь любое удобное числовое значение $x$ (например, $x=1$) сразу в исходный числитель $P(x)$ и в выражение $S(x)Q(x)+R(x)$ — они обязаны совпасть.

• Автоматизируй работу с квадратичным знаменателем. Для любого слагаемого $\dfrac{Mx+N}{x^2+px+q}$ сразу пиши числитель как $\dfrac M2(2x+p)+\left(N-\dfrac{Mp}2\right)$ — это не приходится придумывать каждый раз заново, а просто подставлять в готовый шаблон.

• Не бойся дробных коэффициентов знаменателя. Если линейный множитель немонический, например $(2x-1)$, метод закрытия и подстановка работают точно так же — просто корнем будет не целое число, а дробь (в примере выше $x=\frac12$); главное — не забыть, что при интегрировании $\int\dfrac{A}{2x-1}\,dx=\dfrac A2\ln|2x-1|+C$, появляется дополнительный множитель от производной внутренней линейной функции.

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

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