Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

int-neop

.pdf
Скачиваний:
10
Добавлен:
16.03.2015
Размер:
331.93 Кб
Скачать
P (x)

20

 

 

 

 

 

 

 

Оглавление

Приведем эту разность к общему знаменателю.

 

 

P (x)

¡

Mx + N

=

P (x) ¡ (Mx + N)'(x)

:

 

Q(x)

(x2 + px + q)®

 

 

(x2 + px + q)®'(x)

 

 

Очевидно, что функция Φ(x) = P (x) ¡ (Mx + N)'(x) является мно-

гочленом с вещественными коэффициентами. Таким образом, получили представление

P (x)

¡

 

Mx + N

Φ(x)

 

(1.35)

 

 

 

 

=

 

:

Q(x)

(x2 + px + q)®

(x2 + px + q)®'(x)

Нетрудно проверить, что Φ(a) = 0. Поэтому число a является корнем

многочлена Φ некоторой кратности k, а по предложению 1.1 и число a

также является корнем этого многочлена кратности k. Следовательно,

многочлен Φ разлагается в произведение

Φ(x) = (x2 + px + q)kÃ(x);

ãäå Ã некоторый многочлен с вещественными коэффициентами, не

обращающийся в нуль при x = a è x = a. Вставляя это представление в формулу (1.35), получим представление (1.34). И поскольку разность

двух правильных дробей, в свою очередь, является правильной дробью,

Ã(x)

дробь (x2 + px + q)®¡k'(x) правильная.

Последовательное применение лемм 1.1 и 1.2 к правильной дроби (1.27) приводит к следующему утверждению.

Теорема 1.4 Пусть Q(x) правильная рациональная дробь с вещественными коэффициентами, знаменатель которой имеет вид

Q(x) =(x ¡ a1)®1 (x ¡ a2)®2 : : : (x ¡ ar)®r £

£(x2 + p1x + q1)¯1 (x2 + p2x + q2)¯2 : : : (xs + psx + qs)¯s :

1. Неопределенный интеграл

Тогда для этой дроби справедливо разложение на сумму дробей:

 

 

P (x)

 

=

 

A1(1)

 

+

 

 

A2(1)

 

 

+ : : : +

 

 

A®(1)1

+

 

 

 

Q(x)

x ¡ a1

 

(x

 

a1)2

 

 

 

®

 

 

 

 

 

 

 

 

 

 

 

 

(x ¡ a1) 1

 

 

 

 

 

 

 

 

(2)

 

 

 

 

¡(2)

 

 

 

 

 

 

 

(2)

 

 

 

 

 

 

 

 

=

 

A1

 

+

 

 

A2

 

 

+ : : : +

 

 

A®2

+

 

 

 

 

 

x ¡ a2

 

(x

 

a2)2

 

 

 

®

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x ¡ a2) 2

 

 

 

 

 

 

 

 

 

(r)

 

 

 

¡(r)

 

 

 

 

 

 

 

(r)

 

 

 

 

 

 

 

=

 

A1

 

+

 

 

A2

 

 

+ : : : +

 

 

A®r

 

+

 

 

 

 

 

x ¡ ar

(x

 

 

ar)2

 

 

 

®

 

 

 

 

 

 

 

 

 

 

 

 

 

(x ¡ ar) r

 

 

 

 

 

 

 

 

 

M1(1)x + N1(1)¡

 

 

 

M2(1)x + N2(1)

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

+ : : : +

 

 

 

 

 

 

 

 

 

 

 

 

(x2 + p1x + q1)2

 

 

 

 

 

x2 + p1x + q1

 

 

 

 

 

 

 

 

 

 

 

 

 

M¯(1)1

x + N¯(1)1

 

 

 

 

M1(s)x + N1(s)

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

+ : : : +

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x2 + p1x + q1)¯1

 

 

x2

+ psx + qs

 

 

 

 

 

 

M2(s)x + N2(s)

 

 

 

 

 

 

M¯(ss)x + N¯(ss)

 

 

 

 

+

 

 

+ : : : +

 

;

 

 

 

 

(x2 + psx + qs)2

(x2 + psx + qs)¯s

ãäå A1(1)

, A2(1); : : : ; A®(rr), M1(1)

, N1(1); : : : ; M¯(ss), N¯(ss) 2 R.

 

 

 

21

(1.36)

Для конкретного определения этих постоянных, называемых неопределенными коэффициентами, нужно привести все дроби в (1.36) к общему знаменателю, а затем приравнять коэффициенты при одинаковых степенях x в числителях. Получим систему

®1 + ®2 + : : : + ®r + 2 (¯1 + ¯2 + : : : + ¯s)

линейных уравнений с таким же числом неизвестных, которыми являются перечисленные неопределенные коэффициенты.

Дроби, стоящие в правой части (1.36) называют простейшими рациональными дробями.

Пример 1.13 Разложить дробь

 

 

x + 3

 

 

 

 

 

 

 

 

 

на простейшие.

 

(x ¡ 1)(x2 + 1)2

 

Решение. Согласно теореме 1.4, разложение имеет вид

 

 

 

 

 

 

 

 

x + 3

 

A

Bx + C

 

Dx + E

(1.37)

 

 

 

 

 

 

=

 

+

 

 

+

 

 

:

 

 

 

 

 

(x ¡ 1)(x2 + 1)2

x ¡ 1

 

x2 + 1

(x2 + 1)2

Приводя равенство (1.37) к общему знаменателю, получаем

 

 

 

 

x + 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

1)(x2 + 1)2

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

¡

2

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

=

A(x

 

+ 1) + (Bx + C) (x ¡ 1)(x

 

+ 1) + (Dx + E) (x ¡ 1)

:

 

 

 

 

 

 

 

 

(x ¡ 1)(x2 + 1)2

 

 

 

 

 

22

Оглавление

Сравнивая в числителях коэффициенты при x4, x3, x2, x1 è x0, приходим к системе уравнений

 

 

 

 

4

¯

¡

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

=

0;

 

 

 

 

 

 

¯

A +B

 

 

 

 

 

 

 

 

 

 

 

2

¯

 

¡

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

¯

 

 

 

 

 

 

=

0;

 

 

 

 

 

 

 

¯

 

B +C

 

 

 

 

 

 

 

 

 

 

x

1

¯

 

B +C

 

 

D +E = 1;

 

 

 

 

 

 

 

¯

 

¡

 

 

 

 

 

 

x

 

¯

¡

 

 

 

 

= 0;

 

 

 

 

 

 

 

¯

2A +B C +D

 

 

 

 

 

 

 

 

0

¯

 

¡

 

 

 

¡

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

A = 1, B = 1, C =

1, D = 2, E =

1.

Решая эту систему, находим¯

 

 

 

x

 

¯

A

 

C

 

 

 

E

=

3:

 

 

 

 

 

 

 

 

¯

 

 

 

 

 

 

¡

 

¡

 

 

¡

¡

Поэтому окончательно получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x + 3

 

1

 

¡

 

x + 1

¡

 

2x + 1

 

 

 

 

 

 

 

=

 

 

 

 

 

:

 

 

 

 

 

(x ¡ 1)(x2 + 1)2

x ¡ 1

x2 + 1

(x2 + 1)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интегрирование простейших рациональных дробей

Поскольку всякая неправильная рациональная дробь представима в виде суммы многочлена и правильной рациональной дроби, а интегрирование многочлена не составляет труда, нужно научиться интегрировать лишь правильные рациональные дроби. Но ввиду теоремы 1.4 для этого достаточно уметь интегрировать простейшие рациональные дроби. Согласно определения, простейшие рациональные дроби бывают следующих четырех типов:

 

 

A

 

 

 

 

Mx + N

 

q ¡

p2

 

 

 

I:

 

 

 

;

 

III:

 

;

 

> 0;

x

¡

a

x2 + px + q

4

 

 

 

 

 

 

Mx + N

 

 

 

 

p

2

 

II:

 

A

 

; ® > 1;

IV:

 

; q ¡

 

> 0; ¯ > 1:

(x ¡ a)®

(x2 + px + q)¯

4

Докажем, что каждая из четырех указанных дробей интегрируема в элементарных функциях. Действительно, применяя свойство 6 и формулы 4 и 3, сразу находим интегралы от дробей первого и второго типов:

Z

x ¡ a dx = A ln jx ¡ aj + C;

Z

(x ¡ a)® dx = ¡

(® ¡ 1) (x ¡ a)®¡1 + C:

 

A

 

A

A

1. Неопределенный интеграл

23

Для вычисления2 интеграла от дроби третьего и четвертого типов, учитывая, что q ¡ p4 > 0, преобразуем квадратный трехчлен x2 + px + q:

x2 + px + q = x +

 

´

+ q

¡

 

 

= q

¡

 

 

0

2 +

 

 

!

+ 11

:

2

4

4

 

 

 

 

 

 

 

2

³

 

µ

 

 

¶ µ

 

 

p4q ¡ p

 

A

 

 

p

 

2

 

p2

 

 

p2

 

 

 

x

p

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперь, делая в интегралеZ

Mx + N

(x2 + px + q)¯ dx;

ãäå ¯ 2 N, замену переменной, полагая t =

2x + p

 

 

 

, преобразуем его в

2

интеграл вида:

 

 

 

Z

Et + F

p4q ¡ p

(1.38)

 

 

 

 

 

 

dt:

 

 

 

 

 

 

(t2 + 1)¯

 

 

Поэтому при ¯ = 1, то есть в случае дроби третьего типа, имеем

Z

t2 + 1 dt =

2

Z

t2 + 1 dt + F Z

t2 + 1 = 2 ln ¡t2

+ 1¢ + F arctg t + C:

 

Et + F

E

 

2t

 

dt

E

 

 

Осталось вычислить интеграл от дроби четвертого типа, который мы преобразовали в интеграл вида (1.38).

Представим этот интеграл в виде линейной комбинации двух инте-

гралов:

Z

(t2

+ 1)¯

dt = 2

Z

(t22+ 1)¯

+ F Z

(t2 + 1)¯ :

(1.39)

 

 

 

Et + F

 

 

E

 

 

 

t dt

 

 

 

dt

 

 

Очевидно, что

Z

(t22+ 1)¯ = ¡(¯ ¡ 1) (t2

+ 1)¯¡1 + C:

 

 

 

 

 

 

 

 

t dt

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введем обозначение:

K¯ = Z

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t2 + 1)¯

 

 

 

 

Для вычисления этого интеграла выведем рекуррентную формулу, сводящую вычисление интеграла K¯ к вычислению интеграла K¯¡1, è òåì

самым, к вычислению интеграла K1. Действительно,

 

¯

Z

(t2 + 1)¯

 

 

Z

 

(t2 + 1)¯

 

 

 

K

 

=

dt

=

 

(t2 + 1) ¡ t2

dt =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

t2

 

t dt

 

 

 

= Z

 

 

¡ Z

 

dt = K¯¡1 ¡ Z

t ¢

 

:

 

 

(t2 + 1)¯¡1

(t2 + 1)¯

(t2 + 1)¯

24 Оглавление

К последнему интегралу применим метод интегрирования по частям. По-

ложим u = t, dv =

t dt

du = dt, v = ¡

 

 

1

 

 

 

 

 

 

 

 

 

 

 

.

(t2 + 1)¯ . Тогда

(¯ ¡ 1) (t2 + 1)¯¡1

Следовательно,

 

 

 

 

 

 

 

(t2 + 1)¯¡1 =

 

 

 

K¯ = K¯¡1 + 2 (¯ ¡ 1) (tt2 + 1)¯¡1 ¡2 (¯1¡ 1) Z

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

=

 

 

t

 

 

 

+

2¯ ¡ 3

K

 

:

 

 

 

 

 

+ 1)¯¡1

2 (¯ ¡ 1)

¯¡1

 

 

 

 

2 (¯ ¡ 1) (t2

 

 

 

 

Для завершения доказательства нужно возвратиться к переменной x.

Предоставляем читателям проделать это самостоятельно.

Таким образом, доказана следующая теорема об интегрировании рациональной дроби.

Теорема 1.5 Всякая рациональная дробь интегрируема в элементар-

ных функциях.

Z

(x ¡ 1)(x2

+ 1)2 dx :

Пример 1.14 Вычислить интеграл

 

 

x + 3

 

 

Решение. Пользуясь результатом примера 1.13 и применяя изложенную

теорию, получаем

 

dx = Z

x ¡ 1 ¡ Z

x2 + 1 dx ¡ Z

(x2 + 1)2 dx =

Z (x ¡ 1)(x2 + 1)2

 

x + 3

 

 

 

 

 

 

dx

 

 

x + 1

 

 

2x + 1

 

 

 

= ln jx ¡ 1j ¡ 2 Z

x2

+ 1

¡ Z

x2 + 1 ¡ Z

 

(x2

+ 1)2 ¡ Z

 

(x2

+ 1)2 =

1

 

2x dx

 

 

 

 

dx

 

 

 

2x dx

 

 

 

dx

 

 

 

= ln jx ¡ 1j ¡ 2 ln(x2

+ 1)

¡ arctg x + x2 + 1 ¡ 2(x2 + 1)

¡ 2

Z

x2 + 1 =

1

 

 

 

 

 

 

1

 

 

 

 

 

x

 

1

 

 

dx

1

ln(x2

 

3

 

 

 

 

 

1

 

 

 

x

 

 

 

 

 

 

 

 

= ln jx ¡ 1j ¡

 

+ 1)

¡

 

arctg x +

 

¡

 

+ C:

 

 

 

2

2

x2 + 1

2(x2 + 1)

 

 

 

Пример 1.15 Вычислить интеграл

Z 3x4 + 7x3 + x2 ¡ x ¡ 2 dx : x4 ¡ 1

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

Z

3x

4

3 2

 

 

Z

µ3 +

7x

3

x2

x

 

dx: (1.40)

 

+ 7x + x

¡ x ¡ 2

dx =

 

+

 

¡

+ 1

 

 

x4 1

 

 

x4

 

 

 

 

 

 

 

1

 

 

 

¡

 

 

 

 

 

 

¡

 

 

1. Неопределенный интеграл

25

Оставшуюся правильную дробь разложим на простейшие рациональные дроби, применяя метод неопределенных коэффициентов. Так как x4¡1 =

(x ¡ 1)(x + 1)(x2 + 1), то разложение имеет вид

7x3 + x2 ¡ x + 1

=

A

 

+

B

 

+

Cx + D

:

x4 ¡ 1

x ¡ 1

x + 1

x2 + 1

 

 

 

 

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

7x3 + x2 ¡ x + 1 = x4 ¡ 1

=A(x + 1)(x2 + 1) + B(x ¡ 1)(x2 + 1) + (Cx + D) (x ¡ 1)(x + 1): x4 ¡ 1

Теперь сравним коэффициенты при одинаковых степенях x в многочленах, стоящих в числителях.

 

 

3

¯

 

¡

 

 

 

 

 

 

x2

 

 

 

 

 

= 7;

¯

A +B +C

 

 

 

 

1

¯

 

 

 

¡

 

 

 

¡

x

 

¯

A

 

B

+D

=

 

¯

 

 

1;

 

0

¯

 

¡

 

 

¡

 

 

 

x

 

¯

 

 

 

 

=

1;

 

¯

A +B C

 

 

 

 

 

¯

 

 

 

 

 

 

 

 

 

 

 

¯

 

 

находим A = 2, B = 1, C = 4, D = 0.

Решая эту систему уравнений,¯

x

 

 

¯

A

 

B

 

 

D

=

1:

Следовательно,

Z

Z

+4

3

x4

x3 + x2

¡

x

¡ 2

dx = 3 Z dx + 2 Z

dx

+ Z

dx

 

 

+ 7

 

 

 

+

 

 

x4 ¡ 1

 

 

 

x ¡ 1

x + 1

x

¡x2 + 1¢ + const :

x2 + 1 dx = 3x + 2 ln jx ¡ 1j + ln jx + 1j + 2 ln

1.6 Рациональные функции двух переменных

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

26 Оглавление

Определение 1.6 Многочленом n-степени от двух переменных x è y называется выражение вида

Pn(x; y) = a0;0 + a1;0x + a0;1y + a2;0x2 + a1;1xy + a0;2y2 + : : : + a0;nyn;

ãäå a0;0,a1;0,a0;1,: : :,a0;n некоторые вещественные числа.

Определение 1.7 Рациональной функцией двух переменных называет-

Pn(x; y)

ся отношение вида Qm(x; y), ãäå Pn(x; y) è Qm(x; y) произвольные многочлены от двух переменных x è y степени n è m соответственно.

Рациональную функцию двух переменных x è y будем обозначать символом R(x; y).

Очевидно, что если R(x; y) рациональная функция двух переменных x è y, à R1(t), R2(t) è R3(t) рациональные функции одной переменной t, то выражение R (R1(t); R2(t)) R3(t) представляет собой рациональную функцию одной переменной t.

Отметим два элементарных свойства рациональной функции двух переменных:

(I) Если рациональная функция R(u; v) не меняет своего значения при изменении знака одного из аргументов, например, u, òî åñòü, åñëè

R(¡u; v) = R(u; v), то эта рациональная функция может быть приведена к виду R(u; v) = R1(u2; v), ãäå R1 некоторая рациональная функ- ция своих двух аргументов. Это означает, что функция R(u; v) содержит лишь четные степени переменной u.

(II) Если же при изменении знака одного из аргументов, например, u, рациональная функция R(u; v) также меняет знак, то есть R(¡u; v) =

¡R(u; v), то она приводится к виду R(u; v) = R2(u2; v)u.

1.7Интегрирование в элементарных функциях некоторых тригонометрических выражений

Рассмотрим интеграл Z

R (sin x; cos x) dx:

(1.41)

1. Неопределенный интеграл

27

Этот интеграл всегда может быть рационализирован с помощью так на-

зываемой универсальной подстановки t = tg

x

 

 

 

 

2 . Действительно, при такой

замене имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x =

2t

 

= R1(t);

cos x =

1 ¡ t2

= R2(t);

dx =

2

dt = R3(t)dt:

1 + t2

 

1 + t2

 

 

 

1 + t2

 

 

Поэтому интеграл (1.41) преобразуется в интеграл

Z

R (R1(t); R2(t)) R3(t)(t) dt;

то есть в интеграл от рациональной функции одной переменной t.

Посколу подстановка t = tg x

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

несколько частных случаев, в которых интеграл (1.41) рационализируется с помощью других подстановок, приводящих к более простым выкладкам.

Рассмотрим следующие три случая.

1) Подынтегральная функция в интеграле (1.41) при замене cos x íà

¡ cos x меняет знак на противоположный. Тогда, согласно свойства (II), эта функция представима в виде

e ¡ ¢

R (sin x; cos x) = R sin x; cos2 x cos x:

Теперь легко заметить, что подстановка t = sin x приводит к интегралу от рациональной функции одной переменной t. Действительно, при этой замене подынтегральное выражение преобразуется следующим образом

 

R (sin x; cos x)

dx

=

R

¡sin

x;

cos

2 x

¢cos

x dx

=

 

 

2

 

 

 

¡

2

¢

 

 

e ¡

 

x;

¡

 

x

¢

 

 

 

e

 

¡

t

 

(t) dt:

=

R

sin

1 sin

 

d(sin x) = R

t; 1

 

dt = R

 

 

 

 

e

 

 

 

 

 

 

 

 

1

 

2) Подынтегральная функция в интеграле (1.41) при замене sin x íà

¡ sin x меняет знак на противоположный. В этом случае подстановка

t = cos x рационализирует рассматриваемый интеграле (1.41). Доказательство аналогично доказательству приведенному в случае 1).

28

Оглавление

3) Пусть теперь подынтегральная функция в интеграле (1.41) при одновременной замене sin x íà ¡ sin x è cos x íà ¡ cos x не меняет своего

знака, то есть

R(¡u; ¡v) = R(u; v):

(1.42)

Докажем, что в этом случае интеграл (1.41) может быть рационализирован подстановкой t = tg x. Действительно, в этом случае

R(u; v) = R

³v v; v´

= R1

³v ; v´;

 

 

 

 

u

 

 

 

 

u

 

 

R(¡u; ¡v) = R

 

 

 

 

 

 

 

³v ; ¡v´

 

³v (¡v); ¡v´

= R1

:

 

 

u

 

 

 

 

 

u

 

(1.43)

(1.44)

Комбинируя (1.42) (1.44), получаем

R1

³v ; ¡v´

= R1

³v ; v´

:

 

 

u

 

u

 

Но тогда, согласно свойству (I),

R1 ³uv ; v´ = R2 ³uv ; v2´:

Отсюда и (1.43) получаем

 

 

R(u; v) = R2

³v ; v2´:

 

 

 

 

 

 

 

 

 

u

 

 

 

 

 

 

Поэтому

Z

R (sin x; cos x) dx = Z

R2 tg x; cos2 x

dx:

(1.45)

 

 

 

¡

dt

 

¢

 

Полагая t = tg x, находим x = arctg t è dx =

 

 

. Тогда, продолжая

1+t2

(1.45), окончательно получаем

 

 

 

 

 

 

 

 

 

Z R (sin x; cos x) dx = Z R2 µt; 1 + t2

 

1 + t2 :

 

 

 

 

1

 

 

 

dt

 

Предлагаем читателям самостоятельно доказать, что в рассматриваемом случае интеграл (1.41) рационализируется и подстановкой t = ctg x.

Пример 1.16 Следующие интегралы рационализировать двумя способами применяя универсальную подстановку и одну из частных подстановок:

a)

Z

dx

;

b)

Z

dx

:

 

 

sin x (cos x + 3)

sin2 x + 2 sin x cos x + 3 cos2 x

R(u; v) =
ная функция имеет вид

1. Неопределенный интеграл

 

 

 

 

 

 

 

29

Решение. a) Применим универсальную подстановку.

 

 

 

dx

 

=

 

 

 

 

2 dt

 

 

=

1 + t2

dt :

Z sin x (cos x + 3)

Z

 

1+t2

¡

1+¡t2

+ 3 (1 + t2)

Z

2t (2 + t )

 

 

 

 

 

 

 

 

 

¢

 

 

 

 

Теперь применим подстановку, рекомендуемую теорией. При sin x = u

è cos x = v подынтегральная функция принимает вид R(u; v) =

1

 

u(v+3) .

Поскольку R(¡u; v) = ¡R(u; v) можно сделать замену t = cos x. Тогда имеем

Z

dx

 

=

¡ Z

¡ sin x dx

 

=

¡ Z

dt

:

sin x (cos x + 3)

 

sin2 x (cos x + 3)

 

(1 ¡ t2) (t + 3)

 

1 + t2

Нетрудно видеть, что каждая из функций 21

2t (2 + t2) è (1¡t )(t+3) ïðåä-

ставляют собой сумму двух простейших дробей первого и третьего вида. Следовательно универсальная подстановка и подстановка t = cos x

преобразуют подынтегральную функцию к ¾однотипным¿ рациональным функциям.

b) Полагая t = tg x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 , получаем

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

dx

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin2 x + 2 sin x cos x + 3 cos2 x

=

³

 

 

 

 

 

 

 

 

 

¢

2 dt

 

 

 

´

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

¡

 

 

¢

 

 

 

 

2 (1 + t )¡dt

¢

 

 

 

 

Z

 

 

 

2t

2

 

 

2t

2

 

 

 

 

 

 

 

 

 

 

 

 

1 t2

1 t2

 

 

 

 

 

 

 

 

 

 

 

+

 

 

1+¡t2 + 3

1+¡t2

 

 

 

(1 + t2)

 

 

 

1+t2

 

1+t2

 

 

 

=

 

 

 

 

 

 

Z

 

 

:

 

 

 

 

 

 

 

3t4 ¡ 4t3 ¡ 2t2 + 4t + 3

С другой стороны, так как при sin x = u è cos x = v

1

=

подынтеграль-

u2 + 2uv + 3v2 , справедливо равенство R(¡u; ¡v) = R(u; v). Согласно теории, целесообразно сделать замену

t = tg x, благодаря которой, получаем

Z

dx

= Z

dt

:

 

 

sin2 x + 2 sin x cos x + 3 cos2 x

t2 + 2t + 3

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]