Plan affine de Desargues

Axiome de Désargues

Dans une approche axiomatique de la géométrie, un plan affine de Désargues est un plan affine incident P vérifiant l'axiome de Désargues :

Pour toutes droites

d 1

d 2

d 3

concourantes ou deux à deux parallèles, et pour tous points

A 1

B 1

incidents à

d 1

;

A 2

B 2

incidents à

d 2

;

A 3

B 3

incidents à

d 3

, si deux des trois couples de droites

(A 1 A 2)

(B 1 B 2)

;

(A 2 A 3)

(B 2 B 3)

;

(A 1 A 3)

(B 1 B 3)

sont des couples de droites parallèles, alors le troisième l'est aussi.

Cet axiome permet de définir les concepts d'homothétie et de translation. De plus, il permet d'approcher la structure d'espace affine axiomatiquement. Plus précisément, tout plan de Désargues se réalise comme un plan affine sur un corps K(P), dont l'espace vectoriel directeur n'est autre que l'ensemble des translations T(P) de P ; le groupe multiplicatif de K(P) s'identifie au groupe des homothéties de centre un point donné O.

Sommaire

1 Définition d'une homothétie-translation (dans un plan affine incident)
2 Structure d'espace affine
- 2.1 Espace affine (définition)
- 2.2 Réciproque

Définition d'une homothétie-translation (dans un plan affine incident)

Une homothétie-translation est par définition une bijection h de l'ensemble des points d'un plan affine incident P telle que les deux conditions suivantes sont satisfaites :

La transformation h préserve l'alignement des points. Autrement dit, h envoie trois points alignés sur trois points alignés. En particulier, h envoie tout point incident à une droite $d$ sur des points incidents à une même droite, notée $h (d)$ . L'application h induit alors une bijection de l'ensemble des droites de P sur lui-même.
La transformation h envoie toute droite sur une droite qui lui est parallèle.

L'identité est la seule homothétie-translation à fixer deux points distincts.

Considérons une bijection h de l'ensemble des points de P préservant l'alignement et envoyant toute droite sur une droite qui lui est parallèle. Supposons que h fixe deux points distincts, O et A.

Pour tout point M non incident à la droite

(O A)

, la transformation h envoie la droite

(O M)

sur une droite contenant

h (O) = O

qui lui est parallèle. Par les axiomes d'incidence, cette droite est donc confondue à

(O M)

; donc

h (M)

est incident à la droite

(O M)

. De même, il est incident à la droite

(A M)

. Par suite,

h (M)

est le point d'intersection des droites

(O M)

(A M)

; il est donc confondu au point

M

. On a montré que h fixe tous les points non incidents à

(O A)

Si N est un point incident à

(O A)

, les axiomes d'incidence impliquent l'existence d'un point B non incident à

(O A)

. Par ce qui précède, la transformation h fixe B, et par hypothèse, elle fixe O. Le même raisonnement que ci-dessus appliqués aux trois points non alignés O, B et N prouve que h fixe N.

De fait, la transformation h fixe tous les points de P, c'est l'identité.

Si la transformation h diffère de l'identité :

Ou bien h ne fixe aucun point du plan P, auquel cas h est appelée translation ;
Ou bien h fixe un unique point O, auquel cas h est appelée homothétie de centre O.

L'identité est considérée à la fois comme une translation et une homothétie. Le centre d'une homothétie non triviale (ie une homothétie différente de l'identité) est uniquement défini.

La définition d'une homothétie-translation ne s'appuie que sur les axiomes d'incidence.

Détermination d'une homothétie-translation (dans un plan affine de Désargues)

Construction de l'image d'un point par une homothétie-translation

Dans un plan affine incident P, une homothétie-translation h est uniquement déterminée par les images $h (A)$ et $h (B)$ de deux points distincts $A$ et $B$ . Plus précisément, comme h envoie toute droite sur une droite qui lui est parallèle, l'image d'un point M non incident à la droite $(A B)$ se définit uniquement comme le point d'intersection de la parallèle à $(A M)$ passant par $h (A)$ et de la parallêle à $(B M)$ passant par $h (B)$ . L'image d'un point incident à $(A B)$ se détermine par une construction analogue à partir de l'image de A et d'un point non incident à $(A B)$ dont l'existence est assurée par les axiomes d'incidence.

Pour quatre points $A$ , $B$ , $A'$ et $B'$ , l'existence d'une homothétie-translation envoyant $A$ sur $A'$ et $B$ sur $B'$ implique que les droites $(A B)$ et $(A' B')$ soient parallèles. Cependant, en l'absence de l'axiome de Désargues, même si cette condition nécessaire est validée, l'existence d'une telle homothétie-translation n'est pas assurée.

Dans un plan affine de Désargues, la donnée de quatre points $A$ , $B$ , $A'$ et $B'$ déterminent une unique homothétie-translation envoyant $A$ sur $A'$ et $B$ sur $B'$ si et seulement si les droites $(A B)$ et $(A' B')$ sont parallèles.

Définissons une bijection h de l'ensemble des points du plan affine de Désargues P :

Les images $h (A)$ et $h (B)$ sont par définition les points $A'$ et $B'$ .
L'image $h (M)$ d'un point $M$ non incident à la droite $(A B)$ est défini comme le point d'intersection de la parallèle à $(A M)$ passant par $h (A)$ et de la parallèle à $(B M)$ passant par $h (B)$ .
Fixons un point $C$ non incident à la droite $(A B)$ dont l'existence est assurée par l'un des axiomes d'incidence. L'image $h (N)$ d'un point $N$ incident à la droite $(A B)$ est défini comme le point d'intersection de la parallèle à $(C N)$ passant par $h (C)$ et de la droite $(A' B')$ .

.............

Détermination de la nature d'une homothétie-translation

La nature de la transformation peut être précisée dans le cas où les quatre points $A$ , $B$ , $h (A)$ et </math>h(B)</math> sont non tous alignés. Cette hypothèse implique $h(A)\neq A$ et $h(B)\neq B$ , et que les droites $(A h (A))$ et $(B h (B))$ sont non confondues. Selon leur position relative :

Ou bien les droites $(A h (A))$ et $(B h (B))$ s'intersectent en un unique point O, et dans ce cas, h est une homothétie de centre O ;
Ou bien les droites $(A h (A))$ et $(B h (B))$ sont parallèles, et dans ce cas, h est une translation.

Le résultat précédent peut être amélioré si on connait a priori la nature de l'homothétie-translation :

Une translation non triviale du plan de Désargues est uniquement définie par l'image d'un point, donc par la donnée de deux points distincts. Si une translation envoie A sur B, alors elle envoie un point M non incident à $(A B)$ sur le point d'intersection de la parallèle à $(A B)$ passant par M et de la parallèle à $(A M)$ passant par B. L'image d'un point N incident à $(A B)$ se détermine par l'intermédiaire d'un point non incident à $(A B)$ . Les figures suivantes précisent la construction :

Une homothétie non triviale du plan de Désargues est uniquement définie par son centre O et l'image $h (A)$ d'un point $A$ qui lui est distinct, donc par trois points distincts alignés. L'image d'un point M non incident à $(O A)$ est définie comme le point d'intersection de la droite $(O M)$ et de la parallèle à $(A M)$ passant par $h (A)$ . L'image d'un point incident à la droite $(O A)$ se définit par l'intermédiaire d'un point non incident. Les figurent suivantes précisent les constructions :

Composition

L'ensemble des homothéties-translations est stable par composition et l'inverse d'une homothétie-translation est une homothétie translation. En effet, si deux bijections de l'ensemble des points de P préservent l'alignement et envoie une droite sur une droite qui lui est parallèle, il en va de même de leurs composées. Cet ensemble forme donc un sous-groupe du groupe des bijections de l'ensemble des points de P, noté G :

L'ensemble des translations d'un pman affine de Désargues forme un sous-groupe de G, noté E(P) :

L'inverse d'une translation est une translation. Un éventuel point fixe de l'inverse serait un point fixe de la translation T, ce qui est absurde si la translation est non triviale, par définition. Donc, l'inverse $T - 1$ est une translation.
La composée de deux translations est une translation. La composée $T'\circ T$ de deux translations $T$ et $T'$ est une homothétie-translation ; et pour établir que c'est une translation, il suffit par définition de prouver que l'existence d'un point fixe O de $T'\circ T$ implique que tout point est fixe. La translation $T'$ envoie $T (O)$ sur $O$ . Il en va de même de la translation $T - 1$ . Il s'en suit que $T' = T - 1$ ou encore que $T'\circ T$ est l'identité.

Le groupe

E (P)

est commutatif ; sa loi est notée additivement.

Soient deux translations

T

T'

d'un plan affin de Désargues. Soit M un point quelconque de P. En nommant

A = T'(M)

, les points A et

T (A)

déterminent uniquement l'image

T (M)

de M par la translation T. On suppose pour simplifier que les points

M

A

T (A)

sont non alignés. Le point

T (M)

est le point d'intersection de la parallèle à

(A T (A))

passant par M et de la parallèle à

(A M)

passant par

T (A)

De manière analogue, l'image

T'(M)

M

détermine uniquement l'image de

T (M)

par

T'

: le point $T'\circ T(M)$ est le point d'intersection de la parallèle à

(M T (M))

passant par

T'(M)

et de la parallèle à

(M T'(M))

passant par

T (M)

. Ces parallèles sont respectivement $(T'(M),T\circ T'(M))$ et de $(T(M),T\circ T'(M))$ . Ce point est donc $T\circ T'(M)$ .

Par suite, il vient : $T'\circ T=T\circ T'$ .

L'ensemble des homothéties de centre O forme un sous-groupe de G, noté $K * (P, O)$ :

L'inverse d'une homothétie de centre O est une homothétie-translation dont O est un point fixe ; donc une homothétie de centre O ;
Pour les mêmes raisons, la composée de deux homothéties de même centre O est une homothétie de centre O.

Le groupe

K * (P, O)

des homnothétie de centre O est commutatif.

Soient deux homothéties

h

h'

de même centre O. Soit M un point. En nommant

A = h'(M)

, les points

O

A

h (A)

déterminent

h (M)

. ...

à compléter

Structure d'espace affine

Espace affine (définition)

Article détaillé : Plan affine.

Un espace vectoriel sur un corps K (corps des scalaires) est un groupe commutatif $(E, + )$ muni d'une loi externe $K\times E\rightarrow E$ , dont les éléments sont appelés vecteurs et vérifiant les relations de distributivité suivantes, valables pout tous vecteurs $v,w\in E$ et pour tous scalaires $\lambda,\nu\in K$ :

λ.(v + w) = λ. v + λ. w

λ.(ν. v) = (λν). v

Un espace affine d'espace vectoriel directeur E est un ensemble A et d'une action libre et transitive du groupe commutatif $(E, + )$ sur $A$ .

Les espaces affines sont des plans affines de Désargues.

Réciproque

Réciproquement, tout plan affine de Désargues P est un espace affine dont l'espace vectoriel directeur est le groupe de translations de P.

Si T est la translation envoyant O sur $O'$ , la conjugaison d'une homothétie de centre O' par la translation T est une homothétie de centre O. Par suite, la conjugaison par T induit un isomorphisme :

$\iota(t):K^*(P,O')\rightarrow K^*(P,O):h\mapsto T\circ h\circ T^{-1}$ .

Ces isomorphismes se composent les uns les autres :

$\iota(T+t')=\iota(t)\circ \iota(t')= \iota(t')\circ \iota(t)$

Par ailleurs, la conjuguée d'une translation par une homothétie est une translation. Par suite, la conjugaison par une homothétie induit un isomorphisme :

$m(h):E(P)\rightarrow E(P):t\mapsto hth^{-1}$ .

Pour toute translation t et pour toute homothétie h, on a :

m [ι(t)(h)] = m (h)

Le corps des scalaires est défini comme l'ensemble contenant un élément privilégié 0 et les classes d'homothéties définies à conjugaison près par une translation. Les lois sont uniquement définies de sorte que :

0 soit l'élément neutre de la loi d'addition et (la classe réduite à) l'identité, notée 1, est l'élément neutre pour la loi de multiplication ;
Le produit des classes de deux homothéties de centre O est la classe de leur composition ;
La somme des classes de deux homothéties de centre O envoyant un point A respectivement sur $B$ et $C$ est la classe de l'homothétie de centre O envoyant A sur l'image de B par la translation envoyant O sur B.

Vérifications des lois de distributivité

Volontairement, on ne fait pas de différence entre une homothétie et sa classe de conjugaison par des translations. Soient trois translations

h

k

l

de même centre O.

Par définition,

(h + k)

est l'unique homothétie envoyant

A

sur l'image de

h (A)

par l'unique translation T envoyant

O

sur

k (A)

. Le produit

l .(h + k)

est l'unique homothétie de centre O envoyant

A

sur

l [T (h (A))]

La transformation

(l h + l k)

est l'unique homothétie de centre O envoyant

A

sur l'image de

l h (A)

par l'unique translation

T'

envoyant

O

sur

l k (A)

En nommant

M = h (A)

N = k (A)

, la translation

T'' = T' - 1

est l'unique translation envoyant

l (N)

sur le centre O de l'homothétie

l

; la translation T est (par définition) l'unique translation envoyant

O

sur

N

. Alors $T''\circ l\circ T$ est une homothétie de centre O et envoyant

N

sur

l (N)

$T''\circ l\circ T(O)=T''\left[l(N)\right]=O$ .

Par suite, comme le centre O et l'image

l (N)

N

déterminent uniquement l'homothétie

l

, il vient :

$T''\circ l\circ T=l$ ou encore : $l\circ T=T'\circ l$ .

En évaluant en

h (A)

, il vient :

l [T (h (A))] = T'[l h (A)]

Les homothéties

l (h + k)

l h + l k

sont les uniques homothéties de centre O envoyant

A

respectivement sur

l [T (h (A))]

T'[l h (A)]

. Elles sont donc égales.

(Vérifications à faire, dessins, ...)

Portail de la géométrie

Ce document provient de « Plan affine de Desargues ».

Catégorie : Géométrie

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Plan affine de Desargues de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Plan affine incident — Dans une approche axiomatique de la géométrie, un plan affine incident est la donnée de points et de droites avec une relation d appartenance des points aux droites, appelée incidence, vérifiant les axiomes d incidence : Deux points A et B… … Wikipédia en Français
Plan affine arguésien — Axiome de Desargues Dans une approche axiomatique de la géométrie, un plan affine arguésien (ou desarguésien, ou de Desargues) est un plan affine vérifiant, en plus des axiomes d incidence, l axiome de Desargues : Pour toutes droites d1 … Wikipédia en Français
Plan affine — En géométrie le concept de plan affine a été inventé pour pouvoir parler de droites parallèles sans s encombrer de notions métriques telles que la distance entre deux points ou l angle entre deux droites. L approche axiomatique ne présuppose pas… … Wikipédia en Français
Plan affine (structure d'incidence) — Dans une approche axiomatique de la géométrie, il est possible de définir le plan comme une structure d incidence, c est à dire la donnée d objets primitifs, les points et les droites, et d une relation, dite d incidence, entre point et droite… … Wikipédia en Français
Plan projectif arguésien — Dans une approche axiomatique de la géométrie projective, un plan projectif est une structure comprenant un ensemble de points, un ensemble de droites, et une relation, dite d incidence, entre points et droites (un point est sur une droite) qui… … Wikipédia en Français
Plan projectif (structure d'incidence) — La géométrie projective peut être introduite de deux façons, par les espaces vectoriels sur un corps donné, ou directement en axiomatisant, une relation dite d incidence entre points et droites (la relation d appartenance d un point à une droite) … Wikipédia en Français
Plan projectif — La notion de plan projectif a deux sens distincts, qui se recoupent. Sommaire 1 Géométrie algébrique 2 Géométrie combinatoire 3 Axiomes et plans projectifs … Wikipédia en Français
Théorème de Desargues — dans un plan projectif : les deux triangles (non plats) ABC et A B C ont leurs sommets sur 3 droites distinctes p = (AA ) , q = (BB ) et r = (CC ) ; alors ces 3 droites sont concourantes (en S) si et seulement si les points P = (BC) ∩… … Wikipédia en Français
Espace affine — En géométrie, un espace affine est un espace qui généralise la notion d espace vectoriel. Dans un espace affine on peut parler d alignement, de parallélisme, de rapport de proportionnalité. Sous la forme qui utilise des rapports de mesures… … Wikipédia en Français
Plan de Fano — Une représentation du plan de Fano En géométrie projective finie, le plan de Fano, nommé ainsi d après le mathématicien Gino Fano, est le plus petit plan projectif fini, c est à dire celui comportant le plus petit nombre de points et de droites,… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Plan affine de Desargues