Beweisarchiv: Analysis: Differentialrechnung: Festlegbarkeit der Stammfunktion

Aus Wikibooks

Beweisarchiv: Analysis

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[Bearbeiten]

Seien ein Intervall und eine Funktion. Eine Stammfunktion von ist eine differenzierbare Funktion so, dass für deren Ableitungsfunktion gilt .

Satz[Bearbeiten]

Seien ein Intervall und eine stetige Funktion. Seien zwei Stammfunktionen von . Dann existiert eine Zahl mit für alle .

Beweis[Bearbeiten]

Da 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 .