POLIEDROS

Carlos Ivorra

1. Polgonos
Aunque supondremos al lector familiarizado con la geometra plana, dedicaremos la primera seccin a revisar los hechos bsicos sobre polgonos. Para destacar en la medida de lo posible el paralelismo entre los conceptos de polgono y poliedro (de modo que, en cierta medida, podamos considerar a ste como el anlogo a aqul en tres dimensiones), vamos a dar de momento una definicin de polgono que se aparta ligeramente de la comnmente aceptada: Un polgono viene determinado por un conjunto finito de puntos situados en un mismo plano, llamados vrtices del polgono, y un conjunto de segmentos cuyos extremos son vrtices, llamados lados del polgono, de tal modo que cada vrtice sea el extremo de exactamente dos lados, que no han de ser colineales, y se puede pasar desde cualquier vrtice hasta cualquier otro a travs de una sucesin de vrtices adyacentes. Por vrtices adyacentes entendemos dos vrtices que sean los extremos de un mismo lado, mientras que dos lados que tengan un vrtice en comn se llaman consecutivos. Un polgono es simple si adems cumple que cuando dos de sus lados tienen un punto en comn dicho punto es uno de sus extremos (y, en particular, un vrtice del polgono). En caso contrario se dice que es un polgono complejo. Los polgonos de tres lados se llaman tringulos, los de cuatro cuadrilteros, y a partir de cinco lados se llaman n-gonos, donde el valor de n se indica con el prefijo griego correspondiente: pentgonos, hexgonos, heptgonos, etc. Los segmentos que unen dos vrtices no adyacentes de un polgono de llaman diagonales del polgono. Por ejemplo, de las tres figuras siguientes, la primera es un pentgono simple, la segunda un pentgono complejo y la tercera no es un polgono porque no es posible pasar de un vrtice a otro a travs de una cadena de vrtices adyacentes. Se trata de la unin de dos tringulos.

No es difcil demostrar que los lados de un polgono dividen al plano en un nmero finito de componentes conexas, de las cuales slo una es no acotada (la que contiene el exterior de una circunferencia que contenga a todos los vrtices del polgono en su interior). Los puntos de dicha componente conexa se llaman puntos exteriores del polgono, mientras que los puntos de las componentes acotadas se llaman puntos interiores del polgono. As, por ejemplo, los puntos interiores de los dos polgonos de la figura anterior son los que aparecen sombreados en la figura siguiente:

Nos van a interesar especialmente los polgonos simples. Es claro que un polgono simple es homeomorfo a una circunferencia, y el teorema de la curva cerrada de Jordan prueba que todo subconjunto del plano homeomorfo a una circunferencia divide al plano en exactamente dos componentes conexas, de las cuales es la frontera. En particular, el interior de un polgono simple P es un subconjunto abierto conexo del plano del cual P es la frontera. Ms an, puede probarse que P es homeomorfo a un crculo (aunque esto no es cierto para curvas de Jordan arbitrarias). Nota: El lector que no est familiarizado con los resultados topolgicos a los que aludimos no debera tener inconveniente en aceptarlos como intuitivamente evidentes. Por ejemplo, lo nico que hemos dicho hasta ahora es que, dado un polgono y un punto del plano que no est sobre sus lados, o bien est encerrado por sus lados (y entonces es interior), o bien no est encerrado y podemos movernos desde l hasta cualquier punto arbitrariamente lejano sin cruzar ninguno de los lados (en cuyo caso es exterior); cuando afirmamos que todo polgono simple es homeomorfo a una circunferencia no decimos sino que puede ser deformado de forma continua, sin romperlo ni superponer ningn par de puntos, hasta convertirlo en una circunferencia, y entonces sus puntos interiores se convierten en los puntos de un crculo. La figura siguiente ilustra la situacin. Es claro que, por muy complicado que sea el polgono, siempre puede desenredarse hasta que sus lados queden listos para ser arqueados y formar una circunferencia. Si no fuera simple tendramos que separar sus autointersecciones, y eso se considera una ruptura.

Hay una clase de polgonos especialmente notable: Un polgono es convexo si la recta que prolonga a cada uno de sus lados deja a todo el polgono en uno de los dos semiplanos que determina.

Teorema 1.1: Un polgono es convexo si y slo si es simple y su interior es un abierto convexo en el sentido usual, es decir, tal que si contiene a dos puntos contiene tambin al segmento que los une.
Demostracin: Sea

un polgono convexo, para cada uno de sus lados

l,

sea

determina la recta que lo contiene y que contiene a P, y sea I la interseccin de dichos semiplanos. Puesto que los semiplanos son convexos (en el sentido usual) y la interseccin de convexos es convexa, tenemos que I es un abierto convexo. Veamos que P es la frontera de I. Para ello observamos en primer lugar que la interseccin de las clausuras de los semiplanos cerrado que contiene a interseccin. As pues, si un punto

Sl

el semiplano abierto que

I,

Sl

(es decir, los correspondientes semiplanos cerrados) es un

luego la clausura de

I,

y en particular su frontera, estn contenidos en dicha

x est en la frontera de I, est en las clausuras de todos los semiplanos Sl , y tiene que I, lo cual es imposible porque I es abierto. Esto significa que x est en la recta que prolonga a un lado l. Ahora bien, si los extremos de l son los puntos p y q, sabemos que x est en el semiplano determinado por el lado contiguo a l en q que contiene a p y viceversa, lo cual equivale a que x est en el segmento de extremos p y q, es decir, en l, luego en P. Por otro lado, si l es un lado de P y x es un punto distinto de sus extremos, tenemos que x est en todos los
estar en la frontera de alguno de ellos, pues si estuviera en el interior de todos estara en semiplanos abiertos determinados por los lados restantes (pues es fcil ver que no puede haber dos lados situados sobre la misma recta, ya que entonces el lado contiguo a uno de ellos dejara a cada uno en un semiplano distinto). Por lo tanto, todos los puntos de un entorno U de x estn en la interseccin de los

V de x, tenemos que U V corta a Sl , luego a I. x est en la frontera de I. Con esto hemos probado que P es la frontera de I. Notemos ahora que la clausura de I es la interseccin de las clausuras de los semiplanos Sl , pues una inclusin es obvia y, si x est en la interseccin de los semiplanos cerrados, o bien est en la interseccin de los semiplanos abiertos, es decir, en I, o bien est al menos en la frontera de uno de ellos, y bajo esas hiptesis hemos probado ms arriba que x est en P, luego en ambos casos est en la clausura de I. Veamos que I es un conjunto acotado. En efecto, sea C una circunferencia que contenga a P. Como el exterior de C no contiene puntos de la frontera de I, o bien todos sus puntos estn en I, o bien ninguno lo est, pero si todos lo estuvieran, por convexidad todo el interior de C estara en I, lo cual es imposible (pues P no est en I), luego I est contenido en el interior de C y es, pues, acotado. Por consiguiente, la clausura de I es un convexo compacto, y todo convexo compacto en el plano es homeomorfo a un crculo, de forma que la frontera (en nuestro caso P) es homeomorfa a la circunferencia correspondiente. Esto implica que P
restantes semiplanos abiertos y, dado cualquier entorno Esto prueba que es un polgono simple. El complementario de

es la unin de los semiplanos abiertos complementarios de los

conjunto no acotado. Si probamos que es conexo podremos concluir que dos nicas componentes conexas del complementario de interior de

Sl ,

luego es un

y dicho complementario son las

P,

y que

es la componente acotada, luego es el

P. I

Para probar que el complementario de

es conexo consideramos una circunferencia que contenga a

todos los vrtices de P en su interior. Hemos visto que est en dicho complementario. Como todo semiplano cuya frontera pase por el interior de la circunferencia contiene puntos de la misma, resulta que los semiplanos cuya unin es el complementario de I P cortan todos a la circunferencia, luego tenemos una unin de conjuntos conexos que cortan todos a un mismo conexo. La unin es conexa. Esto termina la prueba de una implicacin. El recproco es consecuencia de que los compactos convexos tienen hiperplanos de soporte en todos los puntos de su frontera. Concretamente, si l es un lado de P, tomamos un punto p que no sea un extremo, con lo que existe una recta que pasa por

p y que deja a todo el

convexo (en este caso la unin de P y su interior) en uno de los semiplanos que determina. Es obvio que dicha recta tiene que ser necesariamente la prolongacin del lado. Nota: Hamos advertido antes de dar la definicin de polgono que con ella nos estamos apartando de la definicin comnmente aceptada. Esto se debe a que lo usual llamar polgono a lo que segn nuestra definicin es la unin de un polgono y su interior, mientras que lo que hemos llamado polgono es (un caso particular de) lo que usualmente se llama lnea poligonal cerrada. Entre las razones para dar la definicin que hemos dado estaba mostrar que un polgono est completamente determinado por sus vrtices y sus aristas (sin necesidad de especificar su interior), pero a partir de este momento no hay inconveniente en adoptar el convenio usual y entender que un polgono es la figura formada por una poligonal cerrada (un polgono segn nuestra definicin) y su interior.

Nota: Hamos advertido antes de dar la definicin de polgono que con ella nos estamos apartando de la definicin comnmente aceptada. Esto se debe a que lo usual llamar polgono a lo que segn nuestra definicin es la unin de un polgono y su interior, mientras que lo que hemos llamado polgono es (un caso particular de) lo que usualmente se llama lnea poligonal cerrada. Entre las razones para dar la definicin que hemos dado estaba mostrar que un polgono est completamente determinado por sus vrtices y sus aristas (sin necesidad de especificar su interior), pero a partir de este momento no hay inconveniente en adoptar el convenio usual y entender que un polgono es la figura formada por una poligonal cerrada (un polgono segn nuestra definicin) y su interior.

A partir de aqu supondremos que el lector conoce los trminos y de la geometra clsica concernientes a polgonos, es decir, lo que es un cuadrado, un rectngulo, un paralelogramo, un rombo, un tringulo issceles, etc., as como los hechos fundamentales. En particular, es claro que los lados que concurren en un vrtice de un polgono determinan dos ngulos cuya suma es de 360 . Si el polgono es simple podemos distinguir entre el ngulo interior y el ngulo exterior, en el sentido obvio. Cuando hablamos de los ngulos de un polgono se entiende que son los ngulos interiores. Teorema 1.2: Todo polgono simple tiene al menos un ngulo de menos de 180 .
Demostracin: Fijado un sistema de referencia en el plano, como el interior de un polgono

acotado, su proyeccin sobre el eje coordenada

ser un conjunto acotado y tendr un supremo

P es un conjunto s, que ser la

y deja a ser necesariamente vertical, pues si no, cruzara la recta, luego los extremos de dicho lado estarn sobre la recta y, en cualquier caso, la recta contendr un vrtice v de P. El ngulo interior correspondiente a v est contenido en un semiplano, luego es menor o igual de 180 . La definicin de polgono exige que sea menor de 180 . Teorema 1.3: Todo polgono simple de ms de tres lados contiene al menos una de sus diagonales.

x de un punto p de la frontera de P. As, la recta vertical de ecuacin x = s toca la frontera de todo P en uno de sus semiplanos. Si p no es un vrtice de P, estar en uno de sus lados, que

P un polgono simple de ms de tres lados y sea v un vrtice cuyo ngulo sea menor de 180 . Sean v1 y v2 sus vrtices adyacentes. Como P no es un tringulo, estos dos vrtices no son adyacentes entre s, y el segmento que los une es una diagonal. Podemos suponer que no est contenida en P, pues en
Demostracin: Sea

caso contrario no hay nada que probar. Vamos a distinguir varios casos:

vv1 est contenido en v1v2 o bien entra en el tringulo vv1v2. Sea w su otro extremo y consideremos todos los segmentos que unen v con todos los vrtices contenidos en el tringulo vv1 w sin contar v y v1 . De entre ellos, nos quedamos con el que forma un ngulo menor con el lado vv1 . Si hay varios vrtices cuyo segmento forma el mismo ngulo, nos quedamos con el ms cercano a v, y lo llamamos w.
a) El lado contiguo a

v1

w' v
Observamos que el lado

v2

que el que forma vv2 , segmento que lo une con v es una diagonal. Si no fuera interior, como no puede contener ningn otro vrtice de P, tendra que estar atravesada por un lado de P, pero el extremo w situado en el mismo semiplano que

v1w no puede cortar al lado vv2, luego el ngulo que vw forma con vv1 es menor por lo que w no puede ser ninguno de los dos vrtices adyacentes a v, luego el

v1 no puede haber salido del tringulo vv1w ni cruzando vv1 ni cruzando v1w, pues ambos son lados de P y los lados no pueden cortarse. Entonces w sera un vrtice contenido en el tringulo vv1w que formara un ngulo con vv1 menor que w, contradiccin. Por lo tanto, la diagonal vw es interior. b) El lado contiguo a vv1 est fuera del tringulo vv1 v2 . Entonces podemos tomar el punto p de la diagonal v1 v2 ms cercano a v1 , y pueden darse dos casos: que sea un vrtice de P o que est en el interior de un lado l que cruza la diagonal. En el segundo caso llamamos w al vrtice de l que queda dentro del tringulo vv1v2, y en el primero tomamos como w el propio p. Ahora podemos repetir el argumento anterior con el cuadriltero vv1 pw (que ser un tringulo si p = w):

|
Entonces podemos tomar el punto

p de la diagonal v1v2 ms cercano a v1, y pueden darse dos casos: que sea un vrtice de P o que est en el interior de un lado l que cruza la diagonal. En el segundo caso llamamos w al vrtice de l que queda dentro del tringulo vv1v2, y en el primero tomamos como w el propio p. Ahora podemos repetir el argumento anterior con el cuadriltero vv1 pw (que ser un tringulo si p = w):
v1 p

w' v

v2

Como antes, consideramos, de entre los vrtices contenidos en el cuadritero sin contar que el segmento que lo une con

v ni v1, el que hace

vrtice w ms cercano a v. Nuevamente, el segmento vw es una diagonal y no puede contener otros vrtices de P, ni tampoco puede ser cruzada por un lado, ya que el extremo de dicho lado situado en el

v forme el menor ngulo posible con vv1

y en dicho segmento tomamos el

v1no puede sarlir del cuadriltero ni por vv1, porque es un lado, ni por v1p, por la minimalidad pw, porque es un fragmento de un lado. Por lo tanto, tiene que estar en el cuadriltero y contradice la eleccin de w.
semiplano de de

p,

ni por

A partir de este resultado es fcil probar, por ejemplo, que todo polgono simple se puede triangular, es decir, se puede descomponer en unin de tringulos disjuntos (es decir, que la interseccin entre dos de ellos se reduzca a un vrtice o una arista comn) cuyos vrtices son vrtices del polgono. Otra consecuencia sencilla es la siguiente: Teorema 1.4: La suma de los ngulos de un polgono simple de
Demostracin: Lo probamos por induccin sobre

n lados es igual a (n-2)180 .

n. Lo suponemos conocido para el caso de los tringulos. Si es cierto para polgonos de menos de n lados y P tiene n lados, consideramos una diagonal d de P que sea interior. Digamos que une los vrtices v y v. Es claro que d divide a P en dos polgonos de menos de n lados. Si tienen m y m lados, respectivamente, entonces los lados de P son n = m-1+m-1 = m+m-2. Tambin es claro que la suma de los ngulos internos de P es la suma de los ngulos internos de los dos subpolgonos, luego sta es (m-2)180+(m-2)180 = (n-2)180 . POLGONOS REGULARES
Estudiamos ahora los polgonos regulares, en el sentido siguiente: Un polgono regular es un polgono simple con lados iguales y ngulos iguales. Es conocido que un tringulo tiene sus lados iguales si y slo si tiene sus lados iguales. Sin embargo, para el resto de polgonos las dos condiciones son independientes: un rectngulo tiene sus cuatro ngulos iguales, pero no necesariamente sus lados iguales, mientras que un rombo tiene sus cuatro lados iguales, pero no necesariamente sus cuatro ngulos iguales. Del teorema 1.4 se deduce inmediatamente el hecho siguiente: Teorema 1.5: Cada ngulo de un

n-gono regular mide 180 - 360 n

En particular, todos los ngulos de un polgono regular miden menos de 180 .

Teorema 1.6: Los vrtices de un polgono regular estn situados sobre una nica circunferencia.
Demostracin: Consideremos un lado del polgono, de extremos v1 y v2 , y construyamos sobre l un tringulo issceles cuyos ngulos sean los indicados en la figura. Realizamos la misma construccin sobre el

lado contiguo, y observamos que los tringulos obtenidos son iguales y tienen un lado en comn, efecto, sabemos que el ngulo que forman los dos lados contiguos mide 180 est precisamente sobre su bisectriz.
360 n

, luego el

Ov2. En segmento Ov2

v3 v2
90180 n

360

90-

180 n

v1

Concluimos que el punto O est a la misma distancia de los tres vrtices v1 , v2 , v3 , y la construccin puede repetirse con los vrtices siguientes, hasta llegar a que todos equidistan del punto O.
La circunferencia en la que se encuentran los vrtices de un polgono regular P se llama circunferencia circunscrita del polgono (y tambin se dice que el polgono est inscrito en la circunferencia), su centro se llama centro del polgono y su radio circunradio o, simplemente, radio del polgono. Del la prueba del teorema anterior se deduce que los vrtices de un circunferencia circunscrita en radio

n-gono

regular dividen a su

partes iguales, as como que la relacin entre la longitud

del lado y el

r es la dada por l = 2r senI 180 M. Tambin es obvio que la distancia del centro O al centro de cada n

a = r cosI 180 M. Esta distancia se llama apotema o inradio del polgono, y la circunferencia de n centro O y radio a se llama circunferencia inscrita en el polgono, pues claramente es tangente a sus lados
lado es (y se dice tambin que el polgono est circunscrito a ella). La figura siguiente muestra varios polgonos regulares con su circunferencia inscrita y su circunferencia circunscrita:

10

11

12

13

14

15

Ahora es evidente que dos

n-gonos

regulares son iguales si y slo si tienen el mismo lado (o el mismo

radio), y que dos n-gonos regulares cualesquiera son homotticos. Veamos una propiedad elemental de los polgonos que usaremos a menudo: Teorema 1.7: El lugar geomtrico de los puntos que equidistan de tres de los vrtices de un polgono regular es la recta que pasa por su centro y es perpendicular a su plano, y sus puntos equidistan de hecho de todos los vrtices del polgono.
Demostracin: Es fcil ver que el lugar geomtrico de los puntos que equidistan de dos puntos dados es el plano que pasa por el punto medio del segmento que los une y es perpendicular a l. Por lo tanto, el lugar geomtrico de los puntos que equidistan de tres puntos no colineales es la interseccin de dos planos y, por consiguiente, una recta perpendicular al plano que los contiene. Si aplicamos esto a tres vrtices de un polgono regular, vemos que los puntos que equidistan de ellos forman una recta perpendicular al polgono, pero como el centro cumple dicha propiedad, es concretamente la recta perpendicular al polgono que pasa por su centro. Aplicando esto a cada grupo de tres vrtices concluimos que los puntos de dicha recta equidistan de todos los vrtices del polgono.

Podemos plantearnos qu sucede si tratamos de generalizar la definicin de polgono regular suprimiendo el requisito de que el polgono deba ser simple. En principio, nos encontramos con una dificultad, ya que no podemos exigir que los ngulos (internos) sean iguales, pues en un polgono con autointersecciones no hay una forma clara de distinguir entre ngulos internos y externos. En cualquier caso, en cada vrtice tenemos dos ngulos, uno mayor de 180 y otro menor, y podemos exigir simplemente que los pares de ngulos en cada vrtice tengan las mismas medidas. Con esta definicin relajada, existe una amplia gama de polgonos regulares. La figura siguiente contiene algunas muestras. Por ejemplo, el primero es un hexadecgono regular cuyos vrtices determinan ngulos de 45 y 315 y. Vemos que ocho de sus lados pasan por encima de otros tantos vrtices, cosa que no ocurre en el segundo ejemplo, un icosgono regular con ngulos de 72 y 288 , cuyas aristas se cortan nicamente en puntos interiores.

Ahora bien, al renunciar a la distincin entre ngulos internos y externos resulta que hay polgonos simples que cumplen esta definicin general de polgono regular sin cumplir la que habamos dado para polgonos simples, como es el caso de los dos representados en la figura siguiente:

Resulta as evidente, especialmente a la vista del polgono de la derecha, que nuestro proyecto de generalizacin del concepto de polgono regular es demasiado generoso, en tanto que admite objetos totalmente asimtricos, en contraste con la gran simetra de los polgonos regulares simples. Equivalentemente, sucede que la mera exigencia de que un polgono tenga lados iguales y ngulos iguales implica automticamente unas condiciones de simetra en el caso de polgonos simples que no tienen por qu darse en el caso de polgonos complejos (o simplemente si prescindimos de la distincin entre ngulos internos y externos), por lo que razonable es generalizar la nocin de polgono regular exigiendo dichas condiciones de simetra: Una simetra de un polgono es una isometra del plano que transforma vrtices en vrtices y lados en lados. Un polgono regular es un polgono tal que para cada par de vrtices existe una simetra que transforma uno en otro y para cada par de lados existe una simetra que transforma uno en otro. Observemos que, puesto que los conjuntos de vrtices y de lados de un polgono son finitos y las simetras son biyectivas, en realidad una simetra biyecta ambos conjuntos con ellos mismos, es decir, induce una permutacin en el conjunto de los vrtices y otra permutacin en el conjunto de los lados, de modo que los pares de vrtices adyacentes se transforman en pares de vrtices adyacentes y los pares de lados contiguos se transforman en pares de lados contiguos. Como las simetras son tambin homeomorfismos, es inmediato que transforman puntos interiores en puntos interiores y, como la inversa de una simetra es tambin una simetra, concluimos que las simetras biyectan los puntos interiores con los puntos interiores, es decir, que

Observemos que, puesto que los conjuntos de vrtices y de lados de un polgono son finitos y las simetras son biyectivas, en realidad una simetra biyecta ambos conjuntos con ellos mismos, es decir, induce una permutacin en el conjunto de los vrtices y otra permutacin en el conjunto de los lados, de modo que los pares de vrtices adyacentes se transforman en pares de vrtices adyacentes y los pares de lados contiguos se transforman en pares de lados contiguos. Como las simetras son tambin homeomorfismos, es inmediato que transforman puntos interiores en puntos interiores y, como la inversa de una simetra es tambin una simetra, concluimos que las simetras biyectan los puntos interiores con los puntos interiores, es decir, que inducen una permutacin del polgono completo (considerando su interior como parte de l). En particular, ahora es obvio que un polgono simple es regular en este sentido si y slo si lo es segn la definicin que habamos dado previamente. En efecto, puesto que todo lado puede transformarse en cualquier otro mediante una simetra, todos los lados son iguales y, como todo vrtice puede transformarse en cualquier otro mediante una simetra (y sta transforma claramente el ngulo interior de un vrtice en el ngulo interior del otro), los ngulos interiores son tambin todos iguales. Recprocamente, en un n-gono regular segn la primera definicin, los giros de ngulo 360k/n respecto de su centro son simetras que permiten transformar cualquier vrtice en cualquier vrtice y cualquier lado en cualquier lado. Pasamos a estudiar la definicin extendida de regularidad. Para ello resulta til el concepto de centroide, que definimos en espacios de dimensin arbitraria para que los resultados nos aprovechen tambin para poliedros: Dados

puntos distintos en un espacio afn

m-dimensional

y fijado un sistema de referencia,

llamamos centroide del sistema de puntos al punto de coordenadas son las coordenadas de los puntos.

p1 + + pn , donde p1 , , pn n

Teorema 1.8: Si una biyeccin afn permuta un conjunto finito de puntos, entonces deja invariante a su centroide.
Demostracin: La expresin en coordenadas de una biyeccin afn es de la forma

x v + xA, donde v es

un vector y A una matriz. Por lo tanto, con la notacin de la definicin precedente, las coordenadas de la imagen del centroide vienen dadas por

v+

p1+ + pn
n

A=

v+ p1 A + + v + pn A
n

p1+ + pn
n

donde hemos usado que los sumandos del numerador de la fraccin central son los vectores de coordenadas p1, , pn permutados. De aqu se deduce en particular que el centroide de un conjunto finito de puntos no depende del sistema de referencia respecto al que se calcula. El centroide de un polgono es el centroide del conjunto de sus vrtices. Si el polgono es regular recibe el nombre de centro. El teorema anterior nos da que todas las simetras de un polgono dejan fijo a su centroide. Ms precisamente: Teorema 1.9: Toda simetra de un polgono es un giro respecto a su centroide o bien una simetra respecto de una recta que pasa por su centroide.
Demostracin: En general, las isometras del plano son traslaciones, giros o simetras axiales, pero las traslaciones no tienen puntos fijos, luego quedan descartadas.

Ahora ya es inmediato: Teorema 1.10: Los vrtices de un polgono regular estn inscritos en una circunferencia con el mismo centro que el polgono (circunferencia circunscrita) y sus lados son tangentes a otra circunferencia con el mismo centro (circunferencia inscrita).
Demostracin: Dados dos vrtices, existe una simetra que transforma uno en otro, la cual fija al centro del polgono, luego ambos estn a la misma distancia de dicho centro. Similarmente, todos los lados estn a la misma distancia del centro, luego son tangentes a la circunferencia cuyo radio es dicha distancia.

10

As pues, podemos hablar del inradio y del circunradio (o simplemente radio, en el segundo caso) de un polgono regular en el sentido general.

n-gono regular y sean v, v', v'' tres vrtices consecutivos. Los lados que llegan a v' l, ambas abarcan el mismo ngulo a < 180 , que depende nicamente de l, luego, en general, los vrtices contiguos a un vrtice dado v son los dos puntos de la circunferencia circunscrita separados de v por un arco de amplitud a.
Consideremos ahora un son cuerdas de la circunferencia circunscrita, y como tienen la misma longitud

a
v

v'

v''

De este modo, si medimos los arcos a partir de uno de los vrtices, los vrtices sucesivos del polgono son los que estn separados del vrtice de partida por un ngulo 0, a, 2a, 3a, ... , na y, como el ltimo debe coincidir con el primero, resulta que

na = k 360, es decir, que a = (k/n)360, con k/n<1/2. Adems, k y n son primos entre s, pues si k = xk y n = xn, tendramos que na = k 360, lo cual significa que el n-simo vrtice del polgono coincide con el primero y el polgono tendra n vrtices en lugar de n. Recprocamente, si 1 k n son dos nmeros naturales primos entre s con n 3, al partir de un punto de la circunferencia y avanzar en arcos de (k/n)360 y, llegamos al punto de partida al cabo de n pasos, pero no antes, ya que si llegramos al punto de partida en 0 < i < n pasos, sera (ik/n)360 = m 360, luego ik = nm, luego n i, ya que n es primo con k, contradiccin. En resumen:
Si n y k son nmeros primos entre s tales que n 3, y 1 k n, llamaremos {n/k} al ngono regular que resulta de partir de un punto de una circunferencia y avanzar sucesivamente arcos de (k/n) 360 . Los polgonos {n/k} con k 1 se llaman polgonos estrellados. Cuando k = 1 escribiremos

{n} = {n/1}. Claramente {n/k} = {n/(n-k)}.

En estos trminos acabamos de probar que todo polgono regular es un polgono estrellado. Ms an, el argumento que nos ha llevado a esta conclusin (tras el teorema 1.10) no ha partido realmente de la definicin de polgono regular, sino que solamente se ha apoyado en que el polgono considerado estaba inscrito en una circunferencia y tena sus lados iguales. Por consiguiente hemos probado: Teorema 1.11: Si un polgono tiene sus vrtices inscritos en una circunferencia y sus lados iguales, entonces es regular. La figura siguiente muestra algunos polgonos regulares con sus circunferencias inscrita y circunscrita:

11

n k

3 1

4 2

10

11

12

13

14

15

Circunferencias
Circunscrita Inscrita

Es fcil justificar que las relaciones entre el lado l, el radio

r y el inradio a son las dadas por: a = r cos 180 k n .

l = 2r sen

180 k n

Ahora es claro que los presuntos polgonos regulares que habamos mostrado ms arriba son polgonos con un cierto grado de simetra (excepto el ltimo, que era totalmente asimtrico), pero no con la simetra total propia de los polgonos regulares: en efecto, tienen grupos de vrtices que pueden hacerse corresponder mediante giros adecuados que dejan invariante al polgono, pero los vrtices ms alejados del centro no pueden llevarse a los ms cercanos. Tampoco es posible transformar cualquier arista en cualquier otra. Cuando

no son primos entre s, la notacin

{n/k}

se emplea para representar la figura que tiene por

vrtices los vrtices del polgno {n} y unir cada uno de ellos con los dos a los que se llega avanzando vrtices en ambos sentidos. Por ejemplo, {6/2} = {6/4} es la estrella de David:

12

De acuerdo con la definicin que hemos dado, no es un polgono, sino lo que se denomina un compuesto, es decir, una unin de varios polgonos (dos tringulos, en teste caso).

EL PENTGONO Y EL PENTAGRAMA
Vamos a estudiar ahora la geometra de los dos pentgonos regulares: el pentgono convexo {5} y el nico pentgono estrellado {5/2}, conocido tambin como pentagrama, pentalfa, pentculo, pentngulo o estrella pitagrica. Como veremos, en las relaciones entre sus partes aparecer el nmero ureo

F=
Es la raz positiva del polinomio

1+ 2

1.61803 ...
nmero positivo que cumple:

x2-x-1, luego es el nico Consideremos el pentgono de lado l que muestra la figura:

B

F2 = F + 1.

d-l

l d

Teniendo en cuenta que un ngulo inscrito en una circunferencia mide la mitad del arco que abarca, es fcil ver que el tringulo ABF es issceles, pues su ngulo A mide 36 , mientras que B mide 72 , luego F tambin mide 72 , y esto hace que proporcin

AF = l. Igualmente, los tringulos ACD y DCF son semejantes, lo que nos da la

|
d l
de la que se sigue que

13

AD CD

CD CF

d -l

1
d l

-1

anteriores, ahora es inmediato que, de las cuatro longitudes determinadas por el pentagrama, las que en la figura siguiente aparecen destacadas con las letras A > B > C > D, se cumple que cada una de ellas es

d l

d +1, l

luego

d = lF.

Teniendo en cuenta las proporciones y semejanzas

F. Adems B coincide con el lado del pentgono. En particular, el lado del pentgono interior es igual al lado del pentgono exterior dividido entre F2 .
igual a la siguiente multiplicada por

A D B

C
En trminos trigonomtricos, hemos demostrado que sen 18 = 1/2F. Usando las frmulas para el seno y el coseno del ngulo doble obtenemos fcilmente las razones trigonomtricas del ngulo de 36 , de modo que tambin conocemos las de sus ngulos complementarios: 72 y 54 :

ngulo 18
F-1 2 3-F 2

sen

cos
5 F+2 2 F 2

= -1+4 =

5+ 5 8

36

5- 5 8

= 1+ 4 5

ALGUNOS DATOS SOBRE LOS PRIMEROS POLGONOS

Los nicos datos de la tabla siguiente que no son inmediatos son los correpondientes al pentgono, que se deducen de los clculos precedentes:

14

|
Polgono 83< 84< radio
3 3 2 2 5+ 5 10 1 2

apotema
3 6 1 2 5+2 5 5 3 2 1+ 2 2 5+2 2 5
5 2

rea
3 4

1
5 4 5+2 5 5 3 2 3

85< 86<

1
2+ 2 2 1+ 5 2

88<

2+2 2

810<
Los datos corresponden a polgonos de lado y el rea por

5+2

l = 1. En general hay que multiplicar el radio y la apotema por l l2. El rea se calcula sumando el rea de los n tringulos de vrtices en el centro del polgono y en cada par de lados consecutivos: A = nla/2.

2. Definicin de poliedro
Los poliedros son el anlogo tridimensional de los polgonos. Sin embargo, al pasar a tres dimensiones las posibilidades se multiplican, y esto vale tanto para los casos de inters como para los casos patolgicos que nos gustara excluir mediante una definicin adecuada. La idea bsica es la que recoge lo que podramos considerar como "definicin" clsica de poliedro: Un poliedro es una regin acotada del espacio limitada por un nmero finito de caras poligonales, o, lo que viene a ser lo mismo, un poliedro es una figura de este estilo:

Desgraciadamente, existen distintas posibilidades a la hora de interpretar el grado de parecido que ha de tener una figura con la que muestra la figura para que merezca ser considerada como un poliedro, y la definicin anterior es lo suficientemente ambiga como para no ser de mucha ayuda a la hora de elegir una en particular. Por otra parte, una definicin que fuera completamente fiel a esta idea incluira necesariamente muchos casos patolgicos que conviene excluir, no porque no sea justo considerarlos regiones acotadas del espacio limitadas por un nmero finito de caras poligonales, sino porque daran lugar a una maraa de contraejemplos a muchos teoremas vlidos para poliedros ms razonables. Por ello, pensando en incluir nicamente las figuras geomtricas susceptibles de dar lugar a una teora interesante ms que en ser fieles a la vaga nocin clsica de poliedro, adoptaremos la definicin siguiente:

Desgraciadamente, existen distintas posibilidades a la hora de interpretar el grado de parecido que ha de tener una figura con la que muestra la figura para que merezca ser considerada como un poliedro, y la 15 definicin anterior es lo suficientemente ambiga como para no ser de mucha ayuda a la hora de elegir una en particular. Por otra parte, una definicin que fuera completamente fiel a esta idea incluira necesariamente muchos casos patolgicos que conviene excluir, no porque no sea justo considerarlos regiones acotadas del espacio limitadas por un nmero finito de caras poligonales, sino porque daran lugar a una maraa de contraejemplos a muchos teoremas vlidos para poliedros ms razonables. Por ello, pensando en incluir nicamente las figuras geomtricas susceptibles de dar lugar a una teora interesante ms que en ser fieles a la vaga nocin clsica de poliedro, adoptaremos la definicin siguiente:

Un poliedro est determinado por un conjunto finito (no vaco) de puntos del espacio llamados vrtices del poliedro, un conjunto de segmentos cuyos extremos sean vrtices, llamados aristas del poliedro, y un conjunto de polgonos cuyos lados sean aristas, llamados caras del poliedro. Exigimos adems las condiciones siguientes: 1) Todo vrtice es el extremo de al menos una arista y toda arista es el lado de exactamente dos caras, las cuales no estn sobre el mismo plano. (Cuando dos caras comparten una arista diremos que son contiguas.) 2) Todo par de caras puede conectarse por una sucesin de caras contiguas. 3) Las aristas que llegan a un mismo vrtice pueden disponerse cclicamente de forma que cada una y la siguiente sean lados de una misma cara. (Se dice entonces que las aristas son consecutivas respecto a dicho vrtice.) La tercera condicin sirve para excluir figuras como la siguiente:

Esta figura, con C = 16 caras (4 tringulos, 8 cuadrilteros y 4 pentgonos) A = 32 aristas y V = 17 vrtices, cumple todos los requisitos de la definicin de poliedro excepto el ltimo, pues las ocho aristas que confluyen en el vrtice peculiar se dividen en dos grupos de cuatro, de forma que cada uno de esos grupos s que puede disponerse cclicamente como exige la propiedad 3), pero no as la totalidad de ellos. Pese a ello, se ajusta perfectamente a la "definicin" de poliedro como "regin del espacio limitada por caras poligonales". Por el contrario, el objeto representado en la primera figura de esta seccin cumple la definicin de poliedro y tiene C = 14 caras (seis octgonos y ocho tringulos), A = 36 aristas y V = 24 vrtices. Si comparamos esta definicin con la definicin de polgono dada en la seccin anterior podemos notar ciertos paralelismos, pero tambin ciertas diferencias significativas. Por lo pronto, en la definicin de polgono exigamos que los lados establezcan un ciclo de vrtices, de modo que podemos partir de un vrtice cualquiera y recorrerlos todos movindonos a travs de los lados hasta volver al vrtice de partida. En cambio, en el caso de los poliedros no hay ningn recorrido natural que nos lleve por todas sus caras, y lo mximo que podemos pedir es que exista una cadena de caras que nos lleve de una cualquiera a otra cualquiera. Esta exigencia nos asegura que no consideraremos como un nico poliedro lo que resulta ms natural considerar como dos poliedros independientes sin relacin alguna, pero tambin excluye casos como el de la figura siguiente, que en principio encajara con la definicin clsica que hemos dado en primer lugar: el espacio comprendido entre los dos poliedros representados es una regin acotada del espacio limitada por caras poligonales (12 cuadrados).

16

Por otro lado, la definicin precedente admite deliberadamente poliedros con autointersecciones como el que muestra la figura siguiente, que sera razonable considerar contrarios al espritu de la definicin clsica:

Aqu vemos un poliedro con C = 9 caras, A = 16 aristas y V = 9 vrtices en el que las cuatro caras triangulares cortan a una de las caras cuadradas. Para excluir las autointersecciones introducimos las condiciones siguientes: Diremos que un poliedro es simple si cuando dos de sus aristas tienen un punto en comn ste es uno de sus extremos, y cuando dos de sus caras tienen un punto en comn entonces su interseccin es, o bien uno de sus vrtices, o bien uno de sus lados. En particular, las caras de un poliedro simple son polgonos simples. Si alguien podra considerar nuestra definicin excesivamente generosa por admitir autointersecciones, tambin podra tacharla de excesivamente restrictiva por exigir que cada arista sea compartida exactamente por dos caras. Ciertamente, admitir poliedros con aristas que formen parte de una nica cara slo supondra aceptar como tales a objetos patolgicos (como por ejemplo, dos polgonos cualesquiera situados en planos distintos y unidos por un lado), pero es cuestionable que no se pueda admitir la existencia de aristas compartidas por ms de dos caras. Consideremos por ejemplo la figura siguiente:

17

Opacidad Ocultar Tringulos

Esta figura podra interpretarse como un poliedro simple con C = 16 caras triangulares, A = 18 aristas y V = 7 vrtices salvo por el hecho de que 6 de las aristas son compartidas por 4 caras cada una. No obstante, la figura es tambin un poliedro segn la definicin que hemos dado, pero considerndolo como formado por C = 7 caras (tres cuadrados y cuatro tringulos), A = 12 aristas y V = 6 vrtices, de tal forma que las caras cuadradas se cortan por sus diagonales (el lector debera pararse a comprobar que as se cumple tambin la condicin 3 de nuestra definicin de poliedro). Pensando en casos como ste resulta razonable considerar una definicin de poliedro un poco ms generosa que la que hemos dado de forma que se admitan aristas que forman parte de un nmero par de caras (y en tal caso en la definicin de poliedro simple se incluye la condicin de que . No obstante, nosotros nos ceiremos a la definicin que hemos dado. El concepto de poliedro simple es el equivalente tridimensional al de polgono simple, aunque esto debe ser matizado. En realidad se trata de una propiedad puramente topolgica: un poliedro es simple si y slo si cada uno de sus puntos tiene un entorno homeomorfo a un subconjunto abierto del plano. La ausencia de autointersecciones garantiza que esto es as para los puntos interiores de sus caras, el hecho de que cada arista sea compartida exactamente por dos caras lo garantiza para los puntos interiores de sus aristas y la propiedad 3) de la definicin de poliedro lo garantiza para sus vrtices. Ms concretamente, los poliedros simples son superficies compactas, necesariamente orientables, pues las superficies compactas no orientables no pueden sumergirse en el espacio tridimensional. Este hecho tiene su anlogo en polgonos: un polgono es simple si y slo si es homeomorfo a una circunferencia, es decir, si y slo si es una variedad topolgica compacta de dimensin 1, porque sucede que todas las variedades topolgicas compactas de dimensin 1 son homeomorfas a circunferencias. Sin embargo, existen infinitas superficies topolgicas compactas no homeomorfas entre s, determinadas por un nico invariante llamado gnero: las superficies de gnero 0 son las homeomorfas a esferas, las de gnero 1 son las homemorfas a toros, es decir, las que tienen un agujero, las de gnero 2 tienen dos agujeros, etc. Por ejemplo, la figura siguiente muestra un poliedro simple de gnero 1, con 32 aristas y

C = 16 caras (cuadrilteros), A =

V = 16 vrtices:

18

En general, podemos distinguir puntos interiores y puntos exteriores en cualquier poliedro con el mismo criterio empleado para los polgonos: el complementario de un poliedro tiene una nica componente conexa no acotada, a saber, la que contiene al exterior de una esfera que contenga al poliedro, por lo que podemos llamar puntos interiores a los de las restantes componentes conexas y puntos exteriores a los de dicha nica componente no acotada. Teniendo en cuenta que las componentes conexas de los abiertos son arcoconexas, esto equivale a que un punto es exterior si puede unirse con un punto lejano mediante un arco que no pasa por el poliedro. El concepto de polgono convexo admite una generalizacin obvia: Un poliedro es convexo si, para cada una de sus caras, el plano que la contiene deja todo el poliedro en uno de los semiespacios que determina. La prueba del teorema siguiente se obtiene modificando levemente la prueba del teorema 1.1: Teorema 2.1: Un poliedro es convexo si y slo si es simple y su interior es un abierto convexo (en el sentido usual) del cual es la frontera.
Demostracin: Sea

determina el plano que la contiene y que contiene a P, y sea I la interseccin de dichos semiespacios. Puesto que los semiespacios son convexos (en el sentido usual) y la interseccin de convexos es convexa, tenemos que I es un abierto convexo. Veamos que P es la frontera de I. Para ello observamos en primer lugar que la

P un poliedro convexo, para cada una de sus caras C, sea SC el semiespacio abierto que

SC (es decir, los correspondientes semiespacios cerrados) es un cerrado que contiene a I, luego la clausura de I, y en particular su frontera, estn contenidos en dicha
interseccin de las clausuras de los semiespacios interseccin.

x est en la frontera de I, est en las clausuras de todos los semiespacios SC , y tiene I, lo cual es imposible porque I es abierto. Esto significa que x est en el plano que prolonga a una cara C. Observemos
As pues, si un punto que estar en la frontera de alguno de ellos, pues si estuviera en el interior de todos estara en que la definicin de poliedro convexo implica que las caras de un poliedro convexo cumplen la definicin de polgono convexo, y el hecho de que x est en todos los semiespacios cerrados definidos por los planos de las caras de

contienen a

Por otro semiespacios abiertos determinados por las caras restantes (pues es fcil ver que no puede haber dos caras situadas sobre el mismo plano, ya que entonces, como C es la interseccin de los semiplanos determinados

P implica que x est en todos los semiplanos definidos por los lados de C que C, es decir, que est en C, luego en P. lado, si C es una cara de P y x es un punto de su interior, tenemos que x est en todos los
que contienen a

C no puede estar contenida en C, si C estuviera en C por el lado correspondiente determinara un plano que tendra puntos de P en ambos semiespacios, en contradiccin con la convexidad de P). Por lo tanto, todos los puntos de un entorno U de x estn en la interseccin de los restantes semiespacios abiertos y, dado cualquier entorno V de x, tenemos que U V corta a SC , luego a I. Esto prueba que x est en la frontera de I.
por las prolongaciones de sus lados y otra cara distinta el mismo plano no estara contenida en uno de dichos semiplanos, luego la cara contigua a

Por otro lado, si C es una cara de P y x es un punto de su interior, tenemos que x est en todos los 19 semiespacios abiertos determinados por las caras restantes (pues es fcil ver que no puede haber dos caras situadas sobre el mismo plano, ya que entonces, como C es la interseccin de los semiplanos determinados

C no puede estar contenida en C, si C estuviera en C por el lado correspondiente determinara un plano que tendra puntos de P en ambos semiespacios, en contradiccin con la convexidad de P). Por lo tanto, todos los puntos de un entorno U de x estn en la interseccin de los restantes semiespacios abiertos y, dado cualquier entorno V de x, tenemos que U V corta a SC , luego a I. Esto prueba que x est en la frontera de I. Con esto hemos probado que P es la frontera de I. Notemos ahora que la clausura de I es la interseccin de las clausuras de los semiespacios SC , pues una inclusin es obvia y, si x est en la interseccin de los semiespacios cerrados, o bien est en la interseccin de los semiespacios abiertos, es decir, en I, o bien est al menos en la frontera de uno de ellos, y bajo esas hiptesis hemos probado ms arriba que x est en P, luego en ambos casos est en la clausura de I. Veamos que I es un conjunto acotado. En efecto, sea S una esfera que contenga a P. Como el exterior de S no contiene puntos de la frontera de I, o bien todos sus puntos estn en I, o bien ninguno lo est, pero si todos lo estuvieran, por convexidad todo el interior de S estara en I, lo cual es imposible (pues P no est en I), luego I est contenido en el interior de S y es, pues, acotado. Por consiguiente, la clausura de I es un
por las prolongaciones de sus lados y otra cara distinta el mismo plano no estara contenida en uno de dichos semiplanos, luego la cara contigua a convexo compacto, y todo convexo compacto en el espacio es homeomorfo a una bola, de forma que la frontera (en nuestro caso P) es homeomorfa a la esfera correspondiente. Como la esfera es una superficie

P es un poliedro simple. El complementario de I P es la unin de los semiespacios abiertos complementarios de los SC , luego es un conjunto no acotado. Si probamos que es conexo podremos concluir que I y dicho complementario son las dos nicas componentes conexas del complementario de P, y que I es la componente acotada, luego es el interior de P. Para probar que el complementario de I P es conexo consideramos una esfera que contenga a todos los vrtices de P en su interior. Hemos visto que est en dicho complementario. Como todo semiespacio cuya
topolgica, esto implica que frontera pase por el interior de la esfera contiene puntos de la misma, resulta que los semiespacios cuya unin es el complementario de I P cortan todos a la esfera luego tenemos una unin de conjuntos conexos que cortan todos a un mismo conexo. La unin es conexa. Esto termina la prueba de una implicacin. El recproco es consecuencia de que los compactos convexos tienen hiperplanos de soporte en todos los puntos de su frontera. Concretamente, si C es una cara de P, tomamos un punto interior p, con lo que existe un plano que pasa por

y que deja a todo el convexo (en

este caso la unin de P y su interior) en uno de los semiespacios que determina. Es obvio que dicho plano tiene que ser necesariamente la prolongacin de la cara. En particular hemos visto que los poliedros convexos son homeomorfos a esferas, y que sus interiores son homeomorfos a bolas abiertas. En la prctica, la clase de los poliedros simples nos resultar demasiado amplia, y consideraremos nicamente poliedros simples de gnero 0. Ya hemos explicado lo que es esto, pero destacamos la definicin: Un poliedro es esferoide o de gnero 0 si es homeomorfo a una esfera o, equivalentemente, si es homeomorfo a un poliedro convexo. Esto significa que el poliedro puede deformarse hasta convertirse en una esfera (o en un poliedro convexo) sin que en la deformacin se produzca ninguna ruptura y sin que dos puntos distintos acaben pegndose. La figura siguiente muestra un poliedro esferoide no convexo y cmo puede deformarse hasta convertirse en un poliedro convexo.

20

Segn hemos explicado, informalmente, un poliedro esferoide es un poliedro simple sin agujeros. El teorema de la curva de Jordan se generaliza al teorema de Jordan-Brouwer, segn el cual todo espacio P homeomorfo a una esfera (en particular todo poliedro esferoide) divide al espacio (ms precisamente, a su complementario en el espacio) en dos componentes conexas, una acotada y otra no acotada, de las cuales P es la frontera. En particular, su interior es siempre un conjunto conexo. As pues, un poliedro esferoide

determina una regin acotada del espacio limitada por un nmero finito de caras poligonales (las caras de

P), es decir, un poliedro en el sentido de la definicin informal que hemos tomado como punto de partida. No
obstante, conviene mantener el convenio que hemos adoptado en virtud del cual el poliedro es la superficie que limita a la regin, y no la regin misma.

EJEMPLOS: PRISMAS Y PIRMIDES

Terminamos esta seccin analizando dos ejemplos especialmente simples de poliedros convexos que probablemente conocer ya el lector, pero que nos servirn como introduccin al estudio de los poliedros regulares en la seccin siguiente. Un prisma es un poliedro que consta de dos caras paralelas, llamadas bases, de tal forma que una se obtiene de la otra mediante una traslacin y, si las bases tienen n lados, de otras n caras, llamadas caras laterales, que son paralelogramos entre cuyos lados figura un lado de una base y su trasladado en la otra base. Cuando la traslacin que relaciona las bases se realiza en direccin perpendicular a sus planos (o, equivalentemente, cuando las caras laterales son rectngulos) el prisma se dice recto, y en caso contrario oblicuo. La distancia entre las dos bases se llama altura del prisma. La figura muestra un prisma recto y otro oblicuo con la misma base y la misma altura. Un prisma es triangular, cuadrangular, pentagonal, hexagonal, etc. segn el nmero de lados de sus bases. Por lo tanto, los prismas de la figura son pentagonales.

21

Claramente, un prisma es un poliedro convexo si y slo si sus bases son polgonos convexos. Puesto que todas las secciones de un prisma (recto u oblicuo) respecto a planos paralelos a sus bases tienen la misma rea (las secciones son tambin traslaciones de las bases), el teorema de Fubini nos da que el volumen de un prisma es V = Sh, donde S es la superficie de la base y h la altura. Una pirmide es un poliedro que consta de una cara llamada base y, si la base tiene

n lados, de

otras n caras, llamadas caras laterales, que resultan de unir un lado de la base con un punto fijo situado fuera de su plano llamado vrtice de la pirmide. La distancia entre la base y el vrtice se llama altura de la pirmide. La figura muestra una pirmide pentagonal (con la misma base que los prismas anteriores). Como en el caso de los prismas, una pirmide es convexa si y slo si lo es su base.

h a su altura y S a la superficie de su base. Es claro que la seccin de la pirmide por un plano paralelo a la base y a una distancia x del vrtice tiene rea Sx tal que
Para calcular el volumen de una pirmide, llamamos

Sx
h h

=I

x 2 M S. h S x3 h B F h2 3 0

Por lo tanto, el teorema de Fubini nos da que el volumen es

x V = 0 Sx x = 0 I h M S x =

= 1 Sh. 3

Un paraleleppedo es un prisma cuyas caras son paralelogramos, por lo que son paralelas dos a dos.

Claramente, un paralelogramo queda completamente determinado por uno de sus vrtices linealmente independientes

O y tres vectores

OA, OB, OC, y es conocido que su volumen viene dado por

22

|
O y tres vectores

Claramente, un paralelogramo queda completamente determinado por uno de sus vrtices linealmente independientes

OA, OB, OC, y es conocido que su volumen viene dado por V = |det[OA, OB, OC]|.

Por otro lado, los mismos datos determinan tambin una pirmide (un tetraedro) OABC. Si comparamos el volumen del paraleleppedo, (que tambin puede calcularse como la superficie de su base por su altura) con el de la pirmide, que es un tercio de la superficie de su base (que a su vez es la mitad de la superficie de la base del paraleleppedo) por la misma altura, concluimos que el volumen del tetraedro es

V=

1 |det[OA, 6

OB, OC]|.

3. LOS POLIEDROS REGULARES

La definicin de polgono regular se generaliza de forma natural a la de poliedro regular. Como en el caso de los polgono, por simetra de un poliedro entendemos una isometra del espacio que transforma cada vrtice en un vrtice, cada arista en una arista y cada cara en una cara. Si llamamos centroide de un poliedro al centroide de sus vrtices, el teorema 1.8 implica que todas las simetras de un poliedro dejan invariante a su centroide, luego en particular son giros respecto a un eje que pasa por el centroide o bien simetras respecto de un plano que pasa por el centroide (pues stas son las nicas isometras del espacio con un punto fijo). Un poliedro es transitivo para vrtices (resp. aristas, caras) si para cada par de vrtices (resp. aristas, caras) tiene una simetra que transforma uno en otro. Un poliedro es regular si es transitivo para vrtices, aristas y caras. Veamos algunas consecuencias de estas definiciones: Teorema 3.1: Los vrtices de un poliedro transitivo para vrtices estn inscritos en una (nica) esfera cuyo centro es el centroide del poliedro (y que se suele llamar tambin circuncentro, o simplemente centro, del poliedro) y cuyo radio se llama circunradio, o simplemente radio, del poliedro. La esfera recibe el nombre de esfera circunscrita al poliedro.
Demostracin: Es inmediato, pues dados dos vrtices cualesquiera, existe una simetra del poliedro que transforma uno en otro y, como sta deja fijo al centroide, ambos vrtices estn a la misma distancia de l.

Teorema 3.2: Las caras (resp. aristas) de un poliedro transitivo para caras (resp. aristas) son tangentes a una (nica) esfera cuyo centro es el centroide del poliedro y cuyo radio (para el caso de las caras) se llama inradio del poliedro. La esfera (para el caso de las caras) recibe el nombre de esfera inscrita en el poliedro.
Demostracin: Por el mismo argumento empleado en el teorema anterior, todas las caras (resp. aristas) del poliedro estn a la misma distancia r del centroide del poliedro, luego la esfera con dicho centro y radio r es tangente a todas ellas, supuesto que r > 0. Ahora bien, no puede ser que todas las caras pasen por el centroide del poliedro, pues, si una lo hace, tendr al menos una arista que no lo contenga, y la cara contigua por dicha arista no pasar por el centroide. Como todas las caras tienen que estar a la misma distancia del centroide, ninguna pasa por l. Con las aristas se razona anlogamente.

Teorema 3.3: Las caras de un poliedro transitivo para vrtices y aristas son polgonos regulares, que sern simples si el poliedro lo es.
Demostracin: Los vrtices de una cara estn contenidos en un plano, y tambin en la esfera circunscrita, luego estn en una circunferencia. Por la transitividad para aristas, dos cualesquiera de sus lados tienen la misma longitud, y el teorema 1.11 nos da entonces que las caras son polgonos regulares.

Observemos adems que, como el centro de un poliedro regular equidista de los vrtices de una cara, se encuentra sobre la recta perpendicular a su plano y que pasa por su centro, luego el centro de la cara es el punto ms cercano al centro del poliedro, luego es el punto de tangencia de la esfera inscrita.

23

Teorema 3.4: Todas las simetras de una cara de un poliedro regular que dejen fijo a su centro son simetras del poliedro.
Demostracin: La prueba se basa en que podemos reconstruir el poliedro a partir de una de sus caras y de su esfera inscrita mediante el procedimiento siguiente: partimos de una cara C, y le situamos encima la esfera

C. (En lo sucesivo, cuando digamos que un S sobrentenderemos que el punto de tangencia es el centro del polgino.) La cara del poliedro contigua a C por uno de sus lados est unvocamente determinada por que es el nico polgono igual que C que comparte el lado con C y que es tangente a S. (Aqu usamos que por una recta exterior a una esfera pasan nicamente dos planos tangentes a ella, que en este caso son el plano de C y el plano de la cara contigua.) Por lo tanto, C y S determinan completamente las caras contiguas de C. Si al
inscrita de modo que el punto de tangencia sea el centro de polgono reguar es tangente a construir estas caras quedan aristas libres, es decir, sin cara contigua, resulta que sus caras contiguas por dichas aristas estn unvocamente determinadas del mismo modo, y as podemos ir aadiendo caras sin ningn margen de libertad hasta que no queden aristas libres.

S,

C y a S una misma isometra, el poliedro que se obtiene mediante el procedimiento que acabamos de describir a partir de las imgenes de C y S es la imagen por la isometra del que se obtiene a partir de C y S. En particular, si consideramos una isometra que fije a C y al centro del poliedro, tambin dejar fija a S, luego la imagen del poliedro por la isometra ser el poliedro construido a partir de C y S, luego ser el propio poliedro de partida. Esto significa que la isometra es una simetra
Es claro que si aplicamos a del poliedro. Si las caras de un poliedro regular son polgonos de tipo {n/k}, los giros de ngulo 360/n grados respecto de ejes que pasen por el centro del poliedro y el centro de una cara son simetras del poliedro, al igual que lo son las simetras respecto de planos que pasen por el centro del poliedro y por un eje de simetra de una cara. Esto nos da una caracterizacin de la regularidad:

C y C, todo par de aristas a y a tales que a es un lado de C y a es un lado de C y todo par de vrtices v y v tales que v es un extremo de a y v es un extremo de v existe una simetra del poliedro que transforma C en C, a en a y v en v.
Teorema 3.5: Un poliedro es regular si para todo par de caras
Demostracin: Una implicacin es inmediata. Si el poliedro es regular, por la transitividad para caras existe una simetra que transforma C en C. Componindola con un giro adecuado de C podemos hacer que a se

corresponda con

a y, en caso de que v no se corresponda con v, podemos tomar una simetra de C que

deje fija la arista a intercambiado sus extremos, y al componer con esta simetra (que tambin lo es del poliedro) obtenemos una simetra que cumple lo pedido.

EL HEXAEDRO
El poliedro regular ms fcil de estudiar es el hexaedro o cubo, que no es sino un prisma de bases cuadradas cuyas caras laterales son tambin cuadradas. En particular es un poliedro convexo.

24

El cubo tiene C = 6 caras cuadradas, A = 12 aristas y V = 8 vrtices, a cada uno de los cuales llegan 3 aristas. Observemos que el cubo es regular, pues los giros de 90 respecto a ejes que pasan por el centro de dos caras opuestas son simetras del cubo y con ellas podemos transformar cualquier cara en cualquier cara, cualquier arista en cualquier arista y cualquier vrtice en cualquier vrtice. Es claro que el inradio de un cubo es a su vez, teniendo en cuenta que

r = l/2, mientras que de la figura siguiente se deduce que CV = l/

3
2

2,y

OC = l/2, que el circunradio es R =

l.

La tabla siguiente resume los resultados que hemos obtenido y otros inmediatos. Todos se refieren a un cubo de arista 1. En general, el ngulo didrico de un poliedro en una arista es el ngulo que forman las dos caras que la comparten como lado. Es claro que en un poliedro regular todos los ngulos didricos son iguales, as como que en el caso del cubo son de 90 , como indica la tabla.

Radio Inradio Volumen rea ngulo didrico

3 2 1 2

90

EL TETRAEDRO
El poliedro regular ms sencillo es el tetraedro, que no es sino una pirmide cuya base y cuyas caras laterales son todas tringulos equilteros.

25

Consta de C = 4 caras triangulares, A = 6 aristas y V = 4 vrtices, a cada uno de los cuales llegan 3 aristas. Es fcil ver que existen realmente tetraedros (es decir, que cuatro puntos pueden disponerse de forma que la distancia entre dos cualesquiera de ellos sea la misma), pero una forma de verlo que nos ser particularmente til es observar que podemos construir un tetraedro uniendo cuatro de los ocho vrtices de un cubo:

Como un vrtice equidista de los otros tres, est en la recta perpendicular a su cara opuesta que pasa por su centro, y los giros de 120 respecto tales rectas son claramente simetras del tetraedro que bastan para justificar su regularidad. Continuando con la figura, vemos que la esfera circunscrita al tetraedro es la misma que la del cubo, si la arista del tetraedro mide l, la del cubo mide circunradio es
2 2

l,

luego, segn los clculos de la subseccin precedente el

R=

3 2

2 2

l=

3 2 2

l.

Para calcular el incentro observamos la figura siguiente, en la que el tringulo VOC es rectngulo, ya que, como el centro equidista de los tres vrtices de una cara, est sobre la recta perpendicular a su plano que pasa por su centro, y el segmento OC est sobre dicha recta. Por la geometra del tringulo equiltero sabemos que

VC =

3 3

l, y el teorema de Pitgoras nos da que el inradio es r =

1 2 6

l.

26

Ahora es inmediato que la altura de un tetraedro (visto como pirmide) es cara es decir,

h=R+r=

2 3

l. El rea de una

3 4 1 2

l2 , l3 .

luego el rea del tetraedro es

l2. El volumen es 1/3 del rea de una cara por la altura, es

Por ltimo, el ngulo didrico tiene por seno el cociente entre la altura del tetraedro y la

altura de una cara, que es

3 2

l, luego dicho seno es

2 3

y el coseno es 1/3. La tabla siguiente recoge los

datos de un poliedro de arista

l = 1:
3 1 2 6
6 1 2

Radio Inradio Volumen rea ngulo didrico

2 2

arccos@13D

EL OCTAEDRO
Para presentar el siguiente poliedro regular observamos primero un hecho general: Dado un poliedro regular, podemos formar otro poliedro tomando como vrtices los centros de las caras del poliedro dado, como aristas los segmentos que unen los centros de cada par de caras contiguas, y como caras los polgonos determinados por las aristas asociadas a caras del poliedro dado unidas por aristas que llegan a un mismo vrtice. Dicho poliedro se llama poliedro dual del poliedro dado. Observemos que la condicin 3) de la definicin de poliedro asegura que las caras del poliedro dual cumplen la definicin de polgono. El poliedro dual tiene tantas caras como vrtices tiene el poliedro dado, y viceversa, as como el mismo nmero de aristas (pues cada arista del poliedro dado une dos caras contiguas, las cuales determinan una arista del poliedro dual). La figura muestra el poliedro dual del tetraedro, que no es sino otro tetraedro, mientras que el poliedro dual del hexaedro es un nuevo poliedro regular, llamado octaedro, pues tiene C = 8 caras triangulares, A = 12 aristas y V = 6 vrtices, a cada uno de los cuales llegan 4 aristas. La figura muestra tambin que el dual del octaedro es el hexaedro:

27

P es tambin un poliedro regular, pues todas las simetras P son tambin simetras de su dual, y la transitividad para vrtices (resp. aristas, caras) de P implica la transitividad para caras (resp. aristas vrtices) de su dual. Si el octaedro tiene arista l, es claro que los cuatro vrtices distintos de dos vrtices opuestos forman un cuadrado de lado l, y su radio ser el radio del octaedro
En general, el poliedro dual de un poliedro regular de (pues el centro del cuadrado equidista de cuatro de sus vrtices, luego de todos). Por consiguiente, el radio

l. Para calcular el inradio usamos de nuevo que, tal y como muestra la figura, el radio de una cara VC, el radio del octaedro OV y el inradio OC forman un tringulo rectngulo y, por la geometra del trines R =
2

gulo equiltero, el radio de la cara es

3 3

l, de donde concluimos que r =

1 6

l.

La tabla siguiente contiene los datos del octaedro para

l = 1.
2 3 arccos@-13D

Radio Inradio Volumen rea ngulo didrico

1 2 1 6
2 3

El rea y el volumen se obtienen fcilmente (el segundo como suma de los volmenes de las dos pirmides de base cuadrada en que puede descomponerse el octaedro). Para obtener el ngulo didrico basta tener en cuenta que el seno del ngulo medio es

R dividido entre la altura de una cara, que es EL ICOSAEDRO

3 2

l.

A continuacin estudiamos un nuevo poliedro regular, el icosaedro, que tiene

C = 20 caras triangulares, A = 30

aristas y V = 12 vrtices, a cada uno de los cuales llegan 5 aristas. La figura siguiente muestra su aspecto, pero no justifica su existencia. Observemos que la existencia del hexaedro y del tetraedro era inmediata, y que el octaedro lo hemos obtenido como dual del hexaedro, mientras que no es evidente que los 20 tringulos que muestra la figura puedan disponerse de forma que sean todos equilteros y formen ngulos polidricos iguales.

28

|
C = 20 caras triangulares, A = 30

A continuacin estudiamos un nuevo poliedro regular, el icosaedro, que tiene

aristas y V = 12 vrtices, a cada uno de los cuales llegan 5 aristas. La figura siguiente muestra su aspecto, pero no justifica su existencia. Observemos que la existencia del hexaedro y del tetraedro era inmediata, y que el octaedro lo hemos obtenido como dual del hexaedro, mientras que no es evidente que los 20 tringulos que muestra la figura puedan disponerse de forma que sean todos equilteros y formen ngulos polidricos iguales.

Realizaremos la construccin en varios pasos:

Paso 1 2 3 4 5 6 7

Mostrar en ventana

Paso 1: Partimos de un pentgono regular de lado l. La geometra del pentgono nos da que su radio es menor que su lado, por lo que podemos tomar un punto

O situado sobre la perpendicular al pentgono que

pasa por su centro cuya distancia a cada uno de los vrtices sea igual a l.

29

Paso 1: Partimos de un pentgono regular de lado l. La geometra del pentgono nos da que su radio es menor que su lado, por lo que podemos tomar un punto

O situado sobre la perpendicular al pentgono que

pasa por su centro cuya distancia a cada uno de los vrtices sea igual a l. Paso 2: Tenemos as la superficie lateral de una pirmide pentagonal cuyas aristas miden todas l. Ahora

AOC es igual a ABC, por lo que el ngulo AOC es de 108, es decir, el ngulo interior del pentgono regular. Por lo tanto, podemos construir un pentgono regular que contenga a AO y OC como lados, y unir todos sus vrtices con el punto B. Paso 3: Como B est a distancia l de los vrtices A, O y C, est sobre la recta perpendicular a su plano y que pasa por el centro de la circunferencia que los contiene, que es el centro del nuevo pentgono OAFGC, luego B est a distancia l de los cinco vrtices del pentgono, y as, los ocho tringulos representados en la
observamos que el tringulo figura son equilteros (y los dos pentgonos que se ven son regulares, y en particular planos). Observamos ahora que todos los vrtices que hemos construido hasta aqu se encuentran sobre una esfera. En efecto, el lugar geomtrico de los puntos que equidistan de los vrtices del pentgono ABCDE es la recta perpendicular a su plano que pasa por su centro, la cual contiene al vrtice est a la misma distancia del vrtice el centro de la nica esfera que los contiene. Falta probar que los vrtices

O, y slo uno de sus puntos

O. Llamemos P a dicho punto equidistante de los seis vrtices, que es F y G estn en la misma esfera, pero esto se debe a que P equidista de los puntos C, O y A, luego est sobre la recta perpendicular al plano
que los contiene y que pasa por el centro de la circunferencia que los contiene, pero ste es el centro del pentgono OAFGC, luego P equidista de todos los vrtices de este pentgono.

D, O, B, G estn en el mismo plano. Esto se debe a que C como de P, luego estn en la interseccin de dos esferas, que es una circunferencia. Como los ngulos DOB y OBG son ambos de 108 , concluimos que los cuatro vrtices forman parte de un pentgono regular. Llamamos H al quinto vrtice. Paso 4: Como en el paso anterior se razona que C est a distancia l de los cinco vrtices del nuevo pentPor otra parte, observamos que los cuatro vrtices estn a la misma distancia tanto de gono, con lo que todos los tringulos son equilteros e igualmente concluimos que todos los vrtices estn sobre la esfera de centro P. Igualmente razonamos que tanto los vrtices E, O, C, H como los vrtices E,

O, B, F forman parte de sendos pentgonos regulares, que podemos aadir a la construccin.

Paso 5: La repeticin de los razonamientos precedentes justifica que todos los vrtices representados en la figura estn sobre la misma esfera, que todas las caras que determinan son tringulos equilteros, y que los cinco pentgonos son regulares. Adems, los cinco vrtices A, O, D, I, J estn sobre una misma circunferencia, porque equidistan de nuevo pentgono regular.

y de

P,

y como forman ngulos de 108 , podemos concluir que determinan un

Paso 6: En este punto tenemos que todos los pentgonos que muestra la figura son regulares por construccin salvo quiz el pentgono FGHIJ. Ahora bien, todos sus puntos estn a la misma distancia de O, a saber a distancia Fl, la diagonal de un pentgono regular de lado l, luego los cinco puntos estn en la interseccin de dos esferas: una de centro P y otra de centro O, luego estn sobre una misma circunferencia y a su vez esto nos permite concluir como siempre que forman un pentgono regular. As podemos repetir el paso 2 y construir una pirmide pentagonal sobre l cuyas aristas tengan todas longitud l. Paso 7: Supongamos que no hubiramos construido el vrtice lugar observamos que los vrtices usual, porque equidistan de

(ni por tanto la ltima pirmide), y en su

G, B, A, J estn sobre una misma circunferencia (por el argumento P por una parte y de F por otra), lo que nos permite concluir como siempre que pueden completarse hasta un pentgono regular con un vrtice K. Como F est a distancia l de G, B, A, J, est a la misma distancia de K, luego K est a la misma distancia l de C, F y G. Esto implica que est a la misma distancia de los cinco vrtices del pentgono regular FGHIJ, luego K es el mismo punto K. Con esto hemos probado que la base de la pirmide que rodea a F es un pentgono regular, y el mismo argumento se aplica a las pirmides de C, G, H, I, con lo que concluimos que las doce pirmides pentagonales del icosaedro tienen base regular. En la construccin anterior hemos visto que el vrtice

equidista de los cinco vrtices del pentgono

FGHIJ,

los cuales por otra parte equidistan de K y de P. Esto prueba que los puntos O, P y K estn alineados y el argumento vale claramente para todo par de vrtices opuestos. Equivalentemente: la diagonal que une dos vrtices opuestos de un icosaedro pasa por su centro y es perpendicular a los dos pentgonos regulares que atraviesa. Esto implica que un giro de 72 respecto de dicha diagonal permuta los vrtices de ambos pentgonos y fija a los dos vrtices que une. Es claro entonces que tal giro es una simetra del icosaedro, as como que componiendo adecuadamente varios de estos giros (respecto de diagonales distintas) podemos transformar cualquier vrtice en cualquier vrtice, cualquier arista en cualquier arista y cualquier cara en cualquier cara. Esto prueba que el icosaedro es un poliedro regular.

30 | FGHIJ, los cuales por otra parte equidistan de

En la construccin anterior hemos visto que el vrtice

equidista de los cinco vrtices del pentgono

y de P. Esto prueba que los puntos O, P y K estn alineados y el argumento vale claramente para todo par de vrtices opuestos. Equivalentemente: la diagonal que une dos vrtices opuestos de un icosaedro pasa por su centro y es perpendicular a los dos pentgonos regulares que atraviesa. Esto implica que un giro de 72 respecto de dicha diagonal permuta los vrtices de ambos pentgonos y fija a los dos vrtices que une. Es claro entonces que tal giro es una simetra del icosaedro, as como que componiendo adecuadamente varios de estos giros (respecto de diagonales distintas) podemos transformar cualquier vrtice en cualquier vrtice, cualquier arista en cualquier arista y cualquier cara en cualquier cara. Esto prueba que el icosaedro es un poliedro regular. Observemos ahora que las diagonales que unen dos pares de vrtices opuestos se cortan en el centro del poliedro, luego dos pares de vrtices opuestos estn contenidos en la misma circunferencia y forman un cuadrilatero inscrito cuyas diagonales son dimetros, luego sus ngulos son rectos (porque abarcan semicircunferencias). En resumen: dos pares de vrtices opuestos en un icosaedro forman un rectngulo. Podemos elegir tres de estos rectngulos de modo que tengan conjuntos disjuntos de vrtices, tal y como muestra la figura siguiente:

Los lados menores son lados del icosaedro, de longitud l, mientras que los lados mayores son diagonales de pentgonos de lado l, luego tienen longitud Fl. As pues, los rectngulos tienen proporcin urea. Es claro que los vrtices de uno de los rectngulos equidistan de dos vrtices adyacentes de otro, luego un rectngulo est contenido en el plano perpendicular a un cierto lado de cualquiera de los otros rectngulos, luego los tres rectngulos estn sobre planos perpendiculares dos a dos. A partir de aqu es fcil deducir un sencillo conjunto de coordenadas cartesianas para los vrtices de un icosaedro respecto de un sistema de referencia adecuado. Lo dejamos a cargo del lector. Ahora es inmediato que el radio del icosaedro (que es la mitad de la diagonal de cualquiera de los rectngulos de lados

l y Fl), es R= F+2 2 l= 1 2 5+ 2 5 l

Para calcular el inradio usamos, como de costumbre, que el inradio un tringulo rectngulo, con lo que

r, el radio y el radio de una cara forman

r2 =

5+ 8

1 3

l2 =

7+3 24

l2 r =

7 +3 24

l=
2

F2 3

l2 .

Ahora es fcil calcular el volumen del icosaedro como suma de los volmenes de las 20 pirmides pentagonales que lo componen, cuya altura es el inradio. El ngulo didrico se obtiene observando que los vrtices de dos caras contiguas opuestos al lado comn estn a una distancia tringulo issceles cuyo lado opuesto tiene longitud resultados para un icosaedro de lado unitario son:

Fl, luego el ngulo didrico aparece en un

3 2

Fl

y en el que los lados contiguos miden

Fl.

Los

31 Ahora es fcil calcular el volumen del icosaedro como suma de los volmenes de las 20 pirmides pentagonales que lo componen, cuya altura es el inradio. El ngulo didrico se obtiene observando que los vrtices de
dos caras contiguas opuestos al lado comn estn a una distancia tringulo issceles cuyo lado opuesto tiene longitud resultados para un icosaedro de lado unitario son:

Fl, luego el ngulo didrico aparece en un

3 2

Fl

y en el que los lados contiguos miden

Fl.

Los

Radio
1 2 5+ 5 2

Inradio Volumen rea ngulo didrico

F2 2 3
5 F2 6

5 3

arccos@-

5 3

EL DODECAEDRO C = 12 caras pentagonales, A = 30 aristas y V = 20 vrtices, a cada uno de los cuales llegarn 3 aristas (y por ser el dual de un poliedro
A partir del icosaedro podemos formar su poliedro dual, el dodecaedro, que tendr regular es tambin regular).

Para calcular el radio del dodecaedro observamos que contiene un cubo del mismo radio:

El lado del cubo es

Fl,

luego, segn los datos que hemos obtenido para el cubo, su radio es

R=

Usando una vez ms que el inradio, el circunradio y el radio de una cara forman un tringulo rectngulo, obtenemos que

3 2

Fl.

r2 =

3 4

F2 l 2 -

5+ 5 10

l2 =

25+11 5 40

l2 r =

25+11 5 40

l.

32

Ahora ya es fcil calcular la superficie y el volumen del dodecaedro (como suma de los volmenes de las doce pirmides pentagonales que lo forman). Para l =1 los valores son:

Radio
3 F 2

Inradio
25+11 5 40

Volumen
15+7 5 4

rea 3 25 + 10 5

ngulo didrico

arccos@-

5 5

Para calcular el ngulo didrico razonamos sobre la figura siguiente:

Si el dodecaedro tiene lado 1, el pentgono sombreado tiene lado lado

F,

luego el rectngulo sombreado tiene

, luego el tringulo

EHG

tiene un lado de longitud

y los otros dos de longitud

h
F

Fcos
=

18 =
5

2+F , de donde su altura es de donde la mitad del ngulo didrico tiene seno igual a 2

5+ 10

2+F

De aqu se obtiene el coseno que aparece en la tabla anterior. (Ntese que una expresin alternativa es arctan[-2]).

LOS SLIDOS PLATNICOS

Mientras que existen infinitos polgonos regulares convexos, sucede que los nicos poliedros regulares convexos son los cinco que hemos presentado hasta aqu, conocidos tambin como slidos platnicos. La figura siguiente muestra los cinco junto con sus esferas inscritas y circunscritas.

33

Poliedro Opacidad esfera Opacidad poliedro

Tetraedro

Hexaedro

Octaedro

Dodecaedro

Icosaedro

La tabla siguiente recopila la informacin que hemos obtenido sobre ellos, pero, para no repetir exactamente lo mismo, presentamos los datos para poliedros de radio R = 1 en lugar de arista l = 1. Incluimos adems el nmero de lados de cada cara

c y el nmero de aristas que llegan a cada vrtice v.

A V c 6 4 3 12 8 4 12 6 3 30 20 5 30 12 3 v l r Vol rea D 3 1.63299 0.33333 0.5132 4.6188 70.52 3 1.1547 0.57735 1.5396 8 90 4 1.41421 0.57735 1.33333 6.9282 109.47 3 0.71364 0.79465 2.78516 10.514 116.56 5 1.0546 0.79465 2.53615 9.5745 138.19

C Tetraedro 4 Hexaedro 6 Octaedro 8 Dodecaedro 12 Icosaedro 20

(luego tambin

P de un poliedro regular cualquiera en el que concurran v caras v aristas), los v vrtices adyacentes a P tienen que estar sobre la esfera de centro P y radio igual a la arista l del poliedro, y tambin sobre la esfera de centro el centro del poliedro y radio igual al radio del poliedro, luego estn en la interseccin de dos esferas, que es una circunferencia de radio r y, en particuObservemos que si consideramos un vrtice lar estn en el mismo plano. Ms an, por definicin de poliedro podemos disponer cclicamente dichos vrtices de modo que las aristas que unen P con dos vrtices consecutivos sean dos lados contiguos de la misma cara. Esto implica que si unimos con un segmento cada par de vrtices consecutivos obtenemos un polgono de v lados. Adems, dichos lados sern todos iguales, pues si las caras del poliedro tienen c lados,

c-gono regular de radio r que une dos vrtices adyacentes a un tercero (que en este caso es P). (Notemos que si c = 3 en lugar
la longitud de cada lado del polgono que hemos formado debe ser la de la diagonal de un de una inexistente diagonal de un tringulo equiltero lo que tenemos es uno de sus lados, pero el argumento vale igualmente). Por el teorema 1.11 sabemos que el polgono que hemos formado es regular, y ser simple si el poliedro lo es, ya que si dos de sus lados se cortan, como dichos lados son diagonales de caras del poliedro, stas se cortaran tambin en puntos distintos de sus aristas.

34

v lados. Adems, dichos lados sern todos iguales, pues si las caras del poliedro tienen c lados, la longitud de cada lado del polgono que hemos formado debe ser la de la diagonal de un c-gono regular de radio r que une dos vrtices adyacentes a un tercero (que en este caso es P). (Notemos que si c = 3 en lugar
polgono de de una inexistente diagonal de un tringulo equiltero lo que tenemos es uno de sus lados, pero el argumento vale igualmente). Por el teorema 1.11 sabemos que el polgono que hemos formado es regular, y ser simple si el poliedro lo es, ya que si dos de sus lados se cortan, como dichos lados son diagonales de caras del poliedro, stas se cortaran tambin en puntos distintos de sus aristas. Se llama figura asociada a un vrtice P de un poliedro regular al polgono regular cuyos vrtices son los vrtices adyacentes al vrtice dado, de modo que dos vrtices son adyacentes si las aristas que los unen con P forman parte de la misma cara. Es claro que una simetra del poliedro que transforma un vrtice en otro transforma la figura de uno en la figura del otro, por lo que todas las figuras de los distintos vrtices de un poliedro regular son iguales. Puesto que el vrtice P equidista de los vrtices de su figura, el segmento que lo une con el centro de su figura es perpendicular al plano de sta y la recta que lo contiene pasa por el centro del poliedro. Podemos formar una pirmide con base la figura y vrtice P, de modo que para visualizar la figura de un vrtice P de un poliedro no es necesario considerar sus vrtices adyacentes, sino que basta cortar el poliedro por un plano perpendicular a la recta que une P con el centro, y la seccin obtenida es homottica a la figura. La figura siguiente muestra las figuras de los slidos platnicos:
Figura

Observamos que un slido platnico est completamente determinado por el tipo de cara y el de la figura de sus vrtices, y es habitual representar mediante {c,v} al slido platnico cuyas caras son de tipo {c} y las figuras de sus vrtices son de tipo {v}. As, {3, 3} es el tetraedro, {4, 3} es el hexaedro, {3, 4} es el octaedro, {5, 3} es el dodecaedro y {3, 5} es el icosaedro. Veamos que, tal y como hemos indicado, no hay ms posibilidades: Teorema 3.6: Los nicos poliedros simples (en particular, convexos), transitivos para vrtices, cuyas caras son polgonos regulares iguales (en particular, los nicos poliedros regulares simples) son los slidos platnicos.
Demostracin: Pongamos que las caras del poliedro (que necesariamente son polgonos regulares simples) tienen c lados. Las hiptesis bastan para justificar que los vrtices adyacentes a uno dado P deben formar un polgono regular simple. En efecto, la transitividad para vrtices asegura que existe la esfera circunscrita que contiene a todos los vrtices y, por otra parte, como todas las caras son polgonos regulares iguales (necesariamente simples), todas las aristas tienen la misma longitud l, luego todos los vrtices adyacentes a

estn tambin en la esfera de centro P y radio l, luego al estar en la interseccin de dos esferas estn sobre una circunferencia y por definicin de poliedro forman un polgono, que ser simple al serlo el poliedro (y lo llamaremos figura F del vrtice P). Ms an, todos los lados de la figura son iguales, pues miden l si las caras son tringulos, y en otro caso su longitud es la de la diagonal {v}. La transitividad para vrtices justifica que el valor de

de dos vrtices del polgono {c} (de

lado l) con un vrtice adyacente comn. El teorema 1.11 justifica que

F es un polgono regular, digamos v es el mismo para todos los vrtices del poliedro. Un simple clculo muestra que el lado de la figura F mide d = 2l cos(p/c), con lo que su radio es r=
l cosHpcL . senHpvL

|
l cosHpcL . senHpvL

35

r=
Consideremos la pirmide de base

F y altura P. Como P equidista de los vrtices de F, su altura h y el radio r deben formar un tringulo rectngulo cuya hipotenusa es l, lo cual requiere en particular que se cumpla r < l. Para un valor fijo de c, la expresin anterior para r crece a medida que v crece. Por ejemplo, si c = 3, tenemos que, para v = 6 ya sale r = l, por lo que podemos concluir que si el poliedro est formado por caras
triangulares, su figura puede ser un tringulo, un cuadrado o un pentgono, pero un nmero de lados mayor es imposible. Similarmente, si c = 4, para v = 4 ya obtenemos r = l, luego si las caras son cuadrados la figura es necesariamente un tringulo, y lo mismo vale si las caras son pentgonos, pues para que ya es imposible. Por ltimo, si ms de cinco lados.

v = 4 sale r = 1.14 l,

c6yv=3

obtenemos que r r l, por lo que las caras no pueden tener

Con esto hemos probado que los valores {c, v} para el poliedro dado deben coincidir con los correspondientes a un slido platnico. Falta probar que es necesariamente el slido platnico correspondiente. Para ello observamos que el razonamiento anterior muestra que la figura de cualquier vrtice P est completamente determinada por los valores de

v,

al igual que la altura

de la pirmide de vrtice

que la tiene por

base, pues puede calcularse a partir de r y l por el teorema de Pitgoras. A partir de aqu ya es fcil probar que el poliedro tiene que ser el slido platnico correspondiente. Vamos a razonarlo para el caso del icosaedro, y dejamos los otros cuatro casos al lector, que son ms sencillos. Se trata de probar que si el poliedro tiene tipo {3, 5} es necesariamente un icosaedro regular. El razonamiento lo ilustra la misma figura que hemos empleado en la construccin del icosaedro. En realidad podemos empezar por el paso 2: Paso 2: Dado un poliedro en las hiptesis del teorema y de tipo {3, 5}, sabemos que los vrtices contiguos a uno de sus vrtices O deben formar la base de una pirmide pentagonal idntica a la del icosaedro del mismo lado. Si nos fijamos, por ejemplo, en el vrtice

A, O, C,

pero slo existe un pentgono regular que contenga dichos vrtices, luego la figura del vrtice debe ser la misma que la del icosaedro. Paso 3: Por lo tanto, las cinco caras que concurren en el vrtice

B, sabemos que su figura debe contener a los vrtices B B son exactamente las mismas que las del C
tienen que ser las mismas que las del

icosaedro. Similarmente, la figura del vrtice C debe tener entre sus vrtices a los vrtices D, O, B, G, pero slo hay un pentgono con dichos vrtices, que es el que forma la figura correspondiente del icosaedro. Paso 4: Concluimos que las caras que concurren en el vrtice icosaedro. Igualmente se razona con los vrtices

A y D. E tiene que ser la del icosaedro.

Paso 5: Ahora es inmediato que la quinta cara que llega al vrtice Paso 6: Por ltimo, las figuras de los vrtices

F, G, H, I, J tienen que ser las mismas que las del icosaedro.

Paso 7: Por lo tanto, como le sucede al icosaedro, todas estas figuras comparten un mismo vrtice comn K que cierra el poliedro y lo hace igual al icosaedro. As pues, hemos probado que si estamos dispuestos a restringirnos a poliedros simples, podramos haber definido un poliedro regular como un poliedro (simple) transitivo para vrtices cuyas caras son polgonos regulares iguales. Esto basta para justificar que son slidos platnicos y, en particular regulares en el sentido fuerte. Veremos ms adelante que la condicin de transitividad para vrtices se puede debilitar hasta el punto de no hacer referencia a simetras (teorema 4.10).

EL GRAN DODECAEDRO
En la construccin del icosaedro hemos visto que cada vrtice es el vrtice de una pirmide cuya base es un pentgono regular, de modo que en el interior de cada icosaedro hay doce de estos pentgonos. La figura siguiente permite destacarlos uno a uno para ver su disposicin.

36

Icosaedro Dodecaedro Esfera Inscrita

Ocultar todas las caras

c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12

Mostrar todas las caras

Mostrar en ventana

Ahora bien, si hacemos visibles todos los pentgonos y ocultamos el icosaedro nos encontraremos con un nuevo poliedro, conocido como gran dodecaedro, y que consta de C = 12 caras pentagonales, A = 30 aristas y

V = 12 vrtices, a cada uno de los cuales concurren 5 aristas. Observemos que, ciertamente, el gran dodecaedro cumple todos los requisitos que exige la definicin de poliedro que hemos dado: cada arista pertenece exactamente a dos caras, se puede pasar de cualquier cara a cualquier otra por una cadena de caras contiguas y las diez aristas que concurren en un vrtice pueden disponerse cclicamente de forma que cada par de aristas consecutivas comparten cara. Ms an, es fcil ver que las simetras del icosaedro son tambin simetras del gran dodecaedro, y son suficientes para justificar que es regular. Eso s, no es un poliedro simple, sino que sus caras tienen autointersecciones. Para comprender la estructura de cada vrtice conviene seleccionar en la figura las cinco primeras caras, todas las cuales tienen un mismo vrtice en comn. La forma en que se disponen se aprecia mejor si mostramos tambin la cara nmero 11. As se ve cmo las cinco caras concurrentes cortan a la undcima a travs de los lados de su pentagrama, de modo que dos caras son contiguas si y slo si sus cortes con la cara undcima son lados contiguos del pentagrama. Si miramos el vrtice por el extremo opuesto veremos que las cinco caras que concurren en l forman la superficie lateral de una pirmide pentagonal (para verla entera hay que ocultar la cara undcima) cuya base es otra de las caras del gran dodecaedro (la duodcima en la figura). La cara undcima trunca la pirmide y le pone una cara superior pentagonal. El pentgono es precisamente el pentgono central de su pentagrama. Los doce pentgonos centrales de las doce caras forman un dodecaedro que puede hacerse visible en la figura con el control correspondiente. Su disposicin se aprecia claramente mostrando todas las caras excepto la octava, la dcima y la duodcima. La esfera inscrita en el dodecaedro central es tambin la esfera inscrita al gran dodecaedro, y tambin puede hacerse visible en la figura.

37

Puesto que la arista y el radio del gran dodecaedro coinciden con los del icosaedro, sabemos que su relacin es:

R=
mas, cuyo lado mide l/F2 , luego es

1 2

5+ 2

l.

En cuanto al inradio, es el del dodecaedro interior, cuya arista es la del pentgono interno de los pentagra-

r=

1 F
2

25 + 11 40

l=

1 4

10 + 2 5

l.

Si interpretamos como rea del gran dodecaedro la suma de las reas de sus doce caras, entonces sta es igual a

S = 15

5+2 5 5

l2 = 3

25 +10

l2 ,

aunque tambin podemos calcular el rea de la superficie real del gran dodecadedro, es decir, considerndolo como un poliedro esferoide formado por 60 caras triangulares, 90 aristas y 32 vrtices. En tal caso, cada cara es un tringulo ureo, con un lado de longitud l y otros dos lados de longitud l/F. Por lo tanto, su rea es

S = 60

sin@36D
2F

l2 = 15

5 -2

l2 .

Para calcular el volumen podemos ver al gran dodecaedro como el resultado de quitarle al icosaedro 20 pirmides con base un tringulo equiltero de lado l y cuyas caras laterales son tringulos issceles con un lado igual a

l y los otros dos iguales a l/F. Es fcil ver entonces que la altura de la pirmide es h=
1 F2 1 3

l=

7-3 6

l=

1 3 F4

l=

l
3 F2

Por lo tanto, el volumen del gran dodecaedro es:

V=

5 F2 6

l3 - 20

1 3

3 4

l3
3 F
2

5 I3 + 12

5M

l3 -

20 12 3 +

2 5

l3 =

5 4

H 5 -1L l3

Para calcular el ngulo didrico observamos la figura siguiente:

38

El tringulo tiene al ngulo didrico por uno de sus ngulos. Si suponemos que el icosaedro tiene lado unitario, entonces el lado opuesto al ngulo didrico mide F (porque es la diagonal de uno de los pentgonos de lado 1), y los otros dos lados miden F cos[18 ], de donde es fcil deducir el seno de la mitad del ngulo didrico y de ah su coseno. La tabla siguiente resume lo que hemos obtenido:

Radio
1 2 5+ 5 2 1 4

Inradio
10+2 5 5

Volumen
5 H 4

rea 15 5 -2 5

ngulo didrico

5 -1L

arccos@

5 5

EL PEQUEO DODECAEDRO ESTRELLADO

Vamos a construir el poliedro dual del gran dodecaedro, que ser otro poliedro regular. Tiene 12 vrtices, que son los centros de las 12 caras del gran dodecaedro, y tambin los centros de las 12 caras del pequeo dodecaedro (convexo) contenido en su interior. De cada vrtice salen cinco aristas que llegan a los centros de las cinco caras contiguas, pero no contiguas en el pequeo dodecaedro, sino en el gran dodecaedro. Para ver cules son conviene mostrar en la figura interactiva del gran dodecaedro las caras 1, 2, 3, 4, 5 y 12, junto con el pequeo dodecaedro central. Las cinco primeras son las caras contiguas a la duodcima. Si ocultamos sta ltima y nos fijamos en las caras del pequeo dodecaedro que contienen a las otras cinco, vemos que son las cinco caras que estn a dos caras de distancia de la cara duodcima. As pues, para construir el poliedro dual del gran dodecaedro hemos de unir el centro de cada cara de un dodecaedro convexo con los centros de las cinco caras que estn a dos caras de distancia. Por otra parte, las caras 1, 2, 3, 4, 5 son tambin un grupo de cinco caras con un vrtice en comn, luego las aristas del poliedro dual que tienen por vrtices sus centros forman una cara de dicho dual. Como cada centro no se une a los centros de las caras contiguas (en el dodecaedro pequeo), sino con los las dos siguientes, el polgono que forman no es un pentgono, sino un pentagrama. Podemos ver la situacin en la figura siguiente si mostramos nicamente una de las caras. Si las mostramos todas veremos el pequeo dodecaedro estrellado.

39

Dodecaedro Exterior Icosaedro Dodecaedro

Ocultar todas las caras

c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12

Mostrar todas las caras

Sabemos que uniendo (de otro modo) los centros de las caras de un dodecaedro obtenemos un icosaedro (el poliedro dual del dodecaedro), por lo que los vrtices del pequeo dodecaedro estrellado son tambin los vrtices de un icosaedro del mismo radio, que tambin puede mostrarse en la figura. Vemos as que el pequeo dodecaedro estrellado puede obtenerse a partir de un icosaedro de forma anloga a como hemos obtenido el gran dodecaedro: en lugar de tomar como caras los pentgonos situados bajo cada vrtice, tomamos los pentagramas correspondientes. Si a partir de un mismo icosaedro construimos su gran dodecaedro y su pequeo dodecaedro estrellado, ambos compartirn el mismo pequeo dodecaedro interior, que tambin puede verse en la figura (ocultando algunas caras). Por lo tanto, el pequeo dodecaedro estrellado puede construirse tambin situando una pirmide pentagonal (de la altura adecuada) sobre cada cara de un dodecaedro. Si el pequeo dodecaedro estrellado tiene arista l, entonces el icosaedro tiene lado l/F, luego su radio (que es el mismo para los dos) es

R= 21F

5+ 5 2

l=

1 2

5- 5 2

l.

El inradio es el mismo que el del gran dodecaedro asociado al icosaedro, es decir,

1 4F

10 + 2 5

l=

1 4

10 - 2 5

l. l
hemos de aadirle

Para construir un pequeo dodecaedro estrellado a partir de un dodecaedro de lado

pirmides de base de lado l y aristas laterales de longitud Fl, luego, teniendo en cuenta la frmula del radio del pentgono, la altura ser

40

|
l
hemos de aadirle

Para construir un pequeo dodecaedro estrellado a partir de un dodecaedro de lado

pirmides de base de lado l y aristas laterales de longitud Fl, luego, teniendo en cuenta la frmula del radio del pentgono, la altura ser

h=

F2 -

5+ 10

l=

5+2 5

l.

Ahora bien, si el pequeo dodecaedro estrellado tiene arista l, la arista del pequeo dodecaedro sobre el que hay que poner las pirmides es l/F3 = ( 5 -2)l, luego el volumen de la pirmide aadida es
3 5 3 4 5+2 5 5

J 5 - 2N

5+2 5

( 5 -2)l3 =

-20+9 12

l3 .

De aqu obtenemos el volumen del pequeo dodecaedro estrellado, sumando el del pequeo dodecaedro central ms el de las doce pirmides que lo extienden:

V=

15+7 4

J 5 - 2N

3 3

+(-20+9 5 )l3 =

5 4

(5 5 -11)l3 .

El rea (de la superficie real del pequeo dodecaedro estrellado, es decir, la suma de las reas de los 60 tringulos ureos visibles desde el exterior, es

S = 15

85 - 38

l2 .

Dejamos el clculo a cuenta del lector. El ngulo didrico es el suplementario del del gran dodecaedro, como de deduce de la figura anterior mostrando el icosaedro y las caras 1, 11 y 12. Las dos ltimas son paralelas, y el ngulo que forma la primera con la undcima coincide con el suplementario del ngulo que forma el pentgono circunscrito a la primera con el de la duodcima, que es uno de los ngulos didricos del gran dodecaedro, pues los pentgonos las caras 1 y 12 son caras contiguas de ste. En resumen, para un pequeo dodecaedro estrellado de arista 1 tenemos:

Radio
1 2 5- 5 2 1 4

Inradio
10-2 5 5
5 4

Volumen I5 5 - 11M 15

rea 85 - 38 5

ngulo didrico

arccos@-

5 5

EL GRAN ICOSAEDRO
La figura siguiente muestra el pequeo dodecaedro estrellado. Si pulsamos el botn titulado Aristas vemos sus aristas, entre las cuales hemos destacado las que forman una de las caras pentagrmicas y las que unen los vrtices de dicha cara con el vrtice opuesto. Dichas aristas destacadas forman cinco tringulos equilteros. En total tenemos 5 x 12 / 3 = 20 tringulos, que podemos tomar como caras de un nuevo poliedro regular, conocido como gran icosaedro. El gran icosaedro tiene C = 20 caras triangulares, A = 30 aristas y V = 12 vrtices, y puede verse pulsando el tercer botn de la figura. Es fcil convencerse de que las simetras del pequeo dodecaedro estrellado son tambin simetras del gran icosaedro, y bastan para probar que es un poliedro regular.

41

Pequeo dodecaedro estrellado

Aristas

Gran Icosaedro

El gran icosaedro es el poliedro ms complejo que hemos estudiado hasta ahora. Empezamos observando que tiene la misma arista y el mismo radio que el pequeo dodecaedro estrellado, por lo que la proporcin entre ambos es la misma, es decir,

R=

1 2

5- 5 2

l.

Para analizarlo ms a fondo consideramos las figuras siguientes:

42

Icosaedro inscrito

Todas
c1 c2 c3 c4 c5 c6 c7 c8 c9 c10

Ninguna
c11 c12 c13 c14 c15 c16 c17 c18 c19 c20

A1 P1

1 P

A2

T C1 B1

C2

B2

La figura de la izquierda nos permite mostrar y ocultar independientemente cada una de las veinte caras. Una de ellas, c1, est pintada de negro para que nos sirva de referencia. La figura de la derecha muestra una cara (que podemos identificar con c1) y todas las rectas por donde la cortan las caras restantes. Si en la figura de la izquierda pulsamos el botn 1 ocultaremos las caras que no cortan a c1, con lo que es ms fcil comprobar la correspondencia con la figura de la derecha. En primer lugar observamos que los cortes dividen cada lado del tringulo equiltero en tres partes, y la figura de la izquiera muestra que se trata de la divisin que dos lados consecutivos de un pentagrama inducen en un tercero. Por lo tanto, si tomamos como unidad la longitud del tramo central, los otros dos tramos miden F. Si pulsamos el botn 2 ocultamos las cinco caras que confluyen en un vrtice. Se ve entonces la superficie lateral de una pirmide pentagonal cuyas caras laterales son el tringulo A1 A2 T de la figura de la derecha y sus correspondientes en otras cuatro caras. Observemos que el tringulo es equiltero, pues la el lado A2 T es paralelo a AC, luego el ngulo A2 es de 60 . De este modo, vemos que cada vrtice del gran icosaedro tiene en su base un pentgono unitario, por lo que podemos ver al gran icosaedro como el resultado de tomar un dodecaedro regular y sustituir cada una de sus caras por la superficie lateral de una pirmide pentagonal formada por tringulos equilteros (con lo que obtenemos el poliedro de la figura siguiente) y a continuacin insertar en cada oquedad una punta de estructura complicada que estudiaremos luego.

43

Pulsando el botn 3 se ocultan las caras traseras del gran icosaedro, de modo que dndole la vuelta podemos ver su interior. Concretamente, vemos cinco tringulos equilteros, correspondientes al tringulo central de la figura de la derecha. Hay un total de 20 tringulos que, por simetra equidistan del centro del gran icosaedro, luego forman las caras de un pequeo icosaedro central (que tambin puede mostrarse en la figura), cuyo inradio es tambin el inradio del gran icosaedro. Para calcularlo slo necesitamos calcular el lado del tringulo central y aplicar la frmula para el inradio de un icosaedro. Ahora bien, por semejanza de tringulos, la razn entre el lado l del tringulo interior y el segmento A1 A2 , que mide 1, es

l=

1+F = 1+2 F F2 2 3

5 -1 2 5 -1 , 2

Por consiguiente, el inradio del pequeo icosaedro interior es

para un gran icosaedro cuyo segmento A1 A2 mida 1. Para un icosaedro de arista luego el inradio es

l tenemos que A1 A2 =

l , 2 F+1

r=

F2 2 3

5 -1 l 3- 5 = l. 2 2 F+1 4 3

El rea del gran icosaedro entendida como suma de las reas de sus veinte caras triangulares se calcula trivialmente (es la misma que la del icosaedro convexo). Vamos a calcular el rea de su superficie exterior. Para ello observamos que cada cara deja en el exterior seis tringulos iguales a BA1 P1 y tres iguales a PA1 A2 , luego la superficie del gran icosaedro consta de un total de 180 tringulos. La figura siguiente nos permite calcular la altura del tringulo PA1 A2 , sin ms que observar que tenemos un tringulo rectngulo de base 1 + F/2 y altura
3 F 2

, luego una simple proporcin nos da que la altura de PA1 A2 es

12 1+F2

3 F 2

15 10

44

|
B A1 1 A2 F2 Q
3 F

B1

A
De aqu se sigue a su vez que el lado A1 P mide consideramos la figura siguiente: 10 5, y su rea es 15 /20. Para estudiar el tringulo BA1 P1

A1 P1

1 P

A2

T C1 B1

C2

B2

A
Como los tringulos A1 CB2 y C2 B2 A son equilteros, los tringulos A1 B1 C y A1 C2 B2 son iguales, pues tienen un ngulo de 60 y dos lados iguales. Esto hace que los tringulos A1 A2 P y A1 TP1 sean iguales, pues tienen un lado igual, un ngulo igual, y ambos son issceles, el segundo debido a que el tringulo BA2 C2 es equiltero. As ya tenemos que A1 P1 es igual a A1 P (cosa que se deduca tambin de la figura tridimensional, ya que esos dos segmentos de dos caras distintas forman una misma arista del gran icosaedro). Seguidamente observamos que la altura del tringulo A1 A2 T es 3 /2, luego BT mide 3+ 5 = 2 F.

HF + 1 2L2 + 3 4 = Por consiguiente, BP1 = 2F 10 5 = 2

gulo A1 A2 T nos da la altura del tringulo BA1 P1 , que resulta ser:

5+3 5 . Ahora, una proporcin a partir de la altura del trin10 3 = 2 5N 3 J5+3 20 F

y el rea total del gran icosaedro es

BP1 BT
Por lo tanto, el rea es

5N

1 F 2

3 J5+3 20 F

5N

3 J5+3 40

|
3 J5+3 20 F
120

45

Por lo tanto, el rea es

1 F 2

5N

3 J5+3 40 5N

5N

y el rea total del gran icosaedro es

3 J5+3 40

+ 60

15 = 3 3 (5+4 5 ). 20

Esto es vlido para un gran icosaedro construido sobre un dodecaedro de arista unitaria (luego de arista 2F+1). Por consiguiente, el rea en funcin del lado es S=
3 3 5 +4 H2 F+1L
2

l2

=3 3 (16 5 -35) l2 .

El clculo del volumen es ms complicado. Teniendo en cuenta la frmula para el radio de un pentgono regular, es fcil ver que la altura de una pirmide pentagonal formada por tringulos equilteros de lado unitario es

h=

510

, luego su volumen es

1 5 3 4

5+2 5 5

5- 5 10

1 12

15+5 5 2

5+ 5 24

Por consiguiente, el volumen del dodecaedro abombado por pirmides pentagonales es

V0 =

15+7 4

5+ 5 5+5 5 = 2 4

El volumen del gran icosaedro ser la suma de este volumen ms el volumen de las doce puntas que hay que insertar en los huecos dejados por las pirmides. La figura siguiente nos permite estudiar su estructura:

Ocultar todo

Mostrar todo

Pirmide central superior Pirmide central inferior Pirmide base

A1 P1

1 P T

A2

Pirmide superior 1 Pirmide superior 2 Pirmide superior 3 Pirmide superior 4 Pirmide superior 5

C2 C1 B2

B1

Pirmide inferior 1 Pirmide inferior 2 Pirmide inferior 3 Pirmide inferior 4 Pirmide inferior 5

La pirmide base es simplemente una pirmide pentagonal formada por tringulos equilteros. Es la base sobre la que est construida la punta. Si la ocultamos, vemos que sta est formada por una parte exterior, fomada por diez tringulos iguales al tringulo BA1 P1 , y una parte oculta bajo la pirmide base formada por otros diez tringulos iguales al tringulo A1 PT. Podemos descomponer esta figura en diez pirmides triangulares, cinco superiores y cinco inferiores, las cuales encierran otras dos pirmides pentagonales centrales, como se puede ver en la figura ocultando algunas de las pirmides. Calcularemos el volumen de la punta como suma de los volmenes de las doce pirmides.

46

La pirmide base es simplemente una pirmide pentagonal formada por tringulos equilteros. Es la base sobre la que est construida la punta. Si la ocultamos, vemos que sta est formada por una parte exterior, fomada por diez tringulos iguales al tringulo BA1 P1 , y una parte oculta bajo la pirmide base formada por otros diez tringulos iguales al tringulo A1 PT. Podemos descomponer esta figura en diez pirmides triangulares, cinco superiores y cinco inferiores, las cuales encierran otras dos pirmides pentagonales centrales, como se puede ver en la figura ocultando algunas de las pirmides. Calcularemos el volumen de la punta como suma de los volmenes de las doce pirmides.

Para calcular las dimensiones de la pirmide central inferior imaginemos primero que tuviera los vrtices de su base en los puntos medios de las aristas de la base de la pirmide base. Entonces la base sera un pentgono de radio igual a la apotema de la base de la pirmide base, y su altura sera la misma que la de la pirmide base. En suma, sus datos seran:

r=

1 2

5+2 5

,l=

1 2

3+ 2

,h=

510

Ahora bien, la pirmide inferior real resulta de aplicar a sta una homotecia con centro su vrtice de modo que sus aristas laterales pasen de medir 3
510 5

3 2 a tener longitud igual al segmento PT, que mide

3 2 5-

5 5

15 10

. Por lo tanto, los valores anteriores se contraen en la misma proporcion, es decir,

y en

realidad son

r=

1 10

10 + 2

,l=

5 5

,h=

5-2 5

Con estos datos ya podemos calcular el volumen de la pirmide central inferior, que resulta ser:

V1 =

1 5 3 4

5+2 5 5

1 2 5

5-2 5

1 . 30
1 10

De la pirmide central superior conocemos el lado de la base: la arista lateral, BP1 = 2

5 /5, el radio de la base,

10 + 2

5+3 5 . Del radio y la arista lateral sacamos la altura: 10

2
5+3 10 5 2

h=

1 10

10 + 2

1 10

130 + 58

5 .

A su vez de aqu obtenemos el volumen:

V2 =

1 5 3 4

5+2 5

1 1 5 10

130 + 58

246+110 120

11+5 5 . 120

Analicemos ahora las pirmides superiores. Conocemos la longitud de todas sus aristas:

F
10 5 5 5 2 5+3 10
1 10

De aqu es fcil deducir que la base es un tringulo (issceles) de altura sistema de referencia indicado en la figura, el vrtice

135 + 60

5 , con lo que, en el

(x, 0, z) cumple x2 +
5 100

1 (x- 10

135 + 60

L2 + z2= F2, z=
5
3

+ z2 =

10 , 25

de donde se concluye que la altura de la pirmide es

3 /3. Por consiguiente, su volumen es:

V3 =

1 1 3 2

5 1 5 10

135 + 60

3 = 1

60

9+4

2+ 5 60
35 10

La situacin para las pirmides inferiores es similar. Conocemos las medidas de sus aristas, de donde, tomando como base el tringulo que comparte con la pirmide superior, la altura de la base resulta ser el vrtice opuesto tiene coordenadas y

(x, 0, z)

que cumplen:

47

La situacin para las pirmides inferiores es similar. Conocemos las medidas de sus aristas, de donde, tomando como base el tringulo que comparte con la pirmide superior, la altura de la base resulta ser el vrtice opuesto tiene coordenadas
35 10

(x, 0, z)
2 2

que cumplen:

(xEste sistema tiene por solucin

35 10

L + z = 1,

x +

5 100

+z =

3 J5- 5 N 100

z=

7-3 5 y sta es, pues, la altura de la pirmide. 14

3 J5 10

5 N

1
5 5 10 5

Por lo tanto, su volumen es

V4 =

1 1 3 2

5 5

35 10

7-3 5 1 = 14 60

7-3 5 2

3- 5 . 120

As pues, el volumen de la punta (teniendo en cuenta que las pirmides laterales hay que contarlas cinco veces) es
1 30

11+5 5 2+ 5 3- 5 5+ 5 + + = 120 12 24 12

Y el volumen del gran icosaedro resulta ser

5+5 5 25+9 5 +5+ 5 = . 4 4

Recordemos que ste es el volumen de un gran icosaedro construido sobre un dodecaedro de arista unitaria. El volumen de un gran icosaedro de arista l es

V=

25+9 5 3 83 l= 4 H2 F+1L3

5 -185 3 l 4

El ngulo didrico es fcil de calcular. Como se aprecia en la primera figura de este apartado (en la opcin que muestra las aristas del gran icosaedro), cuando la arista es unitaria, dos caras contiguas son tringulos equilteros de altura
3 2

y cuyos vrtices opuestos al lado comn forman dos vrtices no adyacentes de un

pentagrama de lado unitario, luego su distancia es 1/F. De aqu se sigue que la mitad del ngulo didrico tiene seno (1/2F)/( 3 /2), y de aqu se obtiene inmediatamente el coseno del ngulo didrico. La tabla siguiente resume los resultados que hemos obtenido:

Radio
1 2 5- 5 2

Inradio
3- 5 4 3

Volumen
83 5 -185 4

rea 3 3 I16 5 - 35M

ngulo didrico

arccos@

5 3

EL GRAN DODECAEDRO ESTRELLADO

El poliedro dual del gran icosaedro se llama gran dodecaedro estrellado, y es necesariamente un poliedro regular, que tendr C = 12 caras, A = 30 aristas y V = 20 vrtices. Los vrtices del gran dodecaedro estrellado son los centros de las caras del gran icosaedro, que coinciden con los centros de las caras del pequeo icosaedro que encierra en su interior, es decir, con los vrtices de su dodecaedro dual. La figura siguiente permite ver las caras del pequeo icosaedro correspondientes a un grupo de caras del gran icosaedro que confluyen en el mismo vrtice (las pintadas de oscuro), cuyos centros sern los vrtices de una cara del gran dodecaedro estrellado:

48

El poliedro dual del gran icosaedro se llama gran dodecaedro estrellado, y es necesariamente un poliedro regular, que tendr C = 12 caras, A = 30 aristas y V = 20 vrtices. Los vrtices del gran dodecaedro estrellado son los centros de las caras del gran icosaedro, que coinciden con los centros de las caras del pequeo icosaedro que encierra en su interior, es decir, con los vrtices de su dodecaedro dual. La figura siguiente permite ver las caras del pequeo icosaedro correspondientes a un grupo de caras del gran icosaedro que confluyen en el mismo vrtice (las pintadas de oscuro), cuyos centros sern los vrtices de una cara del gran dodecaedro estrellado:
Opacidad

Todas
c1 c2 c3 c4 c5 c6 c7 c8 c9 c10

Vrtice

Ninguna
c11 c12 c13 c14 c15 c16 c17 c18 c19 c20

Vemos que son los cinco tringulos contiguos a las cinco caras que confluyen en un mismo vrtice del pequeo icosaedro. Ms an, si nos fijamos vemos que dos caras contiguas del gran icosaedro se corresponden con dos de las cinco caras separadas por una tercera. Por lo tanto, las caras del gran dodecaedro estrellado se forman uniendo grupos de cinco vrtices, pero no formando un pentgono regular, sino un pentagrama. La figura siguiente permite explorar el gran dodecaedro estrellado.

49

Icosaedro exterior Dodecaedro exterior Gran dodecaedro estrellado Icosaedro interior

Todas
c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12

Ninguna

Si mostramos nicamente una cara junto con el dodecaedro exterior podremos apreciar su disposicin respecto a ste. Si mostramos las tres primeras caras podremos ver un vrtice completo del gran dodecaedro estrellado. Observemos que los pentagramas estn dibujados sin su pentgono central, pero esto es por conveniencia, pues en realidad dicho pentgono forma parte de la cara. Los pentgonos interiores de las caras encajan en un icosaedro interior que puede hacerse visible en la figura. As, el gran dodecaedro estrellado puede verse como el resultado de pegar una pirmide triangular sobre cada una de las caras de un icosaedro convexo, con la altura adecuada para que sus caras laterales formen pentagramas (planos). Notemos que los pentgonos centrales forman un gran dodecaedro dentro de dicho icosaedro, el cual contiene a su vez un dodecaedro interior. Por otra parte, los vrtices del gran dodecaedro estrellado son tambin los vrtices del dodecaedro inscrito al icosaedro exterior. Si en la figura mostramos nicamente el dodecaedro exterior y una cara del gran dodecaedro estrellado podemos determinar fcilmente la relacin entre el lado y el radio. En efecto, la arista l del gran dodecaedro estrellado es una diagonal de un pentgono cuyo lado es una diagonal de una cara del dodecaedro. As pues, la diagonal de dicha cara mide l/F y el lado del dodecaedro mide l/F2 , luego el radio del dodecaedro (que es el mismo que el del gran dodecaedro estrellado) es

R=

3 F l 3 2= 2 2F F

l.

Por otra parte, el icosaedro interior que muestra la figura tiene arista l/F3 , que es la misma que la del gran dodecaedro determinado por dicho icosaedro, cuyo inradio (que es el mismo que el del gran dodecaedro estrellado) es

r=

1 4

10+2 5 5

l 1 3 = 2 F

25-11 5 10

l.

50

r=

1 4

10+2 5 5

l 1 = 2 F3

25-11 5 10

l.

Si partimos de un icosaedro de arista unitaria, la pirmide que le pegamos a cada cara tiene aristas laterales de longitud F. Como el radio de la base es 3 /3, su altura es F2 - 1 3 =

h=
Su volumen es
1 3 3 4

7+3 5 . 6

7+3 5 6

3+ 5 . 24

Por lo tanto, el volumen del gran dodecaedro estrellado es el de un icosaedro de arista unitaria ms el de veinte de estas pirmides:

5 F2 3+ 5 5 + 20 = (3+ 5 ). 6 24 4
El volumen de un gran dodecaedro estrellado de arista

l ser:

V=
F2 - H1 2L2 = de arista
1 2

5 J13 5 -29N 5 3+ 5 3 l3 . 3l = 4 4 H2 F+1L

Volviendo al gran dodecaedro estrellado de arista 2F+1, la altura de una de sus caras triangulares es

5+2

5 , luego la superficie lateral es 15 5 + 2 5 . Para el gran dodecaedro estrellado

l es S=
15 5+2 5 H2 F+1L2

l2 = 15

85 - 38

l2 .

Por ltimo, si en la figura anterior mostramos dos caras contiguas del gran dodecaedro estrellado y el icosaedro interior, veremos que el ngulo didrico del gran dodecaedro estrellado es el mismo que el del gran dodecaedro, pues los pentgonos centrales de las dos caras son caras contiguas del gran dodecaedro construido a partir del icosaedro.

Radio
3 2F

Inradio
1 2 25-11 5 10

Volumen
5 J13 5 -29N 4

rea 15 85 - 38 5

ngulo didrico

arccos@

5 5

LOS SLIDOS DE KEPLER-POINSOT

Kepler fue el primero en advertir que el pequeo y el gran dodecaedro estrellado podan verse como poliedros regulares admitiendo intersecciones entre caras, aunque las figuras en s ya eran conocidas. Ambas figuras fueron redescubiertas por Louis Poinsot en el siglo XIX, quien observ que lo mismo era vlido para el gran dodecaedro y el gran icosaedro. Por ello, las cuatro figuras son conocidas como slidos de Kepler-Poinsot, y resultan ser los nicos poliedros regulares no convexos. La figura siguiente los muestra a la vez que permite poner de manifiesto las figuras de sus vrtices. Vemos que la notacin {c,v} para referirse al slido de cara {c} y figura {v} basta para distinguir un slido de Kepler-Poinsot de otro, as como para distinguir los slidos platnicos de los slidos de Kepler-Poinsot (y, dado que son los nicos poliedros regulares, para determinar completamente a cualquiera de ellos).

51

Gran Dodecaedro 85,52<

Pequeo Dodecaedro Estrellado 852,5<

Gran Icosaedro 83,52<

Gran Dodecaedro Estrellado 852,3<

Reunimos en una misma tabla los datos que hemos obtenido para los slidos platnicos y los de KeplerPoinsot (correspondientes a poliedros de radio unitario):

C Tetr ae dr o 4

A 6

V 4

c 3

v 3

l 1.63 299

r 0.33 333

Vol 0.51 32

rea 4.61 88

D 70.5 2

52

|
Hexa ed ro Octa ed ro Dode ca ed ro Icos ae dr o Gran do de ca ed ro Pequ e o do de ca ed ro es tr el la do Gran ic os ae dr o 6 12 8 4 3 1.15 47 1.41 421 0.71 364 0.57 735 0.57 735 0.79 465 1.53 96 1.33 333 2.78 516 8 90

12

6.92 82 10.5 14

109. 47 116. 56

12 30 20

20 30 12

1.05 46

0.79 465

2.53 615

9.57 45

138. 19

12 30 12

52

Dode ca ed ro

Icos ae dr o

1.05 14

0.44 721

1.79 611

12.0 486

63.4 3

12 30 12 52

Dode ca ed ro

Icos ae dr o

1.70 13

0.44 721

1.11 005

7.44 64

116. 56

20 30 12

52

Icos ae dr o

Icos ae dr o

1.70 13

0.18 759

0.73 081

11.6 873

41.8 1

|
Gran do de ca ed ro es tr el la do 12 30 20 52 3 Dode ca ed ro Dode ca ed ro 1.86 83 0.18 759 0.56 156 8.98 05 63.4 3

53

La tabla incluye una columna para el ncleo y otra para la envoltura de cada slido de Kepler-Poinsot. El ncleo es el poliedro convexo que determinan los planos de sus caras (el que vera alguien situado en su centro) y la envoltura es el menor poliedro convexo que lo contiene, cuyos vrtices son los mismos que los del poliedro dado. En efecto, hemos visto que los vrtices de todo slido de Kepler-Poinsot coinciden con los vrtices de un slido platnico, y no es difcil comprobar el recproco: Teorema 3.7: Los nicos poliedros regulares cuyos vrtices coinciden con los de un slido platnico son los propios slidos platnicos y los slidos de Kepler-Poinsot.
Demostracin: La prueba consiste simplemente en buscar entre los vrtices de un slido platnico grupos que formen polgonos regulares que podamos tomar como caras de un poliedro regular, y para cada uno de ellos comprobar si tales polgonos realmente forman un poliedro. En el caso del tetraedro es claro que los nicos polgonos que pueden formarse con sus cuatro vrtices son sus cuatro caras, luego del tetraedro no obtenemos nada ms que el tetraedro.

Consideremos ahora un cubo. (Notemos que estamos buscando configuraciones regulares dentro de un nmero finito (y no muy grande) de posibilidades, as que no entraremos en detalles a la hora de justificar que presentamos todos los casos posibles. Es algo que el lector puede constatar sin ms que un poco de paciencia.) Es claro que, aparte de los cuadrados que forman sus caras, los nicos polgonos regulares que podemos formar con sus vrtices son los tringulos equilteros que muestra la figura siguiente, y con dichos tringulos se forman tetraedros:

Con los vrtices de un octaedro, aparte de sus caras, slo se pueden formar tres cuadrados que no forman un poliedro:

54

En un dodecaedro hay cinco clases distintas de polgonos regulares (distintos de sus caras):

Los tringulos de la primera figura no forman poliedros, pues no hay tringulos anlogos que compartan aristas con uno dado. Los cuadrados de la segunda figura forman cubos (vase la cuarta figura en la construccin del dodecaedro), los tringulos de la tercera figura forman los tetraedros inscritos en los cubos que se forman con los cuadrados anteriores, los pentgonos de la cuarta figura no forman ningn poliedro, porque no hay otros que compartan aristas con uno dado. Por ltimo, los pentagramas de la ltima figura forman un gran icosaedro estrellado (sin ms opcin: al aadir pentagramas anlogos que compartan las cinco aristas del pentagrama sealado, y a su vez aadir pentagramas que compartan las aristas libres de los nuevos pentagramas, y as sucesivamente hasta cerrar el poliedro, lo que nos sale es un gran gran icosaedro estrellado). En un icosaedro slo hay tres clases de polgonos regulares:

55

Los primeros forman un gran dodecaedro, los segundos un pequeo dodecaedro estrellado y los terceros un gran icosaedro. El hecho de que los ncleos de los slidos de Kepler-Poinsot sean slidos platnicos se traduce en que los planos de las caras de todo slido de Kepler-Poinsot contienen a las caras de un slido platnico. Tambin se cumple el recproco: Teorema 3.8: Los nicos poliedros regulares cuyas caras estn sobre las de un slido platnico son los propios slidos platnicos y los slidos de Kepler-Poinsot.
Demostracin: En general, las caras de un poliedro son polgonos determinados por las intersecciones con un plano de los planos de las caras contiguas. Por lo tanto, ahora hemos de tomar cada slido platnico, prolongar el plano de una cara y estudiar las intersecciones con dicho plano de las prolongaciones de las dems caras, en busca de polgonos regulares. Si se forman polgonos regulares, habr que ver si stos se combinan para formar poliedros.

Es obvio que, fijada una cara de un tetraedro, las otras tres caras la cortan entres rectas que forman un tringulo: la propia cara del tetraedro, luego de un tetraedro slo obtenemos el propio tetraedro. Lo mismo sucede con el cubo, donde, fijada una cara, hay otra paralela que no la corta y otras cuatro que determinan la propia cara cuadrada del cubo. Consideremos ahora un octaedro:

Si nos fijamos en una de sus caras, vemos que hay otra paralela que no corta a su plano, tres caras contiguas que determinan en su plano el tringulo correspondiente a la cara del octaedro, y los planos de las otras tres caras forman un tringulo equiltero que, combinado con tringulos anlogos, forma un tetraedro. As pues, del octaedro slo se obtiene el propio octaedro y el tetraedro. Consideramos ahora un dodecaedro y observamos que, fijada una cara, hay otra paralela que no proporciona ningn corte, las cinco caras contiguas cortan al plano de la cara en las prolongaciones de sus lados, con lo que tenemos pentgonos regulares que dan lugar al propio dodecaedro. Pero dichas prolongaciones de los lados forman tambin un pentagrama, y estos pentagramas constituyen las caras de un pequeo dodecaedro estrellado. (La justificacin de este hecho y de los hechos anlogos que indicaremos seguidamente se encuentra en la construccin del poliedro correspondiente, en este caso la del pequeo dodecaedro estrellado.)

56

Por otra parte, las cinco caras no contiguas a la cara fijada forman otro pentgono regular, y estos pentgonos regulares forman un gran dodecaedro. Ahora bien, tambin podemos prolongar los lados de este pentgono mayor y formar otro pentagrama (que no aparece en la figura), y estos pentagramas mayores forman un gran dodecaedro estrellado. No hay ms posibilidades. El caso del icosaedro se visualiza fcilmente con la figura siguiente, que hemos usado para estudiar el gran icosaedro:

A1

A2

C2

B1

C1

B2

A
Fijada una cara de un icosaedro (el tringulo central de la figura), hay una cara paralela que no induce ningn corte, y la figura muestra los cortes de las 18 caras restantes. Los nicos polgonos regulares son:

ABC, que da lugar a un gran icosaedro, b) Dos tringulos A1 B1 C1 y A2 B2 C2 , que generan un tetraedro, como puede verse en la primera figura de la seccin correspondiente al gran dodecaedro estrellado mostrando las caras c1 , c8 , c13 , c19 ,
a) El tringulo exterior c) Otros dos tringulos menores, que resultan de unir los puntos medios de los lados de los anteriores, y que dan lugar a octaedros, concretamente a los octaedros que contienen los tetraedros del caso b) tal y como indica la primera figura de esta demostracin,

c) Otros dos tringulos menores, que resultan de unir los puntos medios de los lados de los anteriores, y que dan lugar a octaedros, concretamente a los octaedros que contienen los tetraedros del caso b) tal y como indica la primera figura de esta demostracin, d) El tringulo interior, que no es sino la cara de icosaedro de partida. No hay ms posibilidades. Cauchy demostr el teorema siguiente a partir del teorema 3.8 y Bertrand a partir del teorema 3.7. Vamos a exponer las dos demostraciones. Teorema 3.9 (Cauchy-Bertrand): Los nicos poliedros regulares son los slidos platnicos y los slidos de Kepler-Poinsot.

57

Demostracin: Sea P un poliedro regular (que podemos suponer no convexo). La prueba de Cauchy se basa en que todas las caras de un poliedro regular estn a una misma distancia no nula de su centro, luego stas limitan un ncleo convexo en su interior al que llamaremos N. De este modo, N es un poliedro convexo tal

que las caras de

son prolongaciones de las caras de

N.

Si demostramos que

es un slido platnico, el

P es un slido de Kepler-Poinsot. Puesto que las simetras de P transforman P en el mismo poliedro, es obvio que tambin dejan invariante a N, (puesto que N est determinado por P), es decir, toda simetra de P es una simetra de N. Cada cara de N est contenida en una cara de P, luego una simetra de P que transforme una cara en otra, hace corresponder tambin las caras de N contenidas en ellas. Esto implica que N es transitivo para caras, luego en particuteorema 3.8 implicar que lar todas sus caras son iguales. Ahora usamos un teorema que demostraremos en la seccin siguiente (teorema 4.3): todo poliedro convexo debe tener al menos una cara triangular, cuadrangular o pentagonal. Como N tiene todas sus caras iguales, todas ellas son tringulos, cuadrngulos o pentgonos.

P son polgonos de c lados (no necesariamente convexos), con lo que los giros P y por el centro de una de sus caras son simetras de P, luego tambin de N. Esto implica que los vrtices de N se distribuyen en rbitas de c puntos, luego su nmero es mltiplo de c, pero como dicho nmero es 3, 4 o 5 y c 3, la nica posibilidad es que ambos coincidan, de modo que las caras de N tienen c lados y quedan invariantes por giros de 360/c grados. Esto slo es posible si son polgonos regulares. Con esto tenemos que N es un poliedro regular, pues ya
Supongamos que las caras de de 360/c grados respecto de ejes que pasan por el centro de sabemos que es transitivo para caras, y ahora podemos afirmar que es transitivo para aristas y vrtices, ya que para llevar una arista hasta otra slo tenemos que llevar una cara que contenga a la primera hasta una cara que contenga a la segunda y luego aplicar un giro de esta cara que haga corresponder la imagen de la arista con la arista deseada, e igualmente con vrtices. Como es convexo, concluimos que N es un slido platnico.

E de los vrtices de P, que P estn inscritos en una esfera se traduce en que los vrtices de E son exactamente los mismos que los de P (no puede ocurrir que un vrtice de P sea combinacin convexa (no trivial) de otros y que, por lo tanto, no sea vrtice de E). As pues, si probamos que E es un slido platnico el teorema 3.7 nos dar que P es un slido de Kepler-Poinsot. El argumento es totalmente paralelo al anterior. Ahora sabemos que todas las simetras de P son simetras de E y que, por tanto, E es transitivo para vrtices. Esto implica que a cada vrtice de E llega el mismo
Veamos ahora la prueba de Bertrand. En ella consideramos la envoltura convexa claramente es un poliedro convexo. El hecho de que los vrtices de nmero de aristas. El teorema 4.4 que demostraremos en la seccin siguiente nos da que dicho nmero debe ser necesariamente tres, cuatro o cinco. Aqu necesitamos el teorema anlogo a 3.4 (que se demuestra anlogamente): toda simetra de la figura de un vrtice de P que deje fijo al centro de P es una simetra de P, por lo que P, y por consiguiente E, tiene simetras a los giros de 360/v grados respecto de ejes que pasen por cualquiera de sus vrtices y por el centro de P, donde v es el nmero de lados de la figura de los vrtices de P o, equivalentemente, el nmero de aristas o caras que concurren en cada uno de ellos. Estos giros dejan invariante al conjunto de vrtices adyacentes al que est en el eje de giro, luego el nmero de dichos vrtices ha de ser mltiplo de v, pero, como no puede pasar de 5, debe ser igual a cualquier arista que llega a un vrtice de tices es claro que Similarmente,

v.

Concluimos que existen simetras de

que transforman

en cualquier otra. Uniendo esto a que

es transitivo para vr-

E es transitivo para aristas.

es transitivo para caras, pues para transformar una cara

en otra

A',

aplicando una

V en comn y los vrtices adyacentes a V estn V y a la misma distancia del centro de E, luego estn en una circunferencia, y un giro los permuta cclidamente, luego forman un polgono regular dos de cuyos lados son diagonales de A y A' (o lados, si son tringulos) que unen vrtices adyacentes a V. Tenemos que existe una simetra de E que
simetra podemos suponer que ambas tienen un vrtice todos a la misma distancia de transforma una diagonal en la otra, y claramente entonces transforma una cara en la otra.

58 | Similarmente,

es transitivo para caras, pues para transformar una cara

en otra

A',

aplicando una

simetra podemos suponer que ambas tienen un vrtice todos a la misma distancia de

en comn y los vrtices adyacentes a

estn

V y a la misma distancia del centro de E, luego estn en una circunferencia, y Ay A' (o lados, si son tringulos) que unen vrtices adyacentes a V. Tenemos que existe una simetra de E que
un giro los permuta cclidamente, luego forman un polgono regular dos de cuyos lados son diagonales de transforma una diagonal en la otra, y claramente entonces transforma una cara en la otra.

4. ALGUNOS TEOREMAS GENERALES SOBRE POLIEDROS

Dedicamos esta seccin a demostrar algunos resultados generales, en particular los dos que hemos usado en la clasificacin de los poliedros regulares.

EL TEOREMA DE EULER
El teorema de Euler es probablemente el resultado ms famoso sobre poliedros: Teorema 4.1 (Euler): Si un poliedro esferoide tiene C caras, A aristas y V vrtices, entonces

- A + V = 2.
En particular esta frmula es vlida para todo poliedro convexo. En cambio, no la cumplen, por ejemplo, el gran dodecaedro y el pequeo dodecaedro estrellado (que no son simples) ni tampoco el poliedro de la figura inmediatamente anterior al teorema 2.1 (que es simple, pero no esferoide). En cambio, el gran icosaedro y su dual la cumplen a pesar de no ser simples. Aunque el teorema de Euler, tal y como lo hemos enunciado, es un caso muy particular de un resultado general de la topologa algebraica, vamos a ver una prueba especfica para este caso.
Demostracin: Consideremos un poliedro esferoide y vamos a formar un grafo G1 con sus vrtices y algunas de sus aristas, con la condicin de que sea conexo, es decir, que dos cualesquiera de sus vrtices puedan unirse por una cadena de aristas y que no contenga ningn circuito cerrado, es decir, que no exista ningn conjunto de vrtices distintos v1 , , vn de forma que cada uno est conectado con el siguiente por una arista y el ltimo est conectado con el primero. Para ver que esto es posible partimos de un grafo que conste nicamente de un vrtice cualquiera v1 y aadimos cualquiera de las aristas que partan de l. En general, si hemos llegado a un grafo conexo sin circuitos que contenga a parte de los vrtices del poliedro y todava quedan vrtices fuera de l, tomamos uno cualquiera de ellos. Claramente existe una cadena de aristas que lo conecta con un vrtice del grafo, luego en dicha cadena tiene que haber dos vrtices consecutivos tales que uno no est en el grafo y el siguiente s. Si aadimos dicho vrtice al grafo junto con la arista que lo une al otro vrtice que ya estaba en l, hemos extendido nuestro grafo con una arista y un nuevo vrtice de modo que sigue siendo conexo y, precisamente porque el nuevo vrtice no estaba en el grafo, no hemos podido crear un circuito, ya que ello requerira unir dos vrtices que ya estuvieran en el grafo. Este proceso puede continuar hasta que ya no queden vrtices fuera del grafo.

Esto demuestra que existe un grafo G1 en las condiciones indicadas y, ms an, como en su construccin hemos partido de un vrtice y en cada paso hemos aadido una nueva arista y un nuevo vrtice, concluimos que el nmero de aristas de

Ahora construimos un los centros de las caras del poliedro, y cuyas aristas no sean aristas del poliedro, sino lneas que unan los centros de cada par de caras contiguas cuya arista comn no forme parte del grafo dodecaedro:

G1 es necesariamente V - 1. nuevo grafo G2 cuyos vrtices sean

G1. La figura siguiente muestra ejemplos de grafos G1 y G2 sobre un

59

En general, observemos que el grafo

G2

es conexo, pues esto equivale a que el complementario de la unin

de las aristas de G1 sea un espacio topolgico conexo, y esto es as, ya que si tuviera al menos dos componentes conexas, la clausura de cada una de ellas sera una unin de caras y los lados de dichas caras cuya cara contigua estuviera en otra componente conexa distinta formaran un circuito en

G1 .

Por otra parte, y es en este punto donde usamos que el poliedro dado es esferoide, el grafo G2 no puede tener circuitos cerrados. En efecto, si tuviera un circuito cerrado, podramos eliminar una de sus aristas
' G2 que seguira siendo conexo. ' Dicha arista eliminada cruzara una arsta del poliedro, que podramos aadir a G1 para obtener un grafo G1 ' que necesariamente tendra un circuito, pero el hecho de que G2 sigue siendo conexo se traduce en que el ' complementario de G1 sobre el poliedro es un espacio topolgico conexo (arcoconexo, de hecho, pues, dados ' dos cualesquiera de sus puntos, podemos unirlos con los centros de sus caras respectivas sin tocar a G1 , y ' ' dichos centros pueden unirse a travs de aristas de G2 , que tampoco tocan a G1 ). Ahora bien, esto es ' imposible, pues un circuito de G1 que conste del menor nmero posible de aristas es claramente homeo-

(concretamente, una que formara parte de un circuito) para pasar a un grafo

morfo a una circunferencia, y el teorema de la curva de Jordan (vlido para una esfera y, por consiguiente, para todo poliedro esferoide) afirma que tal circuito debe dividir al complementario en dos componentes
' G1 debe dividir a su complementario en al menos dos componentes conexas. Por construccin G2 tiene C vrtices, y el hecho de que no tenga circuitos se traduce en que tiene necesariamente C - 1 aristas. En efecto, si partimos de un vrtice y nos vamos moviendo a vrtices adyacentes, como

conexas, luego

no hay circuitos, nunca podemos volver a ningn vrtice por el que ya hayamos pasado, luego tras un nmero finito de pasos tendremos que llegar a un vrtice terminal, es decir, un vrtice al que llega una nica arista. Si eliminamos dicho vrtice junto con la arista que llega a l, obtenemos un nuevo grafo conexo y sin circuitos, y procediendo de este modo podemos llegar a un grafo formado por una nica arista con sus dos vrtices, y finalmente a un nico vrtice. As pues, hemos reducido los vrtices a 1 y las aristas a 0 en pasos sucesivos en los que hemos quitado un vrtice y una arista cada vez. Esto prueba que el nmero de vrtices del grafo de partida era una unidad mayor que el nmero de aristas. Por otra parte, tambin por construccin toda arista del poliedro est en el grafo por una (nica) arista del grafo aristas de ambos grafos, es decir,

G1

o bien est cruzada es la suma de las

G2, luego el nmero total A de aristas del poliedro A = V - 1 + C - 1, que equivale a la frmula de Euler.

60

G1 o bien est cruzada G2, luego el nmero total A de aristas del poliedro es la suma de las aristas de ambos grafos, es decir, A = V - 1 + C - 1, que equivale a la frmula de Euler.
Por otra parte, tambin por construccin toda arista del poliedro est en el grafo por una (nica) arista del grafo Veamos algunas aplicaciones: Teorema 4.2: Si todas las caras de un poliedro esferoide tienen aristas, entonces las nicas posibilidades para

lados y a todos sus vrtices llegan

son (3,3), (3,4), (3,5), (4,3) y (5,3). Adems, los nmeros

de vrtices, aristas y caras coinciden con los del slido platnico {c,v}.
Demostracin: Como cada arista llega a dos vrtices, se cumple que

tida por dos caras

vV = 2A, y como cada arista es comparcC = 2A, luego la frmula de Euler nos da la relacin
2A v

-A+

Como obviamente cluimos que

c, v 3, tenemos que c < 6. Ahora bien, si c 4 entonces

2A 1 1 1 = 2 + = + 1. c v c A 2 1 1 > - 1 1 - 1 = 1 , luego v < 6. Igualmente conv c 2 2 3 6

queda

v < 4,

luego las nicas posibilidades son las que

contempla el enunciado. La ltima ecuacin que hemos obtenido determina el valor de

A a partir de v y c,

luego el nmero de aristas del poliedro tiene que coincidir con el nmero de aristas del slido platnico {c,

v}, y dos primeras ecuaciones determinan a su vez los valores de V y C.

Teorema 4.3: Todo poliedro esferoide tiene al menos una cara triangular, cuadrangular o pentagonal.

Cn el nmero de caras con n lados, de modo que C = C3 + C4 + C5 + C6 + C7 + Similarmente, sea Vn el nmero de vrtices a los que llegan n aristas, de modo que V = V3 + V4 + V5 + V6 + V7 + Como cada arista llega a dos vrtices y es compartida por dos caras tenemos que 2A = 3C3 + 4C4 + 5C5 + 6C6 + 7C7 + , 2A = 3V3 + 4V4 + 5V5 + 6V6 + 7V7 + 3V.
Demostracin: Sea

Por la frmula de Euler: 12 = 6V + 6C - 6A b 4A + 6C - 6A = 6C - 2A = 3C3 + 2C4 +

C5 - C7 - C3, C4,

Como el miembro derecho tiene que ser positivo, concluimos que al menos uno de los tres nmeros

C5 tiene que ser no nulo.

Un razonamiento anlogo intercambiando los papeles de vrtices y caras prueba: Teorema 4.4: Todo poliedro esferoide tiene al menos un vrtice al que concurren exactamente tres, cuatro o cinco aristas. En particular, si un poliedro es transitivo para vrtices, a todos sus vrtices llegan tres, cuatro o cinco aristas, y si es transitivo para caras, stas son tringulos, cuadrilteros o pentgonos.

EL DEFECTO DE UN VRTICE
En esta seccin daremos una prueba (que esencialmente es de Euclides) del teorema siguiente: Teorema 4.5 (Euclides): La suma de los ngulos de las caras de un poliedro convexo correspondientes a un mismo vrtice es menor de 360 . La diferencia entre 360 y la suma de los ngulos de las caras se llama defecto del vrtice correspondiente. La figura siguiente muestra un poliedro esferoide (no convexo) que tiene ngulos con defecto igual a -180 .

61

Demostraremos un resultado previo: Teorema 4.6: Si en un vrtice de un poliedro concurren tres caras, la suma de los ngulos de dos de ellas es mayor que el ngulo de la tercera.
Demostracin: Llamemos A al vrtice del poliedro y sean B, C, D puntos equidistantes de A en los tres lados que concurren en l, y consideremos el tetraedro (no necesariamente regular) con vrtices en los cuatro puntos. El vrtice A del tetraedro tiene los mismos ngulos que pretendemos comparar. Si los tres ngulos son iguales, obviamente la suma de dos de ellos es mayor que el tercero. En caso contrario, podemos suponer que BAC es el ngulo mayor y que BAD es el menor. Sea E el punto en BC tal que el ngulo

BAE

es igual a

BAD.

Moviendo el punto

sobre la recta

AC

podemos exigir que el segmento

AE

sea

igual a

la misma distancia de

AD sin alterar los tres ngulos que estamos estudiando (de modo que C ya no est necesariamente a A que B y D)

BAD y BAE tienen dos lados iguales, as como el ngulo A, por lo que son iguales, y en BD es igual a BE. Por otra parte, BD + DC > BC, luego BE + DC > BC y DC > EC. Por otra parte, los tringulos DAC y EAC tienen en comn el lado AC y el lado AD es igual a AE, pero el tercer lado es mayor en el primer tringulo, luego el ngulo DAC es mayor que EAC. Por consiguiente, tenemos las relaciones siguientes entre ngulos: BAD + DAC = BAE + DAC > BAE + EAC = BAC. sta es una de las tres desigualdade que tenemos que probar, pero las otras son inmediatas: BAC es mayor o igual que los otros dos ngulos, luego si le sumamos cualquiera de ellos, la suma es mayor
Los tringulos particular que el tercero.

62

|
BAD + DAC = BAE + DAC > BAE +

Por consiguiente, tenemos las relaciones siguientes entre ngulos:

EAC = BAC. sta es una de las tres desigualdade que tenemos que probar, pero las otras son inmediatas: BAC es mayor o igual que los otros dos ngulos, luego si le sumamos cualquiera de ellos, la suma es mayor
que el tercero. Pasamos ya a demostrar el teorema 4.5. Por concretar supondremos que en el vrtice seccin ser un polgono convexo que formar una pirmide con el vrtice laterales en A son los que queremos estudiar.

concurren cinco

caras, aunque el argumento es vlido en general. Si cortamos el poliedro por un plano cercano al punto

A, la

A tal que los ngulos de sus caras

A B C

Aplicamos el teorema anterior al ngulo B de la pirmide, con lo que concluimos que CBA + ABF > FBC. Lo mismo vale para los dems vrtices de la base: la suma de los ngulos situados en las caras laterales es mayor que el ngulo de la base. Si sumamos las cinco desigualdades obtenemos en el miembro izquierdo la suma de todos los diez ngulos de las caras laterales que no estn en el vrtice A, y dicha suma es mayor que la suma de todos los ngulos de la base. Ahora bien, por el teorema 1.4 sabemos que dicha suma es (5-2)180 , mientras que la suma de todos los ngulos de las caras laterales es 5180 , luego la suma de los ngulos en A es menor que 5180 - (5-2)180 = 360 , como haba que probar. Ahora podemos obtener otra consecuencia del teorema de Euler: Teorema 4.7 (Descartes): La suma de los defectos de los vrtices de un poliedro convexo es igual a 720 .
Demostracin: La suma de los defectos es igual a la suma, para cada vrtice

P, de 360 menos la suma de

los ngulos de las caras que concurren en de todas las caras del poliedro, donde poliedro con defectos es

lados. La suma de los

P, que a su vez es igual a 360 V menos la suma de los ngulos Cn al nmerode caras del ngulos de un n-gono regular es (n-2)180 , luego la suma de los

es el nmero de vrtices. Llamemos

P dP = 360 V - n Cn (n-2)180 = 360 V -180 n Cn n - 360 n Cn = 360 V -180 2A =720 . Veamos otra aplicacin:

360 C

360 (V

- A+C)

Teorema 4.8: Si las caras de un poliedro convexo son todas cuadrados o todas pentgonos regulares, entonces es un cubo o un dodecaedro regular.
Demostracin: Por el teorema 4.5, a cada vrtice slo pueden concurrir tres caras, luego los vrtices adyacentes a uno dado P forman un tringulo F, y la pirmide de base F y vrtice P tiene caras laterales que son tringulos issceles cuyos lados iguales forman todos el mismo ngulo (el ngulo de una cara), luego los lados de F son todos iguales y es, por tanto, un tringulo equiltero. A partir de aqu es vlido el razonamiento del teorema 3.4, segn el cual no tenemos ningn grado de libertad para construir un poliedro con estas caractersticas, sino que necesariamente se ha de tratar del slido platnico {4,3} o {5,3}.

63

Demostracin: Por el teorema 4.5, a cada vrtice slo pueden concurrir tres caras, luego los vrtices adyacentes a uno dado P forman un tringulo F, y la pirmide de base F y vrtice P tiene caras laterales que son tringulos issceles cuyos lados iguales forman todos el mismo ngulo (el ngulo de una cara), luego los lados de F son todos iguales y es, por tanto, un tringulo equiltero. A partir de aqu es vlido el razonamiento del teorema 3.4, segn el cual no tenemos ningn grado de libertad para construir un poliedro con estas caractersticas, sino que necesariamente se ha de tratar del slido platnico {4,3} o {5,3}.

La primera figura de esta seccin muestra que el resultado es falso sin la hiptesis de convexidad. Por otra parte, el resultado no es cierto para tringulos equilteros. Por ejemplo, si unimos dos tetraedros por una cara obtenemos un poliedro convexo formado por tringulos equilteros que no es un slido platnico (no es transitivo para vrtices):

El teorema de Descartes nos da una informacin sobre los poliedros convexos formados por tringulos equilteros que usaremos ms adelante para clasificarlos: Teorema 4.9: Si todas las caras de un poliedro son tringulos equilterios, en cada vrtice concurren tres, cuatro o cinco caras, y si llamamos relacin 3V3 +2V4 +V5 = 12.
Demostracin: Los ngulos de las caras son todos de 60 , luego para que el defecto sea positivo no puede

V3, V4

V5

al nmero de vrtices de cada tipo, se cumple la

haber ms de cinco caras en cada vrtice. La suma de los defectos es 360(V3 + V4 + V5 ) - 60(3V3 + 4V4 + 5V5 ) = 720.

EL TEOREMA DE CAUCHY
Presentamos seguidamente otro resultado fundamental sobre poliedros convexos: Teorema 4.9 (Cauchy): Si es posible establecer una correspondencia biunvoca entre los vrtices, las aristas y las caras de dos poliedros convexos de modo que los lados de una cara se correspondan con los lados de su imagen y los extremos de una arista se correspondan con los extremos de su imagen, y adems cada cara es congruente con su imagen, entonces los poliedros son congruentes (a travs de una isometra que no conserva necesariamente la orientacin). En otros trminos: imaginemos que demontamos un poliedro convexo separando sus caras, pero antes hemos numerado sus vrtices y sus aristas y hemos anotado los nmeros en cada cara. De este modo, si queremos reconstruir el poliedro, tomamos una cara y observamos que en una de sus aristas aparece la equiqueta 5 y en sus vrtices las etiquetas 3 y 8, eso significa que debemos buscar otra cara que tenga tambin una arista numerada con el 5 y pegarla a la primera por las aristas numeradas con el 5 y de modo que el vrtice 3 coincida con el 3 y el 8 con el 8. La forma de pegar dos caras de esta forma no es nica, sino que falta especificar el ngulo didrico que deben formar las dos caras. Supongamos que tambin hemos anotado los ngulos didricos en cada arista. En tal caso tenemos datos suficientes para reconstruir el poliedro a partir de sus caras y de las anotaciones de ensamblaje. En efecto, empezaramos tomando una cara cualquiera c, nos fijaramos en el nmero de una de sus aristas y buscaramos la cara c que tiene una arista con el mismo nmero, pegaramos ambas caras por dicha arista cuidando de que se corresponda la numeracin de los vrtices y de modo que el ngulo entre sus planos fuera el ngulo didrico anotado para la arista. La primera vez que hacemos esto tenemos un grado de libertad, y es que podemos situar la cara c en cualquiera de los dos semiplanos determinados por la cara c. Ahora bien, una vez realizada la primera eleccin, al repetir el proceso con cualquiera de las aristas de la figura formada por

c y c

queremos reconstruir el poliedro, tomamos una cara y observamos que en una de sus aristas aparece la equiqueta 5 y en sus vrtices las etiquetas 3 y 8, eso significa que debemos buscar otra cara que tenga tambin una arista numerada con el 5 y pegarla a la primera por las aristas numeradas con el 5 y de modo que el vrtice 3 coincida con el 3 y el 8 con el 8. La forma de pegar dos caras de esta forma no 64 es nica, sino que falta especificar el ngulo didrico que deben formar las dos caras. Supongamos que tambin hemos anotado los ngulos didricos en cada arista. En tal caso tenemos datos suficientes para reconstruir el poliedro a partir de sus caras y de las anotaciones de ensamblaje. En efecto, empezaramos tomando una cara cualquiera c, nos fijaramos en el nmero de una de sus aristas y buscaramos la cara c que tiene una arista con el mismo nmero, pegaramos ambas caras por dicha arista cuidando de que se corresponda la numeracin de los vrtices y de modo que el ngulo entre sus planos fuera el ngulo didrico anotado para la arista. La primera vez que hacemos esto tenemos un grado de libertad, y es que podemos situar la cara c en cualquiera de los dos semiplanos determinados por la cara c. Ahora bien, una vez real-

izada la primera eleccin, al repetir el proceso con cualquiera de las aristas de la figura formada por c y c que todava no tienen pareja, ya no podemos elegir el semiplano, sino que, como buscamos un poliedro convexo, estamos obligados a poner cada nueva cara en el semiespacio que contiene a las anteriores. La primera eleccin del semiespacio hace que podamos acabar con dos poliedros simtricos respecto del plano de la primera cara que hemos tomado, pero ambos resultados sern claramente congruentes con el poliedro inicial que habamos desmontado. Lo que dice el teorema de Cauchy es que para reconstruir el poliedro no hace falta haber anotado los ngulos didricos, sino que al ir uniendo las caras segn las instrucciones de ensamblaje y modificando los ngulos didricos segn vaya siendo necesario, al final obtendremos el mismo poliedro que habamos desmontado. Cualquiera que haya construido un poliedro con cartulina a partir de una red de polgonos sabe que esto es cierto, pues siempre se acaba con el poliedro previsto sin haberse preocupado por medir ngulos didricos. Sin embargo, hay que sealar que la hiptesis de convexidad es necesaria, pues la figura siguiente muestra dos poliedros que pueden ensamblarse a partir de las mismas caras siguiendo las mismas instrucciones de ensamblaje (sin conocer a priori los ngulos didricos) y que, no obstante, no son congruentes:

Demostracin: Supongamos que existen dos poliedros convexos

P P

que cumplen las hiptesis del teo-

rema pero no son congruentes. Por la discusin precedente, al menos un ngulo didrico de distinto de su correspondiente en

debe ser

P.

As pues, hay una arista de

cuyo ngulo didrico es distinto del

ngulo didrico de su correspondiente en de su anloga en

entonces que al menos uno de los ngulos didricos de una de las aristas que concurren en

P. Sea v uno de sus extremos y sea v su anlogo en P. Resulta v es distinto del v con v). Fijemos una esfera E de centro v de v, as como su

v.

Sin embargo, los ngulos laterales son iguales en ambos vrtices, pues las caras son

congruentes (mediante congruencias que hacen corresponder anloga

radio suficientemente pequeo como para que corte a todas las aristas que concurren en

E con centro v.

65

Cada cara concurrente en v corta a la esfera en un arco que pasa por un crculo mximo (porque el plano de la cara pasa por el centro de la esfera, luego corta a la esfera en un crculo mximo). Estos arcos estn encadenados cclicamente, y forman una figura anloga a un polgono, salvo que est sobre una esfera en lugar de sobre un plano y sus lados son arcos de circunferencia en lugar de segmentos de recta. Llamaremos polgonos esfricos convexos a las figuras obtenidas de este modo por interseccin de una pirmide convexa con una esfera. Si tomamos como medida el radio de la esfera y medimos los ngulos en radianes, podemos afirmar que la longitud del arco determinado por cada cara es igual a su ngulo en v. As pues, tenemos dos polgonos esfricos convexos, el determinado en E por P y el determinado en E' por P' tales que cada lado de uno se corresponde con un lado del otro de la misma longitud. Sin embargo, los ngulos de los polgonos se corresponden con los ngulos didricos de las aristas de v y v', por lo que no son iguales. Marquemos cada ngulo del polgono en

con un +, un

o un = segn si es mayor, menor o igual que el

ngulo correspondiente en E y vamos a probar que, al recorrer el polgono, se producen al menos cuatro alternancias de signo (entendiendo por tal un paso de + a - o de - a + con posibles valores 0 intermedios). Obviamente el nmero de alternancias tiene que ser par, luego basta probar que no puede ser ni 0 ni 2. Para ello probamos un hecho general: Sean A1 An y B1 Bn dos polgonos esfricos convexos sobre esferas del mismo radio tales que cada lado Ai Ai+1 tiene la misma longitud que Bi Bi+1 para i = 1, , n-1 (pero no decimos nada sobre An A1 ). Supongamos adems que cada ngulo Ai es menor o igual que Bi para i = 2, , n-1 y que alguno de ellos es estrictamente menor. Entonces An A1 es estrictamente menor que Bn B1 . En la prueba admitiremos el caso en que algunos de los ngulos de los polgonos sean llanos, pero supon-

B2 no lo es. Lo probamos por induccin sobre n. Si n = 3 hemos de probar que si dos tringulos ABC y A'B'C' determinados por una pirmide convexa tienen iguales los lados AB = A'B' y AC = A'C' y el ngulo A es menor que A', entonces el lado BC tambin es menor que B'C', pero esto es
dremos que esfricos consecuencia inmediata del teorema del coseno de la geometra esfrica, que (suponiendo la circunferencia unitaria) afirma que: cos[BC] = cos[AB] cos[AC] + sen[AB] sen[AC] cos Como los senos son positivos, un aumento del ngulo Supongamos ahora que

A.

A conlleva un aumento del lado BC.

n 4 y consideremos el caso en que al menos un ngulo (no llano) Ai es igual al correspondiente Bi (para un i = 2, , n-1). Entonces los tringulos esfricos Ai-1 Ai Ai+1 y Bi-1 Bi Bi+1 tienen sus
tres lados iguales (de nuevo por el teorema del coseno), luego son congruentes y podemos considerar los polgonos que resultan de suprimir los vrtices Ai y Bi , con lo que estamos en las condiciones del teorema pero con polgonos de n-1 vrtices. (Aqu se usa que los polgonos estn definidos por pirmides convexas, pues en otro caso la diagonal

Ai-1 Ai+1

podra cortar los lados del polgono y el argumento no valdra. Si el

vrtice que eliminamos es el segundo, es fcil ver que el nuevo menos un cierto ngulo no nulo.)

B2 no puede ser llano, pues es el anterior B3

66 | Supongamos ahora que

n 4 y consideremos el caso en que al menos un ngulo (no llano) Ai es igual al correspondiente Bi (para un i = 2, , n-1). Entonces los tringulos esfricos Ai-1 Ai Ai+1 y Bi-1 Bi Bi+1 tienen sus
tres lados iguales (de nuevo por el teorema del coseno), luego son congruentes y podemos considerar los polgonos que resultan de suprimir los vrtices Ai y Bi , con lo que estamos en las condiciones del teorema pero con polgonos de n-1 vrtices. (Aqu se usa que los polgonos estn definidos por pirmides convexas, pues en otro caso la diagonal

Ai-1 Ai+1

podra cortar los lados del polgono y el argumento no valdra. Si el

vrtice que eliminamos es el segundo, es fcil ver que el nuevo menos un cierto ngulo no nulo.)

B2 no puede ser llano, pues es el anterior B3

Nos falta considerar el caso en que todos los ngulos del primer polgono son estrictamente menores que los del segundo (y, en particular, ninguno es llano). En tal caso consideramos el polgono esfrico que tiene los mismos vrtices que A1 An salvo que sustituimos
* 1

A1

por otro punto

A* 1

tal que el arco

A* A2 1

sea igual a

A1 A2, pero de modo que el ngulo A A2 A3 coincida con B1 B2 B3. En este punto hay que tener en cuenta tres posibilidades, todas ellas ilustradas en la figura siguiente:

slo se modifican los ngulos A2 , A1 y An . El ngulo A2 se mantendr convexo, pues B2, que es convexo, el ngulo A1 (o A* ) se mantendr convexo porque no dajar de 1 formar un tringulo A2 A* An , (aqu usamos que el polgno de partida es convexo por lo que contiene a la 1 diagonal A2 An ) pero el ngulo An-1 puede mantenerse convexo, como en el caso a) de la figura, puede Al abrir el ngulo acaba siendo igual a hacerse llano, con lo que el polgono sigue siendo convexo, pero tiene un vrtice menos (caso b), o puede hacerse cncavo, con lo que el polgono deja de ser convexo (caso c). Observemos que si se da el caso c,

A2

A'1 que satisface el caso b. En los casos a) y b), el polgono A1 An tiene al menos un ngulo (el A3 , que no es llano) igual a su correspondiente en A* An , y otro (el A2 ) estrictamente menor, luego por el caso ya probado sabemos que el 1 arco An A1 es menor que An A* . A su vez, el polgono A* An tiene un ngulo (el A2 ) igual al de B1 Bn 1 1 (luego no es llano, porque B2 no lo es) y los restantes menores, por lo que tambin podemos aplicar la parte ya probada y concluir que el arco An A* es menor que Bn B1 , lo que nos da la conclusin. 1 Pasamos ahora al caso c), en el cual consideramos el punto intermedio A'1 que cumple el caso b). Por dicho caso, al comparar el polgono A1 An con A'1 An (que es igual a A'1 An -1 ) concluimos que el arco An A1 es menor que An A'1 . A continuacin comparamos el polgono A'1 An -1 con B1 Bn -1 , donde podemos usar la hiptesis de induccin, segn la cual el arco An -1 A'1 es menor que Bn -1 B1 .
entonces hay un punto intermedio

A'1 que cumple el caso b). Por dicho caso, al comparar el polgono A1 An con A'1 An (que es igual a A'1 An -1 ) concluimos que el arco An A1 es menor que An A'1 . A continuacin comparamos el polgono A'1 An -1 con B1 Bn -1 , donde podemos usar la hiptesis de induccin, segn la cual el arco An -1 A'1 es menor que Bn -1 B1 . Por otra parte, como An -1 , An y A'1 estn alineados, se cumple que An A'1 = An -1 A'1 - An -1 An , de modo
Pasamos ahora al caso c), en el cual consideramos el punto intermedio que, en conclusin,

67

An A1 < An A'1 = An -1 A'1 - An -1 An < Bn -1 B1 - Bn -1 Bn B1 Bn,

donde la ltima desigualdad es simplemente la desigualdad triangular sobre la esfera. Volviendo a la demostracin del teorema, tenemos dos polgonos esfricos convexos y queremos probar que el nmero de alternancias en las diferencias de sus ngulos no puede ser 0 ni 2. Si fuera 0, ello significara que todos los ngulos de uno de los polgonos son menores o iguales que los ngulos correspondientes en el otro, y alguna desigualdad es estricta. El resultado que hemos probado implica que uno de los lados del segundo polgono tiene que ser estrictamente mayor que el lado correspondiente del primero, pero sabemos que los lados son todos iguales. Supongamos ahora que hay exactamente dos alternancias y distinguimos varios casos: si slo hay uno o dos signos + consecutivos, entonces numeramos los vrtices del polgono de modo que uno de sea

A1

y, si hay

otro, sea An . El resultado anterior nos da que el arco An A1 es menor que Bn B1 , lo cual es falso, pues cada arco tiene la misma longitud que su anlogo en el segundo polgono. Lo mismo vale si slo hay uno o dos signos - consecutivos (intercambiando el papel de los dos polgonos). En otro caso, los dos vrtices donde se producen las dos alternancias no son contiguos, por lo que la diagonal que los une divide al polgono en dos polgonos convexos menores, uno de los cuales tiene todos sus vrtices marcados con + o con = (salvo los dos correspondientes a la diagonal) y el otro tiene todos sus vrtices marcados con - o con = (salvo los dos correspondientes a la diagonal). Al aplicar el teorema anterior a ambos polgonos, concluimos que la longitud de la diagonal debe ser mayor y menor estrictamente que la diagonal correspondiente en el polgono sobre la esfera E. Esta contradiccin prueba que al menos hay cuatro alternancias. Todo lo dicho hasta aqu es vlido para cualquier par de vrtices correspondientes en los dos poliedros dados a los que llegue al menos una arista con ngulo didrico distinto de la de su correspondiente en el otro polgono. Ms en general, dados los dos poliedros P y P, podemos marcar cada arista de P con un +, un - o un = segn si su ngulo didrico es mayor, menor o igual que el de su arista correspondiente en

P. Lo que

hemos probado es que, en cada vrtice de P, o bien concurren nicamente aristas marcadas con =, o bien, al recorrer cclicamente las aristas que concurren a l, encontramos al menos cuatro cambios de signo. A partir de aqu prescindimos de la interpretacin geomtrica de los signos que hemos asignado a cada arista y vamos a ver simplemente que es imposible establecer una asignacin arbitraria de signos +, - o = a las aristas de un poliedro convexo con la condicin de que alrededor de cada vrtice al que concurra al menos una arista marcada con + o con - se produzcan al menos cuatro cambios de signo (salvo que todas las aristas estn marcadas con un =, que es lo que queremos probar). Para probarlo necesitamos trabajar con un concepto abstracto de poliedro: Un poliedro combinatorio es una estructura determinada por un conjunto finito {v1 , , vk }, a cuyos elementos llamaremos vrtices, un conjunto de pares de vrtices {vi , v j }, a cuyos elementos llamaremos aristas (y a los elementos de una arista los llamaremos extremos) y un conjunto a cuyos elementos llamaremos caras, de modo que cada cara es un conjunto finito de al menos tres aristas (llamadas lados de la cara) que pueden disponerse cclicamente de modo que cada arista comparte un extremo con la arista anterior y el otro con la siguiente. Exigimos adems que cada arista pertenezca exactamente a dos caras, que dos vrtices de una cara no formen una arista salvo que sea uno de sus lados, que a cada vrtice concurran al menos tres aristas, que las aristas que concurren a un vrtice puedan disponerse cclicamente de modo que cada una y la siguiente sean aristas consecutivas de una misma cara y que dos caras cualesquiera puedan unirse por una cadena de caras contiguas. Por ltimo, exigimos que el nmero de vrtices, el de caras y el de aristas cumplan la frmula de Euler). Un poliedro combinatorio marcado es un poliedro combinatorio a cuyas aristas hemos asignado signos +, - = de modo que al recorrer las aristas que rodean a un vrtice, si no todas ellas tienen signo =, encontramos al menos cuatro cambios de signo. Ser trivial si todas las marcas son =. Obviamente, el poliedro P determina un poliedro combinatorio marcado. Ahora todo se reduce a probar probar que, en general, no existen poliedros combinatorios marcados no triviales. Supongamos que no es as. Dado un poliedro marcado no trivial, podemos pasar a otro con los mismos vrtices y cuyas caras son todas tringulos. En efecto, toda cara puede ser dividida en tringulos aadiendo como aristas los pares formados por uno de sus vrtices y todos los dems vrtices no adyacentes (y las nuevas aristas las marcamos con signos =). Si la cara tena n lados, hemos aadido n-2 aristas y n-2 caras, luego la frmula de Euler sigue cumplindose cada vez que triangulamos una cara. Como no hemos aadido vrtices y las nuevas aristas estn marcadas con =, el poliedro sigue estando marcado.

68

Dado un poliedro marcado no trivial, podemos pasar a otro con los mismos vrtices y cuyas caras son todas tringulos. En efecto, toda cara puede ser dividida en tringulos aadiendo como aristas los pares formados por uno de sus vrtices y todos los dems vrtices no adyacentes (y las nuevas aristas las marcamos con signos =). Si la cara tena n lados, hemos aadido n-2 aristas y n-2 caras, luego la frmula de Euler sigue cumplindose cada vez que triangulamos una cara. Como no hemos aadido vrtices y las nuevas aristas estn marcadas con =, el poliedro sigue estando marcado. Ahora observamos que si el poliedro tiene un vrtice al que concurren exactamente tres aristas, todas ellas deben estar marcadas con =, pues no puede haber cuatro alternancias de signo. En particular, no puede suceder que todos los vrtices del poliedro sean triples. Si un vrtice es triple, no puede suceder que sus tres vrtices adyacentes formen una cara, porque, como las caras tienen que estar conectadas, las tres caras concurrentes en el vrtice y la cara opuesta seran todas las caras del poliedro, que sera un tetraedro combinatorio con todos sus vrtices triples. Por lo tanto, podemos construir otro poliedro combinatorio eliminando el vrtice junto con las tres caras concurrentes en l y aadiendo una nueva cara formada por los tres vrtices adyacentes. Es fci ver que seguimos teniendo un poliedro combinatorio. En particular sigue cumpliendo la frmula de Euler, pues hemos eliminado un vrtice, tres aristas y tres caras, y hemos aadido una cara, luego la expresin V - A + C no se altera. Como todas las aristas que hemos eliminado estaban marcadas con =, el nuevo poliedro combinatorio sigue estando marcado. Como el nmero de vrtices se reduce en cada paso, repitiendo este proceso podemos pasar a un poliedro combinatorio marcado con caras triangulares en el que no haya vrtices triples. Supongamos que queda algn vrtice cuyas aristas estn todas marcadas con signos = y veamos que tambin puede ser eliminado. Para ello eliminamos el vrtice, las n aristas y las n caras que concurren en l y aadimos una nueva cara cuyos vrtices sean los n vrtices adyacentes al que hemos eliminado. Notemos que en cada vrtice adyacente hemos eliminado una arista y hemos unido la anterior y la posterior mediante la cara nueva, por lo que sigue teniendo sus aristas dispuestas cclicamente segn la definicin de poliedro combinatorio (aqu usamos que los vrtices adyacentes tienen al menos cuatro aristas, por lo que ahora se quedan con al menos tres, como exige la definicin). Notemos que hemos eliminado un vrtice, n aristas y n caras y hemos aadido una cara, con lo que V - A + C no se altera. Como todas las aristas eliminadas estaban marcadas con =, el nuevo poliedro combinatorio tambin est marcado. Ahora lo triangulamos, si tiene vrtices triples los eliminamos y, si todava sigue quedando un vrtice con todas las aristas marcadas con =, lo eliminamos tambin repitiendo el proceso descrito. Como el nmero de vrtices va descendiendo, tras un nmero finito de pasos tenemos que llegar a un poliedro combinatorio de caras triangulares en el que todos los vrtices tengan alguna arista marcada con + o con -, luego en todos los vrtices hay al menos cuatro cambios de signo. Ahora reemplazamos todas las marcas = por marcas +, y observamos que el poliedro sigue estando marcado, pues, mirando un ciclo de signos alrededor de un vrtice, si hemos sustituido una cadena +===+ por +++++ no hemos cambiado el nmero de alternancias, al igual que si hemos cambiado +===- por ++++-, mientras que si hemos cambiado -===- por -+++- hemos aadido una alternancia. As pues, ahora tenemos un poliedro combinatorio marcado de caras triangulares en el que todas las marcas son + o -. Llamamos t a la suma de alternancias en cada vrtice, de modo que, necesariamente, se cumplir

t 4V.
Por otra parte, en cada cara triangular tiene que haber dos signos ++ p -- consecutivos, luego cada tringulo proporciona a lo sumo dos alternancias a sus tres vrtices, y por consiguiente 4V t 2C. Ahora aplicamos el teorema de Euler: 2V = 2A - 2C + 4 = 3C -3C + 4 = C + 4. Combinando las dos frmulas resulta: Veamos una aplicacin: Teorema 4.10: Un poliedro convexo es regular si y slo si sus caras son polgonos regulares iguales y a todos sus vrtices llega el mismo nmero de aristas.
Demostracin: Por el teorema 4.2 sabemos que un poliedro en las condiciones del enunciado tiene tipo {c,v} igual al de un poliedro regular. Si sus caras son cuadrados o pentgonos el teorema 4.8 ya nos da que se trata del cubo o del dodecaedro regular (aunque podramos llegar a la misma conclusin razonando como vamos a hacer a continuacin para el caso de las caras triangulares, usando el teorema de Cauchy). Supongamos, pues que las caras del poliedro son tringulos equilteros, en cuyo caso a cada vrtice tienen que llegar tres, cuatro o cinco aristas. Es inmediato que si a cada vrtice llegan tres aristas se trata de un tetraedro regular.

C + 4 C, contradiccin.

Supongamos que a cada vrtice llegan cuatro aristas, con lo que el poliedro tiene seis vrtices y ocho caras, y hemos de probar que se trata de un octaedro. Por el teorema de Cauchy, basta probar que las ocho caras estn conectadas como en un octaedro, pero esto es trivial: en un vrtice concurren cuatro caras, que forman la superficie lateral de una pirmide de base cuadrada. A priori no podemos asegurar que las cuatro aristas viudas de dicha superficie lateral estn sobre un mismo plano, pues tal estructura puede deformarse. Ahora bien, aparte de los cinco vrtices considerados hasta ahora hay un sexto vrtice, que tambin tendr otras

69

Supongamos que a cada vrtice llegan cuatro aristas, con lo que el poliedro tiene seis vrtices y ocho caras, y hemos de probar que se trata de un octaedro. Por el teorema de Cauchy, basta probar que las ocho caras estn conectadas como en un octaedro, pero esto es trivial: en un vrtice concurren cuatro caras, que forman la superficie lateral de una pirmide de base cuadrada. A priori no podemos asegurar que las cuatro aristas viudas de dicha superficie lateral estn sobre un mismo plano, pues tal estructura puede deformarse. Ahora bien, aparte de los cinco vrtices considerados hasta ahora hay un sexto vrtice, que tambin tendr otras cuatro caras concurrentes con sus cuatro aristas viudas. Como ya no puede haber ms vrtices, el poliedro tiene que formarse identificando cada una de las cuatro aristas viudas de la primera mitad con una de las cuatro aristas viudas de la otra mitad y, por consiguiente, sus ocho caras estn dispuestas exactamente igual que en un octaedro regular. Por el teorema de Cauchy, el poliedro es un octaedro regular. Supongamos ahora que a cada vrtice llegan cinco aristas, con lo que el poliedro tiene doce vrtices y veinte caras. Consideremos la figura con la que mostramos la existencia del icosaedro. Podemos empezar por el paso 2, en el que se muestran cinco caras de un icosaedro regular. Dado un poliedro cualquiera de tipo {3,5}, podemos tomar uno cualquiera de sus vrtices y llamarlo O, el cual tendr cinco vrtices adyacentes que podemos nombrar cclicamente como

A, B, C, D, E,

con lo que a cada una de las cinco caras que

concurren en O le podemos asignar la cara correspondiente en la figura, de modo que si, en general, a cada vrtice, arista o cara determinada por los seis vrtices que estamos considerando le hacemos corresponder el objeto anlogo en la figura, tenemos una biyeccin tal que las imgenes de los lados de una cara son los lados de su imagen y las imgenes de los extremos de una arista son los extremos de su imagen. En el vrtice B del poliedro arbitrario concurrirn cinco aristas, tres de las cuales son faltan otras dos, que no pueden acabar ni en entonces

ni en

E, G.

pues si, por ejemplo, B y

BC, BO y BA, pero D fueran adyacentes, B son A, AB

BCD

sera una cara del poliedro y al vrtice C llegaran slo tres aristas (pues las tres que ya

estamos considerando cerraran el ciclo de aristas adyacentes). As pues, los vrtices adyacentes a

O, C

y dos vrtices nuevos, que podemos llamar

Podemos etiquetarlos de forma que la arista

pertenezca a la cara ABF, tal y como muestra el paso 3, y es claro que la correspondencia entre vrtices, aristas y caras del poliedro arbitrario y el icosaedro regular de la figura puede extenderse hasta incluir todos los vrtices representados y las aristas y caras determinados por ellos. El vrtice C debe tener un quinto vrtice adyacente, que no puede ser ninguno de los considerados hasta ahora. No puede ser porque entonces

E (resp. F) D (resp. G) tendra cuatro vrtices adyacentes nada ms, ni puede ser A, porque entonces

DCA y GCA seran caras del poliedro, y A tendra siete vrtices adyacentes. Por lo tanto el quinto vrtice adyacente a C es un nuevo vrtice al que podemos llamar H, tal y como aparece en el paso 4, y la correspondencia entre los elementos del poliedro arbitrario y el icosaedro regular puede extenderse hasta englobar todos los representados hasta ahora. Igualmente se razona que el quinto vrtice adyacente a D no puede ser ninguno de los considerados hasta ahora, ni tampoco el quinto vrtice adyacente a llegaran slo cuatro aristas. Como tenemos ya cinco vrtices adyacentes a dos vrtices, tal y como se muestran en el paso 5, que tampoco pueden coincidir entre s, pues entonces a

A. Llamamos I, J a estos E

E, no falta ninguno, y los vrtices

EIJ

deben formar una cara tal y como se muestra en el paso 6. As pues, es claro que podemos biyectar quince de las caras del poliedro dado con las quince caras del icosaedro representadas en la figura de modo que la correspondencia se extiende coherentemente a aristas y vrtices. El poliedro tiene un ltimo vrtice adicional K (pues sabemos que en total tiene doce), que tendr cinco nuevas caras concurrentes en l. Puesto que con esto completamos las veinte caras, las cinco aristas viudas de dichas cinco caras nuevas tienen que identificarse con las cinco aristas viudas de vrtices FGHIJ, lo que nos lleva a que su disposicin debe ser exactamente la que muestra el paso 7, que es el icosaedro regular completo. Por el teorema de Cauchy, esta correspondencia entre caras, aristas y vrtices muestra que el poliedro dado es congruente a un icosaedro regular, es decir, es un icosaedro regular. En la seccin siguiente daremos una ltima caracterizacin de los poliedros regulares convexos basada nicamente en el tipo y el nmero de sus caras.

5. DELTAEDROS CONVEXOS
Un deltaedro es un poliedro cuyas caras son tringulos equilteros. En esta seccin describiremos todos los deltaedros convexos y aplicaremos los teoremas de la seccin anterior para demostrar que, efectivamente, no existe ningn otro aparte de los que vamos a describir. Ya conocemos tres deltaedros convexos: el tetraedro, el octaedro y el icosaedro. Vamos a ver que slo existen cinco ms. Es inmediato que existen infinitos deltaedros no convexos, que pueden tener formas arbitrariamente caprichosas. Basta ir uniendo deltaedros convexos cualesquiera (por ejemplo tetraedros) a travs de una cara para formar deltaedros con toda clase de tentculos, anillos, nudos, etc.

70

En esta seccin describiremos todos los deltaedros convexos y aplicaremos los teoremas de la seccin anterior para demostrar que, efectivamente, no existe ningn otro aparte de los que vamos a describir. Ya conocemos tres deltaedros convexos: el tetraedro, el octaedro y el icosaedro. Vamos a ver que slo existen cinco ms. Es inmediato que existen infinitos deltaedros no convexos, que pueden tener formas arbitrariamente caprichosas. Basta ir uniendo deltaedros convexos cualesquiera (por ejemplo tetraedros) a travs de una cara para formar deltaedros con toda clase de tentculos, anillos, nudos, etc.

LAS BIPIRMIDES TRIANGULAR Y PENTAGONAL

Los deltaedros ms sencillos despus del tetraedro regular son las bipirmides triangular y pentagonal, que resultan de unir por sus bases dos pirmides de base regular triangular o pentagonal. Tambin podramos considerar la bipirmide cuadrada, pero no es sino el octaedro regular. En general, una bipirmide es la figura que resulta de unir dos pirmides con la misma base y la misma altura superponiendo las bases. Dicha base identificada se sigue llamando base de la bipirmide, pero hay que tener presente que no es una de sus caras. Podemos formar bipirmides con cualquier polgono regular y cuyas caras sean tringulos issceles, pero es fcil ver que slo pueden ser equilteros cuando la base tiene tres, cuatro o cinco lados. Las bipirmides son los poliedros duales de los prismas.

En general, las bipirmides de base regular son transitivas para caras, pero no lo son para vrtices ni aristas (salvo en el caso del tetraedro regular). Las caractersticas de ambos deltaedros se deducen fcilmente de los clculos que ya tenemos hechos. Por ejemplo, el radio mayor de la bipirmide triangular es la altura del tetraedro, que es la suma de su inradio ms su cinrcunradio, el radio menor es el radio de la base, y el inradio forma un tringulo rectngulo cuya hipotenusa es el apotema de la base y cuyo ngulo opuesto es el ngulo didrico del tetraedro, cuyo coseno es 1/3. El radio mayor de la bipirmide pentagonal es el del pentgono regular, el radio mayor forma un tringulo rectngulo con dicho radio y con la arista, y el inradio forma un tringulo rectngulo cuya hipotenusa es la apotema de la base y cuyo ngulo opuesto tiene tangente igual a la altura de la pirmide sobre la apotema de la base. Cuando la arista mide 1 queda:

R1 Bipirmide triangular
6 3 5+ 5 10

R2
3 3 5- 5 10

Inradio
2 6 18

Volumen rea
2 6

3 2 5 2

Bipirmide pentagonal

3+ 5 30

5+ 5 12

71

EL DODECAEDRO SIAMS
Presentamos ahora un deltaedro de 12 caras cuya estructura es especialmente complicada. Para construirlo partimos de una bipirmide triangular y le hacemos un corte longitudinal a travs de dos aristas consecutivas. Deslizando la barra de la figura siguiente (en el paso 1) vemos cmo se deforma la bipirmide: se forma un agujero limitado por cuatro aristas de forma que a medida que un par de vrtices opuestos se separa el otro par se junta hasta que la figura queda plana.
Paso 1

1 2 3 4

Por consiguiente, tiene que haber una posicin en la que la distancia entre cada par de vrtices opuestos es la misma, digamos d. Dicha posicin es la que se muestra en el Paso 2. En dicha posicin, los cuatro ngulos del agujero son iguales, pues forman tringulos issceles con dos lados de longitud igual a la de la arista de la bipirmide y el opuesto de longitud d. Por lo tanto, si tomamos otra figura idntica pero girada 90 tal y como se muestra en el paso 3, al juntarlas (moviendo de nuevo la barra deslizante) las dos piezas encajan y forman el dodecaedro siams, llamado as porque est formado por dos bipirmides pegadas a modo de gemelos siameses. (Tambin se le conoce como biesfenoide romo, por razones que explicaremos ms adelante). Vemos que se trata de un deltaedro con V = 8 vrtices, A = 18 aristas y C = 12 caras. El paso 4 nos permite calcular las proporciones del dodecaedro siams. Para una arista unitaria, tenemos que

x2 + Hz - 1 2L2 = 1, de donde obtenemos la relacin entre x y z, que viene dada por x =

parte, (x- x0 L2 + y2 + z2 = 1 y 0

3 4

+z - z2 . Por otra

2 x0 + y2 = 3/4, de donde obtenemos que 0

2

x0 =
4

2 z+1
3 +z-z2 4

y0 =

3 4

2 z+1 4
3 4

+z-z2

72

|
y0 = z, de donde se obtiene la ecuacin 4z4-4z3-7z2+2z+2 = 0. z = 0.64458 A

La condicin para que las dos piezas encajen es

Concretamente, z es la nica raz de esta ecuacin comprendida entre 0 y 1. Concretamente, partir de aqu es fcil calcular las coordenadas de los ocho vrtices.

El dodecaedro siams es un poliedro muy irregular: no es transitivo para vrtices, pues tiene vrtices cudruples y vrtices quntuples, tampoco es transitivo para aristas, pues hay aristas que unen vrtices cudruples, aristas que unen vrtices quntuples y aristas que unen un vrtice cudruple con otro quntuple, y tampoco es transitivo para caras, pues hay caras con dos vrtices cudruples y caras con uno solo. Quiz la mejor forma de hacerse una idea de su estructura es observar su red, es decir, la figura plana que resulta de "desplegarlo":

Cerrando la tira central de ocho tringulos obtenemos el anillo que muestra la figura siguiente (paso 1):
1 2 3

Notemos que podramos cerrarlo con dos cuadrados para obtener lo que se conoce como un antiprisma. Sin embargo, el dodecaedro siams requiere rellenar cada uno de los dos agujeros con dos tringulos, para lo cual primero hemos de deformar los huecos cuadrados como indica el paso 2. En el paso 3 vemos el resultado.

73

Notemos que podramos cerrarlo con dos cuadrados para obtener lo que se conoce como un antiprisma. Sin embargo, el dodecaedro siams requiere rellenar cada uno de los dos agujeros con dos tringulos, para lo cual primero hemos de deformar los huecos cuadrados como indica el paso 2. En el paso 3 vemos el resultado. Obviamente, el rea de un dodecaedro siams de arista l es 3 3 l2 . Para calcular su volumen descomponemos el dodecaedro en dos poliedros disjuntos, como muestra la figura:

Una de las piezas es unin de tres tetraedros iguales (por el teorema de Cauchy, pues sus cuatro caras son tringulos issceles iguales). El tetraedro central tiene por vrtices (de acuerdo al sistema de coordenadas que hemos establecido antes para justificar la existencia del dodecaedro siams) (0, 0, 1/2), (0, 0, -1/2), ( x0 , y0 , 0), ( x0 , - y0 , 0), luego es el tetraedro determinado por los vectores (0, 0, 1), ( x0 , y0 , 1/2), ( x0 , - y0 , 1/2) y su volumen es 0 0 1 x0 y0 y0 1 2 | = . 3 -y0 1 2

1 |det x0 6
x0 La segunda pieza es una bipirmide de altura volumen es

z cuya base es un trapecio de bases 1 y 2z y altura x, luego su

2 2 z+1 x 3 2

z.

Por lo tanto, el volumen de un dodecaedro siams de arista unitaria es

V=

2 z+1 x 3

z + x0z 0.85949

Un razonamiento ms fino permite probar que

V es la raz positiva del polinomio 5832 V 6-1377 V 4-2160 V 2-4.

EL PRISMA TRIANGULAR TRIAUMENTADO

Al contrario de lo que suceda en el caso anterior, el siguiente deltaedro tiene una estructura muy simple: un prisma triangular triaumentado es el poliedro que se forma a partir de un prisma triangular (cuyas bases son tringulos equiteros y sus caras laterales cuadrados) cuando sobre cada cara lateral se sita una pirmide cuadrada (cuyas caras laterales son tringulos equilteros). El resultado se muestra en la figura siguiente:

74

Al contrario de lo que suceda en el caso anterior, el siguiente deltaedro tiene una estructura muy simple: un prisma triangular triaumentado es el poliedro que se forma a partir de un prisma triangular (cuyas bases son tringulos equiteros y sus caras laterales cuadrados) cuando sobre cada cara lateral se sita una pirmide cuadrada (cuyas caras laterales son tringulos equilteros). El resultado se muestra en la figura siguiente:

Se trata de un poliedro con V = 9 vrtices, A = 21 aristas y C = 14 caras. De los nueve vrtices, tres son cudruples (los vrtices de las pirmides aadidas al prisma) y seis son quntuples (los vrtices del prisma inicial). Obviamente no es transitivo ni para vrtices, ni para aristas ni para caras. El clculo del rea y el volumen no ofrece ninguna dificultad:

S=

7 2

, V=

3 4

+3

1 3

2 2

3 4

2 2

LA BIPIRMIDE CUADRADA GIROELONGADA

Pese a su nombre, el deltaedro que consideramos ahora tambin es muy sencillo. Consiste en un antiprisma cuadrado sobre cuyas bases cuadradas hemos puesto dos pirmides cuadradas.

Si juntramos las dos pirmides cuadradas sin el antiprisma enmedio tendramos una bipirmide cuadrada. Una bipirmide cuadrada elongada sera el poliedro que resulta de separar las dos pirmides e intercalar un cubo entre ambas. Para intercalar un antiprisma hemos de girar 45 una de las pirmides, y de ah el nombre de bipirmide cuadrada giroelongada. Vemos que tiene V = 10 vrtices, A = 24 aristas y C = 16 caras. Tampoco es transitiva ni para vrtices, ni para aristas ni para caras.

75

Si juntramos las dos pirmides cuadradas sin el antiprisma enmedio tendramos una bipirmide cuadrada. Una bipirmide cuadrada elongada sera el poliedro que resulta de separar las dos pirmides e intercalar un cubo entre ambas. Para intercalar un antiprisma hemos de girar 45 una de las pirmides, y de ah el nombre de bipirmide cuadrada giroelongada. Vemos que tiene V = 10 vrtices, A = 24 aristas y C = 16 caras. Tampoco es transitiva ni para vrtices, ni para aristas ni para caras. Para calcular su volumen calcularemos primero la altura del antiprisma. Para ello observamos que, respecto del sistema de referencia indicado en la figura, hay dos vrtices adyacentes con coordenadas (0,
1 2 2 2 h 2 1 2

)yJ ,

,-

h 2

N. Como la distancia entre ellos debe ser 1, resulta que

h=

8 2

As pues, el radio del antiprisma es

R=

1 4

h2 4

4+ 8

. Su volumen es la suma de los volmenes de las

diez pirmides de vrtice en su centro y base cada una de sus caras. La altura de las pirmides laterales forma ngulo recto con el radio y con el radio de una cara, luego es

h0 =
Por consiguiente, el volumen es
1 3
4

4+ 8

1 3

4+3 24

8 4

+8
4+3

1 3

3 4

4+3 24
4

8 6

1 3

4+3 2

2 6

4+3 6

Usando la identidad

2 ( 2 +1) la expresin anterior se simplifica fcilmente hasta

4+3 3

. Por consiguiente, el volumen de la bipirmide cuadrada giroelongada es V=2

1 3 2 2

4+3 3

1 3

2 +

4+3

Obviamente el rea es

S=4

3.

76

CLASIFICACIN DE LOS DELTAEDROS CONVEXOS

La tabla siguiente recoge la informacin sobre todos los deltaedros convexos que hemos estudiado:

C Tetraedro Bipirmide triangular Octaedro Bipirmide pentagonal Dodecaedro siams Prisma triangular triaumentado 4 6 8

A 6 9 12

V 4 5 6 7 8 9

V3 V4 V5 4 2 0 0 0 0 0 0 0 3 6 5 4 3 2 0 0 0 2 4 6 8

Volumen
2 12 2 6 2 3 5+ 5 12

rea 3
3 2 3

2 3
5 2 3

10 15 12 18 14 21

0.85949
2 2+ 2+ 3 4 4+3 3 2

3 3
7 2 3

Bipirmide cuadrada giroelongada 16 24 10 Icosaedro 20 30 12

4 3 5 3

0 12

15+5 5 12

Comparando los resultados, es imposible no llegar a la conjetura de que nos falta uno, que debe existir un deltaedro convexo con 18 caras, 27 aristas y 11 vrtices, uno de ellos cudruple y los otros 10 quntuples. Sin embargo, vamos a demostrar que no existe tal poliedro: Teorema 5.1: Los nicos deltaedros convexos son los poliedros que aparecen en la tabla precedente. Admitiendo este hecho, la tabla muestra que un deltaedro convexo est completamente determinado tanto por su nmero de caras, como por su nmero de aristas, como por su nmero de vrtices.
Demostracin: Nuestro punto de partida es el teorema 4.9, segn el cual los deltaedros convexos tienen nicamente vrtices triples, cudruples o quntuples, y el nmero de vrtices de cada tipo satisface la

relacin 3V3 +2V4 +V5 = 12. Esta ecuacin tiene un nmero finito de soluciones enteras:

C 4 6 8 6 8 10 12 8 10 12 14 16 8 10 12 14 16 18 20

A 6 9 12 9 12 15 18 12 15 18 21 24 12 15 18 21 24 27 30

V V3 4 4 5 3 6 3 5 2 6 2 7 2 8 2 6 1 7 1 8 1 9 1 10 1 6 0 7 0 8 0 9 0 10 0 11 0 12 0

V4 V5 0 0 Tetraedro 1 1 0 3 3 0 Bipirmide triangular 2 2 1 4 0 6 4 1 3 3 2 5 1 7 0 9 6 0 Octaedro 5 2 Bipirmide pentagonal 4 4 Dodecaedro siams 3 6 Prisma triangular triaumentado 2 8 Bipirmide cuadrada giroelongada 1 10 0 12 Icosaedro

Para cada caso, el nmero de aristas es necesariamente el dado por la relacin 2A = 3V3 +4V4 +5V5 y la frmula de Euler nos da el nmero de caras. Hemos de probar que los casos que tienen la ltima columna en blanco no pueden darse, mientras que los que tienen el nombre de uno de los poliedros que hemos estudiado slo se cumplen para el poliedro en cuestin. Por el teorema de Cauchy, esto se reduce a probar que un poliedro en uno de estos casos debe tener las caras dispuestas igual que el poliedro indicado en la tabla.

77

Para cada caso, el nmero de aristas es necesariamente el dado por la relacin 2A = 3V3 +4V4 +5V5 y la frmula de Euler nos da el nmero de caras. Hemos de probar que los casos que tienen la ltima columna en blanco no pueden darse, mientras que los que tienen el nombre de uno de los poliedros que hemos estudiado slo se cumplen para el poliedro en cuestin. Por el teorema de Cauchy, esto se reduce a probar que un poliedro en uno de estos casos debe tener las caras dispuestas igual que el poliedro indicado en la tabla. A partir de aqu consideramos un deltaedro convexo arbitrario y vamos a demostrar que es uno de los que conocemos. Para ello distinguiremos varios casos y subcasos:
1 2 3 4 5 6 7 8 9 10 11 12 13 14

Mostrar en ventana

A) El poliedro no tiene vrtices triples. El teorema 4.10 nos asegura que si todos los vrtices son cudruples o todos son quntuples el poliedro es necesariamente un octaedro o un icosaedro regular. Por lo tanto, podemos suponer que nuestro deltaedro arbitrario tiene tanto vrtices cudruples como quntuples. A1) No hay dos vrtices cudruples adyacentes. (Este caso incluye la posibilidad de que slo haya un vrtice cudruple, que, como veremos, no puede darse realmente.) Consideamos uno de los vrtices cudruples, llammoslo A, y sean B, C, D, E sus vrtices adyacentes, tal y como muestra la figura (paso 1). Es importante que la nica informacin relevante de las figuras que vamos a considerar es la disposicin de las caras y vrtices. Por ejemplo, hemos representado los cuatro vrtices B, C, D, E formando un cuadrado, pero nada nos garantiza a priori que los ngulos vayan a ser rectos. Ninguno de los razonamientos que haremos sobre las figuras se apoyar en los ngulos mostrados entre las aristas o los ngulos didricos.

B debe tener otros dos vrtices D, pues si BD fuera una arista del poliedro, o bien compartira cara con BC, en cuyo caso C sera un vrtice triple, o bien la compartira con BE, en cuyo caso E sera triple. Llamemos F y G a los otros dos vrtices contiguos de B, de modo que su disposicin tiene que ser como se muestra en el paso 2. Falta un vrtice adyacente a C, que no puede ser ninguno de los representados en la figura, pues si fuera E el vrtice D sera triple y si fuera F el vrtice G sera triple. Si llamamos H al nuevo vrtice, la situacin es necesariamente la que muestra el paso 3. Nuevamente, a D le falta un vrtice adyacente, y no puede ser ninguno de los ya representados, pues si fuera F el vrtice E sera cudruple y si fuera G el vrtice H sera triple. Esto nos lleva a la situacin representada en el paso 4. Como el vrtice E tiene que ser quntuple, los vrtices F, I tienen que ser adyacentes, como se muestra en el paso 5.
Estamos suponiendo que los cuatro vrtices son quntuples. En particular, adyacentes, ninguno de los cuales puede ser A partir de aqu distinguimos ms casos:

F, G, H, I son quntuples (el caso en que el poliedro tuviera un nico vrtice cudruple F no puede ser H, pues entonces G, I seran cudruples. La situacin tiene que ser la mostrada en el paso 6. Ahora, bien, como los vrtices G, I deben ser quntuples, necesariamente J tiene que ser adyacente a H y ello lo convierte en un vrtice cudruA1.1) Los vrtices estara contenido en ste). Entonces el quinto vrtice adyacente a ple (paso 7). Esto descarta la posibilidad de que haya un nico vrtice cudruple, y adems llegamos a que un deltaedro convexo en el caso A1.1 tiene sus caras dispuestas como las de la bipirmide triangular giroelongada, luego por el teorema de Cauchy es una bipirmide triangular giroelongada.

78

F, G, H, I son quntuples (el caso en que el poliedro tuviera un nico vrtice cudruple estara contenido en ste). Entonces el quinto vrtice adyacente a F no puede ser H, pues entonces G, I seran cudruples. La situacin tiene que ser la mostrada en el paso 6. Ahora, bien, como los vrtices G, I deben ser quntuples, necesariamente J tiene que ser adyacente a H y ello lo convierte en un vrtice cudruA1.1) Los vrtices ple (paso 7). Esto descarta la posibilidad de que haya un nico vrtice cudruple, y adems llegamos a que un deltaedro convexo en el caso A1.1 tiene sus caras dispuestas como las de la bipirmide triangular giroelongada, luego por el teorema de Cauchy es una bipirmide triangular giroelongada. A1.2) Alguno de los vrtices

F, G, H, I (por ejemplo el G) es cudruple.

Ahora hemos de volver al paso 5, pero en su lugar seguiremos en el paso 8, que representa la misma configuracin pero con otros ngulos, adaptados al caso siguiente. Ahora basta observar que si G es cudru-

GF y GH deben estar en una misma cara, que es la representada en el paso 9. Finalmente, como al vrtice F no pueden llegar ms de cinco aristas, las aristas FH y FI deben compartir cara, lo cual
ple las aristas cierra el poliedro como se muestra en el paso 10, y concluimos (por el teorema de Cauchy) que en este caso el poliedro debe ser un prisma triangular triaumentado. A2) Hay dos vrtices cudruples adyacentes. Esto nos devuelve al paso 1, pero ahora suponemos que al menos uno de los cuatro vrtices B, C, D, E es cudruple. Podemos suponer que es el vrtice B. Le falta entonces un vrtice adyacente, que no puede ser el

D, pues entonces los vrtices C y E seran triples. Por lo

tanto, tenemos la situacin que muestra el paso 11. Observamos que C y E no pueden ser ambos cudruples, pues entonces se cerrara el poliedro y sera un octaedro, con todos sus vrtices cudruples, cuando ya hemos descartado este caso. Por lo tanto no perdemos generalidad si suponemos que C es quntuple. Le falta entonces un vrtice adyacente, que no puede ser contrario habra una cara

E,

pues entonces

seran triples. Por lo tanto, ten-

emos la situacin del paso 12. Ahora observamos que

tiene que ser tambin quntuple, pues en caso

EDF que a su vez forzara a D y F a ser quntuples, lo que forzara la exitencia de una cara DFG que convertira a G en un vrtice triple. Si el quinto vrtice adyacente a E es G el poliedro se cierra y su estructura es la de una bipirmide pentagonal, luego por el teorema de Cauchy es una bipirmide pentagonal. En caso contrario hay un nuevo vrtice en la situacin del paso 13. Finalmente, como D y F no pueden tener ms de cinco aristas, ha de haber caras

DHG y FHG que cierran el poliedro y concluimos que es un dodecaedro siams (paso 14).
Con esto hemos probado que los nicos deltaedros convexos sin vrtices triples son los indicados en la segunda mitad de la tabla anterior. Falta estudiar el caso opuesto: B) El poliedro tiene al menos un vrtice triple. Vamos a considerar una por una las doce ternas posibles (V3 ,

V4, V5)

segn la primera parte de la tabla anterior. El teorema 4.10 nos asegura que el caso (4,0,0) slo lo cumple el tetraedro regular. Los tres vrtices adyacentes a un vrtice triple forman un tringulo equiltero. Si alguno de dichos vrtices fuera a su vez triple, dicho tringulo sera una cara y el deltaedro sera un tetraedro. Por lo tanto, una vez descartado el caso (4,0,0) sabemos que nuestro deltaedro arbitrario no puede tener dos vrtices triples consecutivos. En particular, el caso (3,1,1) no puede darse, pues si slo hay dos vrtices no triples, cualquier vrtice triple tiene al menos otro vrtice triple adyacente. Lo mismo vale para (3,0,3), pues uno de los vrtices triples debe tener como vrtices adyacentes los tres vrtices quntuples, luego stos forman un tringulo equiltero, igualmente, el segundo vrtice triple tiene por adyacentes esos mismos tres vrtices, pero con esto se cierra ya el poliedro, que ser una bipirmide triangular y eso no corresponde al caso (3,0,3). El mismo argumento muestra que el caso (2,3,0) slo lo cumplen las bipirmides triangulares, pues cada uno de los dos vrtices triples debe tener por adyacentes a los tres vrtices cudruples. Con esto hemos tratado los cuatro primeros casos. Nos falta probar que los ocho restantes son imposibles. Para ello hacemos una observacin general: dado un deltaedro convexo en cualquiera de los ocho casos, fijado uno de sus vrtices triples, el plano que contiene a sus tres vrtices adyacentes divide al poliedro en dos mitades convexas (porque cada una de ellas es la interseccin de un semiespacio (convexo) con un poliedro convexo. Una de las mitades es un tetraedro regular, mientras que la otra es el poliedro que resulta de eliminar las tres caras que llegan al vrtice fijado y sustituirlas por una nueva cara formada cuyos vrtices son los tres vrtices adyacentes. Dicha parte ser, pues, otro deltaedro convexo. Por ejemplo, consideremos el caso (2,2,2). Los vrtices adyacentes a uno de sus vrtices triples sern dos cudruples y un quntuple o bien un cudruple y dos quntuples. Podemos representarlo as: (1,0,0)+(0,2,1)+(1,0,1) (para el primer caso) o (1,0,0)+(0,1,2)+(1,1,0). El primer sumando representa el vrtice triple que estamos considerando, el segundo sumando sus tres vrtices adyacentes y el tercero los vrtices restantes del poliedro. Al amputar el tetraedro formado por las caras que llegan al vrtice considerado estamos eliminando el primer sumando y restando una arista de cada vrtice del segundo sumando, luego el resultado es (2,1,0)+(1,0,1) = (3,1,1) en el primer caso y (1,2,0)+(1,1,0) = (2,3,0). Puesto que no existen deltaedros de tipo (3,1,1), concluimos que el caso (2,2,2) slo puede darse en el segundo caso, y nuestro poliedro resulta de pegar un tetraedro en una de las caras de una bipirmide triangular. Dicho poliedro puede construirse, naturalmente, pero no es convexo, como puede apreciarse en la figura:

Por ejemplo, consideremos el caso (2,2,2). Los vrtices adyacentes a uno de sus vrtices triples sern dos cudruples y un quntuple o bien un cudruple y dos quntuples. Podemos representarlo as: (1,0,0)+(0,2,1)+(1,0,1) (para el primer caso) o (1,0,0)+(0,1,2)+(1,1,0). El primer sumando representa el vrtice triple que estamos considerando, el segundo sumando sus tres vrtices adyacentes y el tercero los 79 vrtices restantes del poliedro. Al amputar el tetraedro formado por las caras que llegan al vrtice considerado estamos eliminando el primer sumando y restando una arista de cada vrtice del segundo sumando, luego el resultado es (2,1,0)+(1,0,1) = (3,1,1) en el primer caso y (1,2,0)+(1,1,0) = (2,3,0). Puesto que no existen deltaedros de tipo (3,1,1), concluimos que el caso (2,2,2) slo puede darse en el segundo caso, y nuestro poliedro resulta de pegar un tetraedro en una de las caras de una bipirmide triangular. Dicho poliedro puede construirse, naturalmente, pero no es convexo, como puede apreciarse en la figura:

Similarmente, si seleccionamos un vrtice triple en un deltaedro de tipo (2,1,4) obtenemos dos posibles descomposiciones: (1,0,0)+(0,1,2)+(1,0,2) o bien (1,0,0)+(0,0,3)+(1,1,1). Al amputar el tetraedro obtenemos (1,2,0)+(1,0,2) = (2,2,2) o bien (0,3,0)+(1,1,1) = (1,4,1). Ya hemos visto que el tipo (2,2,2) corresponde a la figura anterior, pero dicho deltaedro no tiene una cara formada por un vrtice triple y dos cudruples para poder pegar el tetraedro en ella, luego el primer caso no puede darse. Ms abajo veremos que no hay deltaedros de tipo (1,4,1), luego el segundo caso tambin es imposible. Si partimos de un deltaedro de tipo (2,0,6) la nica descomposicin posible es (1,0,0)+(0,0,3)+(1,0,3), que nos da (0,3,0)+(1,0,3) = (1,3,3). Ms abajo veremos que s que hay deltaedros de este tipo, pero no son convexos, luego los de tipo (2,0,6) tampoco lo son. El caso (1,4,1) permite dos descomposiciones: (1,0,0)+(0,3,0)+(0,1,1) o bien (1,0,0)+(0,2,1)+(0,2,0), que dan lugar a (3,0,0)+(0,1,1) = (3,1,1) o bien (2,1,0)+(0,2,0) = (2,3,0). Ya hemos visto que (3,1,1) es imposible, mientras que (2,3,0) es una bipirmide, pero este caso tambin es imposible porque las bipirmides no tienen caras con dos vrtices triples y uno cudruple para pegarles el tetraedro. Esto completa tambin el caso (2,1,4). El caso (1,3,3) permite cuatro variantes: (1,0,0)+(0,3,0)+(0,0,3) (3,0,0)+(0,0,3) = (3,0,3) (imposible) (1,0,0)+(0,2,1)+(0,1,2) (2,1,0)+(0,1,2) = (2,2,2) (imposible, porque (2,2,2) no tiene caras con dos vrtices triples) (1,0,0)+(0,1,2)+(0,2,1) (1,2,0)+(0,2,1) = (1,4,1) (imposible) (1,0,0)+(0,0,3)+(0,3,0) (0,3,0)+(0,3,0) = (0,6,0) El ltimo caso corresponde a pegar un tetraedro en una cara de un octaedro, lo cual es posible y adems da lugar a un poliedro convexo, como muestra la figura, pero no es un deltaedro porque las caras del tetraedro estn en el mismo plano que sus caras adyacentes y forman rombos (esto se debe a que los ngulos didricos del tetraedro y del octaedro son suplementarios, tal y como calculamos en su momento).

80

Esto zanja tambin el caso (2,0,6). Ahora vemos que los deltaedros de este tipo resultan de pegar otro tetraedro a la figura anterior sobre la nica cara que sigue teniendo vrtices cudruples. Nuevamente, la figura es convexa, pero tiene cuatro caras romboidales. Para (1,2,5) tenemos: (1,0,0)+(0,2,1)+(0,0,4) (2,1,0)+(0,0,4) = (2,1,4) (imposible) (1,0,0)+(0,1,2)+(0,1,3) (1,2,0) + (0,1,3) = (1,3,3) (imposible) (1,0,0)+(0,0,3)+(0,2,2) (0,3,0)+(0,2,2) = (0,5,2) (imposible) El segundo caso es imposible porque la figura anterior no tiene una cara con un vrtice triple y dos cudruples, y el tercero porque una bipirmide pentagonal no tiene una cara formada por tres vrtices cudruples. Para (1,1,7) hay dos posibilidades: (1,0,0)+(0,1,2)+(0,0,5) (1,2,0)+(0,0,5) = (1,2,5) (imposible) (1,0,0)+(0,0,3)+(0,1,4) (0,3,0)+(0,1,4) = (0,4,4) (imposible) El segundo caso es imposible porque el dodecaedro siams no tiene una cara formada por vrtices cudruples. Por ltimo, (1,0,9) = (1,0,0)+(0,0,3)+(0,0,6) (0,3,0)+(0,0,6) = (0,3,6), que es imposible, pues un prisma triangula triaumentado no tiene una cara de vrtices cudruples. En particular, podramos definir un tetraedro, un octaedro y un icosaedro como los nicos poliedros convexos formados por cuatro, ocho o veinte tringulos equilteros (mientras que ya sabamos que el cubo es el nico poliedro convexo formado por cuadrados y el dodecaedro el nico poliedro convexo formado por pentgonos regulares, sin necesidad de especificar el nmero).

6. POLIEDROS UNIFORMES
El concepto de poliedro regular es muy restrictivo, desde el momento en que slo cinco (o nueve) poliedros son regulares. Si tratamos de definir una familia ms amplia de poliedros que, no obstante, sigan pudiendo considerarse bastante regulares en el sentido de tener un alto grado de simetra, resulta natural admitir que las caras, aun siendo poliedros regulares, no sean necesariamente iguales entre s. Esto obliga a eliminar la condicin de transitividad para caras (y tambin conviene eliminar la transitividad para aristas, permitiendo as que haya aristas que unan caras iguales y aristas que unan caras distintas), pero podemos conservar la transitividad para vrtices, como forma de conservar una parte de la regularidad de los poliedros regulares. Esto nos lleva a la definicin siguiente:

El concepto de poliedro regular es muy restrictivo, desde el momento en que slo cinco (o nueve) poliedros son regulares. Si tratamos de definir una familia ms amplia de poliedros que, no obstante, sigan pudiendo 81 considerarse bastante regulares en el sentido de tener un alto grado de simetra, resulta natural admitir que las caras, aun siendo poliedros regulares, no sean necesariamente iguales entre s. Esto obliga a eliminar la condicin de transitividad para caras (y tambin conviene eliminar la transitividad para aristas, permitiendo as que haya aristas que unan caras iguales y aristas que unan caras distintas), pero podemos conservar la transitividad para vrtices, como forma de conservar una parte de la regularidad de los poliedros regulares. Esto nos lleva a la definicin siguiente:

Un poliedro uniforme es un poliedro transitivo para vrtices cuyas caras son todas polgonos regulares. Los poliedros uniformes tambin reciben el nombre de poliedros semirregulares, aunque este trmino se usa a veces con significados distintos. De momento estudiaremos nicamente los poliedros uniformes convexos, aunque la definicin no excluye el caso de poliedros no convexos o con autointersecciones. La condicin de transitividad para vrtices nos asegura que todo poliedro uniforme tiene un centro y un radio, de modo que sus vrtices estn inscritos en la esfera determinada por stos.

TRUNCAMIENTO
Una forma de obtener poliedros uniformes a partir de poliedros regulares es el truncamiento. Truncar un poliedro regular significa sustituir cada uno de sus vrtices por la cara resultante de cortar todas las aristas que llegan a l a una misma distancia (menor o igual que la mitad de la arista) y unir cclicamente los puntos de corte formando un polgono, necesariamente regular. La figura siguiente muestra los truncamientos de los cinco slidos platnicos.
h i o

Truncado uniforme

Vemos que las nuevas caras son las figuras de los vrtices y las antiguas se convierten en polgonos con el doble nmero de lados. Esto es as salvo en el caso extremo en que el truncamiento llega hasta la mitad de la arista. Entonces las caras antiguas se reducen a polgonos del mismo tipo que las originales. Este truncamiento extremo se llama rectificacin. El tetraedro rectificado es otro tetraedro, mientras que el cubo rectificado es el mismo poliedro que el octaedro rectificado, y tiene tantas caras cuadradas como el cubo y tantas caras triangulares como el octaedro, por lo que recibe el nombre de cuboctaedro. Similarmente, la rectificacin del dodecaedro coincide con la del icosaedro y comparte las caras de ambos, por lo que recibe el nombre de icosidodecaedro (ambos nombres se remontan a Kepler). Ahora bien, cada slido platnico admite otra truncacin que da lugar a un poliedro uniforme, es la llamada truncacin uniforme, que consiste en

82

Vemos que las nuevas caras son las figuras de los vrtices y las antiguas se convierten en polgonos con el doble nmero de lados. Esto es as salvo en el caso extremo en que el truncamiento llega hasta la mitad de la arista. Entonces las caras antiguas se reducen a polgonos del mismo tipo que las originales. Este truncamiento extremo se llama rectificacin. El tetraedro rectificado es otro tetraedro, mientras que el cubo rectificado es el mismo poliedro que el octaedro rectificado, y tiene tantas caras cuadradas como el cubo y tantas caras triangulares como el octaedro, por lo que recibe el nombre de cuboctaedro. Similarmente, la rectificacin del dodecaedro coincide con la del icosaedro y comparte las caras de ambos, por lo que recibe el nombre de icosidodecaedro (ambos nombres se remontan a Kepler). Ahora bien, cada slido platnico admite otra truncacin que da lugar a un poliedro uniforme, es la llamada truncacin uniforme, que consiste en truncar la medida justa para que la longitud de lo que queda de las aristas originales iguale a la longitud de las nuevas aristas. Notemos que, en general, si truncamos un poliedro y despus aplicamos una isometra, el resultado es el mismo que si primero aplicamos la isometra y luego truncamos. En particular, toda simetra de un poliedro lo es de cualquiera de sus truncamientos. Esta observacin basta para justificar que todo truncamiento de un slido platnico es transitivo para vrtices. En efecto, como el slido platnico de partida cumple que todo vrtice se puede transformar en cualquier otro mediante una simetra, sus truncamientos cumplen que toda cara nueva puede transformarse en cualquier otra mediante una simetra, y como hay simetras que permutan cclicamente las aristas que llegan a un vrtice, el poliedro truncado tiene simetras que permutan cclicamente los vrtices (y las aristas) de cada cara nueva. Si el truncamiento es uniforme o una rectificacin, entonces las caras son polgonos regulares y el poliedro es uniforme. Ms an, las rectificaciones son transitivas para aristas, pues toda arista est en una de las caras nuevas. As pues, de los slidos platnicos obtenemos siete poliedros uniformes mediante truncamiento: cinco de ellos por truncamiento uniforme y dos por rectificacin. Vamos a estudiarlos separadamente.

EL CUBOCTAEDRO
El cuboctaedro es la rectificacin del cubo o del octaedro. Se trata de un poliedro uniforme con con C = 14 caras (8 tringulos y 6 cuadrados), A = 24 aristas y V = 12 vrtices. Ms an, vemos que tambin es transitivo para aristas.

Notemos que la distancia entre dos caras cuadradas opuestas es la diagonal de una de las caras cuadradas, es decir, suponiendo la arista unitaria, cara cuadrada mide, pues, r4 = 2 . El segmento que une el centro del poliedro con el centro de una 2 /2. Este segmento forma un ngulo recto con el radio del cuboctaedro y el

radio de una cara, que mide tambin 2 /2. Por lo tanto, el radio es R = 1. (Tambin podemos obtener el radio observando que es el radio de un hexgono regular de arista unitaria.) A partir de aqu podemos calcular la distancia del centro del cuboctaedro al centro de una cara triangular, que es r3 = 1 - 13 = 6 /3. A su vez ahora es fcil obtener el volumen del cuboctaedro como suma de los volmenes de las ocho pirmides triangulares y seis pirmides cuadradas en que podemos descomponerlo:

Notemos que la distancia entre dos caras cuadradas opuestas es la diagonal de una de las caras cuadradas, es decir, suponiendo la arista unitaria, cara cuadrada mide, pues, r4 = 2 . El segmento que une el centro del poliedro con el centro de una 83

2 /2. Este segmento forma un ngulo recto con el radio del cuboctaedro y el

radio de una cara, que mide tambin 2 /2. Por lo tanto, el radio es R = 1. (Tambin podemos obtener el radio observando que es el radio de un hexgono regular de arista unitaria.) A partir de aqu podemos calcular la distancia del centro del cuboctaedro al centro de una cara triangular, que es r3 = 1 - 13 = 6 /3. A su vez ahora es fcil obtener el volumen del cuboctaedro como suma de los volmenes de las ocho pirmides triangulares y seis pirmides cuadradas en que podemos descomponerlo:

V=
Por otra parte, el rea es

8 3

3 4 8 4

6 3 3

6 3

2 2

=
3

5 3

S=
vrtice opuesto a una altura de 3 3

+ 6=6+2

.
2 2 3 2

Si hacemos descansar el cuboctaedro sobre una de sus caras cuadradas, sus tringulos contiguos tienen su 2 /2, por lo que el seno del ngulo didrico es sen a = , luego cos a =

Radio Volumen 1
5 3 2

rea 6+2 3

ngulo didrico

arccos@-

3 3

EL ICOSIDODECAEDRO
El icosidodecaedro es la rectificacin del icosaedro o del dodecaedro. Se trata de un poliedro uniforme transitivo para aristas, con C = 32 caras (20 tringulos y 12 pentgonos), A = 60 aristas y V = 30 vrtices.

El plano que pasa por el centro de un icosaedro perpendicular al eje que une dos vrtices opuestos corta a los puntos medios de diez caras, luego diez vrtices del icosidodecaedro forman un decgono regular que pasa por su centro, como muestra la figura. A partir de aqu es fcil calcular su radio:

84

|
R= r3 =
F2 1 3 7+3 6 5

1 = 2 sin@18 D

F.
5+ 10 5 5+2 5 5

A partir del radio de las caras obtenemos la distancia del centro al centro de cada cara. Para las triangulares es = , mientras que para las pentagonales es

r5 =

F2 -

. De aqu

obtenemos el volumen:

V=

20 3

3 4

7+3 6

12 5 3 4

5+2 5

5+2 5

5 3

7+3 2

+5+2 5 =

5 3+ 3 2

+5+2 5

45+17 6

Por otro lado, el rea es claramente

S = 20

3 4

+ 12

5 4

5+2 5

=5

3 +3

25 + 10

Para calcular el ngulo didrico consideramos los tringulos rectngulos indicados en la figura siguiente:

Conocemos las longitudes de todos los lados (el lado comn es la apotema del decgono, que mide F cos18 ), por lo que los ngulos que forman el pentgono y el tringulo con el plano del decgono tienen senos dados por
7+3 5 6 5+ 5 5

sen a =
F

=
5

150+30 15

sen b =
F

=
5

2 5

5+ 8

5+ 8

A partir de aqu podemos calcular el coseno de la suma. Incluimos el resultado en la tabla siguiente:

Radio F

Volumen
45+17 6 5

rea 5 3 +3 25 + 10 5

ngulo didrico

arccos@-

5+2 5 15

EL TETRAEDRO TRUNCADO
Al truncar un tetraedro recortando cada arista 1/3 de su longitud en cada vrtice obtenemos el poliedro uniforme que muestra la figura, con C = 8 caras (cuatro tringulos equilteros y cuatro hexgonos regulares),

A = 18 aristas y V = 12 vrtices, pero no es transitivo para aristas, pues hay aristas que unen dos hexgonos y
aristas que unen un tringulo y un hexgono.

85

Observemos que para obtener un tetraedro truncado de arista 1 debemos truncar un tetraedro de arista 3, por lo que el volumen del tetraedro truncado es el de un tetraedro de arista 3 menos el de cuatro tetraedros de arista 1 (las puntas truncadas). El resultado es

V=
El rea es claramente

27 6 2

4 6 2

23 12

S=4
de arista 3, luego es
2 3 6

3 2

+4

3 =7 3 . 4

Por ltimo observamos que la distancia del centro al centro de una cara hexagonal es el inradio del tetraedro , y de aqu, teniendo en cuenta que el radio del hexgono es 1, obtenemos el radio:
9 24

R=
22 4

+1

22 4

Radio Volumen rea

23 2 12

EL HEXAEDRO TRUNCADO
Si truncamos un cubo de arista nuevas aristas miden (1-2l)l y

quitndole un segmento de longitud ll a cada extremo de cada arista las

22 2

2 ll, por lo que el truncamiento ser uniforme si l=

, y el hexaedro

truncado tendr arista unitaria si la arista del cubo original era forme (no transitivo para aristas) con aristas y

l = 1+ 2 . El resultado es un poliedro uniC = 14 caras (8 tringulos equilteros y 6 octgonos regulares), A = 36

V = 24 vrtices.

86

Cada pirmide recortada tiene aristas laterales de longitud del hexaedro truncado es

2 /2, luego su altura es 1/ 6 , luego el volumen

V = J1 +

2N

-8

1 3

3 4

1 6

21+14 3

El rea de cada cara octagonal puede calcularse como el rea del cuadrado del cubo original menos la de los cuatro tringulos eliminados: (1+

2 L2 - 4

1 2

1 2

N = 2+2

Por lo tanto el rea del hexaedro truncado es

S = 6(2+2

2 )+8

3 = 12+12 2 +2 3 . 4
4+2 2 2

Para calcular el radio tenemos en cuenta que el radio del octgono es al centro del octgono es
1+ 2 2

y que la distancia del centro

, con lo que el radio es

R=

4+2 2 4

+ J 1+2 2 N
Volumen
21+14 3 2

7+4 2

Radio
7+4 2 2

rea 12 +12 2 +2 3

EL OCTAEDRO TRUNCADO
El truncamiento uniforme de un octaedro requiere cortar un tercio de arista en cada vrtice, luego hemos de partir de un octaedro de arista 3 para obtener un octaedro truncado de arista 1. Claramente, el octaedro truncado es un poliedro uniforme (no transitivo para aristas) formado por C = 14 caras (6 cuadrados y 8 hexgonos regulares),

A = 36 aristas y V = 24 vrtices.

87

Cada pirmide eliminada tiene aristas laterales de longitud 1, luego su altura es 2 /2, luego el volumen del octaedro truncado, obtenido a partir del volumen del octaedro de arista 3, viene dado por: V=

2 1 27 - 6 3 3

2 =8 2 . 2

El rea es claramente S = 6+12 3 . La distancia del centro al centro de un hexgono es el inradio del octaedro de arista 3, y el radio del hexgono es 1, luego el radio del octaedro truncado es

R=

1+J

3 6

10 2

Radio Volumen
10 2

rea 6 +12 3

EL DODECAEDRO TRUNCADO
Cuando truncamos un dodecaedro de arista miden 2ll sen(54 ) =
1+ 2 5

cortando ll cada arista en cada vrtice, las nuevas aristas

ll. Para que el truncamiento sea uniforme esta longitud debe ser la misma que la

l - 2ll, lo que nos da el valor l = 5-105 . Si queremos que las nuevas aristas sean unitarias las antiguas deben medir l = 5 . El resultado es claramente un poliedro uniforme (pero no transitivo para aristas) con C = 32 caras (20 tringulos equilteros y 12 decgonos regulares), A = 90 aristas y V = 60 vrtices.
de la parte restante de las aristas viejas, que es

88

La altura de cada pirmide eliminada es truncado es

510

1 3

7-3 6

, luego el volumen del dodecaedro

V=

15+7 4

M -

20

1 3

3 4

7-3 5 6
32 5

5 (35+15 5 4

)-

5 3

7-3 5 5 = (35+15 5 2 4

)-

5 3

5 (99+47 5 12
5 2

).
5+2 5 , con lo que el rea del dodecaedro

Es fcil ver que el rea de un decgono de lado unitario es truncado es

S = 20
25+11 8 5

3 + 30 5 + 2 4

5 = 5 3 +30

5+2

5 . 5 , luego es

La distancia del centro a los centros de los decgonos es el inradio del dodecaedro de arista . Teniendo en cuenta que el radio del decgono es
1 2 sin 18

=F, concluimos que el radio del dodecae-

dro truncado es R=
25+11 8 5

+ F2 =

37+15 8

Radio
37+15 8 5
5 12

Volumen

rea 5

H99 +47

5 3 +30

5+2

EL ICOSAEDRO TRUNCADO
Claramente, el icosaedro truncado (uniformemente) es un poliedro uniforme (no transitivo para aristas) con

C = 32 caras (12 pentgonos y 20 hexgonos regulares), A = 90 aristas y V = 60 vrtices.

89

Su volumen (cuando la arista es unitaria) es la diferencia entre el volumen de un icosaedro de arista 3 menos el de 12 pirmides pentagonales de arista 1 (luego de altura
510 5

):

V =

5 F2 27 6

- 12

1 3

5 4

5+2 5 5

5- 5 10

45 J3+ 5 N 4 5
.

45 J3+ 5 N 3+ 5 = 2 4

1+ 5 125+43 = 2 4
Su superficie es:

S = 12

5 4

5+2 5 5

+ 20

3 2

=3

25 + 10

5 +30 3 .

Para calcular el radio usamos que la distancia del centro al centro de un hexgono es el inradio del icosaedro de arista 3: R= 1+
F2 3 2 3 2

29+9 8

Radio
29+9 5 8

Volumen
125+43 4 5

rea 3 25 + 10 5 +30 3

BISELADO
En lugar de truncar los vrtices de un slido platnico, podemos obtener nuevos poliedros uniformes biselando sus aristas. El biselado (aplicado al slido platnico {c,v}) consiste en reducir cada cara manteniendo fijo su centro, con lo que cada arista se duplica y cada vrtice se multiplica por

v. El vaco entre las caras

reducidas se llena con una cara {v} formada por los vrtices escindidos de cada vrtice original y un rectngulo que conecta cada par de aristas escindidas.

90 | sus aristas. El biselado (aplicado al slido platnico lando

En lugar de truncar los vrtices de un slido platnico, podemos obtener nuevos poliedros uniformes bise{c,v}) consiste en reducir cada cara manteniendo fijo su centro, con lo que cada arista se duplica y cada vrtice se multiplica por

v. El vaco entre las caras

reducidas se llena con una cara {v} formada por los vrtices escindidos de cada vrtice original y un rectngulo que conecta cada par de aristas escindidas. La figura siguiente muestra el efecto de biselar un cubo, un icosaedro y un tetraedro. Observamos que si acentuamos el biselado hasta que las caras originales se reducen a puntos, obtenemos el poliedro dual. En particular, recorriendo la secuencia del cubo al revs tenemos los biselados del octaedro, y recorriendo la secuencia del icosaedro al revs tenemos los biselados del dodecaedro. Puesto que los rectngulos que aparecen en cada arista van reduciendo dos de sus lados hasta hacerse nulos y van aumentando los otros dos, tiene que haber un punto en el que sean cuadrados. Dicho punto corresponde al biselado uniforme, y los poliedros que resultan de biselar uniformemente los slidos platnicos son uniformes.
i

Biselado uniforme

Vemos que el tetraedro (uniformemente) biselado no es sino el cuboctaedro, mientras que las biselaciones (uniformes) del cubo (o del octaedro) y del icosaedro (o del dodecaedro) son dos nuevos poliedros que estudiamos a continuacin. En general, razonando igual que en el caso de los truncamientos, es fcil ver que cualquier biselado de un slido platnico (no necesariamente uniforme) es transitivo para vrtices. Ms concretamente, en este caso tenemos que las simetras del slido platnico que transforman una cara en otra son tambin simetras del poliedro biselado que transforman (los restos de) las mismas caras, y toda simetra que permuta los vrtices de una cara del slido platnico cumple lo mismo (con los vrtices de lo que queda

91

Vemos que el tetraedro (uniformemente) biselado no es sino el cuboctaedro, mientras que las biselaciones (uniformes) del cubo (o del octaedro) y del icosaedro (o del dodecaedro) son dos nuevos poliedros que estudiamos a continuacin. En general, razonando igual que en el caso de los truncamientos, es fcil ver que cualquier biselado de un slido platnico (no necesariamente uniforme) es transitivo para vrtices. Ms concretamente, en este caso tenemos que las simetras del slido platnico que transforman una cara en otra son tambin simetras del poliedro biselado que transforman (los restos de) las mismas caras, y toda simetra que permuta los vrtices de una cara del slido platnico cumple lo mismo (con los vrtices de lo que queda de ella) en el poliedro biselado. El biselado uniforme garantiza que las caras sean polgonos regulares y, por consiguiente, que el poliedro sea uniforme.

EL PEQUEO ROMBICUBOCTAEDRO
Aunque sera ms razonable llamarlo cubo biselado u octaedro biselado, el poliedro que nos ocupa es conocido con el nombre que le dio Kepler: rombicuboctaedro (aunque actualmente se le antepone el adjetivo pequeo por razones que veremos luego). Es un poliedro uniforme con C = 26 caras (8 tringulos y 18 cuadrados), A = 48 aristas y V = 24 vrtices. El nombre se debe a que si prolongamos los planos de sus caras triangulares recuperamos el octaedro del que procede por biselacin, si prolongamos seis de sus caras cuadradas recuperamos el cubo del que procede por biselacin, mientras que si prolongamos las otras doce caras cuadradas que proceden de las doce aristas del cubo o del octaedro obtenemos un dodecaedro rmbico, un poliedro que estudiaremos ms adelante:
Dodecaedro rmbico

Observemos que el centro del pequeo rombicuboctaedro es el centro de un prisma octagonal de altura unitaria. El radio del octgono es
4+2 2 2

, luego el radio del pequeo rombicuboctaedro es

R=

I 1 M + 4+24 2

5+2 2

. r4
=

La distancia del centro al centro de los cuadrados es el apotema del octgono, es decir, distancia al centro de los tringulos se calcula a partir del radio y del radio del tringulo:

1+ 2 . La 2

92

|
1+ 2 . La 2

La distancia del centro al centro de los cuadrados es el apotema del octgono, es decir, distancia al centro de los tringulos se calcula a partir del radio y del radio del tringulo:

r4

r3 =

5+2 2 4

-1 = 3

11+6 2 3+ 2 = . 12 2 3

A partir de aqu podemos calcular el volumen como suma de los volmenes de las 8 pirmides triangulares y 18 pirmides cuadradas en que se descompone:

V=8
El rea es claramente

1 3

3 3+ 2 4 2 3

+ 18

1 1+ 2 3 2

12+10 3

S = 18+ 8
Radio
5+2 2 2

3 = 18+2 3 . 4

Volumen
12+10 3 2

rea 18+2 3

EL PEQUEO ROMBICOSIDODECAEDRO
Kepler llam rombicosidodecaedro al icosaedro biselado o, equivalentemente, al dodecaedro biselado. Se trata de un poliedro uniforme con C = 62 caras (20 tringulos, 30 cuadrados y 12 pentgonos), A = 120 aristas y

V = 60

vrtices. Como en el caso del pequeo rombicuboctaedro, el nombre se debe a que los planos de los tringulos se pueden extender hasta reconstruir el icosaedro del que proviene por biselacin, los de los pentgonos se extienden hasta reconstruir el dodecaedro, mientras que los de los cuadrados determinan un triacontaedro rmbico:

93

Triacontaedro rmbico

Observemos que si biselamos un icosaedro de arista

para obtener un pequeo rombicosidodecaedro de

3 6 3 6

arista 1, la apotema de una cara triangular pasa de medir original a una de las dos aristas en las que se desdobla es

l a medir
(l-1).

3 6

, luego la distancia de cada arista

Si llamamos d al ngulo didrico del icosaedro, la figura muestra que sen

d 2

12
3 6

. Puesto que conoce-

Hl-1L
3+ 6 5

mos el ngulo didrico del icosaedro, es fcil calcular que el seno de la ecuacin anterior vale nos permite calcular

, lo que

l=

cosidodecaedro al centro de una de sus caras triangulares es el inradio de un icosaedro del lado indicado, es

-1+3 2

. Esto nos permite concluir que la distancia del centro del pequeo rombi-

94

|
d 2 12
3 6

Si llamamos d al ngulo didrico del icosaedro, la figura muestra que sen

. Puesto que conoce-

Hl-1L
3+ 6 5

mos el ngulo didrico del icosaedro, es fcil calcular que el seno de la ecuacin anterior vale nos permite calcular

, lo que

l=

cosidodecaedro al centro de una de sus caras triangulares es el inradio de un icosaedro del lado indicado, es decir,

-1+3 2

. Esto nos permite concluir que la distancia del centro del pequeo rombi-

r3 =
De aqu deducimos el radio:

3+ 5 2 3

-1+3 2

3+2 2 3

R=

1 3

3+2 2 3

11+4 2

Usando los radios del cuadrado y del pentgono obtenemos las distancias entre el centro del poliedro y los centros de las caras restantes:
11+4 4 5 1 2

r4 =

9+4 2

2+ 5 , r5 = 2

11+4 4

5+ 10

3 2

5+2 5 . 5

A su vez, de aqu obtenemos el volumen como suma de volmenes de pirmides:

V = 20 1 3
El rea es:

3 4

3+2 2 3

+ 30 1 3

2+ 5 2

+ 12

15 34

5+2 5 5

3 2

5+2 5 5

60+29 3

S = 20

3 5 + 30 + 12 4 4

5+2 5 = 30 + 5 3 +3 5

25 + 10

5 .

Radio
11+4 2 5

Volumen
60+29 3 5

rea 30 + 5 3 +3 25 + 10 5

OMNITRUNCAMIENTO
El truncamiento y el biselado pueden combinarse en una operacin conocida como omnitruncamiento. Consiste en truncar uniformemente un poliedro regular para despus biselar uniformemente sus aristas (las del poliedro original, pero no las nuevas originadas por el truncamiento). La figura siguiente muestra el proceso de omnitruncamiento de un cubo:

95

Truncamiento

Omnitruncamiento

Una vez llegamos al truncamiento uniforme tenemos caras regulares, triangulares y octogonales. Entonces empezamos a biselar las aristas originales, es decir, reducimos las caras octogonales (con lo que no dejan de ser regulares) y convertimos cada arista original en un rectngulo (y cada tringulo en un hexgono). A medida que reducimos las caras octogonales, el lado mayor del rectngulo disminuye y el menor crece, y terminan invirtiendo sus tamaos, luego hay un momento en el que son cuadrados (lo que a su vez implica que los hexgonos tienen que ser regulares). Dicho punto corresponde al cubo omnitruncado. En cuanto a la uniformidad del poliedro resultante es un poco ms delicada de establecer que en los casos analizados hasta ahora, pues en todos los poliedros que hemos estudiado hasta aqu era posible transformar cualquier vrtice en cualquier otro mediante una simetra positiva (una composicin de giros, que de hecho es un giro), mientras que ahora dos vrtices adyacentes de una cara cuadrada no se corresponden a travs de ningn giro (que sea simetra del poliedro). La razn es que si recorremos las caras concurrentes en uno de los vrtices en sentido antihorario (viendo el poliedro desde fuera) obtenemos la secuencia {4}, {6}, {8}, mientras que en otro de los vrtices la secuencia es {8}, {6}, {4}. Pese a ello, la simetra respecto del plano perpendicular a la arista comn por su punto medio es una simetra del poliedro que hace corresponder ambos vrtices. La figura siguiente muestra el proceso de omnitruncamiento a partir de los truncamientos de los cinco slidos platnicos. Observamos que el tetraedro omnitruncado es simplemente el octaedro truncado, mientras que cada par de poliedros duales (cubo-octaedro y dodecaedro-icosaedro) da lugar a un mismo poliedro uniforme, que pasamos a estudiar seguidamente. Notemos que el obtenido a partir del dodecaedro y del icosaedro tiene la misma caracterstica que acabamos de destacar del obtenido a partir del cubo y del octaedro: en la mitad de los vrtices las caras se disponen en ciclo {4}, {6}, {10} en sentido antihorario, mientras que en la otra mitad el ciclo es {10}, {6}, {4}, por lo que son necesarias simetras inversas (respecto de planos) para tranformar vrtices del primer tipo en vrtices del segundo tipo.

96

h i

Omnitruncamiento

EL GRAN ROMBICUBOCTAEDRO
El cubo omnitruncado (u octaedro omnitruncado) es un poliedro uniforme con

C = 26

caras (12 cuadrados, 8

hexgonos y 6 octgonos), A = 72 aristas y V = 48 vrtices. Recibe tambin el nombre de gran rombicuboctaedro porque, similarmente a lo que sucede con el pequeo rombicuboctaedro, los planos de sus caras octagonales forman un cubo, los de sus caras hexagonales forman un octaedro y los de sus caras cuadradas forman un dodecaedro rmbico:

97

Dodecaedro rmbico

Tambin es conocido con el nombre que le dio Kepler: cuboctaedro truncado, si bien el propio Kepler seal que este nombre no es exacto, pues la figura siguiente muestra los truncamientos de un cuboctaedro:

Vemos que podemos obtener poliedros con la misma estructura que el gran rombicuboctaedro (con 12 cuadrilteros, 8 hexgonos y 9 octgonos, etc.), salvo por el hecho de que las caras no son polgonos regulares.

98

Vemos que podemos obtener poliedros con la misma estructura que el gran rombicuboctaedro (con 12 cuadrilteros, 8 hexgonos y 9 octgonos, etc.), salvo por el hecho de que las caras no son polgonos regulares. Si el poliedro tiene arista unitaria, el tringulo rctngulo destacado en la figura siguiente tiene catetos de longitud
2 2

, luego la distancia del centro del poliedro al centro de un octgono es la suma de esta distancia

ms la apotema del octgono: r8

1 2

2 2

2 2

1 2

El radio del octgono es

2+ 2

, luego el radio del gran rombicuboctaedro es

R=
De aqu deducimos

J 1+22

N + 2+2 2 =

13+6 2

r4 =

13+6 2 4

1 2

3+ 2 2

, r6 =

13+6 2 4

-1=

9+6 2

Con esto podemos calcular el volumen:

V = 12
Finalmente, el rea es:

1 3+ 3 2

+8

1 3 3 2

9+6 2

+6

1 3

I2 + 2

2 M 1+22

= 22+14

2.

S = 12+8

3 2

+ 6 I2 + 2

2 M = 12 (2+ 2 + 3 ). rea 12 H2+ 2 + 3 L

Radio
13+6 2 2

Volumen 22 +14 2

|
EL GRAN ROMBICOSIDODECAEDRO
El dodecaedro omnitruncado (o icosaedro omnitruncado) es un poliedro uniforme con

99

C = 62 caras (30 cuadra-

dos, 20 hexgonos y 12 decgonos), A = 180 aristas y V = 120 vrtices. Es ms conocido como gran rombicosidodecaedro, porque los planos de sus caras hexagonales determinan un icosaedro regular, las de los decgonos un dodecaedro regular y las de los cuadrados un triacontaedro rmbico:
Triacontaedro rmbico

Kepler lo denomin icosidodecaedro truncado, aunque, como en el caso del gran rombicuboctaedro, el nombre no es exacto, como puede verse en la figura siguiente:

100

La figura siguiente muestra dos caras hexagonales del gran rombicosidodecaedro, la cara cuadrada intermedia y las dos caras del icosaedro que resulta de prolongar las caras hexagonales dadas.

Si el lado de los tringulos grandes mide

l y el lado de los hexgonos y del cuadrado es unitario, el lado del

3 6

tringulo intermedio mide 3, y la diferencia entre las apotemas de los tringulos es ngulo didrico del icosaedro, resulta que sen

(l-3). Si llamamos d al
3+ 6 5

d = 2

12
3 6

. Teniendo en cuenta que el seno es

J -3N

concluimos que l = 3F. Por lo tanto, la distancia del centro del gran rombicosidodecaedro al centro de una cara hexagonal es el inradio de un icosaedro de arista 3F, es decir:

Si el lado de los tringulos grandes mide

| del l y el lado de los hexgonos y del cuadrado es unitario, el lado 101

3 6

tringulo intermedio mide 3, y la diferencia entre las apotemas de los tringulos es ngulo didrico del icosaedro, resulta que sen

(l-3). Si llamamos d al
3+ 6 5

d = 2

12
3 6

. Teniendo en cuenta que el seno es

J -3N

concluimos que l = 3F. Por lo tanto, la distancia del centro del gran rombicosidodecaedro al centro de una cara hexagonal es el inradio de un icosaedro de arista 3F, es decir:

r6 =
De aqu deducimos el radio:

J2+ 5 N 2

R=
A su vez, de aqu obtenemos que

31+12 2

.
5

r4 =
El volumen es, entonces:

3+2 5 , 2

r10 =
3

25+10 2

30

1 3+2 5 3 2
45 + 25

20

1 3 3 J2+ 5 N 3 2 2
9+4

12

15 32

5+2

5
5.

25+10 2

5 + 25

5 = 45 + 25

5 + 25 J2 +

5 N = 95 + 50

Finalmente calculamos el rea:

S = 30 + 20

3 2

+ 12
5

5 2

5+2

= 30 (1 +

5+2

5 ).

Radio
31+12 2

Volumen 95+50 5 30 H1

rea

5+2

5 L

EL CUBO ROMO
Vamos a construir un nuevo poliedro uniforme a partir del pequeo rombicuboctaedro que muestra la figura.

102

P.Rombicuboctaedro Flexible Cubo romo

Si pulsamos en el botn etiquetado Flexible borramos las caras cuadradas que se han creado al biselar las aristas del cubo o del octaedro truncado. La figura resultante es flexible, y podemos girar sus caras mediante la barra de desplazamiento. Un giro de 45 en cualquiera de los dos sentidos da lugar a un cuboctaedro. Sin embargo, si observamos los vrtices opuestos de cualquiera de los cuadrados eliminados, vemos que la distancia entre ellos vara continuamente desde 2 hasta 0, luego en un momento dado tiene que valer 1. Cuando esto sucede, el hueco puede llenarse con dos tringulos equilteros, y podemos ver el resultado pulsando el botn etiquetado Cubo romo. ste es el nombre que dio Kepler al poliedro que acabamos de construir. Vemos que se trata de un poliedro con C = 38 caras (32 tringulos equilteros y 6 cuadrados), A = 60 aristas y V = 24 vrtices. Es claro que si aplicamos un giro de 90 al pequeo rombicuboctaedro de partida respecto a un eje que pase por los centros de dos caras opuestas y despus aplicamos el proceso de romificacin, el resultado ser el mismo que si primero romificamos y luego aplicamos el giro de 90 respecto del mismo eje. Esto se traduce en que el cubo romo tiene simetras que dejan invariantes dos caras cuadradas opuestas y permutan cclicamente las otras cuatro. Estos giros bastan para justificar que el cubo romo es transitivo para vrtices, luego es un poliedro uniforme. Ahora bien, en realidad no hemos construido un nuevo poliedro, sino dos, pues el resultado de realizar el giro de los cuadrados en sentido horario o antihorario es diferente. Aqu podemos ver los dos casos juntos:

103

Uno es la imagen especular del otro, pero no son iguales. Se pueden distinguir de varias formas. Por ejemplo, si plantamos ambas figuras sobre una cara cuadrada, con dicha base en la misma posicin, en una de las figuras vemos los cuadrados laterales a la izquierda, y en la otra a la derecha. Esto significa que el cubo romo no tiene planos de simetra. Es el primer poliedro que encontramos con esta caracterstica. Los poliedros sin planos de simetra se llaman poliedros quirales (del griego mano) y cada poliedro quiral tiene dos variantes enantiomorfas (del griego forma opuesta), es decir dos formas isomtricas, pero no congruentes mediante movimientos. Consideremos un pequeo rombicuboctaedro de arista unitaria y sea d la distancia de su centro al centro de cada cara cuadrada. Entonces, respecto a un sistema de coordenadas natural, los 24 vrtices de dichas caras son de la forma (d, , ), donde cada par d acompaa en las tres posiciones posibles a cada una de
2 2 1 1 1 2 1 2

las cuatro combinaciones ( , ). La figura destaca dos de estos vrtices:

104

Si giramos las caras correspondientes un ngulo a en sentido antihorario cuando se miran desde fuera de poliedro, las coordenadas pasan a ser

( 1 cos[a]+ 1 sen[a], 2 2
mente, hay que ajustar que se cumpla:

1 2

sen[a] - 1 cos[a], d), 2

( 1 cos[a]- 1 sen[a], -d, 2 2

1 2

sen[a]+ 1 cos[a]). 2

Ahora bien, si nos limitamos a girar las caras manteniendo

d constante, los tringuos se agrandarn. Concretacos@aD 2 sen@aD 2 M 2

d para que la longitud de la arista que une ambos vrtices sea 1, es decir, de modo
cos@aD 2

sen2@aD + Id Equivalentemente:

sen@aD 2 M 2

+ Id 3 2

= 1.

2 d 2 - 2 d cos@aD +
La raz positiva de esta ecuacin es

- cos2@aD =1.

d=

1 2

cos@aD +

-1 + 3 cos2@aD

Por simetra, la condicin es la misma para cualquier par de vrtices que consideremos (que formen parte de una misma cara triangular del pequeo rombicuboctaedro). Notemos que d est definido siempre que cos[a]
3 3

, es decir, para a 60 , en particular para a 45 . Esto justifica que todos los grupos flexibles de caras

que muestra la figura con la que hemos construido el cubo romo existen realmente (es decir, estn formados por tringulos equilteros y cuadrados). Observamos ahora que el vrtice opuesto a

1 , 2

-d, 1 M es 2

1 , 2

- 1 , dM, que al girarlo se transforma en 2

(- 1 cos[a]+ 1 sen[a], - 1 sen[a] - 1 cos[a], d), 2 2 2 2

y el cubo romo se obitene para el valor de a que, con su valor

d correspondiente, cumple + I-d +

cos@aD 2

Hcos@aD - sen@aDL2 + I-d +

cos@aD 2

sen@aD 2 M 2

sen@aD 2 M 2

= 1,

|
o equivalentemente:

105

2 d 2 - 2 d cos@aD - 2 d sen@aD - cos@aD sen@aD +

Esto nos da la relacin

3 2

= 1.

d=

1 2

Icos@aD + sen@aD

2 sen@2 aD M.

El signo correcto es el positivo, como se comprueba observando la grfica siguiente:

1.5 1 Hcos@aD+ 2 -1 + 3 cos@aD2 L

1 Hcos@aD-sen@aD+ 2 0.5 1 Hcos@aD-sen@aD2 -2 sen@2 aD L -2 sen@2 aD L

p 4

p 4

Slo la grfica con el signo positivo corta a la grfica de la expresin anterior que hemos encontrado para d, y lo hace para un ngulo positivo (para ngulos negativos los dos vrtices se separan y nunca estn a distancia 1). Si llamamos x = cos[a], tenemos la ecuacin
1 2

x+

-1 + 3 x2 =

1 2

x+

1 - x2 +

4x

1 - x2

Mathematica muestra que esta ecuacin slo tiene una raz real:

PlotB:

1 2

x+

-1 + 3 x2

1 2

x+

1 - x2 +

4x

1 - x2

>, 8x, -1, 1<F

0.5

-1.0

-0.5

0.5

1.0

-0.5

-1.0

que matemtica permite calcular en trminos de radicales:

106

SolveB

1 2

x+

-1 + 3 x2

==

1 2

x+

1 - x2 +

4x

1 - x2

::x
1+J19-3 33 N

1
6
13 13

>>
+J19+3 33 N

Ordenando un poco la solucin tenemos que

3 3

cos[a] =

1+

19-3

33 + 6

19+3

33

0.9589803843703376

que corresponde a a 0.2874131487577779 0 16 28 3.22. ste es el ngulo que hay que girar los cuadrados para obtener el cubo romo. Por otro lado, si despejamos x = cos[a] en funcin de quedamos con la raz positiva), el resultado es

d en la primera ecuacin que hemos obtenido (y nos

2 1 + 6 d2 .

x= 1 2
Por otra parte, la segunda ecuacin es

-2 d +

2d2-2dx-2d
Sustituyendo queda:

1 - x 2 -x

1 - x 2 + 3 =1. 2

SolveB 1 2 1 2
2

2 d2 - 2 d

-2 d +

1 + 6 d2

-2 d

1-

-2 d +

1 + 6 d2

1 2

-2 d +

1 + 6 d2

1-

1 2

-2 d + 1

1 + 6 d2

3 2

== 1, dF

:8d 0<, :d 2
4+J199-3

>>
3 +J199+3 33 N
13

33 N

13

Este valor d es ladistancia del centro del cubo romo al centro de cualquiera de sus caras cuadradas. Reordenando la expresin resulta ser igual a

r4 =

4+

199-3

33 + 12

199+3

33

1.142613508925962

De aqu obtenemos el radio del cubo romo:

3 3

R=
Y a su vez:

2 4

1 2

10+

199-3

33 + 12

199+3

33

1.3437133737446016

r3 =

R2 - 1 = 3

6+

199-3

33 + 12

199+3

33

1.2133558000218923

107

r3 =

R -

1 3

6+

199-3

33 + 12

199+3

33

1.2133558000218923

Por consiguiente, el volumen es

V =

32

1 3

3 4

6+

199-3

33 + 12

199+3

33

1 3

4+

199-3

33 + 12

199+3

33

7.889477399975389 Para simplificar esta expresin calculamos su polinomio mnimo:

MinimalPolynomialB32

1 3

3 4

6+

199 - 3

33 + 12

199 + 3

33

+6

1 3

4+

199 - 3

33 + 12

199 + 3

33

, VF

-12 482 + 19 386 V2 - 45 684 V4 + 729 V6

Las seis races de esta ecuacin son:

108

SolveA-12 482 + 19 386 V2 - 45 684 V4 + 729 V6 0E ::V 1 3 H-1L34 . 1 2 J376 + 356 J2 149 479 - 15 037 33 NN 33 NN
13

33 N

13

33 N
13

J3 J2 149 479 - 15 037 J3 J2 149 479 + 15 037 :V 1 3 H-1L34 . 1 2

- 356 J2 149 479 + 15 037 N >, 33 N

13

13

J376 + 356 J2 149 479 - 15 037 33 NN 33 NN

13

33 N
13

J3 J2 149 479 - 15 037 J3 J2 149 479 + 15 037 :V 3 1 2 J3 J2 149 479 - 15 037 J3 J2 149 479 + 15 037 :V 3 1 2 J3 J2 149 479 - 15 037 J3 J2 149 479 + 15 037

- 356 J2 149 479 + 15 037 N >, 33 N

13

13

H-1L14 - J-376 + 356 J2 149 479 - 15 037 33 NN 33 NN

13 13

+ 33 N
13

- 356 J2 149 479 + 15 037 N>, 33 N

13

H-1L14 - J-376 + 356 J2 149 479 - 15 037 33 NN 33 NN

13

+ 33 N
13

- 356 J2 149 479 + 15 037 N>, :V 1 3

13

188 + J3 J2 149 479 - 15 037 :V 1 3 188 + J3 J2 149 479 - 15 037

Si las evaluamos:

33 NN

13

+ J3 J2 149 479 + 15 037

33 NN

13

>,

33 NN

13

+ J3 J2 149 479 + 15 037

33 NN

13

>>

NASolveA-12 482 + 19 386 V2 - 45 684 V4 + 729 V6 0EE 88V 0.606584 + 0.395648 <, 8V -0.606584 - 0.395648 <, 8V -0.606584 + 0.395648 <, 8V 0.606584 - 0.395648 <, 8V -7.88948<, 8V 7.88948<<
Vemos que la que nos interesa es la ltima. Por lo tanto:

V= 1 3

188 +

3 I2 149 479 - 15 037

33 M +

3 I2 149 479 + 15 037

33 M .

El clculo del rea no ofrece ninguna dificultad:

S = 32

3 +6=6+8 3 . 4

|
3 +6=6+8 3 . 4

109

S = 32
Radio
10+
3

Volumen
3

rea 33 M + 6+8 3

199-3

33 + 12

199+3

33

1 3

/ 188 +

3 I2149479 - 15037

3 I2149479 + 15037

33 M

EL DODECAEDRO ROMO
Describimos ahora el poliedro que Kepler bautiz como dodecaedro romo. El proceso de construccin es el mismo: partimos del dodecaedro biselado es decir, del pequeo rombicosidodecaedro, eliminamos sus caras cuadradas (las que se han creado al biselar las aristas del dodecaedro o del icosaedro truncado) y giramos las caras hasta que una diagonal de cada hueco se vuelve unitaria. Entonces rellenamos cada hueco dejado por una de las caras cuadradas por dos tringulos equilteros:

P.Rombicosidodecaedro Flexible Dodecaedro Romo

As obtenemos un poliedro con C = 92 caras (80 tringulos y 12 pentgonos), A = 150 aristas y V = 60 vrtices. Como en el caso del cubo romo, el dodecaedro romo es quiral. La figura siguiente muestra dos dodecaedros romos enantiomorfos:

110

Tratar de encontrar las ecuaciones que describen los giros ilustrados por la primera figura de esta seccin anlogamente a como hemos hecho con el cubo romo es muy complicado y no vamos a hacerlo. En su lugar demostraremos su existencia por un argumento de construccin similar al que empleamos con el icosaedro. Concretamente, vamos a probar que (salvo homotecias e isometras) existe un nico poliedro uniforme en cuyos vrtices concurran cuatro tringulos y un pentgono. Empezamos observando que esto exige que cada vrtice tenga cinco vrtices adyacentes, y todos ellos han de estar inscritos en una circunferencia, pues, por una parte, equidistan del vrtice indicado y, por otra, del centro del poliedro. A continuacin demostramos que, en efecto, es posible inscribir un pentgono en una circunferencia como muestra la figura siguiente: los cuatro lados superiores miden 1 y el inferior mide F, pues queremos que sea la diagonal de un pentgono de lado unitario.

1 r

1+ 2

El ngulo a sealado en la figura cumple sen[ Por consiguiente:

a ] 2

1 , de donde cos[a] = 1 2r

2 8 y cos[2a] = 1 - 4 r2 r

- 82 .
r

1+ 5 = 4

r sen[2a] = r

1- 1-

8 r4

- 82
r

111

1+ 5 = 4
Operando llegamos a la ecuacin

r sen[2a] = r

1- 1-

8 r4

- 82
r

29- 5 6 r - 20 r4 + 8 r2 - 10 2
1.0

0.

Esta ecuacin tiene una nica raz positiva, como muestra su grfica:

0.5

0.2

0.4

0.6

0.8

1.0

-0.5

-1.0

Adems puede resolverse por radicales. Mathematica proporciona el resultado exacto, que es de la forma

r=
donde

580+g1 +g2 +g3 , 1254

g1 = 20 g2 =
3

,
5 5 +

12 384 286 + 5 127 094

3

54 351 559 270 008 + 26 548 539 170 472

54 351 559 270 008 + 26 548 539 170 472 5 ,

5 ,

g3 =

12 384 286 + 5 127 094

As pues, si en una circunferencia de radio

r 0.972733 trazamos cuatro cuerdas consecutivas de longitud 1,

la quinta tendr longitud F. El hecho de que r sea menor que 1 implica que existe la pirmide que muestra el paso 1 de la figura siguiente, en la que todas las aristas son unitarias excepto el lado mayor del pentgono, que mide F:

112

Paso

10

11

12

13

14

Mostrar en ventana

La distancia del sexto vrtice al centro de la circunferencia es

h=

1 - r2

674-g1 -g2 -g3 > 0.231928 1254

Ahora observamos (paso 2) que existe un punto que equidista de los seis vrtices. Para ello basta construir un tringulo issceles con una de las aristas y la perpendicular al pentgono que pasa por su centro. De hecho, estamos en condiciones del calcular el que ser el radio del dodecaedro romo:

113

12

r h H , L 2 2

Hr,hL

La altura del tringulo issceles es una recta que pasa por el punto (r/2,

h/2) con la direccin del vector (-h,

1 . 2h

r). Es fcil ver que su ecuacin es

r y = -hx +
Haciendo

h 2

r2 2h

r = -hx +

h2 +r 2 2h

r = -hx +

x = 0 obtenemos el radio buscado: R=

1 2h

627 2 H674-g1 -g2 -g3 L

> 2.15584

As pues, los seis vrtices que hemos construido estn inscritos en una (nica) esfera de radio R. Ms an (paso 3) todos los vrtices del pentgono regular representado estn inscritos en la esfera, pues sabemos que tres de ellos lo estn. En este punto conviene observar que, por simetra, el ngulo didrico entre dos tringulos cualesquiera es siempre el mismo, al igual que es el mismo el ngulo didrico entre cada uno de los dos tringulos y el pentgono (pero no el mismo que el ngulo entre dos tringulos). En particular, de aqu se desprende que podemos completar dos pentgonos idnticos al orgiginal como muestra el paso 4. Aqu usamos concretamente que los dos lados de cada pentgono que ya estaban dibujados en el paso anterior forman el ngulo correcto, lo cual se debe a que, como hemos sealado, los ngulos didricos de los dos tringulos adyacentes al pentgono son iguales. Para cada uno de los nuevos pentgonos, el punto que est a distancia unitaria de cada uno de sus vrtices est determinado por estar a distancia unitaria de tres de ellos, luego es necesariamente el vrtice correspondiente del pentgono original. Por lo tanto, los tres vrtices completados en el paso 5 son iguales entre s (en el sentido de que un giro de 72 transforma uno en otro). Ms an, como el centro de la esfera que ya tenemos dibujada equidista de tres de los vrtices de cada pentgono, equidista de todos ellos, es decir, todos los vrtices dibujados hasta aqu estn inscritos en la misma esfera. Dejamos al lector la comprobacin de que, prosiguiendo de este modo, podemos terminar de orlar el pentgono como se muestra en el paso 6, de modo que todos los vrtices estn inscritos en la misma esfera y todos los polgonos sean regulares. Ms an, todos los ngulos didricos entre tringulos son iguales, al igual que todos los ngulos didricos entre tringulos y el pentgono. La figura es simtrica en el sentido de que es invariante por giros de 72 respecto a la recta perpendicular al pentgono que pasa por su centro.

114

La igualdad entre los ngulos didricos entre tringulos implica que todos los vrtices incompletos que muestra la figura pueden ser completados a vrtices idnticos al mostrado inicialmente en el paso 3. En este punto hemos de sealar que, hasta ahora, toda la construccin ha sido unvoca en el sentido de que no hemos tenido ningn margen de eleccin a la hora de que la construccin pueda dar lugar a un poliedro de las caractersticas indicadas (que sea uniforme y en cada vrtice tenga un pentgono y cuatro tringulos). Sin embargo, ahora se nos presenta la nica eleccin arbitraria en el proceso, de la que depender que obtengamos una de las dos variantes enantiomorfas del dodecaedro romo: si nos fijamos en cualquiera de los cinco vrtices incompletos a los que concurren tres tringulos, hemos de completarlo con un tringulo y un pentgono, pero podemos elegir en qu lado ponemos el tringulo y en cul el pentgono. El paso 7 muestra una eleccin posible para uno de los vrtices. Ahora bien, el resultado de una de las dos elecciones posibles se transforma en el resultado de la otra sin ms que aplicar una simetra respecto del plano adecuado, por lo que los dos poliedros que podemos obtener segn la eleccin que hagamos sern isomtricos y no se perder la unicidad anunciada. Una vez hecha la eleccin, sta fuerza la complecin del vrtice siguiente con dos tringulos (paso 8), y esto slo nos deja una forma de situar el pentgono en el vrtice siguiente (paso 9). En cada paso hemos de comprobar que las caras que concurren en los vrtices que quedan incompletos forman entre s los ngulos didricos correctos, por lo que pueden completarse a vrtices idnticos al del paso 3. Dejamos al lector la comprobacin de que cada vrtice completado determina a su vez la forma de completar el siguiente, hasta obtener laz figuras mostradas sucesivamente en los pasos 10, 11, 12, 13. Al llegar al paso 13 queda un hueco en forma de pentgono regular (lo que no es trivial es que los cinco vrtices estn en el mismo plano), pues el anillo de tringulos equilteros que lo rodea es idntico al obtenido en el paso 6 (pues los ngulos didricos entre los tringulos son todos iguales), y sabemos que el anillo del paso 6 rodea a un pentgono regular. Esto nos permite cerrar el poliedro en el paso 14. El poliedro obtenido es uniforme, porque tiene por simetras a los giros de 72 respecto de ejes que pasan por el centro de dos pentgonos opuestos, y con estos giros basta para transportar cualquier vrtice a cualquier otro. A partir del radio del dodecaedro romo podemos calcular las distancias entre el centro y los centros de las caras:

r3 =
y a partir de ellas el volumen:

R2 -

1 3

r5 =

R2 -

5+ 5 10

V = 80
Sucede que

1 3

3 4

r3+ 12

1 5 3 4

5+2 5 5

r5 > 37.6166

es un nmero algebraico de grado 12, as que no merece la pena considerar su expresin en

trminos de radicales (que la tiene, por tenerla

R).
rea 3 +3 5 I5 + 2 5M

Radio

Volumen

2.15584 37.6166 20

SOBRE LOS POLIEDROS ROMOS

Hemos visto cmo el cubo romo puede obtenerse a partir del pequeo rombicuboctaedro, que es el cubo biselado y tambin el octaedro biselado mientras que el dodecaedro romo se obtiene del pequeo rombicosidodecaedro, que es el dodecaedro biselado, y tambin el icosaedro biselado. Es natural plantearse si no podemos obtener un tetraedro romo a partir del tetraedro biselado, es decir, del cuboctaedro. La figura siguiente nos da la respuesta:

115

Cuboctaedro Flexible Tetraedro romo

Vemos, pues que el tetraedro romo no es ms que el icosaedro. En general, si partimos del poliedro regular {c,v}, al biselarlo estamos sustituyendo cada vrtice por un polgono {v} y cada arista por un cuadrado, la cual se sustituye por dos tringulos al romificar. En definitiva, la romificacin de {c,v} es un poliedro que se construye disponiendo {c,v}, unindolos con

polgonos {v} (aproximadamente) en las posiciones que ocupan los vrtices de

A pares de tringulos {3} para formar un armazn que imita a las aristas de {c,v} y

rellenando los huecos que deja este armazn con C polgonos {c}. La figura siguiente muestra los armazones a falta de completar con los polgonos correspondientes a las caras. Los polgonos correspondientes a los vrtices estn pintados de oscuro y los de las aristas de claro:

116

Ciertamente, los armazones formados por las aristas triangulares son ms romos que las aristas lineales originales. El hecho de que el cubo romo coincida con el octaedro romo y que el dodecaedro romo coincida con el icosaedro romo ha motivado que ambos poliedros hayan recibido tambin el nombre de cuboctaedro romo e icosadodecaedro romo, respectivamente. Terminamos esta seccin observando que un polinomio que hemos previamente puede verse tambin como una romificacin. En general, se llama biesfenoide a todo tetraedro con caras iguales. En particular, un tetraedro regular es un biesfenoide (y aqu no necesitamos considerar otro caso). La palabra griega esfenoides significa cua, de modo que pensar en un tetraedro como un biesfenoide significa considerarlo como un poliedro formado por dos caras esfenoidales y, por consiguiente, con cuatro aristas (es decir, sin contar las dos aristas que conectan los dos tringulos de cada esfenoide), como muestra la parte izquierda de la figura siguiente, en la que hemos resaltado las cuatro aristas del biesfenoide. Cada una de esas cuatro aristas puede reemplazarse por un par de tringulos equilteros, como muestra la figura de la derecha (como a cada vrtice del biesfenoide concurren slo dos aristas, no lo sustituimos por ningn polgono al romificarlo o, si se quiere, lo sustituimos por una arista) y las ocho aristas resultantes rodean dos huecos esfenoidales, que pueden a su vez ser rellenados con dos esfenoides (es decir, dos pares de tringulos, equilteros en nuestro caso) y el resultado no es sino un dodecaedro siams.

117

sta es la razn por la que el dodecaedro siams recibe tambin el nombre de biesfenoide romo.

LOS SLIDOS ARQUIMEDIANOS

Los trece poliedros uniformes que hemos obtenido en las secciones arquimedianos, pues la primera descripcin sistemtica de ellos que su trabajo se ha perdido. La primera descripcin que se conserva es la tabla siguiente, en la que los datos se refieren a poliedros de radio posteriores reciben el nombre de slidos se conoce se debe a Arqumedes, si bien de Kepler. Empezamos recopilndolos en 1 y no de arista 1.

Tetraedro truncado Hexaedro truncado Octaedro truncado Dodecaedro truncado Icosaedro truncado Cuboctaedro Icosidodecaedro Pequeo rombicuboctaedro Pequeo rombicosidodecaedro Gran rombicuboctaedro Gran rombicosidodecaedro Cubo romo Dodecaedro romo

C A V Figura 8 18 12 H3, 6, 6L 14 36 24 H3, 8, 8L 14 36 24 H4, 6, 6L 32 90 60 H3, 10, 10L 32 90 60 H5, 6, 6L 14 24 12 H3, 4, 3, 4L 32 60 30 H3, 5, 3, 5L 26 48 24 H3, 4, 4, 4L 62 120 60 H3, 4, 5, 4L 26 72 48 H4, 6, 8L 62 180 120 H4, 6, 10L 38 60 24 H3, 3, 3, 3, 4L 92 150 60 H3, 3, 3, 3, 5L

Arista 0.852803 0.562169 0.632456 0.336763 0.403548 1 0.618034 0.714813 0.447838 0.431479 0.262992 0.744206 0.463857

Volumen 1.68115 2.41618 2.86217 3.24783 3.63342 2.35702 3.26612 3.18272 3.7378 3.35772 3.76172 3.25183 3.75433

rea 8.81771 10.2505 10.7138 11.4533 11.8242 9.4641 11.1939 10.9673 11.8943 11.4972 12.0549 10.9973 11.8957

La columna Figura contiene las caras que concurren clcicamente a cada vrtice. Por ejemplo, (3, 4, 3, 4) indica que en cada vrtice de un cuboctaedro concurren un tringulo adyacente a un cuadrado adyacente a otro tringulo adyacente a otro cuadrado. La tabla siguiente ordena los slidos arquimedianos en familias segn su relacin con los slidos platnicos. Notemos que los poliedros de la familia del tetraedro aparecen todos en las dos familias siguientes excepto el tetraedro truncado.

118

Los nicos slidos arquimedianos que son transitivos para aristas son el cuboctaedro y el icosidodecaedro. Observemos que la figura (en el sentido de la primera tabla) de un slido arquimediano determina su nmero de vrtices, aristas y caras (y el nmero de caras de cada tipo). Por ejemplo, a partir de la figura (3, 4, 3, 4) podemos deducir que el defecto de cada vrtice es 360 - 290 - 2120 = 60 , luego, segn el teorema de

720 = 12. Por lo tanto, el nmero de caras triangulares y cuadradas 60 122 122 es, respectivamente, C3 = = 8 y C4 = = 6, luego C = 14, y por el teorema de Euler A = 24. 3 4
Descartes, el nmero de vrtices es

V=

Sucede que todo poliedro (no necesariamente uniforme en principio) cuyas caras sean polgonos regulares y cuyos vrtices tengan todos una misma figura igual a la de uno de los slidos arquimedianos es necesariamente el slido arquimediano correspondiente salvo por una excepcin: el pseudormbicuboctaedro es el poliedro que se obtiene del pequeo rombicuboctaedro mediante la transformacin que ilustra la figura siguiente:

119

Pequeo Rombicuboctaedro

Si observamos los vrtices afectados por la transformacin, vemos que en cada uno de ellos sustituimos un tringulo y un cuadrado por un cuadrado y un tringulo, por lo que todos los vrtices siguen teniendo figura (3, 4, 4, 4), pero los poliedros no son isomtricos. De hecho, el pseudorombicuboctaedro no es uniforme. Esto se debe a que est rodeado por un nico cinturn de ocho cuadrados, por lo que toda simetra transforma dicho cinturn en l mismo, luego los vrtices de los dos cuadrados que no forman parte del cinturn no pueden transformarse en ninguno de los vrtices del cinturn. Por lo dems, el pseudorombicuboctaedro tiene el mismo nmero de vrtices, caras y aristas que el pequeo rombicuboctaedro, el mismo volumen, la misma superficie, etc. Teorema 6.1: Todo poliedro convexo cuyas caras sean cuadrados y tringulos equilteros de modo que a cada vrtice concurran tres cuadrados y un tringulo es isomtrico a un pequeo rombicuboctaedro o bien a un pseudorombicuboctaedro.
Demostracin: Dado un poliedro en las condiciones del enunciado, distinguimos dos casos:

1) Una de las caras cuadradas comparte una arista con otro cuadrado y la arista paralela con un tringulo, es decir, el poliedro tiene tres caras dispuestas como se muestra en el paso inicial de la figura siguiente:

120

Inicio

<

>

Fin

Entonces es fcil ir razonando que las caras que vamos aadiendo en cada paso de la figura tienen que estar situadas necesariamente como lo estn. Es importante que no aifrmamos que los ngulos didricos tengan que ser necesariamente los que muestra la figura. Por ejemplo, al avanzar dos pasos lo que tenemos es que uno de los vrtices que inicialmente compartan un cuadrado y un tringulo tiene que completarse necesariamente con otros dos cuadrados. Entonces vemos que queda un vrtice al que llegan tres cuadrados, luego le falta el tringulo que aparece en el paso siguiente, y as sucesivamente. Terminamos concluyendo que el poliedro dado debe tener las mismas caras que el pseudorombidodecaedro conectadas del mismo modo, luego por el teorema de Cauchy es (isomtrico a) un pseudorombidodecaedro. 2) Siempre que una cara cuadrada comparte una arista con un cuadrado, comparte la arista paralela con otro cuadrado. En este caso partimos de un vrtice cualquiera, como muestra el paso inicial de la figura siguiente, y observamos que la condicin adicional determina completamente la forma de completar el poliedro:

121

Inicio

<

>

Fin

Por ejemplo, dicha condicin nos permite situar dos cuadrados en aristas paralelas a aristas que ya comparten dos cuadrados, lo que nos permite completar una cpula. A continuacin slo podemos aadir un cinturn de cuadrados, tras lo cual podemos aplicar de nuevo la condicin del caso 2 para determinar dnde debemos colocar cuadrados y dnde tringulos, y as llegamos a un poliedro con las caras dispuestas igual que las de un pequeo rombicuboctaedro, luego por el teorema de Cauchy es un rombicuboctaedro. Ahora bien, el caso del teorema anterior es totalmente excepcional, pues cualquier otra configuracin de vrtices realizable por un slido arquimediano slo puede ser realizada por el slido arquimediano correspondiente: Teorema 6.2: Si las caras de un poliedro convexo son polgonos regulares y las caras que concurren en cada vrtice lo hacen segn el patrn con que lo hacen en un slido arquimediano distinto del pequeo rombicuboctaedro, entonces el poliedro es dicho slido arquimediano.
Demostracin: La prueba consiste en la comprobacin rutinaria, en cada uno de los doce casos posibles, de que el patrn de cada vrtice determina completamente el poliedro exactamente igual que hemos hecho en el teorema anterior, pero sin necesidad de distinguir casos. En realidad s que tendremos que distinguir dos casos cuando tratemos la configuracin correspondiente al cubo y al dodecaedro romo, pero la conclusin es entonces que en cada caso se llega a una de las dos variantes enantiomorfas del poliedro.

Como ejemplo podemos reconsiderar la figura en la que construimos cara a cara el dodecaedro romo. Suponemos que tenemos un poliedro convexo con figura (3, 3, 3, 3, 5), de modo que uno cualquiera de sus vrtices tendr el aspecto que muestra el paso 3 de la figura (tal vez con ngulos didricos diferentes). Entonces podemos completar dos vrtices del pentgono como indica el paso 5 y los otros dos como indica el paso 6. En el paso 7 realizamos una eleccin al aadir un pentgono y un tringulo en la forma en que lo hacemos y no al revs. Es la nica eleccin arbitraria en todo el proceso. A partir de ah todos los pasos siguientes vienen forzados por la estructura de los vrtices, y concluimos que el poliedro dado tiene sus caras dispuestas igual que las de un dodecaedro romo, luego, por el teorema de Cauchy, tiene que ser un dodecaedro romo. Sucede que los slidos platnicos y arquimedianos no son todos los poliedros uniformes convexos, pues en realidad hay infinitos de ellos, pero todos los restantes pertenecen a una de las dos familias de poliedros que estudiamos a continuacin. La primera es elemental:

122

Sucede que los slidos platnicos y arquimedianos no son todos los poliedros uniformes convexos, pues en realidad hay infinitos de ellos, pero todos los restantes pertenecen a una de las dos familias de poliedros que estudiamos a continuacin. La primera es elemental:

LOS PRISMAS (UNIFORMES)

Dado cualquier polgono regular, podemos construir fcilmente un poliedro uniforme a partir de l: basta considerar un prisma con dicha base y caras laterales cuadradas:
Base 3 4 5 6 7 8 9 10

Es obvio que los prismas son ciertamente poliedros uniformes (pero, salvo en el caso 4, n). Es fcil ver que el volumen y el rea vienen dados por

n = 4, no son transitivos

para aristas), as como que el prisma de base {n} es el nico poliedro convexo cuyos vrtices tienen figura (4,

V=
El radio es

n p cotanB F, n 4

S=n+

n p cotanB F. n 2

R=

1+cosec2 @pnD 2

LOS ANTIPRISMAS (UNIFORMES)

Existe una forma ligeramente ms sofisticada de obtener poliedros uniformes a partir de dos polgonos {n} arbitrarios. La figura siguiente muestra algunos casos particulares:

123

Base

10

Un antiprisma de base {n} se forma disponiendo dos polgonos {n} iguales en planos paralelos, girando uno de ellos 180 /n y uniendo cada vrtice de uno de los polgonos con los dos ms prximos del otro. Si la distancia entre los dos polgonos es la adecuada, los tringulos que se forman son equiteros y el antiprisma es uniforme. Ms an, es claro que el antiprisma de base {n} es el nico poliedro convexo cuyos vrtices tienen todos figura (3, 3, 3, n). Para calcular la altura h del antiprisma observamos que sta forma un tringulo rectngulo con la altura del tringulo equiltero y con la diferencia entre el radio y la apotema de la base. As pues:

h2 =
luego

3 4

1 - J 2 sen@pnD - 2cos@pnD N sen@pnD

3 4

1 p tan2 [ ] 4 2n

= 1- 1 (1+tan2[ 2pn ]), 4

h=
Con esto podemos calcular el radio:

1-

1 4

sec2 B

p 2n

F.

R=

I h M + I 1 cscA p EM = 2 n 2

1 2

1+

1 4

-1 p cos2 A 2 n E

+ sen2A p E1cos2A p E O =
2n 2n

1 4

4 + csc2 A

p E 2n

La distancia del centro al centro de los tringulos laterales es

r3 =
luego el volumen del antiprisma es

R2 -

1 3

1 J4 16

+ cscA 2pn E N -

1 3

V =

2n 3

3 4

1 16

K4 + cscB

p 2n

F O-

1 3

2n 32 p n

cotan@pnD 1 2 2 1 4

1p 2n

1 4

sec2 B

p 2n

n 12

3 4

cscB

p 2n

F -1

n 12

cotanA E

1-

sec2 B

La expresin se simplifica ligeramente si tenemos en cuenta que

3 4

cscB

p 2n

F -1

4 cos2 B

4 sen B

2n p

F-1 F

2n

= cotan2B 2pn F J1 - 1 sec2B 2pn FN. 4

124

|
3 4 2 4 cos2 B
p

cscB

p 2n

F -1

4 sen B

2n 2 p

F-1 F

2n

= cotan2B 2pn F J1 - 1 sec2B 2pn FN. 4

As pues:

V=
Para los primeros valores de

n 12

(cotanA p E+cotanA 2pn E) n

1-

1 4

sec2A 2pn E .

n esta expresin se reduce a

2 3

V3 =

, V4 =

4+3 3

, V5 =

5+2 5 6

, V6 = ).

2+2

Dejamos al lector la comprobacin de la frmula para la superficie de los antiprismas:

n S = 2 (cotanA p E+ n

LA CLASIFICACIN DE LOS POLIEDROS UNIFORMES CONVEXOS

Finalmente demostramos que los slidos platnicos y los arquimedianos, junto con las familias infinitas de prismas y antiprismas, son todos los poliedros uniformes convexos. De hecho, podemos probar algo ligeramente ms general: Teorema 6.3: Los nicos poliedros convexos cuyas caras son polgonos regulares tales que a cada uno de sus vrtices concurre un mismo nmero de caras de cada tipo son los prismas, los antiprismas, los slidos platnicos, los slidos arquimedianos y el pseudorombicuboctaedro.
Demostracin: Partimos del teorema 4.5, segn el cual la suma de los ngulos de las caras en un vrtice ha

de ser inferior a 360 . Los ngulos de un polgono {n} miden 180 -

(a1, , ak ), se tiene que cumplir que k i=1

equivalentemente, 180 -

360 , luego si la figura de cada vrtice es n

360 < 360, ai

k=1 i
Puesto que vrtice. Para

2 > ai

k - 2.

ai 3, tenemos que k-2 < 2k/3, de donde k < 6, es decir, a lo sumo puede haber 5 caras en cada k = 3, 4, 5, la desigualdad se particulariza a
1 1 1 + + a b c

> 1, 2

1 1 1 1 + + + a b c d

> 1,

2 2 2 2 2 + + + + a b c d e

> 3.

Basta demostrar que las nicas posibilidades para (a, b, c), (a, b, c, d) o (a, b, c, d, e) son las que corresponden a los poliedros indicados en el enunciado, pues sabemos que, para cada una de estas configuraciones, la nica posibilidad es la del poliedro correspondiente (salvo en el caso de (3, 4, 4, 4), que puede realizarse en el pequeo romicuboctaedro o en el pseudorombicuboctaedro). A) Si cada vrtice tiene cinco caras, al menos cuatro deben ser tringulos, pues si al menos dos de ellas no lo fueran, digamos d, e 4, entonces 2

2 2 2 + + 3 3 3

2 r 2 + 2 + 2 > 3 - d - 2 r 3 - 2 - 2 = 2. a b c e 4 4 2 2 2 2 2 + + + + 3 3 3 3 e

Con cuatro tringulos, la quinta cara debe cumplir que cubo romo y el dodecaedro romo, respectivamente. B) Si cada vrtice tiene cuatro caras (a, dad nos da que

> 3, lo que se traduce en e < 6,

luego las nicas posibilidades son (3, 3, 3, 3, 3), (3, 3, 3, 3, 4) y (3, 3, 3, 3, 5), que corresponden con el icosaedro, el b, c, d) y llamamos x al mnimo de los cuatro nmeros, la desigualx = 3. Si los cuatro son iguales, tenemos (3, 3, 3, 3), que corresponde al octaedro. Los casos (3,

3, 3, n) son todos posibles, y corresponden a los antiprismas. Falta considerar que en cada vrtice haya uno o dos tringulos.

|
B) Si cada vrtice tiene cuatro caras (a, dad nos da que

125

b, c, d) y llamamos x al mnimo de los cuatro nmeros, la desigual-

x = 3. Si los cuatro son iguales, tenemos (3, 3, 3, 3), que corresponde al octaedro. Los casos (3,

3, 3, n) son todos posibles, y corresponden a los antiprismas. Falta considerar que en cada vrtice haya uno o dos tringulos.

a = 3, al completar los tipos de caras que rodean a dos de los vrtices del b = d, es decir, que la figura de cada vrtice debe ser necesariamente de la forma (3, b, c, b).
La figura siguiente muestra que si tringulo, vemos que para completar el tercero hace falta que

c d a b

b 4, pues el caso contrario ya lo hemos considerado. La desigualdad nos da entonces c < 6, luego las posibilidades son (3, b, 3, b), (3, b, 4, b) o (3, b, 5, b). En el primer caso la desigualdad nos da la cota b 5 y en los otros dos b 4, con lo que las nicas posibilidades son (3, 4, 3, 4), (3, 5, 3, 5), (3, 4, 4, 4) y (3, 4,
Podemos suponer que que 5, 4), que corresponden al cuboctaedro, al icosadodecaedro, al pequeo rombicuboctaedro y pequeo rombicosidodecaedro. C) Si cada vrtice tiene tres caras, podemos suponer

a b c, con lo que la desigualdad implica que a <

6. Si a = b = c, las nicas opciones son (3, 3, 3), (4, 4, 4) y (5, 5, 5), que corresponden necesariamente al tetraedro, al cubo y al dodecaedro.

a b, si una arista de una cara {c} limita con una cara {a}, entonces sus aristas contiguas deben limitar con caras {b}, lo que implica que c debe ser par.
En el supuesto de que haya dos caras distintas, por ejemplo En particular, si en (a, b, c) hay dos nmeros iguales (y otro distinto) los dos iguales deben ser pares, y si los tres son distintos dos a dos, los tres deben ser pares. Esto ya nos descarta todos los casos imposibles: Si

es impar, la nica posibilidad es

(a, b, b),

con

par. Concretamente, si

a=3

la desigualdad nos da

adems que dad nos da

b < 12,

luego las nicas posibilidades son (3, 4, 4), (3, 6, 6), (3, 8, 8), (3, 10, 10), que corresponden al

prisma triangular, al tetraedro truncado, al hexaedro truncado y al dodecaedro truncado. Si

a = 5 la desigual-

b < 20/3, luego necesariamente b = 6 y queda (5, 6, 6), que corresponde al icosaedro truncado. Slo falta considerar el caso en que a = 4. Los casos (4, 4, c) son todos posibles, y corresponden a prismas. Si b > 4 entonces a c, luego b es par, y la desigualdad implica que b = 6, de donde a su vez c < 12. Esto nos
deja nicamente las posibilidades (4, 6, 6), (4, 6, 8) y (4, 6, 10), que corresponden al octaedro truncado, al gran rombicuboctaedro y al gran rombicosidodecaedro. En particular: Teorema 6.4: Los nicos poliedros convexos uniformes son los slidos platnicos, los arquimedianos, los prismas y los antiprismas. Teniendo en cuenta que el cubo es un prisma y el octaedro un antiprisma, slo hay 16 poliedros convexos uniformes fuera de las dos familias infinitas. Teorema 6.5: Los nicos poliedros convexos transitivos para vrtices y aristas son los slidos platnicos, el cuboctaedro y el icosidodecaedro.