Skip to main content
Home
plus.maths.org

Secondary menu

  • My list
  • About Plus
  • Sponsors
  • Subscribe
  • Contact Us
  • Log in
  • Main navigation

  • Home
  • Articles
  • Collections
  • Podcasts
  • Maths in a minute
  • Puzzles
  • Videos
  • Topics and tags
  • For

    • cat icon
      Curiosity
    • newspaper icon
      Media
    • graduation icon
      Education
    • briefcase icon
      Policy

      Popular topics and tags

      Shapes

      • Geometry
      • Vectors and matrices
      • Topology
      • Networks and graph theory
      • Fractals

      Numbers

      • Number theory
      • Arithmetic
      • Prime numbers
      • Fermat's last theorem
      • Cryptography

      Computing and information

      • Quantum computing
      • Complexity
      • Information theory
      • Artificial intelligence and machine learning
      • Algorithm

      Data and probability

      • Statistics
      • Probability and uncertainty
      • Randomness

      Abstract structures

      • Symmetry
      • Algebra and group theory
      • Vectors and matrices

      Physics

      • Fluid dynamics
      • Quantum physics
      • General relativity, gravity and black holes
      • Entropy and thermodynamics
      • String theory and quantum gravity

      Arts, humanities and sport

      • History and philosophy of mathematics
      • Art and Music
      • Language
      • Sport

      Logic, proof and strategy

      • Logic
      • Proof
      • Game theory

      Calculus and analysis

      • Differential equations
      • Calculus

      Towards applications

      • Mathematical modelling
      • Dynamical systems and Chaos

      Applications

      • Medicine and health
      • Epidemiology
      • Biology
      • Economics and finance
      • Engineering and architecture
      • Weather forecasting
      • Climate change

      Understanding of mathematics

      • Public understanding of mathematics
      • Education

      Get your maths quickly

      • Maths in a minute

      Main menu

    • Home
    • Articles
    • Collections
    • Podcasts
    • Maths in a minute
    • Puzzles
    • Videos
    • Topics and tags
    • Audiences

      • cat icon
        Curiosity
      • newspaper icon
        Media
      • graduation icon
        Education
      • briefcase icon
        Policy

      Secondary menu

    • My list
    • About Plus
    • Sponsors
    • Subscribe
    • Contact Us
    • Log in
    • Intriguing integrals

      Intriguing integrals: Part I

      Chris Sangwin
      1 March, 2010
      2 comments
      You might also like to read the second part of this article.

       

       

      What is the integral of xk? If you're up to speed with your calculus, you'll know the answer off by heart. It's ∫xkdx=xk+1k+1, for k≠−1, and ∫x−1dx=∫1xdx=ln⁡(x). for k=−1.

       

       

      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 ∫xkdx might better be written as ∫xkdx=xk+1−1k+1.

      The integral of x2

      Let's start by deriving the integral ∫xkdx=xk+1k+1 for k=2 by calculating the area under the graph of f(x)=x2 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 bn. The height of each rectangle is the maximum value of the curve on the corresponding interval. In the case of x2 this maximum value occurs at the right hand end of each interval. For the ith interval this right hand end point is xi=ibn, and the corresponding value of the function is f(ibn)=(ibn)2. The area of the ith rectangle is therefore Ai=bn×(ibn)2=i2b3n3. The total area of the rectangles is ∑i=1nAi=∑i=1ni2b3n3=b3n3∑i=1ni2. Using the sum 12+22+32+⋯+n2=∑i=1ni2=16n(n+1)(2n+1) and simplifying, we can show that the total area of the rectangles equals b3(13+12n+16n2). 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)=x2 {\em 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 b3(13−12n+16n2). Combining these two estimates for the area under the graph, we have b3(13−12n+16n2)≤A≤b3(13+12n+16n2). As n→∞ both of these estimates converge to b33≤A≤b33. Since these estimates trap the area between them, the only option is that A=∫0bx2dx=b33, which gives us the required expression ∫xkdx=xk+1k+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 ∫xkdx for all positive numbers k=1,2,3,⋯. However, the method relies on being able to sum series of the form ∑i=1nik. 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 ∫xkdx where k is any positive rational number. Here we will only consider the case when k=1,2,⋯. (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. To start, fix an integer n and a number r with $0 

      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 x-coordinate of the right hand end of the ith rectangle is rib. The x-coordinate of the left hand end of the ith rectangle is ri+1b. If we subtract the x-coordinates of the ends of rectangles to get the width, we have rib−ri+1b=b(1−r)ri. The height of the ith rectangle is (rib)k. The total area of these rectangles is then ∑i=0n−1b(1−r)ri×(rib)k=bk+1(1−r)∑i=0n−1(rk+1)i.

      The sum in the right hand side of this expression is a geometric progression, which we can evaluate using the standard formula ∑i=0n−1(rk+1)i=1−(rk+1)n1−rk+1. The total area is thus bk+1(1−r)1−(rk+1)n1−rk+1. If we let n→∞, 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 bk+1(1−r)11−rk+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 ith rectangle is b(1−r)ri, which tends to 0 as r→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 limr→1bk+1(1−r)11−rk+1=bk+1limr→11−r1−rk+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+r2+r3+⋯+rk=1−rk+11−r. This means that 1−r1−rk+1=11+r+r2+r3+⋯+rk. Substituting this into our limit above gives bk+1limr→11−r1−rk+1=bk+1limr→111+r+r2+r3+⋯+rk=bk+11+1+1+⋯+1=bk+1k+1, which gives us the integral ∫xkdx as expected.

      Have a go yourself

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

      • Use the method described here and the result ∑k=1nk3=14n2(n+1)2 to find the area under f(x)=x3.
      • Use apply Fermat's method of unequal rectangles to calculate the area under f(x)=1x 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.

      • Log in or register to post comments

      Comments

      Kelvin Zhang

      6 October 2024

      Permalink

      There is an error in formatting halfway down the page

      • Log in or register to post comments

      Marianne

      9 October 2024

      In reply to Formatting Error by Kelvin Zhang

      Permalink

      Thanks for poiting that out, w ehave fixed it!

      • Log in or register to post comments

      Read more about...

      calculus
      integration
      University of Cambridge logo

      Plus Magazine is part of the family of activities in the Millennium Mathematics Project.
      Copyright © 1997 - 2025. University of Cambridge. All rights reserved.

      Terms