# Intriguing integrals: Part I

Issue 54

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

 (1)
for , and
 (2)

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 might better be written as

### The integral of x2

Let's start by deriving the integral

for by calculating the area under the graph of 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 -axis and the vertical line at by a sequence of rectangles. The rectangles are constructed on intervals on the -axis of length . The height of each rectangle is the maximum value of the curve on the corresponding interval. In the case of this maximum value occurs at the right hand end of each interval. For the th interval this right hand end point is and the corresponding value of the function is The area of the th rectangle is therefore

The total area of the rectangles is Using the sum and simplifying, we can show that the total area of the rectangles equals 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 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 Combining these two estimates for the area under the graph, we have As both of these estimates converge to Since these estimates trap the area between them, the only option is that which gives us the required expression for the case .

### The integrals of xk for k>2

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

for all positive numbers . However, the method relies on being able to sum series of the form . We know how to do this for , but doing it for is a different matter.

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

where is any positive rational number. Here we will only consider the case when . (See reference [1] below for more on this method)

First, choose a positive whole number and a positive real number . Fermat's method uses rectangles of unequal width. Given a number with , we generate a sequence of points starting at . The next point to the left is , then and so on, all the way down to . From these points we construct rectangles, which we label with . Notice now they run from right to left, starting at . These rectangles do not fill up the total area under the curve, but let's not worry about this for now.

 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 (Click here to install Java now) The graph of f(x)=x2 with b=0.8, and with xi=rib. Use the sliders to change the value of r (and therefore the widths of the rectangles), and to change the value of n to see the position of the nth rectangle. Created with GeoGebra

Now, the -coordinate of the right hand end of the th rectangle is . The -coordinate of the left hand end of the th rectangle is . If we subtract the -coordinates of the ends of rectangles to get the width, we have . The height of the th rectangle is . The total area of these rectangles is then

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

The total area is thus If we let , we have an infinite number of rectangles which together fill the area between and . Using the sum of an infinite geometric progression, we get a total area of

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 th rectangle is , which tends to as . (Use the sliders in the figure above to see how the widths of the rectangles change as tends to 1, and how far to the left the rectangles extend as gets larger.) Therefore, the area under the curve is equal to

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 This means that Substituting this into our limit above gives which gives us the integral 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

to find the area under .

2. Use apply Fermat’s method of unequal rectangles to calculate the area under between and .

### 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 is a Research Fellow for the Higher Education Academy MSOR Network. 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.
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9571592211723328, "perplexity": 337.110549000737}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-42/segments/1413507446525.24/warc/CC-MAIN-20141017005726-00256-ip-10-16-133-185.ec2.internal.warc.gz"}