(At last month’s big MathsJam conference, we asked a few people who gave particularly interesting talks if they’d like to write something for the site. A surprising number said yes. First to arrive in the submissions pile was this piece by Tom Button.)
The formula for the surface area of a sphere,
This result does not hold for a cube with side length
If you apply a similar technique to a tetrahedron with side length
The formula for the surface area is the derivative of the formula for the volume if they are both written in terms of the inradius.
The result holds for all the platonic solids. For example an octahedron with side length
I think it also works for any polyhedron whose faces are all tangent to a single sphere.
The equivalent result holds in 2D for regular polygons: the formula for the perimeter is the derivative of the formula for the area if they are both written in terms of the radius of the incircle. I think this works for non-regular polygons too, provided that all the sides are tangents to the same circle.
The original version of this was presented at the annual MathsJam conference, November 2012. David Fontaine’s table of properties of platonic solids was very useful.
I liked this talk. I’ve seen the result that the surface area is the derivative of the volume before. It isn’t coincidence; the surface of a convex shape is the infinitesimal ‘extra bit’ you keep adding to make the shape bigger.
It makes sense that it should work for any polyhedron whose faces are tangent to a sphere. The sphere is a neat way of making sure all the faces move outward in a direction normal to themselves — if they didn’t then you’d have to have cosines in there weighting things, and it would stop being so neat.
I was going to ask if anyone could give a proof; that counts as a proof for me!
It does indeed generalise to all solids which have an insphere. Andrew’s assertions are perfectly correct, but we can prove this rigorously:
Let be the volume as a function of the inradius . Let and be geometrically similar polyhedra with concentric inspheres. The inradii of and are and , respectively. Imagine extruding prisms of height on each of the faces of , so that the tops of the prisms are incident with the faces of . Note that the volume of the prisms is given by , where is the surface area of the original polyhedron.
So, . The term is the small excess volume near the edges of the polyhedron.
The definition of the derivative (evaluated at ) is given by the limit as tends to zero of . This simplifies to . As tends to zero, this approaches . Hence, the derivative is indeed the surface area of .
Top stuff! I’ve LaTeXed your comment because I felt it would benefit from it.