There are currently *0 users* and *43 guests* online.

Here’s a wonderful lesson from Cary Millsap – be very careful if you ever want to sell him anything – that reminded me of a Powerpoint slide I had produced for a presentation a few years ago. It took me a little time to track it down but I finally found the slide, reproduced below, in a presentation called: “The Burden of Proof” that I had given for the Ann Arbor Oracle User Group in 2002. (The picture of the Earth is the Apollo 17 image from NASA):

Dominic Delmolino * wrote a follow-up* to Cary’s post, ending with a question about generalising the formula for a circle – and listing a few results relating to regular polygons (or N-gons), observing that the results he got seemed to be approaching Cary’s circle result as N – the number of sides of the polygon – increased. So is there an opportunity for a proof lurking there somewhere ? Yes and writing a note about it seemed to be much more entertaining than doing real work, so here is it.

We start with a regular N-gon, and clarify what operation we are doing to “raise the string above the surface”. (The sketch is a little crude, I was using Powerpoint at the time.)

The diagram shows a smaller hexagon inside a larger hexagon. To construct the larger hexagon from the smaller we draw a line from the centre of the original to the middle of one of the sides, and extend it outwards. We then slide the side in the direction of this line a distance h, leaving the side parallel to its original position. Repeat for all six sides of the hexagon.

We now have an “exploded” hexagon. To complete the larger hexagon, we need to take each of its sides and extend them at both ends by a distance d. The change in the perimeter from the smaller hexagon to the larger hexagon is then “2d * number of sides” (12d in the case of the hexagon), and we have to ask ourselves if we can work out a way of expressing d in terms of other values that we already know.

Looking at the diagram (and allowing for the poor quality of drawing) you should be able to note the similar triangles that allow us to say that d/h = tan(x) — sorry, you have to know some geometry and trigonometry at this point.

Since we have a regular N-gon, we know that x = pi/N radians — sorry, you have to work in radians, not degrees.

Substituting we have:

change in perimeter =

2d * N =

2 * h * tan(x) * N =

2h * N tan(pi/N)

Note that this formula is independent of the size of the original N-gon.

And now we get to the interesting bit – can we relate this formula to Cary’s formula where, for a circle, the change in perimeter was 2 * change in radius * pi. The answer is yes – but only if you know your Maclaurin series. The * Maclaurin series* for tan(x) – where x is measured in radians and has a modulus less than pi/2 – is:

x + x^{3} + 2x^{5}/15 + …

In our case we have x = pi/N, which is going to make our formula a little messy:

pi/N + pi^{3}/3N^{3} + 2 pi^{5}/15N^{5} + …

If we slot this into our formula for the change in perimeter above we get:

2h * N * (pi/N + pi^{3}/3N^{3} + 2 pi^{5}/15N^{5} + …)

and now we can multiply out N through the series to get:

2h * (pi + pi^{3}/3N^{2} + 2 pi^{5}/15N^{4} + …)

Consider then that a circle is the limit of a regular N-gon as N tends to infinity. Let N tend to infinity in the final formula and every term except the first one vanishes – so at the limit the formula becomes 2h * pi, which is exactly the formula that Cary derived in his blog.

I don’t think I got to Maclaurin series until I was about 15 – but I wouldn’t be particularly surprised if Cary’s children get there a little bit sooner.

- September 2009 (32)
- August 2009 (13)
- July 2009 (15)
- June 2009 (16)
- May 2009 (22)
- April 2009 (25)
- March 2009 (30)
- February 2009 (15)
- January 2009 (11)
- December 2008 (4)
- November 2008 (5)
- October 2008 (6)
- September 2008 (3)
- August 2008 (6)
- July 2008 (5)
- June 2008 (6)
- May 2008 (4)
- April 2008 (3)
- March 2008 (8)
- February 2008 (2)
- January 2008 (7)
- December 2007 (4)
- November 2007 (6)
- October 2007 (2)
- September 2007 (2)
- April 2007 (6)
- March 2007 (5)
- February 2007 (4)
- January 2007 (7)
- October 2006 (1)

## Recent comments

1 week 1 day ago

3 weeks 2 days ago

17 weeks 6 days ago

23 weeks 5 days ago

1 year 34 weeks ago

1 year 44 weeks ago

1 year 46 weeks ago

1 year 49 weeks ago

1 year 51 weeks ago

2 years 9 weeks ago