Playfair's axiomIn geometry, Playfair's axiom is an axiom that can be used instead of the fifth postulate of Euclid (the parallel postulate): In a plane, given a line and a point not on it, at most one line parallel to the given line can be drawn through the point. It is equivalent to Euclid's parallel postulate in the context of Euclidean geometry and was named after the Scottish mathematician John Playfair. The "at most" clause is all that is needed since it can be proved from the remaining axioms that at least one parallel line exists.
Plan (mathématiques)En géométrie classique, un plan est une surface plate illimitée, munie de notions d’alignement, d’angle et de distance, et dans laquelle peuvent s’inscrire des points, droites, cercles et autres figures planes usuelles. Il sert ainsi de cadre à la géométrie plane, et en particulier à la trigonométrie lorsqu’il est muni d’une orientation, et permet de représenter l’ensemble des nombres complexes. Un plan peut aussi se concevoir comme partie d’un espace tridimensionnel euclidien, dans lequel il permet de définir les sections planes d’un solide ou d’une autre surface.
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é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.
