geometric solutions archimedes

33
http://www.gutenberg.org/dirs/etext05/geomc10.txt The Project Gutenberg EBook of Geometrical Solutions Derived from Mechanics by Archimedes Copyright laws are changing all over the world. Be sure to check the copyright laws for your country before downloading or redistributing this or any other Project Gutenberg eBook. This header should be the first thing seen when viewing this Project Gutenberg file. Please do not remove it. Do not change or edit the header without written permission. Please read the "legal small print," and other information about the eBook and Project Gutenberg at the bottom of this file. Included is important information about your specific rights and restrictions in how the file may be used. You can also find out about how to make a donation to Project Gutenberg, and how to get involved. **Welcome To The World of Free Plain Vanilla Electronic Texts** **eBooks Readable By Both Humans and By Computers, Since 1971** *****These eBooks Were Prepared By Thousands of Volunteers!***** Title: Geometrical Solutions Derived from Mechanics A Treatise of Archimedes Author: Archimedes Release Date: April, 2005 [EBook #7825] [Yes, we are more than one year ahead of schedule] [This file was first posted on May 20, 2003] Edition: 10 Language: English Character set encoding: ASCII *** START OF THE PROJECT GUTENBERG EBOOK GEOMETRICAL SOLUTIONS *** Gordon Keener http://www.gutenberg.org/dirs/etext05/geomc10.txt (1 of 33) [5/1/2008 7:44:14 PM]

Upload: sachin-more

Post on 20-Jul-2016

9 views

Category:

Documents


0 download

DESCRIPTION

Geometric Solutions Archimedes

TRANSCRIPT

Page 1: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

The Project Gutenberg EBook of Geometrical Solutions Derived from Mechanicsby Archimedes

Copyright laws are changing all over the world. Be sure to check thecopyright laws for your country before downloading or redistributingthis or any other Project Gutenberg eBook.

This header should be the first thing seen when viewing this ProjectGutenberg file. Please do not remove it. Do not change or edit theheader without written permission.

Please read the "legal small print," and other information about theeBook and Project Gutenberg at the bottom of this file. Included isimportant information about your specific rights and restrictions inhow the file may be used. You can also find out about how to make adonation to Project Gutenberg, and how to get involved.

**Welcome To The World of Free Plain Vanilla Electronic Texts**

**eBooks Readable By Both Humans and By Computers, Since 1971**

*****These eBooks Were Prepared By Thousands of Volunteers!*****

Title: Geometrical Solutions Derived from Mechanics A Treatise of Archimedes

Author: Archimedes

Release Date: April, 2005 [EBook #7825][Yes, we are more than one year ahead of schedule][This file was first posted on May 20, 2003]

Edition: 10

Language: English

Character set encoding: ASCII

*** START OF THE PROJECT GUTENBERG EBOOK GEOMETRICAL SOLUTIONS ***

Gordon Keener

http://www.gutenberg.org/dirs/etext05/geomc10.txt (1 of 33) [5/1/2008 7:44:14 PM]

Page 2: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

% gbn0305181551: Archimedes, Geometrical Solutions Derived from Mechanics. Gordon Keener <[email protected]>. 1909c. 5/19/2003. ok.\documentclass[12pt]{article}\usepackage[greek,english]{babel}\usepackage{wrapfig}\usepackage{graphicx}

\title{Geometrical Solutions Derived from Mechanics}

\author{A Treatise of Archimedes}

\date{\vspace{\baselineskip}{\small Recently discovered and translated from the Greekby}\\ Dr. J. L. Heiberg\\ {\small Professor of Classical Philology atthe University of Copenhagen}\\\vspace{\baselineskip} {\small with an introduction by}\\ David EugeneSmith\\ {\small President of Teachers College, Columbia University, New York}\\\vspace{\baselineskip}{\small English version translated from the German by}\\ LydiaG. Robinson\\ {\small and reprinted from ``The Monist,'' April,1909}\\\vspace{\baselineskip}{\small Project Gutenberg edition:\\gbn0305181551: Archimedes, Geometrical Solutions Derived from Mechanics.Gordon Keener $<[email protected]$>$. 1909c. 5/19/2003. ok.}}

\begin{document}

\maketitle

\vfill\pagebreak

\section*{Introduction}

If there ever was a case of appropriateness in discovery, the findingof this manuscript in the summer of 1906 was one. In the first placeit was appropriate that the discovery should be made inConstantinople, since it was here that the West received its firstmanuscripts of the other extant works, nine in number, of the greatSyracusan. It was furthermore appropriate that the discovery should bemade by Professor Heiberg, \emph{facilis princeps} among all workersin the field of editing the classics of Greek mathematics, and anindefatigable searcher of the libraries of Europe for manuscripts toaid him in perfecting his labors. And finally it was most appropriatethat this work should appear at a time when the affiliation of pureand applied mathematics is becoming so generally recognized all overthe world. We are sometimes led to feel, in considering isolatedcases, that the great contributors of the past have worked in thefield of pure mathematics alone, and the saying of Plutarch that

http://www.gutenberg.org/dirs/etext05/geomc10.txt (2 of 33) [5/1/2008 7:44:14 PM]

Page 3: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

Archimedes felt that ``every kind of art connected with daily needswas ignoble and vulgar''\footnote{Marcellus, 17.} may havestrengthened this feeling. It therefore assists us in properlyorientating ourselves to read another treatise from the greatestmathematician of antiquity that sets clearly before us hisindebtedness to the mechanical applications of his subject.

Not the least interesting of the passages in the manuscript is thefirst line, the greeting to Eratosthenes. It is well known, on thetestimony of Diodoros his countryman, that Archimedes studied inAlexandria, and the latter frequently makes mention of Konon of Samoswhom he knew there, probably as a teacher, and to whom he was indebtedfor the suggestion of the spiral that bears his name. It is alsorelated, this time by Proclos, that Eratosthenes was a contemporary ofArchimedes, and if the testimony of so late a writer as Tzetzes, wholived in the twelfth century, may be taken as valid, the former waseleven years the junior of the great Sicilian. Until now, however, wehave had nothing definite to show that the two were everacquainted. The great Alexandrian savant,---poet, geographer,arithmetician,---affectionately called by the students Pentathlos, thechampion in five sports,\footnote{His nickname of \emph{Beta} is wellknown, possibly because his lecture room was number 2.} selected byPtolemy Euergetes to succeed his master, Kallimachos the poet, as headof the great Library,---this man, the most renowned of his time inAlexandria, could hardly have been a teacher of Archimedes, nor yetthe fellow student of one who was so much his senior. It is moreprobable that they were friends in the later days when Archimedes wasreceived as a savant rather than as a learner, and this is borne outby the statement at the close of proposition I which refers to one ofhis earlier works, showing that this particular treatise was a lateone. This reference being to one of the two works dedicated toDositheos of Kolonos,\footnote{We know little of his works, none ofwhich are extant. Geminos and Ptolemy refer to certain observationsmade by him in 200 B. C., twelve years after the death ofArchimedes. Pliny also mentions him.} and one of these (\emph{Delineis spiralibus}) referring to an earlier treatise sent toKonon,\footnote{\selectlanguage{greek} T\~wn pot\`i K\'onwna\'apustal\'entwn jewrhm\'atwn.} we are led to believe that this wasone of the latest works of Archimedes and that Eratosthenes was afriend of his mature years, although one of long standing. Thestatement that the preliminary propositions were sent ``some timeago'' bears out this idea of a considerable duration of friendship,and the idea that more or less correspondence had resulted from thiscommunication may be inferred by the statement that he saw, as he hadpreviously said, that Eratosthenes was ``a capable scholar and aprominent teacher of philosophy,'' and also that he understood ``howto value a mathematical method of investigation when the opportunityoffered.'' We have, then, new light upon the relations between thesetwo men, the leaders among the learned of their day.

A second feature of much interest in the treatise is the intimate view

http://www.gutenberg.org/dirs/etext05/geomc10.txt (3 of 33) [5/1/2008 7:44:14 PM]

Page 4: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

that we have into the workings of the mind of the author. It mustalways be remembered that Archimedes was primarily a discoverer, andnot primarily a compiler as were Euclid, Apollonios, and Nicomachos.Therefore to have him follow up his first communication of theorems toEratosthenes by a statement of his mental processes in reaching hisconclusions is not merely a contribution to mathematics but one toeducation as well. Particularly is this true in the followingstatement, which may well be kept in mind in the present day: ``l havethought it well to analyse and lay down for you in this same book apeculiar method by means of which it will be possible for you toderive instruction as to how certain mathematical questions may beinvestigated by means of mechanics. And I am convinced that this isequally profitable in demonstrating a proposition itself; for muchthat was made evident to me through the medium of mechanics was laterproved by means of geometry, because the treatment by the formermethod had not yet been established by way of a demonstration. For ofcourse it is easier to establish a proof if one has in this waypreviously obtained a conception of the questions, than for him toseek it without such a preliminary notion. . . . Indeed I assume thatsome one among the investigators of to-day or in the future willdiscover by the method here set forth still other propositions whichhave not yet occurred to us.'' Perhaps in all the history ofmathematics no such prophetic truth was ever put into words. It wouldalmost seem as if Archimedes must have seen as in a vision the methodsof Galileo, Cavalieri, Pascal, Newton, and many of the other greatmakers of the mathematics of the Renaissance and the present time.

The first proposition concerns the quadrature of the parabola, asubject treated at length in one of his earlier communications toDositheos.\footnote{\selectlanguage{greek} Tetragwnismds parabol\~hs.}He gives a digest of the treatment, but with the warning that theproof is not complete, as it is in his special work upon thesubject. He has, in fact, summarized propositions VII-XVII of hiscommunication to Dositheos, omitting the geometric treatment ofpropositions XVIII-XXIV. One thing that he does not state, here or inany of his works, is where the idea of center ofgravity\footnote{\selectlanguage{greek} K\'entra bar\~wn,\selectlanguage{english} for ``barycentric'' is a very old term.}started. It was certainly a common notion in his day, for he oftenuses it without defining it. It appears in Euclid's\footnote{At anyrate in the anonymous fragment \emph{De levi et ponderoso}, sometimesattributed to him.} time, but how much earlier we cannot as yet say.

Proposition II states no new fact. Essentially it means that if asphere, cylinder, and cone (always circular) have the same radius,$r$, and the altitude of the cone is $r$ and that of the cylinder$2r$, then the volumes will be as $4 : 1 : 6$, which is true, sincethey are respectively $\frac{4}{3}\pi r^3$, $\frac{1}{3}\pi r^3$, and$2\pi r^3$. The interesting thing, however, is the method pursued,the derivation of geometric truths from principles of mechanics. Thereis, too, in every sentence, a little suggestion of Cavalieri, an

http://www.gutenberg.org/dirs/etext05/geomc10.txt (4 of 33) [5/1/2008 7:44:14 PM]

Page 5: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

anticipation by nearly two thousand years of the work of the greatestimmediate precursor of Newton. And the geometric imagination thatArchimedes shows in the last sentence is also noteworthy as one of theinteresting features of this work: ``After I had thus perceived that asphere is four times as large as the cone. . . it occurred to me thatthe surface of a sphere is four times as great as its largest circle,in which I proceeded from the idea that just as a circle is equal to atriangle whose base is the periphery of the circle, and whose altitudeis equal to its radius, so a sphere is equal to a cone whose base isthe same as the surface of the sphere and whose altitude is equal tothe radius of the sphere.'' As a bit of generalization this throws agood deal of light on the workings of Archimedes's mind.

In proposition III he considers the volume of a spheroid, which he hadalready treated more fully in one of his letters toDositheos,\footnote{\selectlanguage{greek} Per\`i kwnoeide\~wn kaisfairoeide\~wn.} and which contains nothing new from a mathematicalstandpoint. Indeed it is the method rather than the conclusion that isinteresting in such of the subsequent propositions as relate tomensuration. Proposition V deals with the center of gravity of asegment of a conoid, and proposition VI with the center of gravity ofa hemisphere, thus carrying into solid geometry the work of Archimedeson the equilibrium of planes and on their centers ofgravity.\footnote{\selectlanguage{greek} 'Epip\'edwn \`isorropi\~wn\^h k\'entra bar\~wn \'epip\'edwn.} The general method is that alreadyknown in the treatise mentioned, and this is followed throughproposition X.

Proposition XI is the interesting case of a segment of a rightcylinder cut off by a plane through the center of the lower base andtangent to the upper one. He shows this to equal one-sixth of thesquare prism that circumscribes the cylinder. This is well known to usthrough the formula $v = 2r^2h/3$, the volume of the prism being$4r^2h$, and requires a knowledge of the center of gravity of thecylindric section in question. Archimedes is, so far as we know, thefirst to state this result, and he obtains it by his usual method ofthe skilful balancing of sections. There are several lacunae in thedemonstration, but enough of it remains to show the ingenuity of thegeneral plan. The culminating interest from the mathematicalstandpoint lies in proposition XIII, where Archimedes reduces thewhole question to that of the quadrature of the parabola. He showsthat a fourth of the circumscribed prism is to the segment of thecylinder as the semi-base of the prism is to the parabola inscribed inthe semi-base; that is, that $\frac{1}{4}p : v = \frac{1}{2}b :(\frac{2}{3} \cdot \frac{1}{2}b)$, whence $v = \frac{1}{6}p$.Proposition XIV is incomplete, but it is the conclusion of the twopreceding propositions.

In general, therefore, the greatest value of the work lies in thefollowing:

http://www.gutenberg.org/dirs/etext05/geomc10.txt (5 of 33) [5/1/2008 7:44:14 PM]

Page 6: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

1. It throws light upon the hitherto only suspected relations ofArchi\-medes and Eratosthenes.

2. It shows the working of the mind of Archimedes in the discovery ofmathematical truths, showing that he often obtained his results byintuition or even by measurement, rather than by an analytic form ofreasoning, verifying these results later by strict analysis.

3. It expresses definitely the fact that Archimedes was the discovererof those properties relating to the sphere and cylinder that have beenattributed to him and that are given in his other works without adefinite statement of their authorship.

4. It shows that Archimedes was the first to state the volume of thecylinder segment mentioned, and it gives an interesting description ofthe mechanical method by which he arrived at his result.

{\hspace*{\fill}\textsc{David Eugene Smith.}}\linebreak{\hspace*{\fill}\textsc{Teachers~College,~Columbia~University.}}\linebreak

\vfill\pagebreak

\section*{Geometrical Solutions Derived from Mechanics.}

\textsc{Archimedes to Eratosthenes, Greeting:}

Some time ago I sent you some theorems I had discovered, writing downonly the propositions because I wished you to find theirdemonstrations which had not been given. The propositions of thetheorems which I sent you were the following:

1. If in a perpendicular prism with a parallelogram\footnote{This mustmean a square.} for base a cylinder is inscribed which has its basesin the oppositeparallelograms\addtocounter{footnote}{-1}\footnotemark\ and itssurface touching the other planes of the prism, and if a plane ispassed through the center of the circle that is the base of thecylinder and one side of the square lying in the opposite plane, thenthat plane will cut off from the cylinder a section which is boundedby two planes, the intersecting plane and the one in which the base ofthe cylinder lies, and also by as much of the surface of the cylinderas lies between these same planes; and the detached section of thecylinder is $\frac{1}{6}$ of the whole prism.

2. If in a cube a cylinder is inscribed whose bases lie in oppositeparallelograms\addtocounter{footnote}{-1}\footnotemark\ and whosesurface touches the other four planes, and if in the same cube asecond cylinder is inscribed whose bases lie in two otherparallelograms\addtocounter{footnote}{-1}\footnotemark\ and whosesurface touches the four other planes, then the body enclosed by the

http://www.gutenberg.org/dirs/etext05/geomc10.txt (6 of 33) [5/1/2008 7:44:14 PM]

Page 7: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

surface of the cylinder and comprehended within both cylinders will beequal to $\frac{2}{3}$ of the whole cube.

These propositions differ essentially from those formerly discovered;for then we compared those bodies (conoids, spheroids and theirsegments) with the volume of cones and cylinders but none of them wasfound to be equal to a body enclosed by planes. Each of these bodies,on the other hand, which are enclosed by two planes and cylindricalsurfaces is found to be equal to a body enclosed by planes. Thedemonstration of these propositions I am accordingly sending to you inthis book.

Since I see, however, as I have previously said, that you are acapable scholar and a prominent teacher of philosophy, and also thatyou understand how to value a mathematical method of investigationwhen the opportunity is offered, I have thought it well to analyze andlay down for you in this same book a peculiar method by means of whichit will be possible for you to derive instruction as to how certainmathematical questions may be investigated by means of mechanics. AndI am convinced that this is equally profitable in demonstrating aproposition itself; for much that was made evident to me through themedium of mechanics was later proved by means of geometry because thetreatment by the former method had not yet been established by way ofa demonstration. For of course it is easier to establish a proof ifone has in this way previously obtained a conception of the questions,than for him to seek it without such a preliminary notion. Thus in thefamiliar propositions the demonstrations of which Eudoxos was thefirst to discover, namely that a cone and a pyramid are one third thesize of that cylinder and prism respectively that have the same baseand altitude, no little credit is due to Democritos who was the firstto make that statement about these bodies without anydemonstration. But we are in a position to have found the presentproposition in the same way as the earlier one; and I have decided towrite down and make known the method partly because we have alreadytalked about it heretofore and so no one would think that we werespreading abroad idle talk, and partly in the conviction that by thismeans we are obtaining no slight advantage for mathematics, for indeedI assume that some one among the investigators of to-day or in thefuture will discover by the method here set forth still otherpropositions which have not yet occurred to us.

In the first place we will now explain what was also first made clearto us through mechanics, namely that a segment of a parabola is$\frac{4}{3}$ of the triangle possessing the same base and equalaltitude; following which we will explain in order the particularpropositions discovered by the above mentioned method; and in the lastpart of the book we will present the geometrical demonstrations of thepropositions.\footnote{In his ``Commentar,'' Professor Zeuthen callsattention to the fact that it was aiready known from Heron's recentlydiscovered \emph{Metrica} that these propositions were contained inthis treatise, and Professor Heiberg made the same comment in

http://www.gutenberg.org/dirs/etext05/geomc10.txt (7 of 33) [5/1/2008 7:44:14 PM]

Page 8: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

\emph{Hermes}.---Tr.}

1. If one magnitude is taken away from another magnitude and the samepoint is the center of gravity both of the whole and of the partremoved, then the same point is the center of gravity of the remainingportion.

2. If one magnitude is taken away from another magnitude and thecenter of gravity of the whole and of the part removed is not the samepoint, the center of gravity of the remaining portion may be found byprolonging the straight line which connects the centers of gravity ofthe whole and of the part removed, and setting off upon it anotherstraight line which bears the same ratio to the straight line betweenthe aforesaid centers of gravity, as the weight of the magnitude whichhas been taken away bears to the weight of the one remaining [\emph{Deplan. aequil.} I, 8].

3. If the centers of gravity of any number of magnitudes lie upon thesame straight line, then will the center of gravity of all themagnitudes combined lie also upon the same straight line [Cf.\emph{ibid.} I, 5].

4. The center of gravity of a straight line is the center of that line[Cf. \emph{ibid.} I, 4].

5. The center of gravity of a triangle is the point in which thestraight lines drawn from the angles of a triangle to the centers ofthe opposite sides intersect [\emph{Ibid.} I, 14].

6. The center of gravity of a parallelogram is the point where itsdiagonals meet [\emph{Ibid.} I, 10].

7. The center of gravity [of a circle] is the center [of that circle].

8. The center of gravity of a cylinder [is the center of its axis].

9. The center of gravity of a prism is the center of its axis.

10. The center of gravity of a cone so divides its axis that thesection at the vertex is three times as great as the remainder.

11. Moreover together with the exercise here laid down I will make useof the following proposition:

If any number of magnitudes stand in the same ratio to the same numberof other magnitudes which correspond pair by pair, and if either allor some of the former magnitudes stand in any ratio whatever to othermagnitudes, and the latter in the same ratio to the correspondingones, then the sum of the magnitudes of the first series will bear thesame ratio to the sum of those taken from the third series as the sumof those of the second series bears to the sum of those taken from the

http://www.gutenberg.org/dirs/etext05/geomc10.txt (8 of 33) [5/1/2008 7:44:14 PM]

Page 9: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

fourth series [\emph{De Conoid.} I].

\section*{Proposition I}

Let $\alpha\beta\gamma$ [Fig.~1] be the segment of a parabola boundedby the straight line $\alpha\gamma$ and the parabola$\alpha\beta\gamma$. Let $\alpha\gamma$ be bisected at $\delta$,$\delta\beta\epsilon$ being parallel to the diameter, and draw$\alpha\beta$, and $\beta\gamma$. Then the segrnent$\alpha\beta\gamma$ will be $\frac{4}{3}$ as great as the triangle$\alpha\beta\gamma$.

From the points $\alpha$ and $\gamma$ draw $\alpha\zeta \|\delta\beta\epsilon$, and the tangent $\gamma\zeta$; produce[$\gamma\beta$ to $\kappa$, and make $\kappa\theta = \gamma\kappa$].Think of $\gamma\theta$ as a scale-beam with the center at $\kappa$and let $\mu\xi$ be any straight line whatever $\|\epsilon\delta$. Now since $\gamma\beta\alpha$ is a parabola,$\gamma\zeta$ a tangent and $\gamma\delta$ an ordinate, then$\epsilon\beta = \beta\delta$; for this indeed has been proved in theElements [i.e., of conic sections, cf. \emph{Quadr. parab.} 2]. Forthis reason and because $\zeta\alpha$ and $\mu\xi \| \epsilon\delta$,$\mu\nu = \nu\xi$, and $\zeta\kappa = \kappa\alpha$. And because$\gamma\alpha : \alpha\xi = \mu\xi : \xi o$ (for this is shown in acorollary, [cf. \emph{Quadr. parab.} 5]), $\gamma\alpha : \alpha\xi =\gamma\kappa : \kappa\nu$; and $\gamma\kappa = \kappa\theta$,therefore $\theta\kappa : \kappa\nu = \mu\xi : \xi o$. And because$\nu$ is the center of gravity of the straight line $\mu\xi$, since$\mu\nu = \nu\xi$, then if we make $\tau\eta = \xi o$ and $\theta$ asits center of gravity so that $\tau\theta = \theta\eta$, the straightline $\tau\theta\eta$ will be in equilibrium with $\mu\xi$ in itspresent position because $\theta\nu$ is divided in inverse proportionto the weights $\tau\eta$ and $\mu\xi$, and $\theta\kappa : \kappa\nu= \mu\xi : \eta\tau$; therefore $\kappa$ is the center of gravity ofthe combined weight of the two. In the%\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig01.png}\begin{center}{\small Fig.~1.}\end{center}\end{wrapfigure}%same way all straight lines drawn in the triangle $\zeta\alpha\gamma\| \epsilon\delta$ are in their present positions in equilibrium withtheir parts cut off by the parabola, when these are transferred to$\theta$, so that $\kappa$ is the center of gravity of the combinedweight of the two. And because the triangle $\gamma\zeta\alpha$consists of the straight lines in the triangle $\gamma\zeta\alpha$ andthe segment $\alpha\beta\gamma$ consists of those straight lines

http://www.gutenberg.org/dirs/etext05/geomc10.txt (9 of 33) [5/1/2008 7:44:14 PM]

Page 10: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

within the segment of the parabola corresponding to the straight line$\xi o$, therefore the triangle $\zeta\alpha\gamma$ in its presentposition will be in equilibrium at the point $\kappa$ with theparabola-segment when this is transferred to $\theta$ as its center ofgravity, so that $\kappa$ is the center of gravity of the combinedweights of the two. Now let $\gamma\kappa$ be so divided at $\chi$that $\gamma\kappa = 3\kappa\chi$; then $\chi$ will be the center ofgravity of the triangle $\alpha\zeta\gamma$, for this has been shownin the Statics [cf. \emph{De plan. aequil.} I, 15, p. 186, 3 withEutokios, S. 320, 5ff.]. Now the triangle $\zeta\alpha\gamma$ in itspresent position is in equilibrium at the point $\kappa$ with thesegment $\beta\alpha\gamma$ when this is transferred to $\theta$ asits center of gravity, and the center of gravity of the triangle$\zeta\alpha\gamma$ is $\chi$; hence triangle $\alpha\zeta\gamma : $segm. $\alpha\beta\gamma$ when transferred to $\theta$ as its centerof gravity $= \theta\kappa : \kappa\chi$. But $\theta\kappa =3\kappa\chi$; hence also triangle $\alpha\zeta\gamma = 3$segm. $\alpha\beta\gamma$. But it is also true that triangle$\zeta\alpha\gamma = 4\Delta\alpha\beta\gamma$ because $\zeta\kappa =\kappa\alpha$ and $\alpha\delta = \delta\gamma$; hencesegm. $\alpha\beta\gamma = \frac{4}{3}$ the triangle$\alpha\beta\gamma$. This is of course clear.

It is true that this is not proved by what we have said here; but itindicates that the result is correct. And so, as we have just seenthat it has not been proved but rather conjectured that the result iscorrect we have devised a geometrical demonstration which we madeknown some time ago and will again bring forward farther on.

\section*{Proposition II}

That a sphere is four times as large as a cone whose base is equal tothe largest circle of the sphere and whose altitude is equal to theradius of the sphere, and that a cylinder whose base is equal to thelargest circle of the sphere and whose altitude is equal to thediameter of the circle is one and a half times as large as the sphere,may be seen by the present method in the following way:

\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig02.png}\begin{center}{\small Fig.~2.}\end{center}\end{wrapfigure}

Let $\alpha\beta\gamma\delta$ [Fig.~2] be the largest circle of asphere and $\alpha\gamma$ and $\beta\delta$ its diametersperpendicular to each other; let there be in the sphere a circle onthe diameter $\beta\delta$ perpendicular to the circle$\alpha\beta\gamma\delta$, and on this perpendicular circle let there

http://www.gutenberg.org/dirs/etext05/geomc10.txt (10 of 33) [5/1/2008 7:44:14 PM]

Page 11: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

be a cone erected with its vertex at $\alpha$; producing the convexsurface of the cone, let it be cut through $\gamma$ by a planeparallel to its base; the result will be the circle perpendicular to$\alpha\gamma$ whose diameter will be $\epsilon\zeta$. On this circleerect a cylinder whose axis $= \alpha\gamma$ and whose verticalboundaries are $\epsilon\lambda$ and $\zeta\eta$. Produce$\gamma\alpha$ making $\alpha\theta = \gamma\alpha$ and think of$\gamma\theta$ as a scale-beam with its center at $\alpha$. Then let$\mu\nu$ be any straight line whatever drawn $\| \beta\delta$intersecting the circle $\alpha\beta\gamma\delta$ in $\xi$ and $o$,the diameter $\alpha\gamma$ in $\sigma$, the straight line$\alpha\epsilon$ in $\pi$ and $\alpha\zeta$ in $\rho$, and on thestraight line $\mu\nu$ construct a plane perpendicular to$\alpha\gamma$; it will intersect the cylinder in a circle on thediameter $\mu\nu$; the sphere $\alpha\beta\gamma\delta$, in a circleon the diameter $\xi o$; the cone $\alpha\epsilon\zeta$ in a circle onthe diameter $\pi\rho$. Now because $\gamma\alpha \times \alpha\sigma= \mu\sigma \times \sigma\pi$ ( for $\alpha\gamma = \sigma\mu$,$\alpha\sigma = \pi\sigma$), and $\gamma\alpha \times \alpha\sigma =\alpha\xi^2 = \xi\sigma^2 + \alpha\pi^2$ then $\mu\sigma \times\sigma\pi = \xi\sigma^2 + \sigma\pi^2$. Moreover, because$\gamma\alpha : \alpha\sigma = \mu\sigma : \sigma\pi$ and$\gamma\alpha = \alpha\theta$, therefore $\theta\alpha : \alpha\sigma= \mu\sigma : \sigma\pi = \mu\sigma^2 : \mu\sigma \times\sigma\pi$. But it has been proved that $\xi\sigma^2 + \sigma\pi^2 =\mu\sigma \times \sigma\pi$; hence $\alpha\theta : \alpha\sigma =\mu\sigma^2 : \xi\sigma^2 + \sigma\pi^2$. But it is true that$\mu\sigma^2 : \xi\sigma^2 + \sigma\pi^2 = \mu\nu^2 : \xi\alpha^2 +\pi\rho^2 =$ the circle in the cylinder whose diameter is $\mu\nu :$the circle in the cone whose diameter is $\pi\rho$ + the circle in thesphere whose diameter is $\xi o$; hence $\theta\alpha : \alpha\sigma=$ the circle in the cylinder $:$ the circle in the sphere $+$ thecircle in the cone. Therefore the circle in the cylinder in itspresent position will be in equilibrium at the point $\alpha$ with thetwo circles whose diameters are $\xi o$ and $\pi\rho$, if they are sotransferred to $\theta$ that $\theta$ is the center of gravity ofboth. In the same way it can be shown that when another straight lineis drawn in the parallelogram $\xi\lambda \| \epsilon\zeta$, and uponit a plane is erected perpendicular to $\alpha\gamma$, the circleproduced in the cylinder in its present position will be inequilibrium at the point $\alpha$ with the two circles produced in thesphere and the cone when they are transferred and so arranged on thescale-beam at the point $\theta$ that $\theta$ is the center ofgravity of both. Therefore if cylinder, sphere and cone are filled upwith such circles then the cylinder in its present position will be inequilibrium at the point $\alpha$ with the sphere and the conetogether, if they are transferred and so arranged on the scale-beam atthe point $\theta$ that $\theta$ is the center of gravity of both. Nowsince the bodies we have mentioned are in equilibrium, the cylinderwith $\kappa$ as its center of gravity, the sphere and the conetransferred as we have said so that they have $\theta$ as center of

http://www.gutenberg.org/dirs/etext05/geomc10.txt (11 of 33) [5/1/2008 7:44:14 PM]

Page 12: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

gravity, then $\theta\alpha : \alpha\kappa =$ cylinder $:$ sphere $+$cone. But $\theta\alpha = 2\alpha\kappa$, and hence also the cylinder$= 2 \times$ (sphere $+$ cone). But it is also true that the cylinder= 3 cones [Euclid, \emph{Elem.} XII, 10], hence 3 cones = 2 cones + 2spheres. If 2 cones be subtracted from both sides, then the cone whoseaxes form the triangle $\alpha\epsilon\zeta =$ 2 spheres. But the conewhose axes form the triangle $\alpha\epsilon\zeta =$ 8 cones whoseaxes form the triangle $\alpha\beta\delta$ because $\epsilon\zeta =2\beta\delta$, hence the aforesaid 8 cones = 2 spheres. Consequentlythe sphere whose greatest circle is $\alpha\beta\gamma\delta$ is fourtimes as large as the cone with its vertex at $\alpha$, and whose baseis the circle on the diatneter $\beta\delta$ perpendicular to$\alpha\gamma$.

Draw the straight lines $\phi\beta\chi$ and $\psi\delta\omega \|\alpha\gamma$ through $\beta$ and $\delta$ in the parallelogram$\lambda\zeta$ and imagine a cylinder whose bases are the circles onthe diameters $\phi\psi$ and $\chi\omega$ and whose axis is$\alpha\gamma$. Now since the cylinder whose axes form theparallelogram $\phi\omega$ is twice as large as the cylinder whoseaxes form the parallelogram $\phi\delta$ and the latter is three timesas large as the cone the triangle of whose axes is$\alpha\beta\delta$, as is shown in the Elements [Euclid, \emph{Elem.}XII, 10], the cylinder whose axes form the parallelogram $\phi\omega$is six times as large as the cone whose axes form the triangle$\alpha\beta\delta$. But it was shown that the sphere whose largestcircle is $\alpha\beta\gamma\delta$ is four times as large as the samecone, consequently the cylinder is one and one half times as large asthe sphere, Q. E. D.

After I had thus perceived that a sphere is four times as large as thecone whose base is the largest circle of the sphere and whose altitudeis equal to its radius, it occurred to me that the surface of a sphereis four times as great as its largest circle, in which I proceededfrom the idea that just as a circle is equal to a triangle whose baseis the periphery of the circle and whose altitude is equal to itsradius, so a sphere is equal to a cone whose base is the same as thesurface of the sphere and whose altitude is equal to the radius of thesphere.

\section*{Proposition III}

By this method it may also be seen that a cylinder whose base is equalto the largest circle of a spheroid and whose altitude is equal to theaxis of the spheroid, is one and one half times as large as thespheroid, and when this is recognized it becomes clear that if aspheroid is cut through its center by a plane perpendicular to itsaxis, one-half of the spheroid is twice as great as the cone whosebase is that of the segment and its axis the same.

http://www.gutenberg.org/dirs/etext05/geomc10.txt (12 of 33) [5/1/2008 7:44:14 PM]

Page 13: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

For let a spheroid be cut by a plane through its axis and let there bein its surface an ellipse $\alpha\beta\gamma\delta$ [Fig.~3] whosediameters are $\alpha\gamma$ and $\beta\delta$ and whose center is$\kappa$ and let there be a circle in the spheroid on the diameter$\beta\delta$ perpendicular to $\alpha\gamma$; then imagine a conewhose base is the same circle but whose vertex is at $\alpha$, andproducing its surface, let the cone be cut by a plane through $\gamma$parallel to the base; the intersection will be a circle perpendicularto $\alpha\gamma$ with $\epsilon\zeta$ as its diameter. Now imagine acylinder whose base is the same circle with the diameter$\epsilon\zeta$ and whose axis is $\alpha\gamma$; let $\gamma\alpha$be produced so that $\alpha\theta = \gamma\alpha$; think of$\theta\gamma$ as a scale-beam with its center at $\alpha$ and in theparallelogram $\lambda\theta$ draw a straight line $\mu\nu \|\epsilon\zeta$, and on $\mu\nu$ construct a plane perpendicular to$\alpha\gamma$; this will intersect the cylinder in a circle whosediameter is $\mu\nu$, the spheroid in a circle whose diameter is $\xio$ and the cone in a circle whose diameter is $\pi\rho$. Because$\gamma\alpha : \alpha\sigma = \epsilon\alpha : \alpha\pi = \mu\sigma: \sigma\pi$, and $\gamma\alpha = \alpha\theta$, therefore$\theta\alpha : \alpha\sigma = \mu\sigma : \sigma\pi$. But $\mu\sigma: \sigma\pi = \mu\sigma^2 : \mu\sigma \times \sigma\pi$ and $\mu\sigma\times \sigma\pi = \pi\sigma^2 + \sigma\xi^2$, for $ \alpha\sigma\times \sigma\gamma : \sigma\xi^2 = \alpha\kappa \times \kappa\gamma :\kappa\beta^2 = \alpha\kappa^2 : \kappa\beta^2$ (for both ratios areequal to the ratio between the diameter and the parameter [Apollonius,\emph{Con.} I, 21]) $ = \alpha\sigma^2 : \sigma\pi^2$ therefore$\alpha\sigma^2 : \alpha\sigma \times \sigma\gamma = \pi\sigma^2 :\sigma\xi^2 = \sigma\pi^2 : \sigma\pi \times \pi\mu$, consequently$\mu\pi \times \pi\sigma = \sigma\xi^2$. If $\pi\sigma^2$ is added toboth sides then $\mu\sigma \times \sigma\pi = \pi\sigma^2 +\sigma\xi^2$. Therefore $\theta\alpha : \alpha\sigma = \mu\sigma^2 :\pi\sigma^2 + \sigma\xi^2$. But $\mu\sigma^2 : \sigma\xi^2 +\sigma\pi^2 =$ the circle in the cylinder whose diameter is $\mu\nu :$the circle with the diameter $\xi o$ + the circle with the diameter$\pi\rho$; hence the circle whose diameter is $\mu\nu$ will in itspresent position be in equilibrium at the point $\alpha$ with the twocircles whose diameters are $\xi o$ and $\pi\rho$ when they aretransferred and so arranged on the scale-beam at the point $\alpha$that $\theta$ is the center of gravity of both; and $\theta$ is thecenter of gravity of the two circles combined whose diameters are $\xio$ and $\pi\rho$ when their position is changed,%\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig03.png}\begin{center}{\small Fig.~3.}\end{center}\end{wrapfigure}%hence $\theta\alpha : \alpha\sigma =$ the circle with the diameter

http://www.gutenberg.org/dirs/etext05/geomc10.txt (13 of 33) [5/1/2008 7:44:14 PM]

Page 14: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

$\mu\nu :$ the two circles whose diameters are $\xi o$ and$\pi\rho$. In the same way it can be shown that if another straightline is drawn in the parallelogram $\lambda\zeta \| \epsilon\zeta$ andon this line last drawn a plane is constructed perpendicular to$\alpha\gamma$, then likewise the circle produced in the cylinder willin its present position be in equilibrium at the point $\alpha$ withthe two circles combined which have been produced in the spheroid andin the cone respectively when they are so transferred to the point$\theta$ on the scale-beam that $\theta$ is the center of gravity ofboth. Then if cylinder, spheroid and cone are filled with suchcircles, the cylinder in its present position will be in equilibriumat the point $\alpha$ with the spheroid $+$ the cone if they aretransferred and so arranged on the scale-beam at the point $\alpha$that $\theta$ is the center of gravity of both. Now $\kappa$ is thecenter of gravity of the cylinder, but $\theta$, as has been said, isthe center of gravity of the spheroid and cone together. Therefore$\theta\alpha : \alpha\kappa =$ cylinder $:$ spheroid $+$ cone. But$\alpha\theta = 2\alpha\kappa$, hence also the cylinder = 2 $\times$(spheroid $+$ cone) = 2 $\times$ spheroid + 2 $\times$ cone. But thecylinder = 3 $\times$ cone, hence 3 $\times$ cone = 2 $\times$ cone +2 $\times$ spheroid. Subtract 2 $\times$ cone from both sides; then acone whose axes form the triangle $\alpha\epsilon\zeta$ = 2 $\times$spheroid. But the same cone = 8 cones whose axes form the$\Delta\alpha\beta\delta$; hence 8 such cones = 2 $\times$ spheroid, 4$\times$ cone = spheroid; whence it follows that a spheroid is fourtimes as great as a cone whose vertex is at $\alpha$, and whose baseis the circle on the diameter $\beta\delta$ perpendicular to$\lambda\epsilon$, and one-half the spheroid is twice as great as thesame cone.

In the parallelogram $\lambda\zeta$ draw the straight lines $\phi\chi$and $\psi\omega \| \alpha\gamma$ through the points $\beta$ and$\delta$ and imagine a cylinder whose bases are the circles on thediameters $\phi\psi$ and $\chi\omega$, and whose axis is$\alpha\gamma$. Now since the cylinder whose axes form theparallelogram $\phi\omega$ is twice as great as the cylinder whoseaxes form the parallelogram $\phi\delta$ because their bases are equalbut the axis of the first is twice as great as the axis of the second,and since the cylinder whose axes form the parallelogram $\phi\delta$is three times as great as the cone whose vertex is at $\alpha$ andwhose base is the circle on the diameter $\beta\delta$ perpendicularto $\alpha\gamma$, then the cylinder whose axes form the parallelogram$\phi\omega$ is six times as great as the aforesaid cone. But it hasbeen shown that the spheroid is four times as great as the same cone,hence the cylinder is one and one half times as great as thespheroid. Q. E. D.

\section*{Proposition IV}

That a segment of a right conoid cut by a plane perpendicular to its

http://www.gutenberg.org/dirs/etext05/geomc10.txt (14 of 33) [5/1/2008 7:44:14 PM]

Page 15: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

axis is one and one half times as great as the cone having the samebase and axis as the segment, can be proved by the same method in thefollowing way:

Let a right conoid be cut through its axis by a plane intersecting thesurface in a parabola $\alpha\beta\gamma$ [Fig.~4]; let it be also cutby another plane perpendicular to the axis, and let their common lineof intersection be $\beta\gamma$. Let the axis of the segment be$\delta\alpha$ and let it be produced to $\theta$ so that$\theta\alpha = \alpha\delta$. Now imagine $\delta\theta$ to be ascale-beam with its center at $\alpha$; let the base of the segment bethe circle on the diameter $\beta\gamma$ perpendicular to$\alpha\delta$; imagine a cone whose base is the circle on thediameter $\beta\gamma$, and whose vertex is at $\alpha$. Imagine alsoa cylinder whose base is the circle on the diameter $\beta\gamma$ andits axis $\alpha\delta$, and in the parallelogram let a straight line$\mu\nu$ be drawn $\| \beta\gamma$ and on $\mu\nu$ construct a planeperpendicular to $\alpha\delta$; it will intersect the cylinder in acircle whose diameter is $\mu\nu$, and the segment of the right conoidin a circle whose diameter is $\xi o$. Now since $\beta\alpha\gamma$is a parabola, $\alpha\delta$ its diameter and $\xi\sigma$ and$\beta\delta$ its ordinates, then [\emph{Quadr. parab.} 3]$\delta\alpha : \alpha\sigma = \beta\delta^2 : \xi\sigma^2$. But$\delta\alpha = \alpha\theta$, therefore $\theta\alpha : \alpha\sigma= \mu\sigma^2 : \sigma\xi^2$. But $\mu\sigma^2 : \sigma\xi^2$ = thecircle in the cylinder whose diameter is $\mu\nu$ : the circle in thesegment of the right conoid whose diameter is $\xi o$, hence$\theta\alpha : \alpha\sigma$ = the circle with the diameter $\mu\nu$: the circle with the diameter $\xi o$; therefore the circle in thecylinder whose%\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig04.png}\begin{center}{\small Fig.~4.}\end{center}\end{wrapfigure}%diameter is $\mu\nu$ is in its present position, in equilibrium at thepoint $\alpha$ with the circle whose diameter is $\xi o$ if this betransferred and so arranged on the scale-beam at $\theta$ that$\theta$ is its center of gravity. And the center of gravity of thecircle whose diameter is $\mu\nu$ is at $\sigma$, that of the circlewhose diameter is $\xi o$ when its position is changed, is $\theta$,and we have the inverse proportion, $\theta\alpha : \alpha\sigma$ =the circle with the diameter $\mu\nu$ : the circle with the diameter$\xi o$. In the same way it can be shown that if another straight linebe drawn in the parallelogram $\epsilon\gamma \| \beta\gamma$ thecircle formed in the cylinder, will in its present position be inequilibrium at the point $\alpha$ with that formed in the segment ofthe right conoid if the latter is so transferred to $\theta$ on the

http://www.gutenberg.org/dirs/etext05/geomc10.txt (15 of 33) [5/1/2008 7:44:14 PM]

Page 16: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

scale-beam that $\theta$ is its center of gravity. Therefore if thecylinder and the segment of the right conoid are filled up then thecylinder in its present position will be in equilibrium at the point$\alpha$ with the segment of the right conoid if the latter istransferred and so arranged on the scale-beam at $\theta$ that$\theta$ is its center of gravity. And since these magnitudes are inequilibrium at $\alpha$, and $\kappa$ is the center of gravity of thecylinder, if $\alpha\delta$ is bisected at $\kappa$ and $\theta$ isthe center of gravity of the segment transferred to that point, thenwe have the inverse proportion $\theta\alpha : \alpha\kappa$ =cylinder : segment. But $\theta\alpha = 2\alpha\kappa$ and also thecylinder = 2 $\times$ segment. But the same cylinder is 3 times asgreat as the cone whose base is the circle on the diameter$\beta\gamma$ and whose vertex is at $\alpha$; therefore it is clearthat the segment is one and one half times as great as the same cone.

\section*{Proposition V}

That the center of gravity of a segment of a right conoid which is cutoff by a plane perpendicular to the axis, lies on the straight linewhich is the axis of the segment divided in such a way that theportion at the vertex is twice as great as the remainder, may beperceived by our method in the following way:

Let a segment of a right conoid cut off by a plane perpendicular tothe axis be cut by another plane through the axis, and let theintersection in its surface be the parabola $\alpha\beta\gamma$[Fig.~5] and let the common line of intersection of the plane whichcut off the segment and of the intersecting plane be $\beta\gamma$;let the axis of the segment and the diameter of the parabola$\alpha\beta\gamma$ be $\alpha\delta$; produce $\delta\alpha$ so that$\alpha\theta = \alpha\delta$ and imagine $\delta\theta$ to be ascale-beam with its center at $\alpha$;%\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig05.png}\begin{center}{\small Fig.~5.}\end{center}\end{wrapfigure}%then inscribe a cone in the segment with the lateral boundaries$\beta\alpha$ and $\alpha\gamma$ and in the parabola draw a straightline $\xi o \| \beta\gamma$ and let it cut the parabola in $\xi$ and$o$ and the lateral boundaries of the cone in $\pi$ and $\rho$. Nowbecause $\xi\sigma$ and $\beta\delta$ are drawn perpendicular to thediameter of the parabola, $\delta\alpha : \alpha\sigma = \beta\delta^2: \xi\sigma^2$ [\emph{Quadr. parab.} 3]. But $\delta\alpha :\alpha\sigma = \beta\delta : \pi\sigma = \beta\delta^2 : \beta\delta\times \pi\sigma$, therefore also $\beta\delta^2 : \xi\sigma^2 =

http://www.gutenberg.org/dirs/etext05/geomc10.txt (16 of 33) [5/1/2008 7:44:14 PM]

Page 17: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

\beta\delta^2 : \beta\delta \times \pi\sigma$. Consequently$\xi\sigma^2 = \beta\delta \times \pi\sigma$ and $\beta\delta :\xi\sigma = \xi\sigma : \pi\sigma$, therefore $\beta\delta : \pi\sigma= \xi\sigma^2 : \sigma\pi^2$. But $\beta\delta : \pi\sigma =\delta\alpha : \alpha\sigma = \theta\alpha : \alpha\sigma$, thereforealso $\theta\alpha : \alpha\sigma = \xi\sigma^2 : \sigma\pi^2$. On$\xi o$ construct a plane perpendicular to $\alpha\delta$; this willintersect the segment of the right conoid in a circle whose diameteris $\xi o$ and the cone in a circle whose diameter is $\pi\rho$. Nowbecause $\theta\alpha : \alpha\sigma = \xi\sigma^2 : \sigma\pi^2$ and$\xi\sigma^2 : \sigma\pi^2$ = the circle with the diameter $\xi o$ :the circle with the diameter $\pi\rho$, therefore $\theta\alpha :\alpha\sigma$ = the circle whose diameter is $\xi o$ : the circlewhose diameter is $\pi\rho$. Therefore the circle whose diameter is$\xi o$ will in its present position be in equilibrium at the point$\alpha$ with the circle whose diameter is $\pi\rho$ when this is sotransferred to $\theta$ on the scale-beam that $\theta$ is its centerof gravity. Now since $\sigma$ is the center of gravity of the circlewhose diameter is $\xi o$ in its present position, and $\theta$ is thecenter of gravity of the circle whose diameter is $\pi\rho$ if itsposition is changed as we have said, and inversely $\theta\alpha :\alpha\sigma$ = the circle with the diameter $\xi o$ : the circle withthe diameter $\pi\rho$, then the circles are in equilibrium at thepoint $\alpha$. In the same way it can be shown that if anotherstraight line is drawn in the parabola $\| \beta\gamma$ and on thisline last drawn a plane is constructed perpendicular to$\alpha\delta$, the circle formed in the segment of the right conoidwill in its present position be in equilibrium at the point $\alpha$with the circle formed in the cone, if the latter is transferred andso arranged on the scale-beam at $\theta$ that $\theta$ is its centerof gravity. Therefore if the segment and the cone are filled up withcircles, all circles in the segment will be in their present positionsin equilibrium at the point $\alpha$ with all circles of the cone ifthe latter are transferred and so arranged on the scale-beam at thepoint $\theta$ that $\theta$ is their center of gravity. Thereforealso the segment of the right conoid in its present position will bein equilibrium at the point $\alpha$ with the cone if it istransferred and so arranged on the scale-beam at $\theta$ that$\theta$ is its center of gravity. Now because the center of gravityof both magnitudes taken together is $\alpha$, but that of the conealone when its position is changed is $\theta$, then the center ofgravity of the remaining magnitude lies on $\alpha\theta$ extendedtowards $\alpha$ if $\alpha\kappa$ is cut off in such a way that$\alpha\theta : \alpha\kappa$ = segment : cone. But the segment is oneand one half the size of the cone, consequently $\alpha\theta =\frac{3}{2}\alpha\kappa$ and $\kappa$, the center of gravity of theright conoid, so divides $\alpha\delta$ that the portion at the vertexof the segment is twice as large as the remainder.

\section*{Proposition VI}

http://www.gutenberg.org/dirs/etext05/geomc10.txt (17 of 33) [5/1/2008 7:44:14 PM]

Page 18: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

[The center of gravity of a hemisphere is so divided on its axis] thatthe portion near the surface of the hemisphere is in the ratio of $5 :3$ to the remaining portion.

Let a sphere be cut by a plane through its center intersecting thesurface in the circle $\alpha\beta\gamma\delta$ [Fig.6],$\alpha\gamma$ and $\beta\delta$ being two diameters of the circleperpendicular to each other. Let a plane be constructed on$\beta\delta$ perpendicular to $\alpha\gamma$. Then imagine a conewhose base is the circle with the diameter $\beta\delta$, whose vertexis at $\alpha$ and its lateral boundaries are $\beta\alpha$ and$\alpha\delta$; let $\gamma\alpha$ be produced so that $\alpha\theta =\gamma\alpha$, imagine the straight line $\theta\gamma$ to be ascale-beam with its center at $\alpha$ and in the semi-circle$\beta\alpha\delta$ draw a straight line $\xi o \| \beta\delta$; letit cut the circumference of the semicircle in $\xi$ and $o$, thelateral boundaries of the cone in $\pi$ and $\rho$, and $\alpha\gamma$in $\epsilon$. On $\xi o$ construct a plane perpendicular to$\alpha\epsilon$; it will intersect the hemisphere in a circle withthe diameter $\xi o$, and the cone in a circle with the diameter$\pi\rho$. Now because $\alpha\gamma : \alpha\epsilon = \xi\alpha^2 :\alpha\epsilon^2$ and $\xi\alpha^2 = \alpha\epsilon^2 + \epsilon\xi^2$and $\alpha\epsilon = \epsilon\pi$, therefore $\alpha\gamma :\alpha\epsilon = \xi\epsilon^2 + \epsilon\pi^2 : \epsilon\pi^2$. But$\xi\epsilon^2 + \epsilon\pi^2 : \epsilon\pi^2$ = the circle with thediameter $\xi o$ + the circle with the diameter $\pi\rho$ : the circlewith the diameter $\pi\rho$, and $\gamma\alpha = \alpha\theta$, hence$\theta\alpha : \alpha\epsilon$ = the circle with the diameter $\xi o$+ the circle with%\begin{wrapfigure}{r}{0.33\textwidth}\includegraphics[width=0.33\textwidth]{fig06.png}\begin{center}{\small Fig.~6.}\end{center}\end{wrapfigure}%the diameter $\pi\rho$ : circle with the diameter $\pi\rho$. Thereforethe two circles whose diameters are $\xi o$ and $\pi\rho$ in theirpresent position are in equilibrium at the point $\alpha$ with thecircle whose diameter is $\pi\rho$ if it is transferred and soarranged at $\theta$ that $\theta$ is its center of gravity. Nowsince the center of gravity of the two circles whose diameters are$\xi o$ and $\pi\rho$ in their present position [is the point$\epsilon$, but of the circle whose diameter is $\pi\rho$ when itsposition is changed is the point $\theta$, then $\theta\alpha :\alpha\epsilon$ = the circles whose diameters are] $\xi o$ [,$\pi\rho$: the circle whose diameter is $\pi\rho$. In the same way if anotherstraight line in the] hemisphere $\beta\alpha\delta$ [is drawn $\|\beta\delta$ and a plane is constructed] perpendicular to

http://www.gutenberg.org/dirs/etext05/geomc10.txt (18 of 33) [5/1/2008 7:44:14 PM]

Page 19: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

[$\alpha\gamma$ the] two [circles produced in the cone and in thehemisphere are in their position] in equilibrium at $\alpha$ [with thecircle which is produced in the cone] if it is transferred andarranged on the scale at $\theta$. [Now if] the hemisphere and thecone [are filled up with circles then all circles in the] hemisphereand those [in the cone] will in their present position be inequilibrium [with all circles] in the cone, if these are transferredand so arranged on the scale-beam at $\theta$ that $\theta$ is theircenter of gravity; [therefore the hemisphere and cone also] are intheir position [in equilibrium at the point $\alpha$] with the cone ifit is transferred and so arranged [on the scale-beam at $\theta$] that$\theta$ is its center of gravity.

\section*{Proposition VII}

By [this method] it may also be perceived that [any segment whatever]of a sphere bears the same ratio to a cone having the same [base] andaxis [that the radius of the sphere + the axis of the opposite segment: the axis of the opposite segment] \dotfill and [Fig.~7] on $\mu\nu$construct a plane perpendicular to $\alpha\gamma$; it will intersectthe cylinder in a circle whose diameter is $\mu\nu$, the segment ofthe sphere in a circle whose diameter%\begin{wrapfigure}{r}{0.6\textwidth}\includegraphics[width=0.6\textwidth]{fig07.png}\begin{center}{\small Fig.~7.}\end{center}\end{wrapfigure}%is $\xi o$ and the cone whose base is the circle on the diameter$\epsilon\zeta$ and whose vertex is at $\alpha$ in a circle whosediameter is $\pi\rho$. In the same way as before it may be shown thata circle whose diameter is $\mu\nu$ is in its present position inequilibrium at $\alpha$ with the two circles [whose diameters are $\xio$ and $\pi\rho$ if they are so arranged on the scale-beam that$\theta$ is their center of gravity. [And the same can be proved ofall corresponding circles.] Now since cylinder, cone, and sphericalsegment are filled up with such circles, the cylinder in its presentposition [will be in equilibrium at $\alpha$] with the cone + thespherical segment if they are transferred and attached to thescale-beam at $\theta$. Divide $\alpha\eta$ at $\phi$ and $\chi$ sothat $\alpha\chi = \chi\eta$ and $\eta\phi = \frac{1}{3}\alpha\phi$;then $\chi$ will be the center of gravity of the cylinder because itis the center of the axis $\alpha\eta$. Now because the abovementioned bodies are in equilibrium at $\alpha$, cylinder : cone withthe diameter of its base $\epsilon\zeta$ + the spherical segment$\beta\alpha\delta = \theta\alpha : \alpha\chi$. And because$\eta\alpha = 3\eta\phi$ then [$\gamma\eta \times \eta\phi$] =$\frac{1}{3}\alpha\eta \times \eta\gamma$. Therefore also $\gamma\eta

http://www.gutenberg.org/dirs/etext05/geomc10.txt (19 of 33) [5/1/2008 7:44:14 PM]

Page 20: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

\times \eta\phi = \linebreak\frac{1}{3}\beta\eta^2$. \dotfill

\section*{Proposition VIIa}

In the same way it may be perceived that any segment of an ellipsoidcut off by a perpendicular plane, bears the same ratio to a conehaving the same base and the same axis, as half of the axis of theellipsoid + the axis of the opposite segment bears to the axis of theopposite segment. \dotfill

\section*{Proposition VIII}

\dotfill\linebreak produce $\alpha\gamma$ [Fig.~8] making$\alpha\theta = \alpha\gamma$ and $\gamma\xi$ = the radius of thesphere; imagine $\gamma\theta$ to be a scale-beam with a center at$\alpha$, and in the plane cutting%\begin{wrapfigure}{r}{0.4\textwidth}\includegraphics[width=0.4\textwidth]{fig08.png}\begin{center}{\small Fig.~8.}\end{center}\end{wrapfigure}%off the segment inscribe a circle with its center at $\eta$ and itsradius = $\alpha\eta$; on this circle construct a cone with its vertexat $\alpha$ and its lateral boundaries $\alpha\epsilon$ and$\alpha\zeta$. Then draw a straight line $\kappa\lambda \|\epsilon\zeta$; let it cut the circumference of the segment at$\kappa$ and $\lambda$, the lateral boundaries of the cone$\alpha\epsilon\zeta$ at $\rho$ and $o$ and $\alpha\gamma$ at $\pi$.Now because $\alpha\gamma : \alpha\pi = \alpha\kappa^2 : \alpha\pi^2$and $\kappa\alpha^2 = \alpha\pi^2 + \pi\kappa^2$ and $\alpha\pi^2 =\pi o^2$ (since also $\alpha\eta^2 = \epsilon\eta^2$), then$\gamma\alpha : \alpha\pi = \kappa\pi^2 + \pi o^2 : o\pi^2$. But$\kappa\pi^2 + \pi o^2 : \pi o^2$ = the circle with the diameter$\kappa\lambda$ + the circle with the diameter $o\rho$ : the circlewith the diameter $o\rho$ and $\gamma\alpha = \alpha\theta$; therefore$\theta\alpha : \alpha\pi$ = the circle with the diameter$\kappa\lambda$ + the circle with the diameter $o\rho$ : the circlewith the diameter $o\rho$. Now since the circle with the diameter$\kappa\lambda$ + the circle with the diameter $o\rho$ : the circlewith the diameter $o\rho$ = $\alpha\theta : \pi\alpha$, let the circlewith the diameter $o\rho$ be transferred and so arranged on thescale-beam at $\theta$ that $\theta$ is its center of gravity; then$\theta\alpha : \alpha\pi$ = the circle with the diameter$\kappa\lambda$ + the circle with the diameter $o\rho$ in theirpresent positions : the circle with the diameter $o\rho$ if it istransferred and so arranged on the scale-beam at $\theta$ that$\theta$ is its center of gravity. Therefore the circles in the

http://www.gutenberg.org/dirs/etext05/geomc10.txt (20 of 33) [5/1/2008 7:44:14 PM]

Page 21: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

segment $\beta\alpha\delta$ and in the cone $\alpha\epsilon\zeta$ arein equilibrium at $\alpha$ with that in the cone$\alpha\epsilon\zeta$. And in the same way all circles in the segment$\beta\alpha\delta$ and in the cone $\alpha\epsilon\zeta$ in theirpresent positions are in equilibrium at the point $\alpha$ with allcircles in the cone $\alpha\epsilon\zeta$ if they are transferred andso arranged on the scate-beam at $\theta$ that $\theta$ is theircenter of gravity; then also the spherical segment $\alpha\beta\delta$and the cone $\alpha\epsilon\zeta$ in their present positions are inequilibrium at the point $\alpha$ with the cone $\epsilon\alpha\zeta$if it is transferred and so arranged on the scale-beam at $\theta$that $\theta$ is its center of gravity. Let the cyIinder $\mu\nu$equal the cone whose base is the circle with the diameter$\epsilon\zeta$ and whose vertex is at $\alpha$ and let $\alpha\eta$be so divided at $\phi$ that $\alpha\eta = 4\phi\eta$; then $\phi$ isthe center of gravity of the cone $\epsilon\alpha\zeta$ as has beenpreviously proved. Moreover let the cylinder $\mu\nu$ be so cut by aperpendicularly intersecting plane that the cylinder $\mu$ is inequilibrium with the cone $\epsilon\alpha\zeta$. Now since the segment$\alpha\beta\delta$ + the cone $\epsilon\alpha\zeta$ in their presentpositions are in equilibrium at $\alpha$ with the cone$\epsilon\alpha\zeta$ if it is transferred and so arranged on thescale-beam at $\theta$ that $\theta$ is its center of gravity, andcylinder $\mu\nu$ = cone $\epsilon\alpha\zeta$ and the two cylinders$\mu + \nu$ are moved to $\theta$ and $\mu\nu$ is in equilibrium withboth bodies, then will also the cylinder $\nu$ be in equilibrium withthe segment of the sphere at the point $\alpha$. And since thespherical segment $\beta\alpha\delta$ : the cone whose base is thecircle with the diameter $\beta\delta$, and whose vertex is at $\alpha= \xi\eta : \eta\gamma$ (for this has previously been proved [\emph{Desph. et cyl.} II, 2 Coroll.]) and cone $\beta\alpha\delta$ : cone$\epsilon\alpha\zeta$ = the circle with the diameter $\beta\delta$ :the circle with the diameter $\epsilon\zeta = \beta\eta^2 :\eta\epsilon^2$, and $\beta\eta^2 = \gamma\eta \times \eta\alpha$,$\eta\epsilon^2 = \eta\alpha^2$, and $\gamma\eta \times \eta\alpha :\eta\alpha^2 = \gamma\eta : \eta\alpha$, therefore cone$\beta\alpha\delta$ : cone $\epsilon\alpha\zeta = \gamma\eta :\eta\alpha$. But we have shown that cone $\beta\alpha\delta$ :segment $\beta\alpha\delta$ = $\gamma\eta : \eta\xi$, hence{\selectlanguage{greek}di' \~isou} segment $\beta\alpha\delta$ : cone$\epsilon\alpha\zeta$ = $\xi\eta : \eta\alpha$. And because$\alpha\chi : \chi\eta = \eta\alpha + 4\eta\gamma : \alpha\eta +2\eta\gamma$ so inversely $\eta\chi : \chi\alpha = 2\gamma\eta +\eta\alpha : 4\gamma\eta + \eta\alpha$ and by addition $\eta\alpha :\alpha\chi = 6\gamma\eta + 2\eta\alpha : \eta\alpha +4\eta\gamma$. But $\eta\xi = \frac{1}{4} (6\eta\gamma + 2\eta\alpha)$and $\gamma\phi = \frac{1}{4} (4\eta\gamma + \eta\alpha)$; for that isevident. Hence $\eta\alpha : \alpha\chi = \xi\eta : \gamma\phi$,consequently also $\xi\eta : \eta\alpha = \gamma\phi : \chi\alpha$.But it was also demonstrated that $\xi\eta : \eta\alpha$ = the segmentwhose vertex is at $\alpha$ and whose base is the circle with the

http://www.gutenberg.org/dirs/etext05/geomc10.txt (21 of 33) [5/1/2008 7:44:14 PM]

Page 22: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

diameter $\beta\delta$ : the cone whose vertex is at $\alpha$ andwhose base is the circle with the diameter $\epsilon\zeta$; hencesegment $\beta\alpha\delta$ : cone $\epsilon\alpha\zeta$ = $\gamma\phi: \chi\alpha$. And since the cylinder $\mu$ is in equilibrium with thecone $\epsilon\alpha\zeta$ at $\alpha$, and $\theta$ is the center ofgravity of the cylinder while $\phi$ is that of the cone$\epsilon\alpha\zeta$, then cone $\epsilon\alpha\zeta$ : cylinder$\mu$ = $\theta\alpha : \alpha\phi = \gamma\alpha : \alpha\phi$. Butcylinder $\mu\nu$ = cone $\epsilon\alpha\zeta$; hence by subtraction,cylinder $\mu$ : cylinder $\nu$ = $\alpha\phi : \gamma\phi$. Andcylinder $\mu\nu$ = cone $\epsilon\alpha\zeta$; hence cone$\epsilon\alpha\zeta$ : cylinder $\nu$ = $\gamma\alpha : \gamma\phi =\theta\alpha : \gamma\phi$. But it was also demonstrated that segment$\beta\alpha\delta$ : cone $\epsilon\alpha\zeta$ = $\gamma\phi :\chi\alpha$; hence {\selectlanguage{greek}di' \~isou} segment$\beta\alpha\delta$ : cylinder $\nu$ = $\zeta\alpha : \alpha\chi$.And it was demonstrated that segment $\beta\alpha\delta$ is inequilibrium at $\alpha$ with the cylinder $\nu$ and $\theta$ is thecenter of gravity of the cylinder $\nu$, consequently the point $\chi$is also the center of gravity of the segment $\beta\alpha\delta$.

\section*{Proposition IX}

In a similar way it can also be perceived that the center of gravityof any segment of an ellipsoid lies on the straight line which is theaxis of the segment so divided that the portion at the vertex of thesegment bears the same ratio to the remaining portion as the axis ofthe segment + 4 times the axis of the opposite segment bears to theaxis of the segment + twice the axis of the opposite segment.

\section*{Proposition X}

It can also be seen by this method that [a segment of a hyperboloid]bears the same ratio to a cone having the same base and axis as thesegment, that the axis of the segment + 3 times the addition to theaxis bears to the axis of the segment of the hyperboloid + twice itsaddition [\emph{De Conoid.} 25]; and that the center of gravity of thehyperboloid so divides the axis that the part at the vertex bears thesame ratio to the rest that three times the axis + eight times theaddition to the axis bears to the axis of the hyperboloid + 4 timesthe addition to the axis, and many other points which I will leaveaside since the method has been made clear by the examples alreadygiven and only the demonstrations of the above given theorems remainto be stated.

\section*{Proposition XI}

When in a perpendicular prism with square bases a cylinder is

http://www.gutenberg.org/dirs/etext05/geomc10.txt (22 of 33) [5/1/2008 7:44:14 PM]

Page 23: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

inscribed whose bases lie in opposite squares and whose curved surfacetouches the four other parallelograms, and when a plane is passedthrough the center of the circle which is the base of the cylinder andone side of the opposite square, then the body which is cut off bythis plane [from the cylinder] will be $\frac{1}{6}$ of the entireprism. This can be perceived through the present method and when it isso warranted we will pass over to the geometrical proof of it.

\begin{figure}[t]\begin{minipage}[5]{0.45\textwidth}\includegraphics[width=\textwidth]{fig09.png}\begin{center}{\small Fig.~9.}\end{center}\end{minipage}\hfill\begin{minipage}[5]{0.45\textwidth}\includegraphics[width=\textwidth]{fig10.png}\begin{center}{\small Fig.~10.}\end{center}\end{minipage}\end{figure}

Imagine a perpendicular prism with square bases and a cylinderinscribed in the prism in the way we have described. Let the prism becut through the axis by a plane perpendicular to the plane which cutsoff the section of the cylinder; this will intersect the prismcontaining the cylinder in the parallelogram $\alpha\beta$ [Fig.~9]and the common intersecting line of the plane which cuts off thesection of the cylinder and the plane lying through the axisperpendicular to the one cutting off the section of the cylinder willbe $\beta\gamma$; let the axis of the cylinder and the prism be$\gamma\delta$ which is bisected at right angles by $\epsilon\zeta$and on $\epsilon\zeta$ let a plane be constructed perpendicular to$\gamma\delta$. This will intersect the prism in a square and thecylinder in a circle.

Now let the intersection of the prism be the square $\mu\nu$[Fig.~10], that of the cylinder, the circle $\xi o\pi\rho$ and let thecircle touch the sides of the square at the points $\xi$, $o$, $\pi$and $\rho$; let the common line of intersection of the plane cuttingoff the cylinder-section and that passing through $\epsilon\zeta$perpendicular to the axis of the cylinder, be $\kappa\lambda$; thisline is bisected by $\pi\theta\xi$. In the semicircle $o\pi\rho$ drawa straight line $\sigma\tau$ perpendicular to $\pi\chi$, on$\sigma\tau$ construct a plane perpendicular to $\xi\pi$ and produceit to both sides of the plane enclosing the circle $\xi o\pi\rho$;this will intersect the half-cylinder whose base is the semicircle$o\pi\rho$ and whose altitude is the axis of the prism, in aparallelogram one side of which = $\sigma\tau$ and the other = the

http://www.gutenberg.org/dirs/etext05/geomc10.txt (23 of 33) [5/1/2008 7:44:14 PM]

Page 24: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

vertical boundary of the cylinder, and it will intersect thecylinder-section likewise in a parallelogram of which one side is$\sigma\tau$ and the other $\mu\nu$ [Fig.~9]; and accordingly $\mu\nu$will be drawn in the parallelogram $\delta\epsilon \| \beta\omega$ andwill cut off $\epsilon\iota = \pi\chi$. Now because $\epsilon\gamma$is a parallelogram and $\nu\iota \| \theta\gamma$, and$\epsilon\theta$ and $\beta\gamma$ cut the parallels, therefore$\epsilon\theta : \theta\iota = \omega\gamma : \gamma\nu = \beta\omega: \upsilon\nu$. But $\beta\omega : \upsilon\nu$ = parallelogram in thehalf-cylinder : parallelogram in the cylinder-section, therefore bothparallelograms have the same side $\sigma\tau$; and $\epsilon\theta =\theta\pi$, $\iota\theta = \chi\theta$; and since $\pi\theta =\theta\xi$ therefore $\theta\xi : \theta\chi$ = parallelogram inhalf-cylinder : parallelogram in the cylinder-section. lmagine theparallelogram in the cylinder-section transferred and so brought to$\xi$ that $\xi$ is its center of gravity, and further imagine$\pi\xi$ to be a scale-beam with its center at $\theta$; then theparallelogram in the half-cylinder in its present position is inequilibrium at the point $\theta$ with the parallelogram in thecylinder-section when it is transferred and so arranged on thescale-beam at $\xi$ that $\xi$ is its center of gravity. And since$\chi$ is the center of gravity in the parallelogram in thehalf-cylinder, and $\xi$ that of the parallelogram in thecylinder-section when its position is changed, and $\xi\theta :\theta\chi$ = the parallelogram whose center of gravity is $\chi$ :the parallelogram whose center of gravity is $\xi$, then theparallelogram whose center of gravity is $\chi$ will be in equilibriumat $\theta$ with the parallelogram whose center of gravity is$\xi$. In this way it can be proved that if another straight line isdrawn in the semicircle $o\pi\rho$ perpendicular to $\pi\theta$ and onthis straight line a plane is constructed perpendicular to $\pi\theta$and is produced towards both sides of the plane in which the circle$\xi o\pi\rho$ lies, then the parallelogram formed in thehalf-cylinder in its present position will be in equilibrium at thepoint $\theta$ with the parallelogram formed in the cylinder-sectionif this is transferred and so arranged on the scale-beam at $\xi$ that$\xi$ is its center of-gravity; therefore also all parallelograms inthe half-cylinder in their present positions will be in equilibrium atthe point $\theta$ with all parallelograms of the cylinder-section ifthey are transferred and attached to the scale-beam at the point$\xi$; consequently also the half-cylinder in its present positionwill be in equilibrium at the point $\theta$ with the cylinder-sectionif it is transferred and so arranged on the scale-beam at $\xi$ that$\xi$ is its center of gravity.

\section*{Proposition XII}

Let the parallelogram $\mu\nu$ be perpendicular to the axis [of thecircle] $\xi o$ [$\pi\rho$] [Fig.~11]. Draw $\theta\mu$ and$\theta\eta$ and erect upon them two planes perpendicular to the plane

http://www.gutenberg.org/dirs/etext05/geomc10.txt (24 of 33) [5/1/2008 7:44:14 PM]

Page 25: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

in which the semicircle $o\pi\rho$ lies and extend these planes onboth sides. The result is a prism whose base is a triangle similar to$\theta\mu\eta$ and whose altitude is equal to the axis of thecylinder, and this prism is $\frac{1}{4}$ of the entire prism whichcontains the cylinder. In the semicircle $o\pi\rho$ and in the square$\mu\nu$ draw two straight lines $\kappa\lambda$ and $\tau\upsilon$ atequal distances from $\pi\xi$; these will cut%\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig11.png}\begin{center}{\small Fig.~11.}\end{center}\end{wrapfigure}%the circumference of the semicircle $o\pi\rho$ at the points $\kappa$and $\tau$, the diameter $o\rho$ at $\sigma$ and $\zeta$ and thestraight lines $\theta\eta$ and $\theta\mu$ at $\phi$ and $\chi$. Upon$\kappa\lambda$ and $\tau\upsilon$ construct two planes perpendicularto $o\rho$ and extend them towards both sides of the plane in whichlies the circle $\xi o\pi\rho$; they will intersect the half-cylinderwhose base is the semicircle $o\pi\rho$ and whose altitude is that ofthe cylinder, in a parallelogram one side of which = $\kappa\sigma$and the other = the axis of the cylinder; and they will intersect theprism $\theta\eta\mu$ likewise in a parallelogram one side of which isequal to $\lambda\chi$ and the other equal to the axis, and in thesame way the half-cylinder in a parallelogram one side of which =$\tau\zeta$ and the other = the axis of the cylinder, and the prism ina parallelogram one side of which = $\nu\phi$ and the other = the axisof the cylinder.\dotfill

\section*{Proposition XIII}

Let the square $\alpha\beta\gamma\delta$ [Fig.~12] be the base of aperpendicular prism with square bases and let a cylinder be inscribedin the prism whose base is the circle $\epsilon\zeta\eta\theta$ whichtouches the sides of the parallelogram $\alpha\beta\gamma\delta$ at$\epsilon$, $\zeta$, $\eta$, and $\theta$. Pass a plane through itscenter and the side in the square opposite the square$\alpha\beta\gamma\delta$ corresponding to the side $\gamma\delta$;this will cut off from the whole prism a second prism which is$\frac{1}{4}$ the size of the whole prism and which will be bounded bythree parallelograms and two opposite triangles. In the semicircle$\epsilon\zeta\eta$ describe a parabola whose origin is $\eta\epsilon$and whose axis is $\zeta\kappa$, and in the parallelogram $\delta\eta$draw $\mu\nu \| \kappa\zeta$; this will cut the circumference of thesemicircle at $\xi$, the parabola at $\lambda$, and $\mu\nu \times\nu\lambda = \nu\zeta^2$ (for this is evident [Apollonios, \emph{Con.}I, 11]). Therefore $\mu\nu : \nu\lambda = \kappa\eta^2 :\lambda\sigma^2$. Upon $\mu\nu$ construct a plane parallel to

http://www.gutenberg.org/dirs/etext05/geomc10.txt (25 of 33) [5/1/2008 7:44:14 PM]

Page 26: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

$\epsilon\eta$; this will intersect the prism cut off from the wholeprism in a right-angled triangle one side of which is $\mu\nu$ and theother a straight line in the plane upon $\gamma\delta$ perpendicularto $\gamma\delta$ at $\nu$ and equal to the axis of the cylinder, butwhose hypotenuse is in the intersecting plane. It will intersect theportion which is cut off from the cylinder by the%\begin{wrapfigure}{r}{0.5\textwidth}\includegraphics[width=0.5\textwidth]{fig12.png}\begin{center}{\small Fig.~12.}\end{center}\end{wrapfigure}%plane passed through $\epsilon\eta$ and the side of the squareopposite the side $\gamma\delta$ in a right-angled triangle one sideof which is $\mu\xi$ and the other a straight line drawn in thesurface of the cylinder perpendicular to the plane $\kappa\nu$,\linebreak and the hypotenuse\dotfill\linebreak and all the trianglesin the prism : all the triangles in the cylinder-section = all thestraight lines in the parallelogram $\delta\eta$ : all the straightlines between the parabola and the straight line $\epsilon\eta$. Andthe prism consists of the triangles in the prism, the cylinder-sectionof those in the cylinder-section, the parallelogram $\delta\eta$ ofthe straight lines in the parallelogram $\delta\eta \| \kappa\zeta$and the segment of the parabola of the straight lines cut off by theparabola and the straight line $\epsilon\eta$; hence prism :cylinder-section = parallelogram $\eta\delta$ : segment$\epsilon\zeta\eta$ that is bounded by the parabola and the straightline $\epsilon\eta$. But the parallelogram $\delta\eta = \frac{3}{2}$the segment bounded by the parabola and the straight line$\epsilon\eta$ as indeed has been shown in the previously publishedwork, hence also the prism is equal to one and one half times thecylinder-section. Therefore when the cylinder-section = 2, the prism =3 and the whole prism containing the cylinder equals 12, because it isfour times the size of the other prism; hence the cylinder-section isequal to $\frac{1}{6}$ of the prism, Q. E. D.

\section*{Proposition XIV}

[Inscribe a cylinder in] a perpendicular prism with square bases [andlet it be cut by a plane passed through the center of the base of thecylinder and one side of the opposite square.] Then this plane willcut off a prism from the whole prism and a portion of the cylinderfrom the cylinder. It may be proved that the portion cut off from thecylinder by the plane is one-sixth of the whole prism. But first wewill prove that it is possible to inscribe a solid figure in thecylinder-section and to circumscribe another composed of prisms ofequal altitude and with similar triangles as bases, so that thecircumscribed figure exceeds the inscribed less than any given

http://www.gutenberg.org/dirs/etext05/geomc10.txt (26 of 33) [5/1/2008 7:44:14 PM]

Page 27: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

magni-\-\linebreak tude.\dotfill

But it has been shown that the prism cut off by the inclined plane$<\frac{3}{2}$ the body inscribed in the cylinder-section. Now theprism cut off by the inclined plane : the body inscribed in thecylinder-section = parallelogram $\delta\eta$ : the parallelogramswhich are inscribed in the segment bounded by the parabola and thestraight line $\epsilon\eta$. Hence the parallelogram $\delta\eta<\frac{3}{2}$ the parallelograms in the segment bounded by theparabola and the straight line $\epsilon\eta$. But this is impossiblebecause we have shown elsewhere that the parallelogram $\delta\eta$ isone and one half times the segment bounded by the parabola and thestraight line $\epsilon\eta$, consequently is \dotfill not greater\dotfill

And all prisms in the prism cut off by the inclined plane : all prismsin the figure described around the cylinder-section = allparallelograms in the parallelogram $\delta\eta$ : all parallelogramsin the figure which is described around the segment bounded by theparabola and the straight line $\epsilon\eta$, i. e., the prism cutoff by the inclined plane : the figure described around thecylinder-section = parallelogram $\delta\eta$ : the figure bounded bythe parabola and the straight line $\epsilon\eta$. But the prism cutoff by the inclined plane is greater than one and one half times thesolid figure circumscribed around thecylinder-section\dotfill\linebreak.\dotfill\linebreak

\vfill

\end{document}

End of the Project Gutenberg EBook of Geometrical Solutions Derived fromMechanics, by Archimedes

*** END OF THE PROJECT GUTENBERG EBOOK GEOMETRICAL SOLUTIONS ***

This file should be named geomc10.txt or geomc10.zipCorrected EDITIONS of our eBooks get a new NUMBER, geomc11.txtVERSIONS based on separate sources get new LETTER, geomc10a.txt

Gordon Keener

Project Gutenberg eBooks are often created from several printededitions, all of which are confirmed as Public Domain in the USunless a copyright notice is included. Thus, we usually do notkeep eBooks in compliance with any particular paper edition.

http://www.gutenberg.org/dirs/etext05/geomc10.txt (27 of 33) [5/1/2008 7:44:14 PM]

Page 28: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

We are now trying to release all our eBooks one year in advanceof the official release dates, leaving time for better editing.Please be encouraged to tell us about any error or corrections,even years after the official publication date.

Please note neither this listing nor its contents are final tilmidnight of the last day of the month of any such announcement.The official release date of all Project Gutenberg eBooks is atMidnight, Central Time, of the last day of the stated month. Apreliminary version may often be posted for suggestion, commentand editing by those who wish to do so.

Most people start at our Web sites at:http://gutenberg.net orhttp://promo.net/pg

These Web sites include award-winning information about ProjectGutenberg, including how to donate, how to help produce our neweBooks, and how to subscribe to our email newsletter (free!).

Those of you who want to download any eBook before announcementcan get to them as follows, and just download by date. This isalso a good way to get them instantly upon announcement, as theindexes our cataloguers produce obviously take a while after anannouncement goes out in the Project Gutenberg Newsletter.

http://www.ibiblio.org/gutenberg/etext03 orftp://ftp.ibiblio.org/pub/docs/books/gutenberg/etext03

Or /etext02, 01, 00, 99, 98, 97, 96, 95, 94, 93, 92, 92, 91 or 90

Just search by the first five letters of the filename you want,as it appears in our Newsletters.

Information about Project Gutenberg (one page)

We produce about two million dollars for each hour we work. Thetime it takes us, a rather conservative estimate, is fifty hoursto get any eBook selected, entered, proofread, edited, copyrightsearched and analyzed, the copyright letters written, etc. Ourprojected audience is one hundred million readers. If the valueper text is nominally estimated at one dollar then we produce $2million dollars per hour in 2002 as we release over 100 new textfiles per month: 1240 more eBooks in 2001 for a total of 4000+We are already on our way to trying for 2000 more eBooks in 2002If they reach just 1-2% of the world's population then the totalwill reach over half a trillion eBooks given away by year's end.

The Goal of Project Gutenberg is to Give Away 1 Trillion eBooks!

http://www.gutenberg.org/dirs/etext05/geomc10.txt (28 of 33) [5/1/2008 7:44:14 PM]

Page 29: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

This is ten thousand titles each to one hundred million readers,which is only about 4% of the present number of computer users.

Here is the briefest record of our progress (* means estimated):

eBooks Year Month

1 1971 July 10 1991 January 100 1994 January 1000 1997 August 1500 1998 October 2000 1999 December 2500 2000 December 3000 2001 November 4000 2001 October/November 6000 2002 December* 9000 2003 November*10000 2004 January*

The Project Gutenberg Literary Archive Foundation has been createdto secure a future for Project Gutenberg into the next millennium.

We need your donations more than ever!

As of February, 2002, contributions are being solicited from peopleand organizations in: Alabama, Alaska, Arkansas, Connecticut,Delaware, District of Columbia, Florida, Georgia, Hawaii, Illinois,Indiana, Iowa, Kansas, Kentucky, Louisiana, Maine, Massachusetts,Michigan, Mississippi, Missouri, Montana, Nebraska, Nevada, NewHampshire, New Jersey, New Mexico, New York, North Carolina, Ohio,Oklahoma, Oregon, Pennsylvania, Rhode Island, South Carolina, SouthDakota, Tennessee, Texas, Utah, Vermont, Virginia, Washington, WestVirginia, Wisconsin, and Wyoming.

We have filed in all 50 states now, but these are the only onesthat have responded.

As the requirements for other states are met, additions to this listwill be made and fund raising will begin in the additional states.Please feel free to ask to check the status of your state.

In answer to various questions we have received on this:

We are constantly working on finishing the paperwork to legallyrequest donations in all 50 states. If your state is not listed andyou would like to know if we have added it since the list you have,just ask.

While we cannot solicit donations from people in states where we are

http://www.gutenberg.org/dirs/etext05/geomc10.txt (29 of 33) [5/1/2008 7:44:14 PM]

Page 30: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

not yet registered, we know of no prohibition against acceptingdonations from donors in these states who approach us with an offer todonate.

International donations are accepted, but we don't know ANYTHING abouthow to make them tax-deductible, or even if they CAN be madedeductible, and don't have the staff to handle it even if there areways.

Donations by check or money order may be sent to:

Project Gutenberg Literary Archive FoundationPMB 1131739 University Ave.Oxford, MS 38655-4109

Contact us if you want to arrange for a wire transfer or paymentmethod other than by check or money order.

The Project Gutenberg Literary Archive Foundation has been approved bythe US Internal Revenue Service as a 501(c)(3) organization with EIN[Employee Identification Number] 64-622154. Donations aretax-deductible to the maximum extent permitted by law. As fund-raisingrequirements for other states are met, additions to this list will bemade and fund-raising will begin in the additional states.

We need your donations more than ever!

You can get up to date donation information online at:

http://www.gutenberg.net/donation.html

***

If you can't reach Project Gutenberg,you can always email directly to:

Michael S. Hart <[email protected]>

Prof. Hart will answer or forward your message.

We would prefer to send you information by email.

**The Legal Small Print**

(Three Pages)

***START**THE SMALL PRINT!**FOR PUBLIC DOMAIN EBOOKS**START***

http://www.gutenberg.org/dirs/etext05/geomc10.txt (30 of 33) [5/1/2008 7:44:14 PM]

Page 31: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

Why is this "Small Print!" statement here? You know: lawyers.They tell us you might sue us if there is something wrong withyour copy of this eBook, even if you got it for free fromsomeone other than us, and even if what's wrong is not ourfault. So, among other things, this "Small Print!" statementdisclaims most of our liability to you. It also tells you howyou may distribute copies of this eBook if you want to.

*BEFORE!* YOU USE OR READ THIS EBOOKBy using or reading any part of this PROJECT GUTENBERG-tmeBook, you indicate that you understand, agree to and acceptthis "Small Print!" statement. If you do not, you can receivea refund of the money (if any) you paid for this eBook bysending a request within 30 days of receiving it to the personyou got it from. If you received this eBook on a physicalmedium (such as a disk), you must return it with your request.

ABOUT PROJECT GUTENBERG-TM EBOOKSThis PROJECT GUTENBERG-tm eBook, like most PROJECT GUTENBERG-tm eBooks,is a "public domain" work distributed by Professor Michael S. Hartthrough the Project Gutenberg Association (the "Project").Among other things, this means that no one owns a United States copyrighton or for this work, so the Project (and you!) can copy anddistribute it in the United States without permission andwithout paying copyright royalties. Special rules, set forthbelow, apply if you wish to copy and distribute this eBookunder the "PROJECT GUTENBERG" trademark.

Please do not use the "PROJECT GUTENBERG" trademark to marketany commercial products without permission.

To create these eBooks, the Project expends considerableefforts to identify, transcribe and proofread public domainworks. Despite these efforts, the Project's eBooks and anymedium they may be on may contain "Defects". Among otherthings, Defects may take the form of incomplete, inaccurate orcorrupt data, transcription errors, a copyright or otherintellectual property infringement, a defective or damageddisk or other eBook medium, a computer virus, or computercodes that damage or cannot be read by your equipment.

LIMITED WARRANTY; DISCLAIMER OF DAMAGESBut for the "Right of Replacement or Refund" described below,[1] Michael Hart and the Foundation (and any other party you mayreceive this eBook from as a PROJECT GUTENBERG-tm eBook) disclaimsall liability to you for damages, costs and expenses, includinglegal fees, and [2] YOU HAVE NO REMEDIES FOR NEGLIGENCE ORUNDER STRICT LIABILITY, OR FOR BREACH OF WARRANTY OR CONTRACT,INCLUDING BUT NOT LIMITED TO INDIRECT, CONSEQUENTIAL, PUNITIVEOR INCIDENTAL DAMAGES, EVEN IF YOU GIVE NOTICE OF THEPOSSIBILITY OF SUCH DAMAGES.

http://www.gutenberg.org/dirs/etext05/geomc10.txt (31 of 33) [5/1/2008 7:44:14 PM]

Page 32: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

If you discover a Defect in this eBook within 90 days ofreceiving it, you can receive a refund of the money (if any)you paid for it by sending an explanatory note within thattime to the person you received it from. If you received iton a physical medium, you must return it with your note, andsuch person may choose to alternatively give you a replacementcopy. If you received it electronically, such person maychoose to alternatively give you a second opportunity toreceive it electronically.

THIS EBOOK IS OTHERWISE PROVIDED TO YOU "AS-IS". NO OTHERWARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, ARE MADE TO YOU ASTO THE EBOOK OR ANY MEDIUM IT MAY BE ON, INCLUDING BUT NOTLIMITED TO WARRANTIES OF MERCHANTABILITY OR FITNESS FOR APARTICULAR PURPOSE.

Some states do not allow disclaimers of implied warranties orthe exclusion or limitation of consequential damages, so theabove disclaimers and exclusions may not apply to you, and youmay have other legal rights.

INDEMNITYYou will indemnify and hold Michael Hart, the Foundation,and its trustees and agents, and any volunteers associatedwith the production and distribution of Project Gutenberg-tmtexts harmless, from all liability, cost and expense, includinglegal fees, that arise directly or indirectly from any of thefollowing that you do or cause: [1] distribution of this eBook,[2] alteration, modification, or addition to the eBook,or [3] any Defect.

DISTRIBUTION UNDER "PROJECT GUTENBERG-tm"You may distribute copies of this eBook electronically, or bydisk, book or any other medium if you either delete this"Small Print!" and all other references to Project Gutenberg,or:

[1] Only give exact copies of it. Among other things, this requires that you do not remove, alter or modify the eBook or this "small print!" statement. You may however, if you wish, distribute this eBook in machine readable binary, compressed, mark-up, or proprietary form, including any form resulting from conversion by word processing or hypertext software, but only so long as *EITHER*:

[*] The eBook, when displayed, is clearly readable, and does *not* contain characters other than those intended by the author of the work, although tilde (~), asterisk (*) and underline (_) characters may

http://www.gutenberg.org/dirs/etext05/geomc10.txt (32 of 33) [5/1/2008 7:44:14 PM]

Page 33: Geometric Solutions Archimedes

http://www.gutenberg.org/dirs/etext05/geomc10.txt

be used to convey punctuation intended by the author, and additional characters may be used to indicate hypertext links; OR

[*] The eBook may be readily converted by the reader at no expense into plain ASCII, EBCDIC or equivalent form by the program that displays the eBook (as is the case, for instance, with most word processors); OR

[*] You provide, or agree to also provide on request at no additional cost, fee or expense, a copy of the eBook in its original plain ASCII form (or in EBCDIC or other equivalent proprietary form).

[2] Honor the eBook refund and replacement provisions of this "Small Print!" statement.

[3] Pay a trademark license fee to the Foundation of 20% of the gross profits you derive calculated using the method you already use to calculate your applicable taxes. If you don't derive profits, no royalty is due. Royalties are payable to "Project Gutenberg Literary Archive Foundation" the 60 days following each date you prepare (or were legally required to prepare) your annual (or equivalent periodic) tax return. Please contact us beforehand to let us know your plans and to work out the details.

WHAT IF YOU *WANT* TO SEND MONEY EVEN IF YOU DON'T HAVE TO?Project Gutenberg is dedicated to increasing the number ofpublic domain and licensed works that can be freely distributedin machine readable form.

The Project gratefully accepts contributions of money, time,public domain materials, or royalty free copyright licenses.Money should be paid to the:"Project Gutenberg Literary Archive Foundation."

If you are interested in contributing scanning equipment orsoftware or other items, please contact Michael Hart at:[email protected]

[Portions of this eBook's header and trailer may be reprinted onlywhen distributed free of all fees. Copyright (C) 2001, 2002 byMichael S. Hart. Project Gutenberg is a TradeMark and may not beused in any sales of Project Gutenberg eBooks or other materials bethey hardware or software or any other related product withoutexpress permission.]

*END THE SMALL PRINT! FOR PUBLIC DOMAIN EBOOKS*Ver.02/11/02*END*

http://www.gutenberg.org/dirs/etext05/geomc10.txt (33 of 33) [5/1/2008 7:44:14 PM]