Intriguing integrals: Part I

By 
Chris Sangwin
Submitted by plusadmin on March 1, 2010
You might also like to read the second part of this article.


What is the integral of $x^ k$? If you're up to speed with your calculus, you'll know the answer off by heart. It's

  \begin{equation} \label{eq:int_ xk} \int x^ k\mathrm{d}x = \frac{x^{k+1}}{k+1}, \end{equation}   (1)
for $k\neq -1$, and
  \begin{equation} \label{eq:int_ log} \int x^{-1}\mathrm{d}x = \int \frac{1}{x}\mathrm{d}x = \ln (x).\end{equation}   (2)

Pierre de Fermat, 1601-1665.

Pierre de Fermat, 1601-1665.

But can you prove that this is true? In this article we'll derive (1) from first principles, using an ingenious method devised by the mathematician Pierre de Fermat in the 17th century. In the second part of this article, we'll examine the surprising fact that, at a symbolic level, the answer to $\int x^ k\mathrm{d}x $ might better be written as

  \[ \int x^ k\mathrm{d}x = \frac{x^{k+1}-1}{k+1}. \]    

The integral of x2

Let's start by deriving the integral

  \[ \int x^ k\mathrm{d}x = \frac{x^{k+1}}{k+1} \]    
for $k=2$ by calculating the area under the graph of $f(x)=x^2$ without using calculus, that is from first principles.

One approach is to use the above diagram, where we have approximated the area between the curve, the $x$-axis and the vertical line at $x=b$ by a sequence of $n$ rectangles. The rectangles are constructed on intervals on the $x$-axis of length $\frac{b}{n}$. The height of each rectangle is the maximum value of the curve on the corresponding interval. In the case of $x^2$ this maximum value occurs at the right hand end of each interval. For the $i$th interval this right hand end point is $x_ i=\frac{ib}{n},$ and the corresponding value of the function is $f(\frac{ib}{n})=\left(\frac{ib}{n}\right)^2.$ The area of the $i$th rectangle is therefore

  \[ A_ i= \frac{b}{n} \times \left(\frac{ib}{n}\right)^2=\frac{i^2b^3}{n^3}. \]    
The total area of the rectangles is
  \[ \sum _{i=1}^ n A_ i = \sum _{i=1}^ n \frac{i^2b^3}{n^3} = \frac{b^3}{n^3} \sum _{i=1}^ n i^2. \]    
Using the sum
  \[ \label{eq_ sun_ n_ squared} 1^2+2^2+3^2+\cdots +n^2=\sum _{i=1}^ n i^2 = \frac{1}{6}n(n+1)(2n+1) \]    
and simplifying, we can show that the total area of the rectangles equals
  \[ b^3 \left(\frac{1}{3}+\frac{1}{2n}+\frac{1}{6n^2} \right). \]    
This overestimates the area under the curve, as each rectangle pokes out above the curve. But by a similar method we could estimate the area of $f(x)=x^2$ from below, using rectangles with height equal to the minimum value of the function on the corresponding interval. If we repeat this analysis we have the area as
  \[ b^3 \left(\frac{1}{3}-\frac{1}{2n}+\frac{1}{6n^2} \right). \]    
Combining these two estimates for the area under the graph, we have
  \[ b^3 \left(\frac{1}{3}-\frac{1}{2n}+\frac{1}{6n^2} \right)\leq A \leq b^3 \left(\frac{1}{3}+\frac{1}{2n}+\frac{1}{6n^2} \right). \]    
As $n\rightarrow \infty $ both of these estimates converge to
  \[ \frac{b^3}{3} \leq A \leq \frac{b^3}{3}. \]    
Since these estimates trap the area between them, the only option is that
  \[ A = \int _{0}^ b x^2 \mathrm{d}x = \frac{b^3}{3}, \]    
which gives us the required expression
  \[ \int x^ k\mathrm{d}x = \frac{x^{k+1}}{k+1} \]    
for the case $k=2$.

The integrals of xk for k>2

It is clear that this method could, in principle, be extended to find

  \[ \int x^ k\mathrm{d}x \]    
for all positive numbers $k=1,2,3,\cdots $. However, the method relies on being able to sum series of the form $\sum _{i=1}^ n i^ k$. We know how to do this for $k=2$, but doing it for $k>2$ is a different matter.

Isaac Newton, 1643-1727.

Isaac Newton, 1643-1727.

Before Isaac Newton's discovery of the fundamental theorem of calculus, which allows integrals to be evaluated in practice as anti-derivatives, resorting to such sums was the only way to calculate integrals as areas. Newton and Gottfried Wilhelm von Leibniz made very significant advances in the development of calculus as a systematic set of tools. This work began at least with Archimedes and has a continuous history (see reference [2] below). For example, work on the integration of rational functions was collected together by the mathematician G.H. Hardy in 1916 (see reference [3]), but it was only with the advent of computer algebra systems that an algorithm was developed which determined whether an elementary expression could be integrated symbolically at all (see reference [4]).

One of these incremental developments was discovered by Fermat who devised a method for calculating

  \[ \int x^ k\mathrm{d}x \]    
where $k$ is any positive rational number. Here we will only consider the case when $k=1,2,\cdots $. (See reference [1] below for more on this method)

First, choose a positive whole number $k$ and a positive real number $b>0$. Fermat's method uses rectangles of unequal width. Given a number $r$ with $0 </p><center> <table border="0" width="550"><tr><td><applet name="ggbApplet" code="geogebra.GeoGebraApplet" archive="geogebra.jar" codebase="http://www.geogebra.org/webstart/3.2/unsigned/" width="550" height="450" mayscript="" id="ggbApplet"><param name="ggbBase64" value="UEsDBBQACAAIAG5mMjwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s5V3bjtvGGb5unoLQlRNkd+d8AHYdaK0NYMCpC2yai14EoCTuLmuJUknK1vqx2jfok/UfnkTxIJGMpYqMYYPUkBz+8803//yHGfr2p+1yYX12/MBdeXcjfI1GluPNVnPXe74bbcKnKzX66e13t8/O6tmZ+rb1tPKXdng3otdkZMo37tvv/nIbvKy+WPYiuuU31/lyN3qyF4EzsoK179jz4MVxwr1ye7N1F67tv36c/tOZhcHuQlzJe2+9gbeE/gbKZsv5BzdIf95EL1wv3HDifnbnjm8tVrO7kZR6ZM5+c/zQndmLuxFDKCohdyPC0d5FKKLm6svKd7+uvNDcvqv8CUosK3C/OoAIMWW3N1FDb53NbOHOXdszjYnkgJss64s7D1/uRopzqNJxn19AVoFlXNtstfLnj69B6Cyt7T8cfwXvlteCIywIkoxzRsTIeo2vMEyvsdZaasmQUEhAjQEIDJJwDpgLJpWmiCKpzUO1l6I3O58fnTCEngwse+sEKZzPvjvP8DY/3gf3q8WuaL1yvfCdvQ43fsQCmhQ9hq/mZQCbb5o49p4XTlKGoZNenNmn6Wr7GMNG46p/fV1Hj0TyTJ/frRYr3/JNh0DDnpPjND5G9xhBs7tQdA+K7kjqMJVm17Em0R3RcRofo7sWrheLljQcp63GKH2NG1imACo35E2xWdhTB7gwsjaeG35IfwBnPu1aau7/62Y5hUGTZ01WJf5GVd7eFOh2+8nxPWcRk8qDjt2sNoH12ZA37rpIjrkzc5fwM75AE+FMZ/0dBIhL586z76RyxyMuhiu6ivLELRTf3qRCGBkCkHUWguqA9oSmLWZkhzCqzNncDk2JGTYLZ+nAmAojNnibpeO7swwZf2TeBq/YpC+6VgIn49wollWkIwp47oCHyzWMAW2yfrFNhUl1C/sV9EW+kVFtv6zmyavT1y4ixbJ0PfMwUHRpbxPtaE+D1WITOo8zQND7sJrZYaQ6Y+ESTQCqx9wLz3BmTl5BOShz8uRund1Iq1Y/O/KGL8ASzwmAFEDwMD+WbA86OUIeFMvaSIkQNmReO+YFkajpA9Ya2h0N5YwmwK24T6J+XC5tb2559hJu/5sZ6lGPuEYHWza6G23HwO0E7E2Ylt7HFSWPl7o50hlZd92PSt2ZgHCwPzGJ9UR0TPTErlfRwV79+PQUOGHUCSLqgisuKzu9FlLcGM9ktATmbUDf6HURBb7Gz0a3xFrUzBi7oZnviH38YHjlBsls1Jga9WMmJ26TQXMY3m+MX6OmwdzqeJ+hYSs/sKwtSkB+RckbvqYnWwzdHZ294rQncK4rQFDf3VpjlN42Tm8bk/SEpicsPeGxNohF+ZcXixvEWtzZgkkyc8NSp27BBAqMeZX2whhggVIYVm/uvx9ZN0cVJDxQ1pCtdV9mcsVV5GaZQ7KSRFbf+sEygjeQlpSlFUoptPuDzyQ8zQtPGglPy8JzsKq4OBfgLC8zbSQzq5AZI0GwRuxcYvO82KyR2LwsNqNaMM4EQpQYwtAzSS/y0vNG0ouy9FQqTplkGClFGDoX9DIvvGgkvKwQnnCNFcPgkwgtORVnkl7lpZeNpFdl6YEtAnPJidSKSH4m6LepJn8zJj9aMEd8P9o3fsqN2beKtrhsFjWwcgWLGmMO0/jQec6ubva+OVPS3o2tG6gH/EiDWFTm//ff0waokgxV2g1V0gdU02nlxGDSDEzWDUzaCzB38113PP/TBE+W4cm74cn6gGd5Iu4MawNMeYap6IYp7wOmJfOgm5NYhk9k8Mlu8IlewFcyUL4VfjLDT3XDT/YBv5KJ9K3gQxl8uBt86P8FH20BX/eJZYvuShPLfszt0Xk25cWomzFTcYLrGP/+hgC235fCcO/w4ThckFSeovkO9yCUdLxHrsAuZQjV2qXGJiCoHHRoFmcqBHfc5S64E4G/MPGr917o+IETBcDLcfhPjrM26Y+P3q++7QUmcVbvWzTiA075QA7ygbTkA/mT8IHBnEvJgPhAUj6AmzQmtXygLflAh8IHsLUYGLGshg9EYSop0owRpDVBoveEoCkhwNUb01pCsJaEYEMhBOVYYkGFQkSABY5kgRFYaq5BS8ARKS047T0jWMoIcFbHrJYRvCUj+FAYQQSS4JMRLcA2VgU3FwiBmaBIMYSF4pqS0vKC3hGCp4QAT3vMawkhWhJCDIUQGHpZwcSAwE9inBS8TDhKioUgksDUIqgmsveMECkjJDBC1DJCtmSEHAwjmGEE54hgJBnmRUIwIRGiUkhOmRaq/ypCpoRQQAhZSwjVkhBqMIRAghAwHjGlSEqJi3YlIlrBBc2wgDkj0iE9p0TB42wSlZi09EInw/BCUbLay5gO2CzkzP7IiB1XZgbBYE0MKC5R8D9zMYpan3TS0iedDMMn3bEDaS5ZLhhBM3aAw0qYJkxwjJDqv1NacEZzEYtaB3XS0kGdDMNBzbFDEUaZ0jwhCMnYQZTWVCKwUhUVUvbf/Cx4prn4Ra23OmnprU6G4a3m6CGRlgIcEDA6d9TAiiOBCMNUScy16j8z9lzUXByj1m2dtHRbJ8NwW3PMEGB1gIGhNGOca5JjBwaDFVgjwCgB7YJZ/+mx56/mohq1PuykpQ87GYYPm6MHJwILSjTQgQjOeEYPBN6rplhyBO4uF4j3nx573msuxFHr0U5aerSTYXi0OXowThHwQhOphNZciR0/mMIE6KGIpoxKfcn0OLx61CsuHtXXR/vojHuNULrXKN5B1Gi3Ec52GxFEk96k+KTbjaLaO+w1qtphgHLbIawfLP/3N16zbREEVSwERia5QzkQFmGJzrWKGetyI6wrC0erYRo0BZ4vN4VhgRHoa7Dm4B87T1O2WVPegFQdVzXrIyt6apTeuVdEFQHutCKq2dINnUXNtAmb6frVPLplXDUBu+/TkJlluKKSM/BuGAYfppSwB9sEI/gr4UZwfehFp2crRpa32y2Aug0srxcLDYsq+HTDysuijejwqCKo5ahK5pY/xagiYPMLKrCUXCsYV5c8rBqmK/bp0Ez1TtqSZDIQkuQ8AEqBLWDqC6kxA5uf7TwArAUCFill0heCywEEmPCPltn9C/YaaK185iJfWqTJQ8vM1kPXzFaT/fHnJ8nVodQWISS/BnMAqS1SSRF6hCIt01sPXdNbF0uR+vwWBsWidit1B0ARWkkRdoQiLXNcD11zXJdLkdokFxbAEC01YumV3nOEVXKEH+FIy0TXQ9dE1+VypDrTxTCwRgF1KKMw/wwgl8Er+SGO8KNluuuha7rrcvlRn+8CU8T4NRJogrFiA3BqRCVH5BGOtMx5PXTNeV0uR2qTXhguUShSYLdyiodgi8hKjqgjHGmZ+Hromvi6XI4cyHxpJBCwQ3EuYbLBA1AkJg5S5feiY45vy/jIQ+f4yOmIsvsoXBzup9+QRAeCJ0JiIQVoGa4I2C0XnT/dJ9Ev7nxd8UnAB1Lix89HAiP7seyfKz7Sst/tl5EkMnsIS5tKzc6hPxLOrgOVlkE9EkoogFrxsZZLBBX8f00UOw+orAzqEee7AGrFF1suEVTOsaJmwwE7KZy8DOcRP7UAZ8XHWi4RTiY5plSYxXLitIiKMqJHPLsCohXfb7lIRMGWAiscIbPAjKDTgirLoB5xhQqgVnzU5RJBhfFOwHKV4MYQgdRpVakqg3rEdyiAqnoCKgK/UEYRSmO1cXlSVAmqsKWO2NpFY6riGzqXCCwhYBcrwoXCWjLaEdby2op7+Qe/gXV/7BtOJ8fvBN+6usl/ot38Tv8bh7f/A1BLBwgkhVUYEQsAAPhhAABQSwECFAAUAAgACABuZjI8JIVVGBELAAD4YQAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAEsLAAAAAA==" /><param name="image" value="http://www.geogebra.org/webstart/loading.gif" /><param name="boxborder" value="false" /><param name="centerimage" value="true" /><param name="java_ arguments" value="-Xmx512m" /><param name="cache_ archive" value="geogebra.jar, geogebra_ main.jar, geogebra_ gui.jar, geogebra_ cas.jar, geogebra_ export.jar, geogebra_ properties.jar" /><param name="cache_ version" value="3.2.39.0, 3.2.39.0, 3.2.39.0, 3.2.39.0, 3.2.39.0, 3.2.39.0" /><param name="framePossible" value="false" /><param name="showResetIcon" value="false" /><param name="showAnimationButton" value="true" /><param name="enableRightClick" value="false" /><param name="errorDialogsActive" value="true" /><param name="enableLabelDrags" value="false" /><param name="showMenuBar" value="false" /><param name="showToolBar" value="false" /><param name="showToolBarHelp" value="false" /><param name="showAlgebraInput" value="false" /> Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (<a href="http://java.sun.com/getjava">Click here to install Java now</a>)</applet> <p><font size="2" color="#993366">The graph of <i>f(x)=x<sup>2</sup></i> with <i>b</i>=0.8, and with <i>x<sub>i</sub>=r<sup>i</sup>b</i>. Use the sliders to change the value of <i>r</i> (and therefore the widths of the rectangles), and to change the value of <i>n</i> to see the position of the <i>n</i>th rectangle. Created with <a href="http://www.geogebra.org/" target="_ blank">GeoGebra</a></font></p> </td> </tr></table></center> <!-- Image provided by author --> <p>[maths]Now, the $x$-coordinate of the right hand end of the $i$th rectangle is $r^ib$. The $x$-coordinate of the left hand end of the $i$th rectangle is $r^i+1b$. If we subtract the $x$-coordinates of the ends of rectangles to get the width, we have $r^ib-r^i+1b=b(1-r)r^i$. The height of the $i$th rectangle is $(r^ib)^k$. The total area of these rectangles is then \[ \sum _{i=0}^{n-1} b(1-r)r^ i\times (r^ ib)^ k = b^{k+1}(1-r)\sum _{i=0}^{n-1} (r^{k+1})^ i. \]$

The sum in the right hand side of this expression is a geometric progression, which we can evaluate using the standard formula

  \[ \sum _{i=0}^{n-1} (r^{k+1})^ i=\frac{1-(r^{k+1})^ n}{1-r^{k+1}}. \]    
The total area is thus
  \[ b^{k+1}(1-r)\frac{1-(r^{k+1})^ n}{1-r^{k+1}}. \]    
If we let $n\rightarrow \infty $, we have an infinite number of rectangles which together fill the area between $0$ and $b$. Using the sum of an infinite geometric progression, we get a total area of
  \[ b^{k+1}(1-r)\frac{1}{1-r^{k+1}}. \]    

Gottfried Leibniz, 1646-1716.

Gottfried Leibniz, 1646-1716.

Now notice that the more rectangles we use, the better our approximation of the area under the curve. Letting the widths of all the rectangles tend to zero, and therefore their number to infinity, will give us the area of the curve as a limit. The width of $i$th rectangle is $b(1-r)r^ i$, which tends to $0$ as $r\rightarrow 1$. (Use the sliders in the figure above to see how the widths of the rectangles change as $r$ tends to 1, and how far to the left the rectangles extend as $n$ gets larger.) Therefore, the area under the curve is equal to

  \[ \lim _{r \rightarrow 1} b^{k+1}(1-r)\frac{1}{1-r^{k+1}} = b^{k+1}\lim _{r \rightarrow 1}\frac{1-r}{1-r^{k+1}} \]    
It's not immediately obvious what this limit might be, but we can use a clever trick to find out. Using our geometric progression again, we know that
  \[ 1+r+r^2+r^3+\cdots +r^ k = \frac{1-r^{k+1}}{1-r}. \]    
This means that
  \[ \frac{1-r}{1-r^{k+1}}=\frac{1}{1+r+r^2+r^3+\cdots +r^ k}. \]    
Substituting this into our limit above gives
  \[ b^{k+1}\lim _{r \rightarrow 1}\frac{1-r}{1-r^{k+1}} = b^{k+1}\lim _{r \rightarrow 1} \frac{1}{1+r+r^2+r^3+\cdots +r^ k}= \frac{b^{k+1}}{1+1+1+\cdots +1} = \frac{b^{k+1}}{k+1}, \]    
which gives us the integral $\int x^ k \mathrm{d}x$ as expected.

Have a go yourself

If this article has inspired you to do some calculus, here are a couple of problems for you:

  1. Use the method described here and the result

      \[ \sum _{k=1}^ n k^3 = \frac{1}{4}n^2(n+1)^2 \]    

    to find the area under $f(x)=x^3$.

  2. Use apply Fermat’s method of unequal rectangles to calculate the area under $f(x)=\frac{1}{x}$ between $x=1$ and $x=2$.

You might also like to read the second part of this article.

References

[1] W.G. Bickley, §1324. An adventure with limits, The Mathematical Gazette, 22(251):404-405, October 1936.

[2] C.H. Edwards, The Historical Development of the Calculus, Springer-Verlag, 1979.

[3] G.H. Hardy, The integration of functions of a single variable, Tracts in Mathematics and Mathematical Physics. Cambridge University Press, 1916.

[4] R.H. Risch, The problem of integration in finite terms, Transactions of the American Mathematical Society, 139:167-189, May 1969.


Chris Sangwin is a member of staff in the School of Mathematics at the University of Birmingham. He has written the popular mathematics books Mathematics Galore!, with Chris Budd, and How round is your circle? with John Bryant, and edited Euler's Elements of Algebra.