The fifty nine icosahedra

Aunque Miller no contribuyó directamente al libro, fue un colega cercano de Coxeter y Petrie. Su aportación está inmortalizada en su conjunto de reglas para definir qué formas de estelación deben considerarse "adecuadamente significativas y distintas":[1]

(i) Las caras deben estar en veinte planos, a saber, los planos delimitadores del icosaedro regular.

(ii) Todas las partes que componen las caras deben ser iguales en cada plano, aunque pueden estar desconectadas entre sí.

(iii) Las partes incluidas en cualquier plano deben tener simetría trigonal, con o sin reflexión. Esto asegura la simetría icosaédrica para todo el sólido.

(iv) Las partes incluidas en cualquier plano deben ser todas "accesibles" en el sólido completo (es decir, deben estar en el "exterior". En ciertos casos deberíamos requerir modelos de enorme tamaño para poder ver todo el exterior. Con un modelo de tamaño ordinario, algunas partes del "exterior" solo podrían ser exploradas por un diminuto insecto).

(v) Excluimos de la consideración los casos en que las partes se pueden dividir en dos conjuntos, cada uno de los cuales da un sólido con tanta simetría como la figura completa. Pero permitimos la combinación de un par enantiomorfo que no tiene una parte común (lo que en realidad ocurre en un solo caso).

Las reglas (i) a (iii) son requisitos de simetría para los planos frontales. La regla (iv) excluye los agujeros enterrados, para garantizar que no haya dos estelaciones aparentemente idénticas. La regla (v) evita cualquier compuesto desconectado de estelaciones más simples.

Coxeter fue la principal fuerza impulsora detrás del trabajo. Llevó a cabo el análisis original basado en las reglas de Miller, adoptando una serie de técnicas como la combinatoria y la teoría de grafos abstracta, cuyo uso en un contexto geométrico era entonces novedoso.

Observó que el diagrama de la estelación constaba de muchos segmentos de línea. Luego desarrolló procedimientos para manipular combinaciones de las regiones planas adyacentes, con el fin de enumerar formalmente las combinaciones permitidas por las reglas de Miller.

Su gráfico, reproducido aquí, muestra la conectividad de las diversas caras identificadas en el diagrama de la estelación (véase más abajo). Los símbolos griegos representan conjuntos de posibles alternativas:

λ puede ser 3 o 4

μ puede ser 7 u 8

ν puede ser 11 o 12

Du Val ideó una notación simbólica para identificar conjuntos de celdas congruentes, basándose en la observación de que se encuentran formando cáscaras alrededor del icosaedro original. Basándose en esto, probó todas las combinaciones posibles sobre las reglas de Miller, confirmando el resultado del enfoque más analítico de Coxeter.

La contribución de Flather fue indirecta, realizando modelos en cartulina de los 59 casos. Cuando conoció a Coxeter, ya había confeccionado numerosas estelaciones, incluidos algunos ejemplos que no cumplían las reglas de Miller. Luego pasó a completar la serie de cincuenta y nueve modelos, que se conservan en la biblioteca de matemáticas de la Universidad de Cambridge, Inglaterra. La biblioteca también tiene algunos modelos que no cumplen las reglas de Miller, pero no se sabe si fueron realizados por Flather o por los estudiantes posteriores de Miller.[2]

John Flinders Petrie fue amigo de toda la vida de Coxeter y tenía una notable habilidad para visualizar la geometría en cuatro dimensiones. Junto con Coxeter, había trabajado en muchos problemas matemáticos. Su contribución directa a los cincuenta y nueve icosaedros fue el exquisito conjunto de dibujos tridimensionales que proporcionan gran parte del fascinante aspecto de la obra publicada.

Para la Tercera Edición, Kate y David Crennell reajustaron el texto y redibujaron los diagramas. También agregaron una sección de referencia que contenía tablas, diagramas y fotografías de algunos de los modelos de Cambridge (que en ese momento se pensaba que eran todos de Flather). Las correcciones a esta edición se han publicado en línea.[3]

Los números de índice son los de Crennell a menos que se indique lo contrario:

Crennell

• En la numeración del índice agregada a la Tercera Edición por los Crennell, las primeras 32 formas (índices 1-32) son modelos reflejados, y las últimas 27 (índices 33–59) son quirales y solo se enumeran las formas dextrógiras. Este es el orden en que se representan las estelaciones en el libro.

Celdas

• En la notación de Du Val, cada capa se identifica en negrita, trabajando hacia afuera, como a, b, c, ..., h, siendo a el icosaedro original. Algunas capas se subdividen en dos tipos de celdas, por ejemplo e comprende e₁ y e₂. El conjunto f₁ se subdivide en formas a derecha e izquierda, respectivamente f₁ (letra normal) y f₁ (letra cursiva). Cuando una estelación tiene todas las celdas presentes dentro de una capa exterior, la capa exterior se escribe con mayúscula y la interior se omite, por ejemplo a + b + c + e₁ se escribe como Ce₁.

Caras

• Todas las estelaciones se pueden especificar mediante un diagrama de estelación. En el diagrama que se muestra aquí, los colores numerados indican las regiones del diagrama de estelación que deben aparecer juntas como un conjunto, si se quiere mantener la simetría icosaédrica completa. El diagrama tiene 13 conjuntos de este tipo. Algunos de estos se subdividen en pares quirales (no mostrados), lo que permite estelaciones con simetría rotacional pero no reflexiva. En la tabla, las caras que se ven desde abajo se indican con un apóstrofe, por ejemplo 3'.

Wenninger

• Los números de índice y los nombres numerados fueron asignados arbitrariamente por el editor de Wenninger de acuerdo con su aparición en su libro "Modelos de poliedros" y no guardan relación con ninguna secuencia matemática. Solo algunos de sus modelos eran de icosaedros. Sus nombres se dan en forma abreviada, dejando "... del icosaedro".

Wheeler

• Wheeler encontró sus figuras, o formas del icosaedro, seleccionando segmentos de línea del diagrama de la estelación. Distinguió cuidadosamente esto del proceso clásico de estelación ideado por Johannes Kepler. Coxeter et al. ignoró esta distinción y se refirió a todos ellos como estelaciones.

Brückner

• Max Brückner hizo y fotografió modelos de muchos poliedros, de los cuales solo unos pocos eran icosaedros. Taf. es una abreviatura de Tafel, palabra que en alemán da nombre a una imagen impresa mediante fototipia.

Observaciones

• La figura No. 8 a veces se llama el equidnaedro debido a su relativa similitud con un equidna. Este uso es independiente de la descripción que hace Johannes Kepler de un poliedro regular estrellado al que denominó equidnae.

Algunas imágenes ilustran el icosaedro de imagen especular con la celda f₁ en lugar de con la celda f₁.

Crennell	Celdas	Caras	Wenninger	Wheeler	Brückner	Observaciones	Diagrama de caras	3D
1	A	0	04 Icosaedro	1	9999 !	El icosaedro platónico
2	B	1	26 Triaquisicosaedro	2	0802 !Taf. VIII, Fig. 2	Primera estelación del icosaedro, pequeño icosaedro triámbico, o triaquisicosaedro
3	C	2	23 Compuesto de cinco octaedros	3	0906 !Taf. IX, Fig. 6	Compuesto de cinco octaedros regular
4	D	3 4	99	4	0917 !Taf. IX, Fig.17
5	E	5 6 7	99	99	9999 !
6	F	8 9 10	27 Segunda estelación	19	9999 !	Segunda estelación del icosaedro
7	G	11 12	41 Gran icosaedro	11	1124 !Taf. XI, Fig. 24	Gran icosaedro
8	H	13	42 Estelación final	12	1114 !Taf. XI, Fig. 14	Estelación final del icosaedro o equidnaedro
9	e1	3' 5	37 Duodécima estelación	99	9999 !	Duodécima estelación del icosaedro
10	f1	5' 6' 9 10	99	99	9999 !
11	g1	10' 12	29 Cuarta estelación	21	9999 !	Cuarta estelación del icosaedro
12	e1f1	3' 6' 9 10	99	99	9999 !
13	e1f1g1	3' 6' 9 12	99	20	9999 !
14	f1g1	5' 6' 9 12	99	99	9999 !
15	e2	4' 6 7	99	99	9999 !
16	f2	7' 8	99	22	9999 !
17	g2	8' 9'11	99	99	9999 !
18	e2f2	4' 6 8	99	99	9999 !
19	e2f2g2	4' 6 9' 11	99	99	9999 !
20	f2g2	7' 9' 11	30 Quinta estelación	99	9999 !	Quinta estelación del icosaedro
21	De1	4 5	32 Séptima estelación	10	9999 !	Séptima estelación del icosaedro
22	Ef1	7 9 10	25 Compuesto de diez tetraedros	8	0903 !Taf. IX, Fig. 3	Compuesto de diez tetraedros regular
23	Fg1	8 9 12	31 Sexta estelación	17	1003 !Taf. X, Fig. 3	Sexta estelación del icosaedro
24	De1f1	4 6' 9 10	99	99	9999 !
25	De1f1g1	4 6' 9 12	99	99	9999 !
26	Ef1g1	7 9 12	28 Tercera estelación	9	0826 !Taf. VIII, Fig. 26	Dodecaedro excavado
27	De2	3 6 7	99	5	9999 !
28	Ef2	5 6 8	99	18	0920 !Taf.IX, Fig. 20
29	Fg2	10 11	33 Octava estelación	14	9999 !	Octava estelación del icosaedro
30	De2f2	36 8	34 Novena estelación	13	9999 !	Mediano icosaedro triámbico o gran icosaedro triámbico
31	De2f2g2	3 6 9' 11	99	99	9999 !
32	Ef2g2	5 6 9' 11	99	99	9999 !
33	f1	5' 6' 9 10	35 Décima estelación	99	9999 !	Décima estelación del icosaedro
34	e1f1	3' 5 6' 9 10	36 Undécima estelación	99	9999 !	Undécima estelación del icosaedro
35	De1f1	4 5 6' 9 10	99	99	9999 !
36	f1g1	5' 6' 9 10'12	99	99	9999 !
37	e1f1g1	'3' 5 6' 9 10' 12	39 Decimocuarta estelación	99	9999 !	Decimocuarta estelación del icosaedro
38	De1f1g1	4 5 6' 9 10' 12	99	99	9999 !
39	f1g2	5' 6' 8' 9' 10 11'	99	99	9999 !
40	e1f1g2	3' 5 6' 8' 9' 10 11	99	99	9999 !
41	De1f1g2	4 5 6' 8' 9' 10 11	99	99	9999 !
42	f1f2g2	5' 6' 7' 9' 10 11	99	99	9999 !
43	e1f1f2g2	3' 5 6' 7' 9' 10 11	99	99	9999 !
44	De1f1f2g2	4 5 6' 7' 9' 10 11	99	99	9999 !
45	e2f1	4' 5' 6 7 9 10	40 Decimoquinta estelación	99	9999 !	Decimoquinta estelación del icosaedro
46	De2f1	3 5' 6 7 9 10	99	99	9999 !
47	Ef1	5 6 7 9 10	24 Compuesto de cinco tetraedros	7 (6: a izquierda)	0911 !Taf. IX, Fig. 11	Compuesto de cinco tetraedros regular (a derecha)
48	e2f1g1	4' 5' 6 7 9 10' 12	99	99	9999 !
49	De2f1g1	3 5' 6 7 9 10' 12	99	99	9999 !
50	Ef1g1	5 6 7 9 10' 12	99	99	9999 !
51	e2f1f2	4' 5' 6 8 9 10	38 Decimotercera estelación	99	9999 !	Decimotercera estelación del icosaedro
52	De2f1f2	3 5' 6 8 9 10	99	99	9999 !
53	Ef1f2	5 6 8 9 10	99	15 (16: a izquierda)	9999 !
54	e2f1f2g1	4' 5' 6 8 9 10' 12	99	99	9999 !
55	De2f1f2g1	3 5' 6 8 9 10' 12	99	99	9999 !
56	Ef1f2g1	5 6 8 9 10' 12	99	99	9999 !
57	e2f1f2g2	4' 5' 6 9' 10 11	99	99	9999 !
58	De2f1f2g2	3 5' 6 9' 10 11	99	99	9999 !
59	Ef1f2g2	5 6 9' 10 11	99	99	9999 !