Teorema della media integrale
Da Wikipedia, l'enciclopedia libera.
Il teorema della media integrale è un teorema che mette in relazione le nozioni di integrale e di funzione continua per le funzioni di una variabile reale.
Il concetto di media integrale è una generalizzazione dell'idea di media aritmetica. L'idea è quella di calcolare il valore medio assunto da una funzione su un intervallo
calcolando la media aritmetica dei valori che la funzione assume su un insieme finito (molto grande) di punti distribuiti uniformemente nell'intervallo, cioè si suddivide l'intervallo in
intervallini
tutti di lunghezza
e si calcola la media:
,
questa può essere scritta anche come
,
ora dalla definizione di integrale di Riemann segue che considerando quantità
sempre maggiori di punti questa espressione convergerà al valore
,
che viene chiamato media integrale di
.
Sappiamo che una funzione continua
definita su un intervallo ha come immagine ancora un intervallo, ed è ragionevole aspettarsi che la media integrale di
sia un valore incluso nell'intervallo immagine. Questo è esattamente ciò che stabilisce il teorema della media integrale:
Se
è continua allora esiste
tale che
o equivalentemente detto 
Essendo
continua in
, per il teorema di Weierstrass essa è dotata di massimo
e di minimo
su
, quindi si avrà
.
Dalla proprietà di monotonia dell'integrale risulta
Nei membri a destra e a sinistra della disuguaglianza stiamo integrando una funzione costante, quindi abbiamo
e analogamente
.
Si ottiene quindi
ovvero
Ora dalle proprietà delle funzioni continue sappiamo che
deve assumere in
tutti i valori compresi tra
quindi in particolare esisterà un
tale che
.




![\sup_{[a,b]}f=M\mbox{ e }\inf_{[a,b]}f=m\!](http://upload.wikimedia.org/math/e/2/a/e2a613d26238c5df5842d6818631e899.png)

