Prisma triangular triaumentado | |
---|---|
Tipo | Deltaedro , Johnson J 50 – J 51 – J 52 |
Caras | 14 triángulos |
Bordes | 21 |
Vértices | 9 |
Configuración de vértice | |
Grupo de simetría | |
Angulo diedro ( grados ) | 109,5° 144,7° 169,5° |
Poliedro dual | Asociaedro |
Propiedades | convexo , compuesto |
Neto | |
El prisma triangular triaumentado , en geometría, es un poliedro convexo con 14 triángulos equiláteros como caras. Se puede construir a partir de un prisma triangular uniendo pirámides cuadradas equiláteras a cada una de sus tres caras cuadradas. La misma forma también se llama prisma tetrakis triangular , [1] prisma trigonal tricapped , [2] tetracaidecadeltahedro , [3] [4] o tetrakaidecadeltahedro ; [1] estos últimos nombres significan un poliedro con 14 caras triangulares. Es un ejemplo de deltaedro , poliedro compuesto y sólido de Johnson .
Las aristas y vértices del prisma triangular triaumentado forman un grafo plano maximalista con 9 vértices y 21 aristas, llamado grafo de Fritsch . Fue utilizado por Rudolf y Gerda Fritsch para demostrar que el intento de Alfred Kempe de demostrar el teorema de los cuatro colores era incorrecto. El grafo de Fritsch es uno de los únicos seis grafos en los que cada entorno es un ciclo de 4 o 5 vértices.
El poliedro dual del prisma triangular triaumentado es un asociaedro , un poliedro con cuatro caras cuadriláteras y seis pentágonos cuyos vértices representan las 14 triangulaciones de un hexágono regular . De la misma manera, los nueve vértices del prisma triangular triaumentado representan las nueve diagonales de un hexágono, con dos vértices conectados por una arista cuando las dos diagonales correspondientes no se cruzan. Otras aplicaciones del prisma triangular triaumentado aparecen en química como base de la geometría molecular prismática trigonal tricapped , y en optimización matemática como solución al problema de Thomson y al problema de Tammes .
El prisma triangular triaumentado es un poliedro compuesto , lo que significa que se puede construir uniendo pirámides cuadradas equiláteras a cada una de las tres caras cuadradas de un prisma triangular , un proceso llamado aumento . [5] [6] Estas pirámides cubren cada cuadrado, reemplazándolo con cuatro triángulos equiláteros , de modo que el poliedro resultante tiene 14 triángulos equiláteros como caras. Un poliedro con solo triángulos equiláteros como caras se llama deltaedro . Solo hay ocho deltaedros convexos diferentes , uno de los cuales es el prisma triangular triaumentado. [7] [8] De manera más general, los poliedros convexos en los que todas las caras son polígonos regulares se denominan sólidos de Johnson , y cada deltaedro convexo es un sólido de Johnson. El prisma triangular triaumentado se numera entre los sólidos de Johnson como . [9]
Un posible sistema de coordenadas cartesianas para los vértices de un prisma triangular triaumentado, dándole una longitud de arista de 2, es: [1]
Un prisma triangular triaumentado con una longitud de arista tiene un área de superficie [10] igual al área de 14 triángulos equiláteros. Su volumen, [10] se puede obtener dividiendo el prisma en un prisma central y tres pirámides cuadradas, y sumando sus volúmenes. [10]
Tiene el mismo grupo de simetría tridimensional que el prisma triangular, el grupo diedro de orden doce. Sus ángulos diedros se pueden calcular sumando los ángulos de las pirámides y el prisma componentes. El prisma en sí tiene ángulos diedros cuadrado-triángulo y ángulos cuadrado-cuadrado . Los ángulos triángulo-triángulo en la pirámide son los mismos que en el octaedro regular , y los ángulos cuadrado-triángulo son la mitad. Por lo tanto, para el prisma triangular triaumentado, los ángulos diedros incidentes a los vértices de grado cuatro, en las aristas de los triángulos del prisma y en las aristas de prisma cuadrado a cuadrado son, respectivamente, [11]
El gráfico del prisma triangular triaumentado tiene 9 vértices y 21 aristas. Fritsch y Fritsch (1998) lo utilizaron como un pequeño contraejemplo de la falsa demostración de Alfred Kempe del teorema de los cuatro colores utilizando cadenas de Kempe , y su mapa dual se utilizó como ilustración de portada de su libro. [12] Por lo tanto, este gráfico se ha denominado posteriormente gráfico de Fritsch . [13] Un contraejemplo aún más pequeño, llamado gráfico de Soifer, se obtiene eliminando una arista del gráfico de Fritsch (la arista inferior en la ilustración aquí). [13] [14]
El grafo de Fritsch es uno de los seis grafos conectados en los que el entorno de cada vértice es un ciclo de longitud cuatro o cinco. De manera más general, cuando cada vértice de un grafo tiene un ciclo de longitud al menos cuatro como su entorno, los triángulos del grafo se unen automáticamente para formar una superficie topológica llamada triangulación de Whitney . Estos seis grafos provienen de las seis triangulaciones de Whitney que, cuando sus triángulos son equiláteros, tienen un defecto angular positivo en cada vértice. Esto los convierte en un análogo combinatorio de las superficies suaves de curvatura positiva. Provienen de seis de los ocho deltaedros, excluyendo los dos que tienen un vértice con un entorno triangular. Además del grafo de Fritsch, los otros cinco son los grafos del octaedro regular , el icosaedro regular , la bipirámide pentagonal , el disfenoide romo y la bipirámide cuadrada giroelongada . [15]
El poliedro dual del prisma triangular triaumentado tiene una cara por cada vértice del prisma triangular triaumentado, y un vértice por cada cara. Es un eneaedro (es decir, un poliedro de nueve lados) [16] que se puede realizar con tres caras cuadradas no adyacentes , y seis caras más que son pentágonos irregulares congruentes . [17] También se conoce como un asociaedro de orden 5 , un poliedro cuyos vértices representan las 14 triangulaciones de un hexágono regular . [16] Una forma menos simétrica de este poliedro dual, obtenida al cortar un octaedro truncado en cuatro cuartos congruentes por dos planos que bisecan perpendicularmente dos familias paralelas de sus aristas, es un poliedro que llena el espacio . [18]
En términos más generales, cuando un politopo es el dual de un asociaedro, su límite (un complejo simplicial de triángulos, tetraedros o símplices de dimensiones superiores) se denomina "complejo de cúmulos". En el caso del prisma triangular triaumentado, se trata de un complejo de cúmulos de tipo , asociado con el diagrama de Dynkin. , el sistema de raíces y el álgebra de grupos . [19] La conexión con el asociaedro proporciona una correspondencia entre los nueve vértices del prisma triangular triaumentado y las nueve diagonales de un hexágono. Los bordes del prisma triangular triaumentado corresponden a pares de diagonales que no se cruzan, y las caras triangulares del prisma triangular triaumentado corresponden a las triangulaciones del hexágono (que consisten en tres diagonales que no se cruzan). Las triangulaciones de otros polígonos regulares corresponden a politopos de la misma manera, con dimensión igual al número de lados del polígono menos tres. [16]
En la geometría de los compuestos químicos , es común visualizar un grupo de átomos que rodea a un átomo central como un poliedro, la envoltura convexa de las ubicaciones de los átomos circundantes. La geometría molecular prismática trigonal tricapped describe grupos para los cuales este poliedro es un prisma triangular triaumentado, aunque no necesariamente uno con caras de triángulos equiláteros. [2] Por ejemplo, los lantánidos desde el lantano hasta el disprosio se disuelven en agua para formar cationes rodeados por nueve moléculas de agua dispuestas como un prisma triangular triaumentado. [20]
En el problema de Thomson , relativo a la configuración de energía mínima de partículas cargadas sobre una esfera, y para el problema de Tammes de construir un código esférico que maximice la distancia más pequeña entre los puntos, la solución mínima conocida para coloca los puntos en los vértices de un prisma triangular triaumentado con caras no equiláteras, inscrito en una esfera . Se ha demostrado que esta configuración es óptima para el problema de Tammes, pero no se conoce una solución rigurosa para esta instancia del problema de Thomson. [21]