En geometría , el término poliedro semirregular (o politopo semirregular ) es utilizado de forma variada por distintos autores.
En su definición original, es un poliedro con caras poligonales regulares y un grupo de simetría que es transitivo en sus vértices ; hoy en día, esto se conoce más comúnmente como un poliedro uniforme (esto se desprende de la definición de Thorold Gosset de 1900 del politopo semirregular más general ). [1] [2] Estos poliedros incluyen:
Estos sólidos semirregulares pueden especificarse completamente mediante una configuración de vértice : una lista de las caras por número de lados, en el orden en que aparecen alrededor de un vértice. Por ejemplo: 3.5.3.5 representa el icosidodecaedro , que alterna dos triángulos y dos pentágonos alrededor de cada vértice. En contraste: 3.3.3.5 es un antiprisma pentagonal . Estos poliedros a veces se describen como transitivos de vértice .
Desde Gosset, otros autores han utilizado el término semirregular de diferentes maneras en relación con politopos de dimensiones superiores. EL Elte [3] proporcionó una definición que Coxeter consideró demasiado artificial. El propio Coxeter denominó a las figuras de Gosset como uniformes , y sólo un subconjunto bastante restringido se clasificó como semirregular. [4]
Sin embargo, otros han tomado el camino opuesto y han clasificado más poliedros como semirregulares. Entre ellos se incluyen:
Otra fuente de confusión reside en el modo en que se definen los sólidos arquimedianos, con lo que nuevamente aparecen diferentes interpretaciones.
La definición de Gosset de semirregular incluye figuras de mayor simetría: los poliedros regulares y cuasirregulares . Algunos autores posteriores prefieren decir que no son semirregulares, porque son más regulares que eso; se dice entonces que los poliedros uniformes incluyen los regulares, cuasirregulares y semirregulares. Este sistema de denominación funciona bien y concilia muchas (pero de ninguna manera todas) de las confusiones.
En la práctica, hasta las autoridades más eminentes pueden confundirse, definiendo un conjunto dado de poliedros como semirregulares y/o arquimedianos, y luego suponiendo (o incluso enunciando) un conjunto diferente en discusiones posteriores. Suponer que la definición que uno establece se aplica sólo a los poliedros convexos es probablemente el error más común. Coxeter, Cromwell [5] y Cundy & Rollett [6] son todos culpables de tales errores.
Johannes Kepler acuñó la categoría semirregular en su libro Harmonices Mundi (1619), incluyendo los 13 sólidos arquimedianos , dos familias infinitas ( prismas y antiprismas sobre bases regulares), y dos sólidos catalanes transitivos de arista , el dodecaedro rómbico y el triacontaedro rómbico . También consideró un rombo como un polígono semirregular (al ser equilátero y alternar dos ángulos) así como los polígonos estrellados , ahora llamados figuras isotoxales que usó en teselas planas . El trapezoedro trigonal , un cubo topológico con caras rómbicas congruentes, también calificaría como semirregular, aunque Kepler no lo mencionó específicamente.
En muchas obras se utiliza poliedro semirregular como sinónimo de sólido arquimediano . [7] Por ejemplo, Cundy y Rollett (1961).
Podemos distinguir entre las figuras facialmente regulares y transitivas de vértice basadas en Gosset, y sus duales verticalmente regulares (o versi-regulares) y facialmente transitivas.
Coxeter et al. (1954) utilizan el término poliedros semirregulares para clasificar los poliedros uniformes con símbolo de Wythoff de la forma pq | r , definición que abarca sólo seis de los sólidos arquimedianos, así como los prismas regulares (pero no los antiprismas regulares) y numerosos sólidos no convexos. Más tarde, Coxeter (1973) citaría la definición de Gosset sin comentarios, aceptándola así por implicación.
Eric Weisstein , Robert Williams y otros utilizan el término para referirse a los poliedros uniformes convexos , excluyendo los cinco poliedros regulares , incluidos los sólidos de Arquímedes, los prismas uniformes y los antiprismas uniformes (superpuestos con el cubo como prisma y el octaedro regular como antiprisma). [8] [9]
Peter Cromwell (1997) escribe en una nota a pie de página en la página 149 que, "en la terminología actual, 'poliedros semirregulares' se refiere a los sólidos de Arquímedes y Catalan (Arquímedes duales)". En la página 80 describe a los trece Arquímedes como semirregulares, mientras que en las páginas 367 y siguientes analiza los Catalanes y su relación con los Arquímedes 'semirregulares'. Por implicación, esto trata a los Catalanes como no semirregulares, contradiciendo así efectivamente (o al menos confundiendo) la definición que proporcionó en la nota a pie de página anterior. Ignora los poliedros no convexos.