
Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015
.pdf290 Гл. VI. Неопределенный интеграл
Запись комплексного числа z ф 0 в виде (12) называют тригономет рической формой комплексного числа.
Из формул (11) находим
cos Lp = |
ж |
. |
у |
(13) |
\ Л 2+ У1’ |
sm (р = |
у/х2+ Г |
||
|
|
|
Решив систему (13), найдем аргумент комплексного числа z ф 0. Эта система имеет бесконечно много решений вида р = р0 + 2&7Г, где k G Z, (^о — одно из решений системы (13), т. е. аргумент комплекс ного числа определяется неоднозначно.
Для нахождения аргумента обычно пользуются не формулами (13),
а формулой |
|
tg¥> = |> |
(14) |
получаемой почленным делением второго из равенств (13) на первое. Следует иметь в виду, что не все значения р, удовлетворяющие урав нению (14), являются аргументами числа г.
Пр и ме р 3. Найти все аргументы числа —1 + i y / 3 и записать это число в тригонометрической форме.
Д Комплексное число лежит во второй четверти, поэтому в качест
ве одного из решений уравнения tg p = — у/3 можно взять р 0 =
а все значения аргумента данного комплексного числа определяются формулой
|
|
|
v |
О + 2тгк, |
к (ЕZ. |
|
|
Так как |
1 |
+ i y / 3| = 2, то |
|
|
|
||
|
|
—1 |
+ гл/з = г ( cos |
2тг |
, . . 27Г |
||
|
|
3 |
Ь г sm — |
А |
|||
|
|
|
|
|
3 |
)■ |
|
Если \z\ |
= 1, |
р |
= argz, то из формулы (12) получаем г = cos р-\- |
+ г sin р. Комплексное число cos р + г sin р обозначается символом ег(/?, т. е. для любого р Е R функция ещ
определяется формулой Эйлера
ещ — cos р + г sin р. |
(15) |
Равенство (15) находит обоснование в теории рядов (§ 44).
Из формулы (15) следует, что е2?гг =
= 1 , eni = |
- 1 , е7™/2 = г, е~^12 = |
-г |
|
(рис. 31.5) |
и |ег(/?| = 1 для любого р £ |
R. |
|
Заменяя в равенстве (15) р |
на —р, |
||
получаем |
|
|
|
е |
г(р = cosp —i sinp, |
(i6) |
292 |
Гл. VI. Неопределенный интеграл |
Из геометрической интерпретации (рис. 31.4) следует правило ра
венства двух комплексных чисел в показательной форме: если Z\ = —r ig*vi И Z2 — r2g*V2j то Zl — Z2 Х0Гда и только тогда, когда
r*i =»*2, <^1 = ^ 2 + 2кж, к £ Z.
Рассмотрим теперь некоторые важные свойства комплексно со пряженных чисел. Пусть г = reltp= г cos (р + ir sin р, тогда г г cos р — —ir siny? = re^%lp, т. е. если р = argz, то —р = arg~z. Отсюда и из ра венств (20), (2 1) следует, что
|
ZiZ2 = ZiZ2 , ( - ' ) = = - , |
(zn) = (z ) n, п £ N, |
|
|
|
\ Z2 / |
Z2 |
|
|
а из |
определения комплексно |
сопряженного числа следует, |
что |
|
|
Zx + Z2 — Z 1 + ^2 5 |
Z l — Z2 = Z l — Z2. |
|
|
5. |
Извлечение корня. Рассмотрим уравнение |
|
||
|
г” = а |
(22) |
где а ф 0 — комплексное число, п — натуральное число. |
|
||
Если z = гег(/%а = рег^, то уравнение (22) примет вид |
|
||
|
rneinip = peie, |
|
|
откуда |
|
|
|
гп = р, |
пр = в + 2Ьг, |
к € Z, |
|
и поэтому |
|
|
|
г = !фр, |
р к = ^(9 + 2кж), |
к £ Z, |
(23) |
т. е. числа |
|
|
|
|
Zk = Vfpe%Vk |
|
(24) |
являются корнями уравнения (22) и других корней это уравнение не имеет.
Заметим, что числа ZQ, Z\,..., zn- i |
различны, так как их аргументы |
||||
в |
в , |
2тг |
в , |
2ж(п —1 ) |
|
Ро = —, Pi = — I |
п |
, •••, Рп- 1 = — I |
------ различны и отличаются |
||
п |
п |
п |
п |
|
|
друг от |
друга меньше, чем на 27г. Далее, zn = ZQ, таккак \zn\= \ZQ\ = |
||||
= ^[р |
и р п = ро + 2ж. Аналогично, zn+1 = Zi, Z-\ = zn- i и т. д. |
||||
Итак, при аф 0 |
уравнение (22) имеет ровно п различных корней, |
||||
определяемых формулами (23) и (24), где к = 0,1 |
—1. |
На комплексной плоскости точки zp (к = 0, те —1) располагаются в вершинах правильного те-угольника, вписанного в окружность ра диуса рфр с центром в точке 0.
294 Гл. VI. Неопределенный интеграл
Используя формулу (15), отсюда находим
e (a+i@)t = е»*(cos + г sin /3t). (28)
Применяя к функции ext, где Л = а + i/i, правило дифференцирова ния (25), легко показать, что
(еА*)' = ЛеА*, Л = а + ifi. |
(29) |
По аналогии с производной неопределенный интеграл от комплекс нозначной функции z(t) = x(t) + iy(t) определяется формулой
Jz(i) dt = Jx(i) dt + ijy (t) dt.
Если комплексная функция cc(t) = £(t) + irj(t) такова, что to'(t) = = z(t), TO
Jz(t) dt = Joj'(t) dt = f €'(t) dt + ij rj' {t) dt = (;(t) + C\ + irj{t) + iC2.
Следовательно,
Jz(t) dt = Lo(t) + С, С = Ci + iC2.
Применяя это утверждение к функции еМ+г^ ь и используя форму лу (29), получаем
|
|
[ eia+mt dt = е1а+Ф! |
+ Сг + iC2. |
(30) |
|||
|
|
) |
|
а + г/З |
|
||
|
Выделяя в равенстве (30) действительные и мнимые части, |
||||||
находим |
|
|
|
|
|
|
|
f eat cos fit dt + i j e at sin fit dt = |
|
^ |
eat(cos fit + i sin fit) + C\ + iC2, |
||||
J |
|
J |
^ |
|
h [J |
|
|
откуда получаем |
|
|
|
|
|
||
|
/ |
|
0at |
|
|
|
|
|
|
€. |
|
(a cos/3t + /3 sin/3t) + C i, |
(31) |
||
|
|
eat cos fit dt = —— |
2 |
||||
|
|
a |
2T/3 |
|
|
|
|
|
|
о |
I /4 |
|
|
|
|
|
|
p |
at |
|
(a sin (it — (i cos (it) + C2. |
(32) |
|
|
J eat sin (it dt = |
2 ^ |
|
Заметим, что формула (31) была получена с помощью интегриро вания по частям в § 30 (пример 19).
|
§32. Разложение рациональной функции на простые дроби |
295 |
|
§ 32. Разложение рациональной функции |
|
|
на простые дроби |
|
1. |
Разложение многочлена на множители. |
|
а) |
Корни многочлена. Пусть задан многочлен те-й степени |
|
|
Q„(x) = спхп + Сп-гх71^ 1 + ... + сгх + с0, сп # 0. |
(1 ) |
Коэффициенты cn,cn_i, ...,Ci,Co многочлена могут быть как действи тельными, так и комплексными числами, переменное х может при нимать любые значения из множества R или С.
Число а называют корнем многочлена Qn(x), если Qn(a) = 0. На пример, число х = 1 — корень многочлена х3 —Зх2 + 2, а число х = i — корень многочлена х2 + 1 .
Рассмотрим вопрос о делении многочлена Q„(x) на двучлен (х —
—а). Разделить многочлен Q„(x) на двучлен (х — а), где а — заданное число, означает по определению представить его в виде
Qn(x) = (х - a)Qn_i(x) + г, |
(2) |
где Qn- i(x) — многочлен степени те —1 , г — некоторое число (его на зывают остатком от деления многочлена на х — а). Предполагается, что равенство (2) справедливо при всех значениях х € R (или х € С). Если г = 0, то говорят, что многочлен делится без остатка (нацело)
на х —а.
Т е о р е м а 1 (Везу). Число а является корнем многочлена Q„(x) тогда и только тогда, когда этот многочлен делится без остатка на х —а, т. е. справедливо равенство
Qn(x) = Qn-i(x)(x - а). |
(3) |
О Пусть х = а — корень многочлена Qn(x), тогда Q„(a) = 0. С другой стороны, из равенства (2) при х = а получаем г = Qn(a). Следователь но, г = 0, т. е. многочлен Q„(x) делится без остатка на i -• о, если а — корень этого многочлена.
Обратно, если многочлен делится без остатка на i -- а, т. е. спра ведливо равенство (3), то из этого равенства следует, что Qn(a) = 0. Следовательно, х = а — корень многочлена Qn(x). •
Ведем понятие кратности корня. Число х = а называют корнем многочлена Qn(x) кратности к, если существуют число к € N и мно гочлен Q*n_k(x) такие, что для всех х € R (х € С) выполняется ра
венство |
|
Qn(x) = ( х - a)kQ*n_k(x), |
(4) |
где |
(5) |
Q n - k (a ) Ф 0. |
296 |
Гл. VI. Неопределенный интеграл |
Упражнение. Показать, что число а € R является корнем кратнос ти к многочлена с действительными коэффициентами Qn(x) тогда и только тогда, когда
Qn ’(a) = 0 ПРИ Р = 0,1,..., к —1 и Q^\a) / 0.
б) Многочлен с действительными коэффициентами. Рассмотрим многочлен второй степени (квадратный трехчлен) с действительны ми коэффициентами
Q(x) = х2 + рх + q.
Предположим, что его дискриминант отрицателен, т. е.
D = р2 - 4q < 0.
Тогда
Q ( s ) = ( s + ! ) + < ? ^ = ( ж + ! )
ИЛИ |
____ |
____ |
Q{x) = (ж + ! ^ ^ |
) |
( ж + ! + * ^ ) , |
откуда следует, что корнями многочлена Q(x) являются комплексно сопряженные числа
р , . / |
р 2 |
р |
. |
р 2 |
~ 2 ~ 1\Jq ~ |
”| • -'у |
2 ^ ' V ' |
•> |
и других корнейэтот многочлен не имеет. Это утверждение остается в силе и длямногочлена любой степени п (те ^ 2) с действительными коэффициентами, т. е. справедлива следующая теорема.
Т е о р е м а 2. Если число XQ = 7 + iS — невещественный корень
(5 ф 0) многочлена Q„(x) с действительными коэффициентами, |
то |
число х = 7 —iS также является корнем этого многочлена. |
|
О По условию Q„(x0) = 0, т. е. |
|
СпХо + Cn_iXo_1 + ... + С1 Ж0 + с0 = 0, |
|
откуда следует, что Qn(x0) = 0, или |
|
спхЦ + с„_1Жо- 1 + ... + С1 Ж0 + с0 = 0. |
(6) |
В силу свойств сопряженных чисел равенство (6) можно записать в виде
спх ц + сп - l ^ o - 1 + ••• + С1 Ж0 + Со = 0 , |
|
ИЛИ |
|
сп(х0)" + c„_i(io) " _1 + ••• + С1 Ж0 + Со = 0, |
(7) |
так как ср = ср (по условию все коэффициенты многочлена Q„(x) — действительные числа), к = 0, п. Равенство (7) можно записать так:
Qn(x0) —0.
Это означает, что XQ — корень многочлена Qn(x). •
§32. Разложение рациональной функции на простые дроби |
297 |
Теоремы 1 и 2 доказаны в предположении, что многочлен Q„(x) имеет корень. Ответ на вопрос о существовании корня многочлена дает сформулированная ниже теорема 3.
в) Основная теорема алгебры.
Т е о р е м а 3. Всякий многочлен степени ri ф 1 с действительны ми или комплексными коэффициентами имеет по крайней мере один корень.
Эта теорема, доказательство которой обычно приводится в курсе теории функций комплексного переменного (см., например, [6]), на зывается основной теоремой алгебры.
Пусть Xi — корень многочлена Qn(x), степень которого равна п. Тогда по теореме 1 этот многочлен представляется в виде
Q„(x) = (х - x1)Qn- 1(x),
где Qn- i(x) — многочлен степени п —1 .
Применяя к многочлену Qn- i(x) теоремы 1 и 3, находим Q„(x) =
=(х —хг)(х - x2)Qn- 2(ж).
Спомощью индукции получим следующий результат:
Qn(x) = сп(х - xi)(x - х2)...(х - хп). |
(8) |
Здесь сп — коэффициент при х п многочлена Qn(x); |
Xi,...,xn — |
его корни, среди этих корней могут быть равные. |
|
г) Разложение многочлена с действительными коэффициентами на множители. Если х = а — действительный корень кратности к многочлена степени п с действительными коэффициентами Qn(x), то выполняется равенство (4), где Q*n_k(x) — многочлен степени п —/>• с действительными коэффициентами, для которого число х = а не является его корнем.
Пусть Хо = 7 + гб — невещественный корень (5 ф 0) многочлена Qn(x); тогда число Xq = 7 —iS также является корнем этого много члена (теорема 2), и поэтому правая часть (8) содержит множители (х —Жо) и (ж —Жо), произведение которых равно
(ж —жо)(ж —жо) = (ж —7 —i6)(x —7 + iS) = (ж —7 )2+ б2 = х 2 + рх + q,
где р = ^ 2 7, q = 7 2 + б2, р2 — 4q = ^ 4 б2 < 0. Таким образом, много член Q„(ж) в этом случае делится без остатка на квадратный трех член ж2 + рх + q, коэффициенты которого являются действительны ми числами, а дискриминант трехчлена отрицателен, т. е. р2 — 4q < 0. Это означает, что существует такой многочлен Qn- 2(х) с действи тельными коэффициентами, что
Qn(x) = (ж2 + рх + q)Qn- 2(х).
Если число Жо = 7 + г б, где 5 ф 0, является корнем многочлена Qn(ж) кратности s, то число Жо также будет корнем этого многочлена
298 Гл. VI. Неопределенный интеграл
кратности s, и поэтому многочлен Q„(x) можно представить в виде
Qn(x) = (х - x0)s(x - XoYQn-2s(x), |
|
или |
|
Qn(x) = (х2 +px + q)sQn- 2a(x), |
(9) |
где p, q— действительные числа, p2 —4q < 0, a Q n - 2 s ( x ) — много
член степени n — 2s с действительными коэффициентами, для |
кото |
рого числа XQ и XQ не являются его корнями, т. е. |
|
Qn-2s(Xo) Ф 0, Qn- 2s ( * o ) # 0. |
(10) |
Пусть а\,(12 , ...,ак — все действительные корни многочлена Qn(х), а их кратности соответственно равны ai,ct2, ...,ак. Тогда равенст во (8) можно записать в виде
Qn(x) = ( х - а О ^ . ^ х - а О ^ Щ х ) ,
|
к |
где R(x) — многочлен степени t = те — |
а т с действительными |
|
т=1 |
коэффициентами, не имеющий действительных корней.
Если R(x) — многочлен ненулевой степени, то каждой паре комп лексно сопряженных корней Xj и Xj кратности (3j многочлена Q„(x)
соответствует |
множитель |
(х2 + PjX + qj)f3j в формуле (8), |
где |
|
р2 —4(ц < 0. Поэтому |
|
|
||
Qn(x) = сп(х - |
a i)ai ...(х - |
ак)ак{х2 + pix + qQ'31 ...(х2 + psx + qsf |
‘, |
|
где У) п„, - |
2 J 2 x = n - |
<П > |
||
|
|
|||
m=1 |
j=1 |
|
|
Таким образом, зная все действительные и невещественные корни многочлена с действительными коэффициентами Qn(x), можно этот многочлен разложить на множители, т. е. представить в виде (1 1), где числа сп, оц,...,ак, Pi, ■■■,ps, Qi,--,Qs являются действительными.
2. Теорема о разложении правильной рациональной дроби.
Рассмотрим рациональную функцию (рациональную дробь), т. е.
функцию вида f(x) = ту4-у, где Рт(х) и Q„(x) — многочлены степе-
Qn\x)
ней т и п соответственно. В случае когда то < те, эту дробь называют правильной. Будем предполагать, что коэффициенты многочленов Рт и Qn являются действительными числами.
Л е м м а 1. Если Qn(x) — правильная рациональная дробь и х =
= a — действительный корень многочлена Qn(x) кратности k 1,
§32. Разложение рациональной функции на простые дроби |
299 |
||
то существуют действительное число А и многочлен Р(х) |
с дейст |
||
вительными коэффициентами такие, что |
|
||
Рт(х) _ |
А |
Р(х) |
(12) |
Qn(x) |
( x - a ) k |
{х - a)k- lQ* Ах)' |
где Q*n_k{x) — частное от деления Qn(x) на (х —а)к.
Второе слагаемое в правой части равенства (12) — правильная дробь, число А и многочлен Р(х) определяются однозначно.
О Найдем такое число А, чтобы многочлен
<р(х) = Рт(х) - AQ*_k(x) |
(13) |
делился без остатка на х —а. В формулах (12) и (13) Q*n_k — частное от деления Qn(x) на (х —а)к, т. е. многочлен, определяемый равенст вом (4) и условием (5).
Согласно теореме 1 многочлен (р(х) будет делиться без остатка на i - а в том и только том случае, когда (р(а) = 0, т. е.
Рт,(а) ~ AQn-k(a) = |
О, |
откуда в силу условия (5) находим |
|
A = - ^ f - |
(14) |
Qn-k(a) |
|
Таким образом, число А является действительным и определяется однозначно формулой (14).
Так как многочлен (р(х), где число А определяется формулой (14), делится без остатка на х — а, то существует единственный многочлен
с действительными коэффициентами Р(х) такой, что |
|
ip(x) = (х - а)Р(х). |
(15) |
Из равенств (13) и (15) следует, что |
|
Рт(х) - AQ*n_k(x) = (х - а)Р(х). |
(16) |
Разделив обе части равенства (16) на Qn(x) =(х — a)kQ*n_k{x), полу
чим соотношение (1 2). |
|
|
(р(х); тогда |
г <С т а х(т,п — к), |
|||||
Пусть г — степень многочлена |
|||||||||
где то |
< те, п — к ^ п —1 |
< те, и |
поэтому г < п. Следовательно, |
||||||
, |
Р(х) |
---------= |
I |
f(x) |
|
„ |
т |
|
|
дробь |
---------, |
|
, , является правильной. • |
|
|
||||
|
(X - a)k-iQ*n_k(x) |
|
Qn(x) |
F |
|
|
|
||
Следствие . Применив эту лемму к раз, получим равенство |
|
||||||||
Рт(х) _ |
|
А к |
|
А к_ j |
Ai |
Р (х ) |
П 71 |
||
Qn(x) |
(х - а)к |
(х - а ) ^ 1 |
х —а |
<3* _*.(*)’ |
|