
In 1906, Danish scholar Johan Ludvig Heiberg
learned of a manuscript that had be en catalogued in a
cloister in Constantinople (now Istanbul). The manu-
script contained a religious text of the Eastern
Orthodox Church and was a so-called palimpsest —a
parchment of which the original script had been washed
and overwritten. Because it was reported that the ori-
ginal mathematical text had been imperfectly washed,
Heiberg voyaged from Copenhagen to Constantino ple
to investigate. What Heiberg uncovered was a mathe-
matical manuscript containing numerous works of
Archimedes. It had been copied in Greek in the 10th
century only to be washed and written over in the 13th
century. As luck would have it, most of the original text
could be restored.
Heiberg’s chief find was the Method Concerning
Mechanical Theorems, dedicated to Eratosthenes.
Scholars had known from the references of later Greek
mathematicians that such a work had existed until at
least the 4th century
CE but, until Heiberg’s discovery,
the text was presumed to be lost. In the Method, we
find, to use the words of Wallis, Archimedes writing for
posterity:
Archimedes to Eratosthenes, Greeting: . . . since I
see that you are an excellent scholar . . . and lover of
mathematical research, I have deemed it well to
explain to you and put down in this same book, a
special method whereby the possibility will be
offered to you to investigate any mathematical
question by means of mechanics . . . . [I]f one has
previously gotten a conception of the problem by
this method, it is easier to produce the proof than to
find it without a provisional conception. . . . [W]e
feel obliged to make the method known partly . . . in
the conviction that there will be instituted thereby a
matter of no slight utility in mathematics.
Theory of Indivisibles
The first half of the 17th century saw a number of
attempts to use infinite processes in the computation of
areas, volumes, and center s of gravity. Among the most
important of the early contributors were Pierre de
Fermat and Gilles Rober val in France, Bonaventura
Cavalieri and Evangelista Torricelli in Italy, and John
Wallis and Isaac Barrow in England. In 1635, Cavalieri
introduced his Theory of Indivisibles, a relatively
effective albeit cumbersome procedure for calculating
areas and volumes. Using his method, Cavalieri
became the first to show that
R
1
0
x
n
dx 5 1=ðn 1 1Þ for
natural numbers n. Although Cavalieri’s student
Evangelista Torricelli became the foremost proponent
of the Theory of Indivisibles, Torricelli believed that
Cavalieri had only rediscovered a method that Archi-
medes must have known:
I should not dare confirm that this geomet ry of
indivisibles is actually a new discovery. I should
rather believe that the ancient geometers availed
themselves of this method in order to discover the
more difficult theorems, alt hough in their demon-
stration they may have preferred another way, either
to conceal the secret of their art or to afford no
occasion for criticism by invidious detractors.
Fermat and the Integral Calculus
The extension of Cavalieri’s formula
R
1
0
x
n
dx 5
1=ðn 1 1 Þ from natural numbers to rational values of n
was obtained independently by Fermat and Torricelli.
Fermat’s clever demonstration runs as follows: Given
natural numbers p and q 6¼0, let f (x) 5 x
p/q
. Fix a
number r 2(0, 1), and set x
k
5 r
kq
for k 5 0,1,2,....The
points {x
k
} serve to (nonuniformly) partition [0, 1] into
infinitely many subin tervals. Fermat’s idea was to use the
sum
P
N
k5 0
f ðx
k
Þðx
k
x
k11
Þ to approximate the area
under y 5 x
p/q
for 0 # x # 1. Figure 3a shows the
approximation for r 5 0.9. By taking a larger value of r
(with r still less than 1), we obtain a better approximation
(see Figure 3b). In the limit, we obtain the exact area:
1
y x
p/q
r 0.98
x
0
x
1
x
2
x
3
m Figure 3b
1
y x
p/q
r 0.9
x
0
x
3
x
2
x
1
m Figure 3a
466 Chapter
5 The Integral