# Fundamental Theorem of Calculus


{{< include ../_common_code.qmd >}}

This section uses these add-on packages:


```{julia}
using CalculusWithJulia
using Plots; plotly()
using SymPy
using Roots
using QuadGK
```



---

The Fundamental Theorem of Calculus (FTC) details the interconnectivity between the operations of integration and differentiation. Two questions come up. First:

> What is the derivative of the integral?

That is, can we find the derivative of $\int_a^x f(u) du$ for some fixed $a$? (The derivative in $x$, the variable $u$ is a dummy variable of integration.)


The other question is:

> What is the definite integral of the derivative?

That is, what is $A = \int_a^b f'(x) dx$? (Assuming $f'$ is continuous.)

These questions are answered in the following theorem:

::: {.theorem title="The fundamental theorem of calculus"}

Part 1: Let $f$ be a continuous function on a closed interval $[a,b]$ and define $F(x) = \int_a^x f(u) du$ for $a \leq x \leq b$. Then $F$ is continuous on $[a,b]$, differentiable on $(a,b)$ and moreover, $F'(x) =f(x)$.

Part 2: Now suppose $f$ is any integrable function on a closed interval $[a,b]$ and $F(x)$ is *any* differentiable function on $[a,b]$ with $F'(x) = f(x)$. Then $\int_a^b f(x)dx=F(b)-F(a)$.

:::




:::{.callout-note}
## Note
In Part 1, the integral $F(x) = \int_a^x f(u) du$ is defined for any Riemann integrable function, $f$. If the function is not continuous, then it is true the $F$ will be continuous, but it need not be true that it is differentiable at all points in $(a,b)$. Forming $F$ from $f$ is a form of *smoothing*. It makes a continuous function out of an integrable one, a differentiable function from a continuous one, and a $k+1$-times differentiable function from a $k$-times differentiable one.

:::

To motivate these statements, we refer to the example from the section on transformations^[XXX(../precalc/transformations.html#two_operators_D_S)] where two operators on functions were defined by what they do to some $k$:


$$
\begin{align*}
D(f)(k) &= f(k) - f(k-1),\\
S(f)(k) &= f(1) + f(2) + \cdots + f(k).
\end{align*}
$$

It was remarked that the following relationships hold, a consequence of the inverse relationship between addition and subtraction:

$$
\begin{align*}
D(S(f))(k) &= f(k),\\
S(D(f))(k) &= f(k) - f(0).
\end{align*}
$$

These two relationships analogs of the [Fundamental theorem of calculus](http://en.wikipedia.org/wiki/Fundamental_theorem_of_calculus).


We will see that with suitable rewriting, the derivative of a function is related to a certain limit of `D(f)` and the definite integral of a function is related to a certain limit of `S(f)`. The addition and subtraction rules encapsulated in the relations above then generalize to these calculus counterparts.

---

To explore the first part of the FTC, let's look first at the integral using the right-Riemann sum, again using $h=(b-a)/n$:


$$
\begin{align*}
\int_a^b f(u) du &\approx f(a + 1h)h + f(a + 2h)h + \cdots + f(a +nh)h \\
&= S(g)(n),
\end{align*}
$$

where we define $g(i) = f(a + ih)h$. In the above, $n$ relates to $b$, but we could have stopped accumulating at any value. The analog for $S(g)(k)$ would be $\int_a^x f(u) du$ where $x = a + kh$. That is we can make a function out of integration by considering the mapping $(x, \int_a^x f(u) du)$. This might be written as $F(x) = \int_a^x f(u)du$.  With this definition, can we take a derivative in $x$?


Again, we fix a large $n$ and let $h=(b-a)/n$. And suppose $x = a + Mh$ for some $M$. Then writing out the approximations to both the definite integral and the derivative we have


$$
\begin{align*}
F'(x) = & \frac{d}{dx} \int_a^x f(u) du \\
& \approx \frac{F(x) - F(x-h)}{h} \\
&= \frac{\int_a^x f(u) du - \int_a^{x-h} f(u) du}{h}\\
& \approx \frac{\left(f(a + 1h)h + f(a + 2h)h + \cdots + f(a + (M-1)h)h + f(a + Mh)h\right)}{h}\\
&- \quad
\frac{\left(f(a + 1h)h + f(a + 2h)h + \cdots + f(a + (M-1)h)h \right)}{h} \\
& = \left(f(a + 1h) + \quad f(a + 2h) + \cdots + f(a + (M-1)h) + f(a + Mh)\right)\\
&- \quad
\left(f(a + 1h) + f(a + 2h) + \cdots + f(a + (M-1)h) \right) \\
&= f(a + Mh).
\end{align*}
$$


If $g(i) = f(a + ih)$, then the above becomes


$$
\begin{align*}
F'(x) & \approx D(S(g))(M) \\
&= f(a + Mh)\\
&= f(x).
\end{align*}
$$


That is $F'(x) \approx f(x)$.


In the limit as $n\rightarrow \infty$, we would expect that:


$$
\frac{d}{dx} \int_a^x f(u) du = f(x).
$$


To investigate the integral of a derivative, we begin with the right Riemann sum for $\int_a^b f'(x)dx$ using $h = (b-a)/n$:

$$
A \approx S_n = \sum_{i=1}^n f'(a + ih) \cdot h.
$$

But the mean value theorem says that for small $h$ we have $f'(x) \approx (f(x) - f(x-h))/h$. Using this approximation with $x=a+ih$ gives, after canceling an $h$:

$$
A \approx
\sum_{i=1}^n \left(f(a + ih) - f(a + (i-1)h)\right).
$$

If we let $g(i) = f(a + ih)$, then the summand above is just $g(i) - g(i-1) = D(g)(i)$ and the above then is just the sum of the $D(g)(i)$s, or:


$$
A \approx S(D(g))(n) = g(n) - g(0).
$$

But $g(n) - g(0) = f(a + nh) - f(a + 0h) = f(b) - f(a)$. That is, we expect that the $\approx$ in the limit as $n\rightarrow \infty$ becomes $=$, or:


$$
\int_a^b f'(x) dx = f(b) - f(a).
$$


@fig-FTC-derivative relates the area under some continuous $f(x)$ from $a$ to both $x$ and $x+h$ for some small $h$ to help visualize the two fundamental theorems.

::: {#fig-FTC-derivative}
```{julia}
#| echo: false
let
    gr()
	f(x) = sin(x)
	A(x) = cos(x)
	a,b = 0, 6pi/13
	h = pi/20
	xs = range(a, b, 100)

	p1 = plot(; empty_style...)
	plot!([0,0] .- 0.05,[-0.1, 1]; line=(:gray,1), arrow=true, side=:head)
	plot!([-0.1, b+h + pi/10], [0,0]; line=(:gray,1), arrow=true, side=:head)
	xs = range(a, b, 100)
	S = Shape(vcat(xs, reverse(xs)), vcat(f.(xs), zero.(xs)))
	plot!(S; fill=(:gray90, 0.25), line=(nothing,))
	plot!(f, a, b+h; line=(:black, 2))

	xs = range(b, b+h, 100)
	S = Shape(vcat(xs, reverse(xs)), vcat(f.(xs), zero.(xs)))
	plot!(S; fill=(:gray70, 0.25), line=(nothing,))

	plot!([b,b,b+h,b+h],[0,f(b),f(b),0]; line=(:black,1,:dash))

	annotate!([
	(a,0,text(L"a", :top, :left)),
		(b, 0, text(L"x", :top)),
		(b+h,0,text(L"x+h", :top)),
		(2b/3, 1/2, text(L"A(x)")),
		(b + h/2, 1/2, text(L"A(x+h)-A(x) \approx f(x)\cdot h", rotation=90))

	])

    current()
end
```

```{julia}
#| echo: false
plotly()
nothing
```

Area under curve between $a$ and $b$ labeled with $A(b)$ for $b=x$ and $b=x+h$.

:::

The last rectangle is exactly $f(x)h$ and approximately $A(x+h)-A(x)$, the difference being the small cap above the shaded rectangle. This gives the approximate derivative:

$$
A'(x) \approx \frac{A(x+h) - A(x)}{h} \approx \frac{f(x)\cdot h}{h} = f(x)
$$

That is, by taking limits,  $A(x) = \int_a^x f(u) du$ is an antiderivative of $f(x)$. Moreover, from geometric considerations of area, if $a < c < b$, then

$$
A(b) - A(c) = \int_a^b f(x) dx - \int_a^c f(x) dx = \int_c^b f(x) dx
$$

That is $A(x)$ satisfies the two parts of the fundamental theorem.

## Using the fundamental theorem of calculus to evaluate definite integrals


The most visible use of the FTC is the computation of definite integrals, $\int_a^b f(x) dx$. Rather than resort to Riemann sums or geometric arguments, there is an alternative---*when possible*: find a function $F$ with $F'(x) = f(x)$ and compute $F(b) - F(a)$.


Some examples:


* Consider the problem of Archimedes, $\int_0^1 x^2 dx$. Clearly, we have with $f(x) = x^2$ that $F(x)=x^3/3$ will satisfy the assumptions of the FTC, so that:


$$
\int_0^1 x^2 dx = F(1) - F(0) = \frac{1^3}{3} - \frac{0^3}{3} = \frac{1}{3}.
$$

* More generally, we know if $n\neq-1$ that if $f(x) = x^{n}$, that


$$
F(x) = x^{n+1}/(n+1)
$$

will satisfy $F'(x)=f(x)$, so that


$$
\int_a^b x^n dx = \frac{b^{n+1} - a^{n+1}}{n+1}, \quad n\neq -1.
$$

(Well almost! We must be careful to know that $a \cdot b > 0$, as otherwise we will encounter a place where $f(x)$ may not be integrable.)


We note that the above includes the case of a constant, or $n=0$.


What about the case $n=-1$, or $f(x) = 1/x$, that is not covered by the above? For this special case, it is known that $F(x) = \log(x)$ (natural log) will have $F'(x) = 1/x$. This gives for $0 < a < b$:


$$
\int_a^b \frac{1}{x} dx = \log(b) - \log(a).
$$

* Let $f(x) = \cos(x)$. How much area is between $-\pi/2$ and $\pi/2$? We have that $F(x) = \sin(x)$ will have $F'(x) = f(x)$, so:


$$
\int_{-\pi/2}^{\pi/2} \cos(x) dx = F(\pi/2) - F(-\pi/2) = 1 - (-1) = 2.
$$

### An alternate notation


The expression $F(b) - F(a)$ is often written in this more compact form:


$$
\int_a^b f(x) dx = F(b) - F(a) = F(x)\Big|_{x=a}^b, \text{ or just expr}\Big|_{x=a}^b.
$$

The vertical bar is used for the *evaluation* step, in this case the $a$ and $b$ mirror that of the definite integral. This notation lends itself to working "inline", as we illustrate with this next problem where we "know" a function "$F$", so just express it inline:


$$
\int_0^{\pi/4} \sec^2(x) dx = \tan(x) \Big|_{x=0}^{\pi/4} = 1 - 0 = 1.
$$

A consequence of this notation is:


$$
F(x) \Big|_{x=a}^b = -F(x) \Big|_{x=b}^a.
$$

This says nothing more than $F(b)-F(a) = -F(a) - (-F(b))$, though more compactly.


## The indefinite integral


A function $F(x)$ with $F'(x) = f(x)$ is known as an *antiderivative* of $f$. For a given $f$, there are infinitely many antiderivatives: if $F(x)$ is one, then so is $G(x) = F(x) + C$. But---due to the mean value theorem---all antiderivatives for $f$ differ at most by a constant.


The **indefinite integral** of $f(x)$ is denoted by:


$$
\int f(x) dx.
$$

(There are no limits of integration.) There are two possible definitions: this refers to the set of *all* antiderivatives, or is just one of the set of all antiderivatives for $f$. The former gives rise to expressions such as


$$
\int x^2 dx = \frac{x^3}{3} + C
$$

where $C$ is the *constant of integration* and isn't really a fixed constant, but any possible constant. These notes will follow the lead of `SymPy` and not give a $C$ in the expression, but instead rely on the reader to understand that there could be many other possible expressions given, though all differ by no more than a constant. This means, that $\int f(x) dx$ refers to *an* antiderivative, not *the* collection of all antiderivatives.


### The `integrate` function from `SymPy`


`SymPy` provides the `integrate` function to perform integration. There are two usages:


  * `integrate(ex, var)` to find an antiderivative
  * `integrate(ex, (var, a, b))` to find the definite integral. This integrates the expression in the variable `var` from `a` to `b`.


To illustrate, this call finds an antiderivative for $\sin(x)$:


```{julia}
@syms x
integrate(sin(x),x)
```

Whereas, this call computes the "area" under $f(x)$ between `a` and `b`:


```{julia}
integrate(sin(x), (x, 0, pi))
```

As does this for a different function:


```{julia}
integrate(acos(1-x), (x, 0, 2))
```

Answers may depend on conditions, as here, where the case $n=-1$ breaks a pattern:


```{julia}
#| hold: true
@syms x::real n::real
integrate(x^n, x)          # indefinite integral
```

Answers may depend on specific assumptions:


```{julia}
#| hold: true
@syms u
integrate(abs(u),u)
```

Yet


```{julia}
#| hold: true
@syms u::real
integrate(abs(u),u)
```

Answers may not be available as elementary functions, but there may be special functions that have special cases.


```{julia}
#| hold: true
@syms x::real
integrate(x / sqrt(1-x^3), x)
```

Different cases explored by `integrate` are mentioned after the questions.


## Rules of integration


There are some "rules" of integration that allow indefinite integrals to be re-expressed.


::: {.relationship title = "The integral of a constant times a function"}

$$
\int c \cdot f(x) dx = c \cdot \int f(x) dx.
$$
:::

This follows as if $F(x)$ is an antiderivative of $f(x)$, then $[cF(x)]' = c f(x)$ by rules of derivatives.


::: {.relationship title="The integral of a sum of functions"}


$$
\int (f(x) + g(x)) dx = \int f(x) dx + \int g(x) dx.
$$
:::

This follows immediately as if $F(x)$ and $G(x)$ are antiderivatives of $f(x)$ and $g(x)$, then $[F(x) + G(x)]' = f(x) + g(x)$, so the right hand side will have a derivative of $f(x) + g(x)$.


In fact, this more general form where $c$ and $d$ are constants covers both cases and referred to by the linearity of the integral:

::: {.relationship title="The integral of a linear combination of functions"}
$$
\int (cf(x) + dg(x)) dx = c \int f(x) dx + d \int g(x) dx.
$$
:::

This statement is nothing more than the derivative formula for a linear combination of functions, $[cf(x) + dg(x)]' = cf'(x) + dg'(x)$. The product rule gives rise to a technique called *integration by parts* and the chain rule gives rise to a technique of *integration by substitution*, but we defer those discussions to other sections.


##### Examples


* The antiderivative of the polynomial $p(x) = a_n x^n + \cdots + a_1 x + a_0$ follows from the linearity of the integral and the general power rule:


$$
\begin{align*}
\int (a_n x^n + \cdots + a_1 x + a_0) dx
&= \int a_nx^n dx + \cdots + \int a_1 x dx + \int a_0 dx                   \\
&= a_n \int x^n dx + \cdots +  a_1 \int x^1 dx + a_0 \int x^0 dx                   \\
&= a_n\frac{x^{n+1}}{n+1} + \cdots +  a_1 \frac{x^2}{2} +  a_0 \frac{x}{1}.
\end{align*}
$$


* More generally, a [Laurent](https://en.wikipedia.org/wiki/Laurent_polynomial) polynomial allows for terms with negative powers. These too can be handled by the above. For example


$$
\begin{align*}
\int (\frac{2}{x} + 2 + 2x) dx
&= \int \frac{2}{x} dx + \int 2 dx + \int 2x dx \\
&= 2\int \frac{1}{x} dx + 2 \int dx + 2 \int xdx\\
&= 2\log(x) + 2x + 2\frac{x^2}{2}.
\end{align*}
$$


  * Consider this integral:


$$
\int_0^\pi 100 \sin(x) dx = F(\pi) - F(0),
$$

where $F(x)$ is an antiderivative of $100\sin(x)$. But:


$$
\int 100 \sin(x) dx = 100 \int \sin(x) dx = 100 (-\cos(x)).
$$

So the answer to the question is


$$
\begin{align*}
\int_0^\pi 100 \sin(x) dx &= (100 (-\cos(\pi)))  - (100(-\cos(0)))\\
&= (100(-(-1))) - (100(-1)) \\
&= 200.
\end{align*}
$$

This seems like a lot of work, and indeed it is more than is needed. The following would be more typical once the rules are learned:


$$
\begin{align*}
\int_0^\pi 100 \sin(x) dx &= 100(-\cos(x)) \Big|_0^{\pi} = 100 \cos(x) \Big|_{\pi}^0 \\
&= 100(1) - 100(-1) = 200.
\end{align*}
$$

## The derivative of the integral




The relationship that $[\int_a^x f(u) du]' = f(x)$ is a bit harder to appreciate, as it doesn't help answer many ready made questions. Here we give some examples of its use.


First, the expression defining an antiderivative, or indefinite integral, is given in term of a definite integral:


$$
F(x) = \int_a^x f(u) du.
$$

The value of $a$ does not matter, as long as the integral is defined. This $F$ satisfies the first fundamental theorem, as $F(a)=0$.





```{julia}
#| hold: true
#| echo: false
#| eval: false
##{{{ftc_graph}}}
gr()
function make_ftc_graph(n)
    a, b = 2, 3
    ts = range(0, stop=b, length=50)
    xs = range(a, stop=b, length=8)
    g(x) = x
    G(x) = x^2/2

    xn,xn1 = xs[n:(n+1)]
    xbar = (xn+xn1)/2
    rxs = collect(range(xn, stop=xn1, length=2))
    rys = map(g, rxs)

    p = plot(g, 0, b, legend=false, size=fig_size, xlim=(0,3.25), ylim=(0,5))
    plot!(p, [xn, rxs..., xn1], [0,rys...,0], linetype=:polygon, color=:orange)
    plot!(p, [xn1, xn1], [G(xn), G(xn1)], color=:orange, alpha = 0.25)
    annotate!(p, collect(zip([xn1, xn1], [G(xn1)/2, G(xn1)], ["A", "A"])))

    p
end

caption = L"""

Illustration showing $F(x) = \int_a^x f(u) du$ is a function that
accumulates area. The value of $A$ is the area over $[x_{n-1}, x_n]$
and also the difference $F(x_n) - F(x_{n-1})$.

"""

n = 7

anim = @animate for i=1:n
    make_ftc_graph(i)
end

imgfile = tempname() * ".gif"
gif(anim, imgfile, fps = 1)
plotly()
ImageFile(imgfile, caption)

#The picture for this, for non-negative $f$, is of accumulating area as $x$ increases. It can be used to give insight into some formulas:
```


For any function, we know that $F(b) - F(c) + F(c) - F(a) = F(b) - F(a)$. For this specific function, this translates into this property of the integral:


$$
\int_a^b f(x) dx = \int_a^c f(x) dx + \int_c^b f(x) dx.
$$

Similarly, $\int_a^a f(x) dx = F(a) - F(a) = 0$ follows.


To see that the value of $a$ does not matter,  consider $a_0 < a_1$. Then we have with


$$
F(x) = \int_{a_0}^x f(u)du, \quad G(x) = \int_{a_1}^x f(u)du,
$$

That $F(x) = G(x) + \int_{a_0}^{a_1} f(u) du$. The additional part may look complicated, but the point is that as far as $x$ is involved, it is a constant. Hence both $F$ and $G$ are antiderivatives if either one is.


##### Example


From the familiar formula rate $\times$ time $=$ distance, we "know," for example, that a car traveling 60 miles an hour for one hour will have traveled 60 miles. This allows us to translate statements about the speed (or more generally velocity) into statements about position at a given time. If the speed is not constant, we don't have such an easy conversion.


Suppose our velocity at time $t$ is $v(t)$, and always positive. We want to find the position at time $t$, $x(t)$. Let's assume $x(0) = 0$. Let $h$ be some small time step, say $h=(t - 0)/n$ for some large $n>0$. Then we can *approximate* $v(t)$ between $[ih, (i+1)h)$ by $v(ih)$.  This is a constant so the change in position over the time interval $[ih, (i+1)h)$ would simply be $v(ih) \cdot h$, and ignoring the accumulated errors, the approximate position at time $t$ would be found by adding this pieces together: $x(t) \approx v(0h)\cdot h + v(1h)\cdot h + v(2h) \cdot h + \cdots + v(nh)h$. But we recognize this (as did [Beeckman](http://www.math.harvard.edu/~knill/teaching/math1a_2011/exhibits/bressoud/) in 1618) as nothing more than an approximation for the Riemann sum of $v$ over the interval $[0, t]$. That is, we expect:


$$
x(t) = \int_0^t v(u) du.
$$

Hopefully this makes sense: our position is the result of accumulating our change in position over small units of time. The old one-foot-in-front-of-another approach to walking out the door.


The above was simplified by the assumption that $x(0) = 0$. What if $x(0) = x_0$ for some non-zero value. Then the above is not exactly correct, as $\int_0^0 v(u) du = 0$. So instead, we might write this more concretely as:


$$
x(t) = x_0 + \int_0^t v(u) du.
$$

There is a similar relationship between velocity and acceleration, but let's think about it formally. If we know that the acceleration is the rate of change of velocity, then we have $a(t) = v'(t)$. By the FTC, then


$$
\int_0^t a(u) du = \int_0^t v'(t) = v(t) - v(0).
$$

Rewriting gives a similar statement as before:


$$
v(t) = v_0 + \int_0^t a(u) du.
$$

##### Example


In probability theory, for a positive, continuous random variable, the probability that the random value is less than $a$ is given by $P(X \leq a) = F(a) = \int_{0}^a f(x) dx$. (Positive means the integral starts at $0$, whereas in general it could be $-\infty$, a minor complication that we haven't yet  discussed.)


For example, the exponential distribution with rate $1$ has $f(x) = e^{-x}$. Compute $F(x)$.


This is just $F(x) = \int_0^x e^{-u} du = -e^{-u}\Big|_0^x = 1 - e^{-x}$.


The "uniform" distribution on $[a,b]$ has


$$
F(x) =
\begin{cases}
0               & x < a\\
\frac{x-a}{b-a} & a \leq x \leq b\\
1               & x > b
\end{cases}
$$

Find $f(x)$. There are some subtleties here. If we assume that $F(x) = \int_0^x f(u) du$ then we know if $f(x)$ is continuous that $F'(x) = f(x)$. Differentiating we get


$$
f(x) = \begin{cases}
0             & x < a\\
\frac{1}{b-a} & a < x < b\\
0             & x > b
\end{cases}
$$

However, the function  $f$  is *not* continuous on $[a,b]$ and $F'(x)$ is not differentiable on $(a,b)$. It is true that $f$ is integrable, and where $F$ is differentiable $F'=f$. So $f$ is determined except possibly at the points $x=a$ and $x=b$.


##### Example


The error function is defined by $\text{erf}(x) = 2/\sqrt{\pi}\int_0^x e^{-u^2} du$. It is implemented in `Julia` through `erf`. Suppose, we were to ask where it takes on it's maximum value, what would we find?


The answer will either be at a critical point, at $0$ or as $x$ goes to $\infty$. We can differentiate to find critical points:


$$
[\text{erf}(x)]' = \frac{2}{\sqrt{\pi}}e^{-x^2}.
$$

Oh, this is never $0$, so there are no critical points. The maximum occurs at $0$ or as $x$ goes to $\infty$. Clearly at $0$, we have $\text{erf}(0)=0$, so the answer will be as $x$ goes to $\infty$.


In retrospect, this is a silly question. As $f(x) > 0$ for all $x$, we *must* have that $F(x)$ is strictly increasing, so never gets to a local maximum.


##### Example


The [Dawson](http://en.wikipedia.org/wiki/Dawson_function) function is


$$
F(x) = e^{-x^2} \int_0^x e^{t^2} dt
$$

Characterize any local maxima or minima.


For this we need to consider the product rule. The fundamental theorem of calculus will help with the right-hand side. We have:


$$
F'(x) = (-2x)e^{-x^2} \int_0^x e^{t^2} dt + e^{-x^2} e^{x^2} = -2x F(x) + 1
$$

We need to figure out when this is $0$. For that, we use some numeric math.


```{julia}
F(x) = exp(-x^2) * quadgk(t -> exp(t^2), 0, x)[1]
Fp(x) = -2x * F(x) + 1
cps = find_zeros(Fp, -4, 4)
```

We could take a second derivative to characterize. For that we use $F''(x) = [-2xF(x) + 1]' = -2F(x) + -2x(-2xF(x) + 1)$, so


```{julia}
Fpp(x) = -2F(x) + 4x^2*F(x) - 2x
Fpp.(cps)
```

The first value being positive says there is a relative minimum at $-0.924139$, at $0.924139$ there is a relative maximum.


##### Example


Returning to probability, suppose there are $n$ positive random numbers $X_1$, $X_2$, ..., $X_n$. A natural question might be to ask what formulas describes the largest of these values, assuming each is identical in some way. A description that is helpful is to define $F(a) = P(X \leq a)$ for some random number $X$. That is the probability that $X$ is less than or equal to $a$ is $F(a)$. For many situations, there is a *density* function, $f$, for which $F(a) = \int_0^a f(x) dx$.


Under assumptions that the $X$ are identical and independent, the largest value, $M$, may be characterized by $P(M \leq a) = \left[F(a)\right]^n$. Using $f$ and $F$ describe the derivative of this expression.


This problem is constructed to take advantage of the FTC, and we have:


$$
\begin{align*}
\left[P(M \leq a)\right]'
&= \left[F(a)^n\right]'\\
&= n \cdot F(a)^{n-1} \left[F(a)\right]'\\
&= n F(a)^{n-1}f(a)
\end{align*}
$$


##### Example


Suppose again probabilities of a random number between $0$ and $1$, say, are given by a positive, continuous function $f(x)$on $(0,1)$ by $F(a) = P(X \leq a) = \int_0^a f(x) dx$. The median value of the random number is a value of $a$ for which $P(X \leq a) = 1/2$. Such an $a$ makes $X$ a coin toss – betting if $X$ is less than $a$ is like betting on heads to come up. More generally the $q$th quantile of $X$ is a number $a$ with $P(X \leq a) = q$. The definition is fine, but for a given $f$ and $q$ can we find $a$?


Abstractly, we are solving $F(a) = q$ or $F(a)-q = 0$ for $a$. That is, this is a zero-finding question. We have discussed different options for this problem: bisection, a range of derivative free methods, and Newton's method. As evaluating $F$ involves an integral, which may involve many evaluations of $f$, a method which converges quickly is preferred. For that, Newton's method is a good idea, it having quadratic convergence in this case, as $a$ is a simple zero given that $F$ is increasing under the assumptions above.


Newton's method involves the update step `x = x - f(x)/f'(x)`. For this "$f$" is $h(x) = \int_0^x f(u) du - q$. The derivative is easy, the FTC just applies: $h'(x) = f(x)$; no need for automatic differentiation, which may not even apply to this setup.


To do a concrete example, we take the [Beta](https://en.wikipedia.org/wiki/Beta_distribution)($\alpha, \beta$) distribution ($\alpha, \beta > 0$)  which has density, $f$, over $[0,1]$ given by


$$
f(x) = x^{\alpha-1}\cdot (1-x)^{\beta-1} \cdot \frac{\Gamma(\alpha+\beta)}{\Gamma(\alpha)\Gamma(\beta)}
$$

The Wikipedia link above gives an approximate answer for the median of $(\alpha-1/3)/(\alpha+\beta-2/3)$ when $\alpha,\beta > 1$. Let's see how correct this is when $\alpha=5$ and $\beta=6$. The `gamma` function used below implements $\Gamma$. It is in the `SpecialFunctions` package, which is loaded with the `CalculusWithJulia` package.


```{julia}
alpha, beta = 5,6
f(x) = x^(alpha-1)*(1-x)^(beta-1) * gamma(alpha + beta) / (gamma(alpha) * gamma(beta))
q = 1/2
h(x) = first(quadgk(f, 0, x)) - q
hp(x) =  f(x)

x0 = (alpha-1/3)/(alpha + beta - 2/3)
xstar = find_zero((h, hp), x0, Roots.Newton())

xstar, x0
```

The asymptotic answer agrees with the answer in the first four decimal places.


As an aside, we ask how many function evaluations were taken? We can track this with a trick---using a closure to record when $f$ is called:


```{julia}
function FnWrapper(f)
    ctr = 0
    function(x)
        ctr += 1
        f(x)
    end
end
```

Then we have the above using `FnWrapper(f)` in place of `f`:


```{julia}
#| hold: true
ff = FnWrapper(f)
F(x) = first(quadgk(ff, 0, x))
h(x) = F(x) - q
hp(x) =  ff(x)
xstar = find_zero((h, hp), x0, Roots.Newton())
xstar, ff.ctr
```

So the answer is the same. Newton's method converged in 3 steps, and called `h` or `hp` 5 times.


Assuming the number inside `Core.Box` is the value of `ctr`, we see not so many function calls, just $48$.


Were `f` very expensive to compute or `h` expensive to compute (which can happen if, say, `f` were highly oscillatory) then steps could be made to cut this number down, such as evaluating $F(x_n) = \int_{0}^{x_n} f(x) dx$, using linearity, as $\int_0^{x_0} f(x) dx + \int_{x_0}^{x_1}f(x)dx + \int_{x_1}^{x_2}f(x)dx + \cdots + \int_{x_{n-1}}^{x_n}f(x)dx$. Then all but the last term could be stored from the previous steps of Newton's method. The last term presumably being less costly as it would typically involve a small interval.


:::{.callout-note}
## Note
The trick using a closure relies on an internal way of accessing elements in a closure. The same trick could be implemented many different ways which aren't reliant on undocumented internals, this approach was just a tad more convenient. It shouldn't be copied for work intended for distribution, as the internals may change without notice or deprecation.

:::

##### Example


A junior engineer at `Treadmillz.com` is tasked with updating the display of calories burned for an older-model treadmill. The old display involved a sequence of LED "dots" that updated each minute. The last 10 minutes were displayed. Each dot corresponded to one calorie burned, so the total number of calories burned in the past 10 minutes was the number of dots displayed, or the sum of each column of dots. An example might be:


```{julia}
#| eval: false

  **
  ****
  *****
 ********
**********
```

In this example display there was 1 calorie burned in the first minute, then 2, then 5, 5, 4, 4, 3, 2, 2, 1. The total is $29$.


In her work the junior engineer found this old function for updating the display


```{julia}
#| eval: false
function cnew = update(Cnew, Cold)
  cnew = Cnew - Cold
end
```

She discovered that the function was written awhile ago, and in MATLAB. The function receives the values `Cnew` and `Cold` which indicate the *total* number of calories burned up until that time frame. The value `cnew` is the number of calories burned in the minute. (Some other engineer has cleverly figured out how many calories have been burned during the time on the machine.)


The new display will have twice as many dots, so the display can be updated every 30 seconds and still display 10 minutes worth of data. What should the `update` function now look like?


Her first attempt was simply to rewrite the function in `Julia`:


```{julia}
function update₁(Cnew, Cold)
  cnew = Cnew - Cold
end
```

This has the advantage that each "dot" still represents a calorie burned, so that a user can still count the dots to see the total burned in the past 10 minutes.


```{julia}
#| eval: false



     * *
    ****** *
 ************* *
```

Sadly though, users didn't like it. Instead of a set of dots being, say, 5 high, they were now 3 high and 2 high. It "looked" like they were doing less work! What to do?


The users actually were not responding to the number of dots, which hadn't changed, but rather the *area* that they represented---and this shrank in half. (It is much easier to visualize area than count dots when tired.) How to adjust for that?


Well our engineer knew---double the dots and count each as half a calorie. This makes the "area" constant.  She also generalized letting `n` be the number of updates per minute, in anticipation of even further improvements in the display technology:


```{julia}
function update(Cnew, Cold, n)
   cnew = (Cnew - Cold) * n
end
```

Then the "area" represented by the dots stays fixed over this time frame.


The engineer then thought a bit more, as the form of her answer seemed familiar. She decides to parameterize it in terms of $t$ and found with $h=1/n$: `c(t) = (C(t) - C(t-h))/h`. Ahh---the derivative approximation. But then what is the "area"? It is no longer just the sum of the dots, but in terms of the functions she finds that each column represents $c(t)\cdot h$, and the sum is just $c(t_1)h + c(t_2)h + \cdots + c(t_n)h$ which looks like an approximate integral.


If the display were to reach the modern age and replace LED "dots" with a higher-pixel display, then the function to display would be $c(t) = C'(t)$ and the area displayed would be $\int_{t-10}^t c(u) du$.


Thinking a bit harder, she knows that her `update` function is getting $C(t)$, and displaying the *rate* of calorie burn leads to the area displayed being interpretable as the total calories burned between $t$ and $t-10$ (or $C(t)-C(t-10)$) by the fundamental theorem of calculus.


## Questions


###### Question


If $F(x) = e^{x^2}$ is an antiderivative for $f$, find $\int_0^2 f(x) dx$.


```{julia}
#| hold: true
#| echo: false
F(x) = exp(x^2)
val = F(2) - F(0)
numericq(val)
```

###### Question


If $\sin(x) - x\cos(x)$ is an antiderivative for $x\sin(x)$, find the following integral $\int_0^\pi x\sin(x) dx$.


```{julia}
#| hold: true
#| echo: false
F(x) = sin(x) - x*cos(x)
a, b= 0, pi
val = F(b) - F(a)
numericq(val)
```

###### Question


Find an antiderivative then evaluate $\int_0^1 x(1-x) dx$.


```{julia}
#| hold: true
#| echo: false
f(x) = x*(1-x)
a,b = 0, 1
F(x) = x^2/2 - x^3/3
val = F(b) - F(a)
numericq(val)
```

###### Question


Use the fact that $[e^x]' = e^x$ to evaluate $\int_0^e (e^x - 1) dx$.


```{julia}
#| hold: true
#| echo: false
f(x) = exp(x) - 1
a, b = 0, exp(1)
F(x) = exp(x) - x
val = F(b) - F(a)
numericq(val)
```

###### Question


Find the value of $\int_0^1 (1-x^2/2 + x^4/24) dx$.


```{julia}
#| hold: true
#| echo: false
f(x) = 1 - x^2/2 + x^4/24
a, b = 0, 1
val, _ = quadgk(f, a, b)
numericq(val)
```

###### Question


Using `SymPy`, what is an antiderivative for $x^2 \sin(x)$?


```{julia}
#| hold: true
#| echo: false
choices = [
"``-x^2\\cos(x)``",
"``-x^2\\cos(x) + 2x\\sin(x)``",
"``-x^2\\cos(x) + 2x\\sin(x) + 2\\cos(x)``"
]
answer = 3
radioq(choices, answer, keep_order=true)
```

###### Question


Using `SymPy`, what is an antiderivative for $xe^{-x}$?


```{julia}
#| hold: true
#| echo: false
choices = [
"``-e^{-x}``",
"``-xe^{-x}``",
"``-(1+x) e^{-x}``",
"``-(1 + x + x^2) e^{-x}``"
]
answer = 3
radioq(choices, answer, keep_order=true)
```

###### Question


Using `SymPy`, integrate the function $\int_0^{2\pi} e^x \cdot \sin(x) dx$.


```{julia}
#| hold: true
#| echo: false
@syms x
val = N(integrate(exp(x) * sin(x), (x, 0, 2pi)))
numericq(val)
```


###### Question


A particle has velocity $v(t) = 2t^2 - t$ between $0$ and $1$. If $x(0) = 0$, find the position $x(1)$.


```{julia}
#| hold: true
#| echo: false
v(t) = 2t^2 - t
f(x) = quadgk(v, 0, x)[1] - 0
numericq(f(1))
```

###### Question


A particle has acceleration given by $\sin(t)$ between $0$ and $\pi$. If the initial velocity is $v(0) = 0$, find $v(\pi/2)$.


```{julia}
#| hold: true
#| echo: false
f(x) = quadgk(sin, 0, x)[1] - 0
numericq(f(pi/2))
```

###### Question


The position of a particle is given by $x(t) = \int_0^t g(u) du$, where $x(0)=0$ and $g(u)$ is given by the piecewise linear graph of @fig-piecewise-linear-graph-for-particle-over-0-to-5.

::: {#fig-piecewise-linear-graph-for-particle-over-0-to-5}
```{julia}
#| hold: true
#| echo: false
function g1(x)
  if x < 2
    -1 + x
  elseif 2 < x < 3
    1
  else
    1 + (1/2)*(x-3)
  end
  end
plot(g1, 0, 5; legend=false)
```

Plot of piecewise linear function over $[0,5]$
:::

* The velocity of the particle is positive over:


```{julia}
#| hold: true
#| echo: false
choices = [
"It is always positive",
"It is always negative",
L"Between $0$ and $1$",
L"Between $1$ and $5$"
]
answer = 4
radioq(choices, answer, keep_order=true)
```

* The position of the particle is $0$ at $t=0$ and:


```{julia}
#| hold: true
#| echo: false
choices = [
"``t=1``",
"``t=2``",
"``t=3``",
"``t=4``"]
answer = 2
radioq(choices, answer, keep_order=true)
```

* The position of the particle at time $t=5$ is?


```{julia}
#| hold: true
#| echo: false
val = 4
numericq(val)
```

* On the interval $[2,3]$:


```{julia}
#| hold: true
#| echo: false
choices = [
L"The position, $x(t)$, stays constant",
L"The position, $x(t)$, increases with a slope of $1$",
L"The position, $x(t)$, increases quadratically from $-1/2$ to $1$",
L"The position, $x(t)$, increases quadratically from $0$ to $1$"
]
answer = 2
radioq(choices, answer, keep_order=true)
```

###### Question


Let $F(x) = \int_{t-10}^t f(u) du$ for $f(u)$ a positive, continuous function. What is $F'(t)$?


```{julia}
#| hold: true
#| echo: false
choices = [
"``f(t)``",
"``-f(t-10)``",
"``f(t) - f(t-10)``"
]
answer = 3
radioq(choices, answer, keep_order=true)
```

###### Question


Suppose $f(x) \geq 0$ and $F(x) = \int_0^x f(u) du$. $F(x)$ is continuous and so has a maximum value on the interval $[0,1]$ taken at some $c$ in $[0,1]$. It is


```{julia}
#| hold: true
#| echo: false
choices = [
"At a critical point",
L"At the endpoint $0$",
L"At the endpoint $1$"]
answer = 3
radioq(choices, answer, keep_order=true)
```

###### Question


Let $F(x) = \int_0^x f(u) du$, where $f(x)$ is given by in @fig-identify-relative-maxima-from-graph-of-xs-ys. Identify the $x$ values of all *relative maxima* of $F(x)$. Explain why you know these are the values.

::: {#fig-identify-relative-maxima-from-graph-of-xs-ys}
```{julia}
#| hold: true
#| echo: false
xs = [0,1,2,3,4,5,6,7,8,9,10]
ys = [-1,0,1,0,-1,0,1/2, 0, 1/2, 0, -1]
plot(xs, ys , linewidth=3, legend=false, xticks=0:10)
```

Plot of $f(x)$ over $[-1,1]$
:::

```{julia}
#| hold: true
#| echo: false
choices = [
"The derivative of ``F`` is ``f``, so by the first derivative test, ``x=1,5``",
"The derivative of ``F`` is ``f``, so by the first derivative test, ``x=3, 9``",
"The derivative of ``F`` is ``f``, so by the second derivative test, ``x=7``",
"The graph of ``f`` has relative maxima at ``x=2,6,8``"
]
answer = 2
radioq(choices, answer)
```

###### Question

The error function (`erf`) is defined in terms of an integral:

$$
\text{erf}(x) = \frac{2}{\sqrt{\pi}} \int_0^x \exp(-t^2) dt, \quad{x \geq 0}
$$

The constant is chosen so that $\lim_{x \rightarrow \infty} \text{erf}(x) = 1$.

What is the derivative of $\text{erf}(x)$?



```{julia}
#| echo: false
choices = [L"\exp(-x^2)",
           L"-2x \exp(-x^2)",
           L"\frac{2}{\sqrt{\pi}} \exp(-x^2)"]
radioq(choices, 3; keep_order=true, explanation="Don't forget the scalar multiple")
```

Is the function $\text{erf(x)}$ *increasing* on $[0,\infty)$?

```{julia}
#| echo: false
choices = ["No",
           "Yes, the derivative is positive on this interval",
           "Yes, the derivative is negative on this interval",
           "Yes, the derivative is increasing on this interval",
           "Yes, the derivative is decreasing on this interval"]
radioq(choices, 2; keep_order=true)
```

Is the function $\text{erf(x)}$ *concave down* on $[0,\infty)$?

```{julia}
#| echo: false
choices = ["No",
           "Yes, the derivative is positive on this interval",
           "Yes, the derivative is negative on this interval",
           "Yes, the derivative is increasing on this interval",
           "Yes, the derivative is decreasing on this interval"]
radioq(choices, 5; keep_order=true)
```

For $x > 0$, consider the function

$$
F(x) = \frac{2}{\sqrt{\pi}} \int_{-x}^0 \exp(-t^2) dt
$$

Why is $F'(x) = \text{erf}'(x)$?

```{julia}
#| echo: false
choices = ["The integrand is an *even* function so the integral from ``0`` to ``x`` is the same as the integral from ``-x`` to ``0``",
           "This isn't true"]
radioq(choices, 1; keep_order=true)
```


Consider the function

$$
F(x) = \frac{2}{\sqrt{\pi}} \int_0^{\sqrt{x}} \exp(-t^2) dt, \quad x \geq 0
$$





What is the derivative of $F$?

```{julia}
#| echo: false
choices = [L"\exp(-x^2)",
           L"\frac{2}{\sqrt{\pi}} \exp(-x^2)",
           L"\frac{2}{\sqrt{\pi}} \exp(-x^2) \cdot (-2x)"]
radioq(choices, 3; keep_order=true, explanation="Don't forget to apply the chain rule, as ``F(x) = \\text{erf}(\\sqrt{x})``")
```

###### Question

Define two function through the integrals:

$$
\begin{align*}
S(x) &= \int_0^x \sin(t^2) dt\\
C(x) &= \int_0^x \cos(t^2) dt
\end{align*}
$$

These are called *Fresnel Integrals*.

A non-performant implementation might look like:

```{julia}
S(x) = first(quadgk(t -> sin(t^2), 0, x))
```

Define a similar function for $C(x)$ and them make a parametric plot for $0 \le t \le 5$.

Describe the shape.

```{julia}
#| echo: false
choices = ["It makes a lovely star shape",
           "It makes a lovely spiral shape",
           "It makes a lovely circle"]
radioq(choices, 2; keep_order=true)
```


What is the value of $S'(x)^2 + C'(x)^2$ when $x=\pi$?

```{julia}
#| echo: false
numericq(1)
```

###### Question

Define a function with parameter $\alpha \geq 1$ by:

$$
\gamma(x; \alpha) = \int_0^x \exp(-t) t^{\alpha-1} dt, \quad x > 0
$$

What is the ratio of $\gamma'(2; 3) / \gamma'(2; 4)$?

```{julia}
#| echo: false
df(x,alpha) = exp(-x)*x^(alpha -1)
numericq(df(2,3)/df(2,4))
```

###### Question

Define a function

$$
i(x) = \int_0^{x^2} \exp(-t) t^{1/2} dt
$$

What is the derivative if $i$?

```{julia}
#| echo: false
choices = [L"\exp(-x) x^{1/2}",
           L"\exp(-x) x^{1/2} \cdot 2x",
           L"\exp(-x^2) (x^2)^{1/2}",
           L"\exp(-x^2) (x^2)^{1/2}\cdot 2x"]
radioq(choices, 4; keep_order=true)
```

###### Question

The function `sinint` from `SpecialFunctions` computes

$$
F(x) = \int_0^x \frac{\sin(t)}{t} dt =  \int_0^x \phi(t) dt,
$$

Where we define $\phi$ above to be $1$ when $t=0$, so that it will be continuous over $[0,x]$.

A related integral might be:

$$
G(x) = \int_0^x \frac{\sin(\pi t)}{\pi t} dt = \int_0^x \phi(\pi t) dt
$$

As this is an integral involving a simple transformation of $\phi(x)$, we can see that $G(x) = (1/\pi) F(\pi x)$. What is the derivative of $G$?

```{julia}
#| echo: false
choices = [
L"\phi(x)",
L"\phi(\pi x)",
L"\pi \phi(\pi x)"
]
radioq(choices, 2; keep_order=true)
```



###### Question


Suppose $f(x)$ is monotonically decreasing with $f(0)=1$, $f(1/2) = 0$ and $f(1) = -1$. Let $F(x) = \int_0^x f(u) du$. $F(x)$ is continuous and so has a maximum value on the interval $[0,1]$ taken at some $c$ in $[0,1]$. It is


```{julia}
#| hold: true
#| echo: false
choices = [
L"At a critical point, either $0$ or $1$",
L"At a critical point, $1/2$",
L"At the endpoint $0$",
L"At the endpoint $1$"]
answer = 2
radioq(choices, answer, keep_order=true)
```

###### Question


Barrow presented a version of the fundamental theorem of calculus in a 1670 volume edited by Newton, Barrow's student (cf. [Wagner](http://www.maa.org/sites/default/files/0746834234133.di020795.02p0640b.pdf)). His version can be stated as follows (cf. [Jardine](http://www.maa.org/publications/ebooks/mathematical-time-capsules)):


Consider the @fig-borrowed-from-barrow where $f$ is a strictly increasing function with $f(0) = 0$. and $x > 0$. The function $A(x) = \int_0^x f(u) du$ is also plotted with a dashed red line. The point $Q$ is $f(x)$, and the point $P$ is $A(x)$. The point $T$ is chosen to so that the length between $T$ and $x$ times the length between $Q$ and $x$ equals the length from $P$ to $x$. ($\lvert Tx \rvert \cdot \lvert Qx \rvert = \lvert Px \rvert$.) Barrow showed that the line segment $PT$ is tangent to the graph of $A(x)$. This figure illustrates the labeling for some function:

::: {#fig-borrowed-from-barrow}
```{julia}
#| hold: true
#| echo: false
let
    gr()
    f(x) = x^(2/3)
    x = 2
    A(x) = quadgk(f, 0, x)[1]
    m=f(x)
    T = x - A(x)/f(x)
    Q = f(x)
    P = A(x)
    secpt = u -> 0 + P/(x-T) * (u-T)
    xs = range(0, stop=x+1/4, length=50
               )
    p = plot(f, 0, x + 1/4, legend=false, line=(:black,2))
    plot!(p, A, 0, x + 1/4, line=(:red, 2,:dash))
    scatter!(p, [T, x, x, x], [0, 0, Q, P], color=:orange)
    annotate!(p, collect(zip([T, x, x+.1, x+.1], [0-.15, 0-.15, Q-.1, P], [L"T", L"x", L"Q", L"P"])))
    plot!(p,  [T-1/4, x+1/4], map(secpt, [T-1/4, x + 1/4]), color=:orange)
    plot!(p, [T, x, x], [0, 0, P], color=:green)
    plotly()
    p
end
```

Plot illustrating labeling of Barrow
:::

The fact that $\lvert Tx \rvert \cdot \lvert Qx \rvert = \lvert Px \rvert$ says what in terms of $f(x)$, $A(x)$ and $A'(x)$?


```{julia}
#| hold: true
#| echo: false
choices = [
"``\\lvert Tx \\rvert \\cdot f(x) = A(x)``",
"``A(x) / \\lvert Tx \\rvert = A'(x)``",
"``A(x) \\cdot A'(x) = f(x)``"
]
answer = 1
radioq(choices, answer, keep_order=true)
```

The fact that $\lvert PT \rvert$ is tangent says what in terms of $f(x)$, $A(x)$ and $A'(x)$?


```{julia}
#| hold: true
#| echo: false
choices = [
"``\\lvert Tx \\rvert \\cdot f(x) = A(x)``",
"``A(x) / \\lvert Tx \\rvert = A'(x)``",
"``A(x) \\cdot A'(x) = f(x)``"
]
answer = 2
radioq(choices, answer, keep_order=true)
```

Solving, we get:


```{julia}
#| hold: true
#| echo: false
choices = [
"``A'(x) = f(x)``",
"``A(x) = A^2(x) / f(x)``",
"``A'(x) = A(x)``",
"``A(x) = f(x)``"
]
answer = 1
radioq(choices, answer)
```

###### Question


According to [Bressoud](http://www.math.harvard.edu/~knill/teaching/math1a_2011/exhibits/bressoud/) "Newton observes that the rate of change of an accumulated quantity is the rate at which that quantity is accumulating". Which part of the FTC does this refer to:


```{julia}
#| hold: true
#| echo: false
choices = [
L"Part 1: $[\int_a^x f(u) du]' = f$",
L"Part 2: $\int_a^b f(u) du = F(b)- F(a)$."]
answer=1
radioq(choices, answer, keep_order=true)
```

###### Question

How does the mean value theorem say that if $F(x)$ and $G(x)$ are two different antiderivatives of $f(x)$ that $F$ and $G$ differ by a constant?

Let $H(x) = F(x) - G(x)$. What is $H'(x)$?

```{julia}
#| echo: false
choices = ["It is hard to say, as it depends on ``x``.",
"It is ``0``."]
anwwer = 2
explanation = raw"$H(x)$ has derivative $f'(x) - f'(x) = 0$"
buttonq(choices, answer; explanation)
```

The mean value theorem says that for any $a < b$ there is a $c$ in between with  $H'(c) = (H(b)-H(a))/(b-a)$. Why does this imply for any $a$ and $b$ that $H(a) = H(b)$?

```{julia}
#| echo: false
choices = [L"As $b-a < 0$ it must be that $H(b) - H(a) = 0$.",
L"It doesn't really. The value of $H(a)$ and the value of $H(b)$ can be anything."
]
answer = 1
buttonq(choices, answer)
```

If $H(a) = H(b)$ for any $a < b$ then $H(x)$ must be a constant. Why?

```{julia}
#| echo: false
choices = [L"If $H(x)$ is *not* a constant, then some $x$ satisfies $H(a) \neq H(x)$. But take $b=x$ and we see this can't be so.",
           L"Because the polynomial $H(x)$ must have even degree."]
answer = 1
buttonq(choices, answer)
```

## More on SymPy's `integrate`


Finding the value of a definite integral through the fundamental theorem of calculus relies on the algebraic identification of an antiderivative. This is difficult to do by hand and by computer, and is complicated by the fact that not every [elementary ](https://en.wikipedia.org/wiki/Elementary_function)function has an elementary antiderivative. `SymPy`'s documentation on integration indicates that several different means to integrate a function are used internally. As it is of interest here, it is copied with just minor edits below (from an older version of SymPy):


#### Simple heuristics (based on pattern matching and integral table):


  * most frequently used functions (e.g. polynomials, products of trigonometric functions)


#### Integration of rational functions:


  * A complete algorithm for integrating rational functions is        implemented (the Lazard-Rioboo-Trager algorithm).  The        algorithm also uses the partial fraction decomposition        algorithm implemented in `apart` as a preprocessor to make        this process faster.  Note that the integral of a rational        function is always elementary, but in general, it may include        a `RootSum`.


#### Full Risch algorithm:


  * The Risch algorithm is a complete decision procedure for integrating        elementary functions, which means that given any elementary        function, it will either compute an elementary        antiderivative, or else prove that none exists.  Currently,        part of transcendental case is implemented, meaning        elementary integrals containing exponentials, logarithms, and        (soon!) trigonometric functions can be computed.  The        algebraic case, e.g., functions containing roots, is much        more difficult and is not implemented yet.
  * If the routine fails (because the integrand is not elementary, or        because a case is not implemented yet), it continues on to        the next algorithms below.  If the routine proves that the        integrals is nonelementary, it still moves on to the        algorithms below, because we might be able to find a        closed-form solution in terms of special functions.  If        `risch=true`, however, it will stop here.


#### The Meijer G-Function algorithm:


  * This algorithm works by first rewriting the integrand in terms of        very general Meijer G-Function (`meijerg` in `SymPy`),        integrating it, and then rewriting the result back, if        possible.  This algorithm is particularly powerful for        definite integrals (which is actually part of a different        method of Integral), since it can compute closed-form        solutions of definite integrals even when no closed-form        indefinite integral exists.  But it also is capable of        computing many indefinite integrals as well.
  * Another advantage of this method is that it can use some results        about the Meijer G-Function to give a result in terms of a        Piecewise expression, which allows to express conditionally        convergent integrals.
  * Setting `meijerg=true` will cause `integrate` to use only this        method.


#### The "manual integration" algorithm:


  * This algorithm tries to mimic how a person would find an        antiderivative by hand, for example by looking for a        substitution or applying integration by parts. This algorithm        does not handle as many integrands but can return results in a        more familiar form.
  * Sometimes this algorithm can evaluate parts of an integral; in        this case `integrate` will try to evaluate the rest of the        integrand using the other methods here.
  * Setting `manual=true` will cause `integrate` to use only this        method.


#### The Heuristic Risch algorithm:


  * This is a heuristic version of the Risch algorithm, meaning that        it is not deterministic.  This is tried as a last resort because        it can be very slow.  It is still used because not enough of the        full Risch algorithm is implemented, so that there are still some        integrals that can only be computed using this method.  The goal        is to implement enough of the Risch and Meijer G-function methods        so that this can be deleted.        Setting `heurisch=true` will cause `integrate` to use only this        method. Set `heurisch=false`  to not use it.
