MathLabs
TheoremProved

Area between two curves as a definite integral

Statement

Let f,gf,g be continuous on [a,b][a,b]. The region RR bounded by y=f(x)y=f(x), y=g(x)y=g(x), x=ax=a, and x=bx=b has area S(R)=∫ab∣f(x)−g(x)∣ dxS(R)=\int_a^b|f(x)-g(x)|\,dx.

Why is it true?

Approximate the region by thin vertical strips of width Δx\Delta x; each strip is nearly a rectangle of height ∣f(x)−g(x)∣|f(x)-g(x)|, and summing these rectangle areas is exactly a Riemann sum, which converges to the definite integral as the strips shrink.

Proof sketch

Partition [a,b][a,b] into nn subintervals [xi−1,xi][x_{i-1},x_i] of width Δx=(b−a)/n\Delta x=(b-a)/n, and pick a sample point xi∗x_i^* in each. The strip of the region over [xi−1,xi][x_{i-1},x_i] has height approximately ∣f(xi∗)−g(xi∗)∣|f(x_i^*)-g(x_i^*)|, so its area is approximately ∣f(xi∗)−g(xi∗)∣ Δx|f(x_i^*)-g(x_i^*)|\,\Delta x.

Summing over all nn strips gives the Riemann sum ∑i=1n∣f(xi∗)−g(xi∗)∣ Δx\sum_{i=1}^n |f(x_i^*)-g(x_i^*)|\,\Delta x, which approximates the true area of RR by construction.

As n→∞n\to\infty, the error in each strip's approximation goes to 00 by uniform continuity of f−gf-g on the compact interval [a,b][a,b]. Since ∣f−g∣|f-g| is continuous, the Riemann sum converges to ∫ab∣f(x)−g(x)∣ dx\int_a^b|f(x)-g(x)|\,dx by the definition of the Riemann integral. Hence S(R)=∫ab∣f(x)−g(x)∣ dxS(R)=\int_a^b|f(x)-g(x)|\,dx.

When f(x)≥g(x)f(x)\ge g(x) throughout [a,b][a,b], this simplifies to S(R)=∫ab[f(x)−g(x)] dxS(R)=\int_a^b[f(x)-g(x)]\,dx with no absolute value needed; when the sign of f−gf-g changes at points inside (a,b)(a,b), splitting the integral at those points and choosing the correct order of subtraction on each piece gives the practical computation method.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Michael Spivak (2008). Calculus
  2. James Stewart (2015). Calculus: Early Transcendentals