Uwaga. Mamy tu jeszcze jedno przedstawienie wielomianu Pn przy pomocy bazy newtonowskiej podprzestrzeni wielomianów stopnia < n:
X — Xq,
(x - x0)(x ~ Xi), (x — Xo)(x — X\) • • • (x — Xn-i).
Współczynnikami rozwinięcia są w tym przypadku, różnice dzielone. Dowód. (Indukcja względem n.)
Sprawdźmy najpierw, że wzór (1.6) wyznacza wielomian interpolacyjny La-grange’a dla n = 1.
Pl(x) = f(x o) +
Xi - *0
(x - Xo).
Stąd
P\(x o) = f{x o),
Pi{xi) = f(xo) + —£^-{xi - Xo) = f(xi).
Xi - x0
Ponieważ Pi jest stopnia < 1, jest to zatem wielomian interpolacyjny dla węzłów #o i X\.
Zadanie 1.2
Wykonać krok indukcyjny. Wskazówka: Zakładamy, że wzór (1.6) zachodzi dla dowolnego układu k węzłów Xi0, x^ • • ■, Xik_1. Udowodnić, że wzór ten przedstawia też wielomian interpolacyjny dla węzłów Xo,X\, • • • ,Xk■ Trzeba zauważyć najpierw że
Pk{x) = Pk-i(x) + /[x0,xi, • • • ,xk-i,xk](x - x0)(x — o?i) — (a? — xk-1),
i następnie sprawdzać, że Pk(xj) = f(xj), najpierw dla j = 0,l,2,---,fc—l,w końcu dla j = k, wykorzystując to, że różnice dzielone nie zależą od porządku argumentów.
7