
Лекция 5-6. Интегрирование иррациональных функций
Некоторые часто встречающиеся интегралы от иррациональных функций можно вы- числить методом р а ц и о н а л и з а ц и и подынтегральной функции. Этот метод заклю- чается в отыскании подстановки, которая преобразует интеграл от иррациональной функции в интеграл от рациональной функции.
Будем обозначать в дальнейшем символом R(u; v; : : : ; w) рациональную функцию относительно конечного числа переменных u; v; : : : ; w.
5.1.Интегрирование простейших иррациональностей
Теорема 5.1.1. Интегралы вида
|
|
ax + b |
r1 |
|
ax + b |
|
rs |
|
|||
Z |
R x; |
|
|
|
; : : : ; |
|
|
|
dx; |
||
cx + d |
cx + d |
|
|||||||||
где постоянные r1; : : : ; rs |
рациональны, a; b; c; d действительны и ad bc 6= 0, подста- |
||||||||||
новкой |
|
|
ax + b |
|
|
|
|
|
|
||
|
|
|
= tm |
|
|
|
|||||
|
|
|
cx + d |
|
|
|
|||||
|
|
|
|
|
|
|
|
приводятся к интегралу от рациональной функции, если m общий знаменатель рациональных чисел r1; : : : ; rs.
Доказательство читайте в [2] íà ñòð. 361. Пример 5.1. Примеры смотрите в [2] íà ñòð. 361-362.
5.2.Интегрирование квадратичных иррациональностей
5.2.1. Простейшие квадратичные иррациональности
Рассмотрим частные случаи интегралов вида
Z |
R x; p |
|
|
|
dx; |
a 6= 0; b2 4ac 6= 0: |
|
||||||||
ax2 + bx + c |
(5.1) |
||||||||||||||
Для вычисления интеграла |
|
pax2 + bx + c |
|
|
|
|
|
||||||||
|
|
I1 = Z |
|
|
|
|
(5.2) |
||||||||
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
||
выделяется полный квадрат под знаком радикала |
|
x + 2ba |
k2! |
||||||||||||
ax2 + bx + c = a x + 2ba |
+ a |
4ba2 ! |
= a |
||||||||||||
|
|
|
|
|
2 |
|
|
c |
2 |
|
|
|
|
|
2 |
и в случае, когда подкоренное выражение положительно на некоторм интервале, применяется подстановка
x + |
b |
= t; dx = dt: |
|
2a |
|||
|
|
1

В результате этот интеграл сводится к табличному:
I1 |
= pa Z |
pt2 |
|
k2 ïðè |
a > 0 èëè I1 = p1 a Z |
pk2 |
|
t2 ïðè a < 0: |
||||||||||
|
1 |
|
|
dt |
|
|
|
|
|
|
|
|
|
dt |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При вычислении интеграла |
Z |
pax2 + bx + c |
|
|
|
(5.3) |
||||||||||||
|
|
|
|
|
|
|
|
|
(Ax + B) dx |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
выделяется дифференциал выражения, стоящего под знаком радикала, и интеграл (5.3) представляется в виде суммы двух интегралов:
Z |
|
|
|
|
|
|
|
|
= Z |
|
A |
|
|
|
|
|
|
|
|
|
|
|
Ab |
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
+ B |
|
|
|
|
I1 = |
|||||||||||
(Ax + B) dx |
|
|
|
(2ax + b) + B |
|
|
|
|
|
|
|
|
|
A |
|
(2ax + b) dx |
|
|
Ab |
|||||||||||||||||||||||||||||||||||||||||
|
2a |
|
2a |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
p |
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
dx = |
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2a |
2a |
||||||||||||||||||||||||||||||||||||||||||||||||||
ax2 + bx + c |
|
|
ax2 + bx + c |
|
|
|
|
|
|
ax2 + bx + c |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
A d (ax2 + bx + c) |
|
|
|
|
|
Ab |
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
Ab |
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
= |
|
Z |
2p |
|
|
|
|
+ B |
|
|
|
|
|
I1 = |
|
|
|
pax2 + bx + c + B |
|
|
I1 |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
a |
|
|
2a |
|
a |
2a |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
ax2 + bx + c |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
Вычисление интеграла Z |
xpax2 + bx + c сводится к вычислению интеграла (5.2) ïîä- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
становкой |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
; |
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
t2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Пример 5.2. |
|
|
|
|
|
|
|
8èëè |
|
|
|
|
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
|
|
|
9 |
|
|||||||||||||
|
|
|
|
|
dx |
|
|
|
|
|
= |
|
|
|
|
|
= sgn x |
|
|
|
|
|
|
|
|
dx |
= |
|
|
t |
= |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 2 |
(1; 1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
1 |
|
|
|
|
|
|||||||
|
|
xp |
|
|
|
|
|
> |
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
>dx = |
|
|
dt |
> |
|
|||||||||||||||||
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z x |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
3x2 + 2x |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
1 1 |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t2 |
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
<x 2 (1=3; +1) |
= |
|
|
|
|
|
r3 + 2x |
x2 |
< |
|
|
= |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
> |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
:2 |
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
|
; |
|
|||||
|
|
|
|
|
|
Z t2p3 + 2t t2 |
|
|
|
Z p4 (t 1)2 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
= sgn x |
|
|
|
|
|
t dt |
|
|
= |
|
sgn x |
|
|
|
d(t |
1) |
|
|
= sgn x arccos |
t 1 |
+ C = |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=sgn x arccos 1 2xx:
5.2.2.Тригонометрические подстановки
Квадратный трехчлен ax2 + bx + c путем выделения полного квадрата и линейной
замены x+ 2ba = u может быть представлен виде a (u2 k2) èëè a (k2 u2). Таким образом, интеграл вида (5.1) сводится к одному из интегралов вида
Z |
R u; p |
|
du; |
Z |
R u; p |
|
du; |
Z |
R u; p |
|
|
du: |
|
||||
|
|
|
|||||||||||||||
k2 u2 |
k2 + u2 |
u2 k2 |
(5.4) |
||||||||||||||
Эти интегралы с помощью соответствующих тригонометрических подстановок |
|
||||||||||||||||
u = k sin t (u = k cos t); |
u = k tg t (u = k ctg t); |
|
u = |
|
k |
|
(u = |
|
k |
) |
|
||||||
|
cos t |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
sin t |
|
|||||
сводятся к интегралам от рациональных функций относительно |
sin t и cos t, которые ин- |
||||||||||||||||
тегрируются1 в элементарных функциях. |
|
|
|
|
|
|
|
|
|
|
|
1Подстановки, приводящие интеграл от функции, рационально зависящей относительно sin t и cos t к интегралу от рациональной функции, будут рассмотрены в лекции 7.
2

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Пример 5.3. В лекции 2 приводилось вычисление интеграла |
|
a2 |
|
x2 dx с помощью |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
тригонометрической подстановки x = a sin t. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
Пример 5.4. |
|
|
|
|
8 |
|
|
|
|
|
|
|
|
|
|
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
dx |
|
|
|
|
> |
x 2 ( 1; 0) |
> |
|
|
|
x |
= |
a tg t; dx = |
a dt |
|
|
|
|
|
|
|
|
|
|
a dt |
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
= |
= |
cos2 t |
|
|
= |
|
|
|
|
|
|
|
|
|
= |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
èëè |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
1 |
|
||||||||||||||||||||||||
|
|
4 |
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
||||||||||||||||||||||||||||||||
|
x |
|
+ x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
( |
|
; 0) èëè t |
|
(0; |
) |
|
|
|
t (a tg t) |
acos t |
||||||||||||||||||||||||||||||||||||
|
pa |
|
|
|
|
|
|
|
|
|
(0; + |
|
) |
|
|
|
|
|
|
|
|
2 |
|
2 |
= |
|
|
cos |
|||||||||||||||||||||||||||||||||||||||||
Z |
|
|
|
|
|
|
|
|
|
|
|
<x |
2 |
1 |
= < |
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
> |
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
Z |
|
|
|
|
|
|
|
|
: |
|
|
Z |
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z (sin t) 4d (sin t) Z (sin t) 2d (sin t) = |
||||||||||||||||||||||||||||
|
|
1 |
|
cos3 tdt |
|
1 |
|
|
|
|
|
|
|
sin2 t)d (sin t) |
|
|
|
1 |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
= |
|
|
|
|
|
|
|
= |
|
|
|
(1 |
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
a4 |
|
|
sin4 t |
a4 |
|
|
|
|
sin4 t |
|
|
|
|
|
|
|
|
a4 |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
a4 |
|
|
|
3 sin3 t |
+ |
sin t |
|
+ C: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
Верн¼мся к исходной переменной x = a tg t; |
t 2 ( 2 ; 0) èëè t 2 (0; 2 ). Имеем |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
sin t = |
|
|
|
|
|
sgn t |
|
|
|
= |
|
|
|
sgn x |
|
|
= |
sgn xjxj |
|
= |
|
|
|
x |
|
|
|
|
: |
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Таким образом, |
|
|
|
|
|
|
p1 + ctg2 t |
|
q1 + xa22 |
|
pa2 + x2 |
|
|
pa2 + x2 |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
p |
|
1 |
a2 + x2 |
+ C = |
p |
|
2x2 a2 + C: |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
x4p |
dx |
|
|
= |
a2 + x2 |
a2 + x2 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
a4x |
|
|
|
|
|
|
3x2 |
|
|
|
3a4x3 |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
a2 + x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5.2.3.Подстановки Эйлера
Теорема 5.2.1. Интегралы вида (5.1) могут быть сведены к интегралам от рациональных функций п о д с т а н о в к а м и Э й л е р а:
1.pax2 + bx + c = xpa t, åñëè a > 0; p
2.ax2 + bx + c = (x x1)t; åñëè x1 простой действительный корень квадратного
трехчлена ax2 + bx + c;
3. pax2 + bx + c = pc xt, åñëè c > 0.
Знаки в правых частях равенств можно брать в любых комбинациях.
Доказательство. Первый случай читайте в [2] на стр. 363; второй случай смотрите
â[1] на стр. 237 238, начиная с формулы (7.68); доказательство третьего случая читайте
â[2] íà ñòð. 365.
Пример 5.5. Смотрите примеры 1,2 в [1] на стр. 238-239. Рационализируем подынте-
гральное выражение
p dx
1 + 1 2x x2
примера 2, рассмотренного в [1], с помощью третьей подстановки Эйлера (это возможно,
òàê êàê c = 1) p
1 2x x2 = 1 + xt:
3

Возводя в квадрат обе части этого равенства, после элементарных преобразований полу- чим
|
x = 2 |
t 1 |
) |
dx = |
|
2 |
t2 2t 1 |
dt: |
|||||
|
|
|
t2 + 1 |
|
|
|
(t2 + 1)2 |
|
|||||
Таким образом, |
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
dx |
|
= |
Z |
|
|
t2 2t 1 |
|
dt: |
|
|
|
|
|
|
|
|
|
||||||
|
1 + p1 2x x2 |
t(t 1)(t2 + 1) |
|||||||||||
|
|
|
Полученный интеграл от рациональной функции вычислите самостоятельно.
Хотя подстановки Эйлера всегда рационализируют интеграл (5.1), но обычно эти подстановки приводят к весьма громоздким и сложным выкладкам. Ввиду этого на практике часто пользуются другими способами вычисления интеграла (5.1).
5.2.3. Интегралы вида Z |
pax2 + bx + c |
|
|
||||||||||
|
|
|
|
|
|
Pn(x) dx |
|
|
|
||||
Теорема 5.2.2. Интегралы вида |
Z |
|
|
pax2 + bx + c |
|
|
|||||||
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
Pn(x) dx |
|
|
|
|||
|
|
|
|
|
|
|
|
||||||
можно вычислить с помощью формулы |
pax2 + bx + c; |
||||||||||||
Z |
pax2 + bx + c = Pn 1 |
(x)pax2 + bx + c + Z |
|||||||||||
|
|
Pn(x) dx |
|
|
|
|
|
|
|
|
|
|
dx |
ãäå Pn 1(x) многочлен степени не выше, чем n 1, некоторое число.
Доказательство. Читайте [2] стр. 369 370. Пример 5.6. Смотрите пример на стр. 241 в [1].
Z
элементарными функциями. При n = 3, np= 4 их называют э л л и п т и ч е с к и м и, если |
|
Замечание 5.1. Интегралы вида |
R x; Pn(x) при n > 2, вообще говоря, не являются |
они не выражаются через элементарные функции; в противном случае п с е в д о э л - л и п т и ч е с к и м и.
5.3.Интегралы от дифференциального бинома: подстановки Чебыш¼ва
Выражение
xm (a + bxn)p dx (a 6= 0; b 6= 0) |
(5.5) |
называется дифференциальным биномом (или биномиальным дифференциалом). Будем рассматривать случай, когда a; b действительные, m; n; p рациональные числа.
Теорема 5.3.1. Интеграл от дифференциального бинома (5.5) допускает рационализирующую подстановку в следующих трех случаях:
1.åñëè p 2 Z, то применяется подстановка x = ts, где s общий знаменатель дробей m и n;
4

2. |
åñëè |
|
m + 1 |
2 Z, то используется подстановка a + bxn = ts, ãäå s знаменатель |
|
|
|
|
|||
|
n |
||||
|
дроби p; |
|
|||
3. |
åñëè |
m + 1 |
+p 2 Z, то применяется подстановка ax n +b = ts, ãäå s знаменатель |
||
|
|
|
|||
|
n |
дроби p.
Доказательство читайте в [1] íà ñòð. 235.
Пример 5.7. Смотрите примеры на стр. 236 в [1].
Теорема 5.3.2 (Теорема Чебыш¼ва). Неопределенный интеграл от дифференциального бинома (5.5) не выражается через элементарные функции при любых m; n; p, кроме слу-
чаев, когда одно из чисел p, m + 1, m + 1 + p целое. n n
Без доказательства.
5
Список литературы
[1]Ильин В.А., Позняк Э.Г. Основы математического анализа: В 2-х ч, Часть 1. М.: ФИЗМАТЛИТ, 2005.
[2]Кудрявцев Л.Д. Математический анализ Òîì 1.
6