Вы находитесь на странице: 1из 20

Slidos Platnicos y

sus Grupos de
Simetra Rotacional
Elementos de Geometra

Antecedentes

Los poliedros son, desde hace muchsimos aos, objetos de enorme


inters desde muchos puntos de vista. Sin ir muy lejos, podemos
encontrar poliedros en la decoracin a nuestro alrededor, en la
arquitectura y en el diseo de los objetos que utilizamos a diario. Sin
embargo son mucho ms interesantes las apariciones de los poliedros en
otras reas, como la filosofa, biologa, cristalografa, entre otras.
Desde la poca del neoltico, en Escocia, los hombres ya sentan
admiracin por esas figuras perfectas, admirables, que apelan a nuestro
sentido artstico.

Las esculturas mostradas aqu fueron


mencionado, y datan de dicha poca.

encontradas

en

el

lugar

Los chinos, egipcios y algunas culturas de Mesopotamia desarrollaron


frmulas y algoritmos para calcular volmenes de poliedros, sobre todo
pirmides, problemas de slidos relacionados con agricultura, alfarera,
entre otros oficios.
El estudio formal de los poliedros comienza con los griegos. Euclides, en
el ltimo libro de sus famosos Elementos, incluye un anlisis de los
slidos platnicos, as como una manera de construir cada uno de ellos.
En uno de sus dilogos, Platn menciona que la forma de los elementos
son la de 4 de los slidos platnicos: tierra con forma de cubo, el fuego
con forma de tetraedro, el agua con forma de icosaedro, el aire con
forma de octaedro, y, por supuesto, el universo con forma de
dodecaedro, el ms interesante de los slidos platnicos, por ser el nico
con pentgonos como lados.

~1~

Muchos siglos ms adelante, con Kepler encontramos el Misterium


Cosmographicum, con el que pretenda establecer las relaciones entre
las rbitas de los planetas en el sistema solar.

Mencionando las apariciones en otras reas, en


ciencias tenemos que los poliedros aparecen en el
estudio de superficies de mnima energa: han
ayudado a entender cmo se
comportan dichas superficies,
por ejemplo, con burbujas de
jabn
formadas
entre
las
aristas de varios poliedros. En
biologa son de especial inters
puesto que la forma de varios
seres
vivos,
como
las
radiolarias, mostradas en esta
figura, una ilustracin de la obra Kunstformen der
Natur (Formas artsticas de la naturaleza) de Ernst
Haeckel. Se atribuye estas formas a las superficies
de mnima energa, pues es evidente que la economa de la energa en
los seres vivos es un importante factor en la evolucin y supervivencia.
Los poliedros tambin tienen una especial aparicin en qumica, en la
cristalografa. Por ejemplo, el cristal de pirita que se muestra, as como
las dems estructuras cristalinas, se deben al acomodo de los tomos en

~2~

estructuras regulares, todas caracterizables por medio


de grupos de simetra.
En el arte, no se dispone de suficiente espacio para mostrar la
inspiracin que ha causado a varios artistas, entre ellos el
mismsimo Escher, ilustrador de la belleza de la geometra
hiperblica, o Lorenz Stoer (autores de las 2 primeras imgenes mostradas a
continuacin).

Incluso con apariciones en entretenimiento, no hay duda de que los


poliedros son de enorme inters, en especial los regulares. Pero por
supuesto que el lector estar de acuerdo en que lo ms interesante de
los poliedros surge cuando los analizamos desde un punto de vista
matemtico, y por ello en este trabajo de expondr sobre el mximo de
la regularidad y elegancia entre los poliedros: los grupos de simetra de
los slidos platnicos.

~3~

Objetivos
En el presente trabajo se tienen varios objetivos. El primero de ellos es
presentar una breve historia del estudio de los poliedros y algunos
ejemplos de distintas reas en donde aparezcan los poliedros (este
objetivo es cubierto en los antecedentes).
El siguiente objetivo es definir matemticamente un poliedro y algunos
conceptos relacionados. Se pretende simplemente entender qu es un
poliedro como un objeto matemtico, pues esta definicin es topolgica,
y no se trabajar con ella ms adelante.
Despus de definir los poliedros se enunciar
presentar la demostracin de Cauchy, pues
frmula se presenta por su importancia en el
pues en base a ella se demostrar que slo
cuando se trabaja en 3 dimensiones.

la frmula de Euler y se
es la ms sencilla. Esta
estudio de los poliedros,
hay 5 slidos platnicos

Luego se har una introduccin a la simetra en los poliedros: se definir


que es una transformacin de simetra y un grupo de simetra, para
luego demostrar cules son los 3 distintos grupos de simetra de los 5
slidos platnicos.
Por ltimo se presentar una aplicacin sencilla a un problema de
coloracin de los slidos platnicos.

~4~

Politopos
Para comenzar a hablar de las propiedades matemticas de los slidos
platnicos es necesario primer tener bien definido qu es un poliedro
como un objeto matemtico. Aunque, como se ha mencionado
anteriormente, no se trabajar exactamente con esta definicin (pues
formalizar esta definicin y sus consecuencias requiere de herramientas
de mucho mayor nivel), es importante introducirse apropiadamente a los
poliedros como objetos matemticos, y no meramente como ideas
intuitivas, pues uno podra decir que todo mundo sabe qu es un
poliedro.
Primero comenzamos con una definicin bsica: la de politopo. Un
politopo es una figura geomtrica (en n dimensiones) limitada por lneas,
planos o hiperplanos (por figuras geomtricas de n-1 dimensiones).
De esta manera, tenemos que politopos 2-dimensionales son simples
polgonos, porciones de plano limitadas por lneas. Un p-gono se puede
definir entonces como un circuito de p segmentos de lnea A1A2, A2A3,
, ApA1, que unen pares consecutivos de p puntos A1, A2,, Ap. Los
segmentos son llamados lados y los puntos vrtices. Se puede dar el
caso de que los vrtices no sean coplanares, pero aqu slo hablaremos
de polgonos planos (cuyos vrtices son coplanares).
Un polgono plano divide al plano en 2 regiones: la interior (finita) y la
exterior. Esto ltimo se puede demostrar, pero es un teorema altamente
no-trivial, de modo que no se incluye aqu la demostracin. A veces es
conveniente considerar al
polgono tambin con su
regin interior, pudiendo as
ser re-definido como una
regin simplemente conexa
limitada por p distintos
segmentos. En topologa, se dice que una regin es simplemente conexa
si cualquier curva simple cerrada trazada en la regin puede reducirse
a un punto sin dejar a la regin. Por ejemplo, la primera de las figuras
mostradas en esta pgina es simplemente conexa, pero la segunda no:
si se traza una curva alrededor del agujero, al reducirla a un punto
sta tendra que cruzar el agujero.
Aqu es importante introducir el concepto de regularidad. Decimos que
un polgono es regular si es equiltero (todos sus lados iguales) y

~5~

equiangular (todos sus ngulos iguales). Ambas condiciones son


necesarias, pues existen polgonos cuyos lados son distintos pero sus
ngulos son iguales, como el rectngulo; por otro lado tenemos
polgonos cuyos ngulos son distintos, pero cuyos lados son iguales,
como el rombo.
Ahora en 3 dimensiones, tenemos que los politopos son poliedros. stos
pueden ser definidos como un conjunto finito y conexo de polgonos
planos, tal que cada lado de cada polgono pertenece tambin
exactamente a otro (slo uno) polgono, y los polgonos que rodean un
vrtice forman un circuito. Los polgonos son llamados caras, y los lados
de los polgonos, aristas.
As como los politopos en 2 dimensiones, los poliedros dividen al espacio
en 2 regiones, la interior (finita) y la exterior.
Decimos que un politopo es convexo si al tomar 2 puntos dentro de ste,
el segmento de recta que los une est contenido dentro del politopo. As
pues, existe una manera especial de caracterizar politopos convexos.
Para el caso de 2 dimensiones, tenemos que un polgono convexo puede
ser caracterizado por un sistema de p desigualdades lineales (que tienen
que ser consistentes y no redundantes)
a k x +bk y c k , k=1,2, , p
Para el caso de los poliedros, el sistema de desigualdades ser
a k x +bk y +c k z d k , k=1,2, , N
donde N es el nmero de caras del poliedro.
La regularidad en poliedros requiere de ms condiciones que en
polgonos. Un poliedro regular es aqul cuyas caras son polgonos
regulares y todas son iguales entre s, y cuyos vrtices estn todos
rodeados de la misma manera. Denotamos un poliedro regular {p,q}
como aqul que tiene p-gonos como lados, con q p-gonos rodeando
cada vrtice. Llamamos slidos platnicos a los poliedros regulares.
Una manera de determinar cuntos poliedros regulares existen se
muestra a continuacin. El ngulo slido en cada vrtice est rodeado

~6~

por q ngulos, cada uno de

(1 2p )

. Por el teorema de Descartes1,

tenemos que la suma de estos q ngulos no debe exceder o ser igual a


2, i.e.

(1 2p ) q <2

aqu tenemos que

, de donde

2 2
1 <
p q ; entonces

1 1 1
+ >
p q 2 , y de

( p2 ) ( q2 ) <4 . De esta desigualdad se obtiene que

los nicos poliedros regulares que puede haber son {3,3}, {3,4}, {4,3},
{3,5} y {5,3}, pues claramente p y q son enteros (los resultados
corresponden al tetraedro, octaedro, cubo, icosaedro y dodecaedro
respectivamente).

Frmula de Euler
La frmula de Euler es un importante resultado en poliedros. Dice que
para todo poliedro tal que cualesquiera 2 vrtices estn unidos por un
camino de vrtices y tal que cualquier curva cerrada en la superficie
separa P en dos partes, entonces se cumple la frmula V+F=E+2, donde
V es el nmero de vrtices (Vertexes/Vertices, ambos correctos en
ingls), F es el nmero de caras (Faces), y E es el nmero de aristas
(Edges).
Existen varias pruebas, que utilizan diversos hechos sobre los poliedros.
Por ejemplo, la prueba que dio el mismo Euler se basa en quitar
sucesivamente vrtices a un poliedro, y ver qu sucede con la suma VE+F; Adrien Marie Legendre dio otra prueba basada en la suma de los
ngulos. La prueba considerada como la mejor es la dada por Karl Georg
Christian von Staudt, porque es la prueba que menos ideas extraas
involucra (Cromwell). La hiptesis mencionada en el prrafo anterior
para la frmula es la que viene en la prueba de von Staudt.
Sin embargo, la ms popular por su sencillez es la dada por Augustin
Louis Cauchy, que introduce el concepto de deformabilidad, y es la que
se presenta en este trabajo.
1 Este teorema nos habla de la suma de las deficiencias de los ngulos que
rodean un . La demostracin no se incluye, pues implicara desviarse mucho
del tema. Adems, esta manera de determinar los poliedros regulares se
presenta slo como referencia rpida, puesto que ms adelante se expondr la
que nos interesa, a partir de la frmula de Euler.

~7~

Supongamos que tenemos un poliedro tal que la suma V-E+F= n y tal


que al remover una cara se puede deformar en una teselacin planar de
polgonos (en el caso de la ilustracin, se le removi una cara a un
cubo). Al remover dicha cara, se le resta 1 a ambos lados de la ecuacin,
teniendo V-E+F=n-1. Luego, cada polgono de dicha teselacin se divide
en tringulos usando diagonales, de manera que cualesquiera 2 de las
diagonales trazadas no se corten. El trazado de las diagonales no altera
la suma, pues cada diagonal trazada divide a cierta regin en 2 partes,
de donde se le suma 1 al nmero de caras; pero la diagonal le suma 1 al
nmero de vrtices, y como E tiene signo contrario, la suma sigue
siendo n-1 en la teselacin.
El siguiente paso es ir eliminando tringulos. Tenemos dos posibles
casos, correspondientes a la 3 y 4 imagen de la ilustracin anterior. La
primera forma de eliminar tringulos es removiendo slo un lado; se le
resta 1 a E y a F, y por tener signos contrarios no se altera el resultado
n-1. El segundo caso es quitar un vrtice y dos lados. De esta manera se
le resta 2 a E, 1 a V y 1 a F; esto equivale a restar 2 a V+F y restar 2 a E,
de donde la suma no se ve alterada. Se contina con esta eliminacin de
tringulos hasta obtener slo un tringulo, y como en un tringulo
tenemos que V-E+F=1, entonces n=2, de donde en el poliedro original
V-E+F=2.
La frmula de Euler se puede utilizar para demostrar que slo pueden
existir 5 slidos platnicos.
Supongamos que las caras del poliedro regular (slido platnico) son ngonos y r aristas inciden en cada vrtice (por definicin de poliedro

~8~

regular se tiene que todas las caras tienen el mismo nmero de lados y
en cada vrtice concurren el mismo nmero de aristas). Luego se
cumple que nF=2 E pues al multiplicar el nmero de caras por el
nmero de lados de cada una se estn contando 2 veces el nmero de
aristas, pues cada arista pertenece a 2 caras. Tambin se cumple que
rV =2 E , pues cada arista contiene 2 vrtices, pero cada vrtice
pertenece a r aristas. Despejando y sustituyendo en la frmula de Euler
tenemos que

2 E 2E
+
E=2
n
r

y de aqu tenemos que

1 1 1 1
+ = + .
n r 2 E
Pero sabemos que n, r 3, pues cualquier polgono tiene al menos 3
lados y al menos 3 aristas concurren en cada ngulo polidrico. Pero
ambos no pueden ser simultneamente mayores que 3, pues el lado
izquierdo de la igualdad sera menor que . Por lo tanto basta analizar 2
casos: n=3 y r=3.
Para n=3 tenemos que la ecuacin anterior se convierte en

1 1 1
=
r 6 E ,

de donde r puede valer 3, 4 5 (si es mayor o igual a 6, 1/E tendra que


ser menor o igual a cero, lo cual no es posible). Los valores respectivos
de E seran 6, 12 y 30, obteniendo el tetraedro, octaedro e icosaedro
respectivamente.
Anlogamente, para r=3, tenemos que n puede valer 3, 4 5, y E vale 6,
12 y 30 respectivamente, obteniendo el tetraedro (nuevamente), cubo y
dodecaedro.

~9~

Simetra en los slidos platnicos.


Primero es conveniente definir qu es la simetra? Para los griegos era
balance, proporcin y conmensurabilidad. Esta idea se mantuvo por
mucho tiempo. Sin embargo, el clebre matemtico Nikoli Lobachevsky
no se equivoc al decir que "no hay rama de la matemtica, por
abstracta que sea, que no pueda aplicarse algn da a los fenmenos del
mundo real, pues con el surgimiento de la cristalografa2 tambin surgi
el requerimiento de una descripcin matemtica precisa de lo que es la
simetra.
De esta manera la idea de simetra comenz a ser ms la de inmunidad
ante el cambio. Existen transformaciones de un espacio (de cualquier
dimensin) que dejan cierta figura invariante, es decir, indistinguible de
cmo
era
antes
de
aplicar
dicha
transformacin;
dichas
transformaciones son de simetra respecto de dicha figura. sta es la
idea general, sin embargo para lo que nos interesa slo consideraremos
transformaciones del plano y del espacio de 3 dimensiones. As pues, un
ejemplo de transformacin que deja invariante un cuadrado es una
reflexin por una lnea que pase por los puntos medios de dos lados
opuestos, o una rotacin de algn mltiplo de 90 alrededor de su
centro. En el caso de alguna espiral, por ejemplo, una transformacin
que la deja invariante es una rotacin de cierto ngulo combinada con
una dilatacin.
De esta manera la simetra de una figura est caracterizada por el grupo
de transformaciones que la dejan invariante. Es un grupo claramente,
porque al aplicar una transformacin seguida de otra, la figura seguir
invariante (i.e. la composicin de dos transformaciones pertenece al
grupo), la identidad (transformacin que no le hace algo en absoluto)
pertenece al grupo y cada transformacin tiene inverso: ste, al regresar
la figura a su posicin original, deja la figura invariante, siendo as
tambin una transformacin de simetra (de donde pertenece tambin al
grupo de transformaciones de simetra).
Por ejemplo, aqu se muestra una ilustracin con las transformaciones
que se pueden aplicar a un tetraedro, dejndolo invariante.
2Un cristal en qumica se define como un slido homogneo que presenta un
orden interno peridico de sus partculas reticulares, sean tomos, iones o
molculas. Esta periodicidad es lo que es estudiado desde el punto de vista
matemtico.

~ 10 ~

Las figuras que ahora nos interesan son politopos: en especfico, nos
interesan poliedros regulares (slidos platnicos), y las transformaciones
que los dejan invariantes son rotaciones propias e impropias (definidas
ms adelante), de donde trabajaremos con simetra rotacional.
En dos dimensiones tenemos que cualquier grupo de simetra rotacional
contiene una rotacin primitiva de 360/n, a partir de la cual se
componen las dems rotaciones que dejan invariante a una figura. Una
rotacin propia es aqulla que consta slo de una rotacin que es una
repeticin de la rotacin primitiva del grupo. Denotamos con C n al grupo
de rotaciones cuya rotacin primitiva es 360/n (grupo cclico). Una
rotacin impropia es en realidad una composicin de una rotacin con
una reflexin; si el ngulo primitivo del grupo es de 360/n, entonces los
ejes de la rotacin formarn ngulos de 360/2n unos con otros. El grupo
de rotaciones impropias consta de las reflexiones por dichos ejes y las
rotaciones de 360/n, y se denota por Dn (grupo dihdrico).
Entonces, en dos dimensiones tenemos que los grupos distintos de
simetras rotacionales son
C1 , C2 ,

~ 11 ~

D1 , D2 ,
donde C1 implica que no tiene transformacin de simetra adems de la
identidad, y D1 implica slo simetra reflexiva respecto a un solo eje.

En las imgenes mostradas aqu, la flor de la primera figura tiene


nicamente simetra C5, mientras que la flor de la segunda figura tiene
simetra D5.
En tres dimensiones el grupo Cn puede verse como rotaciones de un
plano alrededor de un eje perpendicular a ste; el grupo D n de
rotaciones impropias en 2 dimensiones pasa a ser un grupo de
D' n
rotaciones propias
en 3 dimensiones, pues las reflexiones en el
plano pueden verse como rotaciones de 180 alrededor de un eje
contenido en el plano, y esto es una rotacin propia; entonces este
grupo consiste de las rotaciones de 360/n alrededor de un eje
perpendicular a un plano y de las rotaciones de 180 alrededor de un eje
en el plano.
Las rotaciones impropias en 3 dimensiones pasan a ser rotaciones
propias compuestas con una transformacin que consiste en enviar cada
punto de la figura a un punto antpoda respecto a un centro dado. Sin
embargo, para lo que nos interesa basta con trabajar con las rotaciones
C2 =D' 1
propias en 3 dimensiones. Se tiene
, pues ambos consisten de
la identidad y de y de la rotacin alrededor de una lnea l.
Ahora veamos cuntos grupos distintos de rotaciones propias existen en
3 dimensiones.
Consideremos un grupo de rotaciones propias en 3 dimensiones y
supongamos que contiene un total de N rotaciones. Sea un poliedro con
simetra caracterizada por dicho grupo y llamemos polos a los puntos
donde el eje de cada rotacin intersecta al poliedro. Entonces el nmero

~ 12 ~

de polos es 2 veces el de ejes. Decimos que 2 polos son equivalentes si


existe una simetra rotacional que lleve uno al otro. Un polo determinado
por un eje con n rotaciones es llamado n-polo.

Por ejemplo, para el tetraedro, mostrado arriba, tenemos que todos los
2-polos son equivalentes, pero en los 3-polos hay 2 clases: los que se
encuentran en los centros de las caras y los que se encuentran en los
vrtices del tetraedro. stas dos clases de 3-polos no son equivalentes,
pues no hay simetra que lleve el centro de una cara a un vrtice.
Ntese que el nmero de 2-polos en este caso es de 12/2=6, y el
nmero de 3-polos en cada una de las clases es 12/3=4. En general, si
un poliedro tiene N rotaciones entonces una clase de n-polos contiene
N/n polos. Esto se puede ver de la siguiente manera: escojamos un
punto cercano a un polo y apliquemos cada una de las simetras
marcando la imagen del punto en cada simetra. Esto resulta en N
puntos marcados, en grupos de n alrededor de cada polo. Por lo tanto
hay N/n polos distintos.
El conocimiento del nmero de polos en cada clase nos dice el nmero
de simetras rotacionales a ser calculadas. Ignorando la identidad,
existen n-1 rotaciones asociadas a un n-polo.
Entonces tenemos que una clase de n-polos contiene N/n polos, y
asociado a cada n-polo hay n-1 rotaciones distintas de la identidad.
Sumando todas las rotaciones asociadas a los polos tenemos dos veces
el nmero de rotaciones distintas de la identidad, pues cada eje
determina 2 polos. Entonces
2 ( n1 )=

polos

N
(n1)
n

esto puede ser re-escrito como

~ 13 ~

2
1
= 1 .( A)
N polos
n

( )

Si N=1, la nica simetra en el grupo de simetras del poliedro es la


identidad. Entonces podemos asumir que N es al menos 2. Esto quiere
decir que

1 2

2
<2 . Los valores de n deben ser al menos 2, de donde
N

1
1
1 <1 .
2
n
Supongamos que el grupo de rotaciones contiene slo una clase de
polos. Entonces el lado derecho de (A) sera menos que 1, lo cual
contradice que el lado izquierdo sea al menos 1. Entonces debe haber al
menos 2 clases de polos.
Adems, tenemos que no puede haber 4 o ms clases de polos, puesto
que el lado izquierdo de (A) sera menos que 2, mientras el derecho (A)
sera

( 1 1n ) 12 + 12 + 12 + 12 =2.

polos

Esto limita las posibilidades a slo 2 3 clases de polos.


Supongamos que el grupo contiene 2 clases de equivalencias, una de ppolos y otra de q-polos. Entonces sustituyendo los valores en (A)
tenemos que
2

2
1
1
= 1 + 1
N
p
q

de donde

)( )

2=

N N
+
p q . Ya se haba visto que la cantidad de p-polos en esa

clase contiene N/p polos, de donde N/p es un entero distinto de cero;


anlogamente N/q es un entero distinto de cero. Entonces
de donde

N N
= =1 ,
p q

N= p=q . El sistema tiene entonces 2 polos, uno en cada

~ 14 ~

clase: entonces tiene un solo eje. Ambos son p-polos, de donde el grupo
Cp
de simetra es el grupo cclico
.
Ahora consideremos el caso donde hay 3 clases de polos: sean stos ppolos, q-polo y r-polos. Luego tenemos que sustituyendo en (A) tenemos
que
2

2
1
1
1
= 1 + 1 + 1
N
p
q
r

de donde

)( )( )

1+

2 1 1 1
= + +
N p q r . Si p, q y r fuesen al menos 3 tendramos que

1 1 1 1 1 1
+ + + + =1.
p q r 3 3 3
Sin embargo, 1+(2/N) es siempre mayor que 1, de donde alguno de p,q
r debe ser al menos 2. Sin prdida de generalidad sea r=2, y que pq.
Entonces
1+

2 1 1 1
= + + .(B)
N q q 2

Reacomodando tenemos que

( p2 ) ( q2 )=4 1

pq
<4 (C)
N

lo cual implica que (p-2)(q-2) es 0,1,2 3.


En el primer caso tenemos que si el producto es cero, q=2. Sustituyendo
en (B) tenemos que 1/p=2/N, lo que implica que N=2p. Este grupo tiene
3 clases de polos, una de p-polos, y 2 de 2-polos. Cada clase de 2-polos
Dp
contiene N/2=p polos. Este es el sistema dihdrico
.
Las otras soluciones para (C) son (p,q)=(3,3), (4,3) y (5,3), con valores
correspondientes de N iguales a 12,24 y 60 respectivamente. stas
soluciones corresponden a los grupos T, W y P respectivamente.

~ 15 ~

T: hay 2 clases de cuatro 3-polos cada uno. Es claro que los polos
de una clase forman un tetraedro regular y la otra clase son sus
puntos antipodales. Entonces obtenemos el grupo tetradrico. Los
seis 2-polos equivalentes son los centros de los lados del
tetraedro. El orden de este grupo (la cantidad de rotaciones
distintas que tiene) es 12.

W: hay una clase de seis 4-polos cada una, formando las esquinas
de un octaedro regular (grupo octadrico). Una clase de ocho 3polos, correspondiente a los centros de los lados, y una clase de
doce 2-polos, correspondientes a los centros de las aristas. Esta
clase es equivalente a la del cubo, pues la de los 4-polos pueden
verse como los centros de los lados del cubo, los 3-polos como los
vrtices del cubo, y los 2-polos como los centros de las aristas del
cubo. El orden de este grupo es 24.

P: Una clase de doce 5-polos correspondientes a los vrtices de


icosaedro (o a los centros de las caras de un dodecaedro), veinte
3-polos correspondientes a los centros de los 20 lados (o a los
vrtices del dodecaedro) y treinta 2-polos correspondientes a los
centros de las aristas del dodecaedro o icosaedro. Este grupo es
de orden 60.

~ 16 ~

Entonces hemos determinado que el grupo de simetra de un poliedro


debe ser necesariamente uno de los siguientes:
Cn , D' n ,T ,W , P
correspondientes a los grupos cclico, dihdrico, tetradrico, octadrico o
icosadrico, respectivamente.
Tambin esto nos mostr que las simetras del octaedro y del cubo son
equivalentes, mientras que las del dodecaedro son equivalentes a las
del icosaedro; esto se mantiene acorde al hecho de que el cubo es el
dual del octaedro (pues se puede construir un octaedro con los centros
de las caras de un cubo, y viceversa), y el icosaedro es el dual del
dodecaedro.
Ntese tambin que el orden del grupo de simetra de los slidos
platnicos corresponde al doble del nmero de aristas que tienen. Esto
se ve fcilmente: el tetraedro tiene el grupo de simetra T, de orden 12,
y tiene 6 aristas; el cubo y el octaedro tienen ambos 12 aristas, y su
grupo de simetra, W, es de orden 24; el dodecaedro y el icosaedro
tienen 30 aristas, y su grupo de simetra P es de orden 60.

~ 17 ~

Aplicacin a un problema de coloracin


Una aplicacin sencilla pero interesante de los grupos de simetra T, W y
P es a un problema de coloracin de los slidos platnicos.
Supongamos que queremos colorear un slido platnico de F caras, y se
tienen F colores distintos. Una coloracin es equivalente a otra si una se
puede obtener de otra mediante una rotacin.
En principio tenemos que sin considerar coloraciones equivalentes, el
slido se puede colorear de F! distintas maneras. Sin embargo,
conociendo el orden del grupo de simetras rotacionales del slido es
muy sencillo saber cuntas coloraciones son equivalentes a una dada: el
grupo de simetra consiste de rotaciones distintas, as que cada
coloracin se cuenta tantas veces en F! como el orden del grupo de
simetra. Pero el orden del grupo de simetra ya vimos que es 2E, donde
E es el nmero de vrtices, as que el slido platnico se puede colorear
de
F!
2E
maneras distintas.

~ 18 ~

Bibliografa
Courant, Richard, Herbert Robbins y Ian Stewart. What is mathematics? Oxford
University Press, 1996.
Coxeter, H. S.M. Regular Polytopes. N.Y.: Dover Publications Inc., 1973.
Cromwell, Peter. Polyhedra. Cambridge, R.U.: Cambridge University Press, 1997.
Weyl, Hermann. Symmetry. Princeton, New Jersey: Princeton University Press,
1952.

~ 19 ~