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 .