Halfregelmatig veelvlak

Een halfregelmatig veelvlak is een convex driedimensionaal object dat uit regelmatige veelhoeken is opgebouwd.

Halfregelmatig veelvlakken:
archimedische lichamen, prisma's, en antiprisma's

Een voetbal is een ronde afgeknotte icosaëder, voorbeeld van een archimedisch lichaam.

Een veelvlak heet halfregelmatig als:

• alle zijvlakken een regelmatige veelhoek zijn en
• het veelvlak hoekpunttransitief is, maar
• geen regelmatig veelvlak is.

De halfregelmatige veelvlakken vallen uiteen in drie categorieën:

• een oneindige serie prisma's - hoekpuntconfiguratie ${\displaystyle n}$.4.4, ${\displaystyle n}$ = 3, 5, 6, 7, ..
• een oneindige serie antiprisma's - hoekpuntconfiguratie ${\displaystyle n}$.3.3.3, ${\displaystyle n}$ = 4, 5, 6, 7, ..
• 13 archimedische lichamen, 15 als ook de spiegelbeelden van de stompe dodecaëder en de stompe kubus worden meegerekend

De prisma en de antiprisma zijn gedefinieerd voor regelmatige ${\displaystyle n}$-hoeken met ${\displaystyle n\geq 3}$:

• Een prisma ontstaat door twee regelmatige ${\displaystyle n}$-hoeken boven elkaar te verbinden met ${\displaystyle n}$ vierkanten. Voor ${\displaystyle n=4}$ wordt het de kubus.
• Een antiprisma ontstaat door de twee ${\displaystyle n}$-hoeken boven elkaar iets, over ${\displaystyle 180/n^{\circ }}$ te draaien, en die met ${\displaystyle 2n}$ driehoeken te verbinden. Voor ${\displaystyle n=3}$ vinden we hier de octaëder.

De hoekpuntconfiguratie is binnen de regelmatige en halfregelmatige veelvlakken uniek, behalve dat van de archimedische lichamen 3.3.3.3.4 en 3.3.3.3.5 elk twee chirale vormen bestaan, die elkaars spiegelbeeld zijn.

Een nodige voorwaarde ervoor dat het veelvlak hoekpuntransitief is, is dat in ieder hoekpunt steeds dezelfde veelhoeken in dezelfde of tegengestelde volgorde samenkomen. De gedraaide romboëdrisch kuboctaëder illustreert dat dit geen voldoende voorwaarde is: in ieder hoekpunt komen steeds dezelfde veelhoeken in dezelfde of tegengestelde volgorde samen, drie vierkanten en een driehoek, maar toch is er geen isometrie die het veelvlak op zichzelf afbeeldt.[1] Het is een Johnson-lichaam.

De Johnson-lichamen zijn uit alleen regelmatige veelhoeken opgebouwd, maar niet hoekpunttransitief.