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.
Saccheri quadrilateralA Saccheri quadrilateral is a quadrilateral with two equal sides perpendicular to the base. It is named after Giovanni Gerolamo Saccheri, who used it extensively in his 1733 book Euclides ab omni naevo vindicatus (Euclid freed of every flaw), an attempt to prove the parallel postulate using the method reductio ad absurdum. Such a quadrilateral is sometimes called a Khayyam–Saccheri quadrilateral to credit Persian scholar Omar Khayyam who described them in his 11th century book Risāla fī šarḥ mā aškala min muṣādarāt kitāb Uqlīdis (Explanations of the difficulties in the postulates of Euclid).
Géométrie absolueLa géométrie absolue (parfois appelée géométrie neutre) est une géométrie basée sur le système d'axiomes de la géométrie euclidienne, privé de l'axiome des parallèles ou de sa négation. Elle est formée des résultats qui sont vrais à la fois en géométrie euclidienne et en géométrie hyperbolique, parfois énoncés sous une forme affaiblie par rapport à l'énoncé euclidien traditionnel. La géométrie absolue fut introduite (sous ce nom) par János Bolyai en 1832 ; le terme de géométrie neutre (sous-entendu par rapport à l'axiome des parallèles) lui a été parfois préféré, pour éviter de donner l'impression que toute autre géométrie en découle.
Quadrilatère de LambertEn géométrie, un quadrilatère de Lambert, du nom de Jean-Henri Lambert, est un quadrilatère ayant trois angles droits. Historiquement, Lambert espérait pouvoir démontrer (à l'aide des axiomes d'Euclide à l'exception de l'axiome des parallèles) qu'un tel quadrilatère était un rectangle (démontrant ainsi l'axiome des parallèles), mais il semble s'être convaincu que la chose était impossible, obtenant ainsi les premiers résultats de géométrie hyperbolique, et en particulier la formule donnant l'aire d'un triangle en fonction de ses trois angles.
Eugenio BeltramiEugenio Beltrami (1835-1900), appelé Eugène Beltrami en français, est un mathématicien et physicien italien. Il est connu pour ses travaux sur l'élasticité, l'hydrodynamique, l’électricité et le magnétisme, mais son nom est surtout associé à l'histoire de la géométrie, et au rôle fondamental qu'il joua dans l'affermissement des fondements de la géométrie non euclidienne. Sa famille paternelle comptait des artistes, dont son père, un peintre passionné de miniatures.
Secteur hyperboliquedroite|200x200px En géométrie, un secteur hyperbolique est une région du plan cartésien délimitée par une hyperbole et deux rayons partant de l'origine vers celle-ci. Par exemple, les deux points et sur l'hyperbole équilatère , ou la région correspondante lorsque cette hyperbole est remise à l'échelle et que son orientation est modifiée par une rotation laissant le centre à l'origine, comme avec l'hyperbole unité. Un secteur hyperbolique en position standard part de et . Les secteurs hyperboliques sont à la base des fonctions hyperboliques.
Giovanni Girolamo SaccheriGiovanni Girolamo Saccheri (dʒoˈvanni dʒiˈrɔlamo sakˈkɛri) (ou Girolamo Saccheri), né à San Remo en 1667 et mort à Milan en 1733, est un mathématicien italien. Il a entraperçu la possibilité de géométries non euclidiennes. Il était prêtre jésuite. Saccheri entre dans la Compagnie de Jésus en 1685 et est ordonné prêtre en 1694. Il enseigne d'abord la philosophie à l'université de Turin de 1694 à 1697, puis, de 1697 à sa mort, la philosophie, la théologie et les mathématiques à l'université de Pavie.
Modèle de KleinEn mathématiques, et plus précisément en géométrie non euclidienne, le 'modèle de Beltrami-Klein, également appelé modèle projectif ou modèle du disque de Klein', est un modèle de géométrie hyperbolique de dimension n dans lequel l'espace hyperbolique est modélisé par la boule unité euclidienne ouverte de rayon 1 de dimension n, les points de l'espace hyperbolique étant les points de la boule unité, et les droites de l'espace hyperbolique étant les cordes de la boule unité.
Pseudosphèrethumb|right|La pseudosphère étudiée par Eugenio Beltrami En géométrie, le terme de pseudosphère est utilisé pour décrire diverses surfaces dont la courbure de Gauss est constante et négative. Selon le contexte, il peut se référer soit à une surface théorique de courbure négative (une variété riemannienne), soit à une surface effectivement réalisée de l'espace, telle qu'une tractricoïde. Dans son acception la plus générale, une pseudosphère de rayon R est une surface (complète et simplement connexe) de courbure totale en tout point égale à , par analogie à la sphère de rayon R dont la courbure est .
TransvectionUne transvection est une transformation géométrique. Cet article est à lire en parallèle avec celui sur les dilatations. Image:france1.gif|Dessin d'origine Image:france transvection.gif|Résultat d'une transvection Soient f un endomorphisme d'un espace vectoriel E, H = Ker(f – id) l'ensemble des vecteurs invariants, et D = Im(f – id) (d'après le théorème du rang, dim(H) + dim(D) = dim(E)).