This is a translation of Isaaci Barrow Lectiones Mathematicae xxiii; In quibus Principia Matheseôs generalia exponuntur: Habitae Cantabrigiae A.D. 1664, 1665, 1666. Accesserunt ejusdem Lectiones IV. In quibus Theoremata & Problemata Archimedis De Sphaerâ & Cylindro, Methodo Analyticâ eruuntur. London: typis J. Playford, pro G. Wells, 1684 or 1685.

Return to Survey of Infinitary Argument

Return to Vignettes
of Ancient Mathematics

Text | Analysis and Theorem | Geometrical Argument |

Cavalieri Style | Convergence Argument | Observations |

p. 30: This Coalition of Numbers and Magnitudes being admitted, a plentiful Accession accrues to each Discipline. For it will be a very easy thing to discover and demonstrate very many theorems concerning Numbers by the Assistance of Geometry, which, by keeping within the common Limits of Arithmetic would scarcely, if at all, be capable either (p. 31) of Investigation or Demonstration: Also very many Things may be more briefly and clearly found out and demonstrated from hence. And reciprocally, the Ratio's or Reasons of Numbers being well understood will communicate not a little to the more evident Explication and strong Confirmation of many Geometrical Theorems. We will illustrate the Matter with an Example or two. It is an Arithmetical Theorem, that the Sum of an infinite (or indefinite) Series of Numbers increasing from Nothing to a certain term, which is the greatest according to the Ratio of the square Roots of Numbers continually exceeding one another by Unity, (i.e. as 0, 1, 2, 3, &. ad infinitum) is subsesquialter (2/3) the Sum of as many equal to the said greatest Term; Which Theorem I am of Opinion can never be exactly demonstrated by any Method in Arithmetic itself: but it is plainly deduced from Geometry. For if the Diameter of any Parabola be conceived to be divided indefinitely into many equal Parts, then the Right Lines which are ordinately applied to the Diameter, through the Points of the Divisions, will proceed in the same ratio, as is shewn in Geometry: But the Parabola which is constituted of these, whether Right Lines or Parallelograms, is there also demonstrated to be Subsesquialter (2/3) to the parallelogram, upon the same Base and of the same Height, or which is the same thing, to the Sum composed of as many Right Lines or Parallelograms equal to the greatest: From whence, the Agreement of Arithmetic with geometry being supposed which we desire to advance, it plainly follows, that a Series of Numbers of this sort is Subsesquialter (2/3) the Sum of as many equal to the greatest.

Let there be a series, a_{0}, ..., a_{n},
..., where

- a
_{0}= 0 - The series a
_{0}, ..., a_{n}, ... converges on some number Q (possibly infinite) - the total number of terms is P (where P may be infinite)
- the ratio of a
_{n}: a_{m}= n : m.

In other words the series is, for some magnitude b (possibly infinitesimally small):

b*0, b*1, b*2, ..., b*n, ...

Let the limit of the series be Q.

Then, a_{0} + ... + an + ... = 2/3 P*Q

Or simply, as n => infinity,

b*0 + b*1 + b*2 + ... + b*n => 2/3 (n+1) *b*n

Let there be a parabolic segment ABC and a parallelogram (for convenience, a rectangle) AEFC with its base the base of the parabola and its top the tangent to the vertex of the parabola. Let AC be the base of the parabolic segment and BD the altitude of the segment. Hence, Parallelogram AEFC = AC * BD Parabola ABC = 2/3 parallelogram AEFC = 2/3 AC*BD |

Observe, that these analyses, both
common in the 17th cent., play fast and loose with infinite sums.
Barrow appears not at all bothered by this (assuming that this
analysis of his argument is correct). In fact, Barrows theorem
is false in modern Standard Analysis, since the number of lines
composing the figures are not countable (cannot be enumerated
in a series of terms, t_{0}, t_{1}, t_{2},
..., t_{n}, ...), and one cannot speak of the height of
the infinitely narrow parallelograms as other than 0. Similarly,
the series, b*0 + b*1 + b*2 + ... + b*n, ...
either has as its limit 0 or _{0}, depending
on the value of b. In Robinson's, non-standard analysis
the answer may be different.

top