Bonnet Mean Value Theorem .
Suppose f is Lebesgue integrable on [a,b] and g:[a,b]→R is monotone.
i) If g is non-negative, decreasing and greater than or equal to 0, for A∈R, A≥x→a+limg(x) there exists C such that a≤C≤b and
∫abf(x)g(x)dx=A∫aCf(x)dx
ii) If g is non-negative, increasing and greater than or equal to 0, for B∈R, A≥x→b−limg(x) there exists C such that a≤C≤b and
∫abf(x)g(x)dx=B∫Cbf(x)dx Consider
∫35x1cosxdxThe function f(x)=cosx is integrable on [3,5].
The function g(x)=x1 is non-negative, monotone decreasing on [3,5].
Then by the Bonnet Mean Value Theorem, for A≥x→3+limx1 there exists C such that 3≤C≤5 and
∫35x1cosxdx=A∫3Ccosxdx Let A=31
∣∣∫35x1cosxdx∣∣=31∣∣∫3Ccosxdx∣∣
=31∣∣[sinx]∣∣53≤31(2)=32 Therefore
∣∣∫35x1cosxdx∣∣≤32
Comments