nLab
pentagon decagon hexagon identity

Contents

Idea

A certain identity in Euclidean geometry.

Suppose we inscribe a regular pentagon, a regular decagon, and a regular hexagon in circles of the same radius. If we denote the respective edge lengths of these polygons by PP, DD and HH, then these lengths will satisfy the identity:

P 2=D 2+H 2P^2=D^2+H^2

This means that the edges of a pentagon, decagon and hexagon of identical radii can fit together to form a right triangle.

Euclid states this beautiful but mysterious identity as Proposition 10 of Book XIII of the Elements. This is the last book of the Elements, the one which deals with properties of the Platonic solids. He uses Proposition 10 as part of his construction of the regular icosahedron in Proposition 13.

This has led various historians to suggest that the pentagon-decagon-hexagon identity was first discovered in the course of research on the icosahedron. However, it seems that until now there has been no proof of the pentagon-decagon-hexagon identity based on properties of the icosahedron. We present such a proof here.

We also present two other proofs: a modernized version of Euclid’s original proof, and a somewhat simpler proof which (like Euclid’s) uses only 2-dimensional geometry.

Euclid’s proof

The essence of Euclid’s proof can be understood if we take for granted the numerical values of the various angles in his construction, which are easily established. Euclid himself would not have used numerical values like this, and they are not a part of the proof; they’re merely a short-hand that allows the reader to see at a glance the relationships between angles that the original proof established by routine methods.

A B K M F H L N 36 ° 18 ° 18 ° 18 ° 54 ° 18 ° 54 ° 72 ° 18 ° 72 ° 54 ° 72 °

The line segment ABA B is one edge of a pentagon inscribed in a circle centred at FF, and AKA K and KBK B are edges of a decagon inscribed in the same circle. Note that while ABA B is bisected by HH and AKA K is bisected by LL, the point NN is not a point of bisection of AHA H.

Triangle ABFA B F is similar to triangle BFNB F N. So ABBF=BFFN=BFBN\frac{A B}{B F}=\frac{B F}{F N}=\frac{B F}{B N}, with the last equality true because the triangles are isosceles with FN=BNF N = B N. Thus BF 2=ABBN{B F}^2={A B}\cdot{B N}.

Triangle BAKB A K is similar to triangle KANK A N. So BAAK=KAAN\frac{B A}{A K}=\frac{K A}{A N}. Thus AK 2=ABAN{A K}^2={A B}\cdot{A N}.

Adding our two results, we have: BF 2+AK 2=AB(AN+BN)=AB 2{B F}^2+{A K}^2={A B}\cdot(A N + B N)={A B}^2.

BFB F is our radius (or equivalently, the length of one side of a hexagon inscribed in the same circle), AKA K is a decagon side, and ABA B is a pentagon side. So we have established the pentagon-decagon-hexagon identity.

Another 2d proof

Euclid’s proof is quick but somewhat mysterious. Here is another, perhaps simpler, proof that uses only 2-dimensional constructions. It relies on a lemma concerning the ratio of sides in a “golden triangle”.

Golden triangle lemma

E A B C D r t r r 72 ° 36 ° 72 ° 36 ° 36 ° 108 °

The lemma states that in any isosceles triangle with angles of 72°, 36° and 72°, the ratio of the long sides of the triangle to its base is Φ\Phi, the golden ratio, which is defined as the unique positive solution of the equation:

1+1Φ=Φ1+\frac{1}{\Phi}=\Phi

Note that some authors call “the golden ratio” the reciprocal of the number we’re calling Φ\Phi. For the purpose of this article, Φ=5+121.61803\Phi=\frac{\sqrt{5}+1}{2}\approx 1.61803.

In the diagram above, triangle BDEB D E is similar to triangle BECB E C. So:

BDBE=BEBC\frac{B D}{B E}=\frac{B E}{B C}
r+tr=rt\frac{r+t}{r}=\frac{r}{t}
1+tr=rt1+\frac{t}{r}=\frac{r}{t}

By the definition of the golden ratio, rt=Φ\frac{r}{t}=\Phi.

This lemma was given by Euclid as Proposition 9 of Book XIII.

Proof using the golden triangle lemma

O L M N P Q r r b b s s t t t 36 ° 36 ° 72 ° 18 ° 18 ° 36 ° r = t Φ t 2 b = t/Φ 2 b = t/Φ r = t Φ 2 b = t/Φ t

By the golden triangle lemma for isosceles triangles with angles of 36°, triangle NOPN O P gives us r=tΦr=t\Phi. From the same lemma, applied to triangle PNQP N Q, we have 2b=t/Φ2b=t/\Phi. So the product of rr and 2b2b is t 2t^2.

Because triangle NQON Q O and NQPN Q P are both isosceles, OQ=NQ=NP=tO Q = N Q = N P = t, the decagon edge. And we can read off the equation r=t+2br=t+2b just by summing the distances along OPO P.

From the right triangle NMPN M P we have s 2=t 2b 2s^2=t^2-b^2, hence (2s) 2=4t 24b 2(2s)^2=4t^2-4b^2.

The whole large multi-coloured rectangle has an area of (2s) 2(2s)^2, because the green square, the light blue rectangle, and each of the two red rectangles all have areas of t 2t^2, but then we need to subtract the light red square where the two red rectangles overlap, and that has area 4b 24b^2.

Now if we subtract a single t 2t^2, the light blue rectangle, we’re left with a square of side length rr. So (2s) 2t 2=r 2(2s)^2-t^2=r^2, which is the pentagon-decagon-hexagon identity.

Alternative construction displaying right triangles

While the construction above is straightforward, it’s also possible to present an equivalent result that explicitly gives us right triangles with the pentagon edge as their hypotenuse and the hexagon and decagon edges as their other sides.

2 b 2 b 2 b t t t t r t t t r 2 b = (t/r)·t 2 b 2 b = r – t t

The diagram above is similar to one used in a common proof of Pythagoras’s Theorem, but here we use it to establish the value of the square of the hypotenuse of a right triangle with sides rr and tt, i.e. the hexagon edge and the decagon edge.

The large tilted square has a hypotenuse as its side. Its area is 4b 24b^2, from the central pink square, plus 4t 24t^2, from the four multi-coloured t×tt\times t squares arranged around the central square, minus four times the area of the dark green triangle that needs to be excluded (the contributions from the yellow triangles inside and outside the region cancel out). But each dark green triangle has both base and height of 2b2b, and hence an area of 2b 22b^2, so the total area is 4t 2+4b 24×2b 2=4t 24b 2=(2s) 24t^2+4b^2-4\times 2b^2=4t^2-4b^2=(2s)^2, the square of a pentagon edge.

At first glance it might seem as if we’ve only used r=t+2br=t+2b to derive the result here, whereas in the previous construction we needed the fact that the product of rr and 2b2b was t 2t^2. But we have used it: the yellow triangles that share an edge with the dark green triangles, and those that do not, are only congruent because of it. The latter have one of their sides by construction being rt=2br-t=2b, whereas the former’s matching side arises as a proportion of the larger r×tr\times t triangle as trt=2b\frac{t}{r}\cdot t=2b.

An identity in the golden ratio

The first way of presenting the preceding proof implies the identity:

Φ 2+1Φ 2=3\Phi^2+\frac{1}{\Phi^2}=3

which can also be verified algebraically from the defining equation for Φ\Phi. We can see this identity a bit more clearly if we remove the leftmost rectangle from the construction, slide the rightmost one down to eliminate the overlap, and take out the overall factor of tt from all the sides. We then have:

1 1/Φ 1/Φ Φ Φ 1 1/Φ

We can also construct a diagram that explicitly shows that the square of the diagonal of a rectangle of dimensions Φ\Phi by 1Φ\frac{1}{\Phi} is 33.

1/Φ Φ 1

Here each red triangle has area 12\frac{1}{2}, so along with the light green unit square the total area is 33.

Proof using the icosahedron

Suppose we take three congruent rectangles, and assemble them symmetrically so that their long edges are all mutually orthogonal, and their short edges are all mutually orthogonal. Like this:

We then join up the corners to make an icosahedron, as in the diagram above. Eight faces of this icosahedron (the ones centred on the diagonals of the eight “octants” into which the space here is divided) will always be congruent and equilateral; that’s guaranteed by the construction, whatever the precise ratio of the side lengths of the rectangles. The other twelve faces will be isosceles triangles, all congruent to each other.

In terms of edges, there are two congruent sets: the six edges that correspond to short sides of our rectangles will all be congruent, and the twenty-four edges that are sides of the eight equilateral faces will all be congruent.

Now, it’s clear that by making the rectangles long and skinny, we can make the isosceles triangles as long and skinny as we like. But what about making them short and squat? How far can we go in that direction?

If we make the three rectangles into squares, as above, the isosceles triangles have two 45° angles. So between this extreme, and the long-and-skinny extreme, it’s clear that we can choose some intermediate degree of skinniness for the rectangles that will turn the 12 isosceles triangles into equilateral triangles.

So, a regular icosahedron must exist, and it will have six edges that form three mutually orthogonal pairs.

(The argument we’ve just given implicity uses the intermediate value theorem and would not have been used by Euclid, although Archimedes might have attempted it. An alternative that avoids using the intermediate value theorem is given at the end of the proof.)

We will set the short side of the rectangles to 11, and for now we will call the corresponding value for the long side that produces a regular icosahedron xx.

In the figure below we project everything into the plane of one of the rectangles. Where two vertices are projected to the same point in the diagram, a circle is drawn around the point.

1 x x 1 A B Z Y C P Q R S O T α α α 90–α

The five vertices of the icosahedron that project onto the line segment APRA P R will form a regular pentagon, the edges of which are also edges of the icosahedron. APRA P R is a straight line because the pentagon is a planar figure, as it must be if it forms the base of a pentagonal pyramid with five congruent equilateral triangles as its other faces. The point CC is produced by dropping a perpendicular line from the apex, BB, of this pentagonal pyramid, to its base.

By construction, QRQ R is parallel to ABA B, and both are orthogonal to OPO P. Combined with the fact that APRA P R is a straight line, that’s enough to show that the triangle ABCA B C is congruent to the triangle SPTS P T.

The five vertices that project onto the line segment ZSQZ S Q will form another pentagon. The two pentagons will be congruent, and the radius of the circles in which they’re inscribed will be ACA C. And since the triangle ABCA B C is congruent to the triangle SPTS P T, the distance between the pentagons, STS T, equals their radius, ACA C.

These two pentagons are shown in the diagram below.

36° A B C V Q

If we draw a line perpendicular to the planes of the two pentagons, from a vertex in one plane, AA, to the point directly below it on the other plane, VV, the length of that perpendicular, AVA V, will be equal to the common radius of the pentagons, ACA C. Now, AVA V is one side of a right triangle whose hypotenuse is an icosahedral edge, AQA Q (congruent to the edges of the pentagons), and whose third side, QVQ V, is one edge of a decagon inscribed in the same circle as the lower pentagon. The decagon edge arises because the two pentagons are rotated relative to each other by an angle of 36°, the angle between vertices in a decagon.

So, the triangles ABCA B C and AQVA Q V are congruent (both being right triangles with a pentagon edge as their hypotenuse and the radius as one of their sides), and both exhibit the pentagon-decagon-hexagon identity.

According to the historian Ian Mueller, Eva Sachs, in her book Die Fünf Platonischen Körper, suggested an accurately drawn figure could let someone guess that the distance between the two pentagons equals the radius of either one. Mueller also writes that Dijksterhuis (in 1929) and Neuenschwander (in 1975) claimed it’s “intuitively evident” that the two right triangles above are congruent. These clues led Greg Egan to the present proof.

If we want, we can now appeal to Euclid’s golden triangle lemma – which gives us the ratio between the radius and the decagon edge length as Φ\Phi – and work backwards to show that this is also the ratio of length to width for our three orthogonal rectangles; that is, x=Φx=\Phi is the value needed to produce a regular icosahedron. This follows simply from the fact that the right triangle ORPO R P is similar to the right triangle CABC A B.

Avoiding the intermediate value theorem

Finally, suppose we wish to avoid using the intermediate value theorem. To do this, we need to specify the length-to-width ratio, xx, of the rectangles in our construction, and show that our choice yields a regular icosahedron.

One approach we could take is to set x=Φx=\Phi, and directly calculate the length of an edge of our icosahedron that doesn’t lie on one of the rectangles. If this length is 11 – matching the edges that do lie on the rectangles – the icosahedron will be regular.

1 Φ Φ 1 A B Z Y C P Q R S O T α α α 90–α 1/(2Φ) Φ/2 1/2

As the diagram above shows, this isn’t too hard; with the help of a re-scaled version of the diagram we used to demonstrate the identity Φ 2+1Φ 2=3\Phi^2+\frac{1}{\Phi^2}=3, we can see that AQ 2=34{A Q}^2=\frac{3}{4}, and, since the vertices that project to QQ are a distance of 12\frac{1}{2} out of the plane, the squared length of the edge that projects to AQA Q will be 11.

But if this is a little too close to resorting to algebra, we can take a more geometric approach.

If we project the generic version of our icosahedron onto the plane of one of its rectangles, we get this:

1 x x 1 A B P Q R S Y Z O

In order to make APRA P R into a straight line – which amounts to making the pentagon of vertices that project onto APRA P R into a planar figure – we need the slope of ARA R to equal the slope of PRP R, which is equivalent to:

x+1x=x\frac{x+1}{x}=x

This is just the defining equation for the golden ratio, Φ\Phi. So we need to set x=Φx=\Phi to have any hope of our icosahedron being regular, since in a regular icosahedron the pentagon will be the base of a pentagonal pyramid with equilateral sides, which is clearly a planar figure.

Next, we note that the golden triangle lemma can be used to establish that in the figure below, the larger of the two golden triangles here associated with a regular pentagon is Φ\Phi times larger than the smaller one (because the long edge of the smaller triangle is congruent to the small edge of the larger triangle). This means the height of a regular pentagon, measured from one edge, is Φ\Phi times the height of an adjacent vertex.

36° 72° 72° 72° 72° 36° 36° 36° 108° 108° 36° 36°

The same lemma also shows that the width of a regular pentagon, measured parallel to one edge, is Φ\Phi times its edge length.

36° 72° 72° 36° 36° 108° 108° 36° 36°

Now, by choosing x=Φx=\Phi, as well as making the pentagon that projects onto APRA P R into a planar figure, we’ve actually made every set of five vertices that are neighbours to any given vertex in the icosahedron lie in a plane.

1 Φ Φ 1 A B Z Y P Q R S O

For example, the two such pentagons that project onto BPSZRB P S Z R must also be planar. But since they’re planar, their projection here will preserve the ratio between the perpendicular distance from PSP S to the vertex that projects to RR and the perpendicular distance from PSP S to the vertices that project to ZZ and BB. The projections of these distances are just x2\frac{x}{2} and 12\frac{1}{2} respectively, so our choice of x=Φx=\Phi makes their ratio equal to Φ\Phi.

Furthermore, the lengths of the line segments projecting to BZB Z and PSP S will be the same in the actual pentagons as they are in the projection, and in the projection their ratio is BZPS=x=Φ\frac{B Z}{P S}=x=\Phi.

But we’ve established that both these ratios are Φ\Phi for a regular pentagon, and the pentagons projecting to BPSZRB P S Z R are already so symmetrical (with at least four congruent edges, and mirror symmetry in the perpendicular bisector of the fifth edge) that if they share both ratios, they too must be regular.

F E G J J L K K H H

That’s probably intuitively obvious, but we can make it a bit more explicit. In the diagram above, the blue pentagon shares one edge with the regular, black pentagon, and has also been constrained to have the same width and height ratios. The height ratio fixes JKGH=Φ\frac{J K}{G H}=\Phi and the width ratio fixes FLEF=Φ\frac{F L}{E F}=\Phi, which means the two yellow triangles are similar, which in turn fixes FKFH=Φ=FKFH\frac{F K}{F H}=\Phi=\frac{F K'}{F H'}.

If we further require that the triangle FKHF K H is isosceles (which follows from the way we’ve constructed the generic icosahedron), then it will be similar to FKHF K' H', and FLKF L K will be similar to FLKF L K' (since the angle of either of the two yellow triangles at FF is just half the supplement of the angle KFHK F H). But since FLKF L K and FLKF L K' share an edge, they will actually be congruent, and the blue and black pentagons will coincide exactly.

In other words, there is only one pentagon meeting all the conditions we’ve imposed: the regular pentagon with edge FLF L. This means that, given our choice of x=Φx=\Phi, the two kinds of congruent edges in our generic icosahedron end up being the same size, and the icosahedron itself is regular.

A dual proof using the icosahedron

The pentagon-decagon-hexagon identity is usually demonstrated by exhibiting a right triangle whose sides are the edges of a regular pentagon, decagon and hexagon with the same radii. However, a proof of the identity devised by Ian Agol constructs a pentagon, decagon and hexagon associated with the icosahedron that all share a common edge, and whose radii (now of different lengths) correspond to the altitudes of a right triangle.

If the length of the common edge of the three polygons is taken to be 1, then their radii are the reciprocals of the edge lengths PP, DD and HH of the same polygons if they had radii of 1. But the altitudes of a right triangle obey a “reciprocal” or “dual” version of the usual Pythagorean theorem: if the altitudes of a right triangle measured from its two perpendicular sides are aa and bb, and that measured from the hypotenuse is cc, then it is easily shown that:

1c 2=1a 2+1b 2\frac{1}{c^2} = \frac{1}{a^2} + \frac{1}{b^2}

It follows that the existence of a right triangle with altitudes a=1Da=\frac{1}{D}, b=1Hb=\frac{1}{H} and c=1Pc=\frac{1}{P} implies the pentagon-decagon-hexagon identity:

P 2=D 2+H 2P^2=D^2+H^2
V M 1 M 2 C W

In the diagram above, we have chosen a vertex VV of a regular icosahedron with center CC. The points M 1M_1 and M 2M_2 are the midpoints of two edges of the icosahedron incident on VV, and we construct three regular polygons that all have M 1M 2M_1 M_2 as a common edge.

A regular hexagon (blue) is constructed with center VV, with M 1M 2M_1 M_2 as one of its edges, lying in the plane of one of the faces of the icosahedron.

A regular pentagon (yellow) is constructed, with its five vertices being the midpoints of the five edges of the icosahedron that are incident on VV. The center of this pentagon will lie on the line segment CVC V, and is named WW in the diagram. The plane in which this pentagon lies is orthogonal to CVC V, so the line segment WM 1W M_1 meets CVC V in a right angle.

A regular decagon (green) is constructed with center CC, with M 1M 2M_1 M_2 as one of its edges.

Finally, a right triangle (red) is constructed, with vertices CC, M 1M_1 and VV. The angle at M 1M_1 is a right angle, because CM 1C M_1 is a perpendicular bisector of the polyhedron edge of which M 1M_1 is the midpoint. The altitude CM 1C M_1 of this triangle is the radius of the decagon. The altitude VM 1V M_1 is the radius of the hexagon. And the altitude WM 1W M_1 is the radius of the pentagon. From the dual Pythagorean theorem, this establishes the pentagon-decagon-hexagon identity.

Ian Agol’s construction can also be applied to any of the other Platonic solids, and also to the four Kepler-Poinsot polyhedra. This yields the following results:

From the tetrahedron and from the cube, T 2=S 2+H 2T^2=S^2+H^2 for a triangle, square and hexagon.

From the octahedron, S 2=H 2+H 2S^2=H^2+H^2, for a square and two hexagons.

From the dodecahedron, T 2=D 2+D 3 2T^2=D^2+D_3^2, for a triangle, decagon, and a 10-pointed star polygon, D 3D_3, whose ten edges subtend a total of 1080°. This star polygon arises as the analogous polygon to the blue hexagon in the icosahedral case. Its center is a vertex VV of the dodecahedron, and it has as one edge the line segment joining the midpoints of two adjacent edges of a pentagonal face (both edges being incident on the vertex VV). Since the interior angle of a regular pentagon at each corner is 108°, the corresponding polygon must be a star polygon with its edges subtending that angle, and the first multiple of 108° that is also a multiple of 360° is 1080°, from ten edges.

V M 1 M 2 C W

Applying the construction to the Kepler-Poinsot polyhedra, the great dodecahedron and the great icosahedron both yield P 2 2=H 2+D 3 2P_2^2=H^2+D_3^2, where P 2P_2 is a pentagram. The small stellated dodecahedron yields the original identity, P 2=D 2+H 2P^2=D^2+H^2, with the locations of the hexagon and decagon swapped compared to the icosahedral construction. And the great stellated dodecahedron yields T 2=D 2+D 3 2T^2=D^2+D_3^2, the same identity as the ordinary dodecahedron, with the decagon and the 10-pointed stars changing places.

In general, one of the polygons (the “green” one) is invariant under taking the dual of the polyhedron. If the faces of the polyhedron are nn-gons and the vertex figures are vv-gons, the “yellow” polygon (whose vertices are all the midpoints of all the edges incident on some vertex of the polyhedron) will be a vv-gon, with each edge subtending an angle of 2πv\frac{2\pi}{v}, while the “blue” polygon centred on the vertex will be a 2nn2\frac{2n}{n-2}-gon, where each edge subtends an angle of (n2)πn=π2πn\frac{(n-2)\pi}{n} = \pi-\frac{2\pi}{n} (the interior angle between the edges of an nn-gon).

The difference of the squares of the sines of half these angles is:

sin(πv) 2sin((n2)π2n) 2=cos(π(1n+1v))cos(π(1n1v))\sin\left(\frac{\pi}{v}\right)^2 - \sin\left(\frac{(n-2)\pi}{2n}\right)^2 = -\cos\left(\pi \left(\frac{1}{n}+\frac{1}{v}\right)\right) \cos\left(\pi \left(\frac{1}{n}-\frac{1}{v}\right)\right)

where the RHS is now clearly invariant under an exchange of nn and vv. This quantity is the squared sine of half the angle subtended by each edge of the “green” polygon.

References

Revised on January 7, 2014 18:20:21 by Greg Egan (124.148.116.245)