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

Конспекты Экфак 1курс / Учебник по матану (Барабанов)

.pdf
Скачиваний:
52
Добавлен:
16.04.2015
Размер:
784.24 Кб
Скачать

 

Многочленом

 

 

 

 

вещественнымиМногочленыкоэ ициентами (или многочлено

над полем

вещественных

чисел) называется

ункция

P : R ! R, определяемая

правилом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) = a

0

 

+ a

x + a

x2

+ : : : + a

n

xn;

 

 

 

 

 

 

 

 

 

 

ãäå a

, a

 

, : : :, a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется

 

n

 

вещественные числа. Степенью многочлена P (x)

 

0

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=6 0. В частности, если a

 

= 0, òî

наибольшее натуральное число m для

 

 

 

 

 

 

 

 

 

степень

P

 

 

 

 

 

 

 

 

 

n. Ïî

определению, степенью многочлена P 0 считается

 

.

 

зываютCтепеньакжменьшеполиномами от английскоторогоpolynomial.

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

обозначается deg P от английск

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

слова degree. Многочлены иногда на-

 

Числа a , a , : : :, a

 

называются коэ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, è åñëè m = deg P ,

 

Много леныназываетско

 

 

 

êîý èöè

 

 

 

 

 

(илимногочленанад по м комплексных

 

-

Они могут счит тьс

плекснымиотоáð æ èåì P :

Cициентами! C(и, . . переменная x может принима

ü

то число a 0

 

1

 

 

 

 

 

 

 

n

я старш м коэ ициенто .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

ногочленов с веществ

 

íû

 

 

коэ ициент ми только тем, ч

 

се ) отличаются от

 

 

 

 

 

помплек

 

овых степенях. Многочлены можно

 

складывать, умножатьоэ на ициентычисла

èõ

 

 

ñ

 

 

 

 

 

 

 

 

могут

 

ыть омплексными

 

 

 

частном

случае, веществен

ûìè).

ê

 

 

 

 

зн чения. В

 

 

 

 

 

 

 

 

 

åñëè íå

оговорено особо, будем считать, ч

 

многоэчле ициентыимеют комплексные к

 

 

 

 

 

 

 

 

.

 

да у их равны к

 

 

 

 

 

 

 

Äâà

 

 

 

 

 

 

 

 

 

 

 

 

равны

дальнейшем,тог иоэтолькициентытогд ,

 

 

 

 

 

 

 

 

д уг динакмногочленаäðóã . Ïðè ýòîì

 

дут получаться снова многочлены. Многочлены образуют

алгебраическую

 

структурбу,

 

 

 

 

ìую кольцом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ациональной ункцией

íàçûвается отношение двух многочленов:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(x)

;

 

x 2 RnQ 1(f0g);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R(x) = P

 

 

 

 

 

 

ноль. ациональная

где P Q многочлены, причем Q не есть то

 

 

 

 

 

 

 

ункция

 

называется правильной, если deg P < degждественныйQ. Если

Q(x) = onst =6 0, òî

рациональнаяТеорема

ункц я является такж

и многочленом.

 

 

 

 

 

 

 

 

 

 

 

 

делении

 

 

 

гочленов.

существуют и единственны многочлены S и r,

 

Для любых

 

многочлеíîâ P è Q

такие, что

 

 

 

 

 

 

 

 

 

P (x) = S(x)Q(x) + r(x)

 

è

 

 

deg r < deg Q:

 

 

 

 

 

 

 

 

 

Доказательство. Пусть deg P = n. Докажем существование S и r индукцией по

n. При n = 0 утверждение

 

 

 

 

 

 

åñëè deg Q > 0, òî S = 0, r = P ; åñëè deg Q = 0,

 

 

 

P (x) = p

 

 

+ p x +очевидно:+ p

xn+1;

 

Q(x) = p + p x + : : : + p xm;

 

 

 

 

òî r = 0, S = Q=P .

 

 

 

 

 

 

 

 

 

 

 

. Пусть утверждение доказано для многочленов

 

Докажем

ндукционный перех

 

 

P степени n

è

пусть

1

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

0

 

 

1

 

 

 

 

m

 

 

 

 

 

причем p

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n+1

=6 0 è q

m

=6 0. Åñëè n

+ 1 < m, то можно выбраòü S = 0 è r = P .

 

 

 

 

Пусть n + 1 m. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

pn+1

 

 

 

 

 

 

 

 

 

 

P (x) =

 

pn+1

xn+1 mQ(x) + P1(x);

 

P1(x) = P (x)

 

xn+1 mQ(x):

 

 

 

 

 

 

 

qm

 

 

 

 

qm

 

 

 

 

но,шиеМногочленdegкоэP иöèå1(xнты) появляетсяиндукционномуэтих многочленовразностьюпредполодвухравнымногочленови поэтомую существуютсокращаютстепени n +акиея1., Следовательногочленыстар-

S è r, ÷òî

P

 

= S Q + r. Подставим это выраæåíèе в предыдущую орпричемулу:

1

 

 

1

p1n+1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) =

 

 

 

 

 

 

 

 

 

Q(x) + r(x) = S(x)Q(x) + r(x);

deg r < deg Q;

 

 

 

 

q

m

xn+1 m + S1(x)

 

 

что доказывает индукционный перех д.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Докажем единственность многочленов S и r. Пусть таких пар две:

 

Тогда

 

 

 

 

P = S

Q + r

1

 

= S

Q + r

;

 

S

deg r

 

< deg Q;

 

deg r

2

< deg Q:

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

2

 

 

(S

1

2

 

 

)Q = r1

 

 

 

r

:

 

 

 

 

Если S =6 S , то степень

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в левой части этого равенства не меньше deg Q,

 

Утверждение теоремымногочленаделении многочленов часто записываютазываетвиде равенства

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

единствен-

а в правой части строго ньше, чем deg Q. Противоречие док

ность многочленов S

r.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рациональных ункций:

 

 

= S(x) +

r(x)

;

 

 

 

deg r < deg Q:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(x)

 

 

 

 

 

 

 

 

 

Q(x)

 

 

 

 

 

 

 

 

 

 

 

авлена в виде

Согласно те реме, любая раци нальная у кция может быть

 

суммы мног члена и

правильной рациональной

 

 

 

 

 

причемпредстакое представле-

íèå единственно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ункции,

 

 

многочленов P и Q

 

Из доказательства теоремы следует, что

 

 

 

 

 

 

вещественные, то коэ ициенты частного Sеслиостаткоэ rициентытож вещественные.

 

Ост ток от деления многочлена P (x) на x

 

 

a

равен

значению P (a).

 

 

Ò

 

 

 

 

 

 

Áåçó. [E.Bezout, 1779

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Докеоремазательство. Пусть a произвольное комплексное число. По теореме о деле-

нии многочленов существуют такие многочлены S и r, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) = (x

 

 

a)S(x) + r(x);

 

 

deg r < 1:

 

 

 

 

многочлен r нулевой степени есть конст нта: r(x) = r. Последнее уравнение пере-

или вещест

 

енного.

ждеПо ñòавим x = a. Тогдановкполучится P (a) = r.

 

Íîõ äèò

 

числовое то

 

 

 

 

во при подст

 

 

е вместо x любого числа, комплексного

 

Следствие

 

 

 

 

 

 

м множителе.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если комплексное ч сло a есть кор нь многочлена P , то этот многочлен разлага-

 

Любойеорема

 

 

ог члелинейнонад полем комплексных чисел положительной степени имеет

ется на множители,

 

 

ä

 

 

из которых

åñòü x

 

a.

 

 

 

 

 

 

 

 

 

Ò

 

 

 

 

 

.

 

 

 

 

 

 

ая теорема высшей алгебры.

 

 

 

 

 

 

 

õîòÿ áû

 

äèí Основк мплексный корень.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Áåç

доказательства.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

селТеорема.

о азложении многочлена на множители над полем комплексных чи

Пусть P многочлен степени n со старшим к

 

 

 

 

 

 

 

 

 

 

 

 

 

p . Тогда существуют

такие

различные

комплексные числа , , : : :, оэ

ициентомсоответствующие им натураль-

ные числа k1, k2, : : :, km, что

 

 

(x

 

 

 

 

 

1

2

 

 

 

)k2

m

 

 

 

 

 

 

 

)km ;

 

n

 

 

 

 

 

 

 

 

 

причем k

 

+ k

 

 

+

 

P (x) = p

 

 

 

 

 

)k1 (x

 

 

 

(x

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ k

 

 

= n.n

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

будет равна n

 

1, à

жить Обознажители:

P1(x) = (x

 

 

 

 

a )P (x). При этом степеíü P

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P имеет к

 

Доказательство. По основной теореме высшей алгебры

 

 

 

 

 

 

 

ðåíü.

 

 

 

 

 

 

 

 

 

его a . По следствию из теоремы Безу м

 

многочленP можно разлî-

степень многочленапонижается на 1,2то через n итераций она станет равной нулю

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

ста ший коэ ициент останется равным p .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

теоремойТак ж поступаем и с многочленом P (x)

 

è

т. д. Поскольку после каждой

 

 

 

 

 

 

Далее,

 

 

 

 

 

 

 

 

P

 

 

 

снова разлагае

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

на множители в соответствии с основной

 

 

 

 

высшей

 

 

 

 

 

 

 

 

 

 

ледствиåì

 

 

 

 

 

 

теоремы Безу: P

 

 

(x)

= (x

 

a

)P

(x)

 

 

 

 

лгебры и

 

 

 

 

 

 

 

 

 

1

 

Это значит

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

что многочлен P (x) равен своему старшемуц коэ ициенту,

итерацииэто p .

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

 

 

 

 

 

 

P (x) = p (x

 

 

 

a )(x

 

 

 

 

a ) (x

 

a ):

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

n

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если среди чис

 

a , a , : : :, a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

âñ

 

 

 

 

 

 

 

 

 

я равны , то соотве ствующие сомножи

òåëè ñã

 

 

 

 

 

 

 

 

 

вместо. Получиòречаются ормула из утверждения теоремы.

 

 

 

 

 

 

 

Теоремауппируо азлож

 

 

 

 

ии многочлена на

 

ìíîæ òåëè ñ

 

вещественными коэ ици-

Пусть P

многочлен

 

 

вещественными к

 

 

 

 

 

 

 

 

 

 

ами. Тогда существуют такие

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

наборы вещественных чисел

( ) , (p ; q )оэ ициентнаборы натуральных чисел (k )

 

ентами.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

m

 

 

 

 

 

j

j

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

m

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

(lj)j=1, ÷òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

+ pjx + qj)lj ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) = d Y(x i)ki

 

Y(x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где d старший коэ ициент P и все дискриминанты квадратных трехчле ов отри-

цательны: Dj

 

= p2

4qj

 

< 0, 1 j n. Такое разложение

 

 

 

 

 

множители еди ственно.

Доказательство. По теореме о разложении

многочлена

а множители

íàä

полем

к мплексных ч

 

j

существуют

 

 

ак е различные комплексíые числа

,

, : : :,

N

è

соответствующèселим

натуральные числа k1

, k2

, : : :, kN

, ÷òî

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) = d(x

 

 

 

 

)k1 (x

 

 

 

 

 

 

)k2

(x

 

 

m

)kN ;

 

 

 

 

 

 

 

 

 

 

 

 

причем k

 

+ k

 

 

+ : : : + k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

m

= n. Среди чисел

 

, : : :

N

, могут встретиться веществен-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

,

которых мнимая

ные. Тогда эти числа обознач м , : : :,

 

 

. Множители x

 

Докажем

сначала, что

 

ñëè

 

ê

 

1

 

 

 

 

 

 

ое число

являеполóячилиськорнем ìногочлена

часть

j

 

равна нулю, пр образуются далее так, чтобы

 

 

 

 

 

 

 

 

 

 

квадратичные

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ê

 

 

 

 

 

 

 

 

 

 

 

 

àìè.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сомножитнели

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) = a

 

+ a x + : : : + a xn

 

 

 

 

вещественоэ ицèåíòûìè коэ ициенòàìè, òî è êîìплексно

сопряженное числовещåñòâàêæåííûìèÿâëÿетсяомплекорнем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

1

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

2

+ : : : + an n

 

= a0 + a1 + a1 2

 

+ : : : + an n

 

 

 

 

 

 

 

 

 

P ( )

 

 

 

a0 + a1

+ a2

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P ( ) = 0 = 0:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким обðàçîì, åñëè

k

= a

k

+ib

k

ñ b

k

 

=6 0, то среди чисел

, : : :,

N

, есть сопряжен-

ное число k = ak

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ibk. Преобразуем произведение соответствующих множителей:

 

:

(x k)(x k) = (x

 

 

ak

 

 

 

ibk)(x ak

+ ibk) = (x ak)2

 

(ibk)2

= x2

 

 

 

 

2akx + a2

+ b2

Получился êвадратный трехчлен, коэ ициенты которого вещественные.

 

k

 

k-

ã , åãî

 

 

 

ин нт отрицательный.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

раз, сколькКроме это

Перемножиì пары скобок

 

 

 

 

сопряженными

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

часть издискроторых имеет

веществен

 

ые коэ ициенты,числамичастьстолькомплексные с нåíó-

возможно

делать. Тогда многочлен P (x)

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

енным

 

 

 

 

множит

 

 

окажется разло

 

 

 

 

 

 

 

 

левой мнимой частью.

Произведение

первой группы множителей обозначим Q(x)ли,а

âòîð é S(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

гочлены P (x)

Q(x) имеют

 

 

 

 

 

 

 

 

 

 

 

 

êîý è-

Тогда P (x) = Q(x)S(x). М

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

деления P на Q.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

àêæ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сопряженных пар к

 

 

 

 

 

 

 

 

сных кор ейоэнет, ициентыак êàê âñå ìíî

вещественныенимойсопряженны-

циенты.

 

òå ðåìå

 

 

 

делении мн гочленов мн гочлен S(x)

явля тся частным от

Q вообще не имеетомплекорíåé è

 

 

равен

ê

 

 

анте. Это значСледовательно,жителячто многочленогочленP уж

 

ПоS может иметь толькоегок мплексные

îðíè

 

ненулевой

 

 

 

 

 

 

 

частью, а

разложен на множители указанного видаонст

вещественным

 

 

 

 

 

 

 

 

 

 

 

 

 

 

àìè.

 

 

 

 

миОднакрнями были перем

 

 

 

жены и вошли в многочл

 

Q.

ункцияоэ ициент

 

 

 

 

 

 

Пусть R(x) = P (x)

 

 

 

(x)

 

правильная рациональная

 

 

 

 

 

 

Теорема о разложении правильной

 

 

ациональной

ункции

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

 

 

 

 

 

 

 

 

 

 

 

 

=Q(x) =

 

Y(x )ki Y(x2 + p x + q )lj

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

i

 

 

n

 

 

 

 

j

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

причем p2 < 4qj при 1 j n.i=1

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

), 1 s k

,

Тогда существуют и единствеííû íàáîðû âåù ñтвенных чисел (A

i;s

1 i m è (B

i;s

; C

i;s

), 1 s l

, 1 j n, такие,

÷òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

k

i

 

j

 

 

 

 

 

 

 

 

 

n

lj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

XX

(x

Ai;s

 

 

 

XX

 

 

Bj;sx + Cj;s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(x) =

 

 

i=1

s=1

 

 

i)s +

j=1

s=1

(x2

+ pjx + qj)s :

 

 

 

 

 

 

 

 

 

 

 

 

Кажд я из дробей в правой части разложения называется простейшей рациональ-

íîé

 

é.

 

 

 

 

 

 

 

 

 

 

 

ìíогочлен,) i т. . Q(x) = (x

)

iQ (x). Докажем, что существует

разложункци Q, кроме (x

 

 

и единственны

 

вещественное число A и многочлен P , такие, ÷òî

 

 

 

 

 

 

 

гочлена Q

Д казат

льство. Выберем произвольный веществен ый

 

 

 

орень

 

 

 

 

обознач м через Q (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

получаемый перемножением всех ìíîжителей в

 

 

 

 

 

 

 

1

 

P

 

 

i

k

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

i

 

k

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)ki

 

 

 

P1(x)

 

(x):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(x) =

 

 

(x

+ (x

)ki

1Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

i

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Другими словами, в знаменателе степень

 

æèò ëÿ x

можно понизить, выделив

Опред лим A = P ( )=Q ( ). Тогда

 

 

многочлена P (x)

i

 

AQ (x) число являе ся

одну из простейших дробей, стоящую в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

твержде ии теоремы.

 

 

 

 

 

 

 

 

i

 

 

 

 

 

корнем. По следствию

i

 

 

 

 

1

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

), ò.å.

 

из теоремы Безу этот многочлен делится на (x

 

существует

такой многочлен P

 

(x) с вещественными коэ ициентами, что

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (x) AQ1(x) = (x i)P1(x):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

правуюазделимчасэ

ь:равенствîPíà Q(x) = A(x

 

 

 

 

 

i)kiQ1

(xP)

1è(xперенесем)

 

простейшую дробь в

÷òî

требовалось

доказать. Обозначим A

 

 

 

 

 

= A.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(x)

 

=

 

 

(x

 

)ki

+ (x

i

)ki 1Q

 

(x);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ациональнуþ ункцию (x

 

 

 

 

 

i

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ki 1Q

 

ìîæíî преобразовать по той же схеме, если

ki

 

 

1 > 0:

 

 

 

 

 

 

 

 

 

 

 

P1

 

 

)

 

 

 

 

 

 

 

 

 

 

P1(x)

 

1

 

 

 

 

 

 

 

i;ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P2(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

Ai;k 2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x)

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x

)ki 1Q

 

 

(x)

 

= (x

 

i )ki

 

+ (x

 

)ki 2Q

 

 

 

 

 

 

 

 

 

 

 

 

 

è ò. ä., ïîê

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

множитель (x

 

 

 

) во бще не исчезнет в знаменателе.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поступая таким образом, разложим рациональную ункцию P (x)=Q(x) в сум-

ìó ïðîñ éøèõ

 

 

 

îáåé

 

 

 

правильной

 

рациональной ункции P (x)=Q(x), у которой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

знаменаòåëü ñîäåðжит лишь произведения множителей (x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ p

x + q

)lj .

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

j

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x). Докажем, что существуют такие вещественные

 

 

Пусть Q(x) = (x +pjx+qj)

 

 

Q1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

, ÷òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

числа B, C и мноãî÷ëåí P1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

=

 

 

 

2

 

Bx + C

 

 

 

 

 

lj

+

 

 

 

 

 

2

 

 

 

 

 

 

(x l

1

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

P1

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

+ p

x + q

 

 

 

 

 

 

 

 

(x + p

 

 

x + q )

 

j

 

 

 

 

 

 

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Умножим это равенство íà çíàменатель ïîñледнейj

äðîájè:

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

P ( )

 

 

 

 

 

 

 

 

 

 

= (Bx + C)

 

 

2

 

Q1(

 

 

 

 

 

 

 

 

 

 

e

 

(x):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

+ p x + q

j

 

x

+ p

 

x + q

j

 

+ P1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ïî теореме

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, r

 

,

,

 

äелении многочленов существуют такие вещественные числа r

 

1

è

многочленû

с вещественными коэ ициентами S0

(x) è S1(x), ÷òî

 

 

0

 

1

 

0

 

 

 

 

 

e

 

 

 

 

= S0(x) +

 

 

2 r0

 

+ r1x

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

2

 

e

 

 

 

 

 

 

 

 

 

 

 

= S1(x) +

 

 

2

0

+ 1x

 

 

 

:

 

 

 

x

2 P ( )

 

 

 

x

 

q

 

 

 

 

 

 

 

 

 

x

 

Q1( )

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

+ p x + q

j

 

 

 

 

 

 

 

 

 

 

 

 

 

+ p

 

x

 

j

 

 

 

 

 

 

 

 

 

 

 

+ p

 

x + q

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ p

x + q

j

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

При этом числа

 

 

и не могут быть равны нулю о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как многочлен

 

 

Тогда уравнение относительно многочленов записываетсядновременно,виде

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x) íе содержит множителем x + p

 

x + q

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

r0

+ r1x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 + 1x

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 + p

x + q

 

 

= (Bx + C)x2 + p

 

 

x + q

 

 

 

 

 

 

 

 

(x) S0(x) + (Bx + C)S1(x):

 

 

 

 

 

 

 

 

j

j

j

 

+ P1

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это уравнение легко решается, если заметить, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1B)

 

 

 

 

 

 

 

 

 

 

 

 

(Bx + C)x2

0

+ 1x

 

 

 

 

 

 

= B 1 +

0C qj 1B + ( 1C 0B pj

:

 

 

 

 

 

 

 

 

 

 

 

+ p

 

x + q

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

+ p

x + q

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Приравняем коэ ициенты числителей в двух оставшихся правильных дробях:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

 

q B

p )B = r

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ (

 

 

1

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

j

0

 

 

 

j

 

 

1

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

матр цы системы

Это система уравнений относительно чисел B и C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 2 + p + q ) 2

, ãäå

 

=

 

 

= . Снова

 

получаем,

чтоОпределитель> 0, àê êàê

дискриминант

 

 

 

 

 

 

2

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

2

. Åñëè 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

0. Åñëè 1

 

=6 0, òî =

равен = 0

1

 

 

 

 

 

1 + qj 1

 

 

= 0 òî = 0

 

 

 

 

 

 

 

 

 

 

j

 

 

j

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

+ p

+ q

 

> 0.

 

 

 

 

 

 

многочлена x

 

+ p x + q

j

 

отрицательный и, следовательно,

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

стемаОпредимåетлительединственноесистемырешелиíейныхие (B; Cуравнений). Остаетсянеопределитьравен нулю, следовательно, си-

 

 

 

 

 

 

 

 

 

e

 

 

 

 

(x) (Bx + C)S1

(x) B 1e:

 

e

 

 

 

 

 

 

 

 

 

 

 

 

P1(x) = S0

 

 

 

 

 

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

сомножителя x2

+ pjx + qj

 

 

 

нателе, äî òåõ

 

пор,ациональнойсовс ункциим счезнет. Так

ть пр стейшую дробь

 

ак, чтобы оставшейся

 

 

 

 

 

. Êàê

 

 

 

 

в знамена-

òåëå ìíîжитель x2

+ p

x + q

j

èì

 

меньшую

кратн

 

 

 

 

случае множителей

вида (x i)ki, можно

 

j

 

 

 

 

ëüíî

вы елять

 

ðîñò

 

 

дроби, пон жая степень

можно поступить с каждымпоследоватжителем x2

+ p

x + q

 

 

ейшиеj = 1; 2; : : : ; n. Оставшаяся

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

правильная рациональная знаму кция не будет иметь

ïîêðíåé çíàìåнатнеля, и поэтому

равна нулю.

 

 

C

 

 

 

 

 

 

 

 

я неопределенными коэ ициент ми,

 

ольку

Числа A

, B

 

 

 

 

 

 

 

 

 

 

 

ñíà

îíè ç ïèñ

ваютсяназываютсвиде

 

 

 

 

 

 

констант, которые зàòåì

 

поскнах дятся

из системы урà

нений.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i;s

j;s

 

j;s

 

 

неопределеннеизвестныхкоэ ициентов состоит в следующем.

Пр ктическое

 

 

 

 

 

 

 

 

менат

получитсявычислениености

 

 

 

 

Q(x). Â

 

 

 

 

 

 

получитс

 

 

многочлен

соб обычно

наиболее э ектèвен,многочленñли всенеопк прини знаменателястепеняхраункциио альной унк-

Суммчаладробей в

ïðà îé

асти приводится к общему

 

 

 

 

 

. Ïðè ýòîì â çíà-

ñò åíè

 

 

 

коэ ициентов. Поск

üêó

 

 

 

 

 

 

числителезнаменателюж бûть равен P (x)

è

âûøå deg Q

 

 

1, коэ ициенты

 

îòî

 

 

 

 

 

будут

инейн

ми комбинациями

неопределенныхМето док зательства теоремы

 

 

жениичислительрац ональной

 

 

на простей

всех x, то можно

 

 

 

 

 

 

 

коэ ициенты

 

 

 

îãî

 

 

накдовых

 

 

x.

 

 

шие содержит ещеприравнятьдин лгор тм ра разлочет

 

 

еделенных

êîý

òîâ. Ýòîò ñïî

ции простые.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение первообр

 

 

ункцииИнтегралíà

 

 

 

.

 

0

 

åìà íà P .

 

Пусть ункции f F заданы на

промежуткмежуткеP , а F

 

 

 

 

Операция вычисленияпервообразной

обратнаяункцииопер

ди еренцирова

ния. Поэтомуназываетсаблицы производных, переписанные справа диàлево,еренцируявляются табли-

Функция F

 

 

 

.

 

 

 

 

 

 

 

 

 

 

ункцией

 

 

 

f, åñëè F = f.

 

 

 

öàìè

 

 

 

 

 

 

 

 

 

первообразных.

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечаниепервообразных

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть ункциилинейностиf g

на промежутке P , а F и G соотвествующие перво-

образные. Пусть ; 2 Rзаданы. Тог ункция F + G является первообразной ункцией

ункции f + g.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. По свойствам линейности производной непосредственно прове-

ряется, что

 

 

 

 

 

( F + G)

0

= F

0

+ G

0

= f + g:

 

 

 

 

 

 

 

Теорема о множестве первообразных.

 

 

 

 

 

 

P . Тогда для любой постоян-

 

Пусть F первообразная ункции f на

 

 

 

 

 

 

ной ункции C(x) = onst ункция F +C такжпромежуткявляется первообразной ункции f.

И наоборот, для любой первообразной F

1

ункции f существует постоянн я ункция

C (x) = onst,

àêàÿ, ÷òî F = F + C .

 

 

 

 

 

 

 

 

 

 

 

+ C0

= f.

 

 

1

 

зательство. Первое утв рждение очевидно: (F + C)0 = F 0

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

с точностью до постоянного слагаемого.)

 

Ä ê

 

 

ункция

 

 

 

 

 

 

 

 

 

 

жем второе утверждениединственна. Пусть g(x) = F (x)

F1

(x), x 2 P . Ò

äà g0

(x) =

F ((Первообразнаяx) F x) = 0 при всех x 2 P . Док

 

 

åì,

что g(x) = onst. Выберем произвольное

число a 2 P . Тогда по теореме Лагранжаж о конечных приращениях для

любого x 2 P

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

 

 

существует такое число 2 P , что g(x)

 

 

 

 

 

 

( )(x

 

( ) = 0, поэтому

 

 

g(a) = g

a). Íî g

g(x) = g(a) = onst.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение неопределенного интеграла.

 

 

 

 

 

 

я неопределенным

 

Множество всех пе вообразных

 

 

 

 

 

 

 

 

 

ункции f

 

 

 

 

 

 

ñ

предыдущей теоремункцийэто множествоназываетсмож быть записано как

 

В соответствииличие пр изводных для вычисления первообразных нет прав ла преобразо-

интегралом ункции f.

 

екоторая первîобразная ункции f.

 

 

 

 

 

 

fF + C; C 2 Rg, ãäå F

 

 

 

 

 

 

é.

вания первообразн й сложн й

 

 

 

 

 

 

к первообразным составляющих ее

 

Á ëåå òîãî, первообразная

î

ó êöèè, выраженной через элементарные ункциè,

ния перво бразной,

которая

записывается через элементарные ункции.

Многочис-

ìîæåò

 

не разлагаться

композицию э ементарных ункций.

 

 

 

 

 

Под вычисле ием не пределенíого интеграëà

 

 

понимают задачу нах жде

ленныевообщесп собы решения этой задачи называют

обычнотехникой интегрирования.

 

Пусть на замкнутом отрезкИнтегральные[a; b выбран

суммы

 

 

 

 

 

 

, причем

 

 

 

из n+1 точки = (xk)n

 

x = a, x = b è x

 

< x

 

 

< : : : < x . Такой

набор называется дроблением отрезка

0

 

n

 

0

 

 

1

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=0

 

 

[a; b .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

большееПосколькуиз расстоянийточки дроблениямежду соседнимиxk упорядочены,точкамитодробленияPkn=01(xk+1

 

xk) = b

a. Íàè-

называется мелкостью д

 

 

 

( ) =

 

 

 

max

(x

k+1

 

x

k

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

бления.

 

 

0 k n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

число 2

Пусть на каждом из п

 

межутк в между точками дробле ия

 

 

 

 

 

 

[xk; xk+1 , 0 k n

 

1. Òðîãäà

набор

 

этих чисел = ( k)k=0

 

называетсвыбраноя

снащением

дробления .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

альной суммы имана. [B.Riemann, 1853

 

 

некотор е

Пусть ункцияинтегрf оп еделена на отрезк

[a; b . Пусть

= (x )n

 

 

дроблениеОпределение[a; b = ( k)k=0

 

некоторое

оснащение

 

этого дробления. Тогда число

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

xk)

 

 

 

 

k

k=0

 

 

 

 

 

 

 

 

 

 

 

 

f; ; ) = Xf( k)(xk+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется суммой имана (или интегральной суммой), соответствующей ункции

f, дроблению и

 

 

 

èþ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тупенча-

íóþ f( ) íà

 

 

 

оснащением[x ; x ). Интегральная сумма равна площади

Дробление вместеоснаще

 

 

 

 

 

 

порождают кусочно постоянную

 

 

 

 

 

ðàâ

той области, располопромежуткенной

 

 

 

 

гра иком этой ункции

осью абсцункцию,причем

площадь беретс со знаком мимеждус, если гра к расположен

íèæå îñè

 

абсцисс.

 

 

k

 

 

 

 

 

 

 

 

k

 

k+1

 

непре

 

внаимана

 

 

 

 

 

 

 

 

 

 

[a; b . Тогда существует

Пусть ункция f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

межуткинтегральных[a; b . Этотопределенане з

 

 

 

 

 

 

 

выбора

 

.

 

 

 

 

 

 

 

 

 

от выбора оснащения.

Теорема о преде

интегральных сумм

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

предел

 

 

9Æ > 0

:

ìì

èì íà

при ст емлении отрезкнулю мелкости д обления про-

8" > 0

8 дробления

 

 

отрезк

[a; b 8

 

оснащения

дробления

 

 

 

 

 

 

 

 

если мелкость ( ) < Ж;

 

дробленияj (f; ; )

Ij < ":

 

 

 

 

Другими словами, существуетвиситакое число I 2 R, что

 

 

межутку.

 

 

 

 

 

 

Определение инт грала ункции по

замкнутому

 

 

 

 

 

 

 

 

 

Пусть ункция f

прерывна на отрезк

[a; b . Тогда предел интегральных сумм

I при стремлении к нулю мелкости

 

дробления

промежутка [a; b

называется инте-

гралом (или определенным

интегралом) ункции f

 

по промежутку [a; b

(èëè îò a

до b). Обозначение:

b f

 

 

èëè

 

 

Z

 

 

f

 

 

èëè

 

 

 

 

 

 

Z

 

b f(x) dx:

 

 

 

 

 

 

 

 

 

 

Z

a

 

 

 

 

[a;b

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

Функц

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ункцией,

 

 

 

 

 

 

 

 

 

îê [a; b

ìíîæ

 

называется подынтег

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ством è

 

 

 

 

 

 

. Âìåñ

 

 

отрезкальной[

; b пишут

 

 

акжпромежуоткрыòый интервал (a; b)

или полунтегрированиякрытый промежуòîк. Число a называетс

 

 

 

нижним пределом

интегриро-

Сначала докажем схо имостьпределомв с блеинтегрированиятегральныхсумм:

имана.

 

 

 

 

 

 

Доказательство те ремы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

вания,

 

÷èñ

b верхним

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) < Æ;

(

) < Æ;

 

8" > 0

 

9Æ > 0

:

8 äроблений

 

2

если мелкости (

 

 

 

 

 

òî j (f; 1; 1)

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

(f; 2; 2)j < " 8 оснащений 1; 2

дроблений 1; 2:

интегральныеверноСх дящиесдля хясуммывдящихсебе припоследоватя себе обобщенныхльностик нулюимеютпоследовательностей,пределсти дробленияпризна.какимиКошиявляются. Это ж

 

Фиксируем число " > 0стремлениинайдем Ж > 0, длямелкот рого выполнено

указан

 

 

å

 

 

 

 

 

условие.

 

 

 

 

 

 

 

 

 

 

 

 

[a; b ункция f по теореме Кантора рав

 

 

 

 

 

 

 

 

непвыше-

 

Непрерывная на

 

 

 

 

 

 

 

 

 

 

 

 

"=(2(b a))

 

существуотрезкет àкое число Ж > 0, что jf(x )

 

 

 

f(x )j < "

 

длямернолюб й

ïàðû

рывна. По опред лению

вномерной непре ывности для поло

 

 

 

 

 

 

 

íîго числа " =

точек x ; x

 

 

 

2 [a; b ,

отстоящих друг от

 

 

друга менее, чем нажительЖ, . . jx

 

 

 

 

x j

< Æ.

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

2

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Фиксируем это число Ж.

 

 

 

 

1 = (xi)m

 

 

è 2

 

= (yk)n

 

 

отрезка [a; b , у

 

 

оторых

 

 

 

 

 

 

 

äâà

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

дроблен

 

 

 

являетсдробления:частью дробления , т.е. x

 

 

= y

 

 

 

, 0 i m

 

 

 

 

 

некоторой

последовательностиВыберассмотримдва произвольныхi

i=0

 

 

 

 

 

 

 

i=0

= ( )m

 

 

дробления

 

 

ïðè = ( )n

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ìåëê

 

 

 

 

 

 

 

 

 

 

 

 

. . j (

)j

< Æ è

2

j (

 

)j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

меньше, чем Ж,

 

 

 

 

 

< Ж. Предположим сначала, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(k )m .

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=0

дробления . Выберемномеров i между 0

 

 

 

 

 

 

 

1 и рассмотрим промежуток [x ; x

 

 

 

 

Поскольку jx

 

 

x j ( ) <оснащенияЖ то этом промежутке модуль разности значений

[yk

i

; yk

i+1

.

 

 

2

 

i+1

 

 

i

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i+1

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f не может быть больше, чем " . В частности,

 

 

 

 

 

 

 

 

 

[x ; x

 

 

. Отметим

ункцииак числа и

 

 

ïðè k

 

k < k

 

 

 

 

 

 

 

лежат на промежутке

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jf(

) f(

k

)j <

;

 

 

 

 

 

1 k = k

 

; k

i+1

; : : : ; k

i+1

 

1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òàêæå, ÷òî

 

 

 

 

i

 

 

k

i

 

i

 

 

 

 

 

1

 

 

 

i+1

 

 

 

 

 

 

 

 

k

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

i+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i+1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi+1

xi

= yki+1

 

 

 

yki

 

=

 

 

X

 

 

(yk+1

 

 

 

yk):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полученные не

 

 

 

 

 

 

 

 

 

k=k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

венс ва верны при всех i = 0i; 1;

 

 

 

 

; m

 

1, что позволяет непо-

средственно

 

преобразовать разность интегральных

 

ñóìì:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j (f; 1; ) (f; 2; )j =

 

 

X

f( i)(xi+1

 

 

 

 

xi)

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

yk)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

 

 

 

 

 

 

 

 

k=0 f( k)(yk+1

 

 

 

 

 

 

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

m 1

 

 

f(

 

 

)(x

 

 

 

 

 

 

 

 

 

x

)

 

 

k

i+1

1

 

 

 

)(y

 

 

 

 

 

 

y

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

i+1

 

 

 

 

 

 

 

 

 

X f(

k

k+1

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

 

k

i+1

1i

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

k=ki

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

X X

 

 

(f( i)

 

 

 

 

f( k))(yk+1

 

yk)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

 

 

k=k

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m 1

k

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X X

(yk

 

 

 

 

 

 

 

 

yk) = "1(b a) =

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

< "1

i=0

 

 

k=k

i

+1

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Та им образом, требуемое неравенство j (f; ; )

 

 

 

 

 

(f; ; )j <

" â ýòîì ñ ó÷àå

доказано.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

соответствующих дроблений.

дроблений. Выберем ïð извольные оснащåíèÿ , ,

 

 

ассмотрим теперь

бщ й случай: дробл ние

1

 

не является частью

 

 

 

 

 

 

 

 

 

 

ÿ

. Ò ãäà ìû

 

æ

 

с рм ровать дробл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

держит все

 

î÷êè îáî õ

 

 

 

 

 

 

 

å , которое

 

 

2

По построению дробление

является частью дробëåíèÿ . Â

 

соответствии

ñ äî-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

2

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

казанным,

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(f; 3; 3)j <

"

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j (f; 1; 1)

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично, дробление 2 является частью дробления" 3 è

 

 

 

 

 

 

 

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

 

 

 

j (f; 2; 2) (f; 3; 3)j <

2:

 

 

; 2)j <

"

+ "

= ";

j (f; 1

; 1) (f; 2; 2)j j (f; 1

; 1) (f; 3; 3)j+j (f; 3; 3) (f; 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

сходимость в себе интегральных сумм доказана. Существование предела следует

èз критерия Коши.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание

направлении интегрирования.

 

 

 

 

 

 

 

 

 

 

 

 

Если a > b, то интеграл ункции f от a до b определяется равенством

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

b f =

Z

 

a f:

 

 

 

 

 

 

 

 

 

 

Если a = b, то интеграл ункцииaf от a доb b по определению равен нулю.

 

 

 

 

 

îá

 

 

 

 

 

 

ых у кциях.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пределы èнтегральных сум

 

 

èìàíа при стремлении к нулю мелкости

 

 

 

 

промежуткЗамечан

 

 

 

 

 

 

существуют не тольк для

 

 

ункций f.

Кусочно непрерывныеинтегрирования

 

 

 

 

другие ункции обладаютнепрерывныхтаким ж свойством,дроблений

 

Функции

промежуткмногиеP , для которых интегральные суммы мана имеют

для них существует интеграл.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пр дел, называются интегрируемыми по иману. Несколько более шèрокий класс

ункций, интегрируемых по Лебегу [H.Lebesgue, 1902 , имеет стандартное обозначе-

íèå L(P ).

 

 

 

 

 

 

 

Свойства

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПуАддитивностьункция f непрерывна на отрезкинтеграла[a; b a < < b. Докажем, что тогда

 

 

1.

 

 

 

интеграла.

 

 

 

f + Z

 

b f:

 

 

 

 

 

 

 

 

 

Ê

 

 

 

 

 

 

 

 

 

 

Z b f = Z

a

 

 

 

 

 

 

 

 

 

-

 

 

 

 

отрезка [a; b добавим точку , если ее нет среди точ к

 

отрезкаждому[a; разбиению, вторая отрезкразделить[ ; b . Предел суммы равен сумме предразбиениелов при

ения . Новое разбиение можно

 

 

 

 

 

на две части: одна составляет

 

 

 

 

( ) ! 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим, что доказанное равенство с учетом определения интеграла с обратным

направлением интегрирования может быть записано в ормах

 

 

 

 

 

Ò

 

 

Z

a

f = Z

a

b f + Z

b

f;

 

Z

 

b f = Z

 

a f + Z

a

b f:

 

 

 

 

 

 

образом, исх дное у

 

 

 

 

 

 

a < < b несущ

 

венно, и равенство верно при

любоаким

взаимном располож

 

 

 

 

 

 

чисел a, b и .

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание об определенисловиеинтеграла по множеству, составленному из проме-

жутков.