🎛️ Disque de Poincaré : un monde infini contenu dans un disque
Une grille hyperbolique pavée de triangles {3,7} — 7 triangles autour de chaque sommet ! Impossible en géométrie euclidienne (limite : 6). Les distances s'allongent vers le bord, qui est en réalité « à l'infini ».
Le disque ouvert est une représentation du plan hyperbolique infini. Le bord est « à l'infini ». Toutes les figures sont congruentes !
📜 -300 av. J.-C. : le 5ᵉ postulat d'Euclide
Dans ses Éléments (vers 300 av. J.-C.), Euclide d'Alexandrie énonce 5 postulats. Les 4 premiers sont simples (segments existent, on peut prolonger, on peut tracer un cercle, tous les angles droits sont égaux). Le 5ᵉ, dit « postulat des parallèles », est différent :
5ᵉ postulat (formulation Playfair) :
Par un point hors d'une droite, il passe une et une seule parallèle.
Cet énoncé semble plus une conséquence qu'un postulat fondamental. Pendant 2 000 ans, les mathématiciens cherchent à le démontrer à partir des 4 premiers. Tous échouent. Proclus, Wallis, Saccheri, Lambert, Legendre, Gauss — tous mordent la poussière.
🚀 1820-1830 : la révolution non-euclidienne
Trois mathématiciens, indépendamment, osent : remplaçons le 5ᵉ postulat et regardons ce qui se passe.
- Carl Friedrich Gauss : a tout compris dès 1813, mais ne publie rien par peur du scandale (« la clameur des Béotiens »).
- Nikolaï Lobatchevski (Russie, Kazan) : publie en 1829 le premier article, « Sur les principes de la géométrie ». Ridiculisé.
- János Bolyai (Hongrie) : publie en 1832 son « Appendix ». Son père lui écrivait : « Pour l'amour de Dieu, ne perds pas ta vie sur le postulat ! »
Hypothèse alternative de Lobatchevski-Bolyai : par un point hors d'une droite, il passe une infinité de droites parallèles. C'est la géométrie hyperbolique.
🌐 Les 3 géométries possibles
| Géométrie | Parallèles | Somme angles triangle | Courbure K | Modèle |
|---|---|---|---|---|
| Euclidienne | 1 | = π | 0 | Plan |
| Sphérique | 0 | > π | > 0 | Sphère |
| Hyperbolique | ∞ | < π | < 0 | Disque de Poincaré, selle |
🎨 Modèle de Poincaré : le plan hyperbolique dans un disque
Henri Poincaré propose en 1880 une représentation conforme (préservant les angles) du plan hyperbolique : le disque de Poincaré. Tout le plan hyperbolique infini est contenu dans un disque ouvert. Les droites hyperboliques sont représentées par :
- Les diamètres du disque.
- Les arcs de cercle perpendiculaires au bord.
Le bord du disque est l'infini hyperbolique : aucun « habitant » du plan hyperbolique ne l'atteint jamais. Les distances s'allongent infiniment quand on s'approche du bord.
🐠 Escher et le « Cercle limite IV » (1960)
Le graveur néerlandais M. C. Escher (1898-1972) découvre la géométrie hyperbolique grâce à un croquis du mathématicien H.S.M. Coxeter. Il en fait sa série « Cercle limite » (1958-1960) :
- Cercle limite I : poissons noirs et blancs en pavage hyperbolique.
- Cercle limite IV : anges et démons, pavage {6, 4}.
Toutes les créatures sont congruentes au sens hyperbolique, même si à nos yeux euclidiens elles rapetissent vers le bord. C'est l'effet visuel emblématique de la géométrie hyperbolique.
🎯 Aire d'un triangle hyperbolique : étonnamment simple
Pour un triangle hyperbolique d'angles α, β, γ (avec α + β + γ < π) :
Aire = π − (α + β + γ)
L'aire est bornée par π (≈ 3.14) ! Même un triangle « infini » (les 3 sommets à l'infini) a une aire finie. Étrange et beau.
🌌 Pourquoi c'est important : c'est mathématiquement cohérent
Le grand choc historique : Beltrami (1868) et Klein (1871) construisent des modèles concrets de la géométrie hyperbolique à l'intérieur de la géométrie euclidienne. Conséquence logique : si la géométrie euclidienne est cohérente, la géométrie hyperbolique l'est aussi.
On ne peut donc pas démontrer le 5ᵉ postulat d'Euclide. Il est indépendant des 4 autres. 2 000 ans de tentatives s'éteignent en 1868.
🚀 Applications modernes
- Relativité restreinte (Einstein 1905) : l'espace-temps de Minkowski est une géométrie « hyperbolique » en signature (3, 1). Les vitesses se composent par une addition hyperbolique.
- Relativité générale (Einstein 1915) : l'espace-temps est une variété pseudo-riemannienne. La gravité = courbure.
- Cosmologie : les modèles d'univers ouverts (K < 0) sont hyperboliques. L'univers actuel est plat à 0.4 % près (Planck 2013).
- Théorie des cordes : variétés Calabi-Yau, espaces moduli sont souvent hyperboliques.
- Réseaux et graphes : Internet, réseaux sociaux ont une structure « hyperbolique » naturelle (Lyft, Uber, Twitter utilisent des plongements hyperboliques pour matcher rapidement).
- Machine learning : embeddings hyperboliques (Poincaré embeddings, Facebook 2017) pour représenter des hiérarchies (WordNet, génomes, réseaux sociaux). Permet de coder des arbres binaires en très peu de dimensions.
- Architecture : Frank Gehry, Zaha Hadid utilisent des surfaces hyperboliques (paraboloïdes, surfaces à courbure négative) pour des structures spectaculaires.
- Biologie : choux Romanesco, certaines feuilles, certaines coraux ont une géométrie hyperbolique.
- Jeux vidéo : HyperRogue (2011) — un roguelike entièrement joué dans le plan hyperbolique. Hyperbolica (2022).
♾️ Les groupes hyperboliques et la conjecture de Poincaré
William Thurston (1946-2012, médaille Fields 1982) propose en 1982 sa conjecture de géométrisation : toute variété 3D admet une décomposition en morceaux qui portent une de 8 géométries possibles. La géométrie hyperbolique est la plus riche (la plupart des morceaux).
Cette conjecture implique la conjecture de Poincaré (l'un des 7 problèmes du millénaire). Grigori Perelman démontre Thurston en 2002-2003 par le flot de Ricci. Il refuse 1 million $ du Clay Institute et la médaille Fields. Aujourd'hui retiré du monde mathématique.
📐 Le lien avec ton programme
- Postulat des parallèles : tu le rencontres implicitement dès le collège. Sa nature « indémontrable » ouvre la porte à des géométries alternatives.
- Géométrie sphérique : ta cousine, courbure positive. Tu l'as déjà rencontrée pour la navigation sur la Terre. Programme géométrie 2BAC.
- Trigonométrie hyperbolique : ch(x), sh(x), th(x) sont les analogues hyperboliques de cos/sin/tan. Tu les croiseras en prépa et en physique 2BAC.
- Caractéristique d'Euler : χ < 0 pour les surfaces hyperboliques. Programme topologie post-bac.
- Gauss-Bonnet : ∫∫ K dA = 2πχ. Pour les surfaces hyperboliques compactes (genre g ≥ 2), aire = −2π·χ/K (l'aire est rigide).
- Nombres complexes : le demi-plan supérieur de Poincaré est un autre modèle de la géométrie hyperbolique, où les transformations sont des homographies de Möbius. Programme complexes 2BAC SM, et beaucoup plus en prépa.