Triangle idéal
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/73/Ideal_circles.svg/200px-Ideal_circles.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/IdealTriangle_HalfPlane.svg/200px-IdealTriangle_HalfPlane.svg.png)
Définition et propriétés
modifierDans 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![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Hyperbolic_ideal_triangle_and_its_incircle.svg/400px-Hyperbolic_ideal_triangle_and_its_incircle.svg.png)
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![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Delta_thin_triangle_condition.svg/200px-Delta_thin_triangle_condition.svg.png)
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![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Infinite-order_triangular_tiling.svg/200px-Infinite-order_triangular_tiling.svg.png)
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- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ideal triangle » (voir la liste des auteurs).
- (en) Dylan Thurston, « 274 Curves on Surfaces, Lecture 5 », fall 2012 (consulté le )
- 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 .
- (en) « What is the radius of the inscribed circle of an ideal triangle », sur math.stackexchange.com (consulté le )
- Schwartz 2001.
Bibliographie
modifier- (en) Richard Evan Schwartz, « Ideal triangle groups, dented tori, and numerical analysis », Annals of Mathematics, vol. 153, no 3, , p. 533–598 (DOI 10.2307/2661362, JSTOR 2661362, MR 1836282, arXiv math.DG/0105264)