logo

Mean Value Theorem for Integrals 📂Analysis

Mean Value Theorem for Integrals

Theorem

If a function ff is continuous on a closed interval [a,b][a,b], there exists at least one cc in (a,b)(a,b) that satisfies f(c)=1baabf(x)dx\displaystyle f(c) = {{1}\over {b-a} } \int_{a}^{b} f(x) dx.

Description

Similar to the Mean Value Theorem but as it is used for integration, it is named as such. The usage is very similar, and its utility is by no means inferior to the Mean Value Theorem. On the other hand, considering defining the average value of a function as on the right side makes this theorem more likely to be the mean value theorem, and the widely known Mean Value Theorem might be more appropriately called the ‘mean value theorem for derivatives’.

Proof

Strategy: The continuity of ff is assumed, thus we use both the Extreme Value Theorem and the Intermediate Value Theorem.


Since ff is continuous on [a,b][a,b], and by the Extreme Value Theorem, the minimum value mm and maximum value MM exist, then

abmdxabf(x)dxabMdx \int_{a}^{b} m dx \le \int_{a}^{b} f(x) dx \le \int_{a}^{b} M dx

    m1baabf(x)dxM \implies m \le {{1}\over {b-a} } \int_{a}^{b} f(x) dx \le M

Once again, as ff is continuous on [a,b][a,b], by the Intermediate Value Theorem, for mm and MM, there exists at least one cc between aa and bb that satisfies f(c)=1baabf(x)dxf(c) = \displaystyle {{1}\over {b-a} } \int_{a}^{b} f(x) dx for 1baabf(x)dx\displaystyle {{1}\over {b-a} } \int_{a}^{b} f(x) dx.

Likewise, the same method can generalize to weighted ww. The form introduced above is for w(x)=1w(x) = 1, and it is well covered by the theorem below as abdx=ba\displaystyle \int_{a}^{b} dx = b - a.

Corollary

If a function ff is continuous on a closed interval [a,b][a,b] and w(x)0w(x) \ge 0 is integrable, then there exists at least one ξ\xi in (a,b)(a,b) that satisfies abf(x)w(x)dx=f(ξ)abw(x)dx\displaystyle \int_{a}^{b} f(x) w(x) dx = f( \xi ) \int_{a}^{b} w(x) dx.

See Also