Plan affine arguésien
Dans une approche axiomatique de la géométrie affine, un plan affine arguésien ou plan affine de Desargues (ou desarguésien) est un plan affine au sens des axiomes d'incidence, vérifiant de plus l'axiome de Desargues :
Pour toutes droites distinctes d1, d2 et d3 concourantes ou parallèles et pour tous points A1 et B1 incidents à d1, A2 et B2 incidents à d2, A3 et B3 incidents à d3,
si (A1A2)//(B1B2) et (A2A3)//(B2B3) alors (A1A3)//(B1B3).
Ajouté aux axiomes d'incidence des plans affines, qui permettent de définir les homothéties et les translations, cet axiome équivaut à l'existence de suffisamment d'homothéties (dans le cas de droites concourantes) et de translations (dans le cas de droites parallèles). De ce fait, tout plan de Desargues se réalise comme un plan affine sur un corps K (éventuellement non commutatif), dont le plan vectoriel directeur est défini comme l'ensemble des translations du plan ; le groupe multiplicatif de K s'identifie au groupe des homothéties de centre un point donné. Réciproquement, d'après le théorème de Desargues, tout plan affine, au sens « espace affine de dimension 2 sur un corps », satisfait (les axiomes d'incidence et) l'axiome de Desargues.
En dimension supérieure ou égale à 3, la propriété de Desargues est un théorème qui se démontre à l'aide des seuls axiomes d'incidence de la géométrie affine.
Pour un plan affine arguésien, la commutativité du corps sous-jacent équivaut à la propriété de Pappus, que l'on peut prendre pour axiome. On appelle alors plan affine de Pappus un plan affine arguésien vérifiant l'axiome de Pappus. Il s'avère que l'axiome de Desargues devient alors redondant, d'après le théorème de Hessenberg.
Homothéties-translations
[modifier | modifier le code]Définition, unicité et nature
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Image_par_homoth%C3%A9tie-translation_1.svg/220px-Image_par_homoth%C3%A9tie-translation_1.svg.png)
Une homothétie-translation d'un plan affine (non nécessairement arguésien) est par définition une bijection, de l'ensemble des points dans lui-même, qui envoie (bijectivement) toute droite sur une droite parallèle. L'application induite, de l'ensemble des droites dans lui-même, est alors également bijective.
Une homothétie-translation est entièrement déterminée par les images de deux points distincts, c'est-à-dire qu'étant donnés quatre points A, B, A' et B' avec A ≠ B, il existe au plus une homothétie-translation qui envoie A sur A' et B sur B'.
D'après cette unicité, une homothétie-translation différente de l'identité a au plus un point fixe. Si elle en a un, on dit que c'est une homothétie de centre ce point ; si elle n'en a pas, on l'appelle translation. L'identité est considérée à la fois comme une homothétie (de centre arbitraire) et comme une translation.
- Une translation est uniquement définie par l'image d'un point.
- Une homothétie est uniquement définie par son centre O et l'image d'un point distinct de O.
Existence
[modifier | modifier le code]Pour quatre points A, B, A' et B' avec A ≠ B, une condition nécessaire pour qu'il existe une homothétie-translation envoyant A sur A' et B sur B' est que A' soit différent de B' et que les droites (AB) et (A'B') soient parallèles. En présence de l'axiome de Desargues, cette condition nécessaire est aussi suffisante.
Théorème — Dans un plan affine de Desargues, si A ≠ B, A' ≠ B' et si (AB) et (A'B') sont parallèles, alors il existe une (unique) homothétie-translation qui envoie A sur A' et B sur B'.
Il suffit de démontrer que :
- pour tous points C et C', il existe une translation qui envoie C sur C' ;
- pour tous points alignés O, D et D' avec D et D' distincts de O, il existe une homothétie de centre O qui envoie D sur D'.
En effet, le premier point fournira une translation t qui envoie A sur A' ; le point t(B) étant alors sur (A'B') et distinct de A', le second point fournira une homothétie h de centre A' qui envoie t(B) sur B', et l'homothétie-translation h∘t enverra bien A sur A' et B sur B'.
Le premier point équivaut à l'axiome de Desargues dans le cas de trois droites parallèles et le second équivaut à l'axiome dans le cas de trois droites concourantes[1]. Démontrons, pour le premier point, l'implication utile ici (elle se démontre de même pour le second point).
Composition
[modifier | modifier le code]Les homothéties-translations forment un groupe pour la composition, noté G, et les translations forment un sous-groupe normal, noté E(P). Les translations de direction donnée forment également un sous-groupe normal.
Si le plan P est arguésien, le groupe E(P) sera noté additivement, pour la raison suivante.
Théorème — Si le plan P est arguésien, le groupe E(P) des translations est commutatif[2].
Les homothéties de centre fixé O forment un sous-groupe de G, dont on montrera (voir infra) qu'il est isomorphe au groupe multiplicatif d'un corps K tel que P soit un K-espace affine.
Structure d'espace affine
[modifier | modifier le code]Espace affine de dimension 2
[modifier | modifier le code]Un espace vectoriel (à gauche) sur un corps K (corps des scalaires) est un groupe commutatif (E, +) (dont les éléments sont appelés vecteurs), muni d'une loi externe K×E → E vérifiant les relations de distributivité et d'« associativité » suivantes, valables pour tous vecteurs et pour tous scalaires :
Un espace affine d'espace vectoriel directeur E est un ensemble A muni d'une action libre et transitive du groupe (E, +) sur A.
Les espaces affines de dimension 2 sont des plans affines de Desargues.
Réciproque
[modifier | modifier le code]Montrons que réciproquement, tout plan affine de Desargues P est un espace affine de dimension 2 dont le plan vectoriel directeur (sur un corps non nécessairement commutatif) est le groupe des translations de P.
Comme le groupe E(P) des translations est commutatif, l'ensemble de ses endomorphismes est naturellement muni d'une structure d'anneau (avec + comme addition et ∘ comme multiplication, donc avec comme neutre additif l'endomorphisme nul, noté 0 — qui à toute translation associe le neutre idP de E(P) — et comme neutre multiplicatif l'identité de E(P), notée 1). Le groupe E(P) est muni d'une structure naturelle de module à gauche sur cet anneau.
Le sous-ensemble des endomorphismes qui préservent la direction est un sous-anneau, noté K, et E(P) est donc un K-module. C'est même un K-espace vectoriel, car :
L'action naturelle de E(P) sur P est bien libre et transitive, ce qui fait de P un espace affine de direction le K-espace vectoriel E(P).
Théorème — Les sous-espaces affines de dimension 1 du K-espace affine P sont exactement les droites initialement données par la relation d'incidence.
Enfin, la dimension de P est nécessairement 2, ni plus (d'après le 3e axiome d'incidence), ni moins (d'après le 2e).
L'éventuelle commutativité du corps K dépend d'un axiome supplémentaire, la propriété de Pappus (version affine) :
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bf/PappusAffine.svg/220px-PappusAffine.svg.png)
Plan affine de Pappus
[modifier | modifier le code]Un plan affine de Pappus est un plan affine arguésien vérifiant l'axiome de Pappus affine (énoncé ci-contre).
On suppose les points A1, B1 et C1 alignés, les points A2, B2 et C2 sont également alignés sur une droite sécante avec la précédente en O, et les droites (B1C2) et (C1B2) parallèles, de même que les droites (A1B2) et (B1A2).
Soit h1 l'homothétie de centre O qui envoie A1 sur B1, et h2, l'homothétie de centre O qui envoie C2 sur B2. On déduit des conditions de parallélisme que h2 ∘ h1(A1) = C1 et h1 ∘ h2(C2) = A2. Les droites (A1C2) et (C1A2)sont parallèles si et seulement si les deux homothéties de centre O (définies chacune par l'image d'un point distinct de O) h2 ∘ h1 et h1 ∘ h2 sont identiques, c'est-à-dire si et seulement si le produit des rapports des deux homothéties h1 et h2 est commutatif.
Ceci assure l'équivalence (dans un plan affine arguésien) entre la commutativité du corps associé et l'axiome de Pappus, sachant que les cas particuliers de l'axiome non pris en compte sont soit triviaux (points A1, B1, C1 et A2, B2, C2 tous alignés), soit déjà démontrables dans un plan affine arguésien (droite passant par A1, B1 et C1 strictement parallèle à la droite passant par A2, B2, et C2)[4], ainsi que déductibles du cas principal[5].
Notes et références
[modifier | modifier le code]- Artin 1957, p. 71-73.
- Artin 1957, p. 57. La preuve utilise seulement qu'il existe des translations qui n'ont pas même direction (voir supra), et montre implicitement que si un groupe G est réunion d'une famille de sous-groupes normaux propres se coupant trivialement deux à deux, G est abélien.
- Artin 1957, p. 58-63, en ne supposant l'axiome de Desargues que dans le cas de trois droites parallèles (voir supra).
- Ce cas particulier du théorème de Pappus se déduit du cas particulier de l'axiome de Desargues où les trois droites sont parallèles, Rothe, Th. 3.9.
- (en) N. D. Lane, « A note on affine Pappus conditions », Canad. Math. Bull., vol. 10, , p. 453-457 (DOI 10.4153/CMB-1967-043-2).
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (en) Emil Artin, Geometric Algebra, New York, Interscience Publishers, (lire en ligne). Trad. fr. Algèbre géométrique, réimpr. Jacques Gabay, 1996, chap. II.
- (en) P. Balbiani, V. Goranko, R. Kellerman et D. Vakarelov, « Logical Theories for Fragments of Elementary Geometry », dans M. Aiello, I. Pratt-Hartmann et J. van Benthem, Handbook of Spatial Logics, Springer, (lire en ligne), p. 343-428, preprint. Voir en particulier p. 372-376 (p. 32-36 du preprint) les diverses formes des axiomes de Desargues et de Pappus du plan affine et les liens logiques entre elles.
- Jacqueline Lelong-Ferrand, Fondements de la géométrie, Paris, PUF, , 287 p. (ISBN 2-13-038851-5), chap. V.
- (en) Franz Rothe, « Pappus', Desargues' and Pascal's Theorems », sur UNC Charlotte.