Axiome de Pasch
Pour les articles homonymes, voir Pasch.
En mathématiques, l'axiome de Pasch est un axiome de la géométrie, énoncé en 1882[1], et visant à mettre en évidence une propriété implicitement utilisée jusque-là, en particulier dans les Éléments d'Euclide.
Énoncé
[modifier | modifier le code]L'axiome de Pasch s'énonce de la façon suivante :
- Soient A, B, et C trois points non alignés et (d) une droite du plan ABC qui ne passe par aucun des points A, B et C ; si la droite (d) passe par l'un des points du segment AB, elle passe ou par un point du segment BC ou par un point du segment AC.
Utilisation
[modifier | modifier le code]Cet axiome est repris par David Hilbert dans ses Fondements de la géométrie parus en 1899, et constitue le quatrième des axiomes d'ordre. Dans la septième édition de l'ouvrage, il est utilisé par Hilbert pour prouver les propriétés suivantes[2] :
- Deux points A et C étant donnés, il existe sur la droite (AC) au moins un point D situé entre A et C.
- De trois points alignés A, B et C, il y en a un qui est entre les deux autres.
L'axiome de Pasch intervient de manière cruciale dans la notion de demi-plan. Une droite d partitionne les points du plan qui n'appartiennent pas à cette droite en deux parties appelées demi-plans et jouissant des propriétés suivantes : tout point A de la première partie détermine avec tout point B de la deuxième partie un segment [AB] qui intersecte la droite d, et deux points de la même partie déterminent un segment qui n'intersecte pas la droite d. On a besoin de l'axiome de Pasch pour montrer que, si B et C sont dans le même demi-plan que A, alors [BC] n'intersecte pas la droite d.
L'axiome de Pasch comble certaines lacunes des démonstrations d'Euclide, par exemple la prop.16 du Livre I qui énonce que, ayant prolongé un côté d'un triangle quelconque, l'angle extérieur ainsi formé est plus grand que chacun des angles intérieurs au triangle et opposés à l'angle extérieur[3],[4],[5]
Voir aussi
[modifier | modifier le code]Notes et références
[modifier | modifier le code]- Moritz Pasch, Vorlesungen über neuere Geometrie (1882), rééd.Springer (1976) (ISBN 9783540062943)
- David Hilbert, Les fondements de la géométrie, Dunod Paris (1971), rééd. Jacques Gabay (1997) (ISBN 9782876471276) théorèmes 3 et 4, p.14-19. Ces théorèmes étaient qualifiés d'axiomes dans la première édition.
- François Peyrard, Les œuvres d'Euclide, rééd. Blanchard Paris, 1993 (ISBN 9782853670517)
- Marvin J. Greenberg, Euclidean and non-euclidean geometries, development and history, 4e éd., W. H. Freeman, New-York, (1992) (ISBN 9780716724469) p.165
- Victor Pambuccian, The axiomatics of ordered geometry: I. Ordered incidence spaces. Expositiones Mathematicae 29 (2011), 24-66.
