Beweis
Wir leiten den Satz nur für
her. Nach (2) wissen wir, daß
| (8) |
gilt, wobei
das Taylorpolynom zweiten Grades von
in
ist.
Für den Restterm gilt
| (9) |
mit einer Konstanten
. Ist
eine beliebige Funktion auf
, so bezeichnen wir mit
das Interpolationspolynom
vom Grad
durch die Punkte
,
und
.
Aus (7) und (8) folgt, daß das Interpolationspolynom
von
die Summe der Interpolationspolynome von
und
ist,
d.h.
Sowohl
als auch
sind Polynome vom Grad
durch die
Punkte
,
und
. Wegen der Eindeutigkeit
des Interpolationspolynoms ist also
.
![]() |
Weil
beschränkt ist, folgt daraus
mit einer Konstanten
. Für
konvergiert also
gegen
, und zwar gleichmäßig in
.