Plan affine arguésien

Modèle:Images 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 :

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

Définition, unicité et nature

Construction de l'image de M à partir de celles de A et B.

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, AModèle:' et BModèle:' avec A ≠ B, il existe au plus une homothétie-translation qui envoie A sur AModèle:' et B sur BModèle:'.

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

Pour quatre points A, B, AModèle:' et BModèle:' avec A ≠ B, une condition nécessaire pour qu'il existe une homothétie-translation envoyant A sur AModèle:' et B sur BModèle:' est que AModèle:' soit différent de BModèle:' et que les droites (AB) et (AModèle:'BModèle:') soient parallèles. En présence de l'axiome de Desargues, cette condition nécessaire est aussi suffisante.

Il suffit de démontrer que :

• pour tous points C et CModèle:', il existe une translation qui envoie C sur CModèle:' ;
• pour tous points alignés O, D et DModèle:' avec D et DModèle:' distincts de O, il existe une homothétie de centre O qui envoie D sur DModèle:'.

En effet, le premier point fournira une translation t qui envoie A sur AModèle:' ; le point t(B) étant alors sur (AModèle:'BModèle:') et distinct de AModèle:', le second point fournira une homothétie h de centre AModèle:' qui envoie t(B) sur BModèle:', et l'homothétie-translation h∘t enverra bien A sur AModèle:' et B sur BModèle:'.

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. Démontrons, pour le premier point, l'implication utile ici (elle se démontre de même pour le second point).

Modèle:Démonstration/début On peut supposer C ≠ CModèle:' (car dans le cas d'égalité, la solution évidente est l'identité).

Soit tModèle:Ind l'application, définie seulement sur le plan privé de la droite (CCModèle:'), qui envoie chaque point M ∉ (CCModèle:') sur le point d'intersection MModèle:' de la parallèle à (CCModèle:') passant par M et de la parallèle à (CM) passant par CModèle:'.

Les deux points M et MModèle:' étant alors distincts, on peut définir de même une application tModèle:Ind, sur le plan privé de la droite (MMModèle:'). Cette application envoie C sur CModèle:'.

D'après l'axiome de Desargues, tModèle:Ind et tModèle:Ind coïncident en tout point qui n'est ni sur (CCModèle:'), ni sur (MMModèle:'). Elles ont donc un prolongement commun t à tout le plan. Montrons que t est une dilatation. Soient U et V deux points distincts, il faut montrer que leurs images par t sont distinctes et définissent une droite parallèle à (UV).

Le seul cas problématique est celui où U est sur l'une des deux droites (CCModèle:') ou (MMModèle:') et V est sur l'autre (dans les autres cas, on peut utiliser tModèle:Ind ou tModèle:Ind pour calculer les images). Dans ce cas, en supposant que notre plan est d'ordre au moins 3 (ce qui est légitime, sachant déjà que l'unique plan affine d'ordre 2 vérifie le théorème), on peut choisir un point N qui n'est ni sur (CCModèle:'), ni sur (MMModèle:'), et utiliser tModèle:Ind (construit de la même façon que tModèle:Ind). Modèle:Démonstration/fin

Composition

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.

Modèle:Démonstration/début Notons EModèle:Ind le sous-groupe des translations de direction d fixée, et S son complémentaire. Pour toute translation s ∈ S, de direction dModèle:' ≠ d, les sous-groupes EModèle:Ind et EModèle:Ind étant normaux et d'intersection triviale, s commute avec tout élément de EModèle:Ind, d'après les propriétés générales des commutateurs.

Or le sous-groupe EModèle:Ind est propre — au sens : distinct de E(P) — donc son complémentaire S engendre E(P). D'après le point précédent, le centralisateur de EModèle:Ind est donc E(P) tout entier, c'est-à-dire qu'une translation de direction (quelconque) d commute avec toutes les translations. Modèle:Démonstration/fin

Les homothéties de centre fixé O forment un sous-groupe de G, dont on montrera Modèle:Infra qu'il est isomorphe au groupe multiplicatif d'un corps K tel que P soit un K-espace affine.

Structure d'espace affine

Espace affine de dimension 2

Modèle:Article détaillé 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 $v,w\in E$ et pour tous scalaires $\lambda ,\mu \in K$ :

$\lambda .(v+w)=\lambda .v+\lambda .w\mathrm{e}\mathrm{t}\lambda .(\mu .v)=(\lambda \mu ).v.$

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

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 idModèle:Ind 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 : Modèle:Théorème

Modèle:Démonstration/début Soient σ un endomorphisme non nul de E(P) qui préserve la direction, et O un point arbitraire. Montrons qu'il existe une homothétie h de centre O telle que l'action de σ sur E(P) soit la conjugaison par h (cela prouvera que σ est inversible dans K, avec comme inverse la conjugaison par hModèle:-1).

Pour tous points A et B, notons tModèle:Ind la translation qui envoie A sur B, puis définissons h par h(M) = σ(tModèle:Ind)(O).

Alors (puisque σ est un morphisme) h(O) = O et σ(tModèle:Ind)(h(A)) = h(B) donc (puisque de plus σ préserve la direction) si B ≠ A, h(B) est sur la parallèle à (AB) passant par h(A), c'est-à-dire que h est une dilatation.

Enfin, h n'est pas constante (sinon on aurait, pour tout M : σ(tModèle:Ind)(O) = h(M) = h(O) = O c'est-à-dire : pour toute translation t, σ(t) = idModèle:Ind donc σ = 0).

Ainsi, h est une dilatation non constante donc bijective et pour toute translation t, les translations h∘t∘hModèle:-1 et σ(t) sont bien égales puisque pour tout M, (h∘tModèle:Ind∘hModèle:-1)(O) = (h∘tModèle:Ind)(O) = h(M) = σ(tModèle:Ind)(O). Modèle:Démonstration/fin

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).

Modèle:Démonstration/début Un sous-espace affine de dimension 1 de P est un ensemble de points de la forme (Kt)(O), pour tout point O et toute translation t différente de l'identité. Le point (0t)(O) est simplement id(O) = O. D'après la preuve du théorème précédent, les autres points (σt)(O) sont les points de la forme h∘t∘hModèle:-1(O) = h(A), où h parcourt les homothéties de centre O et où A désigne le point t(O). L'ensemble (Kt)(O) est donc la droite (OA) (au sens de la relation d'incidence) et réciproquement, toute droite s'écrit sous cette forme. Modèle:Démonstration/fin

Enfin, la dimension de P est nécessairement 2, ni plus (d'après le Modèle:3e axiome d'incidence), ni moins (d'après le Modèle:2e).

L'éventuelle commutativité du corps K dépend d'un axiome supplémentaire, la propriété de Pappus (version affine) :

Axiome de Pappus affine : Si les points A₁, B₁ et C₁ sont alignés, de même que les points A₂, B₂ et C₂, et si les droites (B₁C₂) et (C₁B₂) sont parallèles, de même que les droites (A₁B₂) et (B₁A₂), alors les droites (A₁C₂) et (C₁A₂) sont parallèles.

Plan affine de Pappus

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 A₁, B₁ et C₁ alignés, les points A₂, B₂ et C₂ sont également alignés sur une droite sécante avec la précédente en O, et les droites (B₁C₂) et (C₁B₂) parallèles, de même que les droites (A₁B₂) et (B₁A₂).

Soit h₁ l'homothétie de centre O qui envoie A₁ sur B₁, et h₂, l'homothétie de centre O qui envoie C₂ sur B₂. On déduit des conditions de parallélisme que h₂ ∘ h₁(A₁) = C₁ et h₁ ∘ h₂(C₂) = A₂. Les droites (A₁C₂) et (C₁A₂)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) h₂ ∘ h₁ et h₁ ∘ h₂ sont identiques, c'est-à-dire si et seulement si le produit des rapports des deux homothéties h₁ et h₂ 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 A₁, B₁, C₁ et A₂, B₂, C₂ tous alignés), soit déjà démontrables dans un plan affine arguésien (droite passant par A₁, B₁ et C₁ strictement parallèle à la droite passant par A₂, B₂, et C₂), ainsi que déductibles du cas principal.

Voir aussi

Bibliographie

• Modèle:Ouvrage. Trad. fr. Algèbre géométrique, réimpr. Jacques Gabay, 1996, chap. II.
• Modèle:Chapitre, preprint. Voir en particulier Modèle:P. (Modèle:P. du preprint) les diverses formes des axiomes de Desargues et de Pappus du plan affine et les liens logiques entre elles.
• Modèle:Ouvrage, chap. V.
• Modèle:Lien web.

Articles connexes

• Plan projectif arguésien
• Plan de Moufang