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.
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).
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é.
Triangle hyperboliquedroite|vignette|250x250px| Un triangle hyperbolique sur une surface en selle de cheval. Un triangle hyperbolique est, en géométrie hyperbolique, un triangle dans le plan hyperbolique. Comme en géométrie plane, un triangle est constitué de trois segments (ses côtés) reliant trois points (ses sommets). Tout comme dans le cas euclidien, trois points d'un espace hyperbolique de dimension quelconque sont toujours coplanaires. Il suffit donc de caractériser les triangles dans le plan hyperbolique pour en avoir une description dans tous les espaces hyperboliques de dimensions supérieures.
Variété hyperboliquethumb|Une projection en perspective d'un pavage dodécahédrique dans H3. C'est un exemple de ce qu'un observateur pourrait observer à l'intérieur d'une 3-variété hyperbolique thumb|La pseudosphère : chaque moitié de cette forme est une surface hyperbolique à bord. En mathématiques, une variété hyperbolique est un espace dans lequel chaque point apparaît localement comme d'une certaine dimension. Ces variétés sont spécifiquement étudiées en dimensions 2 et 3, où elles sont appelées respectivement surfaces de Riemann et .
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.
Fonction de GudermannEn mathématiques, la fonction de Gudermann, appelée aussi parfois gudermannien, et notée gd, nommée en l'honneur de Christoph Gudermann, fait le lien entre la trigonométrie circulaire et la trigonométrie hyperbolique sans faire intervenir les nombres complexes. La fonction de Gudermann est définie sur l'ensemble des réels par : Le réel , appelé parfois gudermannien de , est relié à ce dernier par les relations : La dérivée de la fonction de Gudermann est donnée par .
Hyperbolic 3-manifoldIn mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries (a Kleinian group).
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.
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.
