Formalization of an Intuitive Proof of the Surface Area of a Sphere

46 Views Asked by At

Consider the following proof that the surface area of a sphere is $4 \pi r^2$.

First let's try to squash an arbitrary sphere into its net. If we cut the sphere in half then open it up, we get two tangent bowl shaped figures. Now we attempt to squash them to flatten them int a 2D net. This 'rips' them at the top and bottom and results in a new, thinner bowl shaped figure. We repeat this process over and over. Note that since there is always some finite height of the entire net, it is never 2D. So, if we perform this operation $n$ times, then the limit of the shape of the net as $n$ tends to $\infty$ is a rectangle. Below is a diagram of an intermediate step in the squashification of the sphere.

enter image description here

The rectangle's length is the circumference of the great circle of the sphere which is $2 \pi r$ and the height of the rectangle in the height of the sphere which is $2r$. Thus the surface area of the sphere is the area of the rectangle which is $2 \pi r \cdot 2 r = 4 \pi r^2$.

Isn't it kind of sketchy how I said the limit of the entire figure as the number of 'rips' tends to infinity is a rectangle? How could one formalize this proof?