Middelværdisætningen

For enhver funktion der er kontinuert på [a,b] og differentiabel på ]a,b[ eksisterer et c i intervallet [a,b], så sekanten der forbinder funktionsværdien i endepunkterne er parallel med tangenten i punktet c.

Middelværdisætningen er en matematisk sætning, der, i grove træk, siger, at der et sted på en differentiabel kurve er et punkt, i hvilket hældningen er lig kurvens "gennemsnitshældning".

Sætningen kan illustreres med et konkret eksempel; en bils hastighed. Hvis en bil på en strækning har kørt 80km/t i gennemsnit, har den mindst ét sted på strækningen kørt præcis 80km/t.

Sætningen blev først udviklet af inderen Parameshvara (1370 – 1460) og senere af Lagrange (1736 – 1813). Den er infinitesimalregningens vigtigste resultat, og er en central del af beviset for infinitesimalregningens hovedsætning. Sætningen benyttes sjældent til egentlige matematiske udregninger, men oftere som del af beviser for andre matematiske sætninger.

Formel definition

Lad $f:[a,b]\to \mathbb {R}$ være en funktion, der er kontinuert på det lukkede interval $[a,b]$ og differentiabel på det åbne interval $]a,b[$ . Da eksisterer et $c\in ]a,b[$ , så

f'(c)={\frac {f(b)-f(a)}{b-a}}.

Middelværdisætningen er et mere generelt tilfælde af Rolles sætning, der antager at $f(a)=f(b)$ .

Middelværdisætningen kan generaliseres yderligere, idet det er nok at antage, at $f:[a,b]\to \mathbb {R}$ er kontinuert på $[a,b]$ , og at grænseværdien $\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}$ er et reelt tal eller $\pm \infty$ for alle $x\in ]a,b[$ .

Bevis

Sekanten på illustrationen kan som bekendt gives ved en ligning $y=\alpha x+q$ , hvor $\alpha ={\frac {f(b)-f(a)}{b-a}}$ , og det er muligt at lave en funktion

h(x)=f(x)-(\alpha x+q)

,

så der gælder, at $h$ er kontinuert på $[a,b]$ og differentiabel på $]a,b[$ . Samtidig gælder $h(a)=0$ og $h(b)=0$ , og så opfylder $h$ antagelsene for Rolles sætning, så der eksisterer et $c\in ]a,b[$ , så $h'(c)=0$ . Men

h'(x)=f'(x)-\alpha =f'(x)-{\frac {f(b)-f(a)}{b-a}}

,

og sætningen er vist. Q.E.D.

Se også