Proof of Various Integral Properties — Question 10

PDF ↗

Question 10

Assume that ff is integrable on [a,b][a,b] and that there exists a real number MM such that f(x)≤Mfor all x∈[a,b].f(x)\le M \quad\text{for all }x\in[a,b]. Prove that ∫abf(x)dx≤M(b−a).\int_a^b f(x)\,dx \le M(b-a).

Original worksheet page 1: question and worked solution for 7-5-010
Show solutionHide solution

Question 10 - Solution

Define the function h(x)=M−f(x).h(x)=M-f(x).

Since ff is integrable on [a,b][a,b] and MM is a constant, the function hh is also integrable on [a,b][a,b].

From the assumption f(x)≤Mf(x)\le M for all x∈[a,b]x\in[a,b], we have h(x)=M−f(x)≥0for all x∈[a,b].h(x)=M-f(x)\ge 0 \quad\text{for all }x\in[a,b].

By the positivity property of integrals, ∫abh(x)dx≥0.\int_a^b h(x)\,dx \ge 0.

Substitute back for h(x)h(x): ∫ab(M−f(x))dx≥0.\int_a^b \bigl(M-f(x)\bigr)\,dx \ge 0.

Use linearity of the integral: ∫abMdx−∫abf(x)dx≥0.\int_a^b M\,dx - \int_a^b f(x)\,dx \ge 0.

Since ∫abMdx=M(b−a),\int_a^b M\,dx = M(b-a), we obtain M(b−a)−∫abf(x)dx≥0.M(b-a)-\int_a^b f(x)\,dx \ge 0.

Rearranging gives ∫abf(x)dx≤M(b−a).\int_a^b f(x)\,dx \le M(b-a).

∫abf(x)dx≤M(b−a)\boxed{\int_a^b f(x)\,dx \le M(b-a)}

Original worksheet page 2: question and worked solution for 7-5-010

Original worksheet layout. Use Enlarge or open the PDF for a closer view.