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 ?$

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 |$

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}.$

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Signed verses geometric area

Controls

Symbols

Settings