Plan de Moulton — Wikipédia
En géométrie d'incidence (en), le plan de Moulton est un exemple de plan affine pour lequel le théorème de Desargues n'est pas valide. Il est nommé en l'honneur de l'astronome américain Forest Ray Moulton.
Droites
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/93/MoultonPencil.svg/320px-MoultonPencil.svg.png)
Les points d'un plan de Moulton sont les mêmes que dans R2, mais pas les droites :
- une droite euclidienne verticale (d'équation x = Cte) est encore une droite moultonienne ;
- une droite d'équation y = mx + p, où m ≥ 0, est aussi une droite moultonienne ;
- mais les droites de coefficient directeur négatif ne sont pas de droites de Moulton ; on les remplace par la réunion d'une demi-droite d'équation y = mx + p (où m < 0) pour x < 0, et de la demi-droite d'équation y = 2mx + p pour x ≥ 0.
Des droites et segments moultonniens ont donc l'aspect de figures de réfraction, comme on le voit ci-contre.
Axiomes d'incidence
[modifier | modifier le code]Droite par deux points
[modifier | modifier le code]Par deux points distincts A et B du plan de Moulton, il ne passe qu'une droite de Moulton, notée (AB).
Droites sécantes
[modifier | modifier le code]Deux droites de Moulton qui ne sont pas parallèles, ont un seul point commun: Leur intersection.
Le plan de Moulton est non arguésien
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/DesarguesMoulton.svg/400px-DesarguesMoulton.svg.png)
Dans la figure ci-dessus :
- les points A et A' sont sur une droite de Moulton ;
- les points B et B' sont sur une autre droite de Moulton ;
- les points C et C' sont sur une troisième droite de Moulton ;
- les droites de Moulton (AA'), (BB') et (CC') sont concourantes (en un point en dehors de la figure) ;
- les droites de Moulton (AB') et (BA') en marron, se coupent en un point en noir sur la figure ;
- les droites de Moulton (BC') et (CB') en rouge, se coupent en un point en noir sur la figure ;
- les droites de Moulton (AC') et (CA') en vert, se coupent en un point en noir sur la figure.
Il est évident que les trois points noirs ne sont pas alignés : le plan de Moulton n'est pas arguésien.
Axiome d'Euclide dans le plan de Moulton
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fc/EuclideMoulton.svg/160px-EuclideMoulton.svg.png)
Parallèle à une droite par un point
[modifier | modifier le code]Le postulat d'Euclide est vrai dans le plan de Moulton: Par un point (en vert) du plan de Moulton, on peut mener une droite de Moulton (en rouge) et une seule, parallèle à une droite de Moulton donnée (en bleu).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/TriangleMoulton2.svg/160px-TriangleMoulton2.svg.png)
Somme des angles
[modifier | modifier le code]Dans le plan euclidien, le postulat d'Euclide est équivalent au fait que la somme des angles d'un triangle vaut toujours 180°. Dans le plan de Moulton ce n'est pas toujours vrai, puisque la somme des angles du triangle de Moulton ci-contre vaut plus de 190° : en effet, les angles valent respectivement, au degré près par défaut :
- 34° ;
- 76° ;
- 80°.
Leur somme est donc supérieure à 34 + 76 + 80 = 190°.
Géométrie du triangle dans le plan de Moulton
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/TriangleMoulton1.svg/160px-TriangleMoulton1.svg.png)
Médianes
[modifier | modifier le code]La notion de milieu existe toujours dans le plan de Moulton, et donc celle de médiane aussi:
- Le milieu de deux points A et B est le point de la droite (AB) qui est équidistant de A et B.
- La médiane issue de A dans un triangle de Moulton est la droite de Moulton qui joint A au milieu des deux autres sommets du triangle.
Mais les médianes n'étant pas toujours concourantes, le centre de gravité n'est pas défini dans un triangle de Moulton.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/MediatricesTriangleMoulton.svg/160px-MediatricesTriangleMoulton.svg.png)
Médiatrices
[modifier | modifier le code]Les médiatrices d'un triangle de Moulton non plus, ne sont pas concourantes: Le centre du cercle circonscrit n'existe pas.
Dans la figure ci-contre, la médiatrice est définie comme droite de Moulton passant par le milieu. Si on définit la médiatrice de AB comme lieu des points équidistants de A et B, le lieu n'est pas une droite de Moulton; mais il peut alors arriver que les trois médiatrices soient concourantes, et dans ce cas leur point commun est centre du cercle circonscrit.
Le cercle de centre O et de rayon R est défini comme l'ensemble des points M du plan de Moulton tels que la distance de Moulton entre O et M égale R.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d5/OrthocentreMoulton1.svg/160px-OrthocentreMoulton1.svg.png)
Hauteurs
[modifier | modifier le code]Les hauteurs d'un triangle de Moulton par contre, sont concourantes et un triangle de Moulton possède donc un orthocentre.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3f/DeuxPerpendiculaires.svg/160px-DeuxPerpendiculaires.svg.png)
Sauf que ce n'est pas toujours le cas : l'existence ni l'unicité des hauteurs ne sont pas assurées dans le plan de Moulton : ci-contre, on a réussi à mener par un point deux droites de Moulton perpendiculaires à une même droite !
Ainsi, ci-dessus, le triangle de Moulton a 4 hauteurs, et la hauteur supplémentaire, représentée en rouge, ne passe pas par l'orthocentre…
Notes et références
[modifier | modifier le code]Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (de) A. Beutelspacher et U. Rosenbaum, Projektive Geometrie, Vieweg, 1992, p. 70-71.
- (en) Forest Ray Moulton, « A Simple Non-Desarguesian Plane Geometry », Trans. Amer. Math. Soc., vol. 3, no 2, 1902, p. 192-195, JSTOR:1986419 [lire en ligne] [PDF].
- Yves Martin, « La géométrie non arguésienne (Hilbert et Moulton) en géométrie dynamique », sur curvica974.re, IREM de La Réunion,