Resultat, das eine polynomielle Approximation einer hinreichend glatten Funktion um einen Punkt gibt, zusammen mit einem Restterm, der den Approximationsfehler quantifiziert (verschiedene äquivalente Restformen existieren, z. B. Lagrange‑ und Integralform).

Prinzip

Das lokale Verhalten glatter Funktionen lässt sich durch Polynome endlichen Grades erfassen; höhere Ableitungen steuern die Größe des Fehlers und damit die Güte der Approximation.

Demonstration

Beispiel: Für f(x)=e^x ist die Taylor‑Polynom n-ter Ordnung um 0 gegeben durch Σ_{k=0}^n x^k/k! und der Rest R_n(x) lässt sich durch e^ξ|x|^{n+1}/(n+1)! für ein ξ zwischen 0 und x abschätzen, was die konkrete Fehlerkontrolle zeigt.

Fehlanwendung

Die Reihe abzuschneiden und das Polynom außerhalb des Konvergenzradius als gleich der Funktion zu behandeln oder dies bei einer glatten aber nicht analytischen Funktion zu tun; solche Fehlanwendungen führen zu erheblichen Approximationsfehlern.

Konsequenz

Stellt ein praktisches Werkzeug zur Approximation von Funktionen, zur Herleitung asymptotischer Entwicklungsreihen, zur numerischen Berechnung mit Fehlerabschätzungen und zur Bestimmung lokalen qualitativen Verhaltens (z. B. Klassifikation kritischer Punkte) bereit.

Umkehrung

Ist der Restterm auf einem Intervall identisch null, so stimmt die Funktion dort mit ihrem Taylor‑Polynom überein, was Polynome beschränkten Grades charakterisiert; umgekehrt impliziert Approximierbarkeit durch Polynome nicht notwendigerweise Analytizität.

Abgrenzung

Erfordert Differenzierbarkeit bis zur Ordnung n+1 (bei Lagrange‑Rest) auf einem Intervall um den Entwicklungspunkt; es ist zu unterscheiden zwischen glatten (C^∞) und analytischen Funktionen — die Konvergenz der Taylor‑Reihe gegen die Funktion ist bei glatten Funktionen nicht automatisch gegeben.

Semantische Spannung

Konkurrierende Bedeutungen bestehen zwischen dem endlichen Taylor‑Polynom (Approximation mit explizitem Rest) und der unendlichen Taylor‑Reihe (Potenzreihe, deren Konvergenz zur Funktion Analytizität bedeutet); ihre Verwechslung führt zu Fehlern bei termweisen Manipulationen und Konvergenzaussagen.

Synthese

Der Satz von Taylor fasst lokale Ableitungsinformationen in ein Polynom plus einen kontrollierten Rest zusammen: Die Ableitungen bis zur Ordnung n bestimmen den Approximationspolynom und die nächste Ableitung begrenzt den Fehler, wodurch Approximation, Fehlerabschätzung und lokale qualitative Analyse vereint werden.