1.3: The Fundamental Theorem of Calculus
 Page ID
 89243
\( \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}\)We have spent quite a few pages (and lectures) talking about definite integrals, what they are (Definition 1.1.9), when they exist (Theorem 1.1.10), how to compute some special cases (Section 1.1.5), some ways to manipulate them (Theorem 1.2.1 and 1.2.3) and how to bound them (Theorem 1.2.13). Conspicuously missing from all of this has been a discussion of how to compute them in general. It is high time we rectified that.
The single most important tool used to evaluate integrals is called “the fundamental theorem of calculus”. Its grand name is justified — it links the two branches of calculus by connecting derivatives to integrals. In so doing it also tells us how to compute integrals. Very roughly speaking the derivative of an integral is the original function. This fact allows us to compute integrals using antiderivatives ^{1}. Of course “very rough” is not enough — let's be precise.
Let \(a \lt b\) and let \(f(x)\) be a function which is defined and continuous on \([a,b]\text{.}\)
 Part 1. Let \(\displaystyle F(x)=\int_a^x f(t)\, d{t}\) for any \(x \in[a,b]\text{.}\) Then the function \(F(x)\) is differentiable and further
\begin{align*} F'(x) &=f(x) \end{align*}
 Part 2. Let \(G(x)\) be any function which is defined and continuous on \([a,b]\text{.}\) Further let \(G(x)\) be differentiable with \(G'(x)=f(x)\) for all \(a \lt x \lt b\text{.}\) Then
\begin{align*} \int_a^b f(x)\, d{x} &=G(b)G(a) & \text{or equivalently} && \int_a^b G'(x)\, d{x} &=G(b)G(a) \end{align*}
Before we prove this theorem and look at a bunch of examples of its application, it is important that we recall one definition from differential calculus — antiderivatives. If \(F'(x) = f(x)\) on some interval, then \(F(x)\) is called an antiderivative of \(f(x)\) on that interval. So Part 2 of the the fundamental theorem of calculus tells us how to evaluate the definite integral of \(f(x)\) in terms of any of its antiderivatives — if \(G(x)\) is any antiderivative of \(f(x)\) then
\begin{align*} \int_a^b f(x) \,d{x} &= G(b)G(a) \end{align*}
The form \(\int_a^b G'(x)\, d{x} = G(b)  G(a)\) of the fundamental theorem relates the rate of change of \(G(x)\) over the interval \(a\le x\le b\) to the net change of \(G\) between \(x=a\) and \(x=b\text{.}\) For that reason, it is sometimes called the “net change theorem”.
We'll start with a simple example. Then we'll see why the fundamental theorem is true and then we'll do many more, and more involved, examples.
Consider the integral \(\int_a^b x \, d{x}\) which we have explored previously in Example 1.2.6.
 The integrand is \(f(x)=x\text{.}\)
 We can readily verify that \(G(x) = \frac{x^2}{2}\) satisfies \(G'(x)=f(x)\) and so is an antiderivative of the integrand.
 Part 2 of Theorem 1.3.1 then tells us that
\begin{align*} \int_a^b f(x) \, d{x} &= G(b)G(a)\\ \int_a^b x \, d{x} &= \frac{b^2}{2}  \frac{a^2}{2} \end{align*}
which is precisely the result we obtained (with more work) in Example 1.2.6.
We do not give completely rigorous proofs of the two parts of the theorem — that is not really needed for this course. We just give the main ideas of the proofs so that you can understand why the theorem is true.

We wish to show that if
\begin{align*} F(x) &= \int_a^x f(t) \, d{t} & \text{then}&& F'(x) &= f(x) \end{align*}
 Assume that \(F\) is the above integral and then consider \(F'(x)\text{.}\) By definition\begin{align*} F'(x) &=\lim_{h\rightarrow 0} \frac{F(x+h)F(x)}{h} \end{align*}
 To understand this limit, we interpret the terms \(F(x), F(x+h)\) as signed areas. To simplify this further, let's only consider the case that \(f\) is always nonnegative and that \(h \gt 0\text{.}\) These restrictions are not hard to remove, but the proof ideas are a bit cleaner if we keep them in place. Then we have\begin{align*} F(x+h)&=\text{the area of the region $\big\{\ (t,y)\ \big\ a\le t\le x+h,\ 0\le y\le f(t)\ \big\}$}\\ F(x)&=\text{the area of the region $\big\{\ (t,y)\ \big\ a\le t\le x, \phantom{+h\ \,}\ 0\le y\le f(t)\ \big\}$} \end{align*}
 Then the numerator\begin{gather*} F(x+h)F(x)=\text{the area of $\big\{\ (t,y)\ \big\ x\le t\le x+h,\ 0\le y\le f(t)\ \big\} $} \end{gather*}This is just the more darkly shaded region in the figure
 We will be taking the limit \(h\rightarrow 0\text{.}\) So suppose that \(h\) is very small. Then, as \(t\) runs from \(x\) to \(x=h\text{,}\) \(f(t)\) runs only over a very narrow range of values ^{2}, all close to \(f(x)\text{.}\)
 So the darkly shaded region is almost a rectangle of width \(h\) and height \(f(x)\) and so has an area which is very close to \(f(x)h\text{.}\) Thus \(\frac{F(x+h)F(x)}{h}\) is very close to \(f(x)\text{.}\)
 In the limit \(h\rightarrow 0\text{,}\) \(\frac{F(x+h)F(x)}{h}\) becomes exactly \(f(x)\text{,}\) which is precisely what we want.
We can make the above more rigorous using the Mean Value Theorem ^{3}.

We want to show that \(\int_a^b f(t)\, d{t}=G(b)G(a)\text{.}\) To do this we exploit the fact that the derivative of a constant is zero.
 Let\begin{align*} H(x) &= \int_a^x f(t)\, d{t} G(x)+G(a) \end{align*} Then the result we wish to prove is that \(H(b)=0\text{.}\) We will do this by showing that \(H(x)=0\) for all \(x\) between \(a\) and \(b\text{.}\)
 We first show that \(H(x)\) is constant by computing its derivative: \[\begin{align*} H'(x) &= \frac{d}{dx}\int_a^x f(t)\, d{t}  \frac{d}{dx}\left( G(x) \right)+ \frac{d}{dx}\left( G(a) \right)\\ \end{align*}\]Since \(G(a)\) is a constant, its derivative is \(0\) and by assumption the derivative of \(G(x)\) is just \(f(x)\text{,}\) so
\begin{align*} &= \frac{d}{dx}\int_a^x f(t)\, d{t}  f(x)\\ \end{align*}Now Part 1 of the theorem tells us that this derivative is just \(f(x)\text{,}\) so
\begin{align*} &= f(x)  f(x) = 0 \end{align*}Hence \(H\) is constant. 
To determine which constant we just compute \(H(a)\text{:}\)\begin{align*} H(a) &= \int_a^a f(t)\, d{t}  G(a)+G(a)\\ &= \int_a^a f(t)\, d{t} & \text{by Theorem }{\text{1.2.3}}\text{(a)}\\ &=0 \end{align*}as required.
The simple example we did above (Example 1.3.2), demonstrates the application of part 2 of the fundamental theorem of calculus. Before we do more examples (and there will be many more over the coming sections) we should do some examples illustrating the use of part 1 of the fundamental theorem of calculus. Then we'll move on to part 2.
Consider the integral \(\int_0^x t\,\, d{t}\text{.}\) We know how to evaluate this — it is just Example 1.3.2 with \(a = 0\text{,}\) \(b = x\text{.}\) So we have two ways to compute the derivative. We can evaluate the integral and then take the derivative, or we can apply Part 1 of the fundamental theorem. We'll do both, and check that the two answers are the same.
First, Example 1.3.2 gives
\begin{gather*} F(x) = \int_0^x t\,\, d{t} =\frac{x^2}{2} \end{gather*}
So of course \(F'(x) = x\text{.}\) Second, Part 1 of the fundamental theorem of calculus tells us that the derivative of \(F(x)\) is just the integrand. That is, Part 1 of the fundamental theorem of calculus also gives \(F'(x) = x\text{.}\)
In the previous example we were able to evaluate the integral explicitly, so we did not need the fundamental theorem to determine its derivative. Here is an example that really does require the use of the fundamental theorem.
We would like to find \(\frac{d}{dx}\int_0^x e^{t^2}\, d{t}\text{.}\) In the previous example, we were able to compute the corresponding derivative in two ways — we could explicitly compute the integral and then differentiate the result, or we could apply part 1 of the fundamental theorem of calculus. In this example we do not know the integral explicitly. Indeed it is not possible to express^{ 4} the integral \(\int_0^x e^{t^2}\, d{t}\) as a finite combination of standard functions such as polynomials, exponentials, trigonometric functions and so on.
Despite this, we can find its derivative by just applying the first part of the fundamental theorem of calculus with \(f(t)=e^{t^2}\) and \(a=0\text{.}\) That gives
\begin{align*} \frac{d}{dx}\int_0^x e^{t^2}\, d{t} &=\frac{d}{dx}\int_0^x f(t)\, d{t}\\ &=f(x) = e^{x^2} \end{align*}
Let us ratchet up the complexity of the previous example — we can make the limits of the integral more complicated functions. So consider the previous example with the upper limit \(x\) replaced by \(x^2\text{:}\)
Consider the integral \(\int_0^{x^2} e^{t^2}\, d{t}\text{.}\) We would like to compute its derivative with respect to \(x\) using part 1 of the fundamental theorem of calculus.
The fundamental theorem tells us how to compute the derivative of functions of the form \(\int_a^x f(t)\, d{t}\) but the integral at hand is not of the specified form because the upper limit we have is \(x^2\text{,}\) rather than \(x\text{,}\) — so more care is required. Thankfully we can deal with this obstacle with only a little extra work. The trick is to define an auxiliary function by simply changing the upper limit to \(x\text{.}\) That is, define
\[\begin{align*} E(x) &= \int_0^x e^{t^2}\, d{t}\\ \end{align*}\]Then the integral we want to work with is
\begin{align*} E(x^2) &= \int_0^{x^2} e^{t^2}\, d{t} \end{align*}The derivative \(E'(x)\) can be found via part 1 of the fundamental theorem of calculus (as we did in Example 1.3.4) and is \(E'(x)= e^{x^2}\text{.}\) We can then use this fact with the chain rule to compute the derivative we need:
\begin{align*} \frac{d}{dx} \int_0^{x^2} e^{t^2}\, d{t} &= \frac{d}{dx}E(x^2) &\text{use the chain rule}\\ &= 2x E'(x^2)\\ &= 2x e^{x^4} \end{align*}
What if both limits of integration are functions of \(x\text{?}\) We can still make this work, but we have to split the integral using Theorem 1.2.3.
Consider the integral
\begin{gather*} \int_x^{x^2} e^{t^2}\, d{t} \end{gather*}
As was the case in the previous example, we have to do a little preprocessing before we can apply the fundamental theorem.
This time (by design), not only is the upper limit of integration \(x^2\) rather than \(x\text{,}\) but the lower limit of integration also depends on \(x\) — this is different from the integral \(\int_a^x f(t)\, d{t}\) in the fundamental theorem where the lower limit of integration is a constant.
Fortunately we can use the basic properties of integrals (Theorem 1.2.3(b) and (c)) to split \(\int_x^{x^2} e^{t^2}\, d{t}\) into pieces whose derivatives we already know.
\begin{align*} \int_x^{x^2} e^{t^2}\, d{t} &=\int_x^0 e^{t^2}\, d{t}+\int_0^{x^2} e^{t^2}\, d{t} &\text{by Theorem }{\text{1.2.3}}\text{(c)}\\ &=\int^x_0 e^{t^2}\, d{t}+\int_0^{x^2} e^{t^2}\, d{t} &\text{by Theorem }{\text{1.2.3}}\text{(b)} \end{align*}
With this preprocessing, both integrals are of the right form. Using what we have learned in the the previous two examples,
\begin{align*} \frac{d}{dx}\int_x^{x^2} e^{t^2}\, d{t} &=\frac{d}{dx}\left( \int_0^{x} e^{t^2}\, d{t} + \int_0^{x^2} e^{t^2}\, d{t} \right)\\ &=\frac{d}{dx}\int^x_0 e^{t^2}\, d{t} +\frac{d}{dx}\int_0^{x^2} e^{t^2}\, d{t}\\ &= e^{x^2} +2x e^{x^4} \end{align*}
Before we start to work with part 2 of the fundamental theorem, we need a little terminology and notation. First some terminology — you may have seen this definition in your differential calculus course.
Let \(f(x)\) and \(F(x)\) be functions. If \(F'(x)=f(x)\) on an interval, then we say that \(F(x)\) is an antiderivative of \(f(x)\) on that interval.
As we saw above, an antiderivative of \(f(x)=x\) is \(F(x) = x^2/2\) — we can easily verify this by differentiation. Notice that \(x^2/2 + 3\) is also an antiderivative of \(x\text{,}\) as is \(x^2/2 + C\) for any constant \(C\text{.}\) This observation gives us the following simple lemma.
Let \(f(x)\) be a function and let \(F(x)\) be an antiderivative of \(f(x)\text{.}\) Then \(F(x)+C\) is also an antiderivative for any constant \(C\text{.}\) Further, every antiderivative of \(f(x)\) must be of this form.

There are two parts to the lemma and we prove each in turn.
 Let \(F(x)\) be an antiderivative of \(f(x)\) and let \(C\) be some constant. Then\begin{align*} \frac{d}{dx}\left( F(x) + C \right) &= \frac{d}{dx}\left( F(x) \right) + \frac{d}{dx}\left( C \right)\\ &= f(x) + 0 \end{align*} since the derivative of a constant is zero, and by definition the derivative of \(F(x)\) is just \(f(x)\text{.}\) Thus \(F(x)+C\) is also an antiderivative of \(f(x)\text{.}\)
 Now let \(F(x)\) and \(G(x)\) both be antiderivatives of \(f(x)\) — we will show that \(G(x) = F(x)+C\) for some constant \(C\text{.}\) To do this let \(H(x) = G(x)F(x)\text{.}\) Then\begin{align*} \frac{d}{dx}H(x) &= \frac{d}{dx}\left( G(x)F(x) \right) = \frac{d}{dx} G(x)  \frac{d}{dx}F(x)\\ &= f(x)  f(x) = 0 \end{align*}
Since the derivative of \(H(x)\) is zero, \(H(x)\) must be a constant function^{ 5}. Thus \(H(x)=G(x)F(x)=C\) for some constant \(C\) and the result follows.
Based on the above lemma we have the following definition.
The “indefinite integral of \(f(x)\)” is denoted by \(\int f(x)\, d{x}\) and should be regarded as the general antiderivative of \(f(x)\text{.}\) In particular, if \(F(x)\) is an antiderivative of \(f(x)\) then
\begin{align*} \int f(x)\, d{x} &= F(x) + C \end{align*}
where the \(C\) is an arbitrary constant. In this context, the constant \(C\) is also often called a “constant of integration”.
Now we just need a tiny bit more notation.
The symbol
\begin{gather*} \left.\int f(x)\, d{x} \right_{a}^{b} \end{gather*}
denotes the change in an antiderivative of \(f(x)\) from \(x=a\) to \(x=b\text{.}\) More precisely, let \(F(x)\) be any antiderivative of \(f(x)\text{.}\) Then
\begin{align*} \left.\int f(x)\, d{x} \right_{a}^{b} &= \left.F(x)\right_a^b = F(b)  F(a) \end{align*}
Notice that this notation allows us to write part 2 of the fundamental theorem as
\begin{align*} \int_a^b f(x)\, d{x} &= \left.\int f(x)\, d{x} \right_{a}^{b}\\ &= \left.F(x)\right_a^b = F(b)  F(a) \end{align*}
Some texts also use an equivalent notation using square brackets:
\begin{align*} \int_a^b f(x)\, d{x} &= \Big[F(x)\Big]_a^b = F(b)  F(a). \end{align*}
You should be familiar with both notations.
We'll soon develop some strategies for computing more complicated integrals. But for now, we'll try a few integrals that are simple enough that we can just guess the answer. Of course, any antiderivative that we can guess we can also check — simply differentiate the guess and verify you get back to the original function:
\begin{align*} \frac{d}{dx} \int f(x)\, d{x} &= f(x). \end{align*}
We do these examples in some detail to help us become comfortable finding indefinite integrals.
Compute the definite integral \(\int_1^2 x\, d{x}\text{.}\)
Solution
We have already seen, in Example 1.2.6, that \(\int_1^2 x\, d{x}=\frac{2^21^2}{2}=\frac{3}{2}\text{.}\) We shall now rederive that result using the fundamental theorem of calculus.
 The main difficulty in this approach is finding the indefinite integral (an antiderivative) of \(x\text{.}\) That is, we need to find a function \(F(x)\) whose derivative is \(x\text{.}\) So think back to all the derivatives you computed last term^{ 6} and try to remember a function whose derivative was something like \(x\text{.}\)
 This shouldn't be too hard — we recall that the derivatives of polynomials are polynomials. More precisely, we know that
\begin{align*} \frac{d}{dx}x^n &= n x^{n1} \end{align*}
So if we want to end up with just \(x = x^1\text{,}\) we need to take \(n=2\text{.}\) However this gives us\begin{align*} \frac{d}{dx}x^2 &= 2x \end{align*}
 This is pretty close to what we want except for the factor of \(2\text{.}\) Since this is a constant we can just divide both sides by \(2\) to obtain:
\begin{align*} \frac{1}{2}\cdot \frac{d}{dx}x^2 &= \frac{1}{2}\cdot 2x &\text{which becomes}\\ \cdot \frac{d}{dx}\frac{x^2}{2}&= x \end{align*}
which is exactly what we need. It tells us that \(x^2/2\) is an antiderivative of \(x\text{.}\)  Once one has an antiderivative, it is easy to compute the indefinite integral
\begin{align*} \int x\, d{x} &= \frac{1}{2}x^2+C \end{align*}
as well as the definite integral:\begin{align*} \int_1^2 x\, d{x} &= \left.\frac{1}{2}x^2 \right_1^2 &\text{since $x^2/2$ is an antiderivative of $x$}\\ &=\frac{1}{2} 2^2 \frac {1}{2}1^2 =\frac{3}{2} \end{align*}
While the previous example could be computed using signed areas, the following example would be very difficult to compute without using the fundamental theorem of calculus.
Compute \(\int_0^{\frac{\pi}{2}} \sin x\, d{x}\text{.}\)
Solution
 Once again, the crux of the solution is guessing the antiderivative of \(\sin x\) — that is finding a function whose derivative is \(\sin x\text{.}\)
 The standard derivative that comes closest to \(\sin x\) is
\begin{gather*} \frac{d}{dx}\cos x = \sin x \end{gather*}
which is the derivative we want, multiplied by a factor of \(1\text{.}\)  Just as we did in the previous example, we multiply this equation by a constant to remove this unwanted factor:
\begin{align*} (1)\cdot \frac{d}{dx}\cos x &= (1)\cdot(\sin x) &\text{giving us}\\ \frac{d}{dx}\big(\cos x\big) &= \sin x \end{align*}
This tells us that \(\cos x\) is an antiderivative of \(\sin x\text{.}\)  Now it is straightforward to compute the integral:
\begin{align*} \int_0^{\frac{\pi}{2}} \sin x\, d{x} &= \left.\cos x \right_0^{\frac{\pi}{2}} \qquad\text{since $\cos x$ is an antiderivative of $\sin x$}\\ &= \cos\frac{\pi}{2}+\cos 0\\ &= 0+1=1 \end{align*}
Find \(\int_1^2 \frac{1}{x}\, d{x}\text{.}\)
Solution
 Once again, the crux of the solution is guessing a function whose derivative is \(\frac{1}{x}\text{.}\) Our standard way to differentiate powers of \(x\text{,}\) namely
\begin{gather*} \frac{d}{dx} x^n= n x^{n1}, \end{gather*}
doesn't work in this case — since it would require us to pick \(n=0\) and this would give\begin{align*} \frac{d}{dx} x^0 &= \frac{d}{dx} 1 = 0. \end{align*}
 Fortunately, we also know^{ 7} that
\begin{gather*} \frac{d}{dx}\log x = \frac{1}{x} \end{gather*}
which is exactly the derivative we want.  We're now ready to compute the prescribed integral.
\begin{align*} \int_1^2 \frac{1}{x}\, d{x} &= \left. \log x \right_1^2 & \text{since $\log x$ is an antiderivative of $1/x$}\\ &= \log 2  \log 1 & \text{since $\log 1 = 0$}\\ &= \log 2 \end{align*}
Find \(\int_{2}^{1} \frac{1}{x}\, d{x}\text{.}\)
Solution
 As we saw in the last example,
\begin{gather*} \frac{d}{dx}\log x = \frac{1}{x} \end{gather*}
and if we naively use this here, then we will obtain\begin{align*} \int_{2}^{1} \frac{1}{x}\, d{x} &= \log(1)\log(2) \end{align*}
which makes no sense since the logarithm is only defined for positive numbers^{ 8}.  We can work around this problem using a slight variation of the logarithm — \(\logx\text{.}\)
 When \(x \gt 0\text{,}\) we know that \(x=x\) and so we have
\begin{align*} \log x &= \log x & \text{differentiating gives us}\\ \frac{d}{dx}\logx &= \frac{d}{dx} \log x = \frac{1}{x}. \end{align*}
 When \(x \lt 0\) we have that \(x=x\) and so
\begin{align*} \log x &= \log(x) \qquad \text{differentiating with the chain rule gives}\\ \frac{d}{dx}\logx &= \frac{d}{dx} \log(x)\\ &= \frac{1}{(x)} \cdot (1) = \frac{1}{x} \end{align*}
 Indeed, more generally we should write the indefinite integral of \(1/x\) as
\begin{align*} \int \frac{1}{x} \, d{x} &= \log x + C \end{align*}
which is valid for all positive and negative \(x\text{.}\) It is, however, undefined at \(x=0\text{.}\)
 When \(x \gt 0\text{,}\) we know that \(x=x\) and so we have
 We're now ready to compute the prescribed integral.
\begin{align*} \int_{2}^{1} \frac{1}{x}\, d{x} &= \logx \bigg_{2}^{1} \qquad \text{since $\logx$ is an antiderivative of $1/x$}\\ &= \log1  \log2 = \log 1\log 2\\ &= \log 2 = \log\frac12. \end{align*}
This next example raises a nasty issue that requires a little care. We know that the function \(1/x\) is not defined at \(x=0\) — so can we integrate over an interval that contains \(x=0\) and still obtain an answer that makes sense? More generally can we integrate a function over an interval on which that function has discontinuities?
Find \(\int_{1}^1\frac{1}{x^2}\, d{x}\text{.}\)
Solution
Beware that this is a particularly nasty example, which illustrates a booby trap hidden in the fundamental theorem of calculus. The booby trap explodes when the theorem is applied sloppily.
 The sloppy solution starts, as our previous examples have, by finding an antiderivative of the integrand. In this case we know that
\begin{gather*} \frac{d}{dx}\frac{1}{x} = \frac{1}{x^2} \end{gather*}
which means that \(x^{1}\) is an antiderivative of \(x^{2}\text{.}\)  This suggests (if we proceed naively) that
\begin{align*} \int_{1}^1 x^{2}\, d{x} &= \left.\frac{1}{x}\right_{1}^1 & \text{since $1/x$ is an antiderivative of $1/x^2$}\\ &= \frac{1}{1}\Big(\frac{1}{1}\Big)\\ &=2 \end{align*}
Unfortunately,  At this point we should really start to be concerned. This answer cannot be correct. Our integrand, being a square, is positive everywhere. So our integral represents the area of a region above the \(x\)axis and must be positive.
 So what has gone wrong? The flaw in the computation is that the fundamental theorem of calculus, which says that
\begin{gather*} \text{if } F'(x)=f(x) \text{ then } \int_a^b f(x)\, d{x}=F(b)F(a), \end{gather*}
is only applicable when \(F'(x)\) exists and equals \(f(x)\) for all \(x\) between \(a\) and \(b\text{.}\)  In this case \(F'(x)=\frac{1}{x^2}\) does not exist for \(x=0\text{.}\) So we cannot apply the fundamental theorem of calculus as we tried to above.
An integral, like \(\int_{1}^1\frac{1}{x^2}\, d{x}\text{,}\) whose integrand is undefined somewhere in the domain of integration is called improper. We'll give a more thorough treatment of improper integrals later in the text. For now, we'll just say that the correct way to define (and evaluate) improper integrals is as a limit of welldefined approximating integrals. We shall later see that, not only is \(\int_{1}^1\frac{1}{x^2}\, d{x}\) not negative, it is infinite.
For completeness we'll show how to evaluate this integral by sneaking up on the point of discontinuity in the interval of integration. As noted above, we will give a fuller explanation of such integrals later in the text.
 Rather than evaluating the integral directly, we will approximate the integral using definite integrals on intervals that avoid the discontinuity. In the current example, the original domain of integration is \(1\le x\le 1\text{.}\) The domains of integration of the approximating integrals exclude from \([1,1]\) small intervals around \(x=0\text{.}\)
 The shaded area in the figure below illustrates a typical approximating integral, whose domain of integration consists of the original domain of integration, \([1,1]\text{,}\) but with the interval \([t,T]\) excluded.
The full domain of integration is only recovered in the limit \(t,T\rightarrow 0\text{.}\)
 For this example, the correct computation is
\begin{align*} &\int_{1}^1\frac{1}{x^2}\, d{x} =\lim_{t\rightarrow 0^+}\int_{1}^{t}\frac{1}{x^2}\, d{x} \ +\ \lim_{T\rightarrow 0^+}\int_{T}^{1}\frac{1}{x^2}\, d{x}\\ &\hskip0.25in=\lim_{t\rightarrow 0^+}\bigg[\frac{1}{x}\bigg]_{1}^{t} +\lim_{T\rightarrow 0^+}\bigg[\frac{1}{x}\bigg]_{T}^1\\ &\hskip0.25in=\lim_{t\rightarrow 0^+} \Big[\Big(\frac{1}{t}\Big)\Big(\frac{1}{1}\Big)\Big] +\lim_{T\rightarrow 0^+} \Big[\Big(\frac{1}{1}\Big)\Big(\frac{1}{T}\Big)\Big]\\ &\hskip0.25in=\lim_{t\rightarrow 0^+}\frac{1}{t} +\lim_{T\rightarrow 0^+}\frac{1}{T}2\\ &\hskip0.25in=+\infty \end{align*}
 We can interpret this to mean that the signed area under the curve \(x^{2}\) between \(x=1\) and \(x=1\) is infinite.
The above examples have illustrated how we can use the fundamental theorem of calculus to convert knowledge of derivatives into knowledge of integrals. We are now in a position to easily build a table of integrals. Here is a short table of the most important derivatives that we know.
\(F(x)\)  \(1\)  \(x^n\)  \(\sin x\)  \(\cos x\)  \(\tan x\)  \(e^x\)  \(\log_ex\)  \(\arcsin x\)  \(\arctan x\) 
\(f(x)=F'(x)\)  \(0\)  \(nx^{n1}\)  \(\cos x\)  \(\sin x\)  \(\sec^2 x\)  \(e^x\)  \(\frac{1}{x}\)  \(\frac{1}{\sqrt{1x^2}}\)  \(\frac{1}{1+x^2}\) 
Of course we know other derivatives, such as those of \(\sec x\) and \(\cot x\text{,}\) however the ones listed above are arguably the most important ones. From this table (with a very little massaging) we can write down a short table of indefinite integrals.
\(f(x)\)  \(F(x)=\int f(x)\, d{x}\) 
\(1\)  \(x+C\) 
\(x^n\)  \(\frac{1}{n+1}x^{n+1}+C\text{ provided that }n \ne1\) 
\(\dfrac{1}{x}\)  \(\log_ex+C\) 
\(e^x\)  \(e^x+C\) 
\(\sin x\)  \(\cos x+C\) 
\(\cos x\)  \(\sin x+C\) 
\(\sec^2 x\)  \(\tan x+C\) 
\(\dfrac{1}{\sqrt{1x^2}}\)  \(\arcsin x+C\) 
\(\dfrac{1}{1+x^2}\)  \(\arctan x+C\) 
Find the following integrals
 \(\int_2^7 e^x \, d{x}\)
 \(\int_{2}^2 \frac{1}{1+x^2} \, d{x}\)
 \(\int_0^3 (2x^3+7x2)\, d{x}\)
Solution
We can proceed with each of these as before — find the antiderivative and then apply the fundamental theorem. The third integral is a little more complicated, but we can split it up into monomials using Theorem 1.2.1 and do each separately.
 An antiderivative of \(e^x\) is just \(e^x\text{,}\) so
\begin{align*} \int_2^7 e^x \, d{x} &= e^x\bigg_2^7\\ &= e^7e^2 = e^2(e^51). \end{align*}
 An antiderivative of \(\frac{1}{1+x^2}\) is \(\arctan(x)\text{,}\) so \[\begin{align*} \int_{2}^2 \frac{1}{1+x^2} \, d{x} &= \arctan(x) \bigg_{2}^2\\ &= \arctan(2)  \arctan(2)\\ \end{align*}\]
We can simplify this a little further by noting that \(\arctan(x)\) is an odd function, so \(\arctan(2)= \arctan(2)\) and thus our integral is
\begin{align*} &= 2\arctan(2) \end{align*}  We can proceed by splitting the integral using Theorem 1.2.1(d) \[\begin{align*} \int_0^3 (2x^3+7x2)\, d{x} &= \int_0^3 2x^3\, d{x} + \int_0^3 7x\, d{x}  \int_0^3 2\, d{x}\\ &= 2\int_0^3 x^3\, d{x} + 7\int_0^3 x\, d{x}  2\int_0^3 \, d{x}\\ \end{align*}\]
and because we know that \(x^4/4, x^2/2, x\) are antiderivatives of \(x^3, x, 1\) respectively, this becomes
\begin{align*} &= \left[\frac{x^4}{2}\right]_0^3 + \left[\frac{7x^2}{2}\right]_0^3  \left[2x\right]_0^3\\ &= \frac{81}{2} + \frac{7\cdot 9}{2} 6\\ &= \frac{81 + 63  12}{2} = \frac{132}{2} = 66. \end{align*} We can also just find the antiderivative of the whole polynomial by finding the antiderivatives of each term of the polynomial and then recombining them. This is equivalent to what we have done above, but perhaps a little neater:\begin{align*} \int_0^3 (2x^3+7x2)\, d{x} &= \left[ \frac{x^4}{2} + \frac{7x^2}{2}  2x \right]_0^3\\ &= \frac{81}{2} + \frac{7\cdot 9}{2} 6 = 66. \end{align*}
Exercises
Stage 1
Questions 11 through 14 are meant to help reinforce key ideas in the Fundamental Theorem of Calculus and its proof.
So far, we have been able to guess many antiderivatives. Often, however, antiderivatives are very difficult to guess. In Questions 16 through 19, we will find some antiderivatives that might appear in a table of integrals. Coming up with the antiderivative might be quite difficult (strategies to do just that will form a large part of this semester), but verifying that your antiderivative is correct is as simple as differentiating.
Suppose that \(f(x)\) is a function and \(F(x) = e^{(x^23)} + 1\) is an antiderivative of \(f(x)\text{.}\) Evaluate the definite integral \(\displaystyle\int_1^{\sqrt5} f(x)\,\, d{x}\text{.}\)
For the function \(f(x) = x^3 \sin 2x\text{,}\) find its antiderivative \(F(x)\) that satisfies \(F(0)=1\text{.}\)
Decide whether each of the following statements is true or false. Provide a brief justification.
 If \(f(x)\) is continuous on \([1, \pi]\) and differentiable on \((1,\pi)\text{,}\) then \(\displaystyle\int_1^\pi f'(x)\,\, d{x} = f(\pi)f(1)\text{.}\)
 \(\displaystyle\int_{1}^1 \frac{1}{x^2}\,\, d{x} = 0\text{.}\)
 If \(f\) is continuous on \([a, b]\) then \(\displaystyle\int_a^b xf(x)\,\, d{x} = x\int_a^b f(x)\,\, d{x} \text{.}\)
True or false: an antiderivative of \(\dfrac{1}{x^2}\) is \(\log (x^2)\) (where by \(\log x\) we mean logarithm base \(e\)).
True or false: an antiderivative of \(\cos(e^x)\) is \(\frac{\sin(e^x)}{e^x}\text{.}\)
Suppose \(F(x) = \displaystyle\int_7^x \sin(t^2)\, d{t}\text{.}\) What is the instantaneous rate of change of \(F(x)\) with respect to \(x\text{?}\)
Suppose \(F(x) = \displaystyle\int_{2}^x e^{1/t}\, d{t}\text{.}\) What is the slope of the tangent line to \(y=F(x)\) when \(x=3\text{?}\)
Suppose \(F'(x)=f(x)\text{.}\) Give two different antiderivatives of \(f(x)\text{.}\)
In Question 1.1.8.45, Section 1.1, we found that
\[ \int_0^a\sqrt{1x^2}\, d{x}=\frac{\pi}{4}  \frac{1}{2}\arccos(a)+\frac{1}{2}a\sqrt{1a^2}. \nonumber \]
 Verify that \(\displaystyle\dfrac{d}{da}\left\{\frac{\pi}{4}  \frac{1}{2}\arccos(a)+\frac{1}{2}a\sqrt{1a^2}\right\} = \sqrt{1a^2}\text{.}\)
 Find a function \(F(x)\) that satisfies \(F'(x) = \sqrt{1x^2}\) and \(F(0)=\pi\text{.}\)
Evaluate the following integrals using the Fundamental Theorem of Calculus Part 2, or explain why it does not apply.
 \(\displaystyle\int_{\pi}^\pi \cos x \, d{x}\text{.}\)
 \(\displaystyle\int_{\pi}^\pi \sec^2 x \, d{x}\text{.}\)
 \(\displaystyle\int_{2}^0 \frac{1}{x+1}\, d{x}\text{.}\)
As in the proof of the Fundamental Theorem of Calculus, let \(F(x) = \int_{a}^x f(t)\, d{t}\text{.}\) In the diagram below, shade the area corresponding to \(F(x+h)F(x)\text{.}\)
Let \(F(x) = \displaystyle\int_0^x f(t)dt\text{,}\) where \(f(t)\) is shown in the graph below, and \(0 \leq x \leq 4\text{.}\)
 Is \(F(0)\) positive, negative, or zero?
 Where is \(F(x)\) increasing and where is it decreasing?
Let \(G(x) = \displaystyle\int_x^0 f(t)dt\text{,}\) where \(f(t)\) is shown in the graph below, and \(0 \leq x \leq 4\text{.}\)
 Is \(G(0)\) positive, negative, or zero?
 Where is \(G(x)\) increasing and where is it decreasing?
Let \(F(x) = \displaystyle\int_a^x t\, d{t}\text{.}\) Using the definition of the derivative, find \(F'(x)\text{.}\)
Give a continuous function \(f(x)\) so that \(F(x) = \displaystyle\int_0^x f(t)dt\) is a constant.
Evaluate and simplify \(\frac{d}{dx}\{x\log(ax)x\}\text{,}\) where \(a\) is some constant and \(\log(x)\) is the logarithm base \(e\text{.}\) What antiderivative does this tell you?
Evaluate and simplify \(\frac{d}{dx}\{e^x\left(x^33x^2+6x6\right)\}\text{.}\) What antiderivative does this tell you?
Evaluate and simplify \(\frac{d}{dx}\left\{\log\leftx+\sqrt{x^2+a^2}\right\right\}\text{,}\) where \(a\) is some constant. What antiderivative does this tell you?
Evaluate and simplify \(\displaystyle\frac{d}{dx}\left\{\sqrt{x(a+x)}a\log\left(\sqrt{x}+\sqrt{a+x}\right)\right\}\text{,}\) where \(a\) is some constant. What antiderivative does this tell you?
Stage 2
Evaluate \(\displaystyle\int_0^2 \big(x^3+\sin x)\,\, d{x}\text{.}\)
Evaluate \(\displaystyle\int_1^2 \frac{x^2+2}{x^2}\,\, d{x}\text{.}\)
Evaluate \(\displaystyle\int \dfrac{1}{1+25x^2}\, d{x}\text{.}\)
Evaluate \(\displaystyle\int \dfrac{1}{\sqrt{2x^2}}\, d{x}\text{.}\)
Evaluate \(\displaystyle\int \tan^2 x \, d{x}\text{.}\)
Evaluate \(\displaystyle\int 3 \sin x \cos x \, d{x}\text{.}\)
Evaluate \(\displaystyle\int \cos^2 x \, d{x}\text{.}\)
If
\[ F(x)=\int_0^x \log(2+\sin t)\,\, d{t}\quad\text{and}\quad G(y)=\int^0_y \log(2+\sin t)\,\, d{t} \nonumber \]
find \(F'\big(\frac{\pi}{2}\big)\) and \(G'\big(\frac{\pi}{2}\big)\text{.}\)
Let \(f(x)=\displaystyle\int_1^x 100(t^23t+2)e^{t^2}\, d{t}\text{.}\) Find the interval(s) on which \(f\) is increasing.
If \(F(x)={\displaystyle\int_0^{\cos x} \frac{1}{t^3+6}\,\, d{t}}\text{,}\) find \(F'(x)\text{.}\)
Compute \(f'(x)\) where \(f(x)= \displaystyle\int_0^{1+x^4}e^{t^2}\, d{t}\text{.}\)
Evaluate \(\displaystyle\frac{d}{dx}\left\{\int_0^{\sin x}(t^6+8)\, d{t}\right\}\text{.}\)
Let \(F(x)= \displaystyle\int_0^{x^3}e^{t}\sin\left(\frac{\pi t}{2}\right)\,\, d{t}\text{.}\) Calculate \(F'(1)\text{.}\)
Find \(\displaystyle \dfrac{d}{du} \left\{ \int_{\cos u}^0 \frac{\, d{t}}{1+t^3} \right\}\text{.}\)
Find \(f(x)\) if \(x^2=1+\displaystyle\int_1^x f(t)\, d{t}\text{.}\)
If \(x \sin(\pi x) = \displaystyle\int_0^x f(t)\, \, d{t}\) where \(f\) is a continuous function, find \(f(4)\text{.}\)
Consider the function \(\displaystyle F(x)=\int_0^{x^2} e^{t}\,\, d{t} +\int_{x}^0 e^{t^2}\,\, d{t}\text{.}\)
 Find \(F'(x)\text{.}\)
 Find the value of \(x\) for which \(F(x)\) takes its minimum value.
If \(F(x)\) is defined by \(\displaystyle F(x) = \int_{x^4x^3}^x e^{\sin t}\,\, d{t}\text{,}\) find \(F'(x)\text{.}\)
Evaluate \(\displaystyle \frac{d}{dx}\bigg\{\int_{x^5}^{x^2} \cos\big(e^t\big)\,\, d{t} \bigg\}\text{.}\)
Differentiate \(\displaystyle \int_x^{e^x} \sqrt{\sin t}\,\, d{t}\) for \(0\lt x\lt \log \pi\text{.}\)
Evaluate \(\displaystyle \int_1^5 f(x)\,\, d{x}\text{,}\) where \(\displaystyle f(x)= \begin{cases} 3 &\text{ if $x\le 3$} \\ x &\text{ if $x\ge 3$} \end{cases}\text{.}\)
Stage 3
If \(f'(1)=2\) and \(f'(2)=3\text{,}\) find \(\displaystyle\int_1^2 f'(x) f''(x)\,\, d{x}\text{.}\)
A car traveling at \(30\,\textrm{m}/\textrm{s}\) applies its brakes at time \(t=0\text{,}\) its velocity (in \(\textrm{m}/\textrm{s}\)) decreasing according to the formula \(v(t) = 30  10t\text{.}\) How far does the car go before it stops?
Compute \(f'(x)\) where \(f(x)= \displaystyle\int_0^{2xx^2}\log\big(1+e^t\big)\,\, d{t}\text{.}\) Does \(f(x)\) have an absolute maximum? Explain.
Find the minimum value of \(\displaystyle\int_0^{x^22x}\frac{\, d{t}}{1+t^4}\text{.}\) Express your answer as an integral.
Define the function \(F(x)=\displaystyle\int_0^{x^2}\sin(\sqrt{t})\,\, d{t}\) on the interval \(0 \lt x \lt 4\text{.}\) On this interval, where does \(F(x)\) have a maximum?
Evaluate \(\lim\limits_{n\rightarrow\infty}\dfrac{\pi}{n}\displaystyle\sum\limits_{j=1}^n \sin\left(\frac{j\pi}{n}\right)\) by interpreting it as a limit of Riemann sums.
Use Riemann sums to evaluate the limit \(\displaystyle\lim_{n\rightarrow\infty}\frac{1}{n} \sum_{j=1}^n \frac{1}{1+\frac{j}{n}}\ .\)
Below is the graph of \(y=f(t)\text{,}\) \(5 \leq t \leq 5\text{.}\) Define \(F(x) = \displaystyle\int_{0}^x f(t)\, d{t}\) for any \(x\) in \([5,5]\text{.}\) Sketch \(F(x)\text{.}\)
Define \(f(x)=x^3\displaystyle\int_{0}^{x^3+1} e^{t^3} \, d{t}\text{.}\)
 Find a formula for the derivative \(f'(x)\text{.}\) (Your formula may include in integral sign.)
 Find the equation of the tangent line to the graph of \(y=f(x)\) at \(x=1\text{.}\)
Two students calculate \(\int f(x)\, d{x}\) for some function \(f(x)\text{.}\)
 Student A calculates \(\int f(x)\, d{x} = \tan^2 x + x + C\)
 Student B calculates \(\int f(x)\, d{x} = \sec^2 x + x + C\)
 It is a fact that \(\frac{d}{dx}\{\tan^2 x\} = f(x)1\)
Who ended up with the correct answer?
Let \(F(x)=\displaystyle\int_0^x x^3 \sin(t)\, d{t}\text{.}\)
 Evaluate \(F(3)\text{.}\)
 What is \(F'(x)\text{?}\)
Let \(f(x)\) be an even function, defined everywhere, and let \(F(x)\) be an antiderivative of \(f(x)\text{.}\) Is \(F(x)\) even, odd, or not necessarily either one? (You may use your answer from Section 1.2, Question 1.2.3.20. )
 You learned these near the end of your differential calculus course. Now is a good time to revise — but we'll go over them here since they are so important in what follows.
 Notice that if \(f\) were discontinuous, then this might be false.
 The MVT tells us that there is a number \(c\) between \(x\) and \(x+h\) so that \(F'(c) = \frac{F(x+h)F(x)}{(x+h)x} = \frac{F(x+h)F(x)}{h}\text{.}\) But since \(F'(x) = f(x)\text{,}\) this tells us that \(\frac{F(x+h)F(x)}{h} = f(c)\) where \(c\) is trapped between \(x+h\) and \(x\text{.}\) Now when we take the limit as \(h \to 0\) we have that this number \(c\) is squeezed to \(x\) and the result follows.
 The integral \(\int_0^x e^{t^2} \, d{t}\) is closely related to the “error function” which is an extremely important function in mathematics. While we cannot express this integral (or the error function) as a finite combination of polynomials, exponentials etc, we can express it as an infinite series \(\int_0^x e^{t^2}\, d{t} = x  \frac{x^3}{3\cdot 1} + \frac{x^5}{5\cdot 2}  \frac{x^7}{7\cdot 3!} + \frac{x^9}{9\cdot 4!} +\cdots + (1)^k \frac{x^{2k+1}}{(2k+1)\cdot k!} + \cdots\text{.}\) But more on this in Chapter 3.
 This follows from the Mean Value Theorem. Say \(H(x)\) were not constant, then there would be two numbers \(a \lt b\) so that \(H(a)\neq H(b)\text{.}\) Then the MVT tells us that there is a number \(c\) between \(a\) and \(b\) so that \(H'(c) = \frac{H(b)H(a)}{ba}.\) Since both numerator and denominator are nonzero, we know the derivative at \(c\) is nonzero. But this would contradict the assumption that derivative of \(H\) is zero. Hence we cannot have \(a \lt b\) with \(H(a)\neq H(b)\) and so \(H(x)\) must be constant.
 Of course, this assumes that you did your differential calculus course last term. If you did that course at a different time then please think back to that point in time. If it is long enough ago that you don't quite remember when it was, then you should probably do some revision of derivatives of simple functions before proceeding further.
 Recall that in most mathematics courses (especially this one) we use \(\log x\) without any indicated base to denote the natural logarithm — the logarithm base \(e\text{.}\) Many widely used computer languages, like Java, C, Python, MATLAB, \(\cdots\text{,}\) use \(\log(x)\) to denote the logarithm base \(e\) too. But many texts also use \(\ln x\) to denote the natural logarithm \(\log x = \log_e x = \ln x.\) The reader should be comfortable with all three notations for this function. They should also be aware that in different contexts — such as in chemistry or physics — it is common to use \(\log x\) to denote the logarithm base 10, while in computer science often \(\log x\) denotes the logarithm base 2. Context is key.
 This is not entirely true — one can extend the definition of the logarithm to negative numbers, but to do so one needs to understand complex numbers which is a topic beyond the scope of this course.