🎛️ Triangle sur une sphère : la somme des angles dépasse π
En géométrie euclidienne, somme = 180°. Sur une sphère de rayon R, somme = 180° + (Aire / R²) × 180°/π. L'excès angulaire mesure la courbure intégrée. Joue avec la taille du triangle.
Somme des angles
270°
Excès (= aire/R²)
90°
Aire (R² = 1)
π/2
Triangle équilatéral 60°×60°×60° sur une sphère : 3 sommets à 90° → somme 270°. Excès 90° = aire de l'octant.
🌍 1827 : Gauss et son « Theorema Egregium »
Carl Friedrich Gauss (1777-1855), dans son article « Disquisitiones generales circa superficies curvas » de 1827, énonce ce qu'il appelle son theorema egregium (« théorème remarquable ») : la courbure de Gauss d'une surface est intrinsèque. C'est-à-dire qu'elle ne dépend que de la métrique sur la surface, pas de la façon dont la surface est plongée dans l'espace 3D.
Conséquence concrète : tu ne peux pas déformer une feuille de papier (K=0) en sphère (K=1/R²) sans la déchirer ou l'étirer. C'est pourquoi aucune carte plane de la Terre n'est exacte — toutes les projections (Mercator, Peters, etc.) introduisent des distorsions.
🧮 La courbure de Gauss en bref
En chaque point d'une surface lisse, on définit la courbure de Gauss K :
- K > 0 : surface bombée localement comme une sphère (sphère : K = 1/R²).
- K = 0 : surface plate ou cylindrique (plan, cylindre, cône — toutes développables sur un plan).
- K < 0 : surface en selle (selle de cheval, surface hyperbolique).
🎯 Le théorème de Gauss-Bonnet (1848)
Gauss démontre la version locale (1827) pour les triangles géodésiques. Pierre Ossian Bonnet (1819-1892), mathématicien français, étend en 1848 le résultat à toute région bordée d'une surface, et puis aux surfaces fermées complètes.
Théorème de Gauss-Bonnet (surface fermée orientable)
∫∫_M K dA = 2π · χ(M)
K = courbure de Gauss, χ = caractéristique d'Euler-Poincaré
Le miracle : à gauche, une intégrale de quantités locales (la courbure en chaque point). À droite, un nombre topologique global (la caractéristique d'Euler). Aucun lien apparent — et pourtant, ils sont exactement égaux.
🔢 La caractéristique d'Euler χ
Pour une surface fermée orientable de genre g (= nombre de trous), χ = 2 − 2g :
- Sphère (g = 0) : χ = 2. Donc ∫∫ K dA = 4π. Pour une sphère de rayon R, K = 1/R² et A = 4πR², donc K·A = 4π. ✓
- Tore (1 trou) (g = 1) : χ = 0. Donc ∫∫ K dA = 0. Le tore standard a des régions K > 0 (l'extérieur) qui compensent exactement les régions K < 0 (l'intérieur).
- Bretzel à 2 trous (g = 2) : χ = −2. Intégrale = −4π. Surface dominée par la courbure négative.
- Bretzel à n trous : χ = 2 − 2n, intégrale = 4π(1 − n).
Pour un polyèdre, χ = V − E + F = sommets − arêtes + faces. Pour un cube : 8 − 12 + 6 = 2. Pour un tétraèdre : 4 − 6 + 4 = 2. Tout polyèdre convexe a χ = 2, comme la sphère qu'il approxime.
📐 Version locale pour les triangles géodésiques
Pour un triangle ΔABC dont les côtés sont des géodésiques sur une surface :
(α + β + γ) − π = ∫∫_Δ K dA
Conséquence :
- Plan (K = 0) : α + β + γ = π = 180°. Pythagore et tout son monde.
- Sphère (K > 0) : α + β + γ > 180°. L'excès angulaire donne directement l'aire du triangle : aire = R² · excès. Utilisé en navigation maritime.
- Selle (K < 0) : α + β + γ < 180°. Défaut angulaire.
🌌 Pourquoi ce théorème est un chef-d'œuvre
Gauss-Bonnet est l'un des plus beaux exemples d'unification en mathématiques :
- Géométrie différentielle (courbure, métrique locale) = topologie (genre, connexité globale).
- Continu (intégrale) = discret (V − E + F = entier).
- Comportement local (en chaque point) = invariant global (sur toute la surface).
🎖️ Extension : le théorème d'Atiyah-Singer (1963)
Sir Michael Atiyah et Isadore Singer généralisent Gauss-Bonnet en dimension quelconque. Leur théorème de l'indice (1963) relie :
- L'indice analytique (dimension de l'espace des solutions d'un opérateur différentiel)
- L'indice topologique (calculé via des invariants caractéristiques — classes de Pontryagin, Chern, ...).
Atiyah obtient la médaille Fields en 1966. Singer reçoit l'Abel en 2004 (avec Atiyah). C'est l'un des 10 résultats centraux des mathématiques du XXᵉ siècle.
🚀 Applications
- Cartographie : impossibilité d'une carte plane sans distorsion. Choix des projections (conforme, équivalente, équidistante).
- Géodésie : mesure précise de la forme de la Terre (légèrement aplatie aux pôles, géoïde).
- Relativité générale : la matière courbe l'espace-temps. Les équations d'Einstein utilisent intensément la géométrie différentielle riemannienne.
- Cosmologie : géométrie globale de l'univers (plat ? courbé positivement ? négativement ?). Le satellite Planck (2013) a mesuré que l'univers est plat à 0.4 % près.
- Modélisation 3D : graphisme, animation, jeux vidéo, films. Tout maillage Pixar / Blender / Maya repose sur la géométrie différentielle discrète.
- Imagerie médicale : analyse de la surface du cerveau, mesure des plis corticaux.
- Architecture : conception de toits, dômes, structures Gaudí, Frei Otto.
- Théorie des cordes : compactification sur des variétés Calabi-Yau, χ-Euler dicte le nombre de générations de particules.
📐 Le lien avec ton programme
- Géométrie sphérique : triangles sphériques, somme > 180°. Programme géométrie 2BAC, naviguer sur la Terre.
- Trigonométrie : sin, cos, théorème des sinus généralisé (cas sphérique). Programme 1BAC et 2BAC.
- Intégrale d'aire : ∫∫ dA. Premier contact en intégrale double (post-bac).
- Caractéristique d'Euler : V − E + F = 2 pour les polyèdres convexes (vue dans le concept Königsberg). Programme géométrie 2BAC.
- Postulat des parallèles : Gauss-Bonnet généralise la notion d'angles d'un triangle, et explique pourquoi le postulat échoue en géométrie non-euclidienne (cf. concept géométrie hyperbolique).