Geddes, Czapor, Ladahn - Algorithms for Computer Algebra (523146), страница 20
Текст из файла (страница 20)
(ч<ге ид![ азяшие йаг Р!з а ()рР зо йа! бСР*я ех!яг.) 90 А!бопйтв Еог Сотрисег А1бебга Еипссюпв оЬсапед Егот йе аЬоче Сош питегасотгдепопйпасог согпЫпабопз сч!й йе ясдсбопа! вбри1абоп йас сопдгбоп (2.44) Ь пос песеввапсу васЬйед. Апюпб йеяе чапоия поппа! батов опе йас Ьаз Ьееп Еоив$ со Ье рагбси!аг!у ияейт! Еог йе ейк)епс пап! ри! аиоп оЕ габопа1 ехргеззюпз Ь йе схралдедгУастогед поппа! Еопп, чбй сопйбоп (2.44) ибзйед Ьу ап ебйс!епс ясбете Еог ССР сотрипп!оп чгЬ!сЬ ехр!о(св йе ргевепсе оЕ ехрбсй Еассогк ч!Ьепечег ап апйтебс орегабоп Ь ретсоппед.
Опе оЕ йе опб)- пас сотршег а!Бебга вучель, АЕ.ТКА)чс, ивес$ !ия висЬ а обо!се ав !ь йе с$еЕаи!с тоде, сч)сЬ йе ойег поппа1 (опля ачгбсаЫе Ьу ыег зрессйсабои, Ипа!1у побой йас втер (1) оЕ Еипсбоп Ек (Рейпйсоп З.б) 1з ссве!Е поптчсас, а чгеа$сег "япсрйбу(пб" Еипсбоп поппайу сбоозев со !саче ехргеыюпь сп а сеь сгапкЕоппег$ зьсе у!е!д!пб песйег а сапопка1 пот а лотта! Еопп (ипсй йе ивет гесргезь а "габопа) сапоиссас!гас!оп"). Расчет Бейся; ТЬе ТРЯ КергежяСат)оп ТЬе гергезепсасюп оЕ роч!ег велев розов йе ргоЫет оЕ йпгйпб а йсп!к тергевепсаиоп Еог ап !пйп)м ехргеы!оп. Ойдоиз1у чсе саппос гергезепс а рочсег велев 1п а Еопп двесс1у апа!обовв со йе ехрапдед сапопка! Еопп Ест ро!упопба1в Ьесаияе йеге ате ап спйппе поспЬег о(сеггпк.
Опе сопипоп зо!ибоп со сйв ртоЫегп Ь со взе йе сгвлсатедросчсг кеггск (ТРБ) гергеяепсабоп сп чгЫсЬ а росчег вепеь а(х) = 2; асх" и Р((хД (3.10) Ь гергезептесс аз ! 2'„асх Сч! ч!беге с св а вресгйед сгилсабол детгес. ТЬы оп1у а йш\е пшпЬег оЕ сеппз аге асшайу гертеяепкд апд а ТРБ ввсЬ аз (3.1!)!ооссз ехасс!у 1йе а ро1упопва1.
Ночгечег а д)в!!побои тыс Ье ваде Ьессчееп а ро1упопбас оЕ дебгее т апд ТРБ чбй спгпсасюп дебгее т Ьесаизе йе севи1ь оЕ апйпсебс орегасюпв оп йе сч!о !урез оЕ оЬ!есь вге пос Ыепссса1. 1п огдег со пса)се йсв сбябпсбоп и Ь сопчешепс со изе йе Ео!!оч!1пб погаиоп Еог йе ТРБ гергевепсабоп (чдй пипсабоп дебгее г) оЕ сЬе рокчег вегсев (3.10): а(х) = 'т асх" + 0(х'+'), !~о и!беге 1п Бепегас йе ехртекяоп 0(хт) депосез ип ипярес!йед рочгег вепев а(х) чдй огд(а(х)) >р. ТЬе поп-ехасс пашке оЕ йе ТРБ гертеяепмиоп оЕ рочкг мпев разек а ртоЫет чсбеп сче сопядег погпа! (опля Еог роч!ег вепез. Рог 1Е )п Ре(ййбоп 3.1 чсе сопя!дог йе зес Е оЕ ехргевяопк со Ье йе вес оЕ ай (спГвисе) роч!ег вепез йеп йе ваыЕоппас(оп рег(оппед Ьу гергевепбпц а роч!ег зепев Ы !ь ТРБ гергевепсабоп (чдй ярес)йед пипсаиоп дерее г) яда!атея йе йьс ргорегсу оЕ а поппв! Еипсбоп.
Брессйса!1у, пчо роч!ег кегсек ч!Ысб аге пос осси)ча1епс ч!11! Ье стаы(оппес1 !пса йе вате ТРБ гергекепьиоп И йеу Ьарреп со паче и1спскас соебйс!епь йгоибЬ десрее ! Оп йе ойег Лапд, счс гап сгйс в пюгг ргасбсас ротс 3. Ь(оггпа! Роги|я апб А1иеЬ|а!с Кергеяепшбопз 91 оГ гбе|ч апб сопзйег йе зе| Е, оГ аб ТРБ ехргеш!опз оГ йе Гопп (3.12) иай зрессйеб спшсабоп беагее |. Б!псе не аге оп!у сопя!беппи шнчапа|е роиег зепез боша!пз чбй йе |пояс иепега( соерйс!епс бошаш Ье!пи а Йе!б оГ гас!опа! Гипсбопя, Й Гобовя 'нгипеб!асе!у йас (3.12) !я а лоппа! Гопп Гог сЬе яес Е, !Г и е сЬоояе а полна! Гопп Гог йе соеГЙс1епсз алб Й 1| а сапошса! Гопп 1ог йе яес Е, Й ве сЛоозе а сапошса! Гопп Гог йе сои/Его(ел|я.
Ровег Яегсеяс Ь)оп-Тгипса(еб Кергезеп(аь!опз ТЬе ТРБ гергезепсабоп !я пос йе оп!у арргоасЬ Ьу вГбсЬ ап шйшйе ро чег яепея сал Ье Йп1|е!у гергеяепсеб. ТЬеге аге герсеяепсапопз и ЛкЬ зге ЬосЬ Йпйе апб ехас|. Рог еха|пр1е, йе Тау1ог |елея ехрапяюп аЬоис йе рошс х = О оГ йе Й|пссюп е" пир Ьс Ье и|пиен аз ! 2; —,х Г! (3.13) а(х) = 2; Г,(/г)х", (3.14) вЛеге Г„(/г) |з а зрес!Йеб сосу/Гс!елг Гаасбои (бейпеб Сог а11 поппеаас!че !псеаегз /г) МпсЬ шипршея йе /г-й соей|с|ел|. Ву гергезеп6пи йе соерйс|еп| Гипс!!оп Е„(Ь), йе |пйп|се ровег яепея а(х) ся Й|11у гергеяепихс.
ТЬе Гаса йас оп!у а Йп1|е пшпЬег оГ соейк1епся | пи!б ечег Ье ехр!|с||1у сошрисеб ся !л й!я |чау ьерагасеб Йош йе гергезепсабоп !яяие апб, ии!йе |Ье ТРБ гергеяепсас!оп, йеге !я по пееб со рге-зресйу йе гпахнпшп пшпЬег оГ соеГ| к!елсь вЬ~сЬ спау ечепсиа11у Ье ехр1|с|бу сошрисеб. й а(х) ся йе ровег яепеь (3.! 3) йеп йе соей|с!епс О|полол сап Ье ярес|йеб Ьу Г,(/г):= —, 1 (3.15) |и а ргасбса! ипр!ешепсабоп оГ йе ЬСТРБ гергезепсабоп Ь воиИ Ье в1зе со |саге соеГЙ- и пш йас аге ехр!!с|бу согприсеб зо йас йеу пееб по| Ье ге.сошршеб вЬеп апб !Г йеу аге |гцшгеб ааа!и 1ыег |л а сошрисабоп.
'Пшз ас а рагбси1аг рошс ш а согприсаноп Ы йе Йгш / «грйс!ел|я Еог а(х) Ьаче ргегбоиз!у Ьееп ехр!к|бу сошри|еб апб зсогеб сп а 1!пеаг !пп а (ао,а|,..., а, |) йел йе ярес|йсас!оп оГ сЛе соеГЙс!епс Гнлсбол ьЬон!б Ье сЬалаеб и~и|с (3.!5) |о Г,(/г):= !Е /| с / СЬеп а(/с) е)зев ! И (3.16) ||кгг а1Г1бепосея ап е!ешепс ассеяя !п йе 1(пеаг!|га а. Гп|байу / = О 1п ярес!Йсапоп (3.16) |ю! ш репеш1 / !я йе сипел| сепий о/а. !| сап а1зо Ье зееп йас йогп йе ропп оГч!ев оГ »пц и|абопи! еГЙс!енсу 6 пидй Ье Ьенег со сЬапае ярессйсабоп (3.16) со вубсЬ |з ап ехас| гергеяепыбоп оГ йе сошр1есе шйп1|е |елея ням оп1у а Йп|се лшпЬег оЕ яу|пЬо1|. ТЬе Еогш (3.13) |з а ярес!а! |ля|алое оГ вЬас |че зЬа11 лыпе йе лол-|ли|сааб раи ег зейея (ХТРБ) гергезепсабоп оЕ а ровег зегсея а(х) и Р((хЦ вубсЬ са1|ез сЬе Бепегас Гопп 92 А18ог[йтпя /ог Соптршег А18еЬга 1,(/с):=1/ /с =О СЛеп 1 ( (/с — 1) е)ве [т /с < / сьеп а[Ц е!зе /с (3.17) ав, шьете йе гесштепсе ат = — ((ог /с > 0) сч!!1 Ье овес) со сошрисе зоссевяче сое(/!с!еисв.
ТЬе врес[Нсаьоп о( йе сое/йс[епс /ипсьоп саи Ьесопю ечеп пюге сошр1ех йап !пйсасес) аЬоче. Рог ехашр!е 1( а(х) аис( Ь(х) вте пчо рошег велев ь!1Ь сое/()с(епс (ипсьопв 1,(/с) аи1 (з(/с) йеи йе виш с(х) = а(х) + Ь(х) саи Ье ярос!/!еб Ьу йе соевое!епс /письои (г(~) а( )+~В(~) апс( йе ртос(исс с/(х) = а(х) Ь(х) (3.!8) саи Ье врос!(!ос[ Ьу йе осе%с[ел! (опсьоп (Ф(/с) ' Х/аО) /3(/с г) ~ш (3.! 9) 1Г Га(/с) апс! /з(/с) аге ехрйс1с ехргеыюпз гп Ь йеп йе сои%с!епс (пист!оп (,(/с) ш (3.18) саи Ье ехргеязес! аз аи ехр1!с)с ехргевмоп сп /! Ьиг йе соесТсс!еси йис6ои Гз(/с) ш (3.19) сапиос [и Зепега1 Ье в(шрьс)ес) со ап ехр8сь ехргезиоп ш /с. Тье ргойеш о( врос!ту!п8 попиа1 (опта ог салоп!са! (опия Гог йе ЫТРЗ сергевепшЕоп Ьаз пес тесе(чес) апу аьепЬоп 1и йе 1Ьегашге. А ргасс!са) !тпр!ешепсасюп о( сЬе ЬСТРЗ тергевепшьоп Ьаз Ьееп с)евспьес) Ьу Ыопиап [8[, апс( Ы (шр!епюисес( [и йе ЗСЙАТСНРА0 вувсеш.
ТЬе ХТРЗ гергевепсаьоп Ы яееп со ор/ег волге в6чаиш8ея очес йе ТРЗ гергевепсаЕоп. Ношечег йе 9иевсюп о( иоппа) Голов (в 1е[С ас йе ТРЗ !ече1 1п йе вепзе йас йе оЬ1есш и16шасе!у веси Ьу йе ивет аге ТРЗ гертевепшьоив, аис( ше Лаче аьеас(у веси йас ТРЗ поггпа! ог сапои1са! тогшв аге геасйу оЬса!пей %Л11е а ьие поппа1 (отш Гог йе ЬСТРБ гергевеисаьоп [и !св шов! Бепега1 (опп Ы 'ппровв!Ые (Ьесапве шсЬ а иоппа[ (опп гчои1с) нпр1у а зо!шюп со йе вето ес(и)ча(сисе ргоЫеш (от а чету Запета( с!авз о( ехртевиопв), !с шоиИ Ье о/соизЫегаЫе ргасьса( шсегеш со Лаче а салоп)са! /спи (от ваше шазопаЫе ыЬ- вес о/ аП рошгЫе сое%с1епс /ииссюп зрес)йсаьопв.
(Рог ехатпр[е, вес Ехетс!вев 3.7 апс( 38 Гог ваше врос!а) Гонов от сое/Ессеис /ипсйои врес[йсаьопз исЫсЛ сап апзе) 93 3. Ь)оппа1 Роппз ап6 А!деЬгатс Кергеяепга6опя Ех(епдед Ро»ег Яепез Кесад йа! а Ве16 Р<х> оГ ехгепбед рошет яепея очег а соеГГтс[еп! ВеЫ Р сап Ье н$еп66е6»дй йе т)побеп! Ке!д р((х)) оГ а ро»ег яепея 6опапп р[[хЦ. 11 тчая яЬо»гп ш Яес6оп 2.9 йаг а салоп!са! Гопп Гог йе грто6епт Ве16 р((х)) яа6я(у[ад соп6$6опя (2.44)-(2.4б) шЬея йе Гопп а(х) (3.20) хл шЬеге а(х) е р[[хЦ апд и е О.
ТЬы поппа1 апд сапоп1са! Гоппя гог ехтепде6 рошег яепея аге оЬса[пед бпесг!у Ггогл йе Гопы сЛояеп Гог гергеяепппюп оГ отб!пату рочтет яепея. ТЛе тергекепга6оп оГ ап ехтепдед ро» ет яепея сап Ье ч[ечче6 аз йе тергеяептапоп оГ ап огйпшу ратчег яепея р1пк ап агЫ!т!опа) р1есе оГ ш(оппагюп яресКу!пд йе ча1пе оГ л ш (3.20). З.б. Г$АТА ЯТК()СТГ)КЕЯ РОК МИ.ТГРКЕСГЯГОЬ[ГЬ)ТЕСЕКЯ А[к)$) КАТГОЬ[АГ, Ь[$)МВЕКЯ )тгте !шп по» то йе бата яггпстше 1ече! оГ аЬяпаст!оп. Ве!оте 6! яспышд дата ягтпсшгея Гог ро!упопда1я ш а 6оша1п Г)[з) ог габопа1 Гппсбопя !п а ВеЫ Р(х), Ь К песеяяату го т$егепшпе» Ьа! дага ягпксгшея чч[К Ье пяег$ Гог йе гергеяепгагюп оГ оЬ)ее!в тп йе соеГВстеп! ботса!и Р.
%е сопяЫег пчо рояЫЫе сЛо!сея Гог $$: йе )птедга1 6опаш Х оГ )птедегя апд йе КеЫ (Г оГ галопа! пшпЬегя. Мп1!!ргес!я!оп Гп!едегя А тур)са! 6$8!ш) соглрпгег Ьак Лагб»япе Гас)! 16ея !ог ятоппд апд реггоптйпд ап6нпе6с орега6опя проп а Ьаяс даш туре тчЛ(сЛ К пяпа11у саИе6 "[пгедег*' апд ччЛ[сЛ что вЛа11 са11 ~тд!е-ргес!к(ол !птедет. ТЬе галде оГ ча!пея Гог а Ыпд1е-ргес!Ыоп в!едет!я Ипйед Ьу йе пшпЬег оГ йк6пст епсойпдя йат сап Ье шабе (п йе сошрпгег»он1, тчЫсЛ тя тур)са)!у 8, ! б, 32, Зб, 48, от б4 Ьтгя ш!епдй. ТЛы йе ча$пе оГ а я!дпеб япд1е-ргес)аоп штедег саппог сксеег$ аЬопг 9 ог 10 6есппа1 6!д!гя ш!епдй Гог йе пйЫ1е-галде тчог6 Ыхек Багета аЬоче ог а!юш 19 6есппа1 6$8!тя Гог йе 1агдеят тчшб ягае!$згег1 аЬоче. ТЬеяе геяп[сшд гергеяепга! юпя оГ оЬ)есгз [п йе шгедга! с$опта[п Х ате по! я»ГГ!с)епс Гог йе ршрояея оГ яугпЬо!!с сошрпгш!оп.