Beweisarchiv: Analysis: Differentialrechnung: Festlegbarkeit der Stammfunktion
- Ungleichungen: Grönwall'sche Ungleichung · Young'sche Ungleichung
- Konvergenz: Herleitung des WALLIS-Produktes · Produktformel von Vieta · 1/n ist eine Nullfolge · Grundeigenschaften konvergenter Folgen
- Differentialrechnung: Differentiation der Sinusfunktion · Kriterien für lokale Extrema · Satz von Rolle · Mittelwertsatz · L'Hospitalsche Regel · Taylor-Reihe mit Konvergenzradius Null · Charakterisierung konstanter Funktionen · Festlegbarkeit der Stammfunktion · Hauptsatz der Differential- und Integralrechnung
- Integralrechnung: Gaußsches Integral
- Konvexität und Stetigkeit
Definition
BearbeitenSeien ein Intervall und eine Funktion. Eine Stammfunktion von ist eine differenzierbare Funktion so, dass für deren Ableitungsfunktion gilt .
Satz
BearbeitenSeien ein Intervall und eine stetige Funktion. Seien zwei Stammfunktionen von . Dann existiert eine Zahl mit für alle .
Beweis
BearbeitenDa und Stammfunktionen einer stetigen Funktion sind, sind sie stetig differenzierbar. Damit ist die Funktion Funktion differenzierbar und für ihre Ableitung gilt nach der Summenregel. Damit ist die Funktion nach der Charakterisierung konstanter Funktionen konstant, d. h. es existiert ein mit für alle .