Integral of Power

Theorem

$\displaystyle \int_0^b x^n \mathrm d x = \frac {b^{n+1}} {n+1}$ for all $n\neq-1$.

Conventional Proof

From the Fundamental Theorem of Calculus, we have:

$\displaystyle \frac{\mathrm d}{\mathrm d x}\left({\int f \left({x}\right) \mathrm d x}\right) = f \left({x}\right)$

So:

	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \frac{\mathrm d}{\mathrm d x}\left({\frac {x^{n+1} } {n+1} }\right)\)	\(=\)	\(\displaystyle \left({n+1}\right) \left({\frac {x^{\left({n+1}\right) - 1} } {n+1} }\right)\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle x^n\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)

Integration between the limits gives:

	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \int_0^b x^n \mathrm d x\)	\(=\)	\(\displaystyle \left[{\frac {x^{n+1} } {n+1} }\right]_0^b\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {b^{n+1} } {n+1} - \frac {0^{n+1} } {n+1}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {b^{n+1} } {n+1}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)

$\blacksquare$

Fermat's Proof

Note

This proof only is valid for positive rational numbers, that is, it proves that $\displaystyle \forall n \in \Q_+^* : \int_0^b x^n \mathrm d x = \frac {b^{n+1}} {n+1}$.

Proof

First let $n$ be a positive integer.

Take a real number $r \in \R$ such that $0 < r < 1$ but reasonably close to $1$.

Consider a subdivision $S$ of the closed interval $\left[{{0} \, . \, . \, {b}}\right]$ defined as:

$S = \left\{{0, \ldots, r^2 b, r b, b}\right\}$

... that is, by taking as the points of subdivision successive powers of $r$.

Now we take the upper sum $U \left({S}\right)$ over $S$ (starting from the right):

	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle U \left({S}\right)\)	\(=\)	\(\displaystyle b^n \left({b - r b}\right) + \left({rb}\right)^n \left({r b - r^2 b}\right) + \left({r^2b}\right)^n \left({r^2 b - r^3 b}\right) + \cdots\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle b^{n+1} \left({1 - r}\right) + b^{n+1} r^{n+1} \left({1 - r}\right) + b^{n+1} r^{2n+2}\left({1 - r}\right) + \cdots\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle b^{n+1} \left({1 - r}\right) \left({1 + r^{n+1} + r^{\left({n+1}\right)^2} + \cdots}\right)\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {b^{n+1} \left({1 - r}\right)}{1 - r^{n+1} }\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	Sum of Geometric Progression
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {b^{n+1} }{1 + r + r^2 + \cdots + r^n}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)

Now we let $r \to 1$ and see that each of the terms on the bottom also approach $1$.

Thus:

$\displaystyle \lim_{r \to 1} S = \frac {b^{n+1}}{n+1}$

That is:

$\displaystyle \int_0^b x^n \mathrm d x = \frac {b^{n+1}} {n+1}$

for every positive integer $n$.

Now assume $n = \dfrac p q$ be a strictly positive rational number.

We set $s = r^{1/q}$ and proceed:

	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \frac {1 - r}{1 - r^{n+1} }\)	\(=\)	\(\displaystyle \frac {1 - s^q}{1 - \left({s^q}\right)^{p/q+1} }\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {1 - s^q}{1 - s^{p+q} }\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {\left({1 - s^q}\right) / \left({1 - s}\right)}{\left({1 - s^{p+q} }\right) / \left({1 - s}\right)}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac {1 + s + s^2 + \cdots + s^{q-1} }{1 + s + s^2 + \cdots + s^{p+q-1} }\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)

As $r \to 1$ we have $s \to 1$ and so that last expression shows:

	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \frac {1 - r}{1 - r^{n+1} }\)	\(\to\)	\(\displaystyle \frac q {p+q}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac 1 {p/q + 1}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)
	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)	\(=\)	\(\displaystyle \frac 1 {n+1}\)	\(\displaystyle \)	\(\displaystyle \)	\(\displaystyle \)

So the expression for the main result still holds for rational $n$.

Historical Note

This method was used by Fermat, and predated the work done by Newton and Leibniz by a considerable period.

Comment

The conventional proof of course holds for all real $n \ne -1$, not just where $n$ is a strictly positive rational.

However, the real point of this page is Fermat's proof, which demonstrates how integration was achieved before the full machinery of calculus had been thoroughly constructed.

Cavalieri had previously made progress with this problem, proving it for integral $1 \le n \le 9$ but the algebra for the proof of each power was more difficult than the previous one, and he found $10$ too much hard work. The clear beauty of Fermat's approach was that it works for all $n$, rational as well as integral.

Sources

• Murray R. Spiegel: Mathematical Handbook of Formulas and Tables (1968): $14.7$
• George F. Simmons: Calculus Gems (1992), Chapter $\text {B}.5$