Ильин В.А., Позняк Э.Г. Основы математического анализа. В 2-х ч. Часть I (7-е изд., 2005) (1095443), страница 39
Текст из файла (страница 39)
е. r(z) - с -Тi.ким обра:~ом, фор;;(ла(7.13)в ФОРМУ"l;'(7. 4)с=(7.14)Ь, найдем, что сI(Ь). ПО опреде~тош 1Ш тогда, 1Шг"(,а O;'TiiTOKTOr,l;') рiШСНкогда Ь является 1шрне;Z-i1рШIШli'8Т вк(1(' =(z-b)·q(z)+c.Полагая в фор;;уле (7.14) zле1lИЮ l(z) Д",lИТСЯ нс' Z - Ь=солst.,1Ю, т.тогда и то"ъко тогда,1(, . Теоре;,;а ДО1iдзаllа.2. Е;'тестве шО, ВО:~НИliДСТ вопро;': Вi'Яii1Й ,lИ а"lгсбраич, "'liНЙМllогочлеll имеет ко! 'llи? Ответ на этот вопрос дает осн,овн,аяmeof,ehta алгеБрыl 1 : вгяк:'Uu hШО,;О"lлен, н,ен,улевO'Ll I'теnен,и 'Uhteст :rотяOi)'UH к:орен,ъ.Опираясь на эту ('еорему, докажем, что алгебf,а'U'/еСК:'U'Ll hШО'О"lлен, n-и стеnен,и имеет точн,о n nofmeu \).
В самом деле,П>;'Т1,\,Z ме ашебрысправе;lЛИВОМllогочлеll n~й1(z)i1P;''тепе1lИ. СОГЛii,CllO о,ловной Teop'~. е. дл(('Тi'К1''Пi1;'(z)f(z)вкоторо;Л11чере,Еспи nю ;';'т хотя1).z)1(имеет хо (Я бы один корень Ь 1 ,оi'ю ,11i,че11 Н, 'liОТОРЫЙто.согласноО, 'ин кореll"Ь2осно шо!']т.переменной».2) При этом, конечно, мы считаем, что n > О.для;шогочлсн'тепе1lИтеореме алгебры,(z)справедливо2ШАТEl\ГАИ'СКИЕ МНОГС''!2преДСi'авлениеj: (z)(zЮ)1'()роы чср' <~(z) обо:~, 'i'ч' 'Н нею" lipbIij мног, ,'iлен 'тепениР) ПОВi" ,шш указанные рассуждения далее, ыы полу'шмпредставлеl шяf2(Z) - (zЬз)fз z ) ,(7.jn( ,)n(z) =5П )в последнем из этих предс i'авлениi,j 'iерезобозначен некоторый 1ШОГОЧ.i'Л 11У.i"ВОЙ 'тепеllИ т.С =const.
СопостаВЛЮi ыежду собо!1 равенства (7.15 1 )-(7.15 n ) и у шты iая. чтоjn(z) =с,.'i.eM И1 i'Tl,j(z).16)Отыетиы, что коыплекснаii ПОСТOiшнаii с не ра ша нулю, ибопротивном спучае много'шен j .) был бы i'ождес iBeHHo равеннул:, , и не являлся бы ЫНОiочленом nраве11СТВс; (7.ОЧСВII.illO. чтоj(b n ) т. е. каждое из 'шсел Ь 111ем М11огочле11а j(z). КР01 "того. H:~ (7.бы НИ было1)., ... ,ь nВЛiiеi'СЯ корОЧСВII.lllО.
что. Юi.жовоШ1еli.crlOе число Ь, отлнчное от b1 , Ь 2 , . .. ,Ь" комплеюлое чИiЛОкихс i'епени(Ь 1 )коыплексных11е рс вно'шселравнолю. ю'ю !lрОИ Ш i ' "Л!li' Н, "·li.о.шгнулюлишьi'OMспучае,когдараве11 11УiЮ хотя бы О.'}Иll IЛ С01.ШОЖ:ИТi'(i.). Тii.ЖИМ 0('азом, много лен j(z) иыеет ровно nЬ ,ь 2 .....
'Ь П 'Раве ство (7. 6) д ет ра~лож: н1шогоч.i'Лii j(z) 11а MllOжители. Если известен вид ЫНОiочлена j(z) (7.12), то мы ыожеыO!lpl'HTi.' ПОСТОЮlС В раве11стве (7. J 6). СРii..Бнивая в раве11-ствах (7.16) и (7.12) КОЭi[>фициенты приzn, получиы - СО 2).l\lногочлен (7.12), у li.OTOPOrO 101, 11азывается ЩiU6еде1-t'ным•. Д,Ш ПРИВI' "лного МllOгочле la ФОР1; ,ла ра:~,lOЖ:СНИЯ (7. 6)1) Здес"iЮЛЬЗ\iе ,! сшд' ющееесли многО'i,лен j(z) == aOZ n + аlZ п - 1 + ...
+ an-1Zа п mо:нсдесmвенно раве" "Уil,Ю, mu все его'l{;оэффиu,иенmы jювны НУЛЮ. В "амом деш, если j(z)О, то при z =получим а п = О, Но тогда== Z[аii.Zп-1 аl.Z П -·'an-l] == О. Таккак z фu, то ВЫРilЖi·НИi.· В квадратных скобках тождеСТВi'НН\ii равно н" 'Ю,откуда при z = О получим an-l = О. Продолжая аналогичные рассуждения. (алее, докажем, что все коэффициенты равны нулю.2Здес" iiЫ ИСПОЛi,З\i"+ ... + а паоbOZ" + Ь,= Ь о , al = b1, ...
а п =и+ ... + Ь песли два многО'i,лена ао " +alz n -mож;десmвенно равныдругу, тоЬ п . Для доказательства достаточно к разностиуказанных многочленов применить утверждение, отмеченное в сноске 1) наэтой странИi (е.<1'ИГ! )lj\НИЕ Впринимает видJ(z)лу'шм17)(z 12)Ь,)(Z - lJ 1 )(Z -=Сравнива!1 формулус(7< 7)ПJИ)о1),по-ле) ую+ Ь2++(Ь 1 Ь 2 + Ь 1 Ь З + ...
+ Ь 11 - 1 Ь 11(Ь 1)2спда,л, lейш)«= (- )n Ь 1 Ь\ ...ли не оговореllО llрОТИВ10)< 11blра,lривать nриведенные ht1-tОРО (лены.3,Крат!много'!лена,Признак кратности корня'<реди корней МНОГО'lлена j( < могут быть совnадающ'Uе корни. Пусть а, Ь< ... ,с - разл'Uч?!ые кор ш прив)< ,)лного М 1Огочлеllаz . ТОГ'I<а Вре !!ЛЬТ1i.ТОВ !lP' )lblii,! "то !11)parp1 ф1i.< для1J(z)справедливо разложениеz)В этом разложении а,и! котор;n -lX н)<(z - a)Q(z - Ь)3 ... z - с)'.=(3,.
.. , - некоторые)льш)<!lР!lЧ)«а(7. 8)целые числа< каждое+ (3 + ... + ,= n,степень МНОl0членаЕсл'U для ht1-tогочленасnраведл'Uво раЗЛО:J/CfiН'UС (7.18) тоговорят, что комплексное "шслоявляетгя KOf!1-tем j(z) кратности а< КОhшлексное ч'Uсло является KopHehl j (z) кратности(3, ... , КОhшлекгное "шсло является KopHehl j(z) кратногти,.Кореll)<B1i.TLl'P1i.THOCTL lШТОРОГО p1i.BH1) )lИниц" нринято Н1) ,),!а lшреll '< KpaTl101<Tl' которого lЮЛЬШ"'н О К Р а т н ы м<едининыпринято называтьк р а т н ы м.МШЮIOlаТl, и !lpyroe )j,ВИВ1i.леllтное О!lр""лие кор lЯ <lанной кратности: комплексное "шслочленаJ(z)кратности а, есл'U длялен'Uена Iыlаетсяя KOf!1-tем многоzz) = (z - a)Q'P(z ,сnраведл'Uво nредстав-а)(7.
9)О.Наша неш, - указать llеобход lIюе и достаТОЧllое ус.ТIOвие длятого< чтобl,! комплеюлое ч!l' ло а яв, lЯЛОlЪ lШРН"< IШОГОч',l' Н1)кратности а.Назовем nро'Uзво:Jноii ht1-tо'о'Ч,лснаJ(z)z многочленj'z , nолу-чею-/,ыlйй формал'ы-/'ыlM :J'Uффсре'Нц'Uрован'Uеhl 1) j (z) по z. ПреЖ:<'lевсего докажемс.педующее утверждение.1) "-ан"",,"ве)) (ественной переменной(!ыла<КUРНИ МНОГ.;3'l//J,)'1}UJ,j·j'!J.лпu;uое 'Ч,'/J,СЛ{!j(z),}шсrnn СУ ,Мi}tлг(У! ,},пtЛ,}'с]Ютn{!,Ю а )(Н },){етnг})IЮ,jj!'НОСjj!'IJ, (а - 1)шго"{'}! 'Но3 а м е ч а н и е, В частн, ,сти, приОД11Ol!Р!)ТПЫМ 1ШРП)"ДК а з а- 1z), пе является 1ШРП)"е л ь с т в О,во предС!а ;пение21lAУСЛОВИЮ1!J.-})о]лt!).!число а.
БУДУЧ)jI!(z)дЛЯ j(z).19), Дисj!фе!еНЕИРУ!!,справедли-\7.Н!), будемиметьили.211)',"аер)(z),)+ (: -а)ер'').Поскольку ер (а) - а, (а) i::. о !о представление (7озна'!ает,что чисю а является 1iOРП' 11 краТ1Ю"ТИ (а- ) 1ШОГОЧ.!' н!) j'(z).Лемма доказана.Теорема 7.2. Для того чтоБыl К:О.мnлек:сное число а являлогъ nof!1-lем К:fю,тности а .Nt1-l0,'О"lленастаточно. чтоБыlЛа)j(z),выnлн!!нъllнеобходи.NLO и доуслови= j'(a) = ... =(7.2 )д о к аа тлт в о.Н е оо Д иПусть авл!!ется корнем кратности а мно! очлена jсогла,'IIО лемме1)тоl' '),ЧIН'ЛО а является 1iOРП)"о').т ь.Тогда,краТ1Ю,'ТИ(а1) мно!очленакорнем кратности (а2) много'шенаj(2) '), ... ко! нем кра ности единица много'!лена j(Й-l)(z) т.
е.а=Р(а)= ... = j(a-l)(a) =Сог !!)CiЮ !а1 )'ч! 1lИЮ!очленаО.1eM(7.чисю а 11е является корВыполнение услови11е.М1Ю-до-К)) !апо.11;(7.21).ОСТаонось.выполненыуспо!ш!!Тре()ует,'я )lOК)) !ат;,. что число а яв. шет,'я 1iOРП)"1Ю,'ТИ а М1югочле 1aj(z). Ta1! 1!a1!кр!)т-I(a-l)(a) = О, чисю а ЯВ.шетс!! корнем мно!очленаК:fiатногти не НИ;JfCе единицы.Ст!!ло быт;,. н!) О' ПОВ!)llИИ лемм!"Ч11''ЛО а ЯБ..!яет,'я 1iOРП"11 М1Ю!очлена j(\,-2)К:fютности не НИ;JfCе двух, корнем много'шена j ,)-3) ,) К:fютности не НИ;JfCе mfiex, ... , корнем много'шенак:ратности не НИ;JfCе а.ОстаетС!! доказать, '!то кратность корю! а много'шенаf(z)н!вышелеммеЕ,'Ли ()Ы эта l!Р!)ТПОСТЬ ()ыла в!,!ше а.
то,,1!Р!)ТПОСТ!, КОР11Я а М110гочле11а j(a-l) z) бы.j(z)'ог !!)CiЮбы выш)'<i'ИГ! ;ij\НИЕ Вединицы,< откуда слеДОВaJТ; бы.< чтое<(а) = О,(z),являеТСi корнеыпротю;, 'ре'шт по' ле;шему и:~ УiЛОRиli(7<21)Те, тема д' ,казанаПРИШI,юл1ения KPjjTHbIXАлгоритм!':вклидавыде.!1.xeM~кг'!'тны1 y корн')!:',ПО'<т".в"<пе-ред собо!! цель - ДJТi данно! о ;;~Оi<ОЧJ;~на f(;)~··иыею~е~о воо{;ще говоря, liР1)тпые liОрШl П1)ЙТН Т1)КОЙ ;шогочрп F(z) который имеет те :JICe са.мые К;О/iНИ, '(то и j '). но вге к;/ютностиединица. Для ;lOстнж:ешlЯ;той пели вве; ем11eKoTop),j" llOB),j"i.пон п'ИНазовем д е л и т е л е.М дву;т многолюбой .многО'iлен, на к;оторый делятся оба.много ленаиj(z)·(z).Оnределенuе 2. Назовi.М н а и б о л ъ ш и.М О'щ И .Мд е л и т е л е м двух многО'iленов j ( .
и ср( . так;ой их делиme,i,'lJ, nomopbl'il делится на ,i,юбо'1l друюii делителъ эти:г дву:г.ft;t1-tОРО" iленов.Договорш ,<я о{ю !l1ачат), 11аибо.ш,шиЙ о{;щ lЙмного'шеновsa;j .)и;'тим, что и!вытекает,СТОЯllllOГО'iTO он определенMllO liителя.Возвращаяс;,го П1).раГР1).Ф1lмногочленсz<'iЛЯ МllOгочлеllllгд"по<liО;,;ЫЙj(z)D[f(z), f' ( )]'а);(z-(7.22)... z-c)',(z -z)]i'eopeMe 7.2,справе,lЛИВО пре,l.ставлеlше... ( z -,,,)I~lnl'"! ( Z )liHT МllOlliителей (z - а) (za)a~1(z -Ьv!(z) 11е <0;1' рИз сопоста iлеНШi форыулf(z)провеРИТk что/юзли'f1-tые корни. ТОiда, СОiласно. .. .го ;lелителяПjОИЗВОЛЬНОiОимеет видz = (z -j'(z)доllели< сфор;,;улировапной в 11ачале 11астояшеF(' )iде а. Ь,точностью;;ы теперь легко ;lOЖ:;·<fi'(Z)нте.л;, ;шух'< '(z) сиыволоы D[j(z), ср(' )].O!lP;' и'лепия П1)ш'Ю,iLшего о{;щ,=(z -I(7.23) и (7.24) О'iевидно,a)a~l(z-Ь );З~1 ...(z -c)l~l.(7.24)(z -с).что(7.25)Из сопоставления формул (7.23) иСОЮ О'iередь очевидночто ;шогочлеп F(' !, определяе;,;ый формулой (7.22), ш ;еет видF(z = z -а)z-...
(z -с).(7.26)()Г11ТТеы саыым щ\казан\\, что ЫН\'10Ч.1ен22),110F(z),\1ЕВКопредел;емыйимеет те же саыые Ю'I ши, что и ын, '10членвсе 1,РiiТIЮСТИ\1ИПИЦi;Таким i\бразоы. задача выделеНШi Кl,атных корней СВiДИТ-ся к ШkТрО'(z)1.1Ш)гОЧ,,1''IIi;F(z)опредеJТiеМОГ i \Посrюлы,у зrrат генатель сjюрмулы (7.22) содерж:ит rrатr60Ш,"шllй о{\щий деЛИТ".lL \Ш\IШОГОЧ.,1''IIОВ j(z) И j' z) во:~пю,астзадача о пахож:де1lИИ паиБОЛl,шего общего делителя двух М11O"гочлспов.