8.5.1: Fundamental Theorem of Calculus
- Page ID
- 14826
\( \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}\)Fundamental Theorem of Calculus
Velocity due to gravity can be easily calculated by the formula: v = gt, where g is the acceleration due to gravity (9.8m/s2) and t is time in seconds. In fact, a decent approximation can be calculated in your head easily by rounding 9.8 to 10 so you can just add a decimal place to the time.
Using this function for velocity, how could you find a function that represented the position of the object after a given time? What about a function that represented the instantaneous acceleration of the object at a given time?
Fundamental Theorem of Calculus
Antiderivatives
If you think that evaluating areas under curves is a tedious process you are probably right. Fortunately, there is an easier method. In this section, we shall give a general method of evaluating definite integrals (area under the curve) by using antiderivatives.
Definition: The Antiderivative If F '(x) = f (x), then F '(x) is said to be the antiderivative of f(x). |
---|
There are rules for finding the antiderivatives of simple power functions such as f(x) = x2. As you read through them, try to think about why they make sense, keeping in mind that differentiation reverses integration.
There are rules for finding the antiderivatives of simple power functions such as f(x) = x2. As you read through them, try to think about why they make sense, keeping in mind that differentiation reverses integration.
Rules of Finding the Antiderivatives of Power Functions
|
---|
where k is a constant. (Notice that this rule comes as a result of the power rule above.) |
The Fundamental Theorem of Calculus
The Fundamental Theorem of Calculus makes the relationship between derivatives and integrals clear. Integration performed on a function can be reversed by differentiation.
The Fundamental Theorem of Calculus If a function f(x) is defined over the interval [a, b] and if F(x) is the antidervative of f on [a, b], then \(\ \begin{aligned} |
---|
We can use the relationship between differentiation and integration outlined in the Fundamental Theorem of Calculus to compute definite integrals more quickly.
Examples
Evaluate \(\ \int_{1}^{2} x^{2} d x\).
Solution
This integral tells us to evaluate the area under the curve \(\ f(x)=x^{2}\), which is a parabola over the interval [1, 2], as shown in the figure below.
To compute the integral according to the Fundamental Theorem of Calculus, we need to find the antiderivative of \(\ f(x)=x^{2}\). It turns out to be \(\ F(x)=(1 / 3) x^{3}+C\), where C is a constant of integration.
How can we get this? Think about the functions that will have derivatives of \(\ x^{2}\). Take the derivative of \(\ F(x)\) to check that we have found such a function. (For more specific rules, see the box after this example). Substituting into the Fundamental Theorem,
\(\ \int_{a}^{b} f(x) d x\) | \(\ =\left.F(x)\right|_{a} ^{b}\) |
---|---|
\(\ \int_{1}^{2} x^{2} d x\) | \(\ =\left[\frac{1}{3} x^{3}+C\right]_{1}^{2}\) |
\(\ =\left[\frac{1}{3}(2)^{3}+C\right]-\left[\frac{1}{3}(1)^{3}+C\right]\) | |
\(\ =\left[\frac{8}{3}+C\right]-\left[\frac{1}{3}+C\right]\) | |
\(\ =\frac{7}{3}+C-C\) | |
\(\ =\frac{7}{3}\) |
So the area under the curve is (7/3) units2.
Evaluate \(\ \int x^{3} d x\)
Solution
Since \(\ \int x^{n} d x=\frac{1}{n+1} x^{n+1}+C\), we have
\(\ \int x^{3} d x\) | \(\ =\frac{1}{3+1} x^{3+1}+C\) |
---|---|
\(\ =\frac{1}{4} x^{4}+C\) |
To check our answer we can take the derivative of \(\ \frac{1}{4} x^{4}+C\) and verify that it is \(\ x^{3}\), the original function in our integral.
Evaluate \(\ \int 5 x^{2} d x\)
Solution
Using the constant multiple of a power rule, the coefficient 5 can be removed outside the integral:
\(\ \int 5 x^{2} d x=5 \int x^{2} d x\)
Then we can integrate:
\(\ =5 \cdot \frac{1}{2+1} x^{2+1}+C\) |
---|
\(\ =\frac{5}{3} x^{3}+C\) |
Again, if we wanted to check our work we could take the derivative of \(\ \frac{5}{3} x^{3}+C\) and verify that we get \(\ 5 x^{2}\).
Evaluate \(\ \int\left(3 x^{3}-4 x^{2}+2\right) d x\).
Solution
Using the sum and difference rule we can separate our integral into three integrals:
\(\ \begin{array}{l}
\int\left(3 x^{3}-4 x^{2}+2\right) d x= \\
3\left(\int x^{3} d x\right)-4\left(\int x^{2} d x\right)+\left(\int 2 d x\right) \\
\rightarrow 3 \cdot \frac{1}{4} x^{4}-4 \cdot \frac{1}{3} x^{3}+2 x+C \rightarrow \frac{3}{4} x^{4}-\frac{4}{3} x^{3}+2 x+C
\end{array}\)
Evaluate \(\ \int_{2}^{5} \sqrt{x} d x\).
Solution
The evaluation of this integral represents calculating the area under the curve \(\ y=\sqrt{x}\) from \(\ x = -2\) to \(\ x = 3\), shown in the figure below.
\(\ \int_{2}^{5} \sqrt{x} d x\) | \(\ =\int_{2}^{5} x^{1 / 2} d x\) |
---|---|
\(\ =\left[\frac{1}{\frac{1}{2}+1} x^{1 / 2+1}\right]_{2}^{5}\) | |
\(\ =\left[\frac{1}{3 / 2} x^{3 / 2}\right]_{2}^{5}\) | |
\(\ =\frac{2}{3}\left[x^{3 / 2}\right]_{2}^{5}\) | |
\(\ =\frac{2}{3}\left[5^{3 / 2}-2^{3 / 2}\right]\) | |
\(\ =5.57\) |
So the area under the curve is 5.57.
Use the Fundamental Theorem of Calculus to solve: \(\ \int_{4}^{6} \frac{d x}{x}\).
Solution
Given what we know, that if \(\ F(x)=\ln x\), then \(\ F^{\prime}(x)=\frac{1}{x}\)
Thus, we apply the Fundamental Theorem of Calculus:
\(\ \int-4^{6} \frac{d x}{x}=\ln x \mid-46\)
= F(6) - F(4) = [ln(6)] - [ln(4)] = 0.4055
Use the Fundamental Theorem of Calculus to solve: \(\ \int_{-2 p}^{2 p} 3 \cos (x) d x\).
Solution
Given what we know, that if F(x) = 3sin(x), then F'(x) = 3cos(x)
So we apply the Fundamental Theorem of Calculus:
\(\ \int_{-2 p}^{2 p} 3 \cos d x=\left.3 \sin (x)\right|_{-2 p} ^{2 p}\)
= F(8) - F(0) = [3sin(2p)] - [3sin(-2p)] = 1 - 0 = 0
Review
Evaluate the integral:
- Evaluate the integral \(\ \int_{0}^{3} 5 x d x\)
- Evaluate the integral \(\ \int_{0}^{1} x^{4} d x\)
- Evaluate the integral \(\ \int_{1}^{4}(x-3) d x\)
Find the integral:
- Find the integral of (x + 1)(2x - 3) from -1 to 2.
- Find the integral of \(\ \sqrt{x}\) from 0 to 9.
- Find \(\ \int_{-1}^{0}-3 d x\)
- Find \(\ \int_{-1}^{3} d x\)
- Find \(\ \int_{-p}^{\frac{p}{2}}-4 \cos (x) d x\)
- Find \(\ \int_{0}^{2}-d x\)
- Find \(\ \int_{2}^{7} \frac{d x}{x}\)
- Find \(\ \int_{-2}^{0} x+5 d x\)
- Find \(\ \int_{-p}^{\frac{3 p}{2}} 6 \sin (x) d x\)
- Find \(\ \int_{6}^{7} \frac{d x}{x}\)
Challenge yourself:
- Sketch \(\ y=x^{3}\) and \(\ y=x\) on the same coordinate system and then find the area of the region enclosed between them (a) in the first quadrant and (b) in the first and third quadrants.
- Evaluate the integral \(\ \int_{-R}^{R}\left(\pi R^{2}-\pi x^{2}\right) d x\) where R is a constant.
Vocabulary
Term | Definition |
---|---|
antiderivative | An antiderivative is a function that reverses a derivative. Function A is the antiderivative of function B if function B is the derivative of function A. |
derivative | The derivative of a function is the slope of the line tangent to the function at a given point on the graph. Notations for derivative include \(\ f^{\prime}(x), \frac{d y}{d x}, y^{\prime}, \frac{d f}{d x}\) and \(\ \frac{df(x)}{dx}\). |
fundamental theorem of calculus | The fundamental theorem of calculus demonstrates that integration performed on a function can be reversed by differentiation. |
integral | An integral is used to calculate the area under a curve or the area between two curves. |
theorem | A theorem is a statement that can be proven true using postulates, definitions, and other theorems that have already been proven. |