UML_4256
.pdf(7)
deg r = max{deg (b1b2 (q1 + q2 )),deg (b1r2 ),deg (b2r1 )}< α
deg (b1b2 (q1 + q2 ))<α = deg b1 + deg b2 .
Последнее неравенство возможно только при q1 + q2 = 0 . Тогда из
(3) и (6) следует разложение дроби. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
a |
|
|
r |
(6) |
|
b r + b r |
r |
|
|
r |
|
||||||||||
|
|
= q + |
|
|
= q + |
1 2 |
|
|
|
2 1 |
= q + |
1 |
|
+ |
2 |
. |
(8) |
|||||
|
b |
b |
b b |
|
|
b |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
b |
|
|||||||||||
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
1 |
|
|
2 |
|
|
||||
Единственность разложения (8) легко доказать методом от |
||||||||||||||||||||||
противного. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если знаменатель дроби разлагается на m простых сомножителей |
||||||||||||||||||||||
b = b1b2 Kbm , то по индукции из (8) получим |
|
rm |
|
|
|
|
||||||||||||||||
|
a |
= |
|
a |
|
= q + |
r1 |
|
+ |
r2 |
+K+ |
|
. |
|
(9) |
|||||||
|
b |
b b |
Kb |
b |
|
|
|
|
||||||||||||||
|
|
|
|
|
b |
|
|
b |
|
|
|
|
||||||||||
|
|
|
1 2 |
|
|
m |
|
|
|
1 |
|
2 |
|
|
|
m |
|
|
|
|
§ 5. Корни многочлена. Теорема Виета. Разложение многочлена на неприводимые сомножители
Будем рассматривать многочлен n -й степени a(x)= pn (x) как функцию переменной x . Если существует значение аргумента x =ξ такое, что pn (ξ )= 0 , то ξ называют корнем (нулём) многочлена pn (x).
Теорема 1 |
(основная |
теорема |
алгебры). |
Всякий |
многочлен |
||||||||||
ненулевой |
степени |
имеет, по |
|
крайней |
мере, один |
|
корень, |
||||||||
действительный или комплексный (без доказательства). |
|
|
|
||||||||||||
Если |
x =ξ |
корень многочлена |
pn (x), то многочлен делится на |
||||||||||||
(x −ξ ), так как |
по |
теореме |
Безу остаток |
r = pn (ξ )= 0, |
а |
согласно |
|||||||||
лемме §3 |
pn (x)= (x −ξ ) pn−1 (x). Здесь pn−1 (x) |
– |
многочлен ( n -1)-й |
||||||||||||
степени. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Число ξ может быть корнем и многочлена pn−1 (x). Тогда |
|
|
|||||||||||||
|
p |
|
|
(x)= (x −ξ ) p |
(x), а |
p |
(x)= |
(x −ξ )2 |
p |
|
(x). |
||||
|
n−1 |
|
|
n−2 |
|
|
n |
|
|
|
n−2 |
|
|||
Наибольший показатель m, для которого |
|
|
|
|
|
|
|||||||||
|
p |
|
(x)= (x −ξ )m p |
(x), p |
−m |
(ξ )≠ 0 , |
|
|
(1) |
||||||
|
n |
|
|
|
n−m |
|
n |
|
|
|
|
|
|
называют кратностью корня ξ . Дифференцируя (1), найдём
221
pn′ (x)= m(x −ξ )m−1 pn−m (x)+(x −ξ )m pn′−m (x)=
= (x −ξ )m−1 (mpn−m (x)+ (x −ξ ) pn′−m (x))= (x −ξ )m−1 b(x). |
(2) |
Из (2) видно, что ξ является корнем порядка (m −1) |
для |
производной pn′ (x). Дифференцируя (1) второй, третий и так далее раз,
придем |
к выводу, что корень |
ξ |
многочлена |
pn (x) |
кратности |
m |
||
является |
корнем |
многочленов |
pn′ (x), p′′n (x),K, pn(m−1) (x), |
но |
не |
|||
является |
корнем |
многочлена p (m) |
(x). То есть |
кратность |
корня и |
|||
|
|
|
n |
|
x =ξ |
|
|
|
порядок |
первой отличной от нуля в точке |
производной |
||||||
многочлена совпадают. |
|
|
|
|
|
|
||
Справедливо и обратное утверждение. Если |
|
|
|
|
||||
|
pn (ξ )= pn′ (ξ )=K= pn(m−1) (ξ )= 0, pn(m) (ξ )≠ 0, |
|
|
(3) |
то ξ – корень многочлена pn (x) кратности m. Действительно, с учётом
(3) из формулы Тейлора (см. §5 гл. 6), получим
|
|
n |
|
|
|
|
|
|
n |
|
|
|
|||||
p |
|
(x)= ∑ |
1 |
p(k ) (ξ )(x −ξ )k = (x |
−ξ )m |
∑ |
1 |
p(k ) (ξ )(x −ξ )k −m = |
|||||||||
|
|
|
|||||||||||||||
|
n |
k =m k! |
n |
|
|
|
|
|
k =m k! n |
|
|
|
|||||
= (x −ξ )m b(x),b(ξ )≠ 0. |
А это и означает, что корень ξ |
|
кратности m |
||||||||||||||
(см. (1)). |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
Теорема 2. Всякий многочлен n –й степени имеет ровно n корней, |
|||||||||||||||
если корень считать столько раз какова его кратность. |
|
|
pn (x). Тогда |
||||||||||||||
|
|
Доказательство. Пусть ξ1 |
корень многочлена |
|
|
||||||||||||
pn (x)= (x −ξ1 ) pn−1 (x). Поскольку многочлен pn−1 (x) |
( n -1)-й степени |
||||||||||||||||
также имеет корень ξ2 , то pn−1 (x)= (x −ξ2 ) pn−2 (x) или |
|
|
|||||||||||||||
|
|
pn (x)= (x −ξ1 )(x −ξ2 ) pn−2 (x). После n -го шага получим |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
pn (x)= (x −ξ1 )(x −ξ2 )K(x −ξn ) p0 = p0 ∏(x −ξi ). |
|
(4) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
|
|
|
|
|
Здесь p0 – многочлен нулевой степени, то есть константа. |
|||||||||||||||
|
|
Из (4) видно, что корней ровно n . Теорема доказана. |
|
||||||||||||||
|
|
Учитывая, что корни могут быть кратными, (4) можно записать |
|||||||||||||||
так: |
|
|
|
|
|
|
|
|
m |
|
|
|
|||||
|
|
|
|
|
k1 |
|
k2 |
|
|
km |
|
|
ki |
|
′ |
||
pn (x)= (x −ξ1 ) |
(x −ξ2 ) |
K(x −ξm ) |
p0 = p0 ∏(x −ξi ) |
, |
|||||||||||||
|
|
|
|
( 4 ) |
i=1
k1 + k2 +Kkm = n.
222
В силу единственности представления многочлена (см. (3′) § 3) имеем
a |
+ a x +K+ a |
n−1 |
xn−1 + a |
n |
xn |
= p |
|
(x −ξ )(x −ξ |
2 |
)K(x −ξ |
n |
). |
(5) |
||||||||||||||
0 |
1 |
|
|
|
|
|
|
0 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||||||
|
Сравнивая коэффициенты при одинаковых степенях x в |
||||||||||||||||||||||||||
тождестве (5), получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
xn |
|
a |
n |
= p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn−1 |
|
|
|
0 |
|
(ξ +ξ |
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
||||
|
|
a |
= −p |
|
2 |
+K+ξ |
n |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
n |
−1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
xn−2 |
|
a |
|
|
= p (ξ ξ |
2 |
+ξ ξ |
+K+ξ ξ |
n |
) |
|
|
|
|
|
|
(6) |
|||||||||
|
|
|
n−2 |
0 |
|
1 |
|
|
1 3 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||||
|
M |
|
a = (−1)n p ξ ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
x0 |
|
Kξ |
n |
. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
0 |
|
|
|
0 |
1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Равенства (6) выражают теорему Виета. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
Теорема 3. |
Если многочлен |
|
p (x)= |
n |
|
|
|
xk |
с действительными |
|||||||||||||||||
|
|
∑ a |
k |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
k =0 |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
коэффициентами |
ak имеет комплексный корень |
ξ1 кратности |
k1, то |
имеет и сопряжённый корень ξ1 той же кратности.
n
Доказательство. По условию теоремы pn (ξ1 )= ∑ akξ1k = 0 . Так
k =0
как ak – действительные, то, переходя в этом равенстве к сопряжённым величинам, получим
|
n |
n |
|
|
|
|
|
|
|
|
|
||
pn (ξ1 )= ∑ akξ1k = ∑ ak ξ1 k = pn (ξ1 )= 0 . |
||||||
|
k =0 |
k =0 |
Это означает, что ξ1 – корень многочлена. По условию теоремы
pn (ξ1 )= pn′ (ξ1 )=K= pn(k −1) (ξ1 )= 0 , pn(k ) (ξ1 )≠ 0.
Переходя к сопряжённым величинам в этих равенствах (и
неравенствах), получим
pn (ξ1 )= pn′ (ξ1 )=K= pn(k −1) (ξ1 )= 0, pn(k ) (ξ1 )≠ 0 . Теорема
доказана.
Многочлен называется неприводимым (простым), если он не имеет других делителей, кроме самого себя и многочлена нулевой степени.
Заметим, что неприводимость или приводимость зависит от поля (пространства), в котором рассматриваются многочлены. Например,
многочлен |
x2 − 2 |
в поле Q |
рациональных чисел неприводим, но |
|||
приводим |
в |
поле |
R |
действительных |
чисел, |
так как |
|
|
|
|
223 |
|
|
x2 − 2 = (x − 2 )(x + |
2 ). |
Многочлен x2 +1 |
неприводим |
в |
R , но |
||||||||
приводим в поле комплексных чисел C , так как |
x2 +1 = (x −i)(x + i). |
||||||||||||
Согласно теореме |
1 в |
C неприводимыми |
могут быть |
только |
|||||||||
многочлены первой степени. |
|
|
|
|
|||||||||
Рассмотрим выражение |
|
|
|
|
|||||||||
(x −ξ )(x − |
|
)= x2 − 2 Reξx + |
|
ξ |
|
2 = x2 + px + q . |
Получили |
квадратный |
|||||
ξ |
|||||||||||||
|
|
трёхчлен с действительными коэффициентами, который не имеет действительных корней (ξ – комплексное число). Отсюда ясно, что
неприводимыми во множестве многочленов с действительными коэффициентами над полем R могут быть только многочлены первой степени и квадратные трёхчлены, не имеющие действительных корней.
Если коэффициенты ai многочлена pn (x)действительные, то
согласно теореме 3 его комплексные корни образуют комплексно сопряжённые пары. Объединяя скобки с такими корнями в разложении ( 4′), получим следующее разложение многочлена на неприводимые, следовательно, и взаимно простые сомножители над полем действительных чисел:
pn (x) |
m |
|
S |
(x2 + pi x + qi )li , |
|
|
= an ∏(x −ξi |
)ki ∏ |
(7) |
||||
|
i=1 |
|
i=1 |
|
|
|
k1 + k2 +K+ km + 2(l1 +l2 +K+ lS )= n . |
|
|||||
Разложение на |
неприводимые |
|
сомножители над |
полем |
||
|
′ |
|
|
|
|
|
комплексных чисел совпадают с ( 4 ): |
|
|
|
|||
p (x) |
m |
) |
ki |
|
+ k +K+ k = n . |
(8) |
= a ∏(x −ξ |
, k |
nn i=1 i 1 2 m
§6. Разложение рациональной дроби на простейшие
Пусть ba – правильная рациональная дробь и пусть её знаменатель
над полем комплексных чисел имеет следующее разложение на взаимно простые сомножители:
m |
(x −ξi )ki (см. (8) §5, |
am =1). |
b = ∏ |
||
i=1 |
|
|
Тогда согласно (8) §4 имеем следующее разложение правильной дроби:
224
|
a |
= |
|
|
|
r |
+ |
r |
|
|
+K+ |
|
|
|
r |
|
|
|
|
|
|
m |
rj |
|
. |
(1) |
||||||
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
m |
|
|
= ∑ |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
b |
|
(x −ξ |
)k1 |
|
(x −ξ |
2 |
)k2 |
|
|
|
|
(x −ξ |
m |
)km |
|
|
|
j=1 |
(x −ξ |
m |
)k j |
|
|
||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Во множестве многочленов над полем комплексных чисел |
||||||||||||||||||||||||||||||||
простейшей дробью называют дробь вида |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
λ |
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(x −ξ )k |
|
|
|
|
|
|
|
|
|
|
|
||||||||
где λ,ξ – комплексные числа, k – натуральное. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
Разложим одну из дробей |
r |
|
|
|
в (1) на простейшие. Для этого |
|||||||||||||||||||||||||||
(x −ξ )k |
||||||||||||||||||||||||||||||||
представим числитель дроби формулой Тейлора |
|
|
|
|
|
|
||||||||||||||||||||||||||
r (x)= |
∑ |
1 r(i) (ξ )(x −ξ )i = j = k −i = ∑ 1 |
r(k − j) (ξ )(x −ξ )k − j = |
|
||||||||||||||||||||||||||||
|
k −1 |
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
|
|
|
|
||||||||
|
i! |
|
|
|
|
|
|
|
|
|
|
|
(k − j)! |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
= λ (x −ξ )k −1 |
+ λ (x −ξ )k −2 |
+K+ λ , |
λ |
|
|
= |
|
1 |
|
|
|
|
r(k − j) (ξ ). |
(3) |
||||||||||||||||||
|
|
(k − j)! |
||||||||||||||||||||||||||||||
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
k |
|
j |
|
|
|
|
|
|
|
|
(так как дробь правильная, то r(k ) (ξ )= 0. λk ≠ 0, так как дробь не
сократимая).
Разложение (3) единственно в силу единственности формулы Тейлора. Учитывая (3), из (1) получим следующее разложение правильной рациональной дроби на простейшие над полем комплексных чисел:
|
a |
m |
λj1 |
|
λj 2 |
|
|
λjk j |
|
|
|
|
|
||
|
|
= ∑ |
|
|
+ |
|
|
+K+ |
|
|
|
. |
|
(4) |
|
|
|
|
|
|
|
|
|
|
|||||||
|
b j=1 |
|
|
(x −ξj ) |
2 |
|
(x −ξj ) |
k j |
|
|
|||||
|
x −ξj |
|
|
|
|
|
a |
|
|||||||
Если |
числитель и |
знаменатель |
дроби |
многочлены с |
|||||||||||
b |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
действительными коэффициентами, то корни знаменателя образуют комплексно сопряжённые пары.
В силу единственности разложения (4) переход к комплексно сопряженному выражению не изменит формулу. Поэтому коэффициенты λjk заменятся на комплексно сопряжённые. Тогда
действительным корням будут соответствовать действительные коэффициенты λjk , а для комплексно сопряжённых корней получим
λ |
+ |
|
λ |
|
|
|
= |
αx + β |
. |
|
x −ξ |
|
|
|
|
|
x2 + px + q |
||||
x −ξ |
||||||||||
|
|
|
|
|||||||
|
|
|
|
|
|
225 |
|
Здесь все коэффициенты действительные.
Таким образом, в случае действительных коэффициентов у многочленов a и b рациональной дроби имеем следующее разложение на простейшие дроби над полем действительных чисел:
a |
|
|
m |
|
|
|
λj1 |
|
|
λj 2 |
|
|
|
|
|
|
|
λjk j |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
= ∑ |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
+K+ |
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k j |
|
|
|
|
|
|
||||||||||||
b j=1 |
|
|
|
|
|
(x −ξj ) |
2 |
|
|
|
(x |
−ξj ) |
|
|
|
|
|
|
|
|
|
|
||||||||||||
x −ξj |
|
|
|
|
|
|
|
|
|
|
|
x + µik |
|
|
|
|
||||||||||||||||||
|
S |
|
|
|
|
λ |
x + µ |
i1 |
|
|
λ |
x + µ |
i2 |
|
|
|
|
|
|
|
|
λik |
|
|
|
|
||||||||
+ |
∑ |
|
|
|
|
i1 |
|
|
+ |
|
|
|
i2 |
|
|
|
|
+K+ |
|
|
|
|
i |
i |
|
|
. |
(5) |
||||||
|
x |
2 |
+ p x + q |
(x |
2 |
+ p x + q ) |
2 |
|
|
(x |
2 |
|
|
k |
i |
|||||||||||||||||||
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
+ p x + q ) |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
|
|
|
|
i |
i |
|
|
Неизвестные коэффициенты разложения можно найти методом неопределённых коэффициентов.
Пример. Разложить дробь |
|
|
|
|
x3 − x2 + x +3 |
на |
||||||||||||||||||||||||||||||
x5 − x4 + 2x3 − 2x2 + x −1 |
|
|||||||||||||||||||||||||||||||||||
простейшие в поле действительных чисел. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
Решение. |
|
Разложим |
знаменатель |
|
|
на простейшие множители |
||||||||||||||||||||||||||||||
x5 − x4 + 2x3 − 2x2 + x −1 = (x −1) |
( |
|
|
) |
2 (использовали теоремуВиета): |
|||||||||||||||||||||||||||||||
|
x2 +1 |
|
||||||||||||||||||||||||||||||||||
|
x3 − x2 + x |
+ 3 |
|
|
|
|
a |
|
|
|
a x + a |
|
a x + a |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
1 |
|
|
+ |
2 |
|
|
3 |
|
+ |
|
|
4 |
|
5 |
. |
|
|
|
||||
|
|
|
|
( |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|||||||||||
|
(x −1) |
x |
2 |
|
2 |
|
|
|
x −1 |
|
x2 +1 |
|
x |
2 |
) |
2 |
|
|
|
|
|
|||||||||||||||
|
|
+1 |
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
x4 |
|
0 = a + a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a =1 |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
x3 |
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||
|
|
1 = a − a |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
2 |
= −1 |
|
||||||||||
|
x2 |
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
−1 = 2a − a + a |
2 |
+ a |
4 |
|
|
|
|
|
|
|
|
|
|
a = 0 |
|
|||||||||||||||||||
|
x |
|
|
|
|
|
|
1 |
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
||||
|
|
1 = −a2 + a3 − a4 + a5 |
|
|
|
|
|
|
|
|
|
|
|
|
a4 = −2 |
|
||||||||||||||||||||
|
x0 |
|
3 = a − a − a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a = −2 |
|
|||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
3 |
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
§7. Интегрирование рациональной дроби
В предыдущем параграфе показано, что всякую рациональную дробь можно представить в виде многочлена и суммы простейших (элементарных) рациональных дробей. Над полем действительных
чисел элементарные рациональные дроби – это дроби вида: |
a |
|
и |
||
(x − x |
)n |
||||
|
ах+ b |
0 |
|
|
|
|
|
|
|
||
|
|
. |
|
|
|
|
(х2 + px + q)n |
|
|
|
|
226 |
|
|
|
|
|
|
|
Интеграл от |
|
многочлена |
|
|
|
|
легко |
|
вычисляется. |
|
|
Интеграл от |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
рациональной дроби |
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
легко выражается через элементарные |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
(x − x |
|
)n |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
функции. |
|
|
|
|
|
При |
|
|
|
|
n =1 |
|
|
|
|
|
имеем |
|
|
∫ |
|
|
|
|
|
|
|
|
dx = a ln |
|
|
x − x0 |
|
+ C. |
|
|
При n >1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
− x |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
∫ |
|
|
|
|
|
|
|
dx = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ C. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
(x − x |
)n |
|
|
(1 |
− n)(x − x0 )n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
Рассмотрим интегрирование второй элементарной дроби. При |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ах+b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x + |
|
|
= t |
|
|
|
|
|
|
|
|
|
|
|
a(t − |
|
|
|
) +b |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
n =1 получим ∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= ∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt = |
|
||||||||||||||||||||||||||||||||||
|
х2 + px + q |
|
q − |
|
p2 |
|
= k2 |
|
|
|
|
|
|
|
t2 + k 2 |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
tdt |
|
|
|
|
|
|
|
|
|
|
|
|
|
ap |
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
d(t2 + k2 ) |
|
|
|
|
|
|
|
|
|
|
ap |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
t |
|
|
|
||||||||||||||||||||||||||
= a∫ |
|
|
|
|
|
|
+ (b − |
|
)∫ |
|
|
|
|
|
|
|
|
|
|
= |
|
∫ |
|
+ (b − |
|
) |
|
arctg |
|
|
= |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
t2 + k2 |
2 |
|
|
t2 + k2 |
2 |
|
|
|
|
t2 + k2 |
|
|
|
2 |
|
k |
|
k |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ap |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
x + |
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
= |
ln(х2 + px + q) + (b − |
) |
arctg |
|
2 |
|
|
+ C. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2 |
|
При n >1 получим |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x + |
p |
= t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a(t − |
|
|
|
p |
|
+b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
ax +b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
a |
|
|
d (t2 |
+ k |
2 ) |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
∫ |
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
= ∫ |
|
|
|
2 |
|
dt |
= |
∫ |
|
+ |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(x |
2 |
+ |
px |
+ |
q) |
n |
|
q − |
p |
2 |
|
|
= k2 |
|
|
|
|
|
|
|
(t |
2 + |
k |
2 |
) |
n |
|
|
|
2 |
(t |
2 |
+ |
k |
2 |
) |
n |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
+(b − |
ap |
)∫ |
|
|
|
|
dt |
|
|
|
|
= |
a |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
(b |
|
− |
ap |
)∫ |
|
|
|
|
dt |
|
|
. |
||||||||||||||||||||||||||||||||||
|
|
(t2 |
+ k 2 )n |
|
|
1 |
− n |
(x2 + px + q)n−1 |
|
|
|
|
(t2 + k 2 )n |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
Второй интеграл выражается через элементарные функции по рекуррентной формуле (см. §2). Все вышесказанное сформулируем в виде следующей теоремы.
Теорема. Неопределенный интеграл от любой рациональной дроби существует в области определения самой дроби и выражается через элементарные функции, а именно через многочлены, рациональные дроби, логарифмы и арктангенсы.
Пример 1. ∫ |
x3 |
− x2 + x + 3 |
dx = ∫ |
dx |
|
− ∫ |
xdx |
|
− 2∫ |
x +1 |
dx = |
|||
(x |
−1)(x2 +1)2 |
x −1 |
x2 |
+1 |
(x2 |
+1)2 |
||||||||
|
|
|
|
|
||||||||||
|
|
|
227 |
|
|
|
|
|
|
|
|
|
|
(см. пример в §6) |
|
|
|
d (x2 |
+1) |
|
|
|
|
|
dx |
|
|
|
|
|||||||||||||
= ln |
|
|
x −1 |
|
|
− |
1 |
|
ln(x |
2 |
+1) − ∫ |
|
− |
2∫ |
|
|
= |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
2 |
|
|
(x2 +1)2 |
(x2 +1)2 |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
= ln |
|
x −1 |
|
− |
|
1 |
ln(x2 |
+1) + |
|
1 |
|
− 2 |
1 |
|
|
|
x |
− |
2 |
1 |
arctg x + C. |
|||||||
|
|
|
|
|
|
|
||||||||||||||||||||||
|
2 |
x2 +1 |
2 |
(x2 |
+1) |
2 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 2. ∫ |
|
(x2 + x |
+ 2)dx |
|
= |
1 |
ln |
|
x |
−1 |
|
− |
|
1 |
ln |
|
x +1 |
|
+ |
|
7 |
ln |
|
x |
−3 |
|
+C ; |
||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
x3 |
−3x2 |
|
|
|
|
2 |
|
|
2 |
|
|
4 |
|
|
||||||||||||||||||||||||||||||||
|
|
|
− x +3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
x3 −3x2 − x + 3 = (x −1)(x +1)(x −3); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
x2 + x + 2 |
|
|
|
a |
|
|
a |
|
|
|
a |
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
1 |
|
1 |
|
|
|
|
7 |
|
1 |
|
|
|
|||||||||
|
|
|
= |
1 |
|
+ |
2 |
|
+ |
|
|
3 |
|
|
= |
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
. |
||||||
(x −1)(x +1)(x − |
3) |
x −1 |
x +1 |
x − |
3 |
|
2 |
|
x −1 |
2 |
x + |
1 |
4 |
x −3 |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§8. Интегрирование некоторых иррациональностей. Подстановки Эйлера. Дифференциальный бином
Многочлен p (x) и рациональную дробь |
pn (x) |
называют |
|
||
n |
qm (x) |
|
рациональной функцией аргумента x и обозначают |
|
|
R(x) . Некоторые |
сложные нерациональные функции можно рассматривать как рациональные относительно своих промежуточных аргументов.
Например, |
функция |
f (x) = |
sin3 |
x + cos2 x |
не |
является |
рациональной |
|||||||||||
sin x + 2 |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
функцией |
аргумента |
x . |
Но |
если |
ввести |
|
обозначения |
|||||||||||
U1 = sin x, U2 = cos x, |
то |
ее можно |
рассматривать |
как |
рациональную |
|||||||||||||
функцию промежуточных аргументов U1 |
и U2 |
R(U1 |
,U2 ) = |
U 3 |
+U |
2 |
|
|||||||||||
1 |
|
2 |
. |
|||||||||||||||
|
|
|
||||||||||||||||
|
|
|
|
|
|
+ b r1 |
|
ax + b rs |
|
U1 + 2 |
||||||||
|
|
|
|
ax |
|
|
|
|
|
|
||||||||
а) Интегралы вида ∫R (x, |
|
|
|
|
, ..., |
|
|
) dx. |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
cx |
+ d |
|
|
cx + d |
|
|
|
|
|
|||||
Рассмотрим сначала интеграл вида |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
∫R (x, xr1 , xr2 ,..., xrs ) dx . |
|
|
|
|
|
(1) |
|||||||||
Здесь |
ri – рациональные |
числа |
|
(не |
все |
|
целые), |
поэтому |
подынтегральное выражение в (1) не является рациональной функцией аргумента x , но подынтегральная функция является рациональной
относительно промежуточных аргументов Ui = xri . В этом случае подынтегральное выражение можно рационализировать, то есть путем
228
замены переменной ϕ(x) = t получить интеграл от рационального
выражения. Цель такой рационализации ясна из предыдущего параграфа.
|
|
|
|
|
|
|
Пусть m – наименьший общий знаменатель степеней ri , то есть |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
r = |
pi |
|
, где |
|
p |
|
– целые числа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
i |
|
|
|
|
m |
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
тогда xri |
|
= tmri = t pi , dx = mtm−1 dt. |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
Положим x = tm , |
|
|
В результате |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
∫R (x, xr1 , xr2 ,..., xrs ) dx = ∫R (tm ,t p1 ,t p2 ,...,t ps ) mtm−1 dt = ∫R (t) dt, |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
где R (t) dt – рациональное выражение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
Пример 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
∫ |
|
|
|
|
|
dx |
|
|
|
|
= |
t6 = x |
|
|
|
|
|
|
|
= ∫ |
|
6t5dt |
|
= 6∫ |
t2 −1 +1 |
dt = 6∫(t −1 |
+ |
|
1 |
|
|
) dt = |
|
|||||||||||||||||||||||||||||||
|
|
|
x + 3 x2 |
|
|
|
|
|
|
|
|
t3 + t4 |
|
|
|
|
t |
+1 |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
6t5dt = dx |
|
|
|
|
|
|
|
|
|
|
|
|
t +1 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
= 3(t −1)2 + 6ln(t +1) +C = 3(6 x −1)2 + 6ln(6 x +1) + C. |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Интеграл (1) можно обобщить и рассмотреть интеграл вида |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I = ∫R(x, |
ax |
|
+b r1 |
|
|
|
ax +b rs |
)dx . |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,..., |
|
|
|
|
|
|
|
|
|
|
|
|
(2) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cx |
|
+ d |
|
|
|
|
cx + d |
|
|
|
tmd −b |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
В |
|
этом |
|
случае |
|
|
положим tm = |
|
ax +b |
|
|
x = |
= q(t) |
– |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
cx + d |
|
a −ctm |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t . |
|
|
′ |
|
|
|
|
||||||||||
рациональная |
|
функция |
|
аргумента |
|
|
|
|
|
|
|
|
|
рациональная |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
dx = q (t) dt – |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
функция аргумента t . Интеграл (2) преобразуется к виду |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫R (q(t),t |
p1 |
,t |
p2 |
|
,...,t |
ps |
|
|
|
′ |
|
|
|
|
|
|
(t) dt. |
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) q (t) dt = ∫R |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
Пример 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 / 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
x |
+ 2 |
|
dx = |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x |
+ 2) |
2 |
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
4 (x −1)3 (x + 2)5 |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
x |
+ 2 |
= t4 |
|
|
|
|
dx = − |
|
|
|
|
12t3 |
|
|
|
|
|
dt |
|
|
|
|
|
|
(t4 −1)2 t3 12t3 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
= |
|
|
x −1 |
|
|
|
|
|
(t4 |
−1)2 |
|
|
|
|
dt = |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= −∫ |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
x |
= |
2 +t |
4 |
|
|
|
|
|
x + 2 |
= |
|
|
3t |
4 |
|
|
|
|
|
|
|
|
|
|
9t8 (t4 −1)2 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t4 −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
t4 −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
= − |
4 |
∫ |
dt |
= |
|
4 |
t |
|
+C = |
|
4 |
4 |
x −1 |
+ C. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
t2 |
|
3 |
|
3 |
x + 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
229 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) Интегралы вида ∫R(x, ax2 +bx + c) dx. Подстановки Эйлера.
Напомним, что первообразную мы всегда ищем на интервале, лежащем в области определения подынтегральной функции, поэтому на
этом интервале ax2 +bx + c ≥ 0. |
|
|
|
|
|
|
|
|||
Рассмотрим сначала |
случай, когда квадратный трехчлен |
|||||||||
ax2 +bx + c |
имеет |
действительные |
корни. |
Тогда |
||||||
ax2 +bx + c = |
a(x − x )(x |
− x ) = |
|
x − x |
|
a |
x − x2 |
и мы |
получаем |
|
|
|
|||||||||
|
||||||||||
|
1 |
2 |
|
1 |
|
|
x − x1 |
|
|
|
|
|
|
|
|
|
|
|
|
частный случай интеграла, который уже рассмотрели в пункте а). Пусть теперь корни трехчлена ax2 +bx + c комплексные. Это
означает, что парабола y = ax2 +bx + c не пересекает ось x и при a < 0 ax2 +bx + c < 0 x (−∞,∞) , то есть областью определения
подынтегральной функции является Ø.
Пусть a > 0 . Воспользуемся одной из подстановок Эйлера.
|
ax2 +bx + c = t − x |
|
a |
(3) ax2 + bx + c = t2 − 2tx |
|
a + ax2 |
|||||||||||||||||||||||||||
x |
= |
|
t2 −c |
= q(t) – рациональная функция аргумента t , |
|||||||||||||||||||||||||||||
6 + 2t |
a |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
dx = q (t) dt – рациональная функция аргумента t . |
|
|
|
|
|||||||||||||||||||||||||||||
|
ax2 +bx + c = t − q(t) |
a – рациональная функция аргумента t . Таким |
|||||||||||||||||||||||||||||||
образом, подстановка Эйлера (3) рационализирует интеграл |
|||||||||||||||||||||||||||||||||
∫R(x, |
|
|
ax2 +bx + c) dx , если a > 0 . |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
Пример 3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
∫ |
|
|
|
|
|
|
|
|
dx |
|
= ∫ |
|
|
|
|
|
|
dx |
|
= ∫ |
|
|
dx |
|
|
|
= |
||||||
x |
+ |
|
x2 − x |
− 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
x + (x − 2)(x +1) |
x + (x +1) |
|
x − 2 |
||||||||||||||||||||||||
|
|
|
x − 2 |
|
|
|
|
|
|
|
|
6tdt |
|
|
|
|
|
|
|
x +1 |
|
|
|||||||||||
|
|
|
|
= t2 |
dx |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
= |
|
|
x +1 |
|
(1−t2 )2 |
|
|
|
|
|
|
|
|
|
|
= |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
2 +t2 |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
t + 2 |
|
|
|
|
|||||||
|
|
|
x = |
x +1 = |
|
|
|
x + |
x2 − x − 2 = |
|
|
|
|
|
|||||||||||||||||||
|
|
|
1−t2 |
1−t2 |
|
|
1−t |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
= ∫ |
|
|
|
6t (1−t) |
|
dt = −6∫ |
|
|
|
tdt |
|
= |
|
|
|
|
|
|
|
||||||||||||||
(1 |
|
|
|
|
|
|
|
(t |
−1)(t |
+1)2 (t + |
2) |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
−t2 )2 (t + 2) |
|
|
|
|
|
|
|
|
|
|
|
230