🎛️ 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.
Vérifie ta compréhension
3 questions courtes pour valider tes acquis. Tu peux réessayer.