- •Первообразная. Неопределенный интеграл
- •Определение и основные свойства неопределенного интеграла
- •Первообразная
- •Интеграл!неопределенный
- •Основные свойства неопределенного интеграла
- •Таблица основных неопределенных интегралов
- •Основные методы интегрирования
- •Метод подстановки
- •Интегрирование по частям
- •Классы функций, интегрируемых в элементарных функциях
- •Интегрирование рациональных дробей с вещественными коэффициентами
- •Интегрирование квадратичных иррациональностей
- •Интегрирование дифференциального бинома
- •Интегрирование некоторых тригонометрических выражений
- •Понятие об интегралах, не берущихся в элементарных функциях
- •Определенный интеграл
- •Интегрируемость
- •Интегральные суммы
- •Геометрический смысл интегральных сумм
- •Интегрируемость
- •Суммы Дарбу
- •Определение
- •Основные свойства сумм Дарбу
- •Критерий интегрируемости. Классы интегрируемых функций.
- •Критерий Дарбу интегрируемости
- •Классы интегрируемых функций
- •Свойства определенного интеграла
- •Линейность и аддитивность
- •Оценки интегралов
- •Теоремы о среднем значении
- •Интеграл с переменным верхним пределом
- •Интегрирование по частям и формула Тейлора
- •Замена переменной в определенном интеграле
- •Критерий Лебега интегрируемости функции
- •Геометрические приложения определенного интеграла
- •Длина дуги кривой
- •Понятие кривой
- •Длина дуги кривой. Спрямляемые кривые
- •Площадь плоской фигуры
- •Определение площади
- •Площадь криволинейной трапеции
- •Площадь криволинейного сектора
- •Объем тела в пространстве
- •Кубируемость
- •Объем тела вращения
- •Работа силы вдоль кривой
- •Функции многих переменных
- •Функция многих переменных. Ее предел
- •Предел функции многих переменных
- •Повторные пределы
- •Непрерывность функции многих переменных
- •Понятие непрерывности
- •Основные свойства непрерывных функций
- •Дифференцируемость функции многих переменных
- •Частные производные
- •Дифференцируемость функции многих переменных
- •Дифференциал
- •Достаточное условие дифференцируемости
- •Дифференцируемость сложной функции
- •Инвариантность формы первого дифференциала
- •Производная по направлению. Градиент
- •Частные производные высших порядков
- •Дифференциалы высших порядков
- •Формула Тейлора
- •Экстремум функции многих переменных
- •Необходимое условие экстремума
- •Достаточные условия экстремума
- •Случай двух переменных
- •Наибольшее и наименьшее значения функции
- •Неявные функции
- •Существование и дифференцируемость неявной функции
- •Понятие о неявной функции
- •Неявная функция одной переменной
- •Неявная функция многих переменных
- •Неявные функции, заданные системой уравнений
- •Теорема об однозначной разрешимости системы уравнений
- •Взаимно - однозначное отображение в Rn
- •Условный экстремум
- •Постановка вопроса
- •Метод неопределенных множителей Лагранжа
- •Достаточные условия
- •Пример
Глава 8. Первообразная. Неопределенный интеграл |
|
|
|
|
|
|
|
5 |
|||||
В дальнейшем все промежуточные выкладки, связанные с подстановкой |
x = '(t); мы будем |
||||||||||||
оформлять следующим образом: |
|
|
|
|
|
|
|
|
|
|
|||
|
eaxdx = |
|
ax = t ) |
x = t=a; |
= |
1 |
|
|
etdt = |
et |
+ C = |
eax |
+ C: |
Z |
|
|
dx = dt=a |
|
|
a |
Z |
|
a |
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8.2.2Интегрирование по частям
Теорема 8.3. Пусть функции u(x) и v(x) дифференцируемы на (a; b) и функция u0(x)v(x) имеет первообразную на (a; b). Тогда функция v0(x)u(x) также имеет первообразную на (a; b) и
Z Z
u(x)v0(x)dx = u(x)v(x) v(x)u0(x)dx: (8.2)
Замечание 8.4. Пусть F (x) первообразная v(x)u0(x). Тогда dF = vdu; отсюда согласно п.1
R
Леммы ?? F (x) + C = vdu; так что (??) кратко можно записать в виде
Z |
|
Z |
(??0) |
udv = uv |
|
vdu: |
|
JИмеем (uv)0 = uv0 + u0v ) uv0 = (uv)0 u0v: Функция (uv)0 |
имеет первообразную на (a; b) è |
(uv)0dx = uv + C: Функция u0v по условию теоремы также имеет первообразную, отсюда согласно |
|||||||||||
R |
|
|
|
|
uv0 |
имеет первообразную и |
|
|
|
||
Лемме ?? их разность, то есть |
|
|
|
|
|
|
|
||||
R |
uv0dx = |
(uv)0dx u0vdx = uv |
u0vdx: I |
|
|
|
|
||||
R |
|
R |
|
|
|
R |
|
|
uv0 |
к вычислению инте- |
|
Замечание 8.5. Формула (??) сводит вопрос вычисления интеграла от |
|
|
|||||||||
грала от u0v; который может оказаться проще исходного интеграла. |
|
|
|||||||||
Пример 8.6. |
Z |
ln xdx = |
|
|
|
|
= x ln x Z |
dx = x ln x x + C: |
|||
|
|
dv = dx; |
v = x |
||||||||
|
|
|
|
ln x = u; |
du = dx=x |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8.3Классы функций, интегрируемых в элементарных функциях
Простейшими элементарными принято называть степенную, показательную, логарифмическую, тригонометрические, обратные тригонометрические функции. Элементарными называют функции, которые получаются из простейших элементарных путем конечного числа суперпозиций и четырех арифметических действий.
При решении различных задач бывает важно знать, выражаются ли интегралы от конкретных функций через элементарные функции. В связи с этим возникает задача указания достаточно широких классов функций, интегралы от которых выражаются в элементарных функциях. Изучению таких классов и будет посвящен этот раздел.
8.3.1Интегрирование рациональных дробей с вещественными коэффициентами
Один из классов функций, интегрируемых в элементарных функциях, образуют рациональные дроби, которые представляют собой отношение двух многочленов. Прежде чем приступить к изучению вопросов, связанных с интегрированием рациональных дробей, мы сформулируем два хорошо известных факта из курса алгебры.
Теорема 8.4. Если Q(x) многочлен с вещественными коэффициентами, то для |
Q справедливо |
разложение |
|
Q(x) = (x b1) 1 : : : (x bm) m (x2 + p1x + q1) 1 : : : (x2 + plx + ql) l ; |
(8.3) |
ãäå k; k; bk; pk; qk 2 R; pk2 4qk < 0: |
|
Глава 8. Первообразная. Неопределенный интеграл |
6 |
Теорема 8.5. Пусть R(x) = P (x)=Q(x) правильная1 рациональная дробь с вещественными коэффициентами, где Q имеет разложение (??). Тогда R(x) разлагается на сумму дробей вида
|
B1 |
|
|
B k |
|
|
|
|
|
|
|
|
|
k |
; : : : ; |
|
k |
|
; |
k = 1; m; |
|||||
|
|
(x bk) k |
||||||||||
x bk |
|
|
|
|
|
|
|
|||||
M1x + N1 |
|
|
M n x + N n |
|
|
|||||||
|
n |
n |
|
; : : : ; |
|
n |
|
n |
; n = 1; l; |
|||
x |
2 |
|
|
2 |
|
|
n |
|||||
+ pn + qn |
(x + pn + qn) |
ãäå Bki ; Mnj; Nnj 2 R:
Это разложение единственно.
Замечание 8.6. Коэффициенты Bki ; Mnj; Nnj определяются так называемым методом неопределенных коэффициентов , который заключается в следующем: правую часть разложения R(x)
приводят к общему знаменателю, после чего приравнивают коэффициенты при одинаковых степенях в числителях правой и левой частей.
Пример 8.7.
2x2 + 2x + 13 R(x) = (x 2)(x2 + 1)2 :
Имеем
|
A |
|
Bx + C Dx + E |
P (x) |
|
|
|
||||||||||
R(x) = |
|
|
+ |
|
|
|
|
+ |
|
|
|
= |
|
|
|
|
; |
x 2 |
|
2 |
+ 1) |
2 |
x |
2 |
+ 1 |
(x 2)(x |
2 |
+ 1) |
2 |
||||||
|
(x |
|
|
|
|
|
|
|
|
ãäå P (x) = (A + D)x4 + ( 2D + E)x3 + (2A + B + D 2E)x2 + ( 2B + C 2D + E)x + A 2C 2E;
откуда следует система уравнений для определения коэффициентов
>
8 |
A + D |
|
|
= 0 |
|
2D + E |
|
|
= 0 |
||
> |
2A + B + D 2E = 2 |
||||
> |
|
|
|
|
|
> |
|
2B + C |
|
|
|
> |
|
|
2D + E = 2 |
||
< |
|
|
= 13: |
||
> |
A 2C 2E; |
>
>
:
Решив эту систему, получим A = 1; B = 3; C = 4; D = 1; E = 2; так что окончательно
1 |
|
3x + 4 |
|
x + 2 |
|
|
R(x) = |
|
|
|
: |
||
x 2 |
(x2 + 1)2 |
x2 + 1 |
Теорема 8.6. Любая рациональная дробь с вещественными коэффициентами интегрируется в элементарных функциях.
JПрежде всего заметим, что если степень числителя не меньше знаменателя, то с помощью деления углом R(x) можно привести к виду:
r(x)
R(x) = P0(x) + Q(x);
r(x)
ãäå P0(x) некоторый многочлен, а дробь Q(x) правильная. Так что задача сводится к интегрированию правильных дробей, а в силу Теоремы ?? к интегрированию дробей четырех типов:
1) |
A |
; 2) |
B |
; 3) |
Nx + N |
; 4) |
Mx + N |
; |
|
|
|
|
|||||
x b |
(x b) |
x2 + px + q |
(x2 + px + q) |
ãäå ; 2; B; M; N; b; p; q 2 R; причем p2 4q < 0:
Докажем, что дроби 1) 4) интегрируются в элементарных функциях. Действительно,
1То есть степень числителя меньше степени знаменателя
Глава 8. |
Первообразная. Неопределенный интеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
||||||||||||||||||||||||||||||||||||||||||
|
|
1) |
|
|
Z |
x b = B ln jx bj + C: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
Bdx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) |
|
|
Z |
(x b) = |
1(x b) +1 + C; 2: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Bdx |
|
|
|
|
|
B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
3) |
|
|
|
2Nx + N |
|
dx = |
|
|
|
|
|
|
|
|
N |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
dx = |
|
|
dx = dt; |
|
|
|
|
|
= |
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
Z |
x + px + q |
|
|
|
|
Z |
|
|
(x + p=2) + q p =4 |
|
|
|
|
|
|
|
|
|
|
|
x + p=2 = t; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a = q p2=4 |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x + N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
Mt + N |
|
|
Mp=2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
tdt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mp |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
dt = M |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
Z |
|
t2 + a2 |
|
|
|
|
|
t2 + a2 |
|
|
|
2 Z |
|
t2 + a2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t2 + a2 = |
2 ln t2 + a2 + C = 2 ln x2 + px + q + C; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
dt |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
Z |
t2 + a2 = a Z |
|
(t=a)2 + 1 = a arctg a + C = a arctg |
|
|
a |
|
|
|
|
|
|
+ C: |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
dt |
|
|
|
1 |
|
|
|
|
|
d(t=a) |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
x + p=2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
4) |
|
|
Z |
(x2 + px + q) dx = jt = x + p=2j = M Z |
(t2 + a2) |
+ N |
|
|
2 |
Z |
(t2 + a2) : |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Mx + N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tdt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mp |
|
|
|
|
|
dt |
|
|
|
|||||||||||
|
|
|
|
|
Z |
tdt |
|
|
= |
1 |
Z |
d(t2 + a2) |
|
= |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
+ C: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
(t2 + a2) |
2 |
(t2 + a2) |
|
2( 1) |
|
(t2 + a2) 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
Остается вычислить интеграл |
|
|
|
|
|
|
|
I |
= Z |
|
(t2 + a2) : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
I |
|
= |
|
1 |
Z |
(a2 + t2 t2)dt = |
|
1 I |
1 |
|
|
1 |
Z |
|
|
|
|
|
|
|
|
t2dt |
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
a2 |
(t2 + a2) |
|
|
|
|
|
|
a2 |
|
a2 |
|
|
|
(t2 + a2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 + |
|
|
|
|
I 1; |
||||||||||||||||||||||||||||||||||
|
|
= |
|
dv = tdt= t2 |
+ a2) |
|
; |
|
|
|
|
|
|
|
|
|
|
= 12 I 1 + |
|
|
|
|
2 |
1 |
|
|
|
|
|
|
|
|
2 |
|
t |
|
|
2 |
1 |
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
u = t; du = dt; |
1)(t2 |
+ a2) 1 |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
2a ( |
|
|
1) (t |
|
+ a ) |
|
2a ( |
|
1) |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
v = 1= 2( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
I = 2a2( 1) |
|
(t2 + a2) + (2 3)I 1: |
|
|
|
|
|
|
|
|
|
|
|
|
|
(8.4) |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Далее, I1 = 1=a arctg(t=a) + C: Òàê ÷òî, çíàÿ I1, по формуле (??) можно найти I2 è ò.ä... I |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Замечание 8.7. Попутно мы получили рекуррентную формулу |
|
(??) для вычисления интеграла |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
I . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 8.8. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I = Z |
|
|
|
2x2 + 2x + 13 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x 2)(x2 + 1)2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Используя разложение, полученное в Примере ??, имеем |
|
|
|
+ 1dx: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
I = Z |
|
|
x 2 Z |
|
(x2 + 1)2 dx Z |
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
3x + 4 |
|
|
|
|
|
|
|
|
|
x + 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вычисляя каждый интеграл в соответствии с общей схемой, изложенной при доказательстве Теоремы ??, получим
I = ln jx 2j + ln x2 + 1 |
2x |
2 arctg x + C: |
|
||
(x2 + 1)2 |
8.3.2 Интегрирование дробно линейных иррациональностей
Определение 8.3. Дробно линейной функцией двух переменных называется выражение вида
R(x; y) = Pn(x; y) ;
Qm(x; y)
Глава 8. Первообразная. Неопределенный интеграл |
8 |
ãäå Pn(x; y); Qm(x; y) многочлены от переменных x; y n-й и m-й степеней с вещественными коэффициентами:
Pn(x; y) = |
X |
aijxiyj; Qm(x; y) = |
0 iX |
bijxiyj; |
|
|
|||
0 |
i+j n |
+j m |
PP
причем i+j=n jaijj =6 0; |
i+j=m jbijj =6 0: |
|
|
|
Рассмотрим интеграл |
|
|
|
|
|
I = Z R x; |
s |
|
!dx; |
|
x + |
|||
|
|
m x + |
ãäå R(x; y) рациональная функция 2 переменных, все фигурирующие постоянные вещественны, m 2 N:
Лемма 8.2. I интегрируется в элементарных функциях.
JПоложим
s
m x + = t:x +
Тогда |
|
|
tm |
|
|
|
|
||
|
|
x = |
; |
|
|
|
|||
òàê ÷òî |
|
|
tm |
|
|
|
|||
|
tm |
|
|
tm |
|
0 |
|
||
I = |
R |
; t |
|
|
dt; |
||||
|
|
||||||||
|
tm |
|
|
||||||
Z |
|
tm |
|
|
то есть подынтегральная функция является рациональной дробью, поэтому I в соответствии с Теоремой ?? выражается через элементарные функции. I
Пример 8.9. |
3 (x 1)(x + 1)2 : |
I = Z |
|
|
dx |
Òàê êàê |
p |
|
|
|
|
|
|
|
|
|
||
I = Z |
|
r3 |
|
x |
1 x + 1dx; |
|||||||
|
|
|
|
|
x + |
1 1 |
|
|||||
то подстановка |
|
|
|
|
|
|
|
|
|
|
|
|
|
x + 1 |
|
|
|
|
|
|
|
||||
|
|
= t3 |
||||||||||
|
|
|
||||||||||
"рационализирует"I: |
|
x 1 |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
t3 1: |
|||||
I = 3 Z |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
dt |
Разлагая подынтегральную функцию на сумму элементарных дробей, будем иметь
I = Z |
t 1 + Z |
t2 + t + 1dt; |
|
dt |
t + 2 |
pp
откуда I = ln jt 1j + 1=2 ln(t2 + t + 1) + 3 arctg(2t + 1)= 3 + C:
8.3.3Интегрирование квадратичных иррациональностей
|
R x; p |
|
|
|
|
|
||||
В этом пункте мы рассмотрим интеграл вида I = |
ax2 + bx + c |
dx; ãäå R(x; y) рациональ- |
||||||||
R |
|
|
|
|
|
|
|
|
подын- |
|
|
D |
pax2 + bx + c |
||||||||
ная дробь с вещественными коэффициентами от 2 переменных, |
a = 0 : |
= ?: |
||||||||
Сразу заметим, что если D = b2 4ac = 0; òî ax2 + bx + c = a(x x0)2 |
|
|
|
|
6 |
|||||
|
|
|
6 |
|
|
, следовательно, |
||||
тегральная функция является рациональной дробью, поэтому |
I выражается через элементарные |
|||||||||
функции. |
|
|
|
|
|
|
|
|
|
|
Лемма 8.3. Интеграл I выражается через элементарные функции.