Proof of Various Integral Properties — Question 6

PDF ↗

Question 6

Assume that ff and gg are integrable on [a,b][a,b] and that f(x)≤g(x)for all x∈[a,b].f(x)\le g(x) \quad\text{for all }x\in[a,b]. Prove that ∫abf(x)dx≤∫abg(x)dx.\int_a^b f(x)\,dx \le \int_a^b g(x)\,dx.

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

Question 6 - Solution

Define a new function h(x)=g(x)−f(x).h(x)=g(x)-f(x).

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

From the assumption f(x)≤g(x)f(x)\le g(x) for all x∈[a,b]x\in[a,b], we have h(x)=g(x)−f(x)≥0for all x∈[a,b].h(x)=g(x)-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(g(x)−f(x))dx≥0.\int_a^b \bigl(g(x)-f(x)\bigr)\,dx \ge 0.

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

Rearranging gives ∫abf(x)dx≤∫abg(x)dx.\int_a^b f(x)\,dx \le \int_a^b g(x)\,dx.

∫abf(x)dx≤∫abg(x)dx\boxed{\int_a^b f(x)\,dx \le \int_a^b g(x)\,dx}

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

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