📐 Les 5 commandements d'Euclide
Vers 300 av. J.-C., dans les Éléments, Euclide pose 5 axiomes qui fondent toute la géométrie :
- Par deux points, on peut tracer une droite.
- Une droite peut être prolongée indéfiniment.
- D'un point, on peut tracer un cercle de n'importe quel rayon.
- Tous les angles droits sont égaux.
- Par un point hors d'une droite, il passe une unique parallèle à cette droite.
Les 4 premiers sont des évidences immédiates. Mais le 5ᵉ… il est étrange. Plus long, plus complexe, plus « technique ». Beaucoup, dès Euclide, ont senti que quelque chose clochait.
🤔 La fixation millénaire
Pendant 2 000 ans, les mathématiciens du monde entier ont tenté de déduire le 5ᵉ postulat des 4 autres. Ils étaient persuadés qu'il n'était pas un vrai axiome, mais un théorème déguisé.
- Proclus (Vᵉ siècle), Omar Khayyam (XIᵉ siècle), Saccheri (XVIIIᵉ siècle)… tous tentent et échouent
- Saccheri publie en 1733 un livre intitulé « Euclide lavé de tout défaut » où il pense avoir démontré le 5ᵉ postulat. Sa preuve est fausse, mais elle est fertile : il étudie ce qui se passerait si le postulat était faux, sans réaliser qu'il invente sans le savoir une nouvelle géométrie
💥 La libération du XIXᵉ siècle
Trois mathématiciens, indépendamment, vont faire un saut conceptuel : et si le 5ᵉ postulat était simplement un choix, pas une vérité nécessaire ?
- Carl Friedrich Gauss (Allemagne, début XIXᵉ) y arrive le premier, mais n'ose pas publier de peur du « bruit des Béotiens »
- János Bolyai (Hongrie, 1832) publie une géométrie où le postulat est nié
- Nikolaï Lobatchevski (Russie, 1829) publie sa propre version, indépendamment
L'idée est révolutionnaire : on peut construire des géométries cohérentes où plusieurs parallèles, ou aucune, passent par un point. Ces géométries sont appelées non-euclidiennes.
🎛️ Trois géométries, trois sommes d'angles
Le test le plus simple pour distinguer ces géométries : la somme des angles d'un triangle. Dans la géométrie euclidienne, c'est toujours 180°. Mais sur une sphère ou une « selle » (géométrie hyperbolique), ce n'est plus vrai du tout.
🎛️ Somme des angles selon la géométrie
Choisis une géométrie. Observe que la somme des angles n'est plus 180°.
Somme des angles
180°
Géométrie d'Euclide : un triangle a toujours 180°.
🌍 La géométrie sphérique (sur la Terre)
Sur la surface d'une sphère (comme la Terre), les « droites » sont les grands cercles (équateur, méridiens). Les triangles formés par 3 grands cercles ont des angles dont la somme est plus grande que 180°.
Exemple concret : prends un triangle formé par
- l'équateur (de longitude 0° à longitude 90°)
- le méridien de Greenwich (longitude 0°)
- le méridien à 90° Est
Tu obtiens un triangle avec trois angles droits : somme = 270°. C'est impossible dans la géométrie d'Euclide, mais parfaitement cohérent sur la sphère.
🏜️ La géométrie hyperbolique (la « selle »)
Sur une surface en forme de selle (à courbure négative), les triangles ont des angles dont la somme est plus petite que 180°. Dans cette géométrie, par un point hors d'une droite, il passe une infinité de parallèles.
Ça paraît bizarre, mais c'est tout aussi cohérent que la géométrie d'Euclide. Et c'est précisément le cas qu'imaginaient Bolyai et Lobatchevski.
🚀 Et puis Einstein arrive
Pendant cinquante ans, les géométries non-euclidiennes restent une curiosité de mathématicien. Belles, cohérentes, mais perçues comme déconnectées du monde réel.
En 1915, Albert Einstein publie la relativité générale. Sa découverte : l'espace-temps est courbé par la matière. Plus une étoile est massive, plus elle déforme l'espace autour d'elle, comme une boule de bowling sur un matelas.
📏 Lien avec le programme BAC SM
Le BAC SM enseigne uniquement la géométrie euclidienne classique. Mais les notions que tu y apprends sont les briques fondamentales qui sont généralisées en géométrie non-euclidienne :
- Distance : en géométrie euclidienne, formule pythagoricienne . En géométrie courbe, elle devient une intégrale
- Angles : le produit scalaire généralise la notion d'angle à n'importe quel espace
- Parallélisme : en géométrie courbe, on parle de « transport parallèle » le long d'une géodésique
- Géodésiques : les « lignes droites » sur une surface courbe (équivalent du segment « le plus court chemin »)
🎓 Une leçon épistémologique
L'histoire du 5ᵉ postulat est une leçon profonde sur la nature des mathématiques : les axiomes ne sont pas des vérités absolues. Ce sont des choix. Tu en changes un, tu obtiens un autre monde mathématique parfaitement cohérent.
Cette idée — qui paraît évidente aujourd'hui — a bouleversé la philosophie des sciences. Avant Bolyai et Lobatchevski, on pensait que les maths décrivaient des vérités uniques. Après, on a compris qu'elles construisent des systèmes cohérents, et que la question de leur applicabilité au monde réel est une question empirique distincte.
🧠 Réflexion finale
Le postulat des parallèles est l'exemple parfait d'une découverte qui change ce qu'on veut dire par « savoir ». Pendant 2 000 ans, on a cherché à démontrer quelque chose qui n'avait pas à l'être. Le déclic du XIXᵉ siècle a été de comprendre que la question elle-même était mal posée.
C'est une leçon qui dépasse les maths : parfois, le progrès ne consiste pas à trouver une réponse, mais à réaliser que la question n'avait pas de sens. Très utile à garder en tête, dans n'importe quelle discipline.