Е.Е. Тыртышников - Матричный анализ и линейная алгебра (1113045), страница 27
Текст из файла (страница 27)
. + an−1 xn−1 + xn = (x − x1 ) . . . (x − xn ).Ðàñêðûâàÿ ñêîáêè â ïðàâîé ÷àñòè è ïðèðàâíèâàÿ êîýôôèöèåíòû ïðè îäèíàêîâûõ ñòåïåíÿõ x, ïîëó÷àåì ôîðìóëû Âèåòà:an−1 =an−2 =an−3 =... ...an−k =−(x1 + x2 + . . . + xn ),(x1 x2 + x1 x3 + . . . + xn−1 xn ),−(x1 x2 x3 + x1 x2 x4 + . . . + xn−2 xn−1 xn ),...P(−1)kxi1 . . . xik ,1≤i1 < ... < ik ≤n...a0... ...= (−1)n x1 . . .
xn .Âûðàæåíèÿ âèäàσk = σk (x1 , . . . , xn ) =Xxi1 . . . xik ,k = 1, . . . , n,(∗)1≤i1 < ... < ik ≤níàçûâàþòñÿ ýëåìåíòàðíûìè ñèììåòðè÷åñêèìè ìíîãî÷ëåíàìè îò x1 , . . . , xn . Òàêèì îáðàçîì, êîýôôèöèåíòû ìíîãî÷ëåíà f (x) âûðàæàþòñÿ ÷åðåç ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû îò åãî êîðíåé x1 , . . . , xn :an−k = (−1)k σk ,18.2k = 1, . . .
, n.Ìíîãî÷ëåíû îò n ïåðåìåííûõÔîðìàëüíîå âûðàæåíèå xα1 1 . . . xαnn , ãäå α1 , . . . , αn íåîòðèöàòåëüíûå öåëûå ñòåïåíè,íàçûâàåòñÿ îäíî÷ëåíîì ñòåïåíè α1 + . . . + αn îò ïåðåìåííûõ x1 , . . . , xn . Ðàâåíñòâîαi = 0 äîïóñêàåòñÿ (â ýòîì ñëó÷àå îäíî÷ëåí íå ñîäåðæèò xi ).Ìíîãî÷ëåíîì îò ïåðåìåííûõ x1 , .
. . , xn íàä ïîëåì P íàçûâàåòñÿ ôîðìàëüíàÿ ñóììàîäíî÷ëåíîâ îò x1 , . . . , xn ñ êîýôôèöèåíòàìè èç ïîëÿ P . Ñòåïåíüþ ìíîãî÷ëåíà íàçûâàåòñÿ íàèâûñøàÿ ñòåïåíü âõîäÿùèõ â íåãî îäíî÷ëåíîâ ñ íåíóëåâûìè êîýôôèöèåíòàìè.Íàïðèìåð, ìíîãî÷ëåíf (x1 , x2 , x3 ) = x31 x22 x3 + x21 x32 x3 + x1 x2 x43 + x1 x2 + x3119120Ëåêöèÿ 18èìååò ñòåïåíü 6. Êàê âèäèì, â ñîñòàâ f (x1 , x2 , x3 ) âõîäÿò 3 îäíî÷ëåíà íàèâûñøåé ñòåïåíè.Ïîëàãàåì xα1 1 . . . xαnn = xβ1 1 . .
. xβnn , åñëè αi = βi äëÿ âñåõ i. Îäèí è òîò æå ìíîãî÷ëåí äîïóñêàåò ìíîãî ôîðìàëüíî ðàçëè÷íûõ ïðåäñòàâëåíèé â âèäå ñóììû îäíî÷ëåíîâ ñêîýôôèöèåíòàìè èç ïîëÿ P . Îäíàêî ìû âñåãäà ìîæåì ïåðåéòè ê ñòàíäàðòíîìó ïðåäñòàâëåíèþ, â êîòîðîì êàæäûé îäíî÷ëåí âñòðå÷àåòñÿ òîëüêî îäèí ðàç ïðîöåäóðàïåðåõîäà íàçûâàòñÿ ïðèâåäåíèåì ïîäîáíûõ ÷ëåíîâ è çàêëþ÷àåòñÿ â çàìåíå âñåõ îäèíàêîâûõ îäíî÷ëåíîâ ñ êàêèìè-òî êîýôôèöèåíòàìè îäíèì îäíî÷ëåíîì ñ êîýôôèöèåíòîì,ðàâíûì ñóììå ýòèõ êîýôôèöèåíòîâ, à çàòåì èñêëþ÷åíèè èç ñóììû âñåõ îäíî÷ëåíîâ ñíóëåâûìè êîýôôèöèåíòàìè.
Ìíîãî÷ëåíû f è g íàçûâàþòñÿ ðàâíûìè, åñëè îíè èìåþòðàâíûå êîýôôèöèåíòû äëÿ ðàâíûõ îäíî÷ëåíîâ â ñâîèõ ñòàíäàðòíûõ ïðåäñòàâëåíèÿõ.Ñóììîé ìíîãî÷ëåíîâ f +g íàçûâàåòñÿ ìíîãî÷ëåí ñ êîýôôèöèåíòàìè, ðàâíûìè ñóììåêîýôôèöèåíòîâ äëÿîäíî÷ëåíîâ,âõîäÿùèõ â f è g . ÏðîèçâåäåíèåìP ñîîòâåòñòâóþùèõPα1αnìíîãî÷ëåíîâ f =aα1 ,...,αn x1 . . . xn è g = bβ1 ,...,βn xβ1 1 .
. . xβnn íàçûâàåòñÿ ìíîãî÷ëåíf g , ñîñòîÿùèé èç âñåõ ÷ëåíîâ âèäà(aα1 ,...,αn bβ1 ,...,βn ) xα1 1 +β1 ... xαnn +βn .Òàêèì îáðàçîì, óìíîæåíèå ìíîãî÷ëåíîâ âûïîëíÿåòñÿ ïî ïðèâû÷íûì ïðàâèëàì ðàñêðûòèÿ ñêîáîê è ïðèâåäåíèÿ ïîäîáíûõ ÷ëåíîâ.Ìíîæåñòâî âñåõ ìíîãî÷ëåíîâ îò x1 , . . . , xn íàä ïîëåì P îáîçíà÷àåòñÿ ÷åðåçP [x1 , . . . , xn ]. Îòíîñèòåëüíî îïåðàöèé ñëîæåíèÿ è óìíîæåíèÿ ìíîãî÷ëåíîâ îíî ÿâëÿåòñÿ êîììóòàòèâíûì êîëüöîì ñ åäèíèöåé è áåç äåëèòåëåé íóëÿ.18.3Ëåêñèêîãðàôè÷åñêîå óïîðÿäî÷åíèåÏðè èçó÷åíèè ìíîãî÷ëåíîâ îò x1 , .
. . , xn ÷àñòî èñïîëüçóåòñÿ ëåêñèêîãðàôè÷åñêîå (ñëîâàðíîå) óïîðÿäî÷åíèå âõîäÿùèõ â íèõ îäíî÷ëåíîâ:xα1 1 . . . xαnnñòàðøå (âûøå)xβ1 1 . . . xβnn ,åñëè äëÿ íåêîòîðîãî 1 ≤ k ≤ n âûïîëíÿþòñÿ ñîîòíîøåíèÿα1 = β1 , . . . , αk−1 = βk−1 ,αk > βk . äàëüíåéøåì ïîä ñòàðøèì ÷ëåíîì ìíîãî÷ëåíà áóäåò ïîíèìàòüñÿ âçÿòûé ñ ñîîòâåòñòâóþùèì íåíóëåâûì êîýôôèöèåíòîì îäíî÷ëåí, ÿâëÿþùèéñÿ íàèâûñøèì ïðè ëåêñèêîãðàôè÷åñêîì óïîðÿäî÷åíèè îäíî÷ëåíîâ ñòàíäàðòíîãî ïðåäñòàâëåíèÿ äàííîãî ìíîãî÷ëåíà. Î÷åâèäíî, ñòàðøèé ÷ëåí îïðåäåëåí îäíîçíà÷íî.Ëåãêî ïðîâåðÿåòñÿ, ÷òî ñòàðøèé ÷ëåí ïðîèçâåäåíèÿ äâóõ ìíîãî÷ëåíîâ ðàâåí ïðîèçâåäåíèþ èõ ñòàðøèõ ÷ëåíîâ.18.4Ñèììåòðè÷åñêèå ìíîãî÷ëåíûÌíîãî÷ëåí f (x1 , . . . , xn ) íàçûâàåòñÿ ñèììåòðè÷åñêèì, åñëè äëÿ ëþáîé ïîäñòàíîâêè σñòåïåíè nf (x1 , .
. . , xn ) = f (xσ(1) , . . . , xσ(n) ).Å. Å. Òûðòûøíèêîâ121Âàæíûìè ïðèìåðàìè ñèììåòðè÷åñêèõ ìíîãî÷ëåíîâ ÿâëÿþòñÿ ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû σk , ïðèñóòñòâóþùèå â ôîðìóëàõ Âèåòà.Òåîðåìà î ñèììåòðè÷åñêèõ ìíîãî÷ëåíàõ. Äëÿ ëþáîãî ñèììåòðè÷åñêîãî ìíîãî-÷ëåíà f (x1 , . . . , xn ) ñóùåñòâóåò è åäèíñòâåí ìíîãî÷ëåí g îò n ïåðåìåííûõ òàêîé,÷òîf (x1 , . . .
, xn ) = g(σ1 , . . . , σn ),ãäå σk = σk (x1 , . . . , xn ) ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû âèäà (∗).Äîêàçàòåëüñòâî.Ïóñòü a xα1 1 . . . xαnn ñòàðøèé ÷ëåí ìíîãî÷ëåíà f (x1 , . . . , xn ).Òîãäà â ñëó÷àå ñèììåòðè÷åñêîãî ìíîãî÷ëåíà îáÿçàòåëüíî âûïîëíÿþòñÿ íåðàâåíñòâàα1 ≥ . . .
≥ αn . Åñëè áû ýòî áûëî íå òàê, òî äàííûé ÷ëåí íå áûë áû ñòàðøèì: â ñèììåòðè÷åñêîì ìíîãî÷ëåíå âìåñòå ñ îäíî÷ëåíîì xα1 1 . . . xαnn äîëæíû ïðèñóòñòâîâàòü âñå1nîäíî÷ëåíû âèäà xασ(1). . . xασ(n)äëÿ ëþáîé ïîäñòàíîâêè σ .Ðàññìîòðèì ìíîãî÷ëåíαn−1φ(σ1 , . . . , σn ) = a σ1α1 −α2 . . . σn−1−αnσnαn .(1)Åãî ìîæíî ðàññìàòðèâàòü òàêæå êàê ìíîãî÷ëåí îò x1 , . . . , xn , äëÿ êîòîðîãî ñòàðøèé÷ëåí áóäåò, î÷åâèäíî, ðàâåía xα1 1 −α2 (x1 x2 )α2 −α3 .
. . (x1 . . . xn−1 )αn−1 −αn (x1 . . . xn−1 xn )αn = a xα1 1 . . . xαnn .(2)Ïîýòîìó ñòàðøèé ÷ëåí ìíîãî÷ëåíàf1 (x1 , . . . , xn ) = f (x1 , . . . , xn ) − φ(σ1 , . . . , σn )áóäåò ìëàäøå ñòàðøåãî ÷ëåíà äëÿ f (x1 , . . . , xn ). Àíàëîãè÷íûì îáðàçîì îò f1 ìîæíîïåðåéòè ê ìíîãî÷ëåíó f2 ñ ìåíüøèì ñòàðøèì ÷ëåíîì, è òàê äàëåå.  ñèëó êîíå÷íîñòèîáùåãî ÷èñëà ÷ëåíîâ äàííàÿ ïðîöåäóðà äîëæíà íà êàêîì-òî øàãå äàòü íóëåâîé ìíîãî÷ëåí.Äëÿ äîêàçàòåëüñòâà åäèíñòâåííîñòè ìíîãî÷ëåíà g äîñòàòî÷íî ïîêàçàòü, ÷òî åñëèg(σ1 , .
. . , σn ) 6= 0, òî è f (x1 , . . . , xn ) 6= 0. Äðóãèìè ñëîâàìè, íóæíî ïðîâåðèòü, ÷òî ïîñëåçàìåíû σk íà ñîîòâåòñòâóþùèå ìíîãî÷ëåíû îò x1 , . . . , xn è ïðèâåäåíèÿ ïîäîáíûõ ÷ëåíîâîñòàíåòñÿ õîòÿ áû îäèí íåíóëåâîé ÷ëåí. Ëþáîé ÷ëåí ìíîãî÷ëåíà g ìîæíî çàïèñàòü ââèäå (1) ñ ïîêàçàòåëÿìè α1 ≥ . . . ≥ αn . Êàê ìíîãî÷ëåí îò x1 , . . . , xn , ìíîãî÷ëåí φèìååò ñâîèì ñòàðøèì ÷ëåíîì (2). Ñòàðøèì ÷ëåíîì äëÿ g êàê ìíîãî÷ëåíà îò x1 , . . .
, xnáóäåò íàèâûñøèé èç ÷ëåíîâ òàêîãî âèäà. Îí îïðåäåëåí îäíîçíà÷íî è ïîýòîìó íå ìîæåòñîêðàòèòüñÿ ïðè ïðèâåäåíèè ïîäîáíûõ ÷ëåíîâ. 2Ñëåäñòâèå. Çíà÷åíèå ëþáîãî ñèììåòðè÷åñêîãî ìíîãî÷ëåíà φ(x1 , . . . , xn ) ïðè çàìåíåïåðåìåííûõ íà êîðíè ìíîãî÷ëåíà f (x) = a0 + a1 x + . . .
+ an−1 xn−1 + xn íàä ïîëåì Pÿâëÿåòñÿ ýëåìåíòîì ïîëÿ P .Äîêàçàòåëüñòâî. Ñèììåòðè÷åñêèé ìíîãî÷ëåí ÿâëÿåòñÿ ìíîãî÷ëåíîì îò ýëåìåíòàð-íûõ ñèììåòðè÷åñêèõ ìíîãî÷ëåíîâ. Åñëè ñ÷èòàòü ïåðåìåííûå êîðíÿìè äëÿ f (x), òî,â ñèëó ôîðìóë Âèåòà, φ áóäåò ìíîãî÷ëåíîì íàä òåì æå ïîëåì P îò êîýôôèöèåíòîâa0 , . . . , an−1 , êîòîðûå ÿâëÿþòñÿ ýëåìåíòàìè ïîëÿ P .
2Çàäà÷à.Ïóñòüz1 , ..., zn âñå êîðíè (ñ ó÷åòîì êðàòíîñòåé) ìíîãî÷ëåíàêîýôôèöèåíòàìè. Äîêàçàòü, ÷òî ïðîèçâåäåíèåD=Q(zi − zj )f (x)ñ ðàöèîíàëüíûìèÿâëÿåòñÿ ðàöèîíàëüíûì ÷èñëîì.i6=jÇàäà÷à.Ïóñòüz1 , . . . , z nn-é ñòåïåíè èç åäèíèöû, à f (x1 , . . . , xn ) ñèììåòðè÷åñêèéÄîêàçàòü, ÷òî çíà÷åíèå f ïðè xi = zi ÿâëÿåòñÿ öåëûì ÷èñëîì. âñå êîðíèìíîãî÷ëåí ñ öåëûìè êîýôôèöèåíòàìè.12218.5Ëåêöèÿ 18Íüþòîíîâû ñóììûÏóñòü çàäàí ìíîãî÷ëåí f (x) = a0 + a1 x + .
. . + an−1 xn−1 + xn , è ïóñòü x1 , . . . , xn âñååãî êîðíè ñ ó÷åòîì êðàòíîñòåé. Âûðàæåíèÿsk = xk1 + xk2 + . . . + xkn ,k = 1, 2, . . . ,íàçûâàþòñÿ íüþòîíîâûìè ñóììàìè äëÿ f (x).ßñíî, ÷òî sk ñèììåòðè÷åñêèé ìíîãî÷ëåí îò êîðíåé x1 , . . . , xn . Ïîýòîìó sk åñòüçíà÷åíèå ìíîãî÷ëåíà îò ýëåìåíòàðíûõ ñèììåòðè÷åñêèõ ìíîãî÷ëåíîâ è, ñëåäîâàòåëüíî,îò êîýôôèöèåíòîâ a0 , . . . , an−1 .
Òàêèì îáðàçîì, íüþòîíîâû ñóììû êîíñòðóêòèâíî âûðàæàþòñÿ ÷åðåç êîýôôèöèåíòû ìíîãî÷ëåíà f (x) èõ ìîæíî íàéòè, íå çíàÿ êîðíè.Íà âû÷èñëåíèè íüþòîíîâûõ ñóìì ëåãêî ïîñòðîèòü òàêæå íåêîòîðûé ìåòîä ïðèáëèæåííîãî âû÷èñëåíèÿ êîðíåé ìíîãî÷ëåíà f (x). 1 Ïðåäïîëîæèì, ÷òî|x1 | > |x2 | ≥ . . . ≥ |xn |.Òîãäà k+1x2x1xnx1k+11++ ... +sk+1= x1 k ksk1 + xx21 + . .
. + xxn1Çàäà÷à.z1 , ..., zn .Äîêàçàòü, ÷òî ìíîãî÷ëåíÂû÷èñëèòü íüþòîíîâó ñóììóÇàäà÷à.→ x1f (x) = 1 + x + ... + xn èìååò nsk = z1k + ... + znk ïðè k = 7.ïðèk → ∞.ðàçëè÷íûõ êîìïëåêñíûõ êîðíåéÍàéòè ìíîãî÷ëåí 3-é ñòåïåíè, êîðíÿìè êîòîðîãî ÿâëÿþòñÿ êâàäðàòû êîðíåé ìíîãî÷ëåíà3z − 2z − 5.1 Íà ïðàêòèêå äëÿ ýòîé öåëè âñå æå èñïîëüçóþòñÿ äðóãèå ìåòîäû ñ áîëåå áûñòðîé ñõîäèìîñòüþ.Ëåêöèÿ 1919.1Àëãåáðàè÷åñêèå ìíîãîîáðàçèÿÏóñòü f (x1 , .