How Archimedes used infinitesimals

The ancient Greek mathematician, physicist, and engineer Archimedes of Syracuse was the first mathematician to make explicit use of infinitesimals. His work with infinitesimals is found in the celebrated Archimedes Palimpsest. The palimpsest embodies Archimedes' account of his "mechanical method", so called because it relies on the concepts of torque exerted on a lever and of center of gravity. Both of those concepts were first introduced by Archimedes.

Ironically, Archimedes disbelieved in the existence of infinitesimals, and therefore said explicitly that his arguments fall short of being finished mathematical proofs.

The proof of the first proposition in the palimpsest is very beautiful, and appears below.

The first proposition in the palimpsest

The curve in this figure is a parabola.

The points A and B are on the curve. The line AC is parallel to the axis of the parabola. The line BC is tangent to the parabola. 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. The point D is the fulcrum of a lever, which is the line JB. The points J and B are equidistant from the fulcrum. As Archimedes had shown, the center of gravity of the interior of the triangle is at a point I on the "lever" so located that 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. If the whole weight of the triangle rests at I, it exerts the same torque on the lever as if the infinitely small weight of every cross-section EH parallel to the axis of the parabola rests at the point G where it intersects the lever. Therefore, it suffices to show that if the weight of that cross-section 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. That is equivalent to EF:DG = EH:DB. And that is equivalent to EF:EH = AE:AB. But that is just the equation of the parabola. Q.E.D.

Other propositions in the palimpsest

A series of other propositions of geometry are proved in the palimpsest by similar arguments. Some of them have the location of a center of gravity as the conclusion. One of those states that the center of gravity of the interior of a hemisphere is located 5/8 of the way from the pole to the center of the sphere.