Proof of Various Integral Properties — Question 7

PDF ↗

Question 7

Assume that ff is integrable on [a,b][a,b]. Prove that |∫abf(x)dx|≤∫ab|f(x)|dx.\left|\int_a^b f(x)\,dx\right| \le \int_a^b |f(x)|\,dx.

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

Question 7 - Solution

We begin with a basic inequality involving absolute values.

For all real numbers uu, we have −|u|≤u≤|u|.-|u|\le u \le |u|.

Apply this inequality to f(x)f(x): −|f(x)|≤f(x)≤|f(x)|for all x∈[a,b].-|f(x)| \le f(x) \le |f(x)| \quad\text{for all }x\in[a,b].

Integrate each part of the inequality over [a,b][a,b]: ∫ab−|f(x)|dx≤∫abf(x)dx≤∫ab|f(x)|dx.\int_a^b -|f(x)|\,dx \le \int_a^b f(x)\,dx \le \int_a^b |f(x)|\,dx.

Simplify the left-hand integral: −∫ab|f(x)|dx≤∫abf(x)dx≤∫ab|f(x)|dx.-\int_a^b |f(x)|\,dx \le \int_a^b f(x)\,dx \le \int_a^b |f(x)|\,dx.

This shows that the value of ∫abf(x)dx\int_a^b f(x)\,dx lies between −∫ab|f(x)|dx-\int_a^b |f(x)|\,dx and ∫ab|f(x)|dx\int_a^b |f(x)|\,dx.

By definition of absolute value, this implies |∫abf(x)dx|≤∫ab|f(x)|dx.\left|\int_a^b f(x)\,dx\right| \le \int_a^b |f(x)|\,dx.

|∫abf(x)dx|≤∫ab|f(x)|dx\boxed{\left|\int_a^b f(x)\,dx\right| \le \int_a^b |f(x)|\,dx}

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

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