138
3. Przybliżone rozwiązywanie równań nieliniowych i ich układów
Tw. (Lagrange’a). Niech a0 # O / ak(k ^ 1) będzie pierwszym ujemnym współczynnikiem wielomianu (3.26). Wszystkie dodatnie zera tego wielomianu są mniejsze niż
(3.29)
gdzie A oznacza maksimum modułu ujemnych współczynników wielomianu.
Jeżeli wszystkie współczynniki wielomianu są nieujemne, to nie ma on zer dodatnich.
Należy pamiętać, że wyznaczenie przedziałów, w których mogą znajdować się zera rzeczywiste, nie oznacza bynajmniej, że wielomian ma takie zera. Ma je na pewno każdy wielomian nieparzystego stopnia.
Przykład 1. Wyznaczyć przedział zawierający wszystkie zera rzeczywiste wielomianu f(x) = 2x> + *7-*5 + 6x3- l2x2 + 9
Pierwszy ujemny współczynnik występuje przy X5, czyli jest to a4. Stąd mamy, że k = 4. Największy co do modułu ujemny współczynnik wynosi —12, czyli A = 12. Mamy więc
R = 1 + 4= 1 + « 2,565
Zgodnie ze wzorami (3.28) obliczamy
1 6 12
? + ?“7 + 9l =
= 9x9 - 12*7 + 6x6 - x* + X2 + 2 f2(x) = f(-x) = -2x9 - X1 + x5 - 6x3 -12^ + 9
= 9x* - 12*7 -6x6 + x*-x2 + 2x9
We wszystkich trzech przypadkach pierwszy ujemny współczynnik występuje przy x7, czyli jest to a2- Stąd mamy k = 2. Największy co do modułu ujemny współczynnik jest również we wszystkich trzech przypadkach równy —12, czyli A = 12. Zatem
*2= 1 +
« 3,449
w 2,155
Ry= 1 +
Tak więc dodatnie zera należą do przedziału (0,464; 2,565), a ujemne do przedziału ( — 3,449; -0,464).
3.2. Metody poszukiwania zer wielomianów
139
3 2.3. Metody przybliżonego obliczania zer rzeczywistych wielomianu
Istnieje wiele metod znajdowania pierwiastków rzeczywistych równania (3.23) (patrz np. [17, 50, 62]). Przytoczymy tutaj w skróconej formie metodę iterowanego dzielenia.
Dzieląc wielomian f{x) przez czynnik liniowy (x — Xj) otrzymamy
/(x) = (x — Xj)(b0xn~' + bixn~2 + ... + b„_,) -I- Rj (3.30)
gdzie reszta Rj jest równa f(xj). Współczynnik bk obliczamy ze wzoru rekurencyjnego
b0 = a0, bk = ak +Xjbk_i dla k=l,2,...,n (3.31)
i stąd
Rj = bn = an + xjb„_] (3.32)
Powtórne podzielenie przez (x — Xj) da nam
f(x) = (x — Xj)2(c0xn~2 + C\Xn~3 + ... + c„_2) + (* — Xj)Rj + Rj (3.33) przy czym R) = /'(*,) oraz co — bo — a0
ck = bk + xtck-u k = 1, 2, ..., n - 1 (3.34)
Rj= cn _ i = 6„_, +XjCn. 2
Do obliczania kolejnych wyrazów ciągu przybliżeń (xk), k= 1, 2, ..., j, rzeczywistego pierwiastka równania (3.23) możemy zastosować: metodę siecznych
Xj+l=Xj-
Rj(xj — xj+\)
Ri ~ Rj-\
(3.35)
«
(należy tutaj przyjąć początkowe przybliżenia X] i jc2) lub metodę Newtona
Xj+l — Xj —
(3.36)
(należy tutaj przyjąć przybliżenie początkowe Xi). Oczywiście każdy ze wzorów (3.35) i (3.36) można stosować wielokrotnie, tworząc ciąg kolejnych przybliżeń dzielnika aż do uzyskania dwóch kolejnych wartości xk i xk + ] możliwie bliskich.
Ćwiczenia
1. Korzystając ze wzorów (3.35) i (3.40) znaleźć rzeczywiste zero wielomianu f(x) = = X3 — x — 1, przyjmując jako przybliżenie początkowe odpowiednio: x, = 1,2 oraz x2 = 1,3 w metodzie siecznych, a x, = 1,3 w metodzie Newtona.