Proof of Various Integral Properties — Question 2

PDF ↗

Question 2

Assume that ff and gg are integrable on the interval [a,b][a,b]. Prove that ∫ab(f(x)+g(x))dx=∫abf(x)dx+∫abg(x)dx.\int_a^b \bigl(f(x)+g(x)\bigr)\,dx = \int_a^b f(x)\,dx + \int_a^b g(x)\,dx.

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

Question 2 - Solution

We prove this property using Riemann sums.

Let a=x0<x1<⋯<xn=ba=x_0<x_1<\cdots<x_n=b be a partition of [a,b][a,b], and let Δxi=xi−xi−1\Delta x_i=x_i-x_{i-1}. Choose a sample point xi*x_i^* in each subinterval [xi−1,xi][x_{i-1},x_i].

A Riemann sum for f+gf+g is ∑i=1n(f(xi*)+g(xi*))Δxi.\sum_{i=1}^n \bigl(f(x_i^*)+g(x_i^*)\bigr)\Delta x_i.

Using algebra, split the sum: ∑i=1n(f(xi*)+g(xi*))Δxi=∑i=1nf(xi*)Δxi+∑i=1ng(xi*)Δxi.\sum_{i=1}^n \bigl(f(x_i^*)+g(x_i^*)\bigr)\Delta x_i = \sum_{i=1}^n f(x_i^*)\Delta x_i + \sum_{i=1}^n g(x_i^*)\Delta x_i.

Now take the limit as the norm of the partition ∥P∥→0\|P\|\to 0.

Since ff and gg are integrable on [a,b][a,b], the limits of both sums exist: lim∥P∥→0∑i=1nf(xi*)Δxi=∫abf(x)dx,\lim_{\|P\|\to 0}\sum_{i=1}^n f(x_i^*)\Delta x_i = \int_a^b f(x)\,dx, lim∥P∥→0∑i=1ng(xi*)Δxi=∫abg(x)dx.\lim_{\|P\|\to 0}\sum_{i=1}^n g(x_i^*)\Delta x_i = \int_a^b g(x)\,dx.

Therefore, ∫ab(f(x)+g(x))dx=∫abf(x)dx+∫abg(x)dx.\int_a^b \bigl(f(x)+g(x)\bigr)\,dx = \int_a^b f(x)\,dx + \int_a^b g(x)\,dx.

∫ab(f+g)=∫abf+∫abg\boxed{\int_a^b (f+g)=\int_a^b f+\int_a^b g}

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

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