Disque de PoincaréEn géométrie, le disque de Poincaré (appelé aussi représentation conforme) est un modèle du plan hyperbolique, ou plus généralement de la géométrie hyperbolique à n dimensions, où les points sont situés dans la boule unité ouverte de dimension n et les droites sont soit des arcs de cercles contenus dans cette boule et orthogonaux à sa frontière, soit des diamètres de la boule. En plus du modèle de Klein et du demi-plan de Poincaré, il a été proposé par Eugenio Beltrami pour démontrer que la consistance de la géométrie hyperbolique était équivalente à la consistance de la géométrie euclidienne.
Demi-plan de PoincaréLe demi-plan de Poincaré est un sous-ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d'éclairer les travaux du Russe Nikolaï Lobatchevski. Le demi-plan de Poincaré est formé par les nombres complexes de partie imaginaire strictement positive. Il fournit un exemple de géométrie non euclidienne, plus précisément de géométrie hyperbolique. On considère le demi-plan supérieur : On munit le demi-plan supérieur de la métrique : Cette métrique possède une courbure scalaire constante négative : On se ramène usuellement au cas d'une courbure unité, c’est-à-dire qu'on choisit : a = 1 pour simplifier les équations.
Transformation de MöbiusEn mathématiques, et plus particulièrement en géométrie, les transformations de Möbius sont de manière générale des automorphismes du compactifié d'Alexandrov de noté , définies comme la composée d'un nombre fini d'inversions par rapport à des hyperplans ou des hypersphères.
BirapportLe birapport, ou rapport anharmonique selon la dénomination de Michel Chasles est un outil puissant de la géométrie, en particulier la géométrie projective. La notion remonte à Pappus d'Alexandrie, mais son étude systématique est réalisée en 1827 par Möbius. thumb|Les divisions sont supposées régulières. Le birapport de C, D par rapport à A, B est : . thumb|Les divisions sont supposées régulières. Le birapport de C, D par rapport à A, B est : .
ConiqueEn géométrie euclidienne, une conique est une courbe plane algébrique, définie initialement comme l’intersection d'un cône de révolution (supposé prolongé à l’infini de part et d’autre du sommet) avec un plan. Lorsque le plan de coupe ne passe pas par le sommet du cône, la conique est dite non dégénérée et réalise l’une des trois formes de courbe suivantes : ellipse, parabole ou hyperbole (le cercle étant un cas particulier de l'ellipse, parfois appelé quatrième forme). Ces courbes sont caractérisées par un paramètre réel appelé excentricité.
