matematicas visuales visual math
Integral of Power Functions


Power functions were the first class of functions to be integrated.

Integral of Power Functions: power functions | matematicasVisuales

We need to calculate the area under the graph of a power function.

Integral of Power Functions: area | matematicasVisuales
Integral of Power Functions: area | matematicasVisuales

In modern notation the problem is

Integral of Power Functions: integral function | matematicasVisuales

The problem was solved before the work of Newton and Leibniz, before mathematicians understood the relation between integration and derivatives. After the discovery of Calculus, and what now is called the Fundamental Theorem of Calculus, the answer is very easy and is a wonderful example of the power of these new tools in the simplest cases:

We are going to see some approaches to this problem before this powerful tool was known.

Integral of Power Functions: Archimedes area of a parabolic segment | matematicasVisuales

After the quadrature of the parabola by Archimedes (who died at 212 BC), Cavalieri (about 1630) was the first to succeed in an analogous problem. After Cavalieri, other mathematicians, like Torricelli, Roberval, Wallis and Fermat, worked and solved the problem completely.

The main idea followed by Archimedes, Cavalieri, Torricelli, Fermat and others (prior to Newton, Leibniz, Cauchy or Riemann, of course) is to divide the interval into thin rectangles and then the area is the sum of these thin rectangles.

Cavalieri divided the interval into equal parts, and he was able to succeed in cases as far as n=9. Wonderful achievement if we know the problems that he had to face. (Toeplitz pp. 52, Edwards pp. 106-113).

The quadrature of curves of the form y=xk, with k not necessarily a positive integer was first attacked systematically by John Wallis (1616-1703). Rational and negative exponents were introduced by him (1655). Wallis had a decisive influence on Newton's early mathematical development.

In this page we are going to follow how Fermat solved the problem for n a positive integer (this is the simplest cases and we are going to use modern notation). The same argument, with minor changes, works with n a positive rational number. Fermat was able to solve the problem for arbitrary n (except the important case n=-1) in one of his last papers. His Treatise on Quadrature (1659) appeared too late to have a profound effect on the development of calculus.

Fermat's idea was a very nice non trivial application of the sum of geometric series.

We need to remember how to sum a geometric series:

Later we are going to use the following polynomial factorization (you can see that it is related to the sum of a finite geometric progression):

Fermat started dividing the interval of integration [0,a]. But not into equal subdivisions, but rather he used unequal subdivisions. His solution was to use a geometric progression to determine the width of this rectangles. The width of the rectangles increase in geometric progression.

Let be r a number between 0 and 1, then:

Integral of Power Functions: Partition of the integral interval using a geometric series | matematicasVisuales

He considered rectangles with width:

Integral of Power Functions: width of  rectangles | matematicasVisuales

The width of these rectangles are in a geometric progression.

The height of each rectangle is:

Integral of Power Functions: height of rectangles | matematicasVisuales

The area of each rectangle is:

These areas are in a geometric progression.

We can add up all these rectangles (the result depends on the value of r):

Integral of Power Functions: Area of rectangles | matematicasVisuales

We know how to sum a geometric series:

Now we are going to use for the first time that n is a positive integer and we can simplify the expression:

Integral of Power Functions: the ratio q approaches 1 | matematicasVisuales
Integral of Power Functions: the ratio q approaches 1  | matematicasVisuales

When the ratio r approaches 1 the denominator of this expression approaches n+1 and we can concluding with the result:

A very similar argument give us the integral of power functions with exponent the inverse of a positive integer:

Integral of Power Functions: fractional powers | matematicasVisuales

We can justify this case in a visual and intuitive way:

Integral of Power Functions: visual approach to integrate a fractional power function | matematicasVisuales

If you rotate the image, the function can be seen as xn and you know how to integrate this function, it is to say, we can calculate A'. It is very easy to calculate the area of the rectangle A+A', then it is easy to deduce A. You can try it!

With more generality, you can use geometric progressions to justify the case when the exponent is a positive rational (fractional powers) as Fermat did, it is to say, the function to integrate is:

Integral of Power Functions: fractional powers | matematicasVisuales

Fermat was able to integrate power functions with positive and negative exponent (except for the very important case of n=-1). This integral is related with the Logarithmic Function.

Boyer's point of view about Fermat: "In these quadratures we see most of the essential aspects of the definite integral - the division of the area under the curve into small elements of area, the approximate numerical determination of the sum of these by means of rectangles and the analytic equation of the curve, and finally an attempt by Fermat of express the equivalent of what we would call the limit of this sum, as the number of elements is indefinitely increased and as the area of each becomes indefinitely small. One is almost tempted to say that Fermat recognized all the aspects except that of the integral itself; that is, he did not recognize the operation involved as significant in itself. The procedure was for him, as it has been for all of his predecessors, simply that of finding a quadrature -of answering a specific geometrical question. Only with Newton and Leibniz were the processes involved in infinitesimal consideration recognized as constituting operations, independent of any geometrical or physical considerations, to which characteristic names were applied." (Boyer, pp.161-162)

Edwards' Summary: "During the middle decades of the seventeenth century infinitesimal techniques or indivisibles, motivated by attempts to relax the rigor of the classical method of exhaustion, wre applied to establish the basic quadrature result

Integral of Power Functions: integral formula | matematicasVisuales

It was this result itself, rather than the particular methods used to derive it, that was of lasting importance. For by 1660 the early direct methods of quadrature were rapidly approaching obsolescence, soon to be superseded by indirect methods based on the interplay between quadrature and tangent methods." (Edwards, pp. 120-121)

Archimedes, Cavalieri, Fermat, Torricelli, Wallis and others worked wery hard to integrate power functions. But these integrals are very easy to solve after the discoveries of Newton and Lebiniz (as an application of what nowdays is known as the Fundamental Theorem of Calculus).

REFERENCES

Markushevich - Áreas y logaritmos. Ed. Mir.
Otto Toeplitz - The Calculus. A Genetic Approach. (pp. 52-55). The University of Chicago Press 1963.
C.H. Edwards - The Historical Development of the Calculus (pp. 104-121)- Springer-Verlag.
Carl B. Boyer - The History of the Calculus and its conceptual development (pp. 159-164) - Dover.
Noam D. Elkies - How Fermat integrated xk.

MORE LINKS

Sum of a geometric series of ratio 1/4
One intuitive example of how to sum a geometric series. A geometric series of ratio less than 1 is convergent.
Sum of a geometric series of ratio 1/2
The geometric series of ratio 1/2 is convergent. We can represent this series using a rectangle and cut it in half successively. Here we use a rectangle such us all rectangles are similar.
Definite integral
The integral concept is associate to the concept of area. We began considering the area limited by the graph of a function and the x-axis between two vertical lines.
Polynomial functions and integral (1): Linear functions
It is easy to calculate the area under a straight line. This is the first example of integration that allows us to understand the idea and to introduce several basic concepts: integral as area, limits of integration, positive and negative areas.
Polynomial functions and integral (2): Quadratic functions
To calculate the area under a parabola is more difficult than to calculate the area under a linear function. We show how to approximate this area using rectangles and that the integral function of a polynomial of degree 2 is a polynomial of degree 3.
Polynomial functions and integral (3): Lagrange polynomials (General polynomial functions)
We can see some basic concepts about integration applied to a general polynomial function. Integral functions of polynomial functions are polynomial functions with one degree more than the original function.
Powers with natural exponents (and positive rational exponents)
Power with natural exponents are simple and important functions. Their inverse functions are power with rational exponents (a radical or a nth root)
Archimedes' Method to calculate the area of a parabolic segment
Archimedes show us in 'The Method' how to use the lever law to discover the area of a parabolic segment.
Polynomial functions and integral (3): Lagrange polynomials (General polynomial functions)
We can see some basic concepts about integration applied to a general polynomial function. Integral functions of polynomial functions are polynomial functions with one degree more than the original function.
The Fundamental Theorem of Calculus (1)
The Fundamental Theorem of Calculus tell us that every continuous function has an antiderivative and shows how to construct one using the integral.
The Fundamental Theorem of Calculus (2)
The Second Fundamental Theorem of Calculus is a powerful tool for evaluating definite integral (if we know an antiderivative of the function).
Piecewise Linear Functions. Only one piece
As an introduction to Piecewise Linear Functions we study linear functions restricted to an open interval: their graphs are like segments.
Piecewise Constant Functions
A piecewise function is a function that is defined by several subfunctions. If each piece is a constant function then the piecewise function is called Piecewise constant function or Step function.
Continuous Piecewise Linear Functions
A continuous piecewise linear function is defined by several segments or rays connected, without jumps between them.
Polynomial Functions (2): Quadratic functions
Polynomials of degree 2 are quadratic functions. Their graphs are parabolas. To find the x-intercepts we have to solve a quadratic equation. The vertex of a parabola is a maximum of minimum of the function.
Polynomial Functions (3): Cubic functions
Polynomials of degree 3 are cubic functions. A real cubic function always crosses the x-axis at least once.
Polynomial Functions (4): Lagrange interpolating polynomial
We can consider the polynomial function that passes through a series of points of the plane. This is an interpolation problem that is solved here using the Lagrange interpolating polynomial.
Cavalieri: The volume of a sphere
Using Cavalieri's Principle we can calculate the volume of a sphere.
Exponentials and Logarithms (3): One property of the integral of the rectangular hyperbola
The natural logaritm can be defined using the integral of the rectangular hiperbola. In this page we are going to see an important property of this integral. Using this property you can justify that the logarithm of a product is the sum of the logarithms.