Les solides de Platon Grand Oral · mathématiques, physique-chimie, HLP, SVT, HGGSP Un support de connaissances pour construire sa propre question

← Tous les textes du Grand Oral

MathsPCHLPSVTHGGSP

Un polyèdre régulier convexe a toutes ses faces identiques, des polygones réguliers, et le même nombre de faces autour de chaque sommet. Il n'en existe que cinq : le tétraèdre, le cube, l'octaèdre, le dodécaèdre et l'icosaèdre. Platon en a fait les briques de l'univers, Kepler a cru y lire le plan du système solaire, et on les retrouve aujourd'hui dans les molécules, les cristaux et les virus. Pour la spécialité mathématiques, ils sont un terrain d'exercice idéal pour la géométrie dans l'espace : on peut calculer les coordonnées de leurs sommets, et le nombre d'or y apparaît. Ce texte rassemble ces connaissances ; à chacun d'y choisir une direction et d'y construire sa question.

Sommaire
  1. Cinq solides, et pas un de plus
  2. Compter : la relation d'Euler et la dualité
  3. Les coordonnées des sommets
  4. Platon : les éléments sont des solides
  5. Kepler : du plan divin du système solaire à ses trois lois
  6. L'esprit scientifique
  7. Dans la matière et dans le vivant
  8. Des directions pour construire sa question
Cinq solides, et pas un de plus

Le tétraèdre a $4$ faces triangulaires, le cube $6$ faces carrées, l'octaèdre $8$ faces triangulaires, le dodécaèdre $12$ faces pentagonales et l'icosaèdre $20$ faces triangulaires. Les noms viennent du grec hedra, « siège, face », et du nombre de faces. La figure permet de les faire tourner.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, cssStyle: 'background:#fff;padding:0 3px;border-radius:3px'}; var ph = (1 + Math.sqrt(5))/2, iph = 1/ph, k, i, j; var noms = ['tétraèdre', 'cube', 'octaèdre', 'dodécaèdre', 'icosaèdre']; var couleurs = ['#e53935', '#8d6e63', '#64b5f6', '#7e57c2', '#1e88e5']; function signes(v) { var r = [[]]; v.forEach(function (c) { var n = []; r.forEach(function (p) { if (c === 0) { n.push(p.concat([0])); } else { n.push(p.concat([c])); n.push(p.concat([-c])); } }); r = n; }); return r; } function cyc(v) { return [v, [v[2], v[0], v[1]], [v[1], v[2], v[0]]]; } var S = []; S[0] = [[1, 1, 1], [1, -1, -1], [-1, 1, -1], [-1, -1, 1]]; S[1] = signes([1, 1, 1]); S[2] = [].concat(signes([1, 0, 0]), signes([0, 1, 0]), signes([0, 0, 1])); S[3] = signes([1, 1, 1]); cyc([0, iph, ph]).forEach(function (c) { S[3] = S[3].concat(signes(c)); }); S[4] = []; cyc([0, 1, ph]).forEach(function (c) { S[4] = S[4].concat(signes(c)); }); function sub(a, b) { return [a[0]-b[0], a[1]-b[1], a[2]-b[2]]; } function dot(a, b) { return a[0]*b[0] + a[1]*b[1] + a[2]*b[2]; } function cross(a, b) { return [a[1]*b[2]-a[2]*b[1], a[2]*b[0]-a[0]*b[2], a[0]*b[1]-a[1]*b[0]]; } function faces(V) { var F = [], vus = {}; for (var a = 0; a < V.length; a++) for (var b = a + 1; b < V.length; b++) for (var c = b + 1; c < V.length; c++) { var n = cross(sub(V[b], V[a]), sub(V[c], V[a])); if (dot(n, n) < 1e-9) { continue; } var d = dot(n, V[a]), pos = 0, neg = 0, on = []; V.forEach(function (v, q) { var s = dot(n, v) - d; if (s > 1e-6) { pos++; } else if (s < -1e-6) { neg++; } else { on.push(q); } }); if (pos && neg) { continue; } if (pos) { n = [-n[0], -n[1], -n[2]]; } var cle = on.join(','); if (vus[cle]) { continue; } vus[cle] = 1; var g = [0, 0, 0]; on.forEach(function (q) { g = [g[0] + V[q][0]/on.length, g[1] + V[q][1]/on.length, g[2] + V[q][2]/on.length]; }); var u = sub(V[on[0]], g), w = cross(n, u); on.sort(function (p, q) { var x = sub(V[p], g), y = sub(V[q], g); return Math.atan2(dot(x, w), dot(x, u)) - Math.atan2(dot(y, w), dot(y, u)); }); F.push({s: on, n: n, g: g}); } return F; } var FA = S.map(faces); for (k = 0; k < 5; k++) { var R = Math.sqrt(dot(S[k][0], S[k][0])); S[k] = S[k].map(function (v) { return [v[0]*1.55/R, v[1]*1.55/R, v[2]*1.55/R]; }); FA[k].forEach(function (f) { f.g = [f.g[0]*1.55/R, f.g[1]*1.55/R, f.g[2]*1.55/R]; }); } var choix = board.create('slider', [[-1.6, -2.2], [1.2, -2.2], [0, 1, 4]], {snapWidth: 1, withLabel: false}); var dual = false, angle = 0.4, actif = false; board.create('button', [-1.85, 1.85, 'dual', function () { dual = !dual; board.update(); }], {fontSize: 11, useKatex: false, useMathJax: false, parse: false}); function rot(v) { var c = Math.cos(angle), s = Math.sin(angle), x = c*v[0] + s*v[2], z = -s*v[0] + c*v[2], y = v[1]; var t = 0.45, ct = Math.cos(t), st = Math.sin(t); return [x, ct*y - st*z, st*y + ct*z]; } var arr = board.create('curve', [[0], [0]], {strokeColor: '#90a4ae', strokeWidth: 1, dash: 2}); var P = []; for (i = 0; i < 20; i++) { P.push(board.create('curve', [[0], [0]], {strokeColor: '#263238', strokeWidth: 1.5, fillColor: '#888', fillOpacity: 0.8})); P[i].updateDataArray = function () {}; } var duo = board.create('curve', [[0], [0]], {strokeColor: '#ff6f00', strokeWidth: 2.2}); duo.updateDataArray = function () {}; arr.updateDataArray = function () { var s = Math.round(choix.Value()), V = S[s].map(rot), F = FA[s], X = [], Y = [], vis = []; F.forEach(function (f) { var n = rot(f.n); f.vis = n[2] > 0; f.nz = n[2]/Math.sqrt(dot(n, n)); }); F.forEach(function (f) { if (!f.vis) { for (var q = 0; q < f.s.length; q++) { var a = V[f.s[q]], b = V[f.s[(q + 1) % f.s.length]]; X.push(a[0], b[0], NaN); Y.push(a[1], b[1], NaN); } } }); this.dataX = X; this.dataY = Y; var m = 0; F.forEach(function (f) { if (f.vis) { var PX = [], PY = []; f.s.forEach(function (q) { PX.push(V[q][0]); PY.push(V[q][1]); }); PX.push(PX[0]); PY.push(PY[0]); P[m].dataX = PX; P[m].dataY = PY; P[m].setAttribute({fillColor: couleurs[s], fillOpacity: 0.35 + 0.5*f.nz}); m++; } }); for (; m < 20; m++) { P[m].dataX = []; P[m].dataY = []; } var DX = [], DY = []; if (dual) { for (i = 0; i < F.length; i++) for (j = i + 1; j < F.length; j++) { var com = F[i].s.filter(function (q) { return F[j].s.indexOf(q) >= 0; }); if (com.length === 2) { var a = rot(F[i].g), b = rot(F[j].g); DX.push(a[0], b[0], NaN); DY.push(a[1], b[1], NaN); } } } duo.dataX = DX; duo.dataY = DY; }; board.create('text', [-1.85, -1.82, function () { var s = Math.round(choix.Value()); return noms[s] + ' : ' + S[s].length + ' sommets, ' + FA[s].length + ' faces'; }], Object.assign({}, opt, {fontSize: 11})); if ('IntersectionObserver' in window) { new IntersectionObserver(function (e) { actif = e[0].isIntersecting; }, {threshold: 0.2}).observe(board.containerObj); } else { actif = true; } setInterval(function () { if (!actif) { return; } angle += 0.02; board.update(); }, 50); board.update(); Les cinq solides de Platon en rotation ; le curseur passe de l'un à l'autre. Le bouton « dual » relie les centres des faces voisines : on voit apparaître, à l'intérieur, le solide dual (voir la partie 2).

Pourquoi seulement cinq ? La démonstration est l'une des plus anciennes de l'histoire : c'est la dernière proposition des Éléments d'Euclide, vers 300 avant notre ère. Elle tient en une idée. Autour d'un sommet d'un polyèdre convexe, il y a au moins trois faces, et la somme de leurs angles est strictement inférieure à $360^\circ$ : si elle valait exactement $360^\circ$, les faces seraient à plat, et au-delà elles se chevaucheraient. Un polygone régulier à $n$ côtés a des angles de $\dfrac{180^\circ(n-2)}{n}$ : $60^\circ$ pour le triangle, $90^\circ$ pour le carré, $108^\circ$ pour le pentagone, $120^\circ$ pour l'hexagone. On essaie toutes les possibilités.

Il reste exactement cinq cas possibles, et chacun correspond à un solide qui existe bien. La figure ci-dessous montre les faces posées à plat autour d'un sommet : l'espace qui manque, en rouge, est ce qui permet de les replier en un sommet de polyèdre.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, cssStyle: 'background:#fff;padding:0 3px;border-radius:3px'}; var cas = [[3, 3, 'tétraèdre'], [3, 4, 'octaèdre'], [3, 5, 'icosaèdre'], [3, 6, 'à plat : impossible'], [4, 3, 'cube'], [4, 4, 'à plat : impossible'], [5, 3, 'dodécaèdre'], [5, 4, 'trop grand : impossible'], [6, 3, 'à plat : impossible']]; var c = board.create('slider', [[-1.4, -1.45], [0.4, -1.45], [0, 0, 8]], {snapWidth: 1, withLabel: false}); var cour = function () { return cas[Math.round(c.Value())]; }; var polys = board.create('curve', [[0], [0]], {strokeColor: '#1565c0', strokeWidth: 2, fillColor: '#bbdefb', fillOpacity: 0.7}); polys.updateDataArray = function () { var q = cour(), n = q[0], m = q[1], al = Math.PI*(n - 2)/n, L = n < 5 ? 1.1 : 0.75, X = [], Y = []; for (var k = 0; k < m; k++) { var th = k*al + Math.PI/2 - m*al/2, x = 0, y = 0; X.push(0); Y.push(0); for (var e = 0; e < n; e++) { var d = th + e*2*Math.PI/n; x += L*Math.cos(d); y += L*Math.sin(d); X.push(x); Y.push(y); } X.push(NaN); Y.push(NaN); } this.dataX = X; this.dataY = Y; }; var trou = board.create('curve', [[0], [0]], {strokeWidth: 0, fillColor: '#e53935', fillOpacity: 0.55}); trou.updateDataArray = function () { var q = cour(), al = Math.PI*(q[0] - 2)/q[0], tot = q[1]*al, X = [], Y = []; if (tot < 2*Math.PI - 1e-6) { var a0 = Math.PI/2 + tot/2, a1 = Math.PI/2 - tot/2 + 2*Math.PI; X.push(0); Y.push(0); for (var a = a0; a <= a1 + 1e-9; a += 0.03) { X.push(0.7*Math.cos(a)); Y.push(0.7*Math.sin(a)); } X.push(0); Y.push(0); } this.dataX = X; this.dataY = Y; }; board.create('text', [-1.5, 1.6, function () { var q = cour(), a = 180*(q[0] - 2)/q[0]; return q[1] + ' × ' + Math.round(a) + '° = ' + Math.round(q[1]*a) + '° : ' + q[2]; }], opt); Les faces autour d'un sommet, mises à plat. Le curseur passe en revue tous les cas : tant que la somme des angles est inférieure à $360^\circ$, il reste un espace (en rouge) et l'on peut replier les faces.

Cet espace qui manque s'appelle le défaut du sommet : $360^\circ$ moins la somme des angles. Vers 1630, René Descartes remarque que la somme des défauts de tous les sommets d'un polyèdre convexe vaut toujours $720^\circ$. On le vérifie sur le cube : $8$ sommets de défaut $90^\circ$, soit $720^\circ$ ; sur l'icosaèdre : $12$ sommets de défaut $60^\circ$, soit encore $720^\circ$.

Les patrons. On peut fabriquer chaque solide en découpant et en pliant un patron. La figure en donne un pour chacun.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, cssStyle: 'background:#fff;padding:0 3px;border-radius:3px'}; var noms = ['tétraèdre', 'cube', 'octaèdre', 'dodécaèdre', 'icosaèdre']; var couleurs = ['#ef9a9a', '#bcaaa4', '#bbdefb', '#d1c4e9', '#90caf9']; var ch = board.create('slider', [[0.2, -1.6], [2.6, -1.6], [0, 4, 4]], {snapWidth: 1, withLabel: false}); board.create('text', [2.9, -1.6, function () { return noms[Math.round(ch.Value())]; }], opt); var h = Math.sqrt(3)/2; function tri(x, y, haut) { return haut ? [[x, y], [x + 1, y], [x + 0.5, y + h]] : [[x, y + h], [x + 1, y + h], [x + 0.5, y]]; } function bande(n, x0, y0) { var T = []; for (var k = 0; k < n; k++) { T.push(tri(x0 + k/2, y0, k % 2 === 0)); } return T; } function patron(s) { var T = [], k; if (s === 0) { var a = 1.6; T = [[[1.6, 0.6], [1.6 + a, 0.6], [1.6 + a/2, 0.6 + a*h]], [[1.6 + a, 0.6], [1.6 + 2*a, 0.6], [1.6 + 1.5*a, 0.6 + a*h]], [[1.6 + a/2, 0.6 + a*h], [1.6 + 1.5*a, 0.6 + a*h], [1.6 + a, 0.6 + 2*a*h]], [[1.6 + a/2, 0.6 + a*h], [1.6 + 1.5*a, 0.6 + a*h], [1.6 + a, 0.6]]]; } if (s === 1) { var c = 0.95, x = 2.05, y = -1.2; for (k = 0; k < 4; k++) { T.push([[x, y + k*c], [x + c, y + k*c], [x + c, y + (k + 1)*c], [x, y + (k + 1)*c]]); } T.push([[x - c, y + 2*c], [x, y + 2*c], [x, y + 3*c], [x - c, y + 3*c]]); T.push([[x + c, y + 2*c], [x + 2*c, y + 2*c], [x + 2*c, y + 3*c], [x + c, y + 3*c]]); } if (s === 2) { T = bande(6, 1.2, 0.8); T.push(tri(1.7, 0.8 + h, true)); T.push(tri(3.2, 0.8 - h, false)); } if (s === 4) { T = bande(10, 0.4, 0.9); for (k = 0; k < 5; k++) { T.push(tri(0.9 + k, 0.9 + h, true)); T.push(tri(0.4 + k, 0.9 - h, false)); } } if (s === 3) { T = dodeca(); } return T; } function pent(cx, cy, r, a0) { var P = []; for (var k = 0; k < 5; k++) { var a = a0 + k*2*Math.PI/5; P.push([cx + r*Math.cos(a), cy + r*Math.sin(a)]); } return P; } function refl(P, A, B) { var dx = B[0] - A[0], dy = B[1] - A[1], l2 = dx*dx + dy*dy; return P.map(function (p) { var t = ((p[0] - A[0])*dx + (p[1] - A[1])*dy)/l2, fx = A[0] + t*dx, fy = A[1] + t*dy; return [2*fx - p[0], 2*fy - p[1]]; }); } function fleur(C) { var F = [C]; for (var k = 0; k < 5; k++) { F.push(refl(C, C[k], C[(k + 1) % 5])); } return F; } function dodeca() { var r = 0.42, C = pent(2.1, 1.0, r, Math.PI/2), F1 = fleur(C); var p = F1[4], M = [(p[0][0] + p[1][0])/2, (p[0][1] + p[1][1])/2]; var F2 = F1.map(function (P) { return P.map(function (q) { return [2*M[0] - q[0], 2*M[1] - q[1]]; }); }); return F1.concat(F2); } var net = board.create('curve', [[0], [0]], {strokeColor: '#37474f', strokeWidth: 1.6, fillColor: '#bbdefb', fillOpacity: 0.8}); net.updateDataArray = function () { var s = Math.round(ch.Value()), T = patron(s), X = [], Y = []; T.forEach(function (P) { P.forEach(function (q) { X.push(q[0]); Y.push(q[1]); }); X.push(P[0][0], NaN); Y.push(P[0][1], NaN); }); this.setAttribute({fillColor: couleurs[s]}); this.dataX = X; this.dataY = Y; }; board.update(); Un patron de chacun des cinq solides ; le curseur passe de l'un à l'autre.
Compter : la relation d'Euler et la dualité

Notons $S$ le nombre de sommets, $A$ le nombre d'arêtes et $F$ le nombre de faces.

solidefaces par sommet$S$$A$$F$$S - A + F$
tétraèdre$3$$4$$6$$4$$2$
cube$3$$8$$12$$6$$2$
octaèdre$4$$6$$12$$8$$2$
dodécaèdre$3$$20$$30$$12$$2$
icosaèdre$5$$12$$30$$20$$2$

La dernière colonne vaut toujours $2$ : c'est la relation d'Euler, $S - A + F = 2$, énoncée par Leonhard Euler en 1750 pour tous les polyèdres convexes. Elle fait partie des débuts de la topologie, la branche des mathématiques qui étudie les formes sans tenir compte des longueurs.

Dénombrer sans dessiner. Les nombres du tableau se retrouvent par un raisonnement de dénombrement. Supposons que chaque face ait $n$ côtés et que $p$ faces se rencontrent en chaque sommet. Si l'on compte les côtés de toutes les faces, on obtient $nF$, mais chaque arête a été comptée deux fois, car elle borde deux faces : $nF = 2A$. De même, chaque arête a deux extrémités : $pS = 2A$. En remplaçant $S = \dfrac{2A}{p}$ et $F = \dfrac{2A}{n}$ dans la relation d'Euler et en divisant par $2A$, on obtient

$$\frac{1}{p} + \frac{1}{n} = \frac{1}{2} + \frac{1}{A}.$$

Comme $\dfrac{1}{A} > 0$, il faut $\dfrac{1}{p} + \dfrac{1}{n} > \dfrac{1}{2}$, avec $n \geqslant 3$ et $p \geqslant 3$. On ne trouve que cinq couples : $(3,3)$, $(4,3)$, $(3,4)$, $(5,3)$ et $(3,5)$ : c'est une deuxième démonstration qu'il n'y a que cinq solides. Pour le couple $(n, p) = (5, 3)$, on trouve $\dfrac{1}{A} = \dfrac{1}{3} + \dfrac{1}{5} - \dfrac{1}{2} = \dfrac{1}{30}$, donc $A = 30$, $F = 12$ et $S = 20$ : c'est le dodécaèdre.

La dualité. Plaçons un point au centre de chaque face d'un cube et relions les centres des faces voisines : on obtient un octaèdre. Inversement, les centres des faces d'un octaèdre forment un cube. On dit que le cube et l'octaèdre sont duaux : les sommets de l'un correspondent aux faces de l'autre, et le tableau échange $S$ et $F$. De même, le dodécaèdre et l'icosaèdre sont duaux, et le tétraèdre est son propre dual. Le bouton « dual » de la première figure le montre.

Des dés équitables. Les cinq solides donnent les dés à $4$, $6$, $8$, $12$ et $20$ faces des jeux de rôle. Ils sont équitables parce qu'une rotation du solide peut amener n'importe quelle face à la place de n'importe quelle autre : toutes les faces jouent le même rôle, et la loi du résultat est la loi uniforme. Le nombre de ces rotations est $12$ pour le tétraèdre, $24$ pour le cube et l'octaèdre, $60$ pour le dodécaèdre et l'icosaèdre.

Les coordonnées des sommets

C'est la partie la plus technique, mais aussi la plus proche du programme de spécialité. On se place dans un repère orthonormé de l'espace d'origine $O$, et l'on cherche des coordonnées simples pour les sommets de chaque solide, avec $O$ au centre. L'outil principal est la distance entre deux points $A$ et $B$ : si l'on note $a = x_B - x_A$, $b = y_B - y_A$ et $c = z_B - z_A$ les différences de leurs coordonnées,

$$AB = \sqrt{a^2 + b^2 + c^2}.$$ Le cube

Les $8$ points dont les trois coordonnées valent $1$ ou $-1$, comme $(1\,;1\,;1)$ ou $(1\,;-1\,;1)$, sont les sommets d'un cube d'arête $2$ : deux sommets voisins ne diffèrent que par une coordonnée, et leur distance est $\sqrt{2^2} = 2$. Il y a $2^3 = 8$ sommets, et chaque sommet a $3$ voisins (on change l'une des trois coordonnées), d'où $A = \dfrac{8 \times 3}{2} = 12$. La distance de $O$ à chaque sommet est $\sqrt{3}$ : le cube est inscrit dans la sphère de centre $O$ et de rayon $\sqrt{3}$.

Le tétraèdre, caché dans le cube

Choisissons un sommet du cube sur deux : $A(1\,;1\,;1)$, $B(1\,;-1\,;-1)$, $C(-1\,;1\,;-1)$ et $D(-1\,;-1\,;1)$. Chaque coordonnée change de signe deux fois entre deux de ces points, donc toutes les distances sont égales :

$$AB = \sqrt{0^2 + 2^2 + 2^2} = 2\sqrt{2},$$

et de même pour $AC$, $AD$, $BC$, $BD$ et $CD$. Les quatre faces sont des triangles équilatéraux : c'est un tétraèdre régulier, dont les arêtes sont les diagonales des faces du cube.

L'angle du méthane. Dans la molécule de méthane $\mathrm{CH_4}$, l'atome de carbone est au centre d'un tétraèdre régulier dont les atomes d'hydrogène occupent les sommets. L'angle entre deux liaisons est l'angle $\widehat{AOB}$, que donne le produit scalaire :

$$\cos\widehat{AOB} = \frac{\overrightarrow{OA}\cdot\overrightarrow{OB}}{OA \times OB}.$$

Le produit scalaire se calcule avec les coordonnées, en multipliant terme à terme ($1 \times 1$, $1 \times (-1)$ et $1 \times (-1)$) :

$$\overrightarrow{OA}\cdot\overrightarrow{OB} = 1 - 1 - 1 = -1,$$

et $OA = OB = \sqrt{3}$, donc $\cos\widehat{AOB} = -\dfrac{1}{3}$, d'où $\widehat{AOB} \approx 109{,}5^\circ$, la valeur mesurée par les chimistes.

L'octaèdre

Les $6$ points $(\pm 1\,;0\,;0)$, $(0\,;\pm 1\,;0)$ et $(0\,;0\,;\pm 1)$ sont les sommets d'un octaèdre régulier d'arête $\sqrt{2}$ : deux sommets qui ne sont pas opposés, comme $(1\,;0\,;0)$ et $(0\,;1\,;0)$, sont à la distance $\sqrt{1 + 1} = \sqrt{2}$, et chaque sommet a $4$ voisins. Ces points sont, à un facteur près, les centres des faces du cube : c'est la dualité. Le plan d'équation $x + y + z = 1$ contient la face formée par les trois sommets de coordonnées positives.

L'icosaèdre et le nombre d'or

Pour l'icosaèdre, on cherche les $12$ sommets sous la forme

$$\begin{gathered} (0\,;\pm 1\,;\pm a), \quad (\pm 1\,;\pm a\,;0), \\ (\pm a\,;0\,;\pm 1), \end{gathered}$$

avec un nombre $a > 1$ à déterminer : ce sont les sommets de trois rectangles perpendiculaires deux à deux, de côtés $2$ et $2a$. Les points $(0\,;1\,;a)$ et $(0\,;-1\,;a)$ sont à la distance $2$. Pour que toutes les arêtes aient la même longueur, il faut que $(0\,;1\,;a)$ et $(1\,;a\,;0)$ soient aussi à la distance $2$ :

$$1^2 + (a-1)^2 + a^2 = 4.$$

En développant, on obtient $2a^2 - 2a - 2 = 0$, c'est-à-dire

$$a^2 - a - 1 = 0.$$

Cette équation du second degré a pour discriminant $\Delta = 5$, et sa racine positive est

$$a = \frac{1 + \sqrt{5}}{2} = \varphi \approx 1{,}618,$$

le nombre d'or. Il vérifie $\varphi^2 = \varphi + 1$, ce qui simplifie tous les calculs. On vérifie de la même façon que chaque sommet a exactement $5$ voisins à la distance $2$, et que les $20$ faces sont des triangles équilatéraux. Les trois rectangles de côtés $2$ et $2\varphi$ sont des rectangles d'or : le rapport de leurs côtés est le nombre d'or.

Le dodécaèdre

Les $20$ sommets du dodécaèdre sont les $8$ sommets du cube $(\pm 1\,;\pm 1\,;\pm 1)$, auxquels on ajoute les $12$ points

$$\begin{gathered} \left(0\,;\pm\tfrac{1}{\varphi}\,;\pm\varphi\right), \quad \left(\pm\tfrac{1}{\varphi}\,;\pm\varphi\,;0\right), \\ \left(\pm\varphi\,;0\,;\pm\tfrac{1}{\varphi}\right). \end{gathered}$$

Un cube est donc caché dans le dodécaèdre : ses arêtes sont des diagonales des faces pentagonales. Vérifions deux arêtes. Les points $\left(0\,;\frac{1}{\varphi}\,;\varphi\right)$ et $\left(0\,;-\frac{1}{\varphi}\,;\varphi\right)$ sont à la distance $\dfrac{2}{\varphi}$. Pour le point $(1\,;1\,;1)$ et le point $\left(0\,;\frac{1}{\varphi}\,;\varphi\right)$, on utilise $\dfrac{1}{\varphi} = \varphi - 1$, qui découle de $\varphi^2 = \varphi + 1$ :

$d^2$ & $=$ & $1 + \left(1 - \dfrac{1}{\varphi}\right)^2 + (\varphi - 1)^2$ & & $=$ & $1 + (2 - \varphi)^2 + (\varphi - 1)^2$ & & $=$ & $1 + (5 - 3\varphi) + (2 - \varphi)$ & & $=$ & $8 - 4\varphi$ &

en développant et en remplaçant $\varphi^2$ par $\varphi + 1$. D'autre part,

$$\begin{aligned} \left(\frac{2}{\varphi}\right)^2 &= 4(\varphi - 1)^2 \\ &= 4(2 - \varphi) = 8 - 4\varphi. \end{aligned}$$

Les deux arêtes ont bien la même longueur, $\dfrac{2}{\varphi} \approx 1{,}236$.

Ces calculs sont longs, mais ils n'utilisent que la distance dans un repère orthonormé, le second degré et l'identité $\varphi^2 = \varphi + 1$. Le programme Python ci-dessous les fait tous d'un coup : il calcule toutes les distances entre sommets et compte les arêtes.

from math import sqrt phi = (1 + sqrt(5)) / 2 def signes(v): points = [[]] for c in v: nouveaux = [] for p in points: nouveaux.append(p + [c]) if c != 0: nouveaux.append(p + [-c]) points = nouveaux return points def cycles(v): return [v, [v[2], v[0], v[1]], [v[1], v[2], v[0]]] def aretes(sommets): d = [] for i in range(len(sommets)): for j in range(i + 1, len(sommets)): d.append(round(sqrt(sum((sommets[i][k] - sommets[j][k])**2 for k in range(3))), 6)) m = min(d) return m, d.count(m) icosaedre = [] for c in cycles([0, 1, phi]): icosaedre += signes(c) dodecaedre = signes([1, 1, 1]) for c in cycles([0, 1 / phi, phi]): dodecaedre += signes(c) for nom, s in [("icosaèdre", icosaedre), ("dodécaèdre", dodecaedre)]: longueur, nombre = aretes(s) print(nom, ":", len(s), "sommets,", nombre, "arêtes de longueur", longueur)
Les sphères inscrite et circonscrite

Chaque solide a une sphère circonscrite, qui passe par tous ses sommets, et une sphère inscrite, tangente à toutes ses faces. Pour le cube, la sphère circonscrite a pour rayon $R = \sqrt{3}$, et la sphère inscrite touche la face d'équation $x = 1$ : son rayon est $r = 1$. Pour l'octaèdre, $R = 1$, et le rayon inscrit est la distance de $O$ au plan $x + y + z = 1$, c'est-à-dire la distance de $O$ à son projeté orthogonal $H\left(\frac{1}{3}\,;\frac{1}{3}\,;\frac{1}{3}\right)$, soit $r = \dfrac{1}{\sqrt{3}}$. Le rapport $\dfrac{r}{R}$ vaut donc $\dfrac{1}{\sqrt{3}} \approx 0{,}577$ pour les deux. Pour le tétraèdre, il vaut $\dfrac{1}{3}$ ; pour le dodécaèdre et l'icosaèdre, environ $0{,}795$. Ces rapports sont au cœur du modèle de Kepler.

Platon : les éléments sont des solides

Vers 360 avant notre ère, dans le dialogue intitulé le Timée, Platon fait raconter par le personnage de Timée la formation du monde. Il reprend les quatre éléments d'Empédocle, la terre, l'eau, l'air et le feu, et leur attribue une forme :

Le cinquième solide, le dodécaèdre, est réservé à l'ensemble de l'univers : le dieu s'en serait servi, écrit Platon, « pour le Tout ». Aristote ajoutera plus tard un cinquième élément, l'éther, dont seraient faits les astres ; c'est la « quintessence » des alchimistes du Moyen Âge.

Des éléments qui se transforment. Platon va plus loin : il décompose les faces en triangles. Un triangle équilatéral se découpe en $6$ demi-triangles équilatéraux (d'angles $30^\circ$, $60^\circ$, $90^\circ$), un carré en $4$ triangles rectangles isocèles. Le feu, l'air et l'eau, dont les faces sont des triangles équilatéraux, sont faits des mêmes briques : ils peuvent donc se transformer les uns en les autres, en se brisant et en se recombinant. La terre, faite de carrés, ne le peut pas. Platon donne des exemples qui sont de vrais calculs : un corpuscule d'eau ($20$ faces triangulaires) peut se briser en un corpuscule de feu ($4$ faces) et deux d'air ($2 \times 8 = 16$ faces), puisque $4 + 16 = 20$ ; deux corpuscules de feu ($8$ faces) peuvent former un corpuscule d'air.

C'est une véritable chimie mathématique, plus de deux mille ans avant la chimie moderne : la matière est faite de particules invisibles, de formes définies, qui se décomposent et se recombinent en conservant leurs briques élémentaires. L'idée de conservation est juste ; le reste est imaginaire, et aucune expérience ne vient le soutenir.

Kepler : du plan divin du système solaire à ses trois lois

Le Mystère cosmographique (1596). En 1595, Johannes Kepler, jeune professeur de mathématiques à Graz, partisan du système de Copernic, se demande pourquoi il y a six planètes (Mercure, Vénus, la Terre, Mars, Jupiter et Saturne, les seules connues alors) et pourquoi elles sont à ces distances du Soleil. Il croit trouver la réponse dans les cinq solides : entre six sphères, il y a cinq intervalles, un par solide. Il emboîte les sphères des orbites et les solides, chacun inscrit dans une sphère et circonscrit à la suivante : la sphère de Saturne contient un cube, qui contient la sphère de Jupiter, qui contient un tétraèdre, puis la sphère de Mars, un dodécaèdre, la sphère de la Terre, un icosaèdre, la sphère de Vénus, un octaèdre et enfin la sphère de Mercure. Il publie cette idée en 1596 dans le Mysterium cosmographicum : Dieu aurait construit le monde selon ces formes parfaites.

Gravure du modèle de Kepler : des sphères emboîtées séparées par un cube, un tétraèdre et d'autres solides réguliers, posées sur un socle. Le modèle du système solaire de Kepler, gravure du Mysterium cosmographicum (1596). Wikimedia Commons, domaine public.

Le modèle à l'épreuve des nombres. Si une sphère est circonscrite à un solide et la suivante inscrite dans ce même solide, le rapport de leurs rayons est le rapport $\dfrac{r}{R}$ calculé plus haut. On peut le comparer au rapport des distances moyennes des planètes au Soleil, mesurées aujourd'hui (en unités astronomiques : Mercure $0{,}387$, Vénus $0{,}723$, Terre $1$, Mars $1{,}524$, Jupiter $5{,}203$, Saturne $9{,}537$).

planètessoliderapport $\frac{r}{R}$rapport réel
Jupiter / Saturnecube$0{,}577$$0{,}546$
Mars / Jupitertétraèdre$0{,}333$$0{,}293$
Terre / Marsdodécaèdre$0{,}795$$0{,}656$
Vénus / Terreicosaèdre$0{,}795$$0{,}723$
Mercure / Vénusoctaèdre$0{,}577$$0{,}535$

L'accord est frappant pour une idée aussi audacieuse, mais il n'est pas exact : l'écart atteint $20\,\%$ entre la Terre et Mars. Kepler attribue ces différences à l'épaisseur des sphères (les orbites ne sont pas des cercles parfaits) et à l'imprécision des observations de son temps. Il a besoin de meilleures données, et elles existent : celles de l'astronome danois Tycho Brahe, le plus précis observateur de l'époque, qui mesure les positions des planètes à une ou deux minutes d'angle près.

Les huit minutes. En 1600, Kepler rejoint Tycho Brahe à Prague ; Tycho meurt l'année suivante, et Kepler hérite de ses observations. Il s'attaque à l'orbite de Mars. Après des années de calculs, il obtient un modèle à base de cercles qui reproduit les observations à huit minutes d'angle près (environ un quart du diamètre apparent de la Lune). Un astronome d'avant aurait jugé l'accord excellent. Kepler, lui, sait que Tycho ne se trompe pas de huit minutes : il abandonne son modèle. Il écrit dans l'Astronomia nova que ces huit minutes, à elles seules, ont ouvert la voie à la réforme de toute l'astronomie.

Les trois lois de Kepler. Il finit par trouver ce que personne n'avait imaginé :

  1. les planètes décrivent des ellipses dont le Soleil occupe un foyer (1609) ;
  2. le segment qui joint le Soleil à une planète balaie des aires égales en des durées égales : la planète va plus vite près du Soleil (1609) ;
  3. le carré de la période de révolution $T$ est proportionnel au cube du demi-grand axe $a$ de l'orbite : $\dfrac{T^2}{a^3}$ est le même pour toutes les planètes (1619).

La troisième loi se vérifie avec une précision remarquable. Avec $T$ en années et $a$ en unités astronomiques :

planète$a$$T$$\frac{T^2}{a^3}$
Mercure$0{,}387$$0{,}241$$1{,}00$
Vénus$0{,}723$$0{,}615$$1{,}00$
Terre$1$$1$$1$
Mars$1{,}524$$1{,}881$$1{,}00$
Jupiter$5{,}203$$11{,}86$$1{,}00$
Saturne$9{,}537$$29{,}46$$1{,}00$

En 1687, Isaac Newton montre que ces trois lois découlent de sa loi de la gravitation universelle : c'est le programme de physique de terminale sur le mouvement des planètes et des satellites. Le modèle des solides, lui, ne survit pas : en 1781, William Herschel découvre Uranus, une septième planète, et il n'y a pas de sixième solide régulier pour la loger. Kepler, pourtant, n'a jamais renoncé à son idée de jeunesse : il réédite le Mysterium en 1621, en y ajoutant des notes.

L'esprit scientifique

Platon et le jeune Kepler procèdent de la même façon : ils partent d'une idée de perfection, la beauté des cinq solides, et affirment que le monde est construit ainsi parce qu'il doit l'être. C'est une conjecture, au sens le plus fort : « je pense que l'univers est ainsi ». Elle est cohérente, élégante, et même mathématiquement juste (il y a bien cinq solides), mais rien ne la confronte au réel. Pendant des siècles, une grande partie de la connaissance de la nature s'est construite de cette manière : à partir de principes jugés évidents, d'autorités respectées (Aristote, Ptolémée) et de raisonnements, plus que de mesures.

Il faut nuancer : les Anciens observaient et mesuraient aussi. Ératosthène a mesuré la circonférence de la Terre vers 240 avant notre ère, Hipparque et Ptolémée ont dressé des catalogues d'étoiles précis, Archimède a énoncé des lois de la flottaison. Mais l'observation venait le plus souvent confirmer un système, rarement le renverser.

Ce qui change aux XVIe et XVIIe siècles, avec Galilée, Kepler et Newton, c'est que la mesure devient juge. Une hypothèse, si belle soit-elle, doit faire des prédictions chiffrées ; si les mesures les contredisent, au-delà de leur précision, on l'abandonne. L'histoire des huit minutes de Kepler en est l'exemple parfait : un écart minuscule, mais plus grand que l'incertitude des mesures de Tycho, suffit à rejeter un modèle. C'est aussi la notion d'incertitude de mesure du programme de physique-chimie : pour décider si un écart compte, il faut savoir quelle est la précision de la mesure.

Les philosophes ont décrit ce changement. En 1623, Galilée écrit que le livre de la nature est écrit en langue mathématique ; il faut le lire, et non l'inventer. En 1934, Karl Popper propose de distinguer une théorie scientifique par sa réfutabilité : elle doit pouvoir être contredite par une expérience. En 1938, dans La Formation de l'esprit scientifique, Gaston Bachelard décrit les « obstacles épistémologiques » qui empêchent de penser juste : l'attachement à une image séduisante, à l'harmonie, à une première intuition. Le modèle des solides de Kepler en est un bel exemple, et la manière dont Kepler l'a dépassé, sans jamais cesser de l'aimer, montre comment se forme l'esprit scientifique.

Enfin, l'idée de Platon n'était pas entièrement fausse dans son principe : la matière est bien faite de briques élémentaires, et les formes géométriques y jouent un rôle. Mais ce sont l'expérience et la mesure, et non la contemplation des solides, qui ont permis de le découvrir, comme le montre la dernière partie.

Dans la matière et dans le vivant

Des molécules. La géométrie des molécules s'explique par la répulsion entre les doublets d'électrons autour d'un atome central : ils s'écartent le plus possible les uns des autres. Avec quatre doublets, ils pointent vers les sommets d'un tétraèdre (méthane, ammoniac, eau, avec des angles proches de $109{,}5^\circ$) ; avec six, vers les sommets d'un octaèdre, comme dans l'hexafluorure de soufre $\mathrm{SF_6}$. Les chimistes ont même synthétisé des molécules en forme de solides de Platon : le cubane $\mathrm{C_8H_8}$ en 1964, avec ses huit atomes de carbone aux sommets d'un cube, et le dodécaédrane $\mathrm{C_{20}H_{20}}$ en 1982. Le bore forme des assemblages de douze atomes aux sommets d'un icosaèdre. Le fullerène $\mathrm{C_{60}}$, découvert en 1985 (prix Nobel de chimie 1996), a la forme d'un icosaèdre dont on a coupé les sommets : c'est la forme d'un ballon de football.

Des cristaux. Dans un cristal, les atomes sont rangés selon un motif qui se répète régulièrement dans les trois directions. Le sel de cuisine cristallise en cubes, la pyrite (l'« or des fous ») aussi, et certains minéraux en octaèdres. Mais un cristal ordinaire ne peut jamais avoir de symétrie d'ordre $5$ : on ne peut pas paver le plan avec des pentagones réguliers, et pour la même raison un motif périodique ne peut pas avoir la symétrie du dodécaèdre ou de l'icosaèdre. C'est un théorème de cristallographie.

Un cristal de pyrite parfaitement cubique, doré, pris dans une roche claire. Un cristal cubique de pyrite (Navajún, Espagne). Photo : James St. John, Wikimedia Commons, licence CC BY 2.0.

Pourtant, en 1982, le chimiste israélien Dan Shechtman observe un alliage dont les rayons X révèlent une symétrie icosaédrique, « impossible ». Pendant des années, beaucoup de ses collègues refusent de le croire ; le grand chimiste Linus Pauling s'y oppose jusqu'à sa mort. Mais les expériences se répètent : Shechtman a découvert les quasicristaux, ordonnés mais non périodiques. Il reçoit le prix Nobel de chimie en 2011. C'est un autre bel exemple d'esprit scientifique : l'expérience a eu raison contre l'autorité et contre un théorème qu'on croyait universel, parce que ce théorème supposait la périodicité.

Un petit quasicristal métallique en forme de dodécaèdre régulier, posé sur du papier millimétré. Un quasicristal d'alliage holmium-magnésium-zinc en forme de dodécaèdre régulier, une forme impossible pour un cristal ordinaire. Photo : Ames Laboratory, US Department of Energy, Wikimedia Commons, domaine public.

Des virus. L'enveloppe protéique de nombreux virus, la capside, a la forme d'un icosaèdre : c'est le cas des adénovirus, du virus de l'herpès ou du poliovirus. En 1962, Donald Caspar et Aaron Klug en ont donné la raison. Le matériel génétique d'un virus est très petit : il ne peut coder que quelques protéines différentes. La capside est donc construite avec de nombreuses copies d'une même protéine, qui s'assemblent toutes seules de la même façon. Or une coque fermée faite de briques identiques, toutes placées exactement de la même façon, compte au plus $60$ briques, autant que de rotations de l'icosaèdre : c'est la symétrie icosaédrique qui permet la plus grande coque. Pour les virus plus gros, Caspar et Klug ont montré que des briques placées de façon presque identique permettent des capsides de $60$, $180$, $240$… protéines, toujours de symétrie icosaédrique. Ils ont ainsi relié la biologie à la géométrie des symétries.

Des radiolaires. Les radiolaires sont des êtres vivants unicellulaires du plancton marin, qui fabriquent un squelette de silice d'une extraordinaire régularité. Le biologiste allemand Ernst Haeckel en a dessiné des centaines à la fin du XIXe siècle, à partir des échantillons rapportés par l'expédition océanographique du Challenger ; certains ont la forme d'un icosaèdre ou d'un octaèdre presque parfaits. L'une de ces espèces porte le nom de Circogonia icosahedra.

Planche de dessins de radiolaires par Haeckel : squelettes géométriques hérissés d'épines, dont certains icosaédriques et octaédriques. Planche de radiolaires d'Ernst Haeckel (1887) ; la figure 1 est Circogonia icosahedra. Wikimedia Commons, domaine public.

Un mystère archéologique. On a retrouvé plus d'une centaine de dodécaèdres romains, de petits objets creux en bronze, percés de trous et ornés de boules à chaque sommet, datant des IIe-IVe siècles et découverts surtout en Gaule et en Germanie. Personne ne sait à quoi ils servaient : instrument de mesure, objet religieux, outil pour tricoter des gants ? Aucun texte ancien ne les mentionne. Pour l'historien, c'est un rappel de prudence : une hypothèse séduisante n'est pas une preuve.

Un petit dodécaèdre romain en bronze, ajouré, avec une boule à chaque sommet, dans une vitrine de musée. Un dodécaèdre gallo-romain au musée de Tongres (Belgique). Photo : Carole Raddato, Wikimedia Commons, licence CC BY-SA 2.0.
Des directions pour construire sa question

Ce texte n'est pas un Grand Oral. Il rassemble des connaissances dans lesquelles chacun peut choisir une direction, la creuser et formuler sa propre question. Quelques directions possibles :

Pour l'échange avec le jury : les notions du cours à maîtriser

Le jury peut interroger sur les chapitres de spécialité mobilisés. Avec ce thème, il est utile de connaître parfaitement : la géométrie dans l'espace (repère orthonormé, coordonnées, distance entre deux points, vecteurs, produit scalaire et orthogonalité, équations cartésiennes de plans, projeté orthogonal) ; les équations du second degré et le discriminant ; le dénombrement ; la loi uniforme.

Pour réviser ces chapitres, l'application Maths FlashBac reprend tout le cours de spécialité en cartes.

Pour aller plus loin