Les cinq solides platoniciens sont le tétraèdre (4 faces triangulaires équilatérales, V=4, E=6, F=4), le cube ou hexaèdre (6 faces carrées, V=8, E=12, F=6), l'octaèdre (8 faces triangulaires équilatérales, V=6, E=12, F=8), le dodécaèdre (12 faces pentagonales régulières, V=20, E=30, F=12) et l'icosaèdre (20 faces triangulaires équilatérales, V=12, E=30, F=20). Chaque solide possède des faces polygonales régulières identiques et la même configuration de sommets partout. Platon les associait respectivement au feu, à la terre, à l'air, à l'éther/cosmos et à l'eau.
La formule d'Euler V − E + F = 2 relie le nombre de sommets (V), d'arêtes (E) et de faces (F) de tout polyèdre convexe. Pour un cube : V=8, E=12, F=6, donc 8−12+6=2. Pour un icosaèdre : V=12, E=30, F=20, donc 12−30+20=2. La formule a été prouvée pour la première fois par Leonhard Euler en 1758 et découle du fait que tout polyèdre convexe est topologiquement équivalent à une sphère, dont la caractéristique d'Euler vaut 2.
Il existe exactement 13 solides archimédiens. Ce sont des polyèdres convexes avec deux types ou plus de faces polygonales régulières et chaque sommet entouré de manière identique (transitif par sommet). Les 13 sont : le tétraèdre tronqué, le cuboctaèdre, le cube tronqué, l'octaèdre tronqué, le rhombicuboctaèdre, le cuboctaèdre tronqué, le cube adouci, l'icosidodécaèdre, le dodécaèdre tronqué, l'icosaèdre tronqué (forme de ballon de football), le rhombicosidodécaèdre, l'icosidodécaèdre tronqué et le dodécaèdre adouci. Les 13 satisfont la formule d'Euler.
Les solides platoniciens n'ont qu'un seul type de face polygonale régulière (par exemple, tous des triangles équilatéraux ou tous des carrés). Les solides archimédiens ont deux types ou plus de faces polygonales régulières (par exemple, des carrés et des triangles) mais chaque sommet est tout de même entouré de manière identique — ils sont transitifs par sommet. Les deux familles sont convexes et hautement symétriques. Les solides archimédiens peuvent souvent être construits à partir de solides platoniciens par troncature (découpe des coins), rectification ou adoucissement.
Tout polyèdre convexe est topologiquement équivalent à une sphère, dont la caractéristique d'Euler χ = 2. Une preuve classique : retirer une face et aplatir le polyèdre sur un plan. Le résultat est un graphe planaire. Puis retirer répétitivement des arêtes qui bordent deux régions (V−E+F inchangé) ou « élaguer » des arêtes terminales (V−E+F inchangé) jusqu'à ce qu'il ne reste qu'un seul sommet (V=1, E=0, F=1, donc 1−0+1=2). Par conséquent, le V−E+F original doit aussi valoir 2.
Le polyèdre dual est formé en plaçant un nouveau sommet au centre de chaque face, puis en reliant les nouveaux sommets qui partagent une arête de face d'origine. Le tétraèdre est auto-dual (son dual est un autre tétraèdre). Le cube et l'octaèdre sont duaux l'un de l'autre — le cube a V=8, F=6 tandis que l'octaèdre a V=6, F=8 ; les décomptes s'échangent. De même, le dodécaèdre (V=20, F=12) et l'icosaèdre (V=12, F=20) sont duaux. Les duaux des solides archimédiens sont les 13 solides de Catalan.
Le ballon de football traditionnel à 32 panneaux suit la forme d'un icosaèdre tronqué : on part d'un icosaèdre et l'on tronque chacun de ses 12 sommets, produisant un pentagone régulier à chaque coupe. Le résultat comporte 12 pentagones et 20 hexagones (F=32), V=60, E=90, et 60−90+32=2. La même géométrie décrit la molécule de carbone buckminsterfullerène C60, surnommée « buckyball » d'après Buckminster Fuller.
Les cinq solides platoniciens appartiennent à trois groupes de symétrie : le tétraèdre possède la symétrie tétraédrique complète T_d (ordre 24) ; le cube et l'octaèdre partagent la symétrie octaédrique complète O_h (ordre 48) ; et le dodécaèdre et l'icosaèdre partagent la symétrie icosaédrique complète I_h (ordre 120). Les solides archimédiens héritent des mêmes trois groupes selon le solide platonicien dont ils dérivent par troncature ou rectification.
Oui — pour les polyèdres qui ne sont pas topologiquement équivalents à une sphère. Un polyèdre en forme de tore (genre g=1) satisfait V − E + F = 0. En général V − E + F = 2 − 2g, où g est le genre (nombre d'anses). La formule échoue aussi pour les surfaces non orientables (comme une bouteille de Klein) et pour les polyèdres auto-intersectants. Les 18 polyèdres étoilés réguliers (solides de Kepler-Poinsot) violent également la formule simple.
Sélectionnez n'importe quel solide dans le menu déroulant et faites-le pivoter par glisser-cliquer (ou glisser tactile sur mobile). Lisez V, E, F sur le panneau de statistiques et confirmez V − E + F = 2. Passez en mode fil de fer pour voir clairement le squelette d'arêtes sans les couleurs des faces. Utilisez l'ombrage plat pour mettre en évidence les faces individuelles. Essayez les cinq solides platoniciens, puis explorez les 13 solides archimédiens — remarquez comment chaque solide archimédien se rapporte à un solide platonicien par troncature, adoucissement ou rectification.