Presentation 2

Espaces affines
Pierre Mathonet
Dpartement de Mathmatique
Facult des Sciences
Lige, printemps 2017

Dfinition gnrale
Le but : modliser lespace dans lequel on vit. Chaque lment de
lespace, est appel point.
Les forces agissent sur les points, et les translatent.
Visualisation : une table de billard.
Tout doit se passer de manire raisonnable.
P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Dfinition gnrale
Le but : modliser lespace dans lequel on vit. Chaque lment de
lespace, est appel point.
Les forces agissent sur les points, et les translatent.
Visualisation : une table de billard.
Tout doit se passer de manire raisonnable.
Dfinition 2.1.1 (Espaces affines)

Un espace affine A model sur un espace vectoriel E est un ensemble
dont les lments sont appels points, muni dune opration de
translation
t : A E A : (A, u) 7 t(A, u) = A+u,
satisfaisant les conditions suivantes :
1 On a (A+u)+v = A+(u+v ) pour tous A A et tous u, v E ;
2 Pour tous A, B A, il existe un unique u E tel que B = A + u.
2

Un exemple exotique et un exemple important
Dfinissons E et A comme suit :
E = {f : R R : f (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 0},
A = {F : R R : F (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 3}.


On dfinit la translation du point F de A par rapport au vecteur f
de E comme tant laddition des fonctions f et F .


1 Pour tous F A et f E , on a F + f A, puisque par dfinition

on a (F + f )(1) = F (1) + f (1) = 3 ;
2 Pour tous F A et f , g E , on a (F + f ) + g = F + (f + g),
puisque laddition des fonctions est associative ;
3 Pour tous F , G A, alors ncessairement f = G F est un lment
de E , et cest lunique lment f E tel que G = F + f .


1 Pour tous F A et f E , on a F + f A, puisque par dfinition

on a (F + f )(1) = F (1) + f (1) = 3 ;
2 Pour tous F A et f , g E , on a (F + f ) + g = F + (f + g),
puisque laddition des fonctions est associative ;
3 Pour tous F , G A, alors ncessairement f = G F est un lment
de E , et cest lunique lment f E tel que G = F + f .
Si E est un espace vectoriel, A = E est un espace affine model sur
E . Les lments de E ont donc une double nature. Les oprations
quon leur applique dpendent de leur nature.
3

Premires consquences
Proposition 2.1.4 (Simplifications)
Soit A un espace affine.
1 Si u, v E satisfont P + u = P + v pour un P A, alors u = v ;
2 On a P + 0 = P pour tout P A ;
3 Si P + u = Q + u pour P, Q A et u E , alors P = Q ;
4 Lexpression P + u1 + + ur , P A, u1 , . . . , ur E est bien
dfinie : elle ne dpend pas de lordre dans lequel on effectue les
oprations.

Dfinition 2.1.5 (Le vecteur AB)

Soient A, B deux points de A. On note AB lunique lment de E

satisfaisant A + AB = B.

Une relation clbre et des notations
Proposition 2.1.6 (Relation de Chasles)

Pour tous points P, Q, R de A, on a PQ + QR = PR. En particulier, on

a PP = 0 pour tout P A et PQ = QP pour tous P, Q A.




1 Lespace vectoriel dfinissant un espace affine A est aussi not A .
2 On parlera aussi dun espace affine A, sans mentionner E ;
3 On notera dans la mesure du possible les lments de A par des
lettres capitales.




1 Lespace vectoriel dfinissant un espace affine A est aussi not A .
2 On parlera aussi dun espace affine A, sans mentionner E ;
3 On notera dans la mesure du possible les lments de A par des
lettres capitales.
Dfinition 2.1.7

Quatre points ABCD dfinissent un paralllogramme si AB = DC .
Exemple : dans lespace affine P3 :
A : x 3 3x + 2, B : 4x 3 2x + 6, C :x +1 D : 3x 3 3.

Vecteurs lis
Dfinition 2.2.1
Soit O un point de A. On appelle vecteur li en O tout couple (O, P) o P est
un point de A. On note AO lensemble de ces vecteurs lis en O.
Proposition 2.2.2
Soit A un espace affine model sur E . Lensemble des vecteurs lis en O est en

bijection avec E = A .

Preuve : Soit f lapplication qui (O, P) fait correspondre OP.
Vecteurs lis
Dfinition 2.2.1
Soit O un point de A. On appelle vecteur li en O tout couple (O, P) o P est
un point de A. On note AO lensemble de ces vecteurs lis en O.
Proposition 2.2.2
Soit A un espace affine model sur E . Lensemble des vecteurs lis en O est en

bijection avec E = A .

Preuve : Soit f lapplication qui (O, P) fait correspondre OP.
Proposition 2.2.2 (bis)

Lensemble des vecteurs lis en O peut tre muni dune (seule) structure
despace vectoriel, qui fait de f une bijection linaire. Elle est dfinie par

(O, P) (O, Q) = (O, O + OP + OQ) ;

(O, P) = (O, O + OP),
pour tous P, Q A et R.
Remarque : Laddition suit la rgle du paralllogramme.

Vecteurs libres
Lide : on associe tout vecteur u E la translation quil dfinit sur A.
A C D E

u
A B E F
Dfinition 2.2.3
Des vecteurs (A, B) et (C , D) lis en A et en C sont quipollents si ABDC est

un paralllogramme (ventuellement plat), cest dire si AB = CD. On note
alors (A, B) (C , D).
Dfinition 2.2.3 (bis)

Le vecteur libre reprsent par le vecteur li (A, B) est lensemble de tous les
vecteurs lis (C , D) quipollents (A, B). On le note [(A, B)]. On note AL
lensemble des vecteurs libres de A.
Vecteurs libres
Lide : on associe tout vecteur u E la translation quil dfinit sur A.
A C D E

u
A B E F
Dfinition 2.2.3
Des vecteurs (A, B) et (C , D) lis en A et en C sont quipollents si ABDC est

un paralllogramme (ventuellement plat), cest dire si AB = CD. On note
alors (A, B) (C , D).
Dfinition 2.2.3 (bis)

Le vecteur libre reprsent par le vecteur li (A, B) est lensemble de tous les
vecteurs lis (C , D) quipollents (A, B). On le note [(A, B)]. On note AL
lensemble des vecteurs libres de A.
Lensemble des vecteurs libres est en bijection avec E , via

f 0 : AL E : [(A, B)] 7 AB.
Cela permet de dfinir laddition des vecteurs libres.

Combinaisons affines

Question : dans A , on peut former des combinaisons linaires de
vecteurs. Peut-faire des combinaisons de points ?
Soient A, B A et , R. Comment dfinir A + B ?
A B


A+B
Ma proposition, avec O
A B


A+B A+B
A B
La proposition de Raoul, avec O 0
O O0

La dfinition A + B = O + OA + OB nest donc pas intrinsque : elle
dpend du choix dun point supplmentaire (O ou O 0 ).


A+B A+B
A B
La proposition de Raoul, avec O 0
O O0

La dfinition A + B = O + OA + OB nest donc pas intrinsque : elle
dpend du choix dun point supplmentaire (O ou O 0 ).

De manire gnrale O + OA + OB et O 0 + O 0 A + O 0 B ne
donneront pas le mme rsultat.
8

Tout est-il perdu ?
Lemme 2.3.1

On a O + OA + OB = O 0 + O 0 A + O 0 B si, et seulement si, O = O 0
ou + = 1.

Tout est-il perdu ?
Lemme 2.3.1

On a O + OA + OB = O 0 + O 0 A + O 0 B si, et seulement si, O = O 0
ou + = 1.
Les objets gomtriques que lon peut obtenir laide de cette
construction sont les combinaisons

P = O + (1 )OA + OB, R
Cest normal : on a alors

P = O + OA + (OB OA) = A + AB, R.
Proposition 2.3.2
Pour P1 , . . . , Pn A et 1 , . . . , n R tels que 1 + + n = 1, le
point

P = O + 1 OP1 + + n OPn (2.1)
9 est indpendant du point O.
La dfinition
Dfinition 2.3.3
Le point P dfini par la relation (2.1) est la combinaison affine (ou le
barycentre) des points P1 , . . . , Pn de coefficients 1 , . . . , n . On la note
1 P1 + + n Pn .
Le segment [A, B] est lensemble

{(1 )A + B : [0, 1]}.
Le milieu du segment [A, B] est le point M = 12 A + 21 B.
A M B

On a (1 )A + B = A + AB, et donc 21 A + 12 B = A + 12 AB.
Quand les coefficients et 1 sont positifs, on peut interprter la
combinaison affine (1 )A + B comme le centre de masse des
points A et B, avec les masses respectives 1 et .
1
10 A 4A + 34 BB
Une autre construction

Le vecteur AB est aussi un objet gomtrique.

On a OA + AB = OB donc AB = OB OA, quel que soit O A.
Proposition 2.3.5
Pour 1 , . . . , n R tels que 1 + + n = 0, le vecteur

u = 1 OP1 + + n OPn A (2.2)
est indpendant du choix du point O A.
Dfinition 2.3.6
Si 1 , . . . , n R satisfont 1 + + n = 0, alors le vecteur

u = 1 OP1 + + n OPn (pour tout O A) est not 1 P1 + . . . + n Pn .

On a donc AB = B A pour tous A, B A.
11

Rgles de calcul I
Proposition 2.3.7
Si 1 + + n = 1, alors les assertions suivantes sont quivalentes :
1 A = 1 P1 + + n Pn ;

2 Pour tout O A on a OA = 1 OP1 + + n OPn ;

3 Il existe O A tel que OA = 1 OP1 + + n OPn .
Proposition 2.3.8
Si 1 + + n = 0, alors les assertions suivantes sont quivalentes :
1 u = 1 P1 + + n Pn ;

2 Pour tout O A on a u = 1 OP1 + + n OPn ;

3 Il existe O A tel que u = 1 OP1 + + n OPn .
12

Consquences : calcul pratique
1 On peut manipuler de telles combinaisons pour autant que lon

sassure que le rsultat a toujours un sens, cest dire que la somme
des coefficients soit toujours soit 0, soit 1.
13


2 Quand on aboutit un rsultat dpourvu de sens (somme des
coefficients diffrente de 0 ou 1), il suffit en gnral de diviser par la
somme des coefficients.
13


3 On peut justifier chaque tape en revenant la dfinition ou en
utilisant les propositions prcdentes.
13


3 On peut justifier chaque tape en revenant la dfinition ou en
utilisant les propositions prcdentes.
4 Exemple : un quadrilatre est un paralllogramme si et seulement si
ses diagonales se coupent en leur milieu.
13

Deux rsultats sur les barycentes
La combinaison affine 1 P1 + + n Pn est aussi appele barycentre.
Voici deux rsultats pour leur calcul.
Proposition 2.3.10 (Les forces sannulent)
Pn
Si 1 + + n = 1, alors on a Q = i=1 i Pi si, et seulement si,
Pn
i=1 i QPi = 0.
14

Deux rsultats sur les barycentes
La combinaison affine 1 P1 + + n Pn est aussi appele barycentre.
Voici deux rsultats pour leur calcul.
Proposition 2.3.10 (Les forces sannulent)
Pn
Si 1 + + n = 1, alors on a Q = i=1 i Pi si, et seulement si,
Pn
i=1 i QPi = 0.

Exemple : M = 13 A + 23 B est quivalent 31 MA + 23 MB = 0.
Proposition 2.3.11 (Dcomposition)

Pn
i = 1, si P1 , . . . , Pn sont des points de A, et si m < n est tel
Si i=1 P
m
que = i=1 i 6 {0, 1}, alors on a
n
X
i Pi = B1 + (1 )B2 ,
i=1
Pm i Pn i
o B1 = i=1 Pi et B1 = i=m+1 1 Pi .
14

Varits affines : dfinition
Les varits affines sont les analogues dans les espaces affines des
sous-espaces vectoriels dans les espaces vectoriels. Adoptons donc une
dfinition similaire.
Dfinition 2.4.1
Soit A un espace affine. Une varit affine de A est un sous ensemble
non vide V A qui contient les combinaisons affines de ses lments.
Exemples :
2 x
Dans A = R , V = { : x + 2y = 1} est une varit affine ;
y
Dans A, si A, B A, {(1 )A + B : R} est une varit affine ;
Dans tout espace affine A, {P} et A sont des varits affines.
Proposition 2.4.2 (Exemple fondamental)

Si P est un point de A et si F un sous-espace vectoriel de A , alors
V = P + F = {P + u : u F }
15
est une varit affine de A.
Caractrisation
Proposition 2.4.3
Soit V une varit affine de A et P un point de V.
1 Lensemble

VP = {PQ : Q V}
est un sous-espace vectoriel de E .

2 On a X V si, et seulement si, PX VP .
3 On a V = P + VP .
4 De plus, VP est lunique sous-espace vectoriel ayant cette proprit.
5 Enfin, VP est indpendant du choix de P dans V.
Preuve : Faire un dessin.

1 Utiliser la caractrisation des s.e.v ;
2 Traduire la dfinition de VP ;
3 Deux inclusions ;
4 Supposer quil y en a deux et montrer quils sont gaux ;
0
5 Comparer VP et VP 0 , pour P et P dans V.
16

Quelques dfinitions
Dfinition 2.4.4
Si V est une varit affine, le sous-espace vectoriel dfini par la
proposition prcdente est le sous-espace vectoriel directeur de V. On le

note V .
Dfinition 2.4.5
Un espace affine A est de dimension n si lespace vectoriel E sur
lequel il est model est de dimension n. On note dim A = n ;

La dimension dune varit affine V de A est la dimension de V . On
la note dim V.
Une droite est une varit affine de dimension 1 ;
Un plan est une varit affine de dimension 2 (si dim A > 2) ;
Un hyperplan est une varit affine de dimension n 1, si dim A = n.
17

Le cas particulier des droites et plans
Proposition 2.4.6 (Droite dtermine par deux points)
Soit A un espace affine de dimension au moins 1, et soient A, B A, distincts.
Il existe une unique droite d qui contient A et B, on la note AB ;

Dans ce cas, on a d =iABh= {AB : R} ;
La droite AB est lensemble de toutes les combinaisons affines de A et B ;
Si P et Q sont deux points distincts dans AB, alors AB = PQ.
18



Remarque : tout vecteur non nul u de d est appel un vecteur directeur de d

car on a alors d =iuh.
18



Remarque : tout vecteur non nul u de d est appel un vecteur directeur de d

car on a alors d =iuh.
Proposition 2.4.7 (Plan dtermin par trois points)

Soit A un espace affine (dim A > 2), et soient A, B, C A, non aligns.
Il existe un unique plan qui contient A, B et C , on le note ABC ;

On a =iAB, AC h= {AB + AC : , R} ;
Le plan est lensemble des combinaisons affines de A, B et C .
18

Enveloppes affines
Cest la gnralisation des thormes prcdents.
Dfinition 2.4.8
Soient P1 , . . . , Pr A. Lenveloppe affine de P1 , . . . , Pr est lensemble de
toutes les combinaisons affines de ces points. On la note iP1 , . . . , Pr hA .
Proposition 2.4.9
Soient P1 , . . . , Pr A.
Lenveloppe affine iP1 , . . . , Pr hA est une varit affine ;
Elle est incluse dans toute varit affine contenant P1 , . . . , Pr .
Proposition 2.4.9 (bis)

On a iP1 , . . . , Pr hA = P1 +iP1 P2 , . . . , P1 Pr h. En particulier on a

dimiP1 , . . . , Pr hA = dimiP1 P2 , . . . , P1 Pr h.
19

Indpendance affine
Dfinition 2.4.10
Des points P1 , . . . , Pr dun espace affine sont affinement indpendants si
aucun de ces points nest combinaison affine des autres. Dans le cas
contraire, ces points sont affinement dpendants.
Proposition
Les points P1 , . . . , Pr sont affinement indpendants si, et seulement si,

P1 P2 , . . . , P1 Pr sont linairement indpendants.
20

Intersection et paralllisme
La dfinition de lintersection est celle des sous-ensembles.
Proposition 2.5.1
Lintersection de deux varits affines V1 et V2 est soit vide soit une

varit affine. Dans le second, cas on a V1 V2 = V1 V2 .
Dfinition 2.5.2

Deux varits affines V1 et V2 sont parallles si V1 V2 ou V2 V1 . On
note V1 //V2 .
21

Intersection et paralllisme
La dfinition de lintersection est celle des sous-ensembles.
Proposition 2.5.1
Lintersection de deux varits affines V1 et V2 est soit vide soit une

varit affine. Dans le second, cas on a V1 V2 = V1 V2 .
Dfinition 2.5.2

Deux varits affines V1 et V2 sont parallles si V1 V2 ou V2 V1 . On
note V1 //V2 .
Lide :
A A B V1 E

AB = CD
C D V2
21

Proprits
Proposition 2.5.3
1 Si V1 V2 6= et V1 //V2 alors V1 V2 ou V2 V1 ;

2 Si dim V1 = dim V2 , alors V1 //V2 si, et seulement si V1 = V2 ;
3 Si dim V1 = dim V2 , V1 //V2 et V1 V2 6= , alors V1 = V2 ;
4 Soient V une varit affine et A A. Il existe une unique varit
affine VA telle que
A VA ;
VA //V ;
dim VA = dim V.
Le point 4 gnralise laxiome dEuclide sur les parallles.
22

Positions relatives de droites en dimensions 2 et 3
Deux droites sont dites scantes si leur intersection est un singleton.
Proposition 2.5.4
Soit A un espace affine de dimension 2. Deux droites de A sont soit
parallles soit scantes. Les deux cas sont exclusifs.
Proposition 2.5.4
Dfinition 2.5.5
Dans un espace affine A de dimension 3, deux droites sont gauches si
elles ne sont ni parallles, ni scantes.
Proposition 2.5.4
Dfinition 2.5.5
Donc en dimension 3 : des droites sont parallles, scantes ou gauches.

Proposition 2.5.4
Dfinition 2.5.5
Donc en dimension 3 : des droites sont parallles, scantes ou gauches.
Proposition 2.5.6 (Positions en fonction de points et vecteurs)

Soit dim A = 3. Soient 2 droites d1 = A+iuh, d2 = B+iv h.
On a d1 //d2 si, et seulement si, la famille (u, v ) est lin. dp.
Les droites d1 et d2 sont scantes si, et seulement si, (u, v ) est lin. ind. et

(u, v , AB) est lin. dp.

Les droites d1 et d2 sont gauches si, et seulement si, la famille (u, v , AB)
est lin. ind.
Positions relatives de droites et plans en dimension 3
On se place dans un espace affine A de dimension 3.
Proposition 2.5.7
Si deux plans ne sont pas parallles, leur intersection est une droite.
Proposition 2.5.8
Soit d une droite et un plan dans un espace affine de dimension 3. Soit
d et sont parallles, soit leur intersection est un singleton.
24

Exercices
1 Dans R2 , la droite dtermine par A = (1, 2) , et B = (3, 4) et celle

dtermine par C = (4, 5) et D = (7, 10) sont-elles parallles ?
2 Mme question dans R2 pour A = (1, 2) , B = (3, 4) , C = (4, 5) ,
D = (10, 11) .
3 Exprimer quun point (x , y ) de R2 appartient la droite dfinie par les
points A = (1, 3) et B = (1, 4) .
4 Dans R3 , on considre la droite AB o A = (1, 2, 3) et B = (1, 1, 3).

Que vaut le vecteur AB ? Dcrire le segment [A, B]. Dcrire la droite AB.
Cette droite est-elle parallle au plan affine dquation x = 1 ?
5 Dans lespace R22 vu comme un espace affine, dcrire la droite affine AB si

1 2 1 1

A= et B=
2 0 0 2
25

Repres et coordonnes
Dfinition 2.6.1 (Repre)
Un repre R de A est un couple (O; B) o O est un point de A appel

origine du repre et o B est une base de A appele base du repre.
26

Repres et coordonnes
Dfinition 2.6.1 (Repre)
Un repre R de A est un couple (O; B) o O est un point de A appel

origine du repre et o B est une base de A appele base du repre.
Dfinition 2.6.1 bis (Coordonnes)

Les coordonnes dun point X quelconque de A dans le repre R = (O; B)

sont les composantes de OX dans B. On note X : (x1 , . . . , xn ) .
Proposition 2.6.2
Soit un repre R = (O; (b1 , . . . , bn )) dun espace affine. Le passage aux
coordonnes dans R est une bijection CR de A dans Rn : on a

CR (P) = CB (OP).
Alors P admet pour coordonnes (p1 , . . . , pn ) dans R si, et seulement si,

26
P = O + p1 b1 + + pn bn .
Premire utilisation
Proposition 2.6.3
Soit R = (O; B) un repre dun espace affine. Lapplication CR est
affine : on a
r
X r
X
CR ( i Pi ) = i CR (Pi ) 1
i=1 i=1
Pr
pour tous points P1 , . . . , Pr et tous 1 , . . . , r R tels que i=1 i = 1.
Proposition 2.6.4
Soit R = (O; B) un repre dun espace affine de dimension n. On a
Xr r
X
CB ( i Pi ) = i CR (Pi )
i=1 i=1
Pr
pour tous points P1 , . . . , Pr et tous 1 , . . . , r R tels que i=1 i = 0.
1. On peut retenir que les coordonnes dune combinaison affine sont la combinaison
27 affine des coordonnes (dans Rn ).
Changements de repres
Soient deux repres R et R0 de A et P un point de A. Quels sont les
liens entre les coordonnes de P dans le repre R et ses coordonnes
dans R0 ?
Proposition 2.6.7 (Changement de repre)
Les coordonnes (x1 , . . . , xn ) et (x10 , . . . , xn0 ) dun mme point P de A
A dans des repres R = (O; (b1 , . . . , bn )) et R0 = (O 0 ; (b10 , . . . , bn0 )) sont
lies par les formules
0 0 0
x1 x1 o1 x1 x1 o1
.. .. .. .. .. ..
. = AB0 ,B . + . et . = AB,B0 . + . ,
xn xn0 on0 xn0 xn on
Les matrices AB,B0 et AB0 ,B sont les matrices de changements de base

entre B et B 0 . De plus, (o1 , . . . , on ) sont les coordonnes de O dans R0
et (o10 , . . . , on0 ) celles O 0 dans R.
28

Equations : donnes et but du jeu
On considre :
Un espace affine A de dimension n ;

Un repre R = (O; B), o B = (b1 , . . . , bn ) est une base de A ;

Une varit affine V = P0 + V ;
Les coordonnes de P0 dans R : (p1 , . . . , pn ) = X0 .
On souhaite obtenir des quations qui caractrisent V en termes de
coordonnes de ses points. Il y a donc deux questions.
1 Obtenir une description constructive des coordonnes des points de
V, laide de paramtres (quations paramtriques) ;
2 Obtenir des conditions exprimant quun point P est dans V
(quations cartsiennes), laide de conditions sur ses coordonnes.
29

Rsultat fondamental et quations paramtriques
Proposition 2.7.1

On a P V = P0 + V si, et seulement si P0 P V .
Consquence :
Proposition 2.7.2 (Equations paramtriques cartsiennes)

Si V =iu1 , . . . , up h, si CB (ui ) = (u1,i , . . . , un,i ) (i 6 p), et si P0 : (p1 , . . . , pn )
alors P : (x1 , . . . , xn ) est dans V si, et seulement si,

x1 p1
= 1 u1,1 + + r u1,p
..
1 , . . . , r R : .

x p
n n = 1 un,1 + + r un,p
30

Rsultat fondamental et quations paramtriques
Proposition 2.7.1

On a P V = P0 + V si, et seulement si P0 P V .
Consquence :
Proposition 2.7.2 (Equations paramtriques cartsiennes)

Si V =iu1 , . . . , up h, si CB (ui ) = (u1,i , . . . , un,i ) (i 6 p), et si P0 : (p1 , . . . , pn )
alors P : (x1 , . . . , xn ) est dans V si, et seulement si,

x1 p1
= 1 u1,1 + + r u1,p
..
1 , . . . , r R : .

x p
n n = 1 un,1 + + r un,p
Exemple : dans un espace affine de dimension 3 muni dun repre, si

A : (1, 2, 3) et B : (6, 3, 7) alors (
x 1 = 5

P : (x , y , z) AB R : y 2 =
30 z 3 = 4.
Equations cartsiennes
Dfinition 2.7.4 (Equations cartsiennes)
Des quations cartsiennes de la varit affine V dans le repre R sont
des conditions ncessaires et suffisantes sur les coordonnes X dun point
P dans le repre R pour quil soit dans V.
Proposition 2.7.5

Soit une varit affine V telle que V =iu1 , . . . , up h et P0 un point de V
ayant pour coord. X0 = (p1 , . . . , pn ) . Si B (ui ) = Ui = (u1,i , . . . , un,i ) ,
alors un point P ayant pour coord. X = (x1 , . . . , xn ) est dans V si, et
seulement si,
rg(U1 , . . . , Up ) = rg(U1 , . . . , Up |X X0 ). (2.5)
31

Equations cartsiennes
Dfinition 2.7.4 (Equations cartsiennes)
Des quations cartsiennes de la varit affine V dans le repre R sont
des conditions ncessaires et suffisantes sur les coordonnes X dun point
P dans le repre R pour quil soit dans V.
Proposition 2.7.5

Soit une varit affine V telle que V =iu1 , . . . , up h et P0 un point de V
ayant pour coord. X0 = (p1 , . . . , pn ) . Si B (ui ) = Ui = (u1,i , . . . , un,i ) ,
alors un point P ayant pour coord. X = (x1 , . . . , xn ) est dans V si, et
seulement si,
rg(U1 , . . . , Up ) = rg(U1 , . . . , Up |X X0 ). (2.5)
Cette mthode gnrale sapplique que u1 , . . . , up soient indpendants ou

non.
31

Nombre dquations et dimension
Proposition 2.7.6
Soit A un espace affine de dimension n et R = (O; B) un repre. Toute
varit affine de dimension p admet dans R des quations cartsiennes
formant un systme linaire de rang n p.
32

Nombre dquations et dimension
Proposition 2.7.6
Soit A un espace affine de dimension n et R = (O; B) un repre. Toute
varit affine de dimension p admet dans R des quations cartsiennes
formant un systme linaire de rang n p.

Si dans B, V admet des quations cartsiennes

a1,1 y1 + + a1,n yn = 0

.. .. .. ,
. . .
ap,1 y1 + + ap,n yn = 0

(ou AX = 0 dans lcriture matricielle), alors V admet dans R les

quations

a1,1 (x1 p1 ) + + a1,n (xn pn ) = 0

.. .. .. ,
. . .
ap,1 (x1 p1 ) + + ap,n (xn pn ) = 0

32
ou encore A(X X0 ) = 0, ou enfin AX = AX0 .
Rciproque
Soit A un espace affine de dimension n muni dun repre R.
Proposition 2.7.7
Lensemble V des points P de A dont les coordonnes X = (x1 , . . . , xn )
dans R satisfont un systme dquations linaires compatible AX = B est
une varit affine de dimension n rg(A), dont le sous espace vectoriel

directeur V admet pour quations AX = 0 (dans B).
33

Rciproque
Soit A un espace affine de dimension n muni dun repre R.
Proposition 2.7.7
Lensemble V des points P de A dont les coordonnes X = (x1 , . . . , xn )
dans R satisfont un systme dquations linaires compatible AX = B est
une varit affine de dimension n rg(A), dont le sous espace vectoriel

directeur V admet pour quations AX = 0 (dans B).
Exemples :
Dans un espace de dimension 6 muni dun repre, le systme

x1 + 2x2 x3 = 3
2x1 x4 + x5 = 1
dtermine une varit affine de dimension 4.
Dans un espace de dimension 3 muni dun repre, le systme

x1 + 2x2 x3 = 3
2x1 x2 + x3 = 1
33 dtermine une droite.
Cas particulier : les droites
Donnes :
un espace affine A de dim. n muni dun repre R ;
une droite d dtermine par un point P0 : (p1 , . . . , pn ) et un

vecteur directeur u : (u1 , . . . , un ) d \ {0}.
34

Cas particulier : les droites
Donnes :
un espace affine A de dim. n muni dun repre R ;
une droite d dtermine par un point P0 : (p1 , . . . , pn ) et un

vecteur directeur u : (u1 , . . . , un ) d \ {0}.

On obtient des quations cartsiennes de d en se ramenant celles de d :
Si u1 un 6= 0 :
x1 p1 xn pn
d = = .
u1 un
Si ui = 0 pour un i 6 n :
x1 p1 xn pn
= = bi = =
d u1 un
xi = 0
Cela fonctionne quand plusieurs composantes de u sont nulles.

Si la droite est donne par deux points, on se ramne au cas prcdent.
34

Cas particulier : les hyperplans
On se donne un esp. affine A de dimension n et un repre R = (O; B).
Proposition 2.7.10
Soit un hyperplan vectoriel dtermin par P0 ayant pour coord.
X0 = (p1 , . . . , pn ) et par n 1 vecteurs u1 , . . . , un1 (indpendants). Si
CB (ui ) = Ui = (u1,i , . . . , un,i ) , alors on a
det(U1 , . . . , Un1 |X X0 ) = 0. (2.6)
35

Cas particulier : les hyperplans
On se donne un esp. affine A de dimension n et un repre R = (O; B).
Proposition 2.7.10
Soit un hyperplan vectoriel dtermin par P0 ayant pour coord.
X0 = (p1 , . . . , pn ) et par n 1 vecteurs u1 , . . . , un1 (indpendants). Si
CB (ui ) = Ui = (u1,i , . . . , un,i ) , alors on a
det(U1 , . . . , Un1 |X X0 ) = 0. (2.6)
Dans un espace affine de dim. 3 muni dun repre, dterminer une

quation cartsienne du plan
1 contenant A : (1, 2, 3) et de vect. dir. v1 : (1, 0, 2) et v2 : (1, 1, 1) ;
2 contenant les points A : (1, 2, 3) , B : (1, 0, 2) et C : (1, 1, 1) ;
3 contenant A : (0, 3, 2), B : (1, 1, 2) et de vect. dir. v : (1, 1, 1).
35

Recapitulatif I : droites en dimension 2
On se donne un repre (O; B) dun espace affine de dim. 2.
La droite d = A+iuh, o A : (a1 , a2 ) et u : (u1 , u2 ) :

x a1 u1 x1 a1 x2 a2
d det 1 =0 ou d =
x2 a2 u2 u1 u2
avec la convention habituelle, si u u = 0.
1 2

La droite AB, o A : (a1 , a2 ) et B : (b1 , b2 ) : AB : (b1 a1 , b2 a2 ).

x a1 b1 a1 x1 a1 x2 a2
AB det 1 =0 ou AB =
x2 a2 b2 a2 b1 a1 b2 a2
avec la convention habituelle.
Reciproque : une droite a pour quation a1 x1 + a2 x2 + b = 0
(a1 a2 6= 0).
1 On trouve les coordonnes de points et composantes de vecteurs
directeurs en rsolvant lquation.
2 Le sous-vectoriel directeur a pour q. a1 y1 + a2 y2 = 0.
3 Un vecteur directeur est donn par (a2 , a1 ).
36

Paralllisme et faisceau de droites (dimension 2)
Proposition 2.7.11
Les droites d a1 x1 + a2 x2 = b et d 0 a10 x1 + a20 x2 = b 0 sont
parallles si

a1 a2 a1 a2
rg =1 ou det =0
a10 a20 a10 a20
scantes dans lautre cas : si

a1 a2 a1 a2
rg =2 ou det 6= 0.
a10 a20 a10 a20
37

Paralllisme et faisceau de droites (dimension 2)
Proposition 2.7.11
Les droites d a1 x1 + a2 x2 = b et d 0 a10 x1 + a20 x2 = b 0 sont
parallles si

a1 a2 a1 a2
rg =1 ou det =0
a10 a20 a10 a20
scantes dans lautre cas : si

a1 a2 a1 a2
rg =2 ou det 6= 0.
a10 a20 a10 a20
Proposition 2.7.12
Soient les droites d a1 x1 + a2 x2 = b et d 0 a10 x1 + a20 x2 = b 0 scantes en P.
Une droite d 00 contient P si, et seulement si, elle admet pour quation
d 00 (a1 x1 + a2 x2 b) + (a10 x1 + a20 x2 b 0 ) = 0, (, ) R2 \ {(0, 0)}.

37

Recapitulatif II : droites en dimension 3

La droite d = A+iuh, o A : (a1 , a2 , a3 ) et u : (u1 , u2 , u3 ) :
x1 a1 u1
!
x1 a1 x2 a2 x3 a3
d rg x2 a2 u2 =2 ou d = =
u1 u2 u3
x3 a3 u3
avec la convention habituelle, si u1 u2 u3 = 0.

La droite AB, o A : (a1 , a2 , a3 ) et B : (b1 , b2 , b3 ) : on a

AB : (b1 a1 , b2 a2 , b3 a3 ).
x1 a1 x2 a2 x3 a3
AB = =
b 1 a1 b2 a2 b 3 a3
avec la convention habituelle.
38

Rciproque
Lquation gnrale dune droite est

a1 x1 + a2 x2 + a3 x3 = b a1 a2 a3
d o rg =2
a10 x1 + a20 x2 + a30 x3 = b0 a10 a20 a30
Le sous-vectoriel directeur associ a pour q. (dans B) :

a1 y1 + a2 y2 + a3 y3 = 0
d
a10 y1 + a20 y2 + a30 y3 = 0
On trouve un point en rsolvant lquation de d, ou en coupant par

un plan (par exemple x3 = 0)

On trouve un vecteur directeur en rsolvant lq. de d . Une solution
non triviale est donne par

a2 a3 a a3 a a1
u : det 0 , det 10 , det 10
a2 a30 a1 a30 a1 a20
39

Positions relatives et rangs
Soient les droites

a1 x1 + a2 x2 + a3 x3 = b 0 c1 x1 + c2 x2 + c3 x3 = e
d et d
a10 x1 + a20 x2 + a30 x3 = b0 c10 x1 + c20 x2 + c30 x3 = e0
Posons
a1 a2 a3 b
a10 a20 a30 b 0
A=
c1
et B =
c2 c3 e
c10 c20 c30 e0
Proposition 2.7.13
Les droites d et d 0 sont
Parallles confondues si et seulement si rg(A) = rg(A|B) = 2 ;
Parallles distinctes si et seulement si rg(A) = 2 et rg(A|B) = 3 ;
Secantes si et seulement si rg(A) = rg(A|B) = 3 ;
Gauches si et seulement si rg(A|B) = 4, ou det(A|B) 6= 0.
40

Recapitulatif III : plans en dimension 3

a1 u1 v1
Le plan = A+iu, v h, o A : a2 , u : u2 et v : v2 :
a3 u3 v3

x1 a1 u1 v1
det x2 a2 u2 v2 = 0.
x3 a3 u3 v3

Le plan = ABC : considrer AB et AC (avec des notations
videntes) :

x1 a1 b1 a1 c1 a1
ABC det x2 a2 b2 a2 c2 a2 = 0
x3 a3 b3 a3 c3 a3
Le plan contenant A, B et dont un vecteur directeur u est donn :

considrer A, AB et u.
41

Rciproque
Un plan en dimension 3 admet une quation gnrale
a1 x1 + a2 x2 + a3 x3 = b, (a1 , a2 , a3 ) 6= (0, 0, 0). (0.1)
On trouve facilement des points de en donnant des valeurs deux

des trois coordonnes. On peut aussi rsoudre : si par exemple
a1 6= 0, alors (0.1) scrit
b a2 a3
x1 a1
a1 a1
x2 = 0 + x2 1 + x3 0
x3 0 0 1
On trouve ainsi un point et deux vecteurs directeurs.
42

Paralllisme, faisceaux de plans
Soient les plans a1 x1 + a2 x2 + a3 x3 = b et 0 a10 x1 + a20 x2 + a30 x3 = b 0 .
Ils sont parallles si, et seulement si,

a1 a2 a3
rg = 1.
a10 a20 a30
Ils sont confondus si, et seulement si,

a1 a2 a3 b
rg = 1.
a10 a20 a30 b0
Dans le dernier cas possible, ils se coupent selon une droite

a1 x1 + a2 x2 + a3 x3 = b
d
a10 x1 + a20 x2 + a30 x3 = b0
Proposition 2.7.15 (Faisceaux de plans)

Un plan 00 contient d si et seulement si il admet une quation du type
(a1 x1 +a2 x2 +a3 x3 b)+(a10 x1 +a20 x2 +a30 x3 b 0 ) = 0, (, ) R2 \{(0, 0)}.
43

Deux problmes classiques
On se donne deux droites gauches d1 et d2 , un point P (extrieur d1 et
d2 ) et une droite d3 .
Proposition 2.7.16
Il existe une unique droite qui coupe d1 et d2 et qui contient P si et
seulement si aucun des plans dtermins par P et lune des droites nest
parallle lautre droite. Cette droite est lintersection des plans 1 et 2
dtermines par P et d1 et P et d2 , respectivement.
Proposition 2.7.17
Il existe une unique droite qui coupe d1 et d2 et qui est parallle d3
si et seulement si d1 , d2 et d3 ne sont pas parallles un mme paln
Cette droite est lintersection des plans 1 contenant d1 et parallle d3
et 2 contenant d2 et parallle d3 .
44

Presentation 2

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Presentation 2

Загружено:

Авторское право:

Доступные форматы

Espaces affines

Lige, printemps 2017

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Dfinition 2.1.1 (Espaces affines)

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

E = {f : R R : f (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 0},

A = {F : R R : F (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 3}.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

E = {f : R R : f (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 0},

A = {F : R R : F (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 3}.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

E = {f : R R : f (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 0},

A = {F : R R : F (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 3}.

1 Pour tous F A et f E , on a F + f A, puisque par dfinition

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

E = {f : R R : f (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 0},

A = {F : R R : F (x ) = ax 2 +bx +c pour tout x R, et a+b+c = 3}.

1 Pour tous F A et f E , on a F + f A, puisque par dfinition

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Proposition 2.2.2 (bis)

Remarque : Laddition suit la rgle du paralllogramme.

Dfinition 2.2.3 (bis)

Dfinition 2.2.3 (bis)

Cela permet de dfinir laddition des vecteurs libres.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Le segment [A, B] est lensemble

est indpendant du choix du point O A.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

1 On peut manipuler de telles combinaisons pour autant que lon

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

1 On peut manipuler de telles combinaisons pour autant que lon

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

1 On peut manipuler de telles combinaisons pour autant que lon

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

1 On peut manipuler de telles combinaisons pour autant que lon

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Proposition 2.3.11 (Dcomposition)

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Proposition 2.4.2 (Exemple fondamental)

Preuve : Faire un dessin.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Proposition 2.4.7 (Plan dtermin par trois points)

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Proposition 2.4.9 (bis)

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Le point 4 gnralise laxiome dEuclide sur les parallles.

P. Mathonet, Universit de Lige, Facult des Sciences, Dpartement de Mathmatique.

Donc en dimension 3 : des droites sont parallles, scantes ou gauches.