Properties of the definite integral

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

The strong relationship between definite integrals and areas gives several properties that we can use to help in evaluation.

Properties of the definite integral Let $f$ and $g$ be defined on a closed interval $[a,b]$ that contains the value $c$ , and let $k$ be a constant. The following hold:

(a): $\int _a^a f(x)\d x = 0$
(b): $\int _a^c f(x)\d x + \int _c^b f(x)\d x = \int _a^b f(x)\d x$
(c): $\int _a^bf(x)\d x = -\int _b^a f(x)\d x$
(d): $\int _a^b f(x)\pm g(x)\d x = \int _a^bf(x)\d x \pm \int _a^bg(x)\d x$
(e): $\int _a^bk\cdot f(x)\d x = k\cdot \int _a^bf(x)\d x$

We will address each property in turn:

(a): Here, there is no “area under the curve” when the region has no width; hence this definite integral is $0$ .
(b): This states that total area is the sum of the areas of subregions. Here a picture is worth a thousand words:

It is important to note that this still holds true even if $a<b<c$ . We discuss this in the next point.
(c): For now, this property can be viewed a merely a convention to make other properties work well. However, later we will see how this property has a justification all its own.
(d): This states that when one scales a function by, for instance, $7$ , the area of the enclosed region also is scaled by a factor of $7$ .
(e): This states that the integral of the sum is the sum of the integrals.

Due to the geometric nature of integration, geometric properties of functions can help us compute integrals.

Compute: $\int _0^6 |x-3| \d x$

This may seem difficult at first. Perhaps the first thing to do is look at a graph of $y=x-3$ :

Now we can graph $y=|x-3|$ :

Now we see that we really have two triangles, each with base $3$ and height $3$ . Hence $\begin{align*} \int_0^6 |x-3| \d x &= \int_0^3 \answer[given]{3-x} \d x + \int_3^6 \answer[given]{x-3} \d x\\ &= \frac{3\cdot 3}{2} + \frac{3\cdot 3}{2}\\ &=\answer[given]{9}. \end{align*}$

A function $f$ is an odd function if $f(-x) = -f(x),$ and a function $g$ is an even function if $g(-x) = g(x).$

The names odd and even come from the fact that these properties are shared by functions of the form $x^n$ where $n$ is either odd or even. For example, if $f(x) = x^3$ , then $f(-7) = -f(7),$ and if $g(x) = x^4$ , then $g(-7) = g(7).$ Geometrically, even functions have horizontal symmetry. Cosine is an even function:

On the other hand, odd functions have $180^\circ$ rotational symmetry around the origin. Sine is an odd function:

Let $f$ be an odd function defined for all real numbers. Compute: $\int _{-2}^2 f(x) \d x \begin {prompt}=\answer {0}\end {prompt}$

Since our function is odd, it must look something like:

The integral above computes the following (signed) area:

Let $f$ be an odd function defined for all real numbers. Which of the following are equal to $\int _2^4 f(x) \d x ?$

$\int _{4}^{2} f(x) \d x$ $\int _{-4}^{-2} f(x) \d x$ $\int _{-2}^{-4} f(x) \d x$ $\int _{-2}^{4} f(x) \d x$ $\int _{4}^{-2} f(x) \d x$ $\int _{2}^{-4} f(x) \d x$ $\int _{-4}^{2} f(x) \d x$ $-\int _{-4}^{2} f(x) \d x$ $-\int _{-4}^{-2} f(x) \d x$

Signed verses geometric area

We know that the signed area between a curve $y=f(x)$ and the $x$ -axis on $[a,b]$ is given by $\int _a^b f(x) \d x.$ On the other hand, if we want to know the geometric area, meaning the “actual” area, we compute $\int _a^b |f(x)| \d x.$

True or false: $\int _a^b |f(x)| \d x = \left |\int _a^b f(x) \d x\right |$

true false

Consider $f(x) = x^3$ on the interval $[-1,1]$ . Here $\int _a^b |f(x)| \d x = 1/2 \qquad \text {but}\qquad \left |\int _a^b f(x) \d x\right | = 0.$

Let’s finish by looking at a ‘backwards’ problem.

Compute this limit: $\lim _{n\to \infty } \sum _{k=1}^n \left (\sqrt {1-\left (-1+\frac {2k}{n}\right )^2}\right ) \left (\frac {2}{n}\right )$

This is a limit of Riemann sums! Specifically, it is a limit of Riemann sums of $n$ rectangles, where $\Delta x = \answer [given]{\frac {2}{n}}$ and $x_k^* = -1+\frac {2k}{n}.$ Hence, we may rewrite this as $\lim _{n\to \infty } \sum _{k=1}^n \left (\sqrt {1-(x_k^*)^2}\right ) \Delta x.$ Now we see that this computes the area between the $x$ -axis and the curve $y = \sqrt {1-x^2}$ . Let’s see it:

By geometry, we know that this semicircle has area $\answer [given]{\pi /2}$ . Hence $\lim _{n\to \infty } \sum _{k=1}^n \left (\sqrt {1-(x_k^*)^2}\right )\Delta x =\answer [given]{\pi /2}.$