Skip to content

Mathematics · Ch 9 — Applications of Integration

Introduction

9.1

Introduction

Note

"Give me a place to stand and I will move the earth" — Archimedes.

One of the earliest mathematicians to compute areas and volumes of geometric shapes rigorously was Archimedes of Syracuse (287 BCE–212 BCE), a Greek mathematician, physicist, engineer and inventor. Archimedes proved that the area enclosed between a parabola and a chord (straight line) is exactly 43\dfrac43 times the area of the triangle inscribed in that parabolic segment (with the same base and the vertex where the tangent is parallel to the base). He arrived at this by segmenting the region into infinitely many elementary strips and summing them — the very idea of a limiting sum that lies at the heart of the definite integral this chapter develops, and which we then apply to compute areas and volumes of geometric shapes.

Recap: the anti-derivative. If a function F(x)F(x) can be found such that ddxF(x)=f(x)\dfrac{d}{dx}F(x)=f(x), then F(x)F(x) is called an anti-derivative (or indefinite integral) of f(x)f(x). It is never unique: for any constant CC, ddx[F(x)+C]=f(x)\dfrac{d}{dx}[F(x)+C]=f(x) too, so all anti-derivatives of a given ff differ only by a constant. The anti-derivative is written ∫f(x) dx\displaystyle\int f(x)\,dx.

Linearity of the indefinite integral. For constants α,β\alpha,\beta,

∫[αf(x)+βg(x)] dx=α∫f(x) dx+β∫g(x) dx.\int\big[\alpha f(x)+\beta g(x)\big]\,dx=\alpha\int f(x)\,dx+\beta\int g(x)\,dx.

A working table of standard indefinite integrals (each verified by differentiating the right-hand side), used freely throughout the chapter:

f(x)f(x)∫f(x) dx\displaystyle\int f(x)\,dx
KK (constant)Kx+CKx+C
(ax+b)n, a≠0, n≠−1(ax+b)^n,\ a\ne0,\ n\ne-11a(n+1)(ax+b)n+1+C\dfrac{1}{a(n+1)}(ax+b)^{n+1}+C
1ax+b, a≠0\dfrac{1}{ax+b},\ a\ne0$\dfrac1a\log_e
eaxe^{ax}eaxa+C\dfrac{e^{ax}}{a}+C
sin⁡(ax+b)\sin(ax+b)−cos⁡(ax+b)a+C-\dfrac{\cos(ax+b)}{a}+C
cos⁡(ax+b)\cos(ax+b)sin⁡(ax+b)a+C\dfrac{\sin(ax+b)}{a}+C
tan⁡(ax+b)\tan(ax+b)$\dfrac1a\log
cot⁡(ax+b)\cot(ax+b)$\dfrac1a\log
sec⁡(ax+b)\sec(ax+b)$\dfrac1a\log
cosec⁡(ax+b)\operatorname{cosec}(ax+b)$-\dfrac1a\log
1a2+x2\dfrac{1}{a^2+x^2}1atan⁡−1xa+C\dfrac1a\tan^{-1}\dfrac xa+C
1a2−x2\dfrac{1}{a^2-x^2}$\dfrac{1}{2a}\log_e\left
1x2−a2\dfrac{1}{x^2-a^2}$\dfrac{1}{2a}\log_e\left
1a2−x2\dfrac{1}{\sqrt{a^2-x^2}}sin⁡−1xa+C\sin^{-1}\dfrac xa+C
1x2+a2\dfrac{1}{\sqrt{x^2+a^2}}log⁡e(x+x2+a2)+C\log_e\left(x+\sqrt{x^2+a^2}\right)+C
1x2−a2\dfrac{1}{\sqrt{x^2-a^2}}$\log_e\left
a2+x2\sqrt{a^2+x^2}x2a2+x2+a22log⁡e(x+a2+x2)+C\dfrac x2\sqrt{a^2+x^2}+\dfrac{a^2}{2}\log_e\left(x+\sqrt{a^2+x^2}\right)+C
a2−x2\sqrt{a^2-x^2}x2a2−x2+a22sin⁡−1xa+C\dfrac x2\sqrt{a^2-x^2}+\dfrac{a^2}{2}\sin^{-1}\dfrac xa+C
x2−a2\sqrt{x^2-a^2}$\dfrac x2\sqrt{x^2-a^2}-\dfrac{a^2}{2}\log_e\left

What this chapter builds toward. Starting from the geometric, sum-based idea of a definite integral (§9.2), the chapter reaches the Fundamental Theorems (§9.3) that make evaluation practical, adds computational tools — Bernoulli's formula (§9.4), improper integrals (§9.5), reduction formulae (§9.6) and the gamma integral (§9.7) — and finally applies all of this machinery to the geometric payoff: computing areas of plane regions (§9.8) and volumes of solids of revolution (§9.9), fulfilling Archimedes' original programme with full rigour.