Mean Value Theorem for integrals

A continuous function attains its average value over an interval
Mean Value Theorem for integrals

Mean Value Theorem for integrals: Let f:[a,b]Rf:[a,b]\to\mathbb{R} be . Then there exists c[a,b]c\in[a,b] such that abf(x)dx=f(c)(ba). \int_a^b f(x)\,dx = f(c)\,(b-a). Equivalently, f(c)=1baabf(x)dx. f(c)=\frac{1}{b-a}\int_a^b f(x)\,dx.

This result formalizes the idea that a continuous function takes its average value somewhere. It is frequently used to prove existence statements and to estimate integrals.

Proof sketch: By continuity on [a,b][a,b], ff attains a mm and MM. Then m(ba)abf(x)dxM(ba). m(b-a)\le \int_a^b f(x)\,dx \le M(b-a). Divide by bab-a to place the average value between mm and MM, and apply the to ff.