Polynom/K/Interpolation/Fakt/Beweis

Beweis

Wir beweisen die Existenz und betrachten zuerst die Situation, wo ${}b_{j}=0$ ist für alle ${}j\neq i$ für ein festes ${}i$. Dann ist

$(X-a_{1})\cdots (X-a_{i-1})(X-a_{i+1})\cdots (X-a_{n})$

ein Polynom vom Grad ${}n-1$, das an den Stellen ${}a_{1},\ldots ,a_{i-1},a_{i+1},\ldots ,a_{n}$ den Wert ${}0$ hat. Das Polynom

${\frac {b_{i}}{(a_{i}-a_{1})\cdots (a_{i}-a_{i-1})(a_{i}-a_{i+1})\cdots (a_{i}-a_{n})}}(X-a_{1})\cdots (X-a_{i-1})(X-a_{i+1})\cdots (X-a_{n})$

hat an diesen Stellen ebenfalls eine Nullstelle, zusätzlich aber noch bei ${}a_{i}$ den Wert ${}b_{i}$. Nennen wir dieses Polynom ${}P_{i}$. Dann ist

${}P=P_{1}+P_{2}+\cdots +P_{n}\,$

das gesuchte Polynom. An der Stelle ${}a_{i}$ gilt ja

${}P_{j}(a_{i})=0\,$

für ${}j\neq i$ und ${}P_{i}(a_{i})=b_{i}$.

Die Eindeutigkeit folgt aus Fakt.

Zur bewiesenen Aussage