# Polyèdre fractal

Un polyèdre est dit fractal lorsqu'il est constitué d'un ensemble connexe autosimilaire de polyèdres construit itérativement à partir d'un polyèdre initial.

## Construction des polyèdres fractals

Soit un polyèdre $P$ d'ordre n, à n sommets notés $S_{i}$. Le polyèdre fractal associé est construit en appliquant itérativement à ce polyèdre un système de n homothéties $H_{i}$ sur $\scriptstyle {\mathbb {R} ^{3}}$, de rapport unique $R$ telles que:
* le centre de l'homothétie $H_{i}$ est le sommet $S_{i}$.
* le rapport $R$ est le plus grand rapport tel que l'intersection de deux quelconques des polyèdres images soit de volume nul.
Le rapport est donc déterminé pour que l'ensemble soit tout juste connexe, les intersections étant limitées à des points ou des arêtes.
On définit à partir des homothéties $H_{i}$ une nouvelle fonction $H$, elle aussi contractante sur $\scriptstyle {\mathbb {R} ^{3}}$ muni de la distance de Hausdorff, par l'expression $\scriptstyle {H(P)=\bigcup _{i=1}^{n}H_{i}(P)}$. $H(P)$ est un ensemble de n polyèdres similaires à $P$.
Le théorème du point fixe assure l'existence et l'unicité d'un sous-ensemble fixe $F$ de $\scriptstyle {\mathbb {R} ^{3}}$ tel que $H(F)=F$. $F$ est appelé attracteur du système de fonctions itérées H. En pratique, F est obtenu comme la limite $H^{n}(F_{0})$ pour $n\to \infty$ où $F_{0}$ est un compact quelconque, tel que le polyèdre $P$.
Pour chaque polyèdre platonique, à l'exception notable du cube, en itérant à l'infini, l'ensemble résultant est un ensemble fractal. Pour obtenir un ensemble connexe, le rapport d'homothétie nécessaire pour le cube serait 1/2. Mais l'ensemble résultant est le cube lui-même et n'est donc pas fractal.

## Les polyèdres fractals platoniques

On appelle polyèdre fractal platonique un polyèdre fractal issu d'un polyèdre régulier convexe. Le cube ne génère pas d'ensemble fractal selon les règles mentionnées ci-dessus.
| | Tétraèdre fractal | Octaèdre fractal | Dodécaèdre fractal | Icosaèdre fractal |
| Nombre d'homothéties | 4 | 6 | 20 | 12 |
| Rapport d'homothétie | $\textstyle {{\frac {1}{2}}=0,5}$ | $\textstyle {{\frac {1}{2}}=0,5}$ | $\textstyle {{\frac {1}{2+\varphi }}\approx 0,2763}$ | $\textstyle {{\frac {1}{1+\varphi }}\approx 0,3819}$ |
| Dimension fractale | $\textstyle {{\frac {\ln(4)}{\ln(2)}}=2}$ | $\textstyle {{\frac {\ln(6)}{\ln(2)}}\approx 2,5849}$ | $\textstyle {{\frac {\ln(20)}{\ln(2+\varphi )}}\approx 2,3296}$ | $\textstyle {{\frac {\ln(12)}{\ln(1+\varphi )}}\approx 2,5819}$ |

### Tétraèdre fractal ou tétraèdre de Sierpinski

Le tétraèdre fractal est l'extension naturelle à la 3e dimension du triangle de Sierpinski. Il a la particularité d'avoir pour dimension 2. En conséquence, sa surface ne varie pas d'une itération à l'autre. A l'infini, sa surface est identique à celle du tétraèdre d'origine.
| | Volume | Surface |
| A l'itération n | ${\frac {\sqrt {2}}{3*2^{n+2}}}a^{3}$ | ${\sqrt {3}}a^{2}$ |
| % variation entre deux itérations | $-50\%$ | $0\%$ |
| A l'infini | $Nul$ | ${\sqrt {3}}a^{2}$ |
avec $a$ = longueur de l'arête du polyèdre d'origine.

### Octaèdre fractal

L'octaèdre fractal est le polyèdre fractal dont le volume diminue le plus lentement d'une itération à l'autre.
L'intersection de deux polyèdres images voisins est une arête et non un sommet.
Chaque face est un triangle de Sierpinski.
À la limite, sa surface infinie enveloppe un volume nul.
| | Volume | Surface |
| A l'itération n | ${\frac {3^{n-1}{\sqrt {2}}}{2^{2n}}}a^{3}$ | ${\frac {{3^{n}}{\sqrt {3}}}{2^{n-1}}}a^{2}$ |
| % variation entre deux itérations | $-25\%$ | $+50\%$ |
| A l'infini | $Nul$ | $\infty$ |
avec $a$ = longueur de l'arête du polyèdre d'origine.

### Dodécaèdre fractal

Le dodécaèdre fractal est le polyèdre fractal platonique dont le volume diminue le plus vite d'une itération à l'autre.
À la limite, sa surface infinie enveloppe un volume nul.
| | Volume | Surface |
| A l'itération n | ${\frac {20^{n}(2+7\varphi /2)}{(2+\varphi )^{3n}}}a^{3}$ | ${\frac {3*20^{n}{\sqrt {5(3+4\varphi )}}}{(2+\varphi )^{2n}}}a^{2}$ |
| % variation entre deux itérations | $-57,7\%$ | $+53,8\%$ |
| A l'infini | $Nul$ | $\infty$ |
avec $a$ = longueur de l'arête du polyèdre d'origine et $\scriptstyle {\varphi =(1+{\sqrt {5}})/2}$, le nombre d'or.

### Icosaèdre fractal

L'icosaèdre fractal est le polyèdre fractal platonique dont la surface augmente le plus vite d'une itération à l'autre.
À la limite, sa surface infinie enveloppe un volume nul.
| | Volume | Surface |
| A l'itération n | ${\frac {5*12^{n}}{6(1+\varphi )^{3n-1}}}a^{3}$ | ${\frac {5*12^{n}{\sqrt {3}}}{(1+\varphi )^{2n}}}a^{2}$ |
| % variation entre deux itérations | $-33,1\%$ | $+75,1\%$ |
| A l'infini | $Nul$ | $\infty$ |
avec $a$ = longueur de l'arête du polyèdre d'origine et $\scriptstyle {\varphi =(1+{\sqrt {5}})/2}$, le nombre d'or.

## Généralisation

On peut généraliser la construction et ignorer la propriété de connexité en s'autorisant un rapport strictement inférieur à la valeur critique.
Dans ce cas, l'ensemble résultat n'est plus connexe et on ne peut plus parler de polyèdre.
Par exemple, le cube auquel on applique un rapport d'homothétie $R=1/3$ conduit à un ensemble disjoint qui, lui, est fractal et a pour dimension $ln(8)/ln(3)=1,8928$. Il est baptisé Cube de Cantor.