it Costruzione di Wythoff

In geometria, la costruzione di Wythoff, spesso indicata anche come costruzione caleidoscopica di Wythoff, così chiamata in riferimento al matematico Willem Abraham Wythoff, è un metodo per costruire poliedri uniformi o tassellature del piano.^[1]

Processo di costruzione

Considerando il punto nell'incentro di un triangolo di Schwarz con parametri p, q e r pari a 4, 3 e 2...

... il solido generato, che in notazione di Wythoff è rappresentato come 432|, è un cubottaedro troncato.

Il metodo di Wythoff è basato sull'idea di tassellare una sfera utilizzando triangoli sferici, in particolare triangoli di Schwarz. Questa costruzione immagina la disposizione di tre specchi ai bordi di un tale triangolo, proprio come in un caleidoscopio, tuttavia, a differenza di quanto accade in quest'ultimo, gli specchi non sono paralleli ma gli assi ad essi perpendicolari si intersecano in un singolo punto. Essi delimitano quindi un triangolo sferico, sulla superficie di qualsiasi sfera, centrato in quel punto e riflessioni ripetute riproducono una moltitudine di copie di tale triangolo. Se gli angoli del triangolo sferico sono stati scelti in modo appropriato, i triangoli tasselleranno perfettamente la superficie sferica, una o più volte, dove con "più volte" si intende il fatto che le riflessioni tasselleranno la superficie sferica con un certo numero di configurazioni prima di ripetere la prima configurazione. Il numero di volte in cui la superficie sferica viene ricoperta con tassellature diverse è detta densità della tassellatura.^[2]

Ponendo un punto in una posizione opportuna all'interno del triangolo sferico delimitato dagli specchi, è possibile creare riflessioni di quel punto tali da costituire i vertici di un poliedro uniforme. Dato un triangolo sferico PQR, si hanno in particolare quattro situazioni in cui è possibile generare un poliedro uniforme:

Il punto è situato in corrispondenza di uno dei vertici del triangolo. Considerando il punto posto in corrispondenza del vertice P, ciò produce un poliedro che, usando la notazione di Wythoff, è rappresentabile come p|q r, dove il valore di p, q e r è pari a π diviso rispettivamente per l'angolo interno del triangolo al vertice P, Q e R.
Il punto è situato lungo uno dei lati del triangolo, così che il segmento che unisce il punto al vertice opposto sia la bisettrice dell'angolo al vertice opposto. Considerando il punto posizione sul lato PQ, e quindi di fronte al vertice R, ciò produce un poliedro che in notazione di Wythoff è rappresentato come p q|r.
Il punto è situato nell'incentro del triangolo PQR. Ciò genera un poliedro che in notazione di Wythoff è rappresentato come a b c|.
Il punto è situato in una posizione tale che, quando viene ruotato attorno a uno qualsiasi degli angoli del triangolo di due volte l'angolo in quel punto, esso viene spostato della stessa distanza per ogni angolo, distanza che sarà pari alla lunghezza dello spigolo del poliedro. Il poliedro, generato usando solo le riflessioni pari del vertice originale, in notazione di Wythoff è rappresentato come |p q r.^[3]

Utilizzando queste quattro opzioni con tutte le possibili tassellature triangolari della sfera, si possono costruire 79 degli 80 poliedri uniformi esistenti, dove il conto di 80 include i 5 solidi platonici, i 13 solidi archimedei, i 4 poliedri di Keplero-Poinsot e 53 poliedri stellati uniformi (5 quasiregolari e 48 semiregolari) più un singolo rappresentante per ognuna della cinque classi infinite di prismi e antiprismi. Come descritto da Har’El, l'unico di questi 80 a non poter essere realizzato con la costruzione di Wythoff, e che per questo è considerato un poliedro uniforme non-wythoffiano è il grande dirombicosidodecaedro.^[4]

Il processo in generale si applica anche ai politopi regolari di dimensioni superiori, compresi i policori (o 4-politopi) uniformi.

Costruzioni non-wythoffiane

I politopi uniformi che non possono essere creati attraverso la costruzione di Wythoff sono chiamati non-wythoffiani. Generalmente essi possono essere ricavati o dal parziale troncamento di politopi wythoffiani, ossia attraverso l'eliminazione di vertici alternati, o attraverso l'inserimento di strati alternati di figure parziali. Talvolta le forme camuse sono considerate wythoffiane anche se esse possono essere costruite solamente attraverso il parziale troncamento di forme omnitroncate.

Esempi

L'antiprisma esagonale è costruito da un parziale troncamento di un prisma dodecagonale.

La tassellatura triangolare elongata è realizzata alternando righe di tassellatura quadrata e di tassellatura triangolare.

Il grande dirombicosidodecaedro è l'unico poliedro unoforme non-wythoffiano.

Note

^ Willem Abraham Wythoff, A relation between the polytopes of the C600-family, in Proceedings of the Section of Sciences, vol. 20, Koninklijke Akademie van Wetenschappen te Amsterdam, 1918, pp. 966-70. URL consultato il 6 giugno 2021.
^ Greg Egan, Wythoff - Mathematical Details, su gregegan.net, Greg Egan. URL consultato il 6 giugno 2021.
^ Harold Scott MacDonald Coxeter, Wythoff's Construction for Uniform Polytopes, in Proceedings of the London Mathematical SocieTY, s2-38, n. 1, 1935, pp. 327-39. URL consultato il 6 giugno 2021.
^ Zvi Har’El, Uniform Solution for Uniform Polyhedra, Israel Institute of Technology, 1993, p. 19. URL consultato il 6 giugno 2021 (archiviato dall'url originale l'8 giugno 2021).