Beruflich Dokumente
Kultur Dokumente
sus Grupos de
Simetra Rotacional
Elementos de Geometra
Antecedentes
encontradas
en
el
lugar
~1~
~2~
~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
~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~
~6~
(1 2p )
(1 2p ) q <2
, de donde
2 2
1 <
p q ; entonces
1 1 1
+ >
p q 2 , y de
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~
~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
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 ,
~9~
~ 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.
~ 12 ~
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
~ 13 ~
2
1
= 1 .( A)
N polos
n
( )
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
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
N N
= =1 ,
p q
~ 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
( p2 ) ( q2 )=4 1
pq
<4 (C)
N
~ 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.
~ 16 ~
~ 17 ~
~ 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 ~