La branche de la géométrie fondée sur les axiomes d'Euclide décrivant l'espace plat (courbure nulle) : elle étudie les points, droites, plans, congruence, similitude, distances et angles dans des structures affines et métriques satisfaisant le postulat des parallèles.

Principe

L'idée organisatrice est le postulat des parallèles et la structure linéaire qui en découle : par un point n'appartenant pas à une droite donnée il passe exactement une droite parallèle, ce qui engendre la linéarité des coordonnées, des transformations linéaires et les relations de distance euclidiennes familières.

Démonstration

Dans le plan euclidien, la somme des angles intérieurs d'un triangle vaut 180 degrés, le théorème de Pythagore relie les longueurs des côtés d'un triangle rectangle, et la géométrie analytique identifie le plan à R^2 muni du produit scalaire et de la métrique standards.

Mauvaise application

Appliquer des formules de distance ou d'angle euclidiennes dans des contextes courbes (par exemple sur une sphère ou une surface hyperbolique) ou supposer des propriétés de parallélisme dans des espaces où le postulat échoue conduit à des erreurs systématiques dans mesures et démonstrations.

Conséquence

Bien appliquée, la géométrie euclidienne fournit des classifications rigides de congruence et similitude, des descriptions simples par coordonnées des lieux et des transformations, et des outils fondamentaux pour l'algèbre linéaire, la mécanique classique et de nombreuses disciplines appliquées.

Inversion

L'inverse consiste à abandonner le postulat des parallèles et à considérer des géométries non euclidiennes (hyperbolique ou elliptique), où droites, sommes d'angles et similitudes se comportent différemment ; ceci oppose la platitude aux signes cohérents de courbure.

Limite

Concerne strictement les espaces plats ou les modèles localement isométriques à R^n de courbure sectionnelle nulle ; exclut les géométries intrinsèques de variétés courbes et les espaces métriques généraux où les axiomes euclidiens échouent.

Tension sémantique

Une tension apparaît entre la géométrie euclidienne en tant que théorie axiomatique d'incidence (insistant sur points et droites) et sa réalisation métrique (insistant sur distances et angles) ; certains résultats tiennent dans l'incidence pure, d'autres requièrent la métrique.

Synthèse

La géométrie euclidienne unit un cadre axiomatique d'incidence/parallélisme à un modèle métrique linéaire : c'est l'étude des espaces plats où l'algèbre linéaire, le produit scalaire et le parallélisme d'Euclide produisent les règles familières pour angles, distances et congruences.