GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Axiome des parallèlesL’axiome d'Euclide, dit également cinquième postulat d’Euclide, est dû au savant grec Euclide (). C'est un axiome relatif à la géométrie du plan. La nécessité de cet axiome a constitué la question la plus lancinante de toute l'histoire de la géométrie, et il a fallu plus de deux millénaires de débats ininterrompus pour que la communauté scientifique reconnaisse l'impossibilité de le réduire au statut de simple théorème. vignette|Illustration de l'axiome d'Euclide : La droite S détermine les angles internes α et β avec les droites g et h.
Géométrie elliptiqueUne géométrie elliptique est une géométrie non euclidienne. Les axiomes sont identiques à ceux de la géométrie euclidienne à l'exception de l'axiome des parallèles : en géométrie elliptique, étant donné une droite et un point extérieur à cette droite, il n'existe aucune droite parallèle à cette droite passant par ce point. Il est équivalent de dire que la somme des angles d'un triangle est toujours supérieure à .
Orbifold notationIn geometry, orbifold notation (or orbifold signature) is a system, invented by the mathematician William Thurston and promoted by John Conway, for representing types of symmetry groups in two-dimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it follows William Thurston in describing the orbifold obtained by taking the quotient of Euclidean space by the group under consideration.
Géométrie hyperboliqueEn mathématiques, la géométrie hyperbolique (nommée auparavant géométrie de Lobatchevski, lequel est le premier à en avoir publié une étude approfondie) est une géométrie non euclidienne vérifiant les quatre premiers postulats d’Euclide, mais pour laquelle le cinquième postulat, qui équivaut à affirmer que par un point extérieur à une droite passe une et une seule droite qui lui est parallèle, est remplacé par le postulat selon lequel « par un point extérieur à une droite passent plusieurs droites parallèle
Géométrie non euclidienneLa géométrie non euclidienne (GNE) est, en mathématiques, une théorie géométrique ayant recours aux axiomes et postulats posés par Euclide dans les Éléments, sauf le postulat des parallèles. Les différentes géométries non euclidiennes sont issues initialement de la volonté de démontrer la proposition du cinquième postulat, qui apparaissait peu satisfaisant en tant que postulat car trop complexe et peut-être redondant avec les autres postulats).
Géométrie synthétiqueLa géométrie synthétique ou géométrie pure est fondée sur une approche axiomatique (donc, « purement logique ») de la géométrie. Elle constitue une branche de la géométrie étudiant diverses propriétés et divers théorèmes uniquement par des méthodes d'intersections, de transformations et de constructions. Elle s'oppose à la géométrie analytique et refuse systématiquement l'utilisation des propriétés analytiques des figures ou l'appel aux coordonnées. Ses concepts principaux sont l'intersection, les transformations y compris par polaires réciproques, la logique.
