Skip to main content
Mathematics LibreTexts

1.4: Integration Formulas and the Net Change Theorem

  • Page ID
    130055
    • Gilbert Strang & Edwin “Jed” Herman
    • OpenStax

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \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{\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}\)
    Learning Objectives
    • Apply the basic integration formulas.
    • Explain the significance of the net change theorem.
    • Use the net change theorem to solve applied problems.
    • Apply the integrals of odd and even functions.

    In this section, we use some basic integration formulas studied previously to solve some key applied problems. It is important to note that these formulas are presented in terms of indefinite integrals. Although definite and indefinite integrals are closely related, there are some key differences to keep in mind. A definite integral is either a number (when the limits of integration are constants) or a single function (when one or both of the limits of integration are variables). An indefinite integral represents a family of functions, all of which differ by a constant. As you become more familiar with integration, you will get a feel for when to use definite integrals and when to use indefinite integrals. You will naturally select the correct approach for a given problem without thinking too much about it. However, until these concepts are cemented in your mind, think carefully about whether you need a definite integral or an indefinite integral and make sure you are using the proper notation based on your choice.

    Basic Integration Formulas

    Recall the integration formulas given in the section on Antiderivatives and the properties of definite integrals. Let’s look at a few examples of how to apply these formulas and properties.

    Example \(\PageIndex{1}\): Integrating a Function Using the Power Rule

    Use the power rule to integrate the function \( \displaystyle ∫^4_1\sqrt{t}(1+t)\,dt\).

    Solution

    The first step is to rewrite the function and simplify it so we can apply the power rule:

    \[ \begin{align*} ∫^4_1\sqrt{t}(1+t)\,dt &=∫^4_1t^{1/2}(1+t)\,dt \\[4pt] &=∫^4_1(t^{1/2}+t^{3/2})\,dt. \end{align*}\]

    Now apply the power rule:

    \[ \begin{align*} ∫^4_1(t^{1/2}+t^{3/2})\,dt &= \left . \left(\frac{2}{3}t^{3/2}+\frac{2}{5}t^{5/2}\right) \right|^4_1 \\[4pt] &= \left[\frac{2}{3}(4)^{3/2}+\frac{2}{5}(4)^{5/2} \right]− \left[\frac{2}{3}(1)^{3/2}+\frac{2}{5}(1)^{5/2}\right] \\[4pt] &=\frac{256}{15}. \end{align*}\]

    Exercise \(\PageIndex{1}\)

    Find the definite integral of \( f(x)=x^2−3x\) over the interval \([1,3].\)

    Hint

    Follow the process from Example \(\PageIndex{1}\) to solve the problem.

    Answer

    \[ \int_1^3 \left(x^2 - 3x\right) \, dx = −\frac{10}{3} \nonumber \]

    The Net Change Theorem

    The net change theorem considers the integral of a rate of change. It says that when a quantity changes, the new value equals the initial value plus the integral of the rate of change of that quantity. The formula can be expressed in two ways. The second is more familiar; it is simply the definite integral.

    Net Change Theorem

    The new value of a changing quantity equals the initial value plus the integral of the rate of change:

    \[F(b)=F(a)+∫^b_aF'(x)dx \label{Net1} \]

    or

    \[∫^b_aF'(x)dx=F(b)−F(a). \label{Net2} \]

    Subtracting \(F(a)\) from both sides of the Equation \ref{Net1} yields Equation \ref{Net2}. Since they are equivalent formulas, which one we use depends on the application.

    The significance of the net change theorem lies in the results. Net change can be applied to area, distance, and volume, to name only a few applications. Net change accounts for negative quantities automatically without having to write more than one integral. To illustrate, let’s apply the net change theorem to a velocity function in which the result is displacement.

    We looked at a simple example of this in The Definite Integral section. Suppose a car is moving due north (the positive direction) at 40 mph between 2 p.m. and 4 p.m., then the car moves south at 30 mph between 4 p.m. and 5 p.m. We can graph this motion as shown in Figure \(\PageIndex{1}\).

    A graph with the x axis marked as t and the y axis marked normally. The lines y=40 and y=-30 are drawn over [2,4] and [4,5], respectively.The areas between the lines and the x axis are shaded.
    Figure \(\PageIndex{1}\): The graph shows speed versus time for the given motion of a car.

    Just as we did before, we can use definite integrals to calculate the net displacement as well as the total distance traveled. The net displacement is given by

    \[ ∫^5_2v(t)\,dt=∫^4_240\,dt+∫^5_4−30\,dt=80−30=50. \nonumber \]

    Thus, at 5 p.m. the car is 50 mi north of its starting position. The total distance traveled is given by

    \[ ∫^5_2|v(t)|\,dt=∫^4_240\,dt+∫^5_430\,dt=80+30=110. \nonumber \]

    Therefore, between 2 p.m. and 5 p.m., the car traveled a total of 110 mi.

    To summarize, net displacement may include both positive and negative values. In other words, the velocity function accounts for both forward distance and backward distance. To find net displacement, integrate the velocity function over the interval. Total distance traveled, on the other hand, is always positive. To find the total distance traveled by an object, regardless of direction, we need to integrate the absolute value of the velocity function.

    Example \(\PageIndex{2}\): Finding Net Displacement

    Given a velocity function \(v(t)=3t−5\) (in meters per second) for a particle in motion from time \(t=0\) to time \(t=3,\) find the net displacement of the particle.

    Solution

    Applying the net change theorem, we have

    \[ ∫^3_0(3t−5)\,dt=\left(\frac{3t^2}{2}−5t\right)\bigg|^3_0=\left[\frac{3(3)^2}{2}−5(3)\right]−0=\frac{27}{2}−15=\frac{27}{2}−\frac{30}{2}=−\frac{3}{2}. \nonumber \]

    The net displacement is \( −\frac{3}{2}\) m (Figure \(\PageIndex{2}\)).

    A graph of the line v(t) = 3t – 5, which goes through points (0, -5) and (5/3, 0). The area over the line and under the x axis in the interval [0, 5/3] is shaded. The area under the line and above the x axis in the interval [5/3, 3] is shaded.
    Figure \(\PageIndex{2}\): The graph shows velocity versus time for a particle moving with a linear velocity function.
    Example \(\PageIndex{3}\): Finding the Total Distance Traveled

    Use Example \(\PageIndex{2}\) to find the total distance traveled by a particle according to the velocity function \(v(t)=3t−5\) m/sec over a time interval \([0,3].\)

    Solution

    The total distance traveled includes both the positive and the negative values. Therefore, we must integrate the absolute value of the velocity function to find the total distance traveled.

    To continue with the example, use two integrals to find the total distance. First, find the \(t\)-intercept of the function, since that is where the division of the interval occurs. Set the equation equal to zero and solve for \(t\). Thus,

    \[ \begin{align*} 3t−5 &=0 \\[4pt] 3t &=5 \\[4pt] t &=\frac{5}{3}. \end{align*}\]

    The two subintervals are \( \left[0,\frac{5}{3}\right]\) and \( \left[\frac{5}{3},3\right]\). To find the total distance traveled, integrate the absolute value of the function. Since the function is negative over the interval \(\left[0,\frac{5}{3}\right]\), we have \(\big|v(t)\big|=−v(t)\) over that interval. Over \(\left[ \frac{5}{3},3\right]\), the function is positive, so \(\big|v(t)\big|=v(t)\). Thus, we have

    \[ \begin{align*} ∫^3_0|v(t)|\,dt &=∫^{5/3}_0−v(t)\,dt+∫^3_{5/3}v(t)\,dt \\[4pt]
    &=∫^{5/3}_0 5−3t\,dt+∫^3_{5/3} 3t−5\,dt \\[4pt]
    &=\left(5t−\frac{3t^2}{2}\right)\bigg|^{5/3}_0+\left(\frac{3t^2}{2}−5t\right)\bigg|^3_{5/3} \\[4pt]
    &=\left[5(\frac{5}{3})−\frac{3(5/3)^2}{2}\right]−0+\left[\frac{27}{2}−15\right]−\left[\frac{3(5/3)^2}{2}−\frac{25}{3}\right] \\[4pt]
    &=\frac{25}{3}−\frac{25}{6}+\frac{27}{2}−15−\frac{25}{6}+\frac{25}{3} \\[4pt]
    &=\frac{41}{6} \end{align*}\]

    So, the total distance traveled is \( \frac{41}{6}\) m.

    Exercise \(\PageIndex{2}\)

    Find the net displacement and total distance traveled in meters given the velocity function \(f(t)=\frac{1}{2}e^t−2\) over the interval \([0,2]\).

    Hint

    Follow the procedures from Examples \(\PageIndex{2}\) and \(\PageIndex{3}\). Note that \(f(t)≤0\) for \(t≤\ln 4\) and \(f(t)≥0\) for \(t≥\ln 4\).

    Answer

    Net displacement: \( \frac{e^2−9}{2}≈−0.8055\) m; total distance traveled: \( 4\ln 4−7.5+\frac{e^2}{2}≈1.740\) m.

    Applying the Net Change Theorem

    The net change theorem can be applied to the flow and consumption of fluids, as shown in Example \(\PageIndex{4}\).

    Example \(\PageIndex{4}\): How Many Gallons of Gasoline Are Consumed?

    If the motor on a motorboat is started at \(t=0\) and the boat consumes gasoline at the rate of \(5−t^3\) gal/hr, how much gasoline is used in the first \(2\) hours?

    Solution

    Express the problem as a definite integral, integrate, and evaluate using the Fundamental Theorem of Calculus. The limits of integration are the endpoints of the interval [0,2]. We have

    \[ \begin{align*} ∫^2_0\left(5−t^3\right)\,dt &=\left(5t−\frac{t^4}{4}\right)∣^2_0 \\[4pt] &=\left[5(2)−\frac{(2)^4}{4}\right]−0 \\[4pt] &=10−\frac{16}{4} \\[4pt] &=6. \end{align*} \nonumber \]

    Thus, the motorboat uses \(6\) gal of gas in \(2\) hours.

    Example \(\PageIndex{5}\): Chapter Opener: Iceboats

    As we saw at the beginning of the chapter, top iceboat racers can attain speeds of up to five times the wind speed. Andrew is an intermediate iceboater, though, so he attains speeds equal to only twice the wind speed.

    An image of an iceboat in action.
    Figure \(\PageIndex{3}\): (credit: modification of work by Carter Brown, Flickr)

    Suppose Andrew takes his iceboat out one morning when a light \(5\)-mph breeze has been blowing all morning. As Andrew gets his iceboat set up, though, the wind begins to pick up. During his first half hour of iceboating, the wind speed increases according to the function \(v(t)=20t+5.\) For the second half hour of Andrew’s outing, the wind remains steady at \(15\) mph. In other words, the wind speed is given by

    \[ v(t)=\begin{cases}20t+5, & \text{for } 0≤t≤\frac{1}{2}\\15, & \text{for } \frac{1}{2}≤t≤1\end{cases} \nonumber \]

    Recalling that Andrew’s iceboat travels at twice the wind speed, and assuming he moves in a straight line away from his starting point, how far is Andrew from his starting point after \(1\) hour?

    Solution

    To figure out how far Andrew has traveled, we need to integrate his velocity, which is twice the wind speed. Then

    \[\text{Distance} = ∫^1_02v(t)\,dt. \nonumber \]

    Substituting the expressions we were given for \(v(t)\), we get

    \[ \begin{align*} ∫^1_02v(t)\,dt &=∫^{1/2}_02v(t)\,dt+∫^1_{1/2}2v(t)\,dt \\[4pt]
    &=∫^{1/2}_02(20t+5)\,dt+∫^1_{1/3}2(15)\,dt \\[4pt]
    &=∫^{1/2}_0(40t+10)\,dt+∫^1_{1/2}30\,dt \\[4pt]
    &=\big[20t^2+10t\big]\bigg|^{1/2}_0+\big[30t\big]\bigg|^1_{1/2} \\[4pt]
    &=\left(\frac{20}{4}+5\right)−0+(30−15) \\[4pt]
    &=25. \end{align*}\]

    Andrew is 25 mi from his starting point after 1 hour.

    Exercise \(\PageIndex{3}\)

    Suppose that, instead of remaining steady during the second half hour of Andrew’s outing, the wind starts to die down according to the function \(v(t)=−10t+15.\) In other words, the wind speed is given by

    \[ v(t)=\begin{cases}20t+5, & \text{for } 0≤t≤\frac{1}{2}\\−10t+15, &\text{for } \frac{1}{2}≤t≤1\end{cases}. \nonumber \]

    Under these conditions, how far from his starting point is Andrew after 1 hour?

    Hint

    Don’t forget that Andrew’s iceboat moves twice as fast as the wind.

    Answer

    \(17.5\) mi

    Integrating Even and Odd Functions

    We saw in Functions and Graphs that an even function is a function in which \(f(−x)=f(x)\) for all \(x\) in the domain—that is, the graph of the curve is unchanged when \(x\) is replaced with \(−x\). The graphs of even functions are symmetric about the \(y\)-axis. An odd function is one in which \(f(−x)=−f(x)\) for all \(x\) in the domain, and the graph of the function is symmetric about the origin.

    Integrals of even functions, when the limits of integration are from \(−a\) to \(a\), involve two equal areas, because they are symmetric about the \(y\)-axis. Integrals of odd functions, when the limits of integration are similarly \([−a,a],\) evaluate to zero because the areas above and below the \(x\)-axis are equal.

    Integrals of Even and Odd Functions

    For continuous even functions such that \(f(−x)=f(x),\)

    \[∫^a_{−a}f(x)\,dx=2∫^a_0f(x)\,dx. \nonumber \]

    For continuous odd functions such that \(f(−x)=−f(x),\)

    \[∫^a_{−a}f(x)\,dx=0. \nonumber \]

    Example \(\PageIndex{6}\): Integrating an Even Function

    Integrate the even function \(\displaystyle ∫^2_{−2}(3x^8−2)\,dx\) and verify that the integration formula for even functions holds.

    Solution

    The symmetry appears in the graphs in Figure \(\PageIndex{4}\). Graph (a) shows the region below the curve and above the \(x\)-axis. We have to zoom in to this graph by a huge amount to see the region. Graph (b) shows the region above the curve and below the \(x\)-axis. The signed area of this region is negative. Both views illustrate the symmetry about the \(y\)-axis of an even function. We have

    \[ \begin{align*} ∫^2_{−2}(3x^8−2)\,dx &=\left(\frac{x^9}{3}−2x\right)∣^2_{−2} \\[4pt]
    &=\left[\frac{(2)^9}{3}−2(2)\right]−\left[\frac{(−2)^9}{3}−2(−2)\right] \\[4pt]
    &= \left(\frac{512}{3}−4\right)−\left(−\frac{512}{3}+4\right) \\[4pt]
    &=\frac{1000}{3}. \end{align*}\]

    To verify the integration formula for even functions, we can calculate the integral from \(0\) to \(2\) and double it, then check to make sure we get the same answer.

    \[ ∫^2_0(3x^8−2)\,dx=\left(\frac{x^9}{3}−2x\right)\bigg|^2_{0}=\frac{512}{3}−4=\frac{500}{3} \nonumber \]

    Since \( 2⋅\frac{500}{3}=\frac{1000}{3},\) we have verified the formula for even functions in this particular example.

    Two graphs of the same function f(x) = 3x^8 – 2, side by side. It is symmetric about the y axis, has x-intercepts at (-1,0) and (1,0), and has a y-intercept at (0,-2). The function decreases rapidly as x increases until about -.5, where it levels off at -2. Then, at about .5, it increases rapidly as a mirror image. The first graph is zoomed-out and shows the positive area between the curve and the x axis over [-2,-1] and [1,2]. The second is zoomed-in and shows the negative area between the curve and the x-axis over [-1,1].
    Figure \(\PageIndex{4}\): Graph (a) shows the positive area between the curve and the \(x\)-axis, whereas graph (b) shows the negative area between the curve and the \(x\)-axis. Both views show the symmetry about the \(y\)-axis.
    Example \(\PageIndex{7}\): Integrating an Odd Function

    Evaluate the definite integral of the odd function \(−5 \sin x\) over the interval \([−π,π].\)

    Solution

    The graph is shown in Figure \(\PageIndex{5}\). We can see the symmetry about the origin by the positive area above the \(x\)-axis over \([−π,0]\), and the negative area below the \(x\)-axis over \([0,π].\) we have

    \[ \begin{align*} ∫^π_{−π}−5\sin x \,dx &=−5(−\cos x)\bigg|^π_{−π} \\[4pt] &=5\cos x\,\bigg|^π_{−π} \\[4pt] &=[5\cos π]−[5\cos(−π)] \\[4pt] &=−5−(−5)=0. \end{align*}\]

    A graph of the given function f(x) = -5 sin(x). The area under the function but above the x axis is shaded over [-pi, 0], and the area above the function and under the x axis is shaded over [0, pi].
    Figure \(\PageIndex{5}\):The graph shows areas between a curve and the \(x\)-axis for an odd function.
    Exercise \(\PageIndex{4}\)

    Integrate the function \(\displaystyle ∫^2_{−2}x^4\,dx.\)

    Hint

    Integrate an even function.

    Answer

    \(\dfrac{64}{5}\)

    Key Concepts

    • The net change theorem states that when a quantity changes, the final value equals the initial value plus the integral of the rate of change. Net change can be a positive number, a negative number, or zero.
    • The area under an even function over a symmetric interval can be calculated by doubling the area over the positive \(x\)-axis. For an odd function, the integral over a symmetric interval equals zero, because half the area is negative.

    Key Equations

    • Net Change Theorem\[F(b)=F(a)+∫^b_aF'(x)\,dx\nonumber \] or \[∫^b_aF'(x)\,dx=F(b)−F(a) \nonumber \]

    Glossary

    net change theorem
    if we know the rate of change of a quantity, the net change theorem says the future quantity is equal to the initial quantity plus the integral of the rate of change of the quantity

    This page titled 1.4: Integration Formulas and the Net Change Theorem is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Gilbert Strang & Edwin “Jed” Herman (OpenStax) via source content that was edited to the style and standards of the LibreTexts platform.