I record here a remarkable discovery of Archimedes about the formula for the surface area of a sphere. I think the derivation is elementary enough so that it can be taught in high school. (I think I was not taught any derivation of it the first time I learned it, but I derived it myself after learning enough calculus.) The sad thing about our math education is that we are fed with tons of formulas, often without much motivation, that even the good students have to resort to mere memorization. My point is that many formulas taught in high school can be demonstrated in a rather natural and elementary way, which can be helpful to understand or remember them.
About 1800 years prior to the discovery of calculus, Archimedes showed that the surface area of a sphere of radius is . He also showed that the volume of a ball of radius is using the Cavalieri’s principle, again without calculus (this is explained in the last part of my calculus notes here).
Let us now describe how he discovered the surface area of a sphere. First, we inscribe the sphere of radius in a cylinder of the same radius and height as shown.
We claim that the orthogonal projection from the lateral face of the cylinder onto the sphere is area-preserving. This of course can be shown by calculus. Remarkably, Archimedes proved it without using calculus. Unavoidably, this would not be completely rigorous in today’s standard as we lack the precise definition of area if we avoid calculus, and have to resort to the language of the “infinitesimals”.
The following picture is the cross section of the inscribed sphere along the plane, which then becomes a circle of radius inscribed in a square of side .
Suppose is the “infinitesimal” increment of the angle . Then on one hand (if we ignore the sign),
So the infinitesimal area element of the cylinder is
On the other hand, the infinitesimal area element of the sphere (the area corresponding to the projection of ) is (see Fig. 1)
We conclude that the projection is area-preserving and so the lateral face of the cylinder has the same area as the sphere. So the sphere has area .
Exercise: Make the above argument precise by using the language of differential forms. For example, as , we have , which (up to a sign) is the rigorous version of (1).