4.3: Properties of the Definite Integral
- Page ID
- 212034
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\(\newcommand{\longvect}{\overrightarrow}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We have defined definite integrals as limits of Riemann sums, which can often be interpreted as “areas” of geometric regions. These two powerful concepts of the definite integral can help us understand integrals and use them in a variety of applications.
This section continues to emphasize this dual view of definite integrals and presents several properties of definite integrals. We will justify these properties using the properties of summations and the definition of a definite integral as a Riemann sum, but they also have natural interpretations as properties of areas of regions.
We will then use these properties to help understand functions that are defined by integrals, and later to help calculate the values of definite integrals.
Properties of the Definite Integral
As you read each statement about definite integrals, draw a sketch or examine the accompanying figure to interpret the property as a statement about areas.
\(\displaystyle \int_a^a f(x)\, dx = 0\)
This property says that the definite integral of a function over an interval consisting of a single point must be \(0\). Geometrically, we can see that the area under the graph of a a function above a single point should be \(0\) because the “width” of a point is \(0\):

In terms of Riemann sums, we can’t partition a single point, so instead we must define the value of any definite integral over a non-existent “interval” to be \(0\).
\(\displaystyle \int_b^a f(x)\, dx = -\int_a^b f(x)\, dx\)
In words, this property says that if we reverse the limits of integration, we must multiply the value of the definite integral by \(-1\).
Geometrically, if \(a<b\), then the \(x\)-values in the first integral are moving “backwards” from \(x=b\) to \(x=a\), so it might seem reasonable that we should get a negative answer.
In terms of Riemann sums, if we move from right to left, each \(\Delta x_k\) in any partition \({\cal P}\) will be negative:\[\sum_{k=1}^{n}\, f\left(c_k\right)\cdot\Delta x_k = \sum_{k=1}^{n}\, f\left(c_k\right)\cdot\left(-\left|\Delta x_k\right|\right) = -1\cdot \sum_{k=1}^{n}\, f\left(c_k\right)\cdot\left|\Delta x_k\right|\nonumber\]resulting in \(-1\) times the Riemann sum we would use for \(\displaystyle \int_a^b f(x)\, dx\).
(Our definition of a Riemann sum only allows each \(\Delta x_k\) to be positive, however, so we can simply treat this integral property as another definition.)
\(\displaystyle \int_a^b k\ dx = k\left(b-a\right)\) (\(k\) is any constant)
Thinking geometrically, if \(k > 0\), then \(\displaystyle \int_a^b k\, dx\) represents the area of a rectangle with base \(b-a\) and height \(k\):

so:\[\int_a^b k\, dx = \left(\mbox{height}\right)\cdot\left(\mbox{base}\right) = k\cdot(b-a)\nonumber\]Alternatively, for any \({\cal P} = \left\{x_0 = a, x_1, x_2, x_3, \ldots, x_{n-1}, x_n = b\right\}\) that partitions the interval \([a, b]\), and every choice of points \(c_j\) from the subintervals of that partition, the Riemann sum is:\[\sum_{j=1}^{n}\, f\left(c_j\right)\cdot\Delta x_j = \sum_{j=1}^{n}\, k \cdot\Delta x_j = k \sum_{j=1}^{n}\, \Delta x_j = k\cdot(b-a)\nonumber\]Because every Riemann sum equals \(k\cdot(b-a)\), the limit of those sums, as \(\left\|{\cal P}\right\| \rightarrow 0\), must also be \(k\cdot(b-a)\).
(Here we use the fact that the sum of the lengths of the subinterval of any partition of the interval \([a,b]\) is equal to the width of \([a,b]\), which is \(b-a\).)
\(\displaystyle \int_a^b k\cdot f(x)\, dx = k\cdot \int_a^b f(x)\, dx\) (\(k\) is any constant)
In words, this property says that multiplying an integrand by a constant \(k\) has the same result as multiplying the value of the definite integral by that constant.
Geometrically, multiplying a function by a positive constant \(k\) stretches the graph of \(y=f(x)\) by a factor of \(k\) in the vertical direction, which should multiply the area of the region between that graph and the \(x\)-axis by the same factor.
Thinking in terms of Riemann sums:\[\sum_{j=1}^{n}\, k\cdot f\left(c_j\right)\cdot\Delta x_j = k\cdot \sum_{j=1}^{n}\, f\left(c_j\right)\cdot\Delta x_j\nonumber\]so the limit of the sum on the left over all possible partitions \({\cal P}\), as \(\left\|{\cal P}\right\| \rightarrow 0\), is \(\displaystyle \int_a^b k\cdot f(x)\, dx\), while the corresponding limit of the sums on the right yields \(k\cdot \displaystyle \int_a^b f(x)\, dx\).
\(\displaystyle \int_a^b f(x)\, dx + \int_b^c f(x)\, dx \ = \ \int_a^c f(x)\, dx\)
This property is most easily understood (and believed) in terms of a picture:

We can also justify this property using Riemann sums by restricting our partitions to include the point \(x=b\) between \(x=a\) and \(x=c\) and then splitting that partition into two sub-partitions that partition \([a,b]\) and \([b,c]\), respectively.
This property remains true, however, even when \(b\geq c\) or \(b\leq a\).
Properties of Definite Integrals of Combinations of Functions
The next two properties relate the values of integrals of sums and differences of functions to the sums and differences of integrals of the individual functions. You will find these properties very useful when computing integrals of functions that involve the sum or difference of several terms (such as a polynomial): you can integrate each term and then add or subtract the individual results to get the answer. Both properties have natural interpretations as statements about areas.
\(\displaystyle \int_a^b \left[f(x)+g(x)\right]\, dx = \int_a^b f(x)\, dx \ + \ \int_a^b g(x)\, dx\)
(In words, this says “the integral of a sum is the sum of the integrals.”)
The following graph supplies a geometrical justification:

Using Riemann sums, we can write:\[\sum_{j=1}^{n}\, \left[ f \left(c_j\right)+ g\left(c_j\right)\right]\cdot\Delta x_j = \sum_{j=1}^{n}\, f\left(c_j\right)\cdot\Delta x_j \ + \ \sum_{j=1}^{n}\, g\left(c_j\right)\cdot\Delta x_j\nonumber\]and then take the limit on each side as \(\left\|{\cal P}\right\| \rightarrow 0\).
\(\displaystyle \int_a^b \left[f(x)-g(x)\right]\, dx = \int_a^b f(x)\, dx \ - \ \int_a^b g(x)\, dx\)
(In words, this says “the integral of a difference is the difference of the integrals.”)
The justification for this difference property is quite similar to the justification of the sum property. (Or we can combine the sum property with the constant-multiple property, setting \(k=-1\).)
Given that \(\displaystyle \int_1^4 f(x)\, dx = 7\) and that \(\displaystyle \int_1^4 g(x)\, dx = 3\), evaluate the definite integral \(\displaystyle \int_1^4 \left[f(x)-g(x)\right]\, dx\).
- Answer
-
\(\displaystyle \int_1^4 \left[f(x)-g(x)\right]\, dx = 7 - 3 = 4\)
If \(f(x) \leq g(x)\) for all \(x\) in \([a,b]\), then \(\displaystyle \int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx\)
Geometrically, the figure below illustrates that if \(f\) and \(g\) are both positive and that \(f(x) \leq g(x)\) on the interval \([a,b]\):

then the area of region between the graph of \(f\) and the \(x\)-axis is smaller than the area of region between the graph of \(g\) and the \(x\)-axis.
Similar sketches for the situations where \(f\) or \(g\) are sometimes or always negative illustrate that the property holds in other situations as well, but we can avoid all of those different cases using Riemann sums.
If we use the same partition \({\cal P}\) and chosen points \(c_j\) for Riemann sums for \(f\) and \(g\), then \(f\left(c_j\right) \leq g\left(c_j\right)\) for each \(j\), so:\[\sum_{j=1}^{n}\, f\left(c_j\right) \cdot\Delta x_j \leq \sum_{j=1}^{n}\, g\left(c_j\right)\cdot\Delta x_j\nonumber\]Taking the limit over all such partitions as the mesh of those partitions approaches \(0\), we get \(\displaystyle \int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx\).
You may have noticed that we haven’t called the justifications of these properties “proofs,” in part because we haven’t precisely defined what \(\displaystyle \lim_{\left\|{\cal P}\right\| \to 0}\) means, but also because of some other technical details left to more advanced textbooks.
If: \(m \leq f(x) \leq M\) for all \(x\) in \([a,b]\)
then: \(\displaystyle m\cdot(b-a) \leq \int_a^b f(x) \, dx \leq M\cdot(b-a)\)
This property follows easily from the previous one. First let \(g(x) = M\) so that \(f(x) \leq M = g(x)\) for all \(x\) in \([a,b]\), hence\[\int_a^b f(x)\, dx \leq \int_a^b M\, dx = M\cdot(b-a)\nonumber\](using one of our previous properties). Likewise, taking \(g(x) = m\) so that \(f(x) \geq m = g(x)\) for all \(x\) in \([a,b]\):\[\int_a^b f(x)\, dx \geq \int_a^b m\, dx = m\cdot(b-a)\nonumber\]
Geometrically, this says that if we can “trap” the output values of a function on the interval \([a,b]\) between two upper and lower bounds, \(m\) and \(M\), then the value of the definite integral must lie between the areas of the rectangles with heights \(m\) and \(M\).
If \(f\) is continuous on the closed interval \([a,b]\), then we know that \(f\) takes on a minimum value on that interval (call it \(m\)) and a maximum value (call it \(M\)), in which case this property just uses the lower and upper Riemann sums for the simplest possible partition of \([a,b]\):

Determine lower and upper bounds for the value of \(\displaystyle \int_1^5 f(x) \, dx\) with \(f(x)\) given graphically below:

Solution
If \(1 \leq x \leq 5\), then we can estimate (from the graph) that \(2 \leq f(x) \leq 9\) so a lower bound for \(\displaystyle \int_1^5 f(x) \, dx\)
is\[(b-a)\cdot\left(\mbox{minimum of }f\mbox{ on }[a,b]\right) = (4)(2) = 8\nonumber\]and an upper bound is:\[(b-a)\cdot\left(\mbox{maximum of }f\mbox{ on }[a,b]\right) = (4)(9) = 36\nonumber\]We can conclude that \(\displaystyle 8\leq \int_1^5 f(x) \, dx \leq 36\).
Knowing that the value of a definite integral is somewhere between \(8\) and \(36\) is not useful for finding its exact value, but the preceding estimation property is very easy to use and provides a “ballpark estimate” that will help you avoid reporting an unreasonable value.
Determine a lower bound and an upper bound for the value of \(\displaystyle \int_3^5 f(x) \, dx\) with \(f\) as in the previous Example.
- Answer
-
\(m = 2\) and \(M = 6\) so \(\displaystyle (2)(5-3) = 4 \leq \int_3^5 f(x)\, dx \leq 12 = (6)(5-3)\)
Functions Defined by Integrals
If one of the endpoints \(a\) or \(b\) of the interval \([a, b]\) changes, then the value of the integral \(\displaystyle \int_a^b f(t) \, dt\) typically changes. A definite integral of the form \(\displaystyle \int_a^x f(t) \, dt\) defines a function of \(x\) that possesses interesting and useful properties. The next examples illustrate one such property: the derivative of a function defined by an integral is closely related to the integrand, the function “inside” the integral.
For the function \(f(t) = 2\), define \(A(x)\) to be the area of the region bounded by \(f\), the \(t\)-axis, and vertical lines at \(t = 1\) and \(t = x\):

- Evaluate \(A(1)\), \(A(2)\), \(A(3)\) and \(A(4)\).
- Find an algebraic formula for \(A(x)\) valid for \(x \geq 1\).
- Calculate \(A'(x)\).
- Express \(A(x)\) as a definite integral.
Solution
- Referring to the graph above, we can see that \(A(1) = 0\), \(A(2) = 2\), \(A(3) = 4\) and \(A(4) = 6\).
- Using the same area idea to compute a more general area:\[A(x) = \mbox{area of a rectangle} = \left(\mbox{base}\right)\left(\mbox{height}\right) = (x - 1)( 2 ) = 2x - 2\nonumber\]
- \(\displaystyle A'(x) = \frac{d}{dx} \left( 2x - 2 \right) = 2\)
- \(\displaystyle A(x) = \int_1^{x} 2\, dt\)
Answer the questions in the previous Example for \(f(x) = 3\).
- Answer
-
- \(A(1) = 0\), \(A(2) = 3\), \(A(3) = 6\), \(A(4) = 9\)
- \(A(x) = (x - 1)(3) = 3x - 3\)
- \(A'(x) = 3\)
- \(\displaystyle A(x) = \int_1^{x} 3\, dt\)
For the function \(f(t) = 1+t\), define \(B(x)\) to be the area of the region bounded by the graph of \(f\), the \(t\)-axis, and vertical lines at \(t = 0\) and \(t = x\), as shown in the figure below:

- Evaluate \(B(0)\), \(B(1)\), \(B(2)\) and \(B(3)\).
- Find an algebraic formula for \(B(x)\) valid for \(x \geq 0\).
- Calculate \(B'(x)\).
- Express \(B(x)\) as a definite integral.
Solution
- From the graph, \(B(0) = 0\), \(B(1) = 1.5\), \(B(2) = 4\) and \(B(3) = 7.5\).
- Using the same area concept: \begin{align*}B(x) &= \mbox{area of trapezoid} = \left(\mbox{base}\right)\cdot\left(\mbox{average height}\right)\\ &= (x)\cdot \left(\frac{1+(1+x)}{2}\right) = x + \frac12 x^2 \end{align*}
- \(\displaystyle B'(x) = \frac{d}{dx} \left( x + \frac12 x^2 \right) = 1 + x\)
- \(\displaystyle B(x) = \int_0^{x} \left[1+t\right]\, dt\)
Answer the questions in the previous Example for \(f(t) = 2t\).
- Answer
-
- \(B(0) = 0\), \(B(1) = 1\), \(B(2) = 4\), \(B(3) = 9\)
- \(B(x) = \frac12(x)(2x) = x^2\)
- \(B'(x) = 2x\)
- \(\displaystyle B(x) = \int_0^{x} 2t\, dt\)
A curious “coincidence” appeared in each of these Examples and Practice problems: the derivative of the function defined by the integral was the same as the integrand, the function “inside” the integral. Stated another way, the function defined by the integral was an “antiderivative” of the function “inside” the integral. In Section 4.4 we will see that this “coincidence” is actually a property shared by all functions defined by an integral in this way. And it is such an important property that it is part of a result called the Fundamental Theorem of Calculus. Before we study the Fundamental Theorem of Calculus, however, we need to consider an “existence” question: Which functions can be integrated?
Which Functions Are Integrable?
This important question was finally answered in the 1850s by Bernhard Riemann, a name that should be familiar to you by now. Riemann proved that a function must be badly discontinuous in order to not be integrable.
Every continuous function is integrable.
Due to our inexact definition of the limit involved in the definition of the definite integral, we defer a proof of this theorem to more advanced textbooks.
This result says that if \(f\) is continuous on the interval \([a,b]\), then \(\displaystyle \sum_{k=1}^{n}\, f\left(c_k\right)\cdot\Delta x_k\) approaches the same finite number, \(\displaystyle \int_a^b f(x)\, dx\), as \(\left\|{\cal P}\right\| \rightarrow 0\), no matter how we choose the partitions \({\cal P}\).
In fact, we can generalize this result to functions that have a finite number of breaks or jumps, as long as the function is bounded:
If: \(f\) is defined on an interval \([a,b]\) and bounded (\(\left|f(x)\right| \leq M\) for some number \(M\) for all \(x\) in \([a,b]\))
and: continuous except at a finite number of points in \([a,b]\)
then & \(f\) is integrable on \([a,b]\).
The function \(f\) graphed below is always between \(-3\) and \(3\) (in fact, always between \(-1\) and \(3\)), so it is bounded, and it is continuous except at \(x=1\) and \(x=3\):
![A graph of the piecewise-linear red function y=f(x) on a [0,5]X[-1,3] grid. The curve starts with a closed dot at (0,1) and rises to an open dot at (1,1), with a close dot above it at (1,2) and an open dot about that at (1,2), which begins a line segment leading to a closed dot at (3,3). A final line segment connects an open dot at (3,2) with a closed dot at ((5,0).](https://math.libretexts.org/@api/deki/files/140634/fig403_9.png?revision=1&size=bestfit&width=319&height=289)
As long as the values of \(f(1)\) and \(f(3)\) are finite numbers, their actual values will not affect the value of the definite integral, and we can compute the value of the integral by computing the areas of the (triangular and rectangular) regions between the graph of \(f\) and the \(x\)-axis:\[\int_0^5 f(x)\, dx \ = \ \int_0^1 f(x)\, dx \ + \ \int_1^3 f(x)\, dx \ + \ \int_3^5 f(x)\, dx \ = \ 0 + 6 + 2 = 8\nonumber\]
Evaluate \(\displaystyle \int_{1.5}^{3.2} \lfloor x\rfloor\, dx\):
![A graph of the piecewise-linear red function y=INT(x) on a [0,4.5]X[-0.5,3.5] grid, consisting of horizontal line segments beginning with a closed dot and ending with an open dot. The first runs from (0,0) to (1,0), the second from (1,1) to (2,1), and so on. Vertical dashed-black half-lines rise from (1,0), (2,0), (,0) and (4,0). Three yellow-shaded rectangles rise from the horizontal axis to the red curve between x = 1.5 and x = 3.2.](https://math.libretexts.org/@api/deki/files/140640/fig403_10.png?revision=1&size=bestfit&width=330&height=279)
- Answer
-
\((0.5)(1) + (1)(2) + (0.2)(3) = 3.1\)
The figure below depicts graphically the relationships between differentiable, continuous and integrable functions:

- Every differentiable function is continuous, but there are continuous functions that are not differentiable: a simple example of the latter is \(f(x) = \left| x \right|\), which is continuous but not differentiable at \(x = 0\).
- Every continuous function is integrable, but there are integrable functions that are not continuous: a simple example of the latter situation is the function \(f(x)\) graphed in the margin, which is integrable on \([0, 5]\) but discontinuous at \(x=2\) and \(x=3\).
- Finally, as demonstrated by the next example, there are functions that are not integrable.
A Non-integrable Function
If \(f\) is continuous or piecewise continuous on \([a,b]\), then \(f\) is integrable on \([a,b]\). Fortunately, nearly all of the functions we will use throughout the rest of this book are integrable, as are the functions you are likely to need for common applications.
There are functions, however, for which the limit of the Riemann sums does not exist and hence, by definition, are not integrable. Recall the “holey” function from Section 0.4:
The function \(h(x) = \left\{
\begin{array}{rl}
{ 2 } & { \mbox{if } x \mbox{ is a rational number} }\\
{ 1 } & { \mbox{if } x \mbox{ is an irrational number} } \end{array}\right.\) is not integrable on \([0,3]\).

Proof
For any partition \({\cal P}\) of \([0,3]\), suppose that you, a very rational person, always choose values of \(c_k\) that are rational numbers. (Any open interval on the real-number line contains rational numbers and irrational numbers, so for each subinterval of the partition \({\cal P}\) you can always choose \(c_k\) to be a rational number.)
Then \(h\left(c_k\right) = 2\), so for your Riemann sum:\[\mbox{YS}_{\cal P} = \sum_{k=1}^{n}\, h\left(c_k\right)\cdot\Delta x_k = \sum_{k=1}^{n}\, 2\cdot\Delta x_k = 2\cdot \sum_{k=1}^{n}\, \Delta x_k = 2\cdot (3-0) = 6\nonumber\]
Suppose your friend, however, always selects values of \(c_k\) that are irrational numbers. Then \(h\left(c_k\right) = 1\) for each \(c_k\), so for your friend's Riemann sum:\[\mbox{FS}_{\cal P} = \sum_{k=1}^{n}\, h\left(c_k\right)\cdot\Delta x_k = \sum_{k=1}^{n}\, 1\cdot\Delta x_k = 1\cdot \sum_{k=1}^{n}\, \Delta x_k = 1\cdot (3-0) = 3\nonumber\]So the limit of your Riemann sums, as the mesh of \({\cal P}\) approaches \(0\), will be \(6\), while the limit of your friend's sums will be \(3\). This means that \(\displaystyle \lim_{\left\|{\cal P}\right\| \to 0}\, \left( \sum_{k=1}^{n}\, h\left(c_k\right)\cdot\Delta x_k\right)\) does not exist (because there is no single limiting value of the Riemann sums as \(\left\|{\cal P}\right\| \rightarrow 0\)) so \(h(x)\) is not integrable on \([0,3]\).
A similar argument shows that \(h(x)\) is not integrable on any interval of the form \([a,b]\) (where \(a< b\)).
Problems
In Problems 1–20, refer to the graph of \(f\) given below:

to determine the value of each definite integral.
- \(\displaystyle \int_0^3 f(x)\, dx\)
- \(\displaystyle \int_3^5 f(x)\, dx\)
- \(\displaystyle \int_2^2 f(x)\, dx\)
- \(\displaystyle \int_6^7 f(w)\, dw\)
- \(\displaystyle \int_0^5 f(x)\, dx\)
- \(\displaystyle \int_0^7 f(x)\, dx\)
- \(\displaystyle \int_3^6 f(t)\, dt\)
- \(\displaystyle \int_5^7 f(x)\, dx\)
- \(\displaystyle \int_3^0 f(x)\, dx\)
- \(\displaystyle \int_5^3 f(x)\, dx\)
- \(\displaystyle \int_6^0 f(x)\, dx\)
- \(\displaystyle \int_0^3 2\cdot f(x)\, dx\)
- \(\displaystyle \int_4^4 f^2(s)\, ds\)
- \(\displaystyle \int_0^3 \left[1+ f(x)\right]\, dx\)
- \(\displaystyle \int_0^3 \left[x+ f(x)\right]\, dx\)
- \(\displaystyle \int_3^5 \left[3+ f(x)\right]\, dx\)
- \(\displaystyle \int_0^5 \left[2+ f(x)\right]\, dx\)
- \(\displaystyle \int_3^5 \left|f(x)\right| \, dx\)
- \(\displaystyle \int_0^5 \left|f(x)\right| \, dx\)
- \(\displaystyle \int_7^3 \left[1+\left|f(x)\right|\right] \, dx\)
Problems 21–30 refer to the graph of \(g\) given below:

Use the graph to evaluate each integral.
- \(\displaystyle \int_0^2 g(x)\, dx\)
- \(\displaystyle \int_1^3 g(t)\, dt\)
- \(\displaystyle \int_0^5 g(x)\, dx\)
- \(\displaystyle \int_4^2 g(x) \, dx\)
- \(\displaystyle \int_0^8 g(s)\, ds\)
- \(\displaystyle \int_1^4 \left|g(x)\right|\, dx\)
- \(\displaystyle \int_0^3 2\cdot g(t)\, dt\)
- \(\displaystyle \int_5^8 \left[1+g(x)\right]\, dx\)
- \(\displaystyle \int_6^3 g(u)\, du\)
- \(\displaystyle \int_0^8 \left[t+g(t)\right]\, dt\)
For Problems 31–34 , use the constant functions \(f(x) = 4\) and \(g(x) = 3\) on the interval \([0,2]\). Calculate the value of each integral and verify that the value obtained in part (a) is not equal to the value in part (b).
-
- \(\displaystyle \int_0^2 f(x)\, dx \cdot \int_0^2 g(x)\, dx\)
- \(\displaystyle \int_0^2 f(x)\cdot g(x) \, dx\)
-
- \(\displaystyle \frac{\int_0^2 f(x)\, dx}{\int_0^2 g(x)\, dx}\)
- \(\displaystyle \int_0^2 \frac{f(x)}{g(x)} \, dx\)
-
- \(\displaystyle \int_0^2 \left[f(x)\right]^2 \, dx\)
- \(\displaystyle \left(\int_0^2 f(x)\, dx\right)^2\)
-
- \(\displaystyle \int_0^2 \sqrt{f(x)} \, dx\)
- \(\displaystyle \sqrt{\int_0^2 f(x)\, dx}\)
For Problems 35–42, sketch a graph of the integrand function and use it to help evaluate the integral.
- \(\displaystyle \int_0^4 \left|x\right|\, dx\)
- \(\displaystyle \int_0^4 \left[1+\left|t\right|\right]\, dt\)
- \(\displaystyle \int_{-1}^2 \left|x\right|\, dx\)
- \(\displaystyle \int_0^2 \left[\left|x\right|-1\right]\, dx\)
- \(\displaystyle \int_1^3 \lfloor u \rfloor \, du\)
- \(\displaystyle \int_1^{3.5} \lfloor x \rfloor \, dx\)
- \(\displaystyle \int_1^3 \left[2+\lfloor t \rfloor\right] \, dt\)
- \(\displaystyle \int_3^1 \lfloor x \rfloor \, dx\)
For Problems 43–46, sketch (a) a graph of \(\displaystyle y = A(x) = \int_0^{x} f(t)\, dt\) and (b) a graph of \(y = A'(x)\).
- \(\displaystyle f(x) = x\)
- \(\displaystyle f(x) = x - 2\)


For Problems 47–50, state whether or not each function is:
- continuous on \([1,4]\)
- differentiable on \([1,4]\)
- integrable on \([1,4]\)
- \(f(x)\) from Problem 45.
- \(f(x)\) from Problem 46.


- The figure below shows the velocity of a car:

Write the total distance traveled by the car between 1:00 p.m. and 4:00 p.m. as a definite integral and estimate the value of that integral. - Write the total distance traveled by the car in the previous problem between 3:00 p.m. and 6:00 p.m. as a definite integral and estimate the value of that integral.
- Define \(g(x) = 7\) for \(x \neq 2\) and \(g(2) = 5\).
- Show that the Riemann sum for \(g(x)\) for any partition \({\cal P}\) of the interval \([1,4]\) is equal to \(5w + 7(3-w)\), where \(w\) is the width of the subinterval that includes \(x=2\).
- Compute the limit of these sums, as \(\left\|{\cal P}\right\|\rightarrow 0\)
- Compare the values of \(\int_1^4 g(x)\, dx\) and \(\int_1^4 7\, dx\).
- What can you conclude about how changing the value of an integrable function at a single point affects the value of its definite integral?

