Hoppa till innehållet

Medelvärdessatsen

Från Wikipedia

Den sats som brukar kallas medelvärdessatsen är differentialkalkylens medelvärdessats. Men det finns också en sats som kallas integralkalkylens 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 och avslutar således beviset.

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.

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 i intervallet enligt satsen om största och minsta värde. Speciellt har vi alltså för alla t i intervallet [a,b]. Integreras leden så fås

.

Enligt satsen om mellanliggande värden så finns (minst) ett c mellan och så att , vilket efter förlängning ger just satsens påstående.

Externa länkar

[redigera | redigera wikitext]