Medelvärdessatsen
Från Rilpedia
Den sats som brukar kallas medelvärdessatsen är differentialkalkylens medelvärdessats. Men det finns också en sats som kallas integralkalkylens medelvärdessats.
Differentialkalkylens medelvärdessats
Om en funktion f(x) är kontinuerlig på det slutna intervallet [a,b] och deriverbar på det öppna intervallet (a,b), så finns en punkt ξ i (a,b) sådan att
- .
Bevis
Inför hjälpfunktionen
- .
Insättning av x = a och x = b ger φ(a) = φ(b) = f(a). Vidare är φ kontinuerlig i [a,b] och deriverbar i (a,b) med
- .
Rolles sats ger nu att φ har en stationär punkt, x = ξ, i intervallet (a,b), och i en sådan gäller att
- ,
vilket bara är en omskrivning av det vi är ute efter. Q.E.D.
Satsen är ett specialfall av Taylors formel. Satsen kan även generaliseras till den generaliserade medelvärdessatsen (eller Cauchys medelvärdessats) som säger att:
- Om funktionerna f och g är kontinuerliga på [a,b] och deriverbara på (a,b), så finns en punkt ξ i (a,b) sådan att
-
- .
Differentialkalkylens medelvärdessats är då specialfallet g(x) = x.
Integralkalkylens medelvärdessats
Om f är en kontinuerlig funktion på det slutna intervallet [a,b], så finns en punkt c i (a,b) sådan att
Värdet f(c) i satsen är funktionens medelvärde på intervallet.
Bevis
Eftersom f är kontinuerlig på [a,b] så antar f ett största värde M och ett minsta värde m, enligt max-min-satsen. Speciellt har vi alltså på intervallet [a,b]. Då gäller
- .
Enligt satsen om mellanliggande värden så finns c mellan t1 och t2 så att .