Skip to main content
Mathematics LibreTexts

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\):

    Graph of a red curve y=f(x) with positive values and a black vertical line segment extending from the point (a,0) up to the red curve.

    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\):

    A graph of the red horizontal line y=k in the first quadrant, along with vertical black line segments extending from (a,0) and (b,0) from the horizontal axis to the red curve. The region enclosed by the red curve, black line segments and horizontal axis is shaded yellow.

    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:

    A graph of a red curve y=f(x) in the first quadrant, along with vertical black line segments extending from (a,0), (b,0) and (c,0) from the horizontal axis to the red curve, where a < b < c. The region enclosed by the red curve, the two leftmost black line segments and the horizontal axis is shaded cyan while the other enclosed region on the right is shaded yellow.

    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:

    Three graphs arrayed from left to right, with an = sign between the first two and a + sign between the second and third. Dashed-black vertical half-lines extend upward from (a,0) and (b,0), with a < b. The first graph shows three linear functions above the horizontal axis between a and b: f is increasing and blue, g decreasing and red, and f+g is black and increasing, with the region below f+g, between the dashed half-lines above the horizontal axis shaded yellow. The middle graph is of f along, with the region below is, between the dashed lines and above the horizontal axis shaded cyan. The third is the same as the second, except g is on top in place of f.

    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\).)

    Practice \(\PageIndex{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]\):

    A graph of two functions, red f and blue g, above the horizontal axis between dashed-black vertical half-lines that extend upward from (a,0) and (b,0), with a < b. The region between g and the horizontal axis (and between the dashed lines) is indicated with a blue hashed pattern, while the similar region below f is shaded pink.

    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\).

    Note

    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]\):

    Three versions of a graph of a red curve y=f(x) above the horizontal axis, with vertical dashed-black lines extending upward at x=a and x=b. The leftmost graph includes a cyan-colored rectangle between these dashed lines with height 'min of f' with its top side just touching the lowest point on the red curve. In the rightmost graph, the rectangle has height 'max of f' with its top side just touching the highest point on the red curve. The middle graph has the region below the red curve, above the horizontal axis and between the dashed lines shaded cyan. Three arrows each point to one of the regions with a a label. The first is '{min of f}(b-a),' which is less than or equal to the second. The second is the integral of f(x) dx from a to b, which is less than the third, '{max of f}(b-a).'

    Example \(\PageIndex{1}\)

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

    A wavy blue curve y=f(x) starts at (1,6), rises to (2,), descends to (4,2) and rises to (5,4).

    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.

    Practice \(\PageIndex{2}\)

    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.

    Example \(\PageIndex{2}\)

    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\):

    A graph of the red horizontal line f(t) in the first quadrant, with black line segments extending from (1,0) and (x,0) up to the red line. The horizontal axis is marked as the t=axis. The region below the red line, above the t-axis and between the black line segments is shaded yellow. An arrow points to the yellow region with the label 'A(x).'

    1. Evaluate \(A(1)\), \(A(2)\), \(A(3)\) and \(A(4)\).
    2. Find an algebraic formula for \(A(x)\) valid for \(x \geq 1\).
    3. Calculate \(A'(x)\).
    4. Express \(A(x)\) as a definite integral.
    Solution
    1. Referring to the graph above, we can see that \(A(1) = 0\), \(A(2) = 2\), \(A(3) = 4\) and \(A(4) = 6\).
    2. 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\]
    3. \(\displaystyle A'(x) = \frac{d}{dx} \left( 2x - 2 \right) = 2\)
    4. \(\displaystyle A(x) = \int_1^{x} 2\, dt\)
    Practice \(\PageIndex{3}\)

    Answer the questions in the previous Example for \(f(x) = 3\).

    Answer
    1. \(A(1) = 0\), \(A(2) = 3\), \(A(3) = 6\), \(A(4) = 9\)
    2. \(A(x) = (x - 1)(3) = 3x - 3\)
    3. \(A'(x) = 3\)
    4. \(\displaystyle A(x) = \int_1^{x} 3\, dt\)
    Example \(\PageIndex{3}\)

    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:

    A graph of the red line f(t) = t+1 in the first quadrant, with black line segments extending from (0,0) and (x,0) up to the red line. The horizontal axis is marked as the t=axis. The region below the red line, above the t-axis and between the black line segments is shaded cyan. An arrow points to the cyan region with the label 'B(x).'

    1. Evaluate \(B(0)\), \(B(1)\), \(B(2)\) and \(B(3)\).
    2. Find an algebraic formula for \(B(x)\) valid for \(x \geq 0\).
    3. Calculate \(B'(x)\).
    4. Express \(B(x)\) as a definite integral.
    Solution
    1. From the graph, \(B(0) = 0\), \(B(1) = 1.5\), \(B(2) = 4\) and \(B(3) = 7.5\).
    2. 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*}
    3.  \(\displaystyle B'(x) = \frac{d}{dx} \left( x + \frac12 x^2 \right) = 1 + x\)
    4. \(\displaystyle B(x) = \int_0^{x} \left[1+t\right]\, dt\)
    Practice \(\PageIndex{4}\)

    Answer the questions in the previous Example for \(f(t) = 2t\).

    Answer
    1. \(B(0) = 0\), \(B(1) = 1\), \(B(2) = 4\), \(B(3) = 9\)
    2. \(B(x) = \frac12(x)(2x) = x^2\)
    3. \(B'(x) = 2x\)
    4. \(\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. 

    Theorem

    Every continuous function is integrable.

    Note

    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: 

    Theorem

    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).

    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\]

    Practice \(\PageIndex{5}\)

    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.

    Answer

    \((0.5)(1) + (1)(2) + (0.2)(3) = 3.1\)

    The figure below depicts graphically the relationships between differentiable, continuous and integrable functions: 

    Three concentric blobs. The innermost is shaded olive green and labeled 'differentiable,' the middle blob shaded light green and labeled 'continuous,' and the outermost shaded yellow and labeled 'integrable.' An arrow points to a dot in the yellow region with the label 'integrable, not continuous, not differentiable, Example: y=INT(x).' Another arrow points to a dot in the light-green region and is labeled 'integrable, continuous, not differentiable, Example: y=|x|.'

    • 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]\).

    A graph used to illustrate a piecewise function that distinguishes between rational and irrational numbers. The graph shows a dashed red line at y=2 and a dashed blue line at y=1. Plotted points corresponding to rational x-values (like 1/2, 1, 2, 7/3, 3, 4) are on the dashed red line at y=2. Plotted points corresponding to irrational x-values (like square root of 2, pi) are on the dashed blue line at y=1. The note states: "(not to scale: each dash is just a point)."

    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:

    A wavy red curve y=f(x) rising from (0,0) to peaks and valleys above the horizontal axis, then descending through (3,0) to take on negative values before rising again through (5,0) to reach a peak, then descedning through (6,0) to a negative low point and rising again to (7,0). The bounded regions between the red curve and the horizontal axis are shaded cyan. An different arrow points to each of the four regions with the labels (from left to right) 5, 2, 2 and 1. A caption reads 'areas.'

    to determine the value of each definite integral.

    1. \(\displaystyle \int_0^3 f(x)\, dx\)
    2. \(\displaystyle \int_3^5 f(x)\, dx\)
    3. \(\displaystyle \int_2^2 f(x)\, dx\)
    4. \(\displaystyle \int_6^7 f(w)\, dw\)
    5. \(\displaystyle \int_0^5 f(x)\, dx\)
    6. \(\displaystyle \int_0^7 f(x)\, dx\)
    7. \(\displaystyle \int_3^6 f(t)\, dt\)
    8. \(\displaystyle \int_5^7 f(x)\, dx\)
    9. \(\displaystyle \int_3^0 f(x)\, dx\)
    10. \(\displaystyle \int_5^3 f(x)\, dx\)
    11. \(\displaystyle \int_6^0 f(x)\, dx\)
    12. \(\displaystyle \int_0^3 2\cdot f(x)\, dx\)
    13. \(\displaystyle \int_4^4 f^2(s)\, ds\)
    14. \(\displaystyle \int_0^3 \left[1+ f(x)\right]\, dx\)
    15. \(\displaystyle \int_0^3 \left[x+ f(x)\right]\, dx\)
    16. \(\displaystyle \int_3^5 \left[3+ f(x)\right]\, dx\)
    17. \(\displaystyle \int_0^5 \left[2+ f(x)\right]\, dx\)
    18. \(\displaystyle \int_3^5 \left|f(x)\right| \, dx\)
    19. \(\displaystyle \int_0^5 \left|f(x)\right| \, dx\)
    20. \(\displaystyle \int_7^3 \left[1+\left|f(x)\right|\right] \, dx\)

    Problems 21–30 refer to the graph of \(g\) given below:

    A blue piecewise-linear function y=g(x) rises from (0,0) to (1,1), then falls to (3,-1), moves horizontally to (4,-1), rises to (7,2) and falls to (8,0). Dashed-black line segments extend from (0,2) to (7,2) and from (7,0) to (7,2).

    Use the graph to evaluate each integral.

    1. \(\displaystyle \int_0^2 g(x)\, dx\)
    2. \(\displaystyle \int_1^3 g(t)\, dt\)
    3. \(\displaystyle \int_0^5 g(x)\, dx\)
    4. \(\displaystyle \int_4^2 g(x) \, dx\)
    5. \(\displaystyle \int_0^8 g(s)\, ds\)
    6. \(\displaystyle \int_1^4 \left|g(x)\right|\, dx\)
    7. \(\displaystyle \int_0^3 2\cdot g(t)\, dt\)
    8. \(\displaystyle \int_5^8 \left[1+g(x)\right]\, dx\)
    9. \(\displaystyle \int_6^3 g(u)\, du\)
    10. \(\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).

      1. \(\displaystyle \int_0^2 f(x)\, dx \cdot \int_0^2 g(x)\, dx\)
      2. \(\displaystyle \int_0^2 f(x)\cdot g(x) \, dx\)
      1. \(\displaystyle \frac{\int_0^2 f(x)\, dx}{\int_0^2 g(x)\, dx}\)
      2. \(\displaystyle \int_0^2 \frac{f(x)}{g(x)} \, dx\)
      1. \(\displaystyle \int_0^2 \left[f(x)\right]^2 \, dx\)
      2. \(\displaystyle \left(\int_0^2 f(x)\, dx\right)^2\)
      1. \(\displaystyle \int_0^2 \sqrt{f(x)} \, dx\)
      2. \(\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.

    1. \(\displaystyle \int_0^4 \left|x\right|\, dx\)
    2. \(\displaystyle \int_0^4 \left[1+\left|t\right|\right]\, dt\)
    3. \(\displaystyle \int_{-1}^2 \left|x\right|\, dx\)
    4. \(\displaystyle \int_0^2 \left[\left|x\right|-1\right]\, dx\)
    5. \(\displaystyle \int_1^3 \lfloor u \rfloor \, du\)
    6. \(\displaystyle \int_1^{3.5} \lfloor x \rfloor \, dx\)
    7. \(\displaystyle \int_1^3 \left[2+\lfloor t \rfloor\right] \, dt\)
    8. \(\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)\).

    1. \(\displaystyle f(x) = x\)
    2. \(\displaystyle f(x) = x - 2\)
    3. A red, piecewise-linear curve rises with a shallow slope from (0,0) to a cusp at x=2.6, then falls sharply through (3,0) to a low point at x = 3.4, then rises slightly less sharply through (4,0).
    4. A blue curve starts as a horizontal line segment in the first quadrant, ending at an open dot at x = 2. Above this is a closed dot, from which the curve rises in an inverted-U shape to a peak near x = 2.6 before falling through an inflection point near x = 3.2 and then approaching the horizontal axis as it passes x = 4.

    For Problems 47–50, state whether or not each function is:

    1. continuous on \([1,4]\)
    2. differentiable on \([1,4]\)
    3. integrable on \([1,4]\)
    1. \(f(x)\) from Problem 45.
    2. \(f(x)\) from Problem 46.
    3. A red curve in the first quadrant rises in roughly linear form through x = 1 before curving upward to a close dot at x = 2. It continues from an open dot below that as a line segment to an open dot at x = 3, then continues from a close dot below that as an increasing, U-shaped curve past x = 4.
    4. A squiggly blue curve graphed from x = 0.5 to x = 4.5. It rises froma positive value to a pek nar x = 0.9, falls to a positive low point near x = 1.4, rises to a peak near x = 2.2, falls through (2.6,0) to a negative low point near x = 3.2, rises sharply through (3.6,0) to a peak near x = 4, and then begins to descend.
    5. The figure below shows the velocity of a car:
      A piecewise-linear red graph rises from (1,30) to (2,40), falls from (2,40) to (4,10), and rises from (4,10) to (6,40). The horizontal axis has label 'time' with tick marks at '1 pm,' 2, 3, 4, 5 and 6. The vertical axis has label 'velocity (miles/hour).'
      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.
    6. 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.
    7. Define \(g(x) = 7\) for \(x \neq 2\) and \(g(2) = 5\).
      1. 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\).
      2. Compute the limit of these sums, as \(\left\|{\cal P}\right\|\rightarrow 0\)
      3. Compare the values of \(\int_1^4 g(x)\, dx\) and \(\int_1^4 7\, dx\).
      4. What can you conclude about how changing the value of an integrable function at a single point affects the value of its definite integral?

    4.3: Properties of the Definite Integral is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?