The Method of Mechanical Theorems

Last updated

The Method of Mechanical Theorems (Greek : Περὶ μηχανικῶν θεωρημάτων πρὸς Ἐρατοσθένη ἔφοδος), also referred to as The Method, is considered one of the major surviving works of the ancient Greek polymath Archimedes. The Method takes the form of a letter from Archimedes to Eratosthenes, [1] the chief librarian at the Library of Alexandria, and contains the first attested explicit use of indivisibles (sometimes referred to as infinitesimals). [1] [2] The work was originally thought to be lost, but in 1906 was rediscovered in the celebrated Archimedes Palimpsest. The palimpsest includes Archimedes' account of the "mechanical method", so called because it relies on the law of the lever, which was first demonstrated by Archimedes, and of the center of mass (or centroid), which he had found for many special shapes.

Contents

Archimedes did not admit the method of indivisibles as part of rigorous mathematics, and therefore did not publish his method in the formal treatises that contain the results. In these treatises, he proves the same theorems by exhaustion, finding rigorous upper and lower bounds which both converge to the answer required. Nevertheless, the mechanical method was what he used to discover the relations for which he later gave rigorous proofs.

Area of a parabola

To explain Archimedes' method today, it is convenient to make use of a little bit of Cartesian geometry, although this of course was unavailable at the time. His idea is to use the law of the lever to determine the areas of figures from the known center of mass of other figures. The simplest example in modern language is the area of the parabola. Archimedes uses a more elegant method, but in Cartesian language, his method is calculating the integral

which can easily be checked nowadays using elementary integral calculus.

The idea is to mechanically balance the parabola (the curved region being integrated above) with a certain triangle that is made of the same material. The parabola is the region in the plane between the -axis and the curve as varies from 0 to 1. The triangle is the region in the same plane between the -axis and the line , also as varies from 0 to 1.

Slice the parabola and triangle into vertical slices, one for each value of . Imagine that the -axis is a lever, with a fulcrum at . The law of the lever states that two objects on opposite sides of the fulcrum will balance if each has the same torque, where an object's torque equals its weight times its distance to the fulcrum. For each value of , the slice of the triangle at position has a mass equal to its height , and is at a distance from the fulcrum; so it would balance the corresponding slice of the parabola, of height , if the latter were moved to , at a distance of 1 on the other side of the fulcrum.

Balanced triangle and parabolic spandrel by the Method Archimedesmethodrk20210116-2.gif
Balanced triangle and parabolic spandrel by the Method

Since each pair of slices balances, moving the whole parabola to would balance the whole triangle. This means that if the original uncut parabola is hung by a hook from the point (so that the whole mass of the parabola is attached to that point), it will balance the triangle sitting between and .

The center of mass of a triangle can be easily found by the following method, also due to Archimedes. If a median line is drawn from any one of the vertices of a triangle to the opposite edge , the triangle will balance on the median, considered as a fulcrum. The reason is that if the triangle is divided into infinitesimal line segments parallel to , each segment has equal length on opposite sides of the median, so balance follows by symmetry. This argument can be easily made rigorous by exhaustion by using little rectangles instead of infinitesimal lines, and this is what Archimedes does in On the Equilibrium of Planes.

So the center of mass of a triangle must be at the intersection point of the medians. For the triangle in question, one median is the line , while a second median is the line . Solving these equations, we see that the intersection of these two medians is above the point , so that the total effect of the triangle on the lever is as if the total mass of the triangle were pushing down on (or hanging from) this point. The total torque exerted by the triangle is its area, 1/2, times the distance 2/3 of its center of mass from the fulcrum at . This torque of 1/3 balances the parabola, which is at a distance 1 from the fulcrum. Hence, the area of the parabola must be 1/3 to give it the opposite torque.

This type of method can be used to find the area of an arbitrary section of a parabola, and similar arguments can be used to find the integral of any power of , although higher powers become complicated without algebra. Archimedes only went as far as the integral of , which he used to find the center of mass of a hemisphere, and in other work, the center of mass of a parabola.

First proposition in the palimpsest

Consider the parabola in the figure to the right. Pick two points on the parabola and call them A and B.

Archie1small.png

Suppose the line segment AC is parallel to the axis of symmetry of the parabola. Further suppose that the line segment BC lies on a line that is tangent to the parabola at B. The first proposition states:

The area of the triangle ABC is exactly three times the area bounded by the parabola and the secant line AB.
Proof:

Let D be the midpoint of AC. Construct a line segment JB through D, where the distance from J to D is equal to the distance from B to D. We will think of the segment JB as a "lever" with D as its fulcrum. As Archimedes had previously shown, the center of mass of the triangle is at the point I on the "lever" where DI :DB = 1:3. Therefore, it suffices to show that if the whole weight of the interior of the triangle rests at I, and the whole weight of the section of the parabola at J, the lever is in equilibrium.

Consider an infinitely small cross-section of the triangle given by the segment HE, where the point H lies on BC, the point E lies on AB, and HE is parallel to the axis of symmetry of the parabola. Call the intersection of HE and the parabola F and the intersection of HE and the lever G. If the whole weight of the triangle rests at I, it exerts the same torque on the lever JB as it does on HE. Thus, we wish to show that if the weight of the cross-section HE rests at G and the weight of the cross-section EF of the section of the parabola rests at J, then the lever is in equilibrium. In other words, it suffices to show that EF :GD = EH :JD. But that is a routine consequence of the equation of the parabola.  Q.E.D.

Volume of a sphere

Again, to illuminate the mechanical method, it is convenient to use a little bit of coordinate geometry. If a sphere of radius 1 is placed with its center at x = 1, the vertical cross sectional radius at any x between 0 and 2 is given by the following formula:

The mass of this cross section, for purposes of balancing on a lever, is proportional to the area:

Archimedes then considered rotating the triangular region between y = 0 and y = x and x = 2 on the x-y plane around the x-axis, to form a cone. The cross section of this cone is a circle of radius

and the area of this cross section is

So if slices of the cone and the sphere both are to be weighed together, the combined cross-sectional area is:

If the two slices are placed together at distance 1 from the fulcrum, their total weight would be exactly balanced by a circle of area at a distance x from the fulcrum on the other side. This means that the cone and the sphere together, if all their material were moved to x = 1, would balance a cylinder of base radius 1 and length 2 on the other side.

As x ranges from 0 to 2, the cylinder will have a center of gravity a distance 1 from the fulcrum, so all the weight of the cylinder can be considered to be at position 1. The condition of balance ensures that the volume of the cone plus the volume of the sphere is equal to the volume of the cylinder.

The volume of the cylinder is the cross section area, times the height, which is 2, or . Archimedes could also find the volume of the cone using the mechanical method, since, in modern terms, the integral involved is exactly the same as the one for area of the parabola. The volume of the cone is 1/3 its base area times the height. The base of the cone is a circle of radius 2, with area , while the height is 2, so the area is . Subtracting the volume of the cone from the volume of the cylinder gives the volume of the sphere:

The dependence of the volume of the sphere on the radius is obvious from scaling, although that also was not trivial to make rigorous back then. The method then gives the familiar formula for the volume of a sphere. By scaling the dimensions linearly Archimedes easily extended the volume result to spheroids.

Archimedes argument is nearly identical to the argument above, but his cylinder had a bigger radius, so that the cone and the cylinder hung at a greater distance from the fulcrum. He considered this argument to be his greatest achievement, requesting that the accompanying figure of the balanced sphere, cone, and cylinder be engraved upon his tombstone.

Surface area of a sphere

To find the surface area of the sphere, Archimedes argued that just as the area of the circle could be thought of as infinitely many infinitesimal right triangles going around the circumference (see Measurement of the Circle), the volume of the sphere could be thought of as divided into many cones with height equal to the radius and base on the surface. The cones all have the same height, so their volume is 1/3 the base area times the height.

Archimedes states that the total volume of the sphere is equal to the volume of a cone whose base has the same surface area as the sphere and whose height is the radius. There are no details given for the argument, but the obvious reason is that the cone can be divided into infinitesimal cones by splitting the base area up, and the each cone makes a contribution according to its base area, just the same as in the sphere.

Let the surface of the sphere be S. The volume of the cone with base area S and height r is , which must equal the volume of the sphere: . Therefore, the surface area of the sphere must be , or "four times its largest circle". Archimedes proves this rigorously in On the Sphere and Cylinder.

Curvilinear shapes with rational volumes

One of the remarkable things about the Method is that Archimedes finds two shapes defined by sections of cylinders, whose volume does not involve , despite the shapes having curvilinear boundaries. This is a central point of the investigationcertain curvilinear shapes could be rectified by ruler and compass, so that there are nontrivial rational relations between the volumes defined by the intersections of geometrical solids.

Archimedes emphasizes this in the beginning of the treatise, and invites the reader to try to reproduce the results by some other method. Unlike the other examples, the volume of these shapes is not rigorously computed in any of his other works. From fragments in the palimpsest, it appears that Archimedes did inscribe and circumscribe shapes to prove rigorous bounds for the volume, although the details have not been preserved.

The two shapes he considers are the intersection of two cylinders at right angles (the bicylinder), which is the region of (x, y, z) obeying:

and the circular prism, which is the region obeying:

Both problems have a slicing which produces an easy integral for the mechanical method. For the circular prism, cut up the x-axis into slices. The region in the y-z plane at any x is the interior of a right triangle of side length whose area is , so that the total volume is:

which can be easily rectified using the mechanical method. Adding to each triangular section a section of a triangular pyramid with area balances a prism whose cross section is constant.

For the intersection of two cylinders, the slicing is lost in the manuscript, but it can be reconstructed in an obvious way in parallel to the rest of the document: if the x-z plane is the slice direction, the equations for the cylinder give that while , which defines a region which is a square in the x-z plane of side length , so that the total volume is:

And this is the same integral as for the previous example. Jan Hogendijk argues that, besides the volume of the bicylinder, Archimedes knew its surface area, which is also rational. [3]

Other propositions in the palimpsest

A series of propositions of geometry are proved in the palimpsest by similar arguments. One theorem is that the location of a center of mass of a hemisphere is located 5/8 of the way from the pole to the center of the sphere. This problem is notable, because it is evaluating a cubic integral.

See also

Related Research Articles

Area Size of a two-dimensional surface

Area is the quantity that expresses the extent of a two-dimensional region, shape, or planar lamina, in the plane. Surface area is its analog on the two-dimensional surface of a three-dimensional object. Area can be understood as the amount of material with a given thickness that would be necessary to fashion a model of the shape, or the amount of paint necessary to cover the surface with a single coat. It is the two-dimensional analog of the length of a curve or the volume of a solid.

Archimedes Greek mathematician, physicist, engineer, inventor, and astronomer

Archimedes of Syracuse was a Greek mathematician, physicist, engineer, inventor, and astronomer. Although few details of his life are known, he is regarded as one of the leading scientists in classical antiquity. Considered to be the greatest mathematician of ancient history, and one of the greatest of all time, Archimedes anticipated modern calculus and analysis by applying the concept of the infinitely small and the method of exhaustion to derive and rigorously prove a range of geometrical theorems, including: the area of a circle; the surface area and volume of a sphere; area of an ellipse; the area under a parabola; the volume of a segment of a paraboloid of revolution; the volume of a segment of a hyperboloid of revolution; and the area of a spiral.

Parabola Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

Surface area Measure of the two-dimensional extent of a surface

The surface area of a solid object is a measure of the total area that the surface of the object occupies. The mathematical definition of surface area in the presence of curved surfaces is considerably more involved than the definition of arc length of one-dimensional curves, or of the surface area for polyhedra, for which the surface area is the sum of the areas of its faces. Smooth surfaces, such as a sphere, are assigned surface area using their representation as parametric surfaces. This definition of surface area is based on methods of infinitesimal calculus and involves partial derivatives and double integration.

Sphere Geometrical object that is the surface of a ball

A sphere is a geometrical object in three-dimensional space that is the surface of a ball.

Volume Quantity of three-dimensional space

Volume is the quantity of three-dimensional space enclosed by a closed surface, for example, the space that a substance or 3D shape occupies or contains. Volume is often quantified numerically using the SI derived unit, the cubic metre. The volume of a container is generally understood to be the capacity of the container; i.e., the amount of fluid that the container could hold, rather than the amount of space the container itself displaces. Three dimensional mathematical shapes are also assigned volumes. Volumes of some simple shapes, such as regular, straight-edged, and circular shapes can be easily calculated using arithmetic formulas. Volumes of complicated shapes can be calculated with integral calculus if a formula exists for the shape's boundary. One-dimensional figures and two-dimensional shapes are assigned zero volume in the three-dimensional space.

Archimedes Palimpsest

The Archimedes Palimpsest is a parchment codex palimpsest, originally a Byzantine Greek copy of a compilation of Archimedes and other authors. All images and transcriptions are now freely available on the web at the Archimedes Digital Palimpsest, under the Creative Commons License CC BY.

Solid of revolution

In mathematics, engineering, and manufacturing, a solid of revolution is a solid figure obtained by rotating a plane curve around some straight line that lies on the same plane.

Cone Geometric shape

A cone is a three-dimensional geometric shape that tapers smoothly from a flat base to a point called the apex or vertex.

Cylinder

A cylinder has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. It is the idealized version of a solid physical tin can having lids on top and bottom.

The method of exhaustion is a method of finding the area of a shape by inscribing inside it a sequence of polygons whose areas converge to the area of the containing shape. If the sequence is correctly constructed, the difference in area between the nth polygon and the containing shape will become arbitrarily small as n becomes large. As this difference becomes arbitrarily small, the possible values for the area of the shape are systematically "exhausted" by the lower bound areas successively established by the sequence members.

Area of a circle

In geometry, the area enclosed by a circle of radius r is πr2. Here the Greek letter π represents the constant ratio of the circumference of any circle to its diameter, approximately equal to 3.1416.

In classical mechanics, the shell theorem gives gravitational simplifications that can be applied to objects inside or outside a spherically symmetrical body. This theorem has particular application to astronomy.

Steinmetz solid

In geometry, a Steinmetz solid is the solid body obtained as the intersection of two or three cylinders of equal radius at right angles. Each of the curves of the intersection of two cylinders is an ellipse.

<i>Quadrature of the Parabola</i>

Quadrature of the Parabola is a treatise on geometry, written by Archimedes in the 3rd century BC and addressed to his Alexandrian acquaintance Dositheus. It contains 24 propositions regarding parabolas, culminating in two proofs showing that the area of a parabolic segment is 4/3 that of a certain inscribed triangle.

<i>On the Sphere and Cylinder</i>

On the Sphere and Cylinder is a work that was published by Archimedes in two volumes c. 225 BCE. It most notably details how to find the surface area of a sphere and the volume of the contained ball and the analogous values for a cylinder, and was the first to do so.

Cavalieris principle geometry concept

In geometry, Cavalieri's principle, a modern implementation of the method of indivisibles, named after Bonaventura Cavalieri, is as follows:

In solid geometry, an ungula is a region of a solid of revolution, cut off by a plane oblique to its base. A common instance is the spherical wedge. The term ungula refers to the hoof of a horse, an anatomical feature that defines a class of mammals called ungulates.

A part of tree measurement is measurement of the crown of a tree, which consists of the mass of foliage and branches growing outward from the trunk of the tree. The average crown spread is the average horizontal width of the crown, taken from dripline to dripline as one moves around the crown. The dripline being the outer boundary to the area located directly under the outer circumference of the tree branches. When the tree canopy gets wet, any excess water is shed to the ground along this dripline. Some listings will also list the maximum crown spread which represents the greatest width from dripline to dripline across the crown. Other crown measurements that are commonly taken include limb length, crown volume, and foliage density. Canopy mapping surveys the position and size of all of the limbs down to a certain size in the crown of the tree and is commonly used when measuring the overall wood volume of a tree.

Superparabola

A superparabola is a geometric curve defined in the Cartesian coordinate system as a set of points (x, y) with

References

  1. 1 2 Archimedes (1912), The method of Archimedes recently discovered by Heiberg; a supplement to the Works of Archimedes, translated by Thomas Little Heath, Cambridge University Press
  2. Netz, Reviel; Saito, Ken; Tchernetska, Natalie (2001), "A new reading of Method Proposition 14: preliminary evidence from the Archimedes palimpsest, I", Sciamvs, 2: 9–29, MR   1837052
  3. Hogendijk, Jan (2002), "The surface area of the bicylinder and Archimedes' Method", Historia Mathematica , 29 (2): 199–203, doi: 10.1006/hmat.2002.2349 , MR   1896975