POLYHEDRA - A Historical Review
POLYHEDRA - A Historical Review
by Gökhan Kiper
Introduction
Some History
Neolithic Ages
Egyptians
Babylonians
Chinese
Greeks
Alexandrians
Arabians
Johannes Kepler
René Descartes
Symmetry Groups
Crystallography
Tessellations
Cartography
Polyhedral Linkages
1
INTRODUCTION
Polyhedra have been focus of many people since ancient times. The subject has a special
place among the subjects created by human beings by abstraction and idealization: polyhedra
are harmonious and mysterious... In this study, the question of how polyhedra were treated
throughout the history by different civilizations and some individuals is addressed.
The first sections are organized for different civilizations, since developments performed are
strongly related to the cultural development of nations. Later on as the world becomes
smaller, the studies become international, so individuals determine the main title of the
sections. The latter sections include recent studies about polyhedra.
NEOLITHIC AGES
Hundreds of carved stone spheres, roughly three inches in diameter, believed to date to
around 2000 BC, have been found in Scotland. Some are carved with lines corresponding to
the edges of regular polyhedra. Roughly half have 6 knobs---like the one at right above---but
2
the others range from 3 to 160 knobs. The more mathematically regular ones do not appear to
have had a special importance. For example, in addition to the 12-knob dodecahedral form
shown in the center and just to its right above, there are also ones with 14 knobs,
corresponding to a form with two opposite hexagons, each surrounded by six pentagons.
Nonetheless, the dodecahedron appears here long before the Greeks wrote of it. The function
of these stones is unknown. The material varies from easily carved sandstone and serpentine
to difficult, hard granite and quartzite [2]. However, notice that the third and fourth stones
both represent the dodecahedron and the icosahedral appearance of the fourth stone is a trick.
Also the second stone does not represent the tetrahedron but a compound polyhedron: the
tetrahedron together with its dual (actually its dual is itself – see section “Greeks” for
information about duals).
Egyptians were surely much interested in polyhedra. Many mysteries about the pyramids they
have built remain unexplained still in our time.
3
Probably, the most striking information about Egyptians’ approach to mathematics problems
is that they have used lots of examples instead of general formulae. For instance, a papyrus,
which is now exhibited in Courtesy of the State Pushkin Museum of Fine Arts, reads [4]
Letting h, a, b represent the height, base and top measurements for a truncated square
pyramid, the above description yields the volume formula
1 h ( a 2 + ab + b 2 )
3
There is not much information about Egyptian’s works today, but from the papyri in hand it is
known that they were very experienced in calculating volumes, areas and slopes of two
dimensional Figs and pyramids.
4
CHINESE
The interest of Chinese was also volumes of polyhedra, specifically prisms, pyramids and
truncated pyramids. But they used general formulae as oppose to Egyptians and Babylonians.
Although the resources of information about ancient Chinese’s work on polyhedra are not
elder than 2000 years, it is supposed that the origins of these works lie in much more ancient
times.
Just as Egyptians and Babylonians, Chinese would not necessarily prove the correctness of
their methodology, up to third century AD. One can see the first systematical attempts to
prove the arguments among the Chinese mathematicians in Liu Hui’s Commentary on the
Nine Chapters (263 AD). Liu Hui explains in his work that the Nine Chapters (written before
third century BC), is an old text containing 246 mathematics problems. Liu Hui’s contribution
to this text is mainly the proofs [5].
Liu Hui assumes the volume of a rectangular parallelepiped as the product of its three
dimensions and finds the other polyhedra’s volumes using his four blocks: cube, qiandu,
yangma, bienao (Fig 3). First he finds the other three blocks’ volumes using the cube, and
then he uses the four blocks to find the volume of the polyhedra of interest [6].
It is easy to show that a cube can be cut into two qiandus. Also a cube dissects into three
yangmas or six bienaos (a bieano has half the volume of a yangma) (Fig 4). Fig 5 is an
example of his illustrations.
5
Fig 5 A truncated square pyramid dissected into a cube, four qiandus and four yangmas [5]
Fig 5 illustrates a truncated square pyramid with base side length a = 3, top side length b=1
and height h = 1. Liu Hui shows that abh + b2h + h = 3 (cube + 4 qiandus + 4 yangmas).
Liu Hui’s dissection method may also be used to show that the formula holds for any
truncated square prism, but he seems not to be interested in the general case [5].
Among his other proofs, the most striking one is the derivation of the volume of a pyramid.
He makes use of repeated dissections [6]. As a consequence of a theorem proved by Max
Dehn in 1900 that any proof of the volume of a pyramid must use infinitesimal considerations
in one form or another, Liu Hui does in fact use a limit process [6]! It is amazing that he
considered these methods by himself at his time.
GREEKS
There are many thinkers that worked on polyhedra among the ancient Greeks. However, focus
on Plato’s work will be kept in this document.
Early civilizations worked out mathematics as problems and their solutions. According to B.
L. van der Waerden there are so many similarities between the studies of Egyptians,
Babylonians, Chinese and also Indians that he believes that these different civilizations’ work
originate from a common source. He proposes that all these cultures are affected by studies
carried on in the Neolithic Age, say between 3000 and 2500 BC [7]. However, ancient
Greeks’ approach is totally different: proofs are indispensable parts of analyses.
6
Cromwell, in his Polyhedra, mentions the probability that Greek mathematicians, who liked
traveling a lot, needed proofs to decide whether Babylonians’ methods or Egyptian’s methods
are the true ones [5].
Plato, when the concern is polyhedra, is most well known as the comments on the five regular
polyhedra, which are named after him. However, Plato was not the first to recognize them.
Pythagoreans already knew three of them for their regularity: the cube, the tetrahedron (they
would call it a pyramid) and the dodecahedron. Theaetetus, a friend of Plato, is known to
first discover the regularity the icosahedron and the octahedron. It must be emphasized that
these solids were already known to people, but Pythagoreans and Theaetetus were the ones
discovering their regularity. Plato’s contribution to the subject was not discovering the regular
polyhedra, but associating them to the elements constructing the world [5] (Fig 7):
7
To earth, then, let us assign the cubic form, for earth is the most immovable of the
four and the most plastic of all bodies, and that which has the most stable bases must
of necessity be of such a nature. Now, of the triangles which we assumed at first, that
which has two equal sides is by nature more firmly based than that which has
unequal sides, and of the compound Figs which are formed out of either, the plane
equilateral quadrangle has necessarily a more stable basis than the equilateral
triangle, both in the whole and in the parts. Wherefore, in assigning this Fig to earth,
we adhere to probability, and to water we assign that one of the remaining forms
which is the least movable, and the most movable of them to fire, and to air that
which is intermediate. Also we assign the smallest body to fire, and the greatest to
water, and the intermediate in size to air, and, again, the acutest body to fire, and the
next in acuteness to air, and the third to water. Of all these elements, that which has
the fewest bases must necessarily be the most movable, for it must be the acutest and
most penetrating in every way, and also the lightest as being composed of the
smallest number of similar particles, and the second body has similar properties in a
second degree, and the third body, in the third degree. Let it be agreed, then, both
according to strict reason and according to probability, that the pyramid is the solid
which is the original element and seed of fire, and let us assign the element which
was next in the order of generation to air, and the third to water. We must imagine
all these to be so small that no single particle of any of the four kinds is seen by us on
account of their smallness, but when many of them are collected together, their
aggregates are seen. And the ratios of their numbers, motions, and other properties,
everywhere God, as far as necessity allowed or gave consent, has exactly perfected
and harmonized in due proportion.
Ancient Greeks believed that the physical world was made up of four basic elements and their
combinations: fire, air, water and earth. Fascinated by the various beautiful aspects of the
regular polyhedra, Plato imagined a world consisting of them. With his own reasoning he
assigned each of the regular polyhedra to a basic element. But there still remains one
polyhedron out when four of them are assigned to the four basic elements. Plato associated
the remaining polyhedron, the dodecahedron, to the universe, and named a fifth element: ether
[9].
8
This association plays great role in Plato’s Timaeus, the article he has written for his friend
Theaetetus, who died after having serious injuries in a battle. His theses were so harmonic and
smooth that this vision of the cosmos affected many philosophers, mathematicians and artists
(Fig 8). The Lord’s perfect world had to be constructed with perfect geometrical shapes:
As God brought into being the celestial virtue, the fifth essence, and through it
created the four solids . . . earth, air, water, and fire ... so our sacred proportion
gave shape to heaven itself, in assigning to it the dodecahedron . . . the solid of
twelve pentagons, which cannot be constructed without our sacred proportion. As the
aged Plato described in his Timaeus.
The «sacred proportion» Pacioli refers to is the golden ratio (The edges of a dodecahedron can
be obtained by placing three mutually orthogonal rectangles having golden ratio as the ratio of
the side lengths in a symmetric manner).
Because of his work about the five regular polyhedra, Plato is known as an early scientist
proposing an atomic model for the matter [5].
9
At this point, a conjugation property of polyhedra shall be mentioned: duality. Most basically,
the dual of a polyhedron is obtained by replacing the faces of a polyhedron with vertices and
vice versa. Theoretically all the polyhedra have duals, but not all are finite polyhedra. The
duals can be obtained by connecting geometric centers of the faces, resulting a new
polyhedron inside. This operation is illustrated below for the tetrahedron, the cube and the
icosahedron:
The dual of the dual of a polyhedron is itself. So duality is a conjugation. From Fig 9, one can
see that duals of Platonic solids are again Platonic solids. Tetrahedron is self-dual, while
cube-octahedron and icosahedron-dodecahedron pairs are duals of each other. A polyhedron
combined with its dual constitutes a compound polyhedron. The compounds for the Platonic
solids are given in Fig 10.
Two duals also can be obtained from each other by means of truncations and expansions
(snubbing/extension/augmentation). Proper truncations (cuttings of pyramids on each vertex)
or expansions (assembling pyramids on each face) of dual polyhedra give the same
polyhedron [12] (Fig 11). For the dual polyhedra P and P’, this fact is shown in Fig 12 (P1-
10
P1’, P2-P2’ and tP-eP are duals of each other; P1-P1’, P2-P2’ are forms in between P, P’ and
tP, eP). The truncation/expansion series of Platonic solids are illustrated in Fig 13-15.
tP = (eP)’
P1 P2
truncations
P P’
extensions
P2’ P1’
eP = (tP)’
Fig 12 Truncation/expansion sequence diagram [12]
11
Fig 14 Cube-to-octahedron (tP = cuboctahedron, eP = rhombic dodecahedron) [12]
The seven non-Platonic truncated Figs shown in Figs 13-15 are Archimedean solids and the
corresponding duals are the Catalan solids (See Section “Alexandrians” for detailed
information).
Plato did not give a proof that there are only five regular polyhedra. Actually, he did not even
formally specify the properties a regular polyhedron must satisfy. The first of the proofs was
given by an Alexandrian mathematician: Euclid.
12
ALEXANDRIANS
Alexandria was the center of scientific investigations of its time; and the most popular
researchers of Alexandria are Euclid and Archimedes. Euclid proves that there are no regular
polyhedra other than the five Platonic solids as a remark at the end of 18th proposition of 13th
book of his Elements [14]. His claim also defines what a regular solid is: no other figure,
besides the said five figures, can be constructed which is contained by equilateral and
equiangular figures equal to one another. Euclid’s definition of regular polyhedra is,
however, incomplete. It would be complete if he also included the condition that each vertex
should join equal number of faces. There exist five more polyhedra satisfying Euclid’s
original definition: five of the deltahedra. Deltahedra are equilateral triangle faced convex
polyhedra. There are totally eight convex deltahedra; three of which are regular polyhedra
(tetrahedron, octahedron, icosahedron, triangular dipyramid, pentagonal dipyramid, tri-
augmented triangular prism, gyro-elongated square dipyramid, Siamese dodecahedron).
Euclid’s proof is very straightforward, simple and short: he just analyses the possible number
of possible regular polygons that can meet at a vertex and comes up with the only five
possibilities. In addition to this proof, Euler has more than twenty propositions relating
polyhedra. He, like Liu Hui, sometimes uses dissections (Fig 17).
13
Fig 17 Euler’s construction of the dodecahedron by placing roofs on faces of a cube [5]
Archimedes is a Greek mathematician and engineer born and died in Sicily, but he has
probably studied in Alexandria for a long period. He is, to many mathematicians, one of the
three greatest mathematicians of all time, Isaac Newton and Carl Friedrich Gauss being the
other two [16]. The thirteen semi-regular polyhedra are named after him. A key characteristic
of the Archimedean solids is that each face is a regular polygon, and around every vertex, the
same polygons appear in the same sequence (Fig 19).
The Archimedean solids, somewhat, can be derived using the Platonic solids. Nine of them
can be obtained by truncation of a Platonic solid (Fig 20), and two further can be obtained by
a second truncation. The remaining two solids, the snub cube and snub dodecahedron, are
obtained by moving the faces of a cube and dodecahedron outward while giving each face a
twist [17]. The duals of the Archimedean solids are called the Catalan solids (named after the
Belgian mathematician Eugéne Catalan - 1865) (Table 1).
14
Fig 19 The thirteen Archimedean solids [18]
15
cuboctahedron rhombic
dodecahedron
great disdyakis
rhombicosidodecahedron triacontahedron
great disdyakis
rhombicuboctahedron dodecahedron
rhombic
icosidodecahedron
triacontahedron
small deltoidal
rhombicosidodecahedron hexecontahedron
small deltoidal
rhombicuboctahedron icositetrahedron
snub cube pentagonal icositetrahedron
snub dodecahedron pentagonal hexecontahedron
Small
truncated cube
triakis octahedron
truncated dodecahedron triakis icosahedron
truncated icosahedron pentakis dodecahedron
truncated octahedron tetrakis hexahedron
truncated tetrahedron triakis tetrahedron
Some mathematicians had argued that there is one more semi-regular polyhedron: the
elongated square gyrobicupola (Fig 21). But, today it is known that this solid does not belong
to the set that the thirteen Archimedean solids constitute because of lacking the symmetry
level the other solids have.
ARABIANS
After the rise of Islam, the center of science and knowledge moved to Baghdad. Many
Arabian mathematicians worked on polyhedral geometry, however, the development is not
very noticeable. Thabit ibn Qurra (836 – 901) and Abu’l-Wafa (940 - 998) are two of the
mathematicians worked on polyhedra [5].
16
BACK TO THE WEST
European people rediscovered the foundations of scientific knowledge through the crusades.
11th and 12th centuries were times of translations and new ideas and publications started to
arise in the 13th century [5]. However, no great progresses can be noted until the 16th century,
the century in which perspectives started to be popular. Polyhedra were now, the frequently
used tool of art. Some of the plates are given in Fig 22-25 (See [1] for some details).
Fig 22 From Divina Proportione of Luca Pacioli by Leonardo da Vinci [21] and the famous
engraving Melancholia by Albrecht Dürer [22]
17
Fig 25 From Perspectiva Corporal Regularium by Wenzel Jamnitzer [23]
18
Fig 23 From Livre de Perspective by Jean Cousin [24] and from Geometria et Perspectiva
by Lorenz Stoer [25]
JOHANNES KEPLER
We must first eliminate the irregular solids because we are only concerned with
orderly creation. There remain six bodies, the sphere and the five regular polyhedra.
19
To the sphere corresponds the outer heaven. On the other hand, the dynamic world is
represented by the flat-faced solids. Of these there are five. When viewed as
boundaries, however, these five boundaries determine six distinct things – hence the
six planets that revolve about the sun.
Kepler’s approach to the structure of the universe is similar to Ancient Greeks’ in that his
starting point is that the structure is based on perfect geometric figures and proper ratios. With
this belief he works on perfect figures and reveals many fascinating properties of polyhedra.
He starts with a classification of polyhedra (Fig 28). Rhombic polyhedra are the ones to be
mentioned for the first time by Kepler. Kepler describes two of such figures: the rhombic
dodecahedron and the rhombic triacontahedron (these two polyhedra will show themselves as
duals of two Archimedean solids: the cuboctahedron and the icosidodecahedron) (Fig 29).
20
Fig 29 Kepler’s rhombic polyhedra: rhombic dodecahedron and rhombic triacontahedron [5]
Kepler is also known as the first mathematician who discovered the Archimedean solids after
Archimedes. He constructs the thirteen solids in a vertex-based systematic method.
A final note about Kepler’s work on polyhedra can be the non-convex star polyhedra. These
polyhedra have many relationships with convex polyhedra and are known as Kepler – Poinset
solids.
RENÉ DESCARTES
Just like the other revolutions Descartes made in many scientific areas, the new approach he
imposed in polyhedral geometry is a radical attempt. Descartes is the first scientist who
explored polyhedra in general and deduced the properties of special polyhedra as special cases
of the general results he obtained. His work on polyhedra gave birth or influenced many
branches of mathematics.
21
polyhedron is eight right angles (The proof follows immediately from the Spherical Excess
formula). This theorem is “A very beautiful and general theorem which ought to be placed at
the head of the theory of polyhedra” according to E. Prouhet [5].
For polyhedra, the solid angle is a quantity assigned to a vertex (Fig 31). It is the area of the
unit sphere portion corresponding to the vertex. Its unit is steradians. The angle by which the
sum of the plane angles around a solid angle is less than 2π is called its deficiency [5].
Plane Angle
A Vertex
One of the corollaries of Descartes’ theorem is that there can be only five regular polyhedra.
Consider a polyhedron with V vertices, each surrounded by S faces of each having n equal
length sides. Then the sum of interior angles of a face is (n - 2)π and so, every plane angle
measures (n - 2)π/n. S plane angles meet at V vertices, so the sum of the plane angles is
⎛ ( n − 2) π ⎞ π 4n
SV(n - 2)π/n. By the theorem, ⎜ 2π − S ⎟V = 8 ⇒ V = . The
⎝ n ⎠ 2 2 ( n + S ) − nS
denominator can be factorized as 4 – (n – 2)(S – 2), which implies (n – 2)(S – 2) < 4. Then,
possible integer pairs for (n, S) are then (3, 3), (3, 4), (3, 5), (4, 3) and (5, 3), which describes
the tetrahedron, the octahedron, the icosahedron, the cube and the dodecahedron, respectively
and uniquely. As opposed to Euclid’s proof, Descartes’ proof is algebraic in nature.
22
LEONARD EULER and HIS FORMULA
Polyhedra seem to be forgotten for over a century after Descartes. Euler was the
mathematician drawing attention on the polyhedra back. In a letter to Goldbach in 1750, Euler
writes [32]
When he started studying, he probably found the terminology deficient, so he created his own
terminology. In his first paper on polyhedra, he defines the characteristics of the geometry as
follows [33]:
Three kinds of bounds are to be considered in any solid body; namely points, lines
and surfaces, or with the names specifically used for this purpose: solid angles,
edges and faces. These three kinds of bounds completely determine the solid.
Euler is the first mathematician to consider the edges of a polyhedron. Today, we use two of
the terms: edges and faces, but instead of the solid angle, we use vertex: a term due to Arthur
Cayley [5].
23
Among many relations Euler derived for polyhedra, the most important one is
V+F=E+2
which is known as the Euler’s Formula. V, F and E refer to the numbers of vertices, faces and
edges, respectively. This formula is valid for most of the polyhedra, but not all. The formula
finds application in many fields. First of all, it is an indispensable, frequently used formula in
graph theory. Also mechanical engineers use the formula for planar mechanisms.
One of many consequences of the formula is the proof that there exist only five regular
polyhedra. Suppose, a regular polyhedron has V vertices, E edges and F faces with each
having n sides. Also let S faces meet at each vertex. Then, nS sides come together to construct
the polyhedron. Two sides construct an edge when faces are assembled, so nS = 2E. Also each
edge has two ends, resulting SV = 2E. Substituting F = 2E/n and V = 2E/S in the formula one
2nS
has E = . Note that substituting V = 2E/S in this equation gives the result
2 ( s + S ) − nS
Descartes derived. By the same discussion Descartes has, the only possible integer pairs for
(n, S) are (3, 3), (3, 4), (3, 5), (4, 3) and (5, 3).
4S
Also one can express the number of faces and vertices in terms of n and S: F =
2 ( n + S ) − nS
4n
and V = (Descartes’ deduction). By substituting the possible (n, S) values into
2 ( n + S ) − nS
these formulae one obtains the corresponding face and vertex number for regular polyhedra.
With this terminology, the shortest list of conditions for being regular is obtained: faces
should have equal number of sides and same number of faces must meet at each vertex.
Notice that no requirements for equality of angles exist in the list.
Another consequence of Euler’s formula, together with two other inequalities, is the complete
set of possible (V, F) pairs for polyhedra. The inequalities are as follows: every face has at
least three sides, so 2E ≥ 3F and at least three faces meet at a vertex, so 2E ≥ 3V. The formula
with these two inequalities yields two bounds for (V, F) pairs: V ≥ F/2 +2 and 2F - 4 ≥ V.
24
V
12
11
10
9
8
7
6
5
4
3
2
1
F
1 2 3 4 5 6 7 8 9 10 11 12
Drawing the two line bounds one can obtain the possible (V, F) pairs as in Fig 33. It’s
possible to show that at least one polyhedron corresponds to each circle. First of all, every n-
sided polygon based pyramid has n + 1 faces and n + 1 vertices. So the pyramids are
examples for the circles on the diagonal. Examples for the other circles can be found by either
truncation or expansion. But, expansion should be performed carefully if the resulting
polyhedron is to remain convex.
Truncating a pyramid at a vertex, where three faces meet, adds two to the number of vertices
and one to the number of faces. Also, this truncation results in at least one vertex meeting
three faces, so repeated truncations may be applied infinitely. Expansion on one of the
triangular faces of a pyramid increases the number of faces by two and number of vertices by
one. Also, this process can be applied infinitely many times, provided that the polyhedron
remains convex. The polyhedron needs to remain convex for that some nonconvex polyhedra
do not satisfy Euler’s formula.
The validity of Euler’s proof was based on repeated truncations, however, repeated
truncations cannot be applied to all polyhedra.
The next proof was given by Adrien Marie Legendre in 1794. Legendre made use of radial
projections of polyhedra on spheres. He performed the proof only for convex polyhedra.
Later, in 1810, Louis Poinsot showed that Legendre’s proof also applies to nonconvex
polyhedra that can be radially projected onto a sphere. The interesting point in Legendre’s
proof is that he uses metric properties of a sphere to prove the invariancy of quantities relating
a polyhedron [5].
25
Next mathematician providing a proof for Euler’s formula is Augustin Louis Cauchy. His
proof, published in 1813, does not rely on metric properties. A new notion, deformability,
introduced by Cauchy is used in this proof. He starts by choosing a face on the polyhedron
and shrinks the other faces’ vertices on the plane properly. Then he shows that V + F = E + 1
for this planar network. Again, there are polyhedra for which this method fails to verify
Euler’s formula [5].
In the first half of the 19th century, some exceptions to Euler’s formula were noted by
scientists. Notification of these exceptions resulted in alternative formulae valid for larger set
of polyhedra. This search brought a necessity for a definition of a polyhedron that can be
certified by everyone. Making this definition required some serious effort [34]:
What makes the theory of polyhedra very difficult is that it requires an essentially
new science, which may be called ‘geometry of position’ because its principal
concern is not the size or proportion of figures, but the order and (relative) position
of the elements composing them.
Indeed a new area, now called topology, developed in the second half of the 19th century.
Cromwell describes this reform as follows [5]:
And indeed a new discipline was born out of the struggle to find the foundations on
which the formula rested – a discipline related to geometry as algebra is related to
arithmetic. It concentrates on the relationships and connections between the various
constituent elements; specific details such as size, area, angles, and in fact all metric
properties are ignored, just as algebraic equations express general relationships
between numbers but do not deal with particular cases.
People started to construct the terminology of this new science, and some objects were
redescribed by this new terminology. Tunnels through solids were analyzed by means of non-
separating curves (a closed curve in a surface such that the surface remains in one piece) and
cavities in the solids were thought to be resulting disconnected surfaces. And new definitions
for polyhedra arose: August Ferdinand Möbius defined a polyhedron as a system of
polygons arranged in such a way that the sides of exactly two polygons meet at every edge
and it is possible to travel from the interior of one polygon to the interior of any other without
26
passing through a vertex [5]. This new vision of polyhedra was well accepted, but the
definition still needed to be worked out, because it could not avoid some singular cases. The
definition used today is a slightly modified version of Mobius’ definition [5]:
First condition excludes star polyhedra of the kind described by Poinsot and other self
intersecting polyhedra. Second and fourth conditions exclude singular edges and vertices, and
third condition ensures that the polyhedron is connected. So, among many counterexamples to
Euler’s formula, only one class remains: the polyhedra having tunnels. [5]
With this definition, Euler’s formula can be modified as V – E + F = 2 – 2g, where g is,
roughly speaking, the number of tunnels through the polyhedron (See [5] for the details).
Formally, g is called the genus of the polyhedral surface and is a topologically invariant
property of a surface defined as the largest number of nonintersecting simple closed curves
that can be drawn on the surface without separating it. V – E + F is also given a special name:
Euler characteristic of the surface.
A complete proof for the Euler’s formula was given by Karl Georg Christian von Staudt in
his Geometrie der Lage (1847) [35]. His related theorem is as follows:
27
A corollary of this theorem is that if a polyhedron satisfies Euler’s formula, it can be
deformed into a sphere, and vice versa.
Another great use of Euler characteristic is noted in the Gauss-Bonnet theorem: Suppose that
a connected network on a smooth surface S has V vertices, E edges and F faces and Gaussian
curvature at a point on the surface is k. Then
∫ k dA = 2π (V − E + F )
S
The striking point of the theorem is that it relates metric quantities to topological properties.
This theorem shows that the total curvature is independent of the geometry. On the other
hand, keeping the surface fixed and altering the network keeps the Euler characteristic.
SYMMETRY GROUPS
There are two types of symmetries that can be considered in three dimensions: rotation and
reflection symmetries (and combinations of these two). Rotation symmetry can be considered
as a direct symmetry, i.e. repositioning the object determines the symmetry operation. For
reflection symmetry, one needs the use of mirrors. For a rotation symmetry, an axis
determines the set of points that remain fixed, whereas the fixed points lie on a plane for the
reflection symmetry (See the appendix for the symmetry groups of polyhedra).
28
Arthur Cayley first noticed the properties that symmetry structures satisfied: closedness,
inverses, identity element and associativity (1854). William Rowan Hamilton, in 1856, gave
a method for describing groups without writing out the complete group table. Camille Jordan
was the first mathematician to use the term group for symmetry structures (1869). To Jordan,
groups were sets closed under some operation. The four modern axioms of a group were first
published in 1882 independently by Walter von Dyck and Heinrich Weber. Group theory is
widely studied and applied today in many branches of science, such as particle physics,
molecular bonding schemes in chemistry, classification of patterns and ornamental designs,
the description of different kinds of geometry and crystallography [5].
CRYSTALLOGRAPHY
The interest to symmetry groups mostly originated from the researches about the structure of
crystals. First, the crystals were thought to have spherical building blocks (Robert Hooke –
1665). Christian Hauygens was the one that suggested lattice structures for crystals (17th
century). The building blocks with flat faces were first proposed by Domenico Guglielmini
(late 1600s). René Just Haüy (1743 - 1822) developed the flat faced building blocks idea to
an extend that he is now known as the father of crystallography [5].
The lattice structure of a crystal restricts the kinds of rotational symmetry that can appear to
2-fold, 3-fold, 4-fold and 6-fold (a rotation of (360/n)º is called an n-fold rotation). Hence,
there are only finitely many possibilities for the symmetry types of external forms of crystals:
these 32 symmetry types are called the crystal classes [5].
As topology further developed and abstract algebra improved, three dimensional objects did
not satisfy geometers and they started defining fictitious objects in higher dimensions. After
polygons of two dimensions and polyhedra of three dimensions, a general term for all
dimensions was defined: polytopes.
Harold Scott Macdonald Coxeter (1907 - 2003) is the dominant mathematician working on
polyhedra in 20th century. His foundations in geometry are still being studied widely. He has
29
lots of contributions to the new branch of geometry: polytopes (Fig 34). He is also known for
his work on non-Eulidean geometries.
TESSELLATIONS
In 1900, David Hilbert (1862 - 1943) proposed a total of 23 problems about different areas of
mathematics. 18th of these problems was about building spaces with congruent polyhedra.
Later, this topic has been widely studied and is still being studied.
30
Fig 35 Examples of Ducket’s tessellation units [16]
CARTOGRAPHY
Polyhedra are frequently used in modeling the map of earth. The best model created up to
now is Buckminster Fuller’s Dymaxion Map (1956) [38]. The map is an unfolded
icosahedron (Fig 37).
31
Fig 37 Fuller’s Dymaxion Map [38]
Folding and unfolding of polyhedra is an old research area, however, systematical work about
the subject is recent. The main problems that are being handled are which polyhedra can be
unfolded to construct polygons and how; which polygons can be folded to construct
polyhedra and how; which polyhedra can be unfolded and refolded to form other polyhedra
and how. The problems are also being extended to higher dimensions. One may find a lot of
useful information and links to other sites in Eric D. Demaine’s folding and unfolding page
(Fig 38) [39].
Recently, microbiologists asked for aid from mathematicians and mechanical engineers about
motion mechanisms of viruses. It was already known that some viruses had polyhedral outer
structures (these viruses are named as polyhedral viruses). Now scientists explore their
motion by means of solid models. A Hungarian group of scientists’ examples of expandable
polyhedra (expandohedra, as they call) are illustrated in Fig 39-40.
32
Fig 39 A realistic model for the motion of cowpea chlorotic mottle virus [40]
Fig 40 A mechanical model for the motion of cowpea chlorotic mottle virus [41]
POLYHEDRAL LINKAGES
In the need for combining the fascinating geometry of polyhedra and motion, inventors and
engineers found a new area of study for themselves: polyhedral linkages. Not much has been
done about the subject yet, however, it seems that the subject will be of concern for many
years.
Engineers had a lot of beautiful examples before they started working on the subject: An
American investigator’s, Chuck Hoberman’s, amazing toys were ready to work on (Fig 41-
42) [42].
33
Fig 41 Two of the Hoberman toys [42]
Hoberman also have architectural products. The huge domes he designed are well accepted all
around the world (See [42] for more examples and animations).
Fig 42 The iris dome and the fabric dome of Hoberman Associates [42]
Having these fantastic examples at hand, mechanical engineers developed some methods to
mobilize the polyhedra. One of the engineers working on the subject is Karl Wohlhart.
Wohlhart makes use of rotational type joints to expand and contract polyhedra. In 2001 he
presented his method for uniform polyhedra (Fig 43) [43].
34
Fig 43 The five Platonic solids, a prism, the truncated icosahedron
and a rhombic polyhedron mobilized by Wohlhart [43]
Later in 2004, Wohlhart applied his method to non-uniform polyhedra as well. But there is no
wide range of examples for nonuniform polyhedra (Fig 44) [44].
35
He also gives examples for frustum pyramids and Catalan solids (duals of Archimedean
solids) together with a beautiful toroidal linkage complex (Fig. 45).
Fig 45 A frustum pyramid, a Catalan solid and a toroidal linkage complex [43]
Another method for design of polyhedral Linkages was proposed by Agrawal et al. in 2002
[45]. They placed the joints at the edges instead of the vertices, and they used prismatic
[sliding] joints instead of revolute (rotational) joints. They also considered combining these
linkages together to model three dimensional objects.
Recently a design methodology for a family of deployable polyhedra was proposed by Kiper
et. al. [46]. Together with the Verheyen’s classification of dipolygonids [47], this
methodology can be counted as a rare attempt in designing polyhedral linkages systematically
based on mathematical tools, rather than being individual inventions. With this methodology
36
first, triangles are magnified, then triangles are assembled to form a polygon and finally,
polygons are assembled to form polyhedra (Fig 46).
These are not the only designs of these inventors and researchers and some other related
designs belong to Goldberg [48], Tarnai et. al. [40-41] and Gosselin et. al. [49].
Once polyhedra are mobilized, expanding-contracting models of any three dimensional object
will be possible. The present problems in design of such models lack efficient unit element
geometries, difficulties in actuation, malfunctioning due to friction and undesired force
couples, material choice, and such. If detailed studies can be performed on solution of these
problems, the practical life of humans can encounter drastic changes.
Imagine that cars can be resized to one third of its original size when parking. Or that the car
can be optionally adjusted as for single person, double people or four people. Wouldn’t that
be a considerable ease in vehicle traffic?
Also, if such designs are made possible, the spatial studies would benefit much. Construction
is very hard in space for that gravity is absent or less than the one on earth. But if contracting
structure can be designed, constructions in space would be unnecessary.
37
REFERENCES
1. Tomlow, J., A Bouquet of Polyhedra - Some Remarks on the Image and Significance of
Polyhedra in History, in Proc. of the 2nd Int. Seminar: Application of Structural Morphology
to Architecture, Stuttgart, pp201-210, October 1994.
4. R. J., Gillings, Mathematics in The Time of the Pharaohs, M. I. T. Press, 1972, p185.
6. Wagner, D. B., Rectilinear solids treated by Liu Hui, Historia Mathematica, Vol. 6, pp.
164-188, 1979.
7. Waerden, B. L., Geometry and Algebra in Ancient Civilizations, Springer – Verlag, New
York, 1983, pxi.
8. Haselhurst, G., Howie, K. J., Philosophical Sketches, Space and Motion Publishers, 2005.
9. Lahanas, M., Plato’s Mathematical Model of the Universe – Space and Time,
http://www.mlahanas.de/Greeks/PlatoSolid.htm, last access date: 21.02.2007.
10. Dali, S., The Sacrament of the Last Supper, Gala-Salvador Dali Foundation, Artists
Rights Society, New York, 2000.
11. Weisstein, E. W., Dual Polyhedron, from MathWorld - A Wolfram Web Resource.
http://mathworld.wolfram.com/DualPolyhedron.html, last access date: 21.02.2007.
14. Joyce, D. E., Euclid’s Elements, Department of Mathematics and Computer Sicence,
Clark University, Worcester, US, http://aleph0.clarku.edu/~djoyce/java/elements/toc.html,
last access date: 18.07.2006.
15. Friedman, E., Archimedes, Department of Mathematics, Stetson University, Florida, US,
http://www.stetson.edu/~efriedma/periodictable/ html/Ar.html, last access date: 21.02.2007.
38
16. Rorres, C., Archimedes, Department of Mathematics, Drexel University, Pennsylvania,
US, http://www.mcs.drexel.edu/~crorres/Archimedes/contents.html, last access date:
21.02.2007.
19. Weisstein, E. W., Archimedean Solid, from MathWorld--A Wolfram Web Resource.
http://mathworld.wolfram.com/ArchimedeanSolid.html, last access date: 21.02.2007.
20. Weisstein, E. W., Catalan Solid, from MathWorld--A Wolfram Web Resource.
http://mathworld.wolfram.com/CatalanSolid.html, last access date: 21.02.2007.
26. Nemiroff, R., Bonnell, J., Kepler Discovers How Planets Move, Astronomy Picture of the
Day, http://antwrp.gsfc.nasa.gov/apod/ap960831.html, last access date: 21.02.2007.
27. Kepler, J. (1596), Mysterium Cosmographicum: The Secret of the Universe, translated by
A.M. Duncan, New York: Abaris Boks, 1981.
28. D. Pedoe, Geometry and Liberal Arts, Penguin Books, 1976, p267.
32. N. L. Biggs, E. K. Lloyd and R. J. Wilson, Graph Theory 1736 - 1936, Clarendon Press,
Oxford, 1976, p76.
39
33. P. J., Federico, Descartes on Polyhedra: a Study of the ‘De Solidorum Elementis’,
Springer-Verlag, 1982, p66.
34. Poinsot, L., Note sur la Théorie des Polyédres, Comptes Rendus, des Séances de
l’Académie des Sciences 50, 1860, p70.
36. GCS Research Society, science.ca Profile: Harold Scott Macdonald (H. S. M.) Coxeter,
http://www.science.ca/scientists/scientistprofile.php?pID=5, last access date: 21.02.2007.
37. Inchbald, G., Five Space Filling Polyhedra, Park View, in Guy’s polyhedra Pages,
http://www.steelpillow.com/polyhedra/five_sf/five.htm, last access date: 21.02.2007.
38. Buckminster Full Institute, The Full Projection Dymaxion Air-Ocean World Map, 1938.
40. Baker, J. E., Tarnai, T., On Modeling an Expandable Virus, In: Proc. of 11th World
Congress in Mechanism and Machine Sciences, Tianjin, China, pp. 1295-1299, April 1-4
2004.
41. Guest, S.D., Kovács, K., Tarnai, T. and Fowler, P. W., Construction of a Mechanical
Model for the Expansion of a Virus, in Proceedings, IASS-2004, Montpellier, France,
September 20–24, 2004.
42. Hoberman Designs, Inc. and Hoberman Associates, Inc., 40 Worth Street, Suite 1680,
New York, 10068, USA, http://www.hoberman.com, last access date: 21.02.2007.
43. Wohlhart, K., Regular Polyhedral Linkages, In: Proc. of the Second Workshop on
Computational Kinematics, Seoul, Korea, 2001, pp. 239-248.
44. Wohlhart, K., Irregular Polyhedral Linkages, In: Proc. of 11th World Congress in
Mechanism and Machine Sciences, Tianjin, China, pp. 1083-1087, April 1-4 2004.
45. Agrawal, S. K., Kumar, S., Yim, M., Polyhedral Single Degree-of-Freedom Expanding
Structures: Design and Prototypes, Journal of Mechanical Design, Vol. 124, pp. 473-478,
2002.
46. Kiper, G., Söylemez, E., Kişisel, A. U. Ö., A Family of Deployable Polygons and
Polyhedra, Mechanisms and Machine Theory, submitted July 2006.
47. Verheyen, H. F., The Complete Set of Jitterbug Transformers and the Analysis of Their
Motion, The International Journal of Computers and Mathematics With Applications, Vol. 17,
No. 1-3, pp. 203-250, 1989.
48. Goldberg, M., Polyhedral Linkages, National Mathematics Magazine, Vol. 16-7, pp. 323-
332, 1942.
40
49. Gosselin, C. M., Gagnon-Lachance, Expandable Polyhedral Mechanisms Based on
Polygonal One-Degree-of-Freedom Faces, Proc. IMechE, Vol. 220, Part C: J. Mechanical
Engineering Science, pp. 1011-1018.
APPENDIX
SYMMETRIES OF POLYHEDRA
41
START
no
Is there a rotation axis?
yes yes
Is there a mirror plane? Cs
no
yes
Is there a point of inversion? Ci
no
Is there more than one no C1
rotation axis?
yes Is there a mirror plane?
yes no
yes
Is there an axis of S2n
rotation-reflection?
no
Cn
Is there a mirror perpendicular to no
Cnv
the principal axis?
yes
Is there more than one no Cnh
n-fold axis with n > 2?
no
yes Is there a mirror plane? Dn
42