Texte - TACT

Lamothe, Jean-François
[email protected]
Exploration de la géométrie hyperbolique.
Acte de CabriWorld 2001
Atelier 404
Université du Québec à Trois-Rivières
CANADA
En ce 11 juin 2001
1
La géométrie a pris naissance il y a environ 2500 ans. Euclide réunit tout le matériel
mathématique de son époque en un seul ouvrage, Les Éléments. Les fondements de la géométrie
s’y trouvent. Selon Euclide, par un point hors d’une droite, il ne passe qu’une seule parallèle à la
droite donnée. Pendant 2000 ans, les mathématiciens cherchèrent à prouver cet énoncé ou à le
contredire. Lorsque Bolyai, Gauss et Lobatchevsky développèrent une géométrie à l’intérieur de
laquelle par un point hors d’une droite, il passe plus qu’une parallèle à la droite donnée, la
géométrie hyperbolique voyait le jour. Cette géométrie s’affirma davantage consistante lorsque
Beltrami, Klein et Poincaré présentèrent leur modèle.
Durant cet exposé, nous allons ensemble définir la géométrie neutre. Ensuite, nous
aborderons la géométrie hyperbolique par le modèle de Poincaré.
Nous verrons les
caractéristiques des points, des droites, des triangles et des cercles hyperboliques. À l’aide des
transformations géométriques de la géométrie neutre, nous construirons les différentes macros
que contient Cabri-Géomètre II. Finalement, nous démontrerons les propriétés hyperboliques,
qui sont pour tout dire assez fascinantes.
La Géométrie Neutre
La géométrie neutre est la théorie axiomatique munie des axiomes d’incidence, d’ordre,
de congruence et de continuité. Voici la liste de ces axiomes selon la formulation de Hilbert.
Incidence
I(1) : Par deux points distincts passe une et une seule droite.
I(2) : Toute droite contient au moins deux points.
I(3) : Il existe trois points non-incidents à une même droite.
Ordre
O(1) : Si A ∗ B ∗ C , alors A, B et C sont trois points distincts d’une même droite et C ∗ B ∗ A .
O(2) : Si A et B sont deux points distincts, alors il existe toujours un point C tel que A ∗ B ∗ C .
O(3) : Si A, B et C sont trois points alignés distincts, alors l’un des trois au plus est situé
entre les deux autres.
O(4) : Toute droite coupant un côté d’un triangle coupe un second côté ou passe par le sommet
opposé.
2
Congruence
C(1) : De part et d’autre d’un point donné sur une droite, on peut construire un et un seul
segment congruent à un segment donné.
C(2) : Si AB ≅ CD et AB ≅ EF , alors CD ≅ EF . De plus, chaque segment est congruent à luimême.
C(3) : Si A ∗ B ∗ C , A'∗B'∗C ' , AB ≅ A' B' et BC ≅ B 'C ' , alors AC ≅ A'C '.
C(4) : De part et d’autre d’une demi-droite, on peut construire un et un seul angle congruent à un
angle donné.
C(5) : Si ∠A ≅ ∠B et ∠A ≅ ∠C , alors ∠B ≅ ∠C . De plus, tout angle est congru à lui-même.
C(6) : Deux ∆s sont congrus lorsqu’ils ont un angle congru compris entre deux côtés
respectivement congrus.
Continuité
Axiome de Dedekind
Supposons que l’ensemble des points incidents à la droite m est l’union ∑ 1 ∪ ∑ 2 de deux
sous-ensembles non-vides tel qu’aucun point de ∑ 1 n’est entre deux points de ∑ 2 et vice
versa. Alors il y a un unique point O incident à m tel que P1 ∗ O ∗ P 2 pour tout point P1
de ∑ 1 et tout point P 2 de ∑ 2 si P1 et P 2 sont différents de O.
Les théôrèmes de la géométrie neutre sont indépendants des axiomes des parallèles. Lorsque
nous voulons travailler en géométrie euclidienne, nous rajouterons l’axiome euclidien des
parallèles:
Pour toute droite et pour tout point hors de la droite, il existe exactement une droite
parallèle à la droite donnée passant par le point donné.
Si nous voulons, par contre, travailler en géométrie hyperbolique, nous rajouterons l’axiome
hyperbolique des parallèles :
Pour toute droite et pour tout point hors de cette droite, il existe deux et même une infinité
de droites parallèles à la droite donnée passant par le point donné.
Voyons à l’aide du modèle de Poincaré, comment cet axiome s’intègre à la géométrie neutre.
3
Le Modèle de Poincaré
Ce modèle se situe à l’intérieur d’un cercle de référence appelé cercle horizon.
Points :
•points intérieurs au cercle horizon.
Droites :
•diamètres ouverts du cercle horizon
•la partie intérieure des cercles orthogonaux au cercle horizon.
Il est facile de voir qu’avec ce modèle tous les axiomes de la géométrie neutre sont vérifiés, et en
plus l’axiome hyperbolique des parallèles. Définissons et classifions les points, les droites, les
triangles et les cercles hyperboliques.
Définitions et Classifications
Commençons par les points :
Points.fig
Passons à la classification des droites parallèles :
-Deux droites sont dites parallèles lorsqu’elles n’ont aucun point incident en commun.
Parallèles.fig
-Soit une droite m et un point P hors de la droite m, on peut tracer deux droites parallèles
asymptotiques à m passant par P. Nous les appelerons les droites parallèles limitantes de
m.
Maintenant, voyons les différents triangles :
-Un triangle est l’ensemble formé par trois sommets non-colinéaires et les trois segments
reliants ces sommets deux à deux.
Triangles.fig
4
À présent, les cercles :
-Un cercle de centre O et de rayon OP est l’ensemble des points X tels que OX ≅ OP .
-On peut le définir aussi comme l’ensemble des points X tels que la médiatrice de XP
passe par le centre O.
Cercles.fig
* Il est important de noter que le cercle hyperbolique est la représentation d’un cercle euclidien.
La seule différence est que le centre hyperbolique du cercle ne coïncide pas avec le centre
euclidien.
Transformations géométriques
Définissons bien chaque transformation géométrique, et appliquons-les au modèle de
Poincaré.
Symétrie orthogonale(appelée symétrie axiale dans Cabri II) par rapport à une droite m :
-Transformation du plan notée Rm définie par Rm (A) = A si A est incident à m, sinon
Rm(A) est l’unique point A' tel que A'∗M ∗ A et A' M ≅ MA où M est le pied de la
perpendiculaire à m passant par A.
*Notons que notre œil est habitué à la géométrie euclidienne.
Les symétriques
hyperboliques ne semblent pas toujours de même longueur, mais ils le sont bel et bien.
Nous verrons, plus tard, dans les propriétés hyperboliques, la formule de distance dans le
modèle de Poincaré.
Symétrie centrale par rapport à un point O :
-Transformation du plan qui à tout point P du plan fait correspondre le point P' tel que le
point O soit le milieu du segment PP' . Entre d’autres mots, O, P et P ' sont colinéaires et
PO ≅ OP ' . On peut considérer la symétrie centrale comme une rotation de 180°.
5
Rotation autour du point O :
-Transformation du plan résultante du produit de deux symétries orthogonales dont les
axes sont sécants au point O. Si l’angle formé par les deux axes est droit, la rotation est
de 180°, c’est donc une symétrie centrale. Sinon, la rotation sera de deux fois la valeur de
l’angle aigu formé par les axes des symétries orthogonales.
Translation le long de la droite t :
-Transformation du plan résultante du produit de deux symétries orthogonales dont les
axes possèdent une perpendiculaire commune. En euclidien, la translation sera de deux
fois la valeur de la distance entre les deux droites. En hyperbolique, elle sera plus grande
que deux fois cette distance.
Inversion par rapport au cercle H :
-Soit H un cercle de rayon r et de centre O, pour tout point P ≠ O l’inverse de P par rapport
à H est l’unique point P' sur la demi-droite OP tel que OP'•OP = r 2 . En euclidien, cela
transforme des cercles en droites, et réciproquement, des droites en cercles. Cependant en
hyperbolique, étant donné que nos droites sont déjà des arcs de cercles, l’inversion
coïncide avec la symétrie orthogonale.
Déplacement parallèle autour de Ω (seulement en hyperbolique) :
-Transformation du plan résultante du produit de deux symétries orthogonales dont les
axes possèdent un point idéal Ω commun.
Constructions des macros hyperboliques de Cabri-Géomètre II.
Étudions à présent, les macros hyperboliques de Cabri. Commençons tout d’abord par la
droite hyperbolique, qui peut être construite de deux manières différentes:
H-droites(1).fig
H-droites(2).fig
6
Passons à la construction de la perpendiculaire à une droite passant par un point. Ici aussi, deux
manières différentes peuvent être utilisées :
-Deux droites sont dites perpendiculaires si à leur point de concourance, elles forment 4
angles congrus, en d’autres mots, 4 angles droits.
Perpendiculaire(1).fig
Perpendiculaire(2).fig
Maintenant, regardons la macro de la perpendiculaire commune à deux parallèles divergentes :
*Notons que contrairement à la géométrie euclidienne, il n’existe pas toujours une
perpendiculaire commune entre deux parallèles. Elles doivent être des parallèles divergentes.
Perpencomm(1).fig
À présent, la médiatrice :
-Une droite m est dite la médiatrice d’un segment AB si m est la perpendiculaire à la
droite-support de AB passant par le point-milieu du segment AB.
Médiatrice.fig
7
Finalement, les cercles :
H-cercle.fig
H-horocycle.fig
H-equidistante.fig
Les Propriétés Hyperboliques
1) Analyse de la distance hyperbolique. La constante c vaut 1 dans Cabri-géomètre.
Analyse distance.fig
2) Droite de clôture ou de fermeture : Cette droite effectue une séparation du plan : d’un côté
toutes ses droites parallèles sont comprises à l’intérieur de
l’angle et de l’autre côté aucune de ses droites parallèles ne
l’est.
3) Angle de parallélisme :
Toute droite passant par P(le point hors de la droite de
clôture) et par un point intérieur à l’angle formé des deux
demi-droites limitantes à la droite de clôture est sécante à
cette dernière. L’angle de parallélisme est la moitié de cet
angle.
8
4) Formule de Bolyai-Lobatchevsky : Soit α la valeur d’un angle de parallélisme et d la distance
hyperbolique entre P(le sommet de l’angle de parallélisme)
et la droite de clôture à l’angle, la formule de BolyaiLobatchevsky est : tan (α/2) = e
–d/c
utilisé dans la formule de distance.
. c est la constante
Cabri-géomètre a
déterminé c = 1.
5) Les angles de sommets d’un quadrilatère de Saccheri sont toujours congrus. Ils sont droits en
géométrie euclidienne et aigus en géométrie hyperbolique.
6) On peut associer un quadrilatère de Saccheri à chaque triangle hyperbolique.
quadrilatère associé.fig
7) Il est possible de prouver, par des triangles semblables, que la somme des angles d’un triangle
hyperbolique vaut 2 fois la valeur de l’angle d’un sommet de son quadrilatère de Saccheri
associé. Donc les triangles hyperboliques ont une somme d’angles toujours plus petite que
180 degrés.
8) Comme tout quadrilatère peut être séparé en deux triangles, et que la somme des angles des
triangles est plus petite que 180 degrés, la somme des angles de tous quadrilatères
hyperboliques est plus petite que 360 degrés. Donc il n’existe aucun rectangle en géométrie
hyperbolique.
9) Tous les triangles semblables sont congrus. AAA est un critère de congruence.
10) La différence entre la somme des angles d’un triangle et 180 est le défaut du triangle.
11) Il est possible de prouver que la formule d’aire des triangles hyperboliques est :
π * c 2 / 180 * défaut.
Notons que Cabri-géomètre a défini la valeur de c à 1.
9
C’est fascinant de voir qu’en géométrie euclidienne, il est nécessaire de définir la valeur
unitaire du segment et la valeur unitaire de l’angle, tandis qu’en géométrie hyperbolique, il s’agit
d’en définir qu’une seule et l’autre y est dépendante. Par exemple, on peut définir le segment
unitaire comme la distance entre un point P et une droite AB lorsque l’angle de parallélisme au
point P par rapport à AB vaut 45 degrés. Dans cette situation, la valeur c vaudra 1/arcsinh(1).
10
Annexe 1
Géométrie Neutre :
La géométrie neutre est la théorie axiomatique munie des axiomes
d’incidence, d’ordre, de congruence et de continuité.
Droites parallèles :
Deux droites sont dites parallèles lorsqu’elles n’ont aucun point
ordinaire incident en commun.
Triangle :
Un triangle est l’ensemble formé par trois sommets non-colinéaires
et les trois segments reliant ces sommets deux à deux.
Cercle :
Un cercle de centre O et de rayon OP est l’ensemble des points X
tels que OX ≅ OP . L’ensemble des points X tels que la médiatrice
de XP passe par le centre O.
Horocycle :
Un horocycle est un cercle hyperbolique dont le rayon est infini et
son centre est un point idéal.
Perpendiculaire :
Deux droites sécantes sont dites perpendiculaires si à leur point
incident commun, elles forment 4 angles congrus, en d’autres mots,
4 angles droits.
Médiatrice :
Une droite m est dite la médiatrice d’un segment AB si m est la
perpendiculaire à la droite support de AB passant par le point-milieu
du segment AB.
Courbe équidistante :
La courbe équidistante de l passant par P est l’ensemble des points
X d’un côté donné de l tel que la distance de l à X est congru à la
distance de P à l.
Droite de clôture :
La droite de clôture m par rapport à un angle est la droite parallèle
asymptotique aux deux demi-droites qui forment l’angle donné.
Angle de parallélisme :
L’angle de parallélisme au point P par rapport à la droite m est la
moitié de l’angle formé par les deux demi-droites limitantes à la
droite m passant par P.
Quadrilatère de Sacherri :
Un quadrilatère dont les angles de la base sont droits et dont les
deux côtés adjacents à la base sont congrus est un quadrilatère de
Saccheri.
11
Bibliographie
BORCEUX, Francis, Initiation à la géométrie, Ciaco éditeur, 1986.
GREENBERG, Marvin Jay, Euclidean and Non-Euclidean Geometries, Development and
History, 3e edition, W.H.Freeman, 1993.
JORDAN, Meyer et PRENOWITZ, Walter, Basics Concepts of Geometry, Ardsley House, 1989.
MANNING, Henry Parker, Introductory Non-Euclidean Geometry, Dover, 1963.
MESERVE, Bruce E., Fundamentals Concepts of Geometry, Addison-Wesley, 1955.
MOISE, E. E., Elementary Geometry from an Advanced Standpoint, Addison-Wesley, 1990.
SIBLEY, Thomas Q., The Geometric Viewpoint, A Survey of Geometries, Addison-Wesley, 1998.
12