Professional Documents
Culture Documents
67
by the name “geometry of measure,” while we propose the name “geometry of position” for
another important part of classical geometry represented by Apollonius’ Conics.
2 This work won him the friendship and admiration of Galileo, among others, as well as
admission to Federico Cesi’s Accademia dei Lincei. However, during the Copernican crisis of
1616, Valerio left Galileo’s side. For further details about Valerio’s scientific career, see Baldini-
Napolitani 1991.
royal road or labyrinth? 69
given by a more or less axiomatized construction procedure. 1 Euclid’s
axioms allow the existence of straight lines and circles; an implicit
procedure (cutting a given cone with a given plane) allows the existence
of Apollonius’s conic sections. And the aim of geometry was to study
these objects, and determine their properties.
This is totally different from the modern, post-Cartesian attitude. For
us, an ellipse is the locus of the zeros of a particular quadratic equation,
or, in more elementary terms, “the locus of the points such that the sum
of the distances from two fixed points is constant”. The property pre-
cedes the object, which, a priori, might not even exist. For the Greeks,
the ellipse was the object determined by a plane which cuts a cone,
meeting all of its generatrices; this curve therefore existed, but all its
properties were unknown, and needed to be investigated. It is not by
chance that the foci of the ellipse and the hyperbola are introduced by
Apollonius only at the end of the third book of Conics. The object
precedes its properties.
An immediate consequence of this notion of mathematical objects is
that for the Greeks, general objects could not exist. Nothing like our
“curves” existed in classical geometry. Various curved lines existed, of
course – the circle, the conic sections, the conchoid, the cissoid, the
spiral, the quadratrix – but no single conceptual operational category
existed that included all of them. Each of these curves had its own special
procedure that defined it, although of course it is possible that two
curves obtained by means of different procedures could be identified
with each other. For example, the Euclidean circumference could be
identified with the parallel or subcontrary section of a cone; the section
of the cone that produces the ellipse could be identified with the oblique
section of the cylinder. But every curve maintained its identity, its
singularity.
If no general object existed, then general methods could not exist,
either. In Archimedean geometry of measure, there was nothing like our
integral calculus. Integral calculus applies to certain classes of functions,
which satisfy certain conditions. Though we find in Archimedes some
methods for the determination of areas and volumes that recall our own
concepts and techniques, there is a fundamental difference: these meth-
ods are always presented ad hoc, in connection with the kind of problem
to be solved. Thus, the quadrature of the parabola (at least in its
mechanical form) is dealt with in a radically different way from the
1 He writes: “I am sending you... the proofs of the remaining theorems... and of others...
which embarrassed me, though I had already inquired into them many times before, for it
seemed to me that there are some obstacles for their discovery... But subsequently, having
applied myself with greater diligence, I discovered [and proved] the [propositions] that had
embarrassed me”. On the “method of exhaustion” see the interesting comments of B. Vitrac in
Euclid 2001, pp. 237-251.
royal road or labyrinth? 71
known at that time. 1 In 1565 Commandino published Liber de centro
gravitatis solidorum (hereafter LCG), which, however, was far from being
satisfactory. Several proofs were flawed, and above all, the most thorny
questions had not even been dealt with: the determination of the centers
of gravity of segments of the sphere and the ellipsoid, and of the center
of gravity of the hyperboloid. Many other scholars dedicated themselves
to this task, including Francesco Maurolico, Simon Stevin, the young
Galileo, and Valerio’s teacher, Clavius. However, their results had either
not been published, or were not generally known. And none of them
had ever arrived at the determination of the centers of gravity of the
hemisphere or the hyperboloid.
One element common to all the sixteenth-century attempts that are
known to us is their substantial adherence to the ancient “classical”
approach: the centers of gravity of the various solids were dealt with case
by case, introducing ad hoc techniques for each solid studied. Valerio
followed a different method. Instead of dealing with the problem of the
determination of the centers of gravity and quadrature case by case, he
constructed an enormous edifice of theorems valid for a whole class of
figures (those he called circa axim and circa diametrum: roughly speaking,
the former is the solid figure generated by rotation around an axis, the
latter the plane figure with an axis of symmetry; see § 2.2, below); into
which he incorporated the techniques of the quadrature and determi-
nation of the centers of gravity of the various particular figures he dealt
with.
This is what we shall call Valerio’s Royal Road (via regia), and the
expression is obligatory, for Valerio himself used this term to refer to
to some of the general theorems that he proved:
But here you will find many things necessary for this research, which should find
their place of their own right in geometry. Especially the first three propositions
of the second book: you will understand that by means of these a large – and
extremely difficult – part of geometry has been set on a royal road by straightforward
and general demonstration. 2
Valerio was thus taking a significant step ahead in departing from
classical mathematics. To anticipate an example we will later discuss in
detail (§ 5.2 and § 5.4), we point out that the determination of the center
1 As is well known, it was only in 1906 that The Method was rediscovered, which contains
geometria locum habere debeant, maxime vero tres primi secundi libri propositiones, quippe
quibus magnam, ac perdifficilem geometriae partem demonstratione recta et generali ad viam
regiam redactam esse intelliges” CGS, p. 2. Italics ours.
72 pier daniele napolitani · ken saito
of gravity of a hyperboloid (as Valerio proudly observes, “attempted by
nobody before”, “antea tentata nemini”), is reduced to the application of
a general theorem regarding the centers of gravity of figures circa axim
and circa diametrum. Valerio was fully aware of this breakthrough in
methodology, 1 which had a considerable influence on the subsequent
development of mathematics, in particular on Cavalieri. And it seems
possible to hypothesize that each of Valerio’s techniques was also ex-
tremely influential, though it is not easy to evaluate their precise signifi-
cance without further study.
However, this was not the only important methodological innovation
of Valerio. A second decisive step was his invention of the method of
exhaustion. We use this term against the common historiography which
ascribes its invention to Eudoxus, and its development to Archimedes.
However, as we shall try to show in § 3, we believe that Valerio should
be credited with the first systematization of this method dealing with
comparison of areas and volumes, codified in the first three theorems
of De centro, and not just assimilation of a more or less standardized
approach or know-how in Greek mathematics.
Another innovation more complex to describe is, we believe, his
quantitative treatment of geometrical objects, which we will discuss in
§ 5. In Valerio’s work one can see the first attempt to separate the
quantitative properties from geometrical figures, and though this was
a step taken with much caution and hesitation, one can find several
examples of his treatment of geometrical figures where they appear to
be parts representing only quantitative properties, and can be assembled
and disassembled according to the needs of the mathematician. Thus
Valerio came close to a complete dissolution of geometric figures into
pure “quantity”, dissociating them from their shapes and spatial arrange-
ments. This was one of his most important innovations, but, at the same
time, it is exactly at this point where we encounter most clearly an
indication of the limitations of his mathematical language and thought,
which, after all, remain within the paradigm of Euclidean theory of
proportion of “classical” mathematics.
1 See, for example, this passage from his letter to Galileo: “I am working on the material of
de pyramide, having already almost finished putting in order that of de centro gravitatis solidorum
in a better form than before, moving away, as usual, from Archimedes’ style; and increasing it
to such an extent that it is necessary for me to divide it into five books.” (“ch’io per me séguito
la materia de pyramide, avendo già quasi rassettata quella de centro gravitatis solidorum in miglior
forma di prima, discostandomi al solito dallo stile d’Archimede, et accresciuta sì, che m’è
necessario partirla in 5 libri.”, Valerio to Galileo, 23 October 1610; in Galilei 1968, vol. X, p.
452. Cf. Baldini-Napolitani 1991, § 2.6 and Appendice, § 8.
royal road or labyrinth? 73
1 For a discussion of these preceding studies, see Napolitani 1982, pp. 4-8.
2 All’alba della matematica moderna: il “De centro gravitatis solidorum libri tres” di Luca Valerio,
referred to as Passalacqua 1991.
3 Another exception might be represented by the work of Armida Tosi (1957); however, this
is a systematic translation of Valerio’s procedures into the language of integral calculus, and is
heavily influenced by a view of Valerio as a precursor.
royal road or labyrinth? 75
therefore try to show that it was the language and the concepts to which
Valerio remained faithful, based as they were on the theory of propor-
tion of classical Greek mathematics, that caused his Royal Road to go
astray in one of those obscure labyrinths mentioned by Galileo in his
Saggiatore.
1 In the same year, Commandino published his edition of Archimedes’ Floating Bodies from
Suppose now that the center of gravity of the whole triangle T does
not lie on the median, but at the point Q. Let R be the center of gravity
of the inscribed figure F. Since F + R = T, the center of gravity C of the
“remainder” R will lie on the prolongation of the straight line RQ, and
the proportion CQ : QR = T : R holds. As R can be arbitrarily small, (that
is to say, the ratio T : R can be arbitrarily large), and Q is a fixed point
not on the median, the point C will be “expelled” beyond the line GF as
R diminishes. But then the center of gravity of R is outside the triangle,
which is absurd. 3
For the parabola, the construction of the approximating figures is
completely different, but the basic idea of the proof, the “expulsion” of
the center of gravity of the remaining figure, is the same.
1 PE, I-13 and PE, II-4 respectively.
2 This can be shown essentially by using proposition X-1 of the Elements and the so-called
postulate of Eudoxus-Archimedes.
3 For technical details, such as the fact that P is not a fixed point, etc., see the text of
Archimedes.
royal road or labyrinth? 77
Thus the two proofs of the On Plane Equilibriums are both based on
the same idea: to demonstrate that the center of gravity of a figure having a
diameter (or an axis) lies on the diameter, it is sufficient to construct approx-
imating figures whose centers of gravity are on the diameter.
This point was surely understood by Commandino. 1 In his Liber de
centro gravitatis he demonstrates that the center of gravity of a pyramid,
a cone, a portion of a sphere or spheroid, and a parabolic or hyperbolic
conoid lies on the axis (i.e., the straight line joining the vertex to the
center of gravity of the base). Commandino began by proving that
starting from these figures, it is possible to inscribe and circumscribe
stepped figures made of cylinders (prisms in the case of a pyramid) in
such a way that the difference between the inscribed and circumscribed
figures may be made arbitrarily small. 2
No doubt Commandino learned the technique of constructing approx-
imating figures for these solids from another work of Archimedes,
Conoids and spheroids, in particular from proposition 19, where Archimedes
constructed approximating figures for three solids to determine their
volumes: two conoids (parabolic and hyperbolic) and the spheroid.
This technique is essentially based on a procedure of the following
kind:
1 Even before Commandino, by Maurolico, probably about 1544, and definitely before 1548.
Cf. Maurolico 1685, aliter of proposition 22 of the second book of De momentis aequalibus.
However, Maurolico’s work was not widely known, and was only published in 1685. On the
extent of its circulation, see Napolitani-Sutto 2001, § 6.
2 LCG Commandino 1565, props. 10-13.
78 pier daniele napolitani · ken saito
Circumscribe around, and inscribe in, the conoid or spheroid a stepped
figure made up of cylinders. The difference between the circumscribed
and inscribed figures is equal to the cylinder at the base and therefore
this difference may be arbitrarily small, for the height of each cylinder
can be made smaller than any given length. 1
The property that underlies this technique is the “monotonicity” of
the figure in question, that is to say, the fact that the sections constantly
decrease from the base to the vertex. 2
Conoids and Spheroids, prop. 19. The difference between the circumscribed and
inscribed figures is equal to the cylinder at the base.
Having thus obtained his approximating figures, Commandino goes
on to prove that the center of gravity of the cone or of the pyramid (LCG,
prop. 14) and of the parabolic conoid or of a portion of sphere or
spheroid (LCG, prop. 15) lies on the axis, practically repeating the tech-
nique that Archimedes had used for the triangle and the parabola. This
result, though not so difficult to obtain, was important, because it
created a certain link (though by means of rather muddled, tediously
repetitive proofs) between two of Archimedes’ techniques, that of ap-
proximation in Conoids and Spheroids and the one in On Plane Equilibriums
used to prove that the center of gravity lies on the axis.
It may be noted that Commandino was aware of the substantial
identity of the proof techniques, since he repeated the same procedure
1 This procedure is common to all the solid figures with “monotonicity”, and Archimedes in
fact unites the constructions for three figures in one proposition. However, Commandino
repeats this same procedure for each of the figures he considers: pyramid, cone, etc.
2 It is for this reason that the portion of the sphere or spheroid must not be greater than half.
royal road or labyrinth? 79
for each of the figures treated. For example, the proof of proposition 13
(approximation of a portion of a sphere) consists of a reference to Conoids
and Spheroids, pointing out that the technique is the same as the one just
used for the cone or truncated cone (propositions 11 and 12). As for the
“expulsion” technique for the center of gravity, after using this to show
that the center of gravity of the cone and the pyramid must lie on the
axis (prop. 14), Commandino writes when he proceeds to study the
conoids and the portion of a sphere or spheroid:
The proof will be similar to the one we have given above for the cone or truncated
cone, in order to avoid useless repetitions of the same things several times. 1
However, although he realized that the proof was the same for all the
figures, he was not at all interested in formulating a general method from
the various individual proofs. He limited himself to the addition of a few
theorems to what Archimedes had already established, in the same way
(as Commandino probably thought or hoped) as Archimedes himself
might have done.
1 Commandino 1565, prop. 15: “Demonstratio similis erit ei, quam supra in cono, vel coni
pridem editus Federici Commandini urbinatis ... Ego spe magis, ad quam vir ille exarserat
incitatus, quam deterritus lapsu [Commandini], vehementerque dolens geometriae partem
tamdiu desiderari cognitione dignissimam; cum ante exercitationis causa omnium quae propo-
sui solidorum [i.e., cylindri, coni, frusti conici, sphaerae et spaeroidis], excepto conoide paraboli-
co, centra gravitatis aliis viis indagassem; postea non solum parabolici, sed ante me tentata
nemini, hyperbolici conoidis, et frusti utriusque, et hemisphaerii, et hemisphaeroidis et cuiuslibet
portionis sphaerae et spaheroidis ... centra gravitatis adinveni, multa autem ex his duplici,
quaedam triplici via.”
3 As for Subtilium indagationum liber, see Napolitani 1982, pp. 10-38. An anastatic reprint of
1 CGS, prop. I-22, p. 47: “Omnis figurae circa diametrum in alteram partem deficientis, in
through all the centers of the sections by the planes parallel to the base(s).
royal road or labyrinth? 81
constantly decrease from the base to the vertex of the figure, the point
where the diameter meets the figure itself.
Valerio had found this answer, a fact which should not be underes-
timated, for it allowed him much greater generality in his demonstration
compared with Archimedes or Commandino. But he also took another
decisive step forward. He transformed a property (monotonicity) which
allowed him to use a certain proof technique into a definition–the
definition of figures “decreasing around a diameter or an axis”–which
automatically guaranteed the existence of approximating figures:
Definition 2. A plane figure circa diametrum is a figure in which a straight line, called
the diameter of the figure, bisects all those lines parallel to a certain straight line,
whose extremities are on the figure itself. 1
Definition 7. If a solid figure can be cut by parallel planes in such a way that all the
sections have a center and are similar to one another, and if a straight line exists
which passes through the centers of the opposite bases which are parallel and
similar to the aforesaid sections (as in the cylinder), or through the vertex and the
center of the base (as in the cone, the hemisphere or the conoid), and passes
through the centers of all the aforesaid sections, [then] let it [the line] be called the
axis of that figure, and the figure itself a solid circa axim. And if the figure has only
one base or two unequal and parallel bases, and [if], of any two aforesaid sections,
the one closer to the vertex (or to the smaller base) is always the smaller, [then]
let it [the figure] be called ‘decreasing circa axim’ (circa axim in alteram partem
deficiens). 2
Having established these definitions, it is quite easy to prove a theorem
of approximation which is valid not just for several definite figures, but
for the whole class of figures that satisfy this definition. Valerio states
this in propositions I-6 and I-11:
Proposition 6. It is possible to inscribe in every figure decreasing around a diameter
(circa diametrum in alteram partem deficiens) a figure composed of parallelograms all
of equal height, and to circumscribe another, in such a way that the circumscribed
figure is greater than the inscribed figure by a smaller area than any given mag-
nitude. In similar [cases] understand [that the given magnitude is] of the same kind
[as the figures]. 3
1 CGS-I, def. 2, p. 3: “Circa diametrum est figura plana in qua recta quaedam, quae diameter
figurae dicitur, omnes rectas alicui parallelas a figura terminatas bifariam dividit”
2 CGS-I, def. 7, p. 4-5: “Si qua figura solida planis parallelis ita secari possit, ut quaecumque
sectiones centrum habeant, et sint inter se similes; aliqua autem recta linea, sive ad centra basium
oppositarum praedictis sectionibus parallelarum et similium – ut in cylindro – sive ad verticem
et centrum basis terminata – ut in cono, hemisphaerio et conoide – transeat per centra omnium
praedictarum sectionum: ea talis figurae axis nominetur; ipsa autem figura solidum circa axim.
Quae si vel unam tantum habeat basim, vel duas inaequales, et parallelas: duarum autem
quarumlibet praedictarum sectionum vertici, vel minor basi propinquior sit minor remotiori;
solidum circa axem in alteram partem deficiens nominetur.”
3 CGS-I, p. 14, prop. I-6: “Omni figurae circa diametrum in alteram partem deficienti, figura
sit circulus vel ellypsis, figura quaedam ex cylindris vel cylindri portionibus aequalium altitudi-
num inscribi potest et altera circumscribi, ita ut circumscripta superet inscriptam minori excessu
quacumque magnitudine proposita.”
2 For Book V of the Elements, see our discussion below at the end of § 3.
royal road or labyrinth? 83
deficiens minori spacio quacumque magnitudine proposita: talis autem figurae inscriptae, que-
madmodum et circumscriptae centrum gravitatis sit in axe, ut ex sequentibus patebit (et nunc,
cogitanti, facile patere potest), manifestum est omnis solidi circa axim in alteram partem
deficientis centrum gravitatis esse in axe.”
1 The second part of definition 7 (which we omitted previously) says:
«And by this name we mean also those solids whose sections parallel to the base are – though
not perfectly similar to the base – lacking those figures that are similar to the base and similar
to those whole figures from which it is understood that they [lacking figures] are detached, such
that the whole figure and the detached figure have a common center on a straight line
terminating at the center of the base; let this [line] be called the axis of the solid». (CGS-1, p. 5:
“Quo nomine significari etiam volumus ea solida, quorum quaelibet sectiones basi parallelae
quamvis basi non sint omnino similes, tamen iis figuris deficiunt quae sunt similes basi, ac totis
iis, a quibus ipsae ablatae intelliguntur, ita ut tota figura et ablata habeant commune centrum
in una recta linea ad centrum basis terminata, quae et ipsa talis solidi axis nominetur.”)
royal road or labyrinth? 85
A “bowl”. The solid CED has been detached from the cylinder ABCD, with which
it has the axis EF in common. The plane GH, which passes through a point I cuts
two concentric circles from the two solids, and the section of the bowl is the circular
corona GKLH (CGS, I-def.7, p. 5).
from the proportion between the areas of the sections generated by the
planes parallel to the base) and not from their form (convexity or concav-
ity). However, he continued to use classical language, which is primarily
oriented to figures, and not directly to the quantities themselves. We shall
later see that it was this discrepancy between Valerio’s adherence to the
language of classical geometry and the techniques he employed–which
basically take into consideration only quantitative aspects–that made his
Royal Road so tortuous and, in the end, almost impracticable.
As we said in the beginning, it is not our intention to carry out a
profound analysis of the De centro, much less for its first book. But some
other bizarre characteristics are worth mention; for example, the strange
way in which Valerio deals with the triangle and the pyramid.
According to the definitions he gives, the triangle is a figure decreasing
around a diameter (the median). One would therefore expect him to
discuss the center of gravity of the triangle using I-22. Among other
things, the figure in the diagram of this proposition there is actually a
triangle, and the archetype of the proof is based on Archimedes’ proof
for the triangle (see § 2.1). And yet, ne verbum quidem. The proof of the
center of gravity of a triangle is presented in a most ingenious manner,
with acute observations about certain procedures used by Archimedes.
But it seems to have escaped Valerio’s notice that the triangle would
have fallen in the group for which he was developing general theorems.
Even more curious is the case of the pyramid, for which Valerio
excogitated a highly ingenious proof, decomposing the pyramid infin-
itesimally into a sort of Sierpinski’s sponge ante litteram. 1 But in this case
1 An exhaustive analysis of this proposition is in Passalacqua 1991, pp. 30-36.
86 pier daniele napolitani · ken saito
again, he could easily have proceeded by a general route: it would have
been sufficient to include it among the solids decreasing around an axis
(though definition 7 does not take this into account).
We may imagine a large number of reasons that could account for
these incongruities: from biographical factors, to the situation in the
publication of De centro, to the desire to publish brilliant, ingenious
proofs which would have been obscured by a proof that used a general
method. But we do not embark on a thoroughgoing survey of these and
other possibilities. Suffice it for the time being to have indicated some
instances of the mixture between those two contradictory aspects in
Valerio’s œuvre mentioned at the end of the introduction: on the one
hand, a new methodological approach and the introduction of a new
mathematical object (decreasing figures), and on the other, the survival
of ad hoc proofs, obscurity of exposition, and logical difficulties in the
arrangement of arguments. Suffice it, above all, because we are now
about to enter one of the principal lanes of the Royal Road – the first
three propositions of the second book and their applications.
1 Proposition III-10 also contains the cases where the bases are ellipses instead of circles. In
88 pier daniele napolitani · ken saito
In order to demonstrate this proposition, Valerio first proves that a
similar relationship also holds between a truncated triangular pyramid
and the prism circumscribing it (prop. III-9); he then extends it to a
truncated pyramid with any polygonal base, and lastly, he goes on to
show that this relationship continues to hold also for the truncated cones
and cylinders circumscribing them. It is only in this last stage that II-3
is used, one of the propositions constituting the Royal Road.
Let us now examine this stretch of the Royal Road step by step. In
proposition III-9, similar triangles DEF and ABC are the greater and the
smaller bases of the truncated pyramid, respectively. Let the truncated
pyramid ABC-DEF be T3 and the circumscribed prism DEF-HKC be P3 ;
we will have (making x=DE and y=AB): 1
1
T3 : P3 =xy + (x–y)2 :x2.
3
The corollary of proposition III-9 extends the results to the truncated
pyramids and their circumscribed prisms in general:
1
Tn : Pn =xy + (x–y)2 :x2.
3
this case the cylinder is called ‘portion of cylinder’. Here we shall deal only with the case of circles,
for the sake of simplicity. In the original text, the ekthesis runs like this:
I say that the truncated [cone] AD is to the cylinder or to the cylindrical portion CG, as the
rectangle DCF together with the third part of the square on DF is to the square on CD. (“Dico
frustum AD ad cylindrum, vel portionem cylindricam CG, esse ut rectangulum DCF una cum
tertia parte quadrati DF, ad quadratum CD.” CGS-III, p. 15.
1 CGS-3, p. 11: “Dico frustum BDF ad prisma HKF esse ut rectangulum DEG una cum tertia
parte quadrati DG ad quadratum DE”. We limit ourselves to a brief sketch of the complex proof
of this theorem, which is based on standard techniques of the theory of proportions and on the
decomposition and recomposition of solids. Valerio constructs the triangle GEL, which is
congruent to the triangle ABC, and decomposes the circumscribed prism P3 DEF-HKC into the
following three prisms:
P3,1 : prism HNA-DGM
P3,2 : prism ABC-GEL
P3,3 : prism AGM-CLF
Then P3,3 is equal to a prism P3,4 with the base GML and the height AM (i.e., the same height
as the other prisms). Furthermore, from the similarity of the base,
P3,1 : P3 = DG2 : DE2 = (x – y)2 : x2
P3,2 : P3 = GE2 : DE2 = y2 : x2.
Then, from the equality DEF = DGM + EGL + 2GML we obtain:
P3,4 : P3 = DG · DE2 = (x – y)y : x2.
1
As the truncated prism T3 is equal to P + P3,2 + P3,3, it follows that:
3 3,1
T3 : P3 = (x – y)2 + y2 + (x – y)y : x2 = xy + 1 (x – y)2 : x2.
1
3 3
royal road or labyrinth? 89
CB frusto, et prisma ipsi CG inscriptum ab ipso CG, minori spacio quantacunque proposita
magnitudine”.
90 pier daniele napolitani · ken saito
cylinder of the same base and height (Elements, XII-10), or that two circles
are in the same ratio as the squares on their diameters (Elements, XII-2).
Valerio, however, has no need of this. It is sufficient for him at this
point to quote proposition 2 of the second book:
Through the third proposition of this book [! it should be: “the second of the second
book”] the rectangle [contained by] DC, CF together with the third part of the
square on DF will be to the square on CD, as the truncated [cone] CB to the cylinder
or to the portion of cylinder CG. 1
Thus a proposition which would have required recourse to double
reductio ad absurdum in Euclid and Archimedes (and also in Commandino
and other Renaissance scholars), is proved by a single reference to
Valerio’s general theorem. Le us now examine this proposition and two
others in detail.
1 “Per tertiam igitur huius [!], erit ut rectangulum DCF una cum tertia parte quadrati DF ad
CD quadratum ita frustum CB ad cylindrum, vel portionem cylindricam CG.” CGS-III, p. 17.
Note that proposition II-2 of CGS is erroneously quoted as “tertiam huius”, one of the many
indications of a hasty publication, not carefully checked by Valerio. At the end of proposition
II-3, Valerio adds:
«But this proposition did not exist in the few copies which I gave to some people as a gift;
for I elaborated it afterwards, so that the second [proposition] here, in those [copies’] third [proposition],
could be used more easily in those cases where the name of a ratio would have been obscured
by indicating the third and fourth term... Thus the lemma, which was the first proposition, is
no longer necessary for me.”» (“Haec autem propositio in paucis exemplaribus quae dono
quibusdam dederam non extat: posterius enim eam excogitavi, quo secunda antecedens hic, in illis
tertia, facilius serviret iis quibus certae proportionis nomen tertium et quartum terminum
subobscure indicat... Illo autem lemmate, quod prima propositione inscribebatur, nunc ita non
egeo.” Italics ours. CGS-2, pp. 7-8.)
The present proposition II-3, therefore, did not exist initially, and the present proposition II-
2 was numbered as II-3. Furthermore, in the copies he “gave to some people as a gift”, the third
book probably did not exist, either: in fact, at the end of the second book in the extant version,
Valerio explains that he had written it during the month of October 1603 at the request of
Clement VIII and Cardinal Pietro Aldobrandini (CGS-II pp. 91-92). In the extant printed version,
proposition II-3 refers to the case in which two “approximating” magnitudes have a named ratio,
such as 3/2 or any other numerical ratio. Here in the proposition III-17, on the contrary, it is
a ratio between magnitudes (that of a certain area to a square) that is at issue. The proposition
referred to must therefore be proposition II-2 of the extant version, and this error gives us
royal road or labyrinth? 91
tude of the same kind as A and B; and let E : F=C : D (E > A, F > B). I say that
A : B = C : D. 1
In the case of proposition III-10, the magnitudes A, B are respectively the
truncated cone and the cylinder circumscribed around it; C corresponds
to ab+ 13 (a–b)2 and D to a2. The magnitudes E and F (in this case smaller
than A and B by a quantity less than any given magnitude) are an
appropriate truncated pyramid (E= Pn) inscribed in the truncated cone
and an appropriate prism ( F= Tn) inscribed in the cylinder.
Valerio gives two proofs of this theorem. The first refers back to
proposition II-1, which differs from II-2 only in that the “constant” ratio
is E:B=F:D, from which he deduces that A:B=C:D.2 We will briefly
illustrate the second (alternative) demonstration. If A:B=C:D does not
hold, then A:B must be either greater or smaller than C:D. Let it be
greater, and let X be a magnitude such that: 3
C: D=A: X
with X > B. Now, from the premise of the proposition, one can take E,
F such that E > A, X > F > B and E:F=C:D. It follows that E:F=A:X,
then alternately (Elements, V-16), E:A=F:X. As E is greater than A, F also
must be greater than X. But F was smaller than X, which is absurd. The
other cases (that the ratio A:B is smaller than C:D or that the magnitudes
E, F are respectively smaller than A and B) are dealt with similarly.
The reader who knows Book XII of the Elements or the work of
Archimedes will recognize a well-known proof technique here. There
is no substantial difference in the proof between this proposition of
interesting information about the genesis of De centro. Unfortunately, no copy of the previous
version has been found. For further information, cf. (Baldini-Napolitani 1991), §§, 2.5-2.6.
1 CGS-2, pp. 4-5: “Propositio II. Si maior, vel minor prima ad una maiorem, vel minorem
secunda, minori utriusque excessu, vel defectu quantacumque magnitudine proposita fuerit ut
tertia ad quartam, erit ut prima ad secundam, ita tertia ad quartam.
Sint quatuor magnitudines A prima, B secunda, C tertia et D quarta; et aliae duae magnitu-
dines E, F una maiores quam A, B minori excessu quantacunque magnitudine proposita eiusdem
generis cum ipsis A, B. Sit autem E maior quam A ad F maior quam B, ut C ad D. Dico esse
A ad B, ut C ad D.”
We have supplied a translation only of the ekthesis, given the extremely elliptic nature of
Valerio’s protasis. Note, however, that the ekthesis is enunciated only for the case in which the
magnitudes E and F are greater than A and B; at the end of the proposition Valerio adds “we
would similarly prove the same if E, F, be set smaller than A, B and proportional as stated” “(idem
autem similiter ostenderemus positis E, F minoribus A, B et proportionalibus ut dictum est)”.
2 In Valerio’s proof of II-1 the lettering is different, for E, F designate other magnitudes in the
proof.
3 We have changed the letters used by Valerio to maintain a uniformity of lettering.
92 pier daniele napolitani · ken saito
Valerio and the many examples of a double reductio ad absurdum in Euclid
or in Archimedes. 1 From this point of view, there is nothing new in
Valerio’s proof. And there is nothing new, either, in proposition II-3,
which is substantially identical to proposition II-2, except for the fact that
the ratio C:D is substituted by a “named ratio” (nominata proportio): a
ratio that can be expressed in numbers.
Where is the innovation, then? It seems to us that it is in the gener-
alization of a proof technique, transforming it into a uniform method. The
first three propositions of the second book, taken together, make it
possible to deal automatically with all those cases in Greek geometry
where complicated arguments of double reductio ad absurdum was re-
quired to get desired conclusions from the existence of in/circumscribed
figures satisfying certain conditions. Valerio’s method may be summa-
rized in the following terms:
Given two magnitudes A and B, if it is possible to determine the magnitudes E and
F which approximate to A and B respectively, such that the ratio E : F remains
constant, then the ratio A : B will also be the same as the ratio E : F.
Valerio makes a wide use of this principle in De centro: the most famous
case is the determination of the ratio between the sphere and the
circumscribed cylinder (CGS, II-12), praised by Galileo in the “First Day”
of his Two New Sciences (Discorsi intorno a due nuove scienze) published in
1638 and mentioned in almost all subsequent literature. 2 But the cases
of the paraboloid (II-17) and other figures could also be quoted.
As we mentioned in the beginning, modern studies have seen here an
anticipation of the concept of limit, or even a statement of a property
of limit. We rather believe that these propositions of Valerio constitute
the invention of the method that was subsequently called the method
of exhaustion. We have already pointed out in the introduction that,
strictly speaking, we cannot talk about the existence of the method of
exhaustion in Greek mathematics. It is true that similar proof tech-
niques, based on essentially common principles, repeatedly appear in
Euclid and in Archimedes. But these techniques are hardly ever identical.
For example, in proposition XII-2, in order to prove that the ratio
between circles is the same as the ratio of the squares on their radii,
Euclid refers only to their inscribed polygons, whereas in his Measure-
ment of Circle, Archimedes uses both inscribed and circumscribed poly-
gons to prove that the circle is equal to the right-angled triangle with
1 Maracchia illustrates this point very clearly: one of the proofs of proposition II-1 is practically
identical to a part of proposition XII-2 of the Elements. Cf. Maracchia 1992, pp. 274-5.
2 Galileo 1968, VIII, p. 76.
royal road or labyrinth? 93
the rectified circumference as its base and the radius as its height. Even
the basic principles are not defined univocally and precisely: Euclid’s
definition in Book V, stating that “magnitudes are said to have a ratio to
one another which are capable, when multiplied, of exceeding one
another” is one matter, but the lemma that Archimedes uses to construct
his approximating magnitudes is quite another.
It may be objected that these are only slight differences, which should
not be exaggerated. However, the really important point is that the
technique to compare areas and solids figures did not belong to an
explicitly formulated theory; it was but a kind of “art”, or “know-how”–
a sort of meta-theorem. The fact is rather that in the corpus of Greek
geometry the Renaissance received from the ancient world, there was
nothing like a method to deal with ratios between the straight and the
curved–a clear, uniform method, based on well-defined principles. Thus
it was one of the challenging tasks for mathematicians of the sixteenth
century to discover the common characteristics in various theorems in
Greek mathematics dealing with quadratures and cubatures. Moreover,
even after such common characteristics had been found, there remained
to be taken the decisive step to unite them into a general principle of
demonstration. The case of Commandino we discussed in the previous
section is instructive to us. What appears to us trivial today, was not so
at all for the geometers around the end of the sixteenth century.
It was Valerio who achieved this step: he raised a series of proof
techniques to the level of a method, which, from Grégoire de Saint
Vincent on, was to be called the method of exhaustion. This seems to
be the characterization that best defines Valerio’s contribution and
locates it in the right context of the history of mathematics. It is to be
emphasized that his method was developed in the framework of the
classical theory of proportion, of which it represents a sort of improve-
ment.
It should not be forgotten that the first three theorems of the second
book should be understood exactly as the general theorems of Book V
of the Elements. There, Euclid had established a whole series of possible
manipulations of ratios and proportions of magnitudes: permutando (or
alternately, V-14), componendo (V-18), ex aequali (V-22), etc. However,
these theorems were not intended to establish a set of operations for
abstract “magnitudes”; they do not form something like the algebra we
possess today. Euclid’s set of theorems was intended to enable necessary
manipulations for ratios and proportions concerning geometric figures. 1
1 For further discussion cf. Saito 2003.
94 pier daniele napolitani · ken saito
In the language of Greek geometry, every time there is a need to deduce
one proportion from another, one of these manipulations is referred to.
In particular, in highly complex cases, an appropriate series of lemmas
placed at the beginning of a work–as is the case with various writings
by Archimedes–serves to provide a transformation which, if proved in
the course of a theorem, would distort the lines of the proof and confuse
the readers.
We believe that the same analysis can be applied to Valerio’s general
theorems. In the economy of his work, they come to act as “general
lemmas” to be quoted when they become necessary. In other words,
they cannot be interpreted separately from their application, whether
this may be the ratio of the truncated cone to the circumscribed cylinder
or that of the paraboloid to the cone inscribed in it. If these “general
theorems” appear to convey the concept of limit, this may simply mean
that we already know this concept.
It is not our desire here to embark on a long discussion of the foregoing
studies that have seen Valerio as a precursor of concepts of calculus and
analysis. We will limit ourselves to the remark that we do not believe
that the contribution of Valerio can in any way be seen as a development
of a theory that would enable an effective calculation with limits,
understood in the modern sense. His contribution remains within the
classical paradigm, even if it represents an essential contribution to this
paradigm: a general method that makes treatment of the problems of
quadrature and cubature easier and uniform. Rather than a precursor
of limits, Valerio is the inventor of the method of exhaustion.
1 CGS-2, p. 53: “Propositio XXXII. Si duarum praedictarum figurarum circa communem axim,
vel diametrum (vel alterius diametrum, alterius axim), bases et quotcumque sectiones quales
diximus, binae in eodem plano fuerint proportionales; idem punctum in diametro, vel axe erit
utriusque centrum gravitatis.”
96 pier daniele napolitani · ken saito
Now let the triangle and the paraboloid be cut by two planes parallel
to the base of the paraboloid: the sections of the triangle will be d1 =NP and
d2 =GK, and the corresponding sections of the paraboloid will be S1 and
S2, the circles MQ and FL, respectively. It is easy to verify that 1
S1 :S2 =NP : GK =d1 :d2.
Now it would be easy to conclude from this proportionality between the
sections that the centers of gravity of the paraboloid and the triangle
must coincide. In fact, if one considers stepped approximating figures to
both the triangle and the paraboloid (made of parallelograms and cyl-
inders, respectively), the proportionality of the sections guarantees that
the centers of gravity of both approximating figures must coincide, and
consequently, it is possible, by means of the standard techniques of
1 The circles S and S are to each other as the squares of their radii (Elements, XII-2), and the
1 2
radii are the ordinates of the parabola MQ and FL, so that those squares are to each other as
the abscissae BO and BH (Conics, I-20). From the similarity of the triangles NBP and GBK it
follows that BO is to BH as NP is to GK. Therefore, S1 : S2 = NP : GK = d1 : d2.
royal road or labyrinth? 97
double reductio ad absurdum, to deduce that the centers of gravity of the
triangle and the paraboloid must coincide, too.
This is what Maurolico had done. 1 Around 1565, he discovered that
it was possible to deduce, from the proportionality of the sections of the
triangle and of the paraboloid, the coincidence of their centers of grav-
ity; and since the center of gravity of the triangle is known, that of the
paraboloid can be determined. The center of the triangle is situated at
1 of the axis; in modern terms, it would be sufficient to show that the
3
sequence of the centers of gravity of the approximating figures of the
paraboloid “converges” at this point. Maurolico demonstrated that the
sequence of the centers of gravity of the inscribed (or circumscribed)
approximating figures is monotonic, and that the point situated at 13 of
the axis represents the upper (or lower) limit of this sequence, by
showing that the distance between the center of gravity of the approx-
imating figure and this point is 61 of the height of the individual cylin-
ders that make up the approximating figure (parallelograms in the
approximating figure for the triangle). Of course, this proof of “conver-
gence” depends heavily on the fact that the center of gravity of the
approximating figure for a triangle (or paraboloid) can easily be deter-
mined, which in turn depends on the specific property of the triangle
(or paraboloid): the in/circumscribed parallelograms (or cylinders) form
an arithmetic progression. It is not easy, however, to generalize a proof
of this kind.
Galileo, too, in his Theoremata de centro gravitatis solidorum written in
1587-88, followed a similar procedure, although the connection between
the triangle and the paraboloid was much less explicit. 2
Thus the fact that the triangle and paraboloid have the same center
of gravity was not an absolute novelty in Valerio’s time. 3 In any case,
the central concern of our investigation is not so much whether he knew
about these results a priori or discovered them in the course of his own
research, but rather that from this topic he developed a theory and a
completely new method for the determination of centers of gravity.
Valerio’s fundamental idea can be summarized as follows:
1 For a detailed analysis of the works of Maurolico on this subject, cf. Napolitani- Sutto 2001.
2 Galileo’s Theoremata was published in 1638 as an “Appendix” to his Two New Sciences. In Le
Opere di Galileo Galilei, the Edizione Nazionale by A. Favaro, they are placed in Volume I, pp.
179-208, following the chronological order of their composition.
3 As for the hypotheses concerning the problem of whether Valerio knew the works of
editus Federici Commandini ... [in quo] cilyndri, et coni, et frusti conici centrum gravitatis
ostendisset ... conoide parabolico tentato syllogismi iactura operam perdidisset.”
2 Commandino 1565, pp. 40v-41r: “Data quaelibet portione conoidis rectanguli, abscissa plano
ad axem recto, vel non recto, fieri potest, ut portio solida inscribatur vel circumscribatur ex
cylindris, vel cylindris portionibus, aequalem habentis altitudinem, ita ut recta linea, quae inter
centrum gravitatis portionis et figurae inscriptae, vel circumscriptae interiicitur, sit minor
quaelibet recta linea proposita.”
100 pier daniele napolitani · ken saito
eb eb
≥ ,
g ek
it follows that
C eb
> .
C −P ek
From this, separando, we have:
C − (C − P ) P eb − ek
= > .
C −P C −P ek
Commandino at this point tacitly supposes that the point k is situated
above e and therefore eb > ek, so that eb − ek = kb :
P kb
> .
C −P ek
Then it is easy to conclude: let a length x be taken such that
P x
= .
C −P ek
It is obvious that the length x must be greater than kb for this proportion
to hold; if a point ᐉ is taken on the axis of the conoid above the point
k such that the distance 冷k–ᐉ冷 is equal to x, this point will fall above the
vertex b, that is, outside the conoid, because x > kb. From the above
proportion (P : C – P =x:ek) and the law of the lever, this point must be
the center of gravity of C – P, since k and e are the centers of gravity of
C and P respectively. However, it is impossible for the center of gravity
of C – P to fall outside the conoid.
What is interesting in this proof is Commandino’s assumption that the
centers of gravity of the approximating figure C always fall above the
center of gravity of the conoid P. This is by no means justified, but it
is equivalent to assuming that the sequence of the centers of gravity of the
circumscribed approximating figures has an upper limit. 1 It is quite possible
that Valerio was thinking of this proof when he wrote that Commandino
had wasted his efforts, and had fallen foul of a “flaw in his reasoning”. 2
1 More precisely, the (value of) abscissa kb has an upper limit, which is a “lower” limit in the
Commandino tries to determine the center of gravity of the conoid in a somewhat clumsy
manner. In fact, he claims that he has proved that by doubling the number of cylinders inscribed
in, and circumscribed around, the conoid, the centers of gravity of the inscribed and circum-
scribed approximating figures draw closer to the center of gravity of the conoid. He supplies
the proof only for the case where there are 2 or 4 cylinders, limiting himself to the comment
that the general case can be dealt with in the same manner (eodem modo). However, the matter
is not so simple as Commandino claimed (or wished) to be: the calculation of the general case
following Commandino’s method is extremely complicated. Valerio does not follow this path,
though, as we have seen in the previous section; his problem is to demonstrate that the
proportionality of the sections as confirmed in the case of the triangle and the parabolic conoids
is enough to establish the coincidence of the centers of gravities of the decreasing figures in
general (we will see this in § 4.4). We believe, therefore, that the “flaw in reasoning” that had
struck Valerio should rather be sought in the logical flaws of Commandino’s proof of prop. 28,
a proof which was presented as an important component in order to obtain the result that he
was trying to achieve.
102 pier daniele napolitani · ken saito
Thus the material available at the end of the sixteenth century was rich
enough to allow Valerio to try to prove in general the convergence of
the centers of gravity of the approximating figures to the center of
gravity of the figure.
Valerio proves the “monotonicity” of the sequence of the centers of gravity of the figures
approximating a decreasing figure. We have to admit that this is a fairly free reconstruction; it
goes without saying that, in line with the style of the mathematics of the period, Valerio does
not supply any indication about the heuristics that led him to this result.
royal road or labyrinth? 103
inequalities of ratios, these manipulations preserve the inequalities, too. Pappus explicitly proves
this at the beginning of the propositions in Book VII of the Collection, and Campanus added the
proofs of these inequalities at the end of his edition of Book V.
104 pier daniele napolitani · ken saito
that is,
P0 :P1 < P2 :P3.
Then, since the figures Pi (cylinders or parallelograms) are of equal
height, they will be in the same ratio as their respective bases Si.
Therefore, the relation between the figures Pi carries over to that be-
tween the bases Si, which are the sections of F taken at equal distances;
so that:
S0 :S1 < S2 :S3.
One can easily see that this latter condition regarding four sections is
equivalent to the following one, which consists only of three sections
at equal distances:
Sm :Sµ < Sµ :SM,
Sm in which Sm, Sµ and SM designate the smallest, medium and largest
sections respectively. 1
This result can be expressed as follows:
For every group of three equidistant sections of a decreasing figure, the ratio of
the smallest section to the medium one must be smaller than that of the medium
to the largest one.
Assuming that this condition is satisfied (II-29), Valerio is now able to
demonstrate that the sequence of centers of gravity of approximating
figures circumscribed to a decreasing figure descend monotonically:
Prop. II-29 (Summary): Given a decreasing figure circa axim or circa diametrum,
whose sections are such that, if three equidistant sections are taken, the ratio of
the smallest section to the medium one is smaller than that of the medium to the
largest one, it is possible to circumscribe an approximating figure around it, whose
center of gravity is closer to the base than any other [assigned] approximating
figure. 2
1 Suppose that for each group of four sections the property under examination holds. Let three
sections, Sm, Sµ, and SM be given. Taking a section σ1 at the midpoint between Sm and Sµ and a
section σ2 at the midpoint between Sµ and SM, we will obtain, from the condition of four sections:
Sm : σ1 < Sµ : σ2
and that
σ1 : Sµ < : σ2 : SM
hence, ex aequali,
Sm : Sµ < : Sµ : SM
as desired. The converse is obvious. It should be observed that there is no explicit proof in
Valerio of the equivalence of the property for the groups of four and that of the groups of three,
even if, in the proof of theorem II-29, he passes from a consideration of three sections to four
sections.
2 CGS, p. 47: “Datae figurae circa diametrum vel axim in alteram partem deficienti super basim
royal road or labyrinth? 105
Modern readers would expect here an explicit definition of a sub-class
of decreasing figures by Valerio himself, which satisfies this additional
condition, and for which he develops his new method for the determi-
nation of the centers of gravity (II-32, see below). However, Valerio does
not give a name to this sub-class; we shall call it the class of “mµM figures”,
for the sake of the convenience. 1
Proposition II-30 establishes that the center of gravity of an approx-
imating figure must always fall “above” the center of gravity of an
mµM figure, thus correcting the logical flaw Valerio had found in Com-
mandino. Now Valerio has no difficulty, in II-31, in demonstrating that
the sequence of the centers of gravity of the approximating figures
circumscribed around an mµM figure has the center of gravity of the
figure as its supremum (least upper bound): 2
It is possible to circumscribe around every said [mµM] figure a figure composed
of cylinders, ... or parallelograms, in such a way that the distance from its center
of gravity to the center of gravity of the said figure is smaller than any assigned
length. 3
The proofs of propositions 30 and 31 closely follow the lines of
Archimedes’ PE, II-6, and Commandino’s Liber de centro gravitatis, prop-
rectam lineam vel circulum, vel ellipsim, cuius figurae basis et sectiones omnes parallelae
segmenta aequalia diametri intercipientes ita se habeant, ut quarumlibet trium proximarum
minor proportio sit minimae ad mediam, quam mediam ad maximam, figura quaedam ex
cylindris, vel cylindri portionibus, vel parallelogrammis aequalium altitudinum circumscribi
potest, cuius centrum gravitatis sit propinquius basi quam cui uslibet datae figurae, qualem
diximus quae praedictae figurae circa diametrum vel axim circumscripta sit”.
We have preferred here to offer a paraphrase rather than a faithful translation of this complex
enunciation. We shall not dwell on the full proof of this proposition, expounded in (Passalacqua,
1991), pp. 91-6. We shall limit ourselves here to the observation that in order to conclude, Valerio
makes use of a series of lemmas proved in preceding propositions, where he considers levers
loaded with various sets of weights.
1 In modern terms, Valerio’s condition is equivalent to requiring that the figure be “logarith-
mically convex”. If f (x) is the monotonic function that defines the figure, Valerio’s condition
can be translated into the requirement that ∀ x and for fairly small values of ⑀, the following
must hold:
f ( x − ⑀) f ( x)
< ,
f ( x) f ( x + ⑀)
or, taking the logarithm of f,
log f ( x − ⑀ ) + log f ( x + ⑀ )
< log f ( x ).
2
This means that the function f (x) must be concave.
2 We continue to suppose an abscissa that goes “down” on the diameter (or axis) starting from
vel parallelogrammis aequalium altitudinum circumscribi potest, cuius centri gravitatis distantia
a praedictae figurae centro gravitatis sit minor quantacumque longitudine proposta”.
106 pier daniele napolitani · ken saito
osition 28. Thus they do not contain any interesting novelties. It should
be emphasized once again, however, that what in Archimedes was a
process of reasoning adapted to the particular case of the parabola, here
becomes a general theorem, valid for all mµM figures.
Having organized his basic material, Valerio can finally proceed to the
proof of II-32, which generalizes the paradigmatic case of the paraboloid
and the triangle: given two mµM figures, decreasing around the same
axis or the same diameter, if the sections of these figures are proportion-
al, then the figures will have the same center of gravity.
The proof is simple. Let the two figures be G and T. The center of
gravity G of G will be situated on their common axis. It is to be proved
that G is also the center of gravity of T. If, ab absurdo, this were not true,
let us suppose that it is situated at another point, H, which will fall either
above or below the point G. If it falls higher, take a figure G * circum-
scribed around G, whose center of gravity K is distant from G by less
than GH (II-31); therefore K will be situated under H. Let an approximat-
ing figure T * of T be constructed, which is “homologous” to the one
just constructed, i.e., T * is made of cylinders (or parallelograms) of the
same height of those circumscribed around G. Since the cylinders (or
parallelograms) of T * and G * are as their bases, that is, as the sections
of T and G which are always proportional by the premise of the prop-
osition, T * and G * will have the same center of gravity K. 1 But then the
1 This result is guaranteed by a lemma, proposition II-25, which states that if there are two
series of magnitudes along a straight line, which are, taken two by two, proportional and have
royal road or labyrinth? 107
center of gravity of T *, the approximating figure of T, would be situated
below H, the presumed center of gravity of T : this is impossible, because
it conflicts with proposition II-30. The case in which the center of gravity
L of the figure T falls below G is treated in similar way.
Before closing our examination of this proposition, we emphasize
once again that, even if we have often used a modern terminology, we
do not mean to imply that the concepts of sequence (progression),
monotonicity, and convergence are present in Valerio–even less in
Archimedes. These are concepts that are extremely useful in order to
explain the general lines of certain procedures of Archimedes or Valerio,
but they are not to be confused with what these authors actually prove.
What we can interpret today in terms of the convergence of sequence
of centers of gravity, were but lemmas introduced in order to reach a
precise goal for them, and not lemmas for proving theorems about
sequences. Archimedes wanted to reach a particular result: he intended
to demonstrate that the centers of gravity of similar segments of the
parabola are similarly placed, and hence to deduce the position of the
center of gravity of the segment of a parabola. Valerio’s intention was
more general: he wanted to obtain a theorem that would allow him,
starting from appropriate premises, to determine the position of the
center of gravity of one figure from that of another figure. However, a
formalized theory of convergence of sequence, and the concept of
sequence itself as a recognizable mathematical object, were alien to
these two mathematicians.
the center of gravity in common, then the two series of magnitudes have the common center
of gravity. (CGS-II-25, “Si sint quotcumque magnitudines, et aliae illis multitudine aequales,
binaeque sumptae in eadem proportione, quae commune habeant centrum gravitatis, centra
autem gravitatis omnium sint in eadem recta linea; primae et secundae tanquam duae magni-
tudines commune habebunt centrum gravitatis.”)
108 pier daniele napolitani · ken saito
First, Valerio demonstrates that the triangle and the parabolic conoid are
two decreasing figures of the mµM class. Secondly, he shows that the
sections of the triangle and the conoid are proportional. And at this
point, les jeux sont faits: the conditions of proposition II-32 are satisfied,
and he only has to apply it to obtain the result: the center of gravity of
the parabolic conoid is the same as that of the triangle, so that it divides
the axis in the ratio of 2:1.
For Renaissance geometry, the center of gravity of the parabolic
conoid was a sort of extrema Thule: nobody, not even Maurolico –
probably the greatest mathematician of the XVI century – had proceed-
ed beyond it. Furthermore, the result was already known from
Archimedes’ Floating Bodies, and this work had guided Commandino in
his unsuccessful attempt to devise a convincing proof. Valerio goes well
beyond these Pillars of Hercules: he easily succeeds in determining
centers of gravity which were wholly unknown in the mathematics of
his period: in particular, that of the hemispheroid and – above all – that
of the hyperbolic conoid (hyperboloid) which is undoubtedly one of the
most difficult results in the classical-Renaissance mathematics. 1
1 The only other attempt known to the authors of the present article to determine the center
of gravity of the hyperboloid in the Renaissance period was that of the young Galileo, who wrote
to Guidobaldo del Monte on July 16, 1588:
« On another occasion, I will send you the proof that in obtuse-angled conoid [=hyperboloid], the
center of gravity divides the axis in the following way: the part towards the vertex has to the remaining
part the same ratio as the sum of the axis and the double of the annex the axis has to the sum of the annex
to the axis and one third of the axis. » (“Un’altra volta gli manderò dimostrato che in conoide
obtusangulo centrum gravitatis axem ita dividit, ut pars ad verticem ad reliquam eandem habeat rationem,
quam composita ex axe et dupla ad axem adiectae habet ad compositam ex adiecta et tertia parte axis.
(Galilei 1968), X, p. 36. The italics are in this edition).
The result that Galileo communicates to Guidobaldo is, however, wrong: at least if “annex
to the axis” (adiecta ad axem) is taken to mean the line between the vertex and the center of
the hyperbola, that is, half of the latus transversum of the hyperbola in classical language, as was
the standard usage of the term. Archimedes had presented the result for the hyperbolic conoid
in his Method (proposition 11, without supplying any kind of proof, though) in these terms: “The
center of gravity of a segment of an obtuse-angled conoid is situated on its axis, at the point which
divides the axis in such a way that its part towards the vertex has, to the remaining part, the
ratio which [the sum of] three times the axis and eight times the annex has to [the sum of] the
axis of the conoid and four times the annex of it”. However, the Method was unknown before
its rediscovery by Heiberg in 1906.
It is worth mentioning en passant that Galileo repeatedly stated that he had given up the idea
of publishing his early work, Theoremata, because “some time later, he ran across the book of
Luca Valerio, a prince of geometers, and saw that this resolved the entire subject without
omitting anything; hence he went no further, though his own advances were made along quite
a different road from that taken by Valerio.” (“incontratosi, dopo alcun tempo, nel libro del Sig.
Luca Valerio, massimo geometra, e veduto come egli risolve tutta questa materia senza niente
lasciar in dietro, non seguitò più avanti, ben che le aggressioni sue siano per strade molto diverse
da quelle del Sig. Valerio. Galilei 1968, VIII, . 313; at the end of the “Fourth Day”. English
translation by S. Drake in Galileo, Two New Sciences, Madison 1974. p. 260.) It may be conjectured
that one of the things he read in the book of “a prince of geometers” which convinced him to
royal road or labyrinth? 109
However, as we shall see, there are quite a few obscurities in the use
that is proposed of II-32. Here the Royal Road tends to get lost in a maze.
We shall try to explore this – and to understand the cause for this
phenomenon – in the following section.
a, the center of gravity of the paraboloid is situated at 2/3a, and that of the cone at 3/4a
(measured from the vertex). And from the construction of C and P, it is easily confirmed that
C : P = a : 3/2b.
royal road or labyrinth? 113
in proposition II-32, and encapsulated therein; they do not appear here
in proposition II-43, which we are examining (they should not reappear
any more, as long as II-32 is valid; but we must not forget that we are
in Bomarzo Park). The central point, in our opinion, is the dissolution
of the hyperboloid into two figures whose centers of gravity are known,
and the ratio of whose volumes is known. What is even more striking
is that the center of gravity of the hyperboloid I is linked to the center
of gravity of an impossible solid, a true monster: the sum of the cone
C and the paraboloid P, which partially overlap each other. This object,
C + P, is not a normal solid that can exist in the common sense of the
term and in the spatial intuition of classical geometry; furthermore, the
cone and the paraboloid are determined in a purely formal manner,
starting from a decomposition of the symptom of the hyperboloid into
two terms. In this sense, these solids are more instruments than geomet-
rical figures that possess existence of their own. They are pieces that can
be reused.
Here the object of interest shifts from geometrical figures as such,
which possess a form and position, to their quantitative properties and
relationships between them, or better, to the relationship between their
sections.
As we mentioned in the beginning of this section, Valerio seems to
be scared by his own audacity. We have just seen his determination
of the center of gravity of the hyperboloid, using the “monster” C + P ;
he goes so far as to theorize this procedure in a special corollary to
proposition II-32, in which he states that the theorem just proved
maintains its validity even if, instead of considering single figures of the
mµM class, one considers their sum. But then in Book III, we find some
complications, for Valerio proposes an alternative proof as a “more
natural” – magis naturalis – one in which not only are monsters avoided,
Therefore, the center of gravity of P + C (which coincides with that of the hyperboloid I )
will be situated at a point x, such that
x − 2 a : 3 a − x = C : P = a : 3 b.
3 4 2
Hence it is then relatively easy to reach the conclusion of Valerio’s enunciation of proposition
II-43: “The center of gravity of a hyperbolic conoid is a point that can be found – if the axis
is divided into twelve parts – in the fourth part starting from the base, which divides the said
fourth part in such a way that the part nearer to the base is to the remaining [part], as 3/2 of
the latus transversum [b] of the hyperbola that generates the [hyperbolic] conoid is to the axis
of the conoid [a].” (“Omnis conoidis hyperbolici centrum gravitatis est punctum illud, in quo
duodecima pars axis ordine quarta ab ea, quae basim attingit, sic dividitur, ut pars basi propin-
quior sit ad reliquam, ut sesquialtera transversi lateris hyperbolas, quae conoides describit ad
axim conoidis.” CGS, II-p. 78)
114 pier daniele napolitani · ken saito
but so is theorem II-32. However, before examining this alternative, let
us have a look at another technique he uses in order to determine
centers of gravity.
1 Valerio had already introduced his famous bowl to determine the volume of the hemisphere
in proposition II-12. We do not repeat this well-known proposition, partly because it is essentially
contained in Valerio’s arguments of its center of gravity in II-33. It should be observed, however,
that the studies that have occasionally dwelt on proposition II-12 to create the image of a Valerio
as a precursor of infinitesimal calculus generally have not appreciated the fact that this deter-
mination of volume, like others found in De centro, is in a certain sense a sort of by-product of
the method for the determination of centers of gravity in II-32, a proposition that has never been
studied with the attention that it deserves.
royal road or labyrinth? 115
have just seen, except that the treatment is by far in good order. The
other, exposited as aliter to III-31 is more interesting to us.
Hemisphere in De centro.
Approximating figures to the cone and to the bowl are constructed (CGS, II-33).
The second proof of the center of gravity of the hemisphere (III-31, aliter).
1 CGS-III, p. 79: “Et hic huius tertii libri finis esset, nisi, secundo iam impresso, alia quaedam
easy to prove that the three figures at issue belong to the mµM class, and
that consequently, applying II-32 to them, C and S have the same center
of gravity. Then, since I = S + P and the centers of gravity of S and P are
known, one could easily determine the center of gravity of I, for it is
possible to determine the ratio P : S.
This is, at least, the proof that we might expect from our knowledge
of proposition II-32. But it is not at all what we find. On the contrary,
what is employed here to obtain the ratio P : S is the method of exhaus-
tion developed at the beginning of the second book; then there appear
the demonstrations concerning approximation of paraboloid and hyper-
boloid (Appendix, prop. 4 and 5), though they are already generally
demonstrated in I-11. Lastly, in proposition 6, in order to determine the
center of gravity of the hyperbolic-parabolic bowl S, Valerio, wishing to
avoid recourse to proposition II-32, seems to refer to a proposition of
Book I (prop. 38) which is not applicable here, for it is explicitly stated
for convex figures. 1
Now we have enough reason to be perplexed. Here not only has the
use of monsters been eliminated, as well as the use of figures as demon-
1 We say ‘Valerio ... seems’ because the quotation that Valerio provides is generic: “from what
we demonstrated in Book I” (“ex iis igitur quae in primo libro demonstravimus”). However, we
do not enter into details of this highly obscure proof. An analysis of proposition I-38 can be found
in (Passalacqua 1991), pp. 70-71.
120 pier daniele napolitani · ken saito
strative instruments, but it is the whole methodological structure of De
centro that is tottering. The Royal Road peters out into a “more natural”
one (via magis naturalis), which is very similar to the paths followed by
Archimedes and Euclid long time ago.
6. A Dead End?
6. 1. Significance and Limitations of Valerio’s Geometry
We have just seen that Valerio’s Royal Road seems to fade out into
nothing, in a multiplication of theorems, techniques, and obscure cross-
references. No doubt this is one of the reasons why Valerio did not enjoy
the celebrity of a Cavalieri, and he has always been the victim of partial,
or distorted readings and interpretations, even among his contemporar-
ies. 1 Yet, on the other hand, his work had a far greater influence than
might appear at first sight. Let us try to sum up briefly what we have
discovered in our reading of De centro:
• Valerio was the first to break with the Greek model of the mathemat-
ical object : he introduces, and uses, classes of figures defined by one
or more properties, to prove theorems that are more general and
productive (in particular theorem II-32);
• he invented the method of exhaustion, codifying in a series of general
theorems, the classical technique to establish quantitative relation-
ships between geometric figures. For the first time, the conditions to
use that know-how of Euclid and Archimedes were formulated in a
explicit way;
• in theorem II-32, he introduces ante litteram one of the techniques (the
so-called second method of indivisibles) which Cavalieri later codified
in his Geometria;
• he treated some basic figures as pieces that could be assembled and
re-used, although with the limitations of the language of classical
geometry.
Each of these contributions was to have a considerable influence on his
contemporaries. But, as we have tried to illustrate, Valerio seems to
draw back before the potential consequences of the novelties that he
himself introduces. It is clear, for example, that the results he obtained
to prove II-32 could easily be translated into a general theorem about
the ratios between two figures: Cavalieri’s principle. Valerio could have
1 As regards the renown and the destiny of Valerio’s work, see Napolitani 1982, § 4.2, pp.
80-85.
royal road or labyrinth? 121
taken this step without any effort; he had at his disposal the material,
the techniques, and the methodological know-how to do so. But he did
not. His quadrature and cubature (hemisphere, paraboloid, hyperbolic-
parabolic bowl and yet others) are performed without making use of any
“Valerio’s principle”, but are treated in a classical manner (even if he uses
his method of exhaustion introduced at the beginning of Book II).
We have also seen that he was perfectly capable of dealing with
triangles and parabolas, cones and paraboloids, as if they were instru-
ments or “parts” to “assemble” more complicated figures. However, it
is nonetheless true that Valerio did not have at his disposal the necessary
expressions to carry out the “instrumentalization” of the figures com-
pletely. He did not possess a language that corresponded precisely to the
“instruments-figures”, and had to express the results of the division of
the symptom of the hyperbola in terms of two real solids, the paraboloid
and the cone, that occupy their places in the same three-dimensional
space. They were still geometric magnitudes, not yet abstract quantity.
This caused a problem, that of a figure composed of two figures partially
superimposed, which is just incidental for us, but created a serious
obstacle for him, an unsurmountable difficulty in his language of the
classical mathematics.
We have chosen to express Valerio’s results in algebraic language. We
hope that this choice has not been misleading. In fact, all three proofs
that he proposes for the center of gravity of the hyperboloid are alge-
braically equivalent; they are all based on the same idea of splitting the
equation of a hyperboloid into two terms, if not to say that they are
reduced to a single demonstration. Geometrically, however, they are
not the same thing at all. The monstrous figure, in which a cone and
a paraboloid are united, is one thing; an elegant hyperbolic-parabolic
bowl is quite another. And the required techniques are different – often
wildly different – if one treats the case by the classical theory of propor-
tion. Indeed, Valerio was a classical geometer. Even if he was a contem-
porary of Viète, he was not even remotely influenced (like many other
Italian mathematicians of his generation and the next) by the revolution
that the French mathematician was introducing into geometry: the
creation of a sort of union between the abstract manageability of num-
bers and the ease of representation of geometric magnitudes. Between
the use of a general theory and an elegant demonstration à la grecque,
he ended up by preferring the latter. Ultimately, it was Valerio’s classical
mentality that prevented him fully elaborating and expoliting the more
innovatory aspects of his work.
122 pier daniele napolitani · ken saito
References
Andersen, Kirsti (1984), Cavalieri’s Method of Indivisibles, «Archive of History of
Exact Sciences», 31, pp. 291-367.
Baldini-Napolitani (1991), Baldini, Ugo and Napolitani, Pier Daniele, Per una
biografia di Luca Valerio. Fonti edite e inedite per una ricostruzione della sua carriera
scientifica, «Bollettino di storia delle scienze matematiche», 11, fasc. 1, pp. 3-157.
Bosmans, Henri (1913), Les démonstrations par l’analyse infinitésimale chez Luc Valerio,
«Annales de la Société Scientifique de Bruxelles», 37, pp. 211–228.
Clavius, Christoph (1992), Corrispondenza. Edizione critica a cura di Ugo Baldini
e Pier Daniele Napolitani, Dipartimento di Matematica dell’Università di Pisa.
Commandino, Federico. Liber De centro gravitatis solidorum, Bologna, Alessandro
Benacci.
Euclid (2001), Les Elements, traduction et commentaire par B. Vitrac, vol. IV, Paris,
P.U.F.
Galilei, Galileo (1964–68), Le opere di Galileo Galilei, nuova ristampa dell’edizione
nazionale, 20 vols., Florence, Giunti Barbera.
Giusti, Enrico (1980), Cavalieri and His Method of Indivisibles, Rome, Cremonese.
Giusti, Enrico (1998), Ipotesi sulla natura degli oggetti matematici, Turin, Bollati-
Boringhieri. (French translation: La naissance des objets mathémathiques, Paris,
Ellipses, 2000.)
Maracchia, Silvio (1992), Luca Valerio matematico linceo, in La matematizzazione
dell’universo. Momenti della cultura matematica tra ’500 e ’600, Assisi, Edizioni
Porziuncula, pp. 253–302.
Maurolico, Francesco (1685), Admirandi Archimedis Syracusani monumenta omnia
mathematica, quae extant, ... ex traditione doctissimi viri D. Francisci Maurolyci,
Palermo, “apud Cyllenium Hesperium”.
Napolitani, Pier Daniele (1982), Metodo e statica in Valerio, «Bollettino di storia
delle scienze matematiche», 2, fasc. 1.
Napolitani-Sutto (2001), Napolitani, Pier Daniele and Sutto, Jean-Pierre, Francesco
Maurolico et la détermination du centre de gravité du paraboloïde, «SCIAMVS», 2, pp.
187-250.
Passalacqua, Lorena (1991), All’alba della matematica moderna: il De centro gravitatis
124 pier daniele napolitani · ken saito
solidorum libri tres di Luca Valerio, Tesi di Laurea (relatore P.D. Napolitani),
Università degli Studi di Pisa, Academic Year 1991-92.
Saito, Ken (2003), Phantom Theories of pre-Eudoxean Proportion. «Science in Con-
text», 16, pp. 331-343.
Tosi, Armida (1957), Il De centro gravitatis solidorum di Luca Valerio, «Periodico
di Matematica», S. IV, 35, pp. 189-203.
Valerio, Luca (1582), Subtilium indagationum liber primus seu quadratura circuli et
aliorum curvilineorum, Rome, Francesco Zannetti.
Valerio, Luca (1604), De centro gravitatis solidorum libri tres, Rome, Bartolomeo
Bonfandini.