## 6.3 The Fundamental Theorem of Calculus

So far, differential calculus and integral calculus have seemed to be two completely separate branches of mathematics. Differential calculus arose from constructing the tangent line to a curve and studying rates of change. Integral calculus arose from calculating the area under a curve. The fundamental theorem of calculus connects these two branches of calculus. Also, we will see why we use \(\int\) both for indefinite integrals (antiderivatives) and definite integrals.

When \(f(t)\) is a known continuous function, and \(a\) and \(b\) are two constants, the value of the integral \(\int_{a}^{b}f(t)dt\) is a definite number. Hence, if we replace the upper limit \(b\) by a variable \(x\), the definite integral is a function of \(x\), say \(A(x)\). Graphically, \[A(x)=\int_{a}^{x}f(t)dt=\text{the net area between }y=f\text{ and the \ensuremath{x}-axis on }[a,x],\] (see Figure [fig:Ch8-FundamentalTheorem-3](a)). Suppose that \(x\) takes on an increment \(h\). Then

\[A(x+h)=\int_{a}^{x+h}f(t)dt,\] and the value of \(A\) changes by \[\Delta A=A(x+h)-A(x)=\int_{x}^{x+h}f(t)dt.\] The change in \(A\) is the shaded area shown in Figure [fig:Ch8-FundamentalTheorem-3](b).

For small \(h\), we can see from Figure [fig:Ch8-FundamentalTheorem-3](b) that \[\Delta A=\int_{x}^{x+h}f(t)dt\approx f(x)h.\] So \[\frac{\overbrace{A(x+h)-A(x)}^{\Delta A}}{h}\approx f(x).\]

As \(h\to0\), we can replace the approximation symbol by the equality. That is, \[\underbrace{\lim_{h\to0}\frac{A(x+h)-A(x)}{h}}_{=A'(x)}=f(x).\] In other words, we have shown that \[A'(x)=\frac{d}{dx}\int_{a}^{x}f(t)dt=f(x).\] This is the Fundamental Theorem of Calculus:

** 6.1**. **(The Fundamental Theorem of
Calculus, Part 1):** If \(f\) is
a continuous function on the interval \([a,b]\), then the function \(A(x)\) defined by \[A(x)=\int_{a}^{x}f(t)dt\quad(a\leq x\leq
b)\] is continuous on \([a,b]\)
and differentiable on \((a,b)\), and
\(A'(x)=f(x)\).

The Fundamental Theorem of Calculus is often written as \[\boxed{\frac{d}{dx}\int_{a}^{x}f(t)dt=f(x).}\]

The Fundamental Theorem of Calculus provides a simple method for evaluating definite integral. The following theorem is sometimes called the second part of the Fundamental Theorem of Calculus.

Let \[A(x)=\int_{a}^{x}f(t)dt.\] We just learned that \(A'(x)=f(x)\), so \(A(x)\) is an antiderivative of \(f(x)\) or \(A(x)\) is an integral function of \(f(x)\). If \(F(x)\) is any antiderivative of \(f(x)\) on \([a,b]\), then it follows from Theorem 5.1 that \(F(x)\) and \(A(x)\) differ by a constant; that is, there is a constant \(C\) such that \[F(x)=A(x)+C.\] So \[F(b)-F(a)=\left(A(b)+C\right)-\left(A(a)+C\right)=A(b)-A(a)=\int_{a}^{b}f(t)dt-\underbrace{\int_{a}^{a}f(t)dt}_{=0}=\int_{a}^{b}f(t)dt.\] Therefore:

** 6.2**. **(The Fundamental Theorem of
Calculus, Part 2)** Suppose \(f\) is a continuous function on the
interval \([a,b]\) and \(F\) is any antiderivative of \(f\); that is, \(F'(x)=f(x)\). Then \[\int_{a}^{b}f(x)dx=F(b)-F(a).\] .

**A Useful Notation:**The difference \(F(b)-F(a)\) is often denoted by \[\left.F(x)\right|_{a}^{b}\qquad\text{or}\qquad\left.F(x)\right]_{a}^{b}.\] If \(F\) has more than one term and there might be a confusion about the involved terms, we use \[\left[F(x)\right]_{a}^{b}.\] To emphasize that \(a\) and \(b\) are values for the variable \(x\), we may write \[\left[F(x)\right]_{x=a}^{x=b}.\]

The second part of the Fundamental Theorem of Calculus says to
compute the **definite** integral of a function:

*First: Find the* *indefinite**integral of the given function \(f\)*.*Second: Substitute in the* *indefinite**integral first the upper limit and then the lower limit for the
variable of integration, and subtract the last result from the
first.*

So the second part of the Fundamental Theorem of Calculus can be written as \[\boxed{\int_{a}^{b}f(x)dx=\left[\int f(x)dx\right]_{a}^{b}.}\] Now it makes sense why we use the same symbol \(\int\) for both the indefinite integral and the definite integral.

Notice that

In the indefinite integral, \(\int\) has no upper and lower limits. The

**indefinite**integral is a**function**.In the definite integral, \(\int\) has upper and lower limits. The

**definite**integral is a**number**.

**Example 6.4**. Find \({\displaystyle \int_{1}^{3}x^{2}dx}\).

**Solution**

Because the indefinite integral of \(x^{2}\) is \[\int x^{2}dx=\frac{1}{3}x^{3}+C,\] it follows from the second part of the Fundamental Theorem of Calculus that \[\int_{1}^{3}x^{2}dx=\left[\frac{1}{3}x^{3}\right]_{1}^{3}=\frac{1}{3}(3^{3}-1^{3})=\frac{26}{3};\] this is exactly the same result that we obtained using the Riemann sum in Section [sec:Ch8-Definition].

Notice that \(x^{3}/3\) is a particular antiderivative (also called an integral function) of \(x^{2}\). Instead of \(x^{3}/3\) we could use another antiderivative such as \(x^{3}/3+2\), \(x^{3}/3-\sqrt{2}\), and so on, but the constant does not affect the result. Let’s try this out and see what will happen if instead of \(x^{3}/3\) we use \(x^{3}/3-\sqrt{2}\):

\[\left[\frac{1}{3}x^{3}-\sqrt{2}\right]_{1}^{3}=\left(\frac{1}{3}\times3^{3}-\sqrt{2}\right)-\left(\frac{1}{3}\times1^{3}-\sqrt{2}\right)=\frac{1}{3}\times3^{3}-\frac{1}{3}\times1=\frac{26}{3}.\]

To apply the second part of the Fundamental Theorem of Calculus, we just need to use a particular antiderivative (also called a particular integral function). Using the most general antiderivative is not necessary.

**Example 6.5**. Find \({\displaystyle {\displaystyle \int_{0}^{\pi}\sin
x\,dx}}\).

**Solution**

\[\begin{aligned} \int_{0}^{\pi}\sin x\:dx & =-\cos x\big|_{0}^{\pi}\\ & =-\cos\pi-(-\cos0)\\ & =-(-1)-(-1)\\ & =2.\end{aligned}\]

**Example 6.6**. Find \({\displaystyle
\int_{1}^{\sqrt{3}}\frac{1}{1+x^{2}}dx}.\)

**Solution**

Because \[\int\frac{1}{1+x^{2}}dx=\arctan x+C,\] we have \[\begin{aligned} \int_{1}^{\sqrt{3}}\frac{1}{1+x^{2}}dx & =\left.\arctan x\right|_{1}^{\sqrt{3}}\\ & =\arctan\sqrt{3}-\arctan1\\ & =\frac{\pi}{3}-\frac{\pi}{4}=\frac{\pi}{12}.\end{aligned}\]

[Some books use \(\tan^{-1}\) instead of \(\arctan\) for the inverse of the tangent function.]

[up][previous][table of contents][next]