La plupart des gens apprennent la géométrie à l’école et supposent qu’il s’agit uniquement de surfaces planes. Les triangles totalisent 180 degrés. Les lignes parallèles ne se rencontrent jamais. C’est la géométrie euclidienne. Cela fonctionne bien pour vos devoirs. Cela fonctionne bien pour construire une maison. Mais cela échoue lorsque vous regardez les étoiles ou planifiez une trajectoire de vol à travers le Pacifique.
La géométrie non euclidienne est simplement tout système qui enfreint ces règles de surface plane. Bien que le terme soit souvent utilisé comme raccourci pour désigner la géométrie hyperbolique, il couvre en réalité toute forme pour laquelle les anciennes règles d’Euclide ne s’appliquent pas. Les deux grands acteurs ici sont la géométrie sphérique et la géométrie hyperbolique.
Comment le postulat parallèle change tout
Les vrais problèmes ont commencé avec le cinquième postulat d’Euclide, celui sur les droites parallèles. Cela dit que si vous avez une ligne et un point qui ne se trouve pas sur cette ligne, il y a exactement une ligne passant par le point qui est parallèle à la première.
Pendant des siècles, les mathématiciens ont détesté cette règle. C’était maladroit. Cela ne semblait pas aussi « évident » que les autres. Ils ont passé 2 000 ans à essayer de le prouver en utilisant les quatre autres postulats. Ils ont échoué.
Finalement, deux hommes ont arrêté d’essayer de le prouver et ont commencé à jouer avec ce qui se passerait si on le supprimait. Nikolay Lobachevsky en Russie et János Bolyai en Hongrie ont publié indépendamment leurs découvertes vers 1829 et 1831. Ils ont découvert une géométrie qui fonctionnait parfaitement sans le postulat parallèle. C’était une géométrie hyperbolique.
Voici comment les trois systèmes se comparent lorsque vous modifiez les règles :
- Euclidien : Il y a exactement une ligne parallèle passant par le point. Le postulat est vrai. Les angles des triangles totalisent exactement 180 degrés.
- Sphérique : Il n’y a pas de lignes parallèles. Deux « lignes » (grands cercles) finiront par se croiser. Le postulat est faux. La somme des angles des triangles est supérieure à 180 degrés.
- Hyperbolique : Il existe une infinité de lignes parallèles passant par le point. Le postulat est faux. La somme des angles des triangles est inférieure à 180 degrés.
Le ciel et la mer : naissance de la géométrie sphérique
Une branche de la géométrie non euclidienne est née de la recherche vers le haut. Les anciens astronomes devaient suivre les étoiles et les planètes dans un ciel hémisphérique. Euclide lui-même a écrit sur la géométrie sphérique dans son ouvrage Phaenomena vers 300 avant notre ère.
L’autre branche est venue du regard vers le bas, ou plutôt de l’autre côté de l’océan. Les navigateurs devaient comprendre la forme de la Terre pour trouver leur chemin. Si la Terre est ronde, les lignes droites sur une carte vous mentent. Ce besoin pratique a conduit à l’étude de la géométrie sphérique. Ce n’était pas seulement de la théorie. Il s’agissait de ne pas se perdre.
Les grands cercles sont les nouvelles lignes droites
En géométrie sphérique, le concept de « ligne droite » devient étrange. Sur un globe, la distance la plus courte entre deux points est un itinéraire orthodromique. Imaginez un fil tendu entre New York et Londres. Cette corde ne vole pas en ligne droite dans les airs. Il se courbe le long de la surface.
Ptolémée l’a noté dans Géographie vers 150 CE. Il a écrit que la surface de la terre et de l’eau est une sphère. Tout plan passant par le centre de la Terre coupe la surface selon un grand cercle.
Ces grands cercles sont les « lignes droites » de cette géométrie. Ils sont intrinsèquement droits. Si vous en longez un, vous ne tournez pas. Vous vous déplacez le plus droit possible sur une surface courbe.
Lorsque trois de ces arcs se croisent, ils forment un triangle sphérique. Il semble déformé sur une carte plate. Mais sur la sphère, ce n’est qu’un triangle. La différence entre les triangles d’une petite sphère et ceux d’une grande sphère est simplement l’échelle. En termes de géométrie différentielle, la géométrie sphérique est l’étude de surfaces à courbure positive constante.
Pourquoi les cartes vous mentent
Si la géométrie sphérique est si utile, pourquoi ne la voit-on pas partout ? Parce que nous aimons les cartes plates.
Les cartographes doivent projeter des portions d’une sphère sur un plan plat. Cela est impossible sans distorsion. Vous pouvez préserver la distance. Vous pouvez préserver la zone. Vous pouvez conserver les angles. Vous ne pouvez pas faire les trois à la fois.
La nécessité d’équilibrer ces compromis dans la cartographie a donné un élan précoce et pratique à l’étude de la géométrie sphérique. Ce n’était pas seulement des mathématiques abstraites. Il s’agissait de représenter le monde sans trop mentir.
La géométrie cachée de l’espace hyperbolique
Ensuite, il y a la géométrie hyperbolique. C’est l’autre moitié de la famille non euclidienne. Cela ne correspond pas à notre globe physique. Cela ne correspond pas au sol plat de nos salles de classe. Il décrit un espace qui s’incurve vers l’intérieur, comme une selle ou une puce Pringles.
Dans cet espace, les règles s’inversent. Les lignes divergent. Les triangles deviennent maigres. Les angles rétrécissent. Cela semble contre-intuitif car nous ne rencontrons pas cette forme dans la vie quotidienne. Mais cela existe en mathématiques. Et plus tard, en physique.
Le passage d’euclidien à non-euclidien n’a pas été une révélation soudaine. Ce fut une lente disparition de la certitude. Les mathématiciens ont dû admettre que leurs « vérités » n’étaient que des hypothèses. Hypothèses sur la planéité. Hypothèses sur les lignes parallèles.
Lorsque vous abandonnez le postulat parallèle, toute la structure change. Le chemin que vous emprunterez – sphérique ou hyperbolique – dépend du fait que l’espace que vous cartographiez se courbe sur lui-même ou s’ouvre pour toujours.
La géométrie elliptique est essentiellement une géométrie sphérique avec une règle spécifique. Imaginez un globe où le pôle Nord et le pôle Sud sont traités exactement comme le même endroit. C’est l’idée centrale derrière la formalisation axiomatique de la géométrie elliptique. Ce n’est pas seulement un exercice théorique. Bernhard Riemann, un mathématicien allemand, a développé une vision analytique intrinsèque de cette question au XIXe siècle. Il l’a appelé la sphère de Riemann. Vous le rencontrerez probablement dans les cours universitaires d’analyse complexe.
Certains manuels confondent les choses. Ils qualifient ce modèle spécifique de géométrie riemannienne. C’est trompeur. Le terme géométrie riemannienne fait en fait référence à une branche plus large de la géométrie différentielle. Il fournit les outils nécessaires pour décrire n’importe quelle surface de manière intrinsèque, pas seulement la sphère. Tenez-vous en à la distinction. La géométrie elliptique est la formalisation de la sphère avec des points antipodaux fusionnés. La géométrie riemannienne est le cadre d’étude des espaces courbes en général.
Le puzzle de la géométrie hyperbolique
Si la géométrie elliptique courbe l’espace vers l’intérieur, la géométrie hyperbolique le courbe vers l’extérieur. Les premières descriptions de la géométrie hyperbolique sont nées de la difficulté de prouver le cinquième postulat d’Euclide. Les mathématiciens pensaient que si l’on supprimait le postulat parallèle, cela n’aurait aucun sens. Au lieu de cela, ils ont eu une alternative cohérente.
Il a fallu du temps pour régler les détails. Les chercheurs ont prouvé que toutes les géométries hyperboliques ne diffèrent que par leur échelle. Pensez-y comme à des sphères. Un ballon de basket et un ballon de plage ont la même géométrie. Ils ne diffèrent que par la taille. L’échelle ne change pas les règles de l’espace.
Au milieu du XIXe siècle, les mathématiques se sont solidifiées. Il est devenu clair que les surfaces hyperboliques doivent avoir une courbure négative constante. La courbure positive définit les espaces elliptiques/sphériques. Une courbure plate et nulle définit l’espace euclidien. La courbure négative est la signature du type hyperbolique.
Mais voici le piège. Les équations ont fonctionné. La logique a tenu le coup. Pourtant, les mathématiciens ne pouvaient toujours pas dire avec certitude si une telle surface existait réellement. Les modèles étaient abstraits. La question restait : la nature, ou même les mathématiques pures, fournissaient-elles une surface concrète répondant à ces conditions ? L’existence de l’objet était encore une question ouverte, attendant une construction physique ou mathématique rigoureuse pour prouver qu’il ne s’agissait pas simplement d’une fiction astucieuse.
La forme impossible enfin trouvée
Pendant des décennies, les mathématiciens ont cru qu’ils se heurtaient à un mur. Le problème ? Trouver une représentation physique de la géométrie hyperbolique qui n’enfreint pas les règles de l’univers.
Tout a commencé avec Eugenio Beltrami en 1868. Il a décrit une surface appelée pseudosphère. Il avait une courbure négative constante, caractéristique déterminante de l’espace hyperbolique. Mais c’était imparfait. Des lignes intrinsèquement droites sur la pseudosphère se croisent. Ils heurtent également un cercle englobant et s’arrêtent net. Ce n’est pas ainsi que fonctionne la géométrie hyperbolique. Les lignes s’y prolongent indéfiniment sans revenir en arrière ni heurter un bord dur.
Puis vint David Hilbert en 1901. Il prouva quelque chose qui tua effectivement le projet. Hilbert a montré que vous ne pouvez pas définir une surface hyperbolique complète en utilisant de vraies fonctions analytiques. Ce sont les formules standard et fluides que nous utilisons pour décrire les formes. À l’époque, une surface était une fonction analytique. Hilbert ayant prouvé que cela était impossible, les chercheurs ont abandonné leurs recherches. Le monde mathématique a accepté la limite.
Mais la limite était fausse.
En 1955, le mathématicien néerlandais Nicolaas Kuiper a prouvé que les limites de Hilbert ne s’appliquaient pas à toutes les surfaces possibles. Il a prouvé qu’une surface hyperbolique complète existe. Il ne peut tout simplement pas être dessiné avec des formules simples et fluides.
Des décennies plus tard, dans les années 1970, le mathématicien américain William Thurston détailla comment le construire. Il ne s’est pas contenté de théoriser. Il a décrit la géométrie réelle. Et voici la partie étrange : vous n’avez pas besoin d’un superordinateur pour le construire.
Vous pouvez le crocheter.
Pourquoi le crochet change la donne
La surface hyperbolique de Thurston n’est pas seulement un objet théorique. C’est tangible. Si vous suivez des modèles de crochet spécifiques, vous créez un modèle physique de courbure infinie et négative.
Pourquoi est-ce important ? Parce que cela transforme une preuve abstraite en quelque chose que vous pouvez détenir. La technique du crochet hyperbolique utilise des points croissants pour forcer le tissu à se courber vers l’extérieur. Chaque rangée ajoute plus de matière que la précédente, créant cet aspect évasé et ondulé caractéristique de la géométrie hyperbolique.
Ce n’est pas seulement un projet artisanal. C’est une application directe de la preuve d’existence de Kuiper. C’est la construction de Thurston devenue réalité.
De la pseudosphère au modèle pratique
Le voyage depuis la pseudosphère incomplète de Beltrami jusqu’à la surface hyperbolique crochetée montre comment les définitions mathématiques évoluent. Nous avons déménagé de :
- 1868 : La pseudosphère (incomplète, auto-entrecroisée)
- 1901 : Preuve d’impossibilité de Hilbert (basée uniquement sur les fonctions fluides)
- 1955 : Preuve d’existence de Kuiper (élargissement de la définition de la surface)
- Années 1970 : Construction de Thurston (modèles pratiques et visualisables)
Aujourd’hui, les étudiants et les artistes utilisent le crochet pour visualiser ces concepts complexes. C’est une manière concrète d’appréhender la courbure négative. Aucun calcul avancé requis. Juste du fil et un crochet.
La forme existe. C’est complet. Et c’est entre vos mains.
Les cartes plates de la Terre sont toujours un mensonge. Ils s’étirent, rétrécissent et se déchirent pour insérer une sphère sur du papier. La géométrie hyperbolique est confrontée au même problème. Vous ne pouvez pas aplatir une surface en forme de selle sans casser quelque chose. Pourtant, au XIXe siècle, les mathématiciens n’ont pas abandonné. Ils ont construit trois modèles distincts pour cartographier cette réalité courbe. Ce ne sont pas seulement des énigmes abstraites. Ce sont des outils. Utilisez-les ensemble et la forme invisible de l’espace hyperbolique commence à prendre un sens.
L’histoire démarre réellement entre 1869 et 1871. Eugenio Beltrami et Felix Klein, un mathématicien allemand, ont déchiffré le code. Ils ont créé le premier cadre complet pour ce qu’ils ont littéralement appelé la géométrie « hyperbolique ». Avant cela, le concept était fragile. Maintenant, il y avait une maison.
Le paradoxe de la ligne droite dans le modèle de Klein-Beltrami
Regardez en haut à gauche de la figure de référence. C’est le modèle Klein-Beltrami. Il serre tout le plan hyperbolique à l’intérieur d’un cercle. Simple, non ?
Voici le piège. Dans ce modèle, les lignes droites, appelées géodésiques dans le monde hyperbolique, deviennent des cordes droites dans le cercle. Si vous voulez aller du point A au point B, vous tracez une ligne droite. Cela semble euclidien. Cela semble familier.
Mais il y a une taxe pour ce confort. Le modèle préserve la « rectitude » mais ruine les angles. Les choses qui devraient être à quatre-vingt-dix degrés semblent biaisées. C’est une carte qui vous indique exactement dans quelle direction se trouve le nord, même si le paysage semble déformé.
Chemins courbes et angles préservés
Avance rapide jusqu’en 1880 environ. Henri Poincaré, un mathématicien français, entre dans le chat et lance deux autres modèles sur le ring. Ce sont différents. Beaucoup plus différent.
Tout d’abord, le modèle de disque Poincaré (en haut à droite). Encore une fois, nous regardons un cercle. Mais les règles changent. Les géodésiques ne sont plus des lignes droites. Ce sont des arcs de cercle. Ou des diamètres. Ces arcs touchent la limite extérieure du cercle à angle droit parfait.
Pourquoi est-ce important ? Car Poincaré ne voulait pas seulement montrer la forme. Il voulait conserver les angles.
Dans le disque de Poincaré, la géométrie locale ressemble au plan euclidien plat, même si la structure globale est très différente.
C’est ce qu’on appelle la conformité. Les distances s’étirent. Les bords du disque sont infiniment éloignés. Mais si vous mesurez un angle avec un rapporteur, il se lit correctement. Pour les tâches impliquant la navigation ou les illusions d’optique, c’est la référence.
Le demi-plan supérieur infini
Le troisième modèle est le modèle demi-plan supérieur Poincaré (bas de la figure). Oubliez le cercle. Ici, la surface hyperbolique correspond à tout le demi-espace au-dessus de l’axe des x.
Les géodésiques sont ici des demi-cercles ou des rayons verticaux. Ils rencontrent toujours l’axe des x à angle droit. C’est une mise en page propre et linéaire.
Comme le modèle de disque, cette configuration déforme la distance. Plus vous vous rapprochez de l’axe des X, plus l’espace s’agrandit. Mais là encore, les angles sont préservés. Si tu dessines
