schon vor längetrer Zeit habe ich über das ganze nachgedent.
( DerSüddeutsche hat nachgeDENKT, nicht nachgeDACHT.
Dafür macht sich der Holländer GedACHTEN und keine Gedanken. )
An sich ist ja der MWS wine aussage der Differenzial-nicht der Integralrechnung. Wie weit ist F von HD entfernt; 60 kleine Männer? Kann das sein?
Also bei exakt 60 min Fahrzeit spielt es keine Rolle, ob du Raser bist oder im Stau stecken geblieben bist; irgendwo an der Strecke muss dein Tacho wohl oder übel exakt Tempo 6 0 anzeigen.
Dies die Aussage des MWS .
Nun hatte man das Problem, den ===> Hauptsatz der D&I zu beweisen:
" Sei y = f ( x ) eine auf [ a ; b ] stetige Funktion. Dann ist ihr unbestimmtes Integral gleich ihrer " Aufleitung " F ( x ) ; d.h. F ( x ) ist differenzierbar auf [ a ; b ] , und F ' ( b ) = f ( b ) "
Unser klassener hoch verehelichter Prof " Lothar " begann seine Beweise immer mit dem Geflügelzitat
" Wenn man schön wüsste, dass ... "
Also wenn du schön wüsstest, dass der Hauptsatz wahr ist. Dann erfüllt das unbestimmte Integral doch sämtliche voraussetzungen, die unsereiner an den MWS stellt. D.h. wenn ich das unbestimmte Integral von a bis x auswerten will, dann gibt es einen Mittelwert x0 im Sinne des MWS , und zwar x0 = x0 ( a ; x ) , so dass
x
$ f ( t ) dt = ( x - a ) f ( x0 ) ( 1 )
a
Man dreht jetzt den Spieß einfach um; wenn du umgekehrt weißt, dass der MWS erfüllt ist in der Form ( 1 ) , fällt es nicht mehr schwer, den Hauptsatz zu beweisen. Freilich musst du Acht passen, dass du nicht zirkulär argumentierst; den MWS seiner seits musst du begründen aus allgemein anerkannten Tatsachen über stetige Funktionen, ohne dabei in versteckter Form den Hauptsatz mit einzubeziehen.
Zu mehr ist diese Aussage auch nicht nütze.
Ja gut; du tust jetzt die dir gegebene Funktion f ( x ; k ) aufleiten. Dann wendest du den üblichen MWS auf die so erhaltene Aufleitung an.
Als Erstes wirst du fest stellen, dass deine Aufleitung das Randwertproblem befriedigt
F ( 0 ) = F ( Pi ) = 0 ( 2 )
D.h. hier gilt der MWS in der Form
(E) x0 | F ( Pi ) - F ( 0 ) = 0 = Pi f ( x0 ) ( 3 )
Und ( 3 ) ist die Behauptung; der Integrand nimmt auf besagtem Intervall eine Stullnelle an.