Aller au contenu

Triangle idéal

Un article de Wikipédia, l'encyclopédie libre.
Trois triangles idéaux dans le modèle du disque de Poincaré.
Deux triangles idéaux dans le modèle du demi-plan de Poincaré.

En géométrie hyperbolique, un triangle idéal est un triangle dont les trois sommets sont situés «  à l’infini », autrement dit dont les trois côtés sont deux à deux parallèles asymptotes. Tous les triangles idéaux sont congruents.

Définition et propriétés

[modifier | modifier le code]

Dans le plan hyperbolique, on appelle triangle idéal la réunion de trois droites parallèles asymptotes deux à deux, et donc se coupant deux à deux en trois points situés à l’infini, qu’on appelle les sommets (idéaux) du triangle.

Les triangles idéaux ont les propriétés suivantes :

  • Ils sont tous congruents entre eux, c'est-à-dire qu'il existe une isométrie entre deux d'entre eux.
  • Leurs angles (intérieurs) sont tous nuls.
  • Tout triangle (ordinaire) est inclus dans un triangle idéal (qui est donc le plus grand triangle possible)[1].

Propriétés métriques d'un triangle idéal

[modifier | modifier le code]
Triangle idéal et son cercle inscrit, avec les dimensions décrites dans le texte (AB = r , AC = d et AD = a), dans le modèle de Klein (à gauche) et dans le modèle du disque de Poincaré (à droite).

On se place dans le cas où K, la courbure de Gauss du plan hyperbolique, vaut –1 ; on a alors[2] :

  • L'aire de tout triangle idéal est π[1];
  • Le cercle inscrit dans un triangle idéal a pour rayon [3]. La distance d'un point intérieur au triangle au côté le plus proche est inférieure ou égale à r, l'égalité n'ayant lieu que pour le centre du cercle inscrit.
  • Les trois points de tangence du cercle inscrit aux côtés forment un triangle équilatéral de côté [3], où est le nombre d'or. Un cercle de rayon d centré en un point intérieur au triangle rencontre au moins deux des côtés du triangle.
  • La distance d'un point situé sur un côté du triangle à un autre côté est inférieure ou égale à , l'égalité n'ayant lieu que pour les trois points de tangence du cercle inscrit.

La condition de minceur

[modifier | modifier le code]
La condition de δ-minceur utilisée dans la définition des espaces métriques δ-hyperboliques.

Les dimensions ci-dessus sont les plus grandes possibles pour un triangle hyperbolique quelconque, un résultat important dans la définition des espaces métriques hyperboliques. Plus précisément, le plan hyperbolique (de courbure de Gauss ) est un espace δ-hyperbolique avec .

Le groupe du triangle idéal

[modifier | modifier le code]
Pavage du disque de Poincaré par les triangles idéaux engendrés par les symétries autour des côtés de l'un d'entre eux.

Le groupe du triangle idéal est le groupe discret engendré par les symétries orthogonales ayant pour axes les trois côtés du triangle. Algébriquement, il est isomorphe au produit libre de trois groupes à deux éléments[4].

Notes et références

[modifier | modifier le code]
  1. a et b (en) Dylan Thurston, « 274 Curves on Surfaces, Lecture 5 », fall 2012 (consulté le )
  2. Dans le cas général, il faut diviser les distances par -K ; ainsi le rayon du cercle inscrit est et l'aire du triangle idéal est .
  3. a et b (en) « What is the radius of the inscribed circle of an ideal triangle », sur math.stackexchange.com (consulté le )
  4. Schwartz 2001.

Bibliographie

[modifier | modifier le code]