En géométrie hyperbolique, un hypercycle est une courbe formée de tous les points situés à la même distance, appelée le rayon, d'une droite fixée (appelée son axe). Les hypercycles peuvent être considérés comme des cercles généralisés, mais possèdent aussi certaines propriétés des droites euclidiennes; dans le modèle du disque de Poincaré, les hypercycles sont représentés par des arcs de cercles.
Construction, dans le disque de Poincaré, de l'hypercycle HC d'axe L passant par P (l'autre hypercycle en rouge est celui ayant le même axe et le même rayon que HC).
En géométrie euclidienne, l'ensemble de tous les points situés à distance donnée d'une droite donnée est formée de deux parallèles à cette droite (c'est cette propriété que Clairaut prend comme définition du parallèlisme). Au contraire, en géométrie hyperbolique, deux droites non sécantes («parallèles» au sens usuel) se rapprochent l'une de l'autre indéfiniment (on parle de parallèles asymptotes) ou possèdent une perpendiculaire commune unique, matérialisant leur distance minimale (on parle dultraparallèles). L'ensemble des points équidistants d'une droite, en géométrie hyperbolique, est formé de deux courbes, appelées hypercycles; la droite est laxe et la distance est le rayon de ces hypercycles.
Certaines propriétés des hypercycles sont analogues à celles des droites euclidiennes:
Par un point non situé sur une droite passe un hypercycle unique ayant cette droite pour axe.
Trois points d'un hypercycle ne sont jamais cocycliques.
Tout hypercycle est symétrique par rapport à toute droite qui lui est perpendiculaire[1].
D'autres propriétés des hypercycles sont analogues à celles des cercles euclidiens:
Soit A et B deux points d'un hypercycle. La médiatrice de AB est perpendiculaire à l'hypercycle et à son axe, et coupe l'hypercycle au milieu de l'arc AB.
L'axe d'un hypercycle est unique.
Deux hypercycles ont le même rayon si et seulement si ils sont congruents.
Une droite coupe un hypercycle en deux points au plus.
Deux hypercycles ont au plus deux points communs.
Démonstrations
Soit M le milieu de l’arc AB:
Par symétrie, la médiatrice de la corde AB est orthogonale à l’axe en N, et passe par M; MN est donc un rayon.
Supposons qu'un hypercycle ait deux axes distincts. Prenant deux cordes distinctes AB et CD, et utilisant deux fois le résultat précédent pour chacun des deux axes, on obtient quatre rayons distincts MN et MN' d'une part, PQ et PQ' de l'autre, et par construction, la figure NN'Q'Q est un rectangle, ce qui est impossible en géométrie hyperbolique.
Si les deux rayons sont les mêmes, amenant les deux axes l'un sur l'autre par un déplacement (éventuellment suivi d'une rotation de 180°), les deux hypercycles coïncident eux aussi. Inversement, si on superpose les deux hypercycles par un déplacement, l'unicité des axes démontrée précédemment implique l'égalité des rayons.
Soit A et B deux points d'intersection de la droite avec l'hypercycle. La droite AB est ultraparallèle à l'axe, puisque MN (construit comme en 1) est la perpendiculaire commune à ces deux droites; MN est également la plus petite distance entre l'axe et AB. La distance entre les droites étant croissante en s'éloignant de M, elle ne peut être égale au rayon qu'en A et en B.
Soit C1 et C2 deux hypercycles s'intersectant en trois points A, B, et C. On construit comme précédemment les médiatrices de AB et de BC, qui sont donc orthogonales aux deux axes des hypercycles; comme cela formerait un rectangle impossible, les deux axes sont confondus, et C1 et C2 ayant même axe et un point commun, donc même rayon, sont confondus.
Pavage octogonal alterné(en) du disque de Poincaré, les arêtes consécutives étant inscrites dans des hypercycles.
supérieure à la longueur du segment de droite entre ces points (les droites étant des géodésiques du plan hyperbolique), mais
inférieure à la longueur de l'arc de n'importe quel cercle ou horocycle entre ces deux points.
Prenant la courbure du plan hyperbolique égale à −1, soit A et B deux points de l'hypercycle, r son rayon et d la distance entre les projections de A et B sur son axe; la longueur a de l'arc AB est donné par la formule a = dchr[2].
Dans le modèle du disque de Poincaré, les droites sont représentées par des arcs de cercles orthogonaux au cercle limite; un hypercycle ayant pour axe une droite d est représenté par un arc de cercle passant par les points d'intersection de d avec le cercle limite.
George E. Martin, The foundations of geometry and the non-euclidean plane, New York, Springer-Verlag, , 1., corr. Springeréd. (ISBN3-540-90694-0), p.371
.svg)
