Sie sind auf Seite 1von 27

GEOMETRIE AFFINE

Document de travail pour la prparation au CAPES


Accueil

Premire partie : ESPACES AFFINES


Page de Titre

Marie-Claude DAVID, Frdric HAGLUND, Daniel PERRIN


Sommaire Marie-Claude.David@math.u-psud.fr

JJ II 8 dcembre 2003

J I
Ce document est la premire partie du cours de gomtrie affine.
Dans cette partie on dveloppe la thorie des espaces affines abstraits
Page 1 de 27 (de dimension finie), qui permet notamment de traiter les problmes
gomtriques dalignement, de concours et de paralllisme. Lintrt
Retour majeur de cette prsentation de la gomtrie rside dans lutilisation
de loutil simple et puissant que fournit lalgbre linaire. Cest le fil
conducteur qui guide ce texte. Lobjectif est dappliquer cette thorie
Plein cran
aux cas "concrets" du plan et de lespace (les plus importants pour le
CAPES). Aussi, en travaillant ce cours, il est essentiel dillustrer les
Fermer dfinitions et thormes dans le plan et lespace :
Faites des dessins, encore des dessins, toujours des dessins !
Quitter
copyleft LDL : Licence pour Documents Libres
C ONTENU DU COURS
I. Espaces affines
II. Barycentres
III. Convexit
IV. Applications affines
Dans lintroduction, vous trouverez le mode demploi de ce document et les conseils de
Accueil
navigation.

Page de Titre
Table des matires
Sommaire
1 Espace affine 4
1.1 Dfinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
JJ II 1.2 . Exemple test. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Gnralisation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
J I 1.4 Premires proprits. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 Exemple fondamental. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6 . Vectorialisation dun espace affine. . . . . . . . . . . . . . . . . . . . . . 8
Page 2 de 27
1.7 Dautres espaces affines. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

Retour 2 Translations 9
2.1 Notations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Dfinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Plein cran
2.3 Proposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

Fermer 3 Sous-espaces affines 12


3.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Quitter 3.2 Proposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.3 Dfinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.4 Remarques : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.5 Dimension. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.6 Remarques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.7 Exemples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.8 Systme dquations cartsiennes dun sous-espace affine de Rn . . . . . . . . 17
3.9 Equation diffrentielle linaire. . . . . . . . . . . . . . . . . . . . . . . . . . 18
Accueil 3.10 Suites arithmtico-gomtriques . . . . . . . . . . . . . . . . . . . . . . . . 19

4 Intersection de sous-espaces affines, sous-espace affine engendr 20


Page de Titre
4.1 Intersection de sous-espaces affines. . . . . . . . . . . . . . . . . . . . . . . 20
4.2 Sous-espace affine engendr - dfinition. . . . . . . . . . . . . . . . . . . . . 22
Sommaire 4.3 Sous-espace affine engendr - description. . . . . . . . . . . . . . . . . . . . 23

JJ II 5 Paralllisme 24
5.1 Dfinitions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.2 Proposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
J I 5.3 Remarques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

Page 3 de 27 6 Exercices 26
6.1 Principe. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Retour
6.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.4 Paralllogramme. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Plein cran 6.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Fermer 6.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.8 Gnralisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Quitter
1. E SPACE AFFINE
~ est un R-espace vectoriel de dimension finie.
Dans tout le texte, E

1.1. Dfinition.
Un espace affine despace vectoriel sous-jacent E ~ consiste en la donne
Accueil
dun ensemble E non vide et dune application de E E dans E ~ qui un


couple (x, y) de E associe un vecteur not xy et qui vrifie
Page de Titre
1) (x, y, z) E 3 +
xy =
yz (relation de Chasles).
xz
2) Pour tout point a de E, lapplication a dfinie de E dans E ~ par
Sommaire
(x) = (a, x) =
a

ax
JJ II ~
est une bijection de E dans E.
La dimension de lespace affine E est par dfinition celle de lespace vec-
J I ~
toriel sous-jacent E.


En fait, cette dfinition est galement valable pour un espace vectoriel E de dimension
Page 4 de 27
quelconque (finie ou non), sur un corps quelconque.

Retour Il y a deux types dobjets en jeu : les lments de E (appels points


et nots a, b, x, y, ...) et ceux de E~ (appels vecteurs et nots ~v ,...). En
Plein cran gnral, dans ce texte, on munit de flches tout ce qui est vectoriel et
on rserve les majuscules aux parties de E ou E. ~ Vous verrez que cest
une notation cohrente et commode. Cependant, comme ce nest pas
Fermer
la coutume de lenseignement secondaire, il est peut-tre prfrable,
loral du CAPES, dutiliser des notations plus standard et de noter A, B
Quitter
les points de lespace affine et AB les vecteurs.
1.2. . Exemple test. On note E lensemble des (x, y, z) de R3 tels que x+y +z = 1
~ lensemble des (x, y, z) de R3 tels que x + y + z = 0.
et E
~ est un R-espace vectoriel. E est-il un sous-espace vectoriel de R3 ?
1) Vrifiez que E
2) On dfinit de E E dans R3 par (x, y, z), (x0 , y 0 , z 0 ) = (x0 x, y 0 y, z 0 z).


Montrez que (E E) est inclus dans E ~ et que dfinit sur E une structure despace affine
~
dont lespace vectoriel sous-jacent est E.
Accueil

Tout au long de ce document de travail, vous pourrez tester votre assimi-


Page de Titre
lation du cours par certains exercices o lespace ambiant sera toujours
le plan affine E ci-dessus. Ceci vous permettra davoir un exemple fa-
Sommaire milier pour illustrer efficacement les dfinitions et les thormes.

JJ II 1.3. Gnralisation. En procdant de faon analogue lexemple test dfinissez


sur En = {(x0 , x1 , , xn ) Rn+1 , x0 + x1 + + xn = 1} une structure despace affine
J I dont lespace vectoriel sous-jacent est E ~ n = {(x0 , x1 , , xn ) Rn+1 , x0 +x1 + +xn =
0}.
Page 5 de 27
1.4. Premires proprits.
Retour
1.4.1. Ecrivez la relation de Chasles pour obtenir :
x E,
= ~0 et (x, y) E 2 ,
xx =
xy
yx
Plein cran
1.4.2. Montrer que, pour quatre points x, y, x0 et y 0 , les proprits (i) et (ii) sont qui-
valentes :
Fermer
(i) =
xy

x0 y 0 ,

(ii) xx0 = yy 0

Quitter
et
Si lune de ces proprits est vrifie et si les vecteurs
xy

xx0 sont indpendants on dit que
xyy 0 x0 est un paralllogramme.
1.4.3. Lapplication dfinit une relation dquivalence sur E E :


(a, b) (a0 , b0 ) (a, b) = (a0 , b0 ) ab = a0 b0

Cest la relation dquipollence entre bipoints (i.e. couples de points).

Accueil 1.4.4. Montrer que, si la proprit (1) est vrifie, la proprit (2) de la dfinition est
quivalente : (2) il existe un point a0 de E tel que a0 est une bijection.
Page de Titre
1.5. Exemple fondamental. On peut munir un espace vectoriel E~ dune structure
~ lui-mme, dite structure affine cano-
despace affine, despace vectoriel sous-jacent E
nique : est lapplication de E E dans E dfinie par
= (u, v) = v u.
Sommaire ~ ~ ~ uv

JJ II 1.5.1. Vrifier (1) et (2) pour . Prcisez 0 et lapplication rciproque de u .


Comme espace vectoriel, on peut prendre en particulier E ~ = R2 ou E ~ = C, puis
J I ~ n n
E = R , munis de leur structure canonique de R-espace vectoriel (dans R , laddition et
la multiplication par un scalaire se font coordonne par coordonne).
Page 6 de 27
1.5.2. Lorsque E = R3 , calculer ((2, 1, 0), (1, 1, 1)).

Retour
Nous verrons plus loin que tous les espaces affines de dimension 2
(resp. n) sont isomorphes R2 (resp. Rn ).
Plein cran

1.5.3. Commentaire et avertissement. Ici, il faut faire bien attention. Sur lensemble R2 ,
Fermer
on considre deux structures diffrentes : la structure (canonique) despace vectoriel et la
structure (canonique) despace affine. Ainsi, un lment de lensemble R2 (cest--dire un
Quitter couple (x, y) de nombres rels) peut tre considr tantt comme un vecteur, tantt comme
un point : tout dpend de la structure quon veut considrer ce moment l. Si on considre
C au lieu de R2 , on a en plus une structure de corps : les lments peuvent donc aussi tre
considrs comme des scalaires.
Notez quon peut encore considrer beaucoup dautres structures sur R2 ou C : par
exemple la structure despace topologique, la structure despace mtrique (pour la distance
euclidienne par exemple) ... La diffrence se verra surtout quand on introduira des applica-
tions entre ces espaces. Par exemple une translation sera une application affine, cest--dire
Accueil une bonne application vis vis de la structure despace affine, mais pas une application li-
naire, donc pas une bonne application pour la structure vectorielle.
Page de Titre
lcole lmentaire, les enfants, avec leurs crayons, leurs rgles et
Sommaire leurs compas, font de la gomtrie sur un plan physique concret : la
page du cahier et on se contente de leur faire constater empiriquement
certaines proprits des figures. Plus tard, au collge, on commence
JJ II
donner des embryons de preuves de ces proprits, mais en partant dun
corpus daxiomes encore mal dfinis.
J I A la fin du collge et au lyce on introduit les coordonnes et les vec-
teurs. Sans le dire clairement, on fournit alors aux lves un modle
Page 7 de 27 mathmatique abstrait de la gomtrie. Ce modle, cest R2 muni de
sa structure canonique despace affine (en fait, on ajoute la structure
euclidienne : le produit scalaire, ce qui permet de modliser aussi les
Retour
distances et les angles). Dans ce modle qui repose sur les axiomes des
espaces vectoriels (et, plus en amont, des ensembles), toutes les notions
Plein cran (points, droites) sont bien dfinies, tous les thormes, tous les postu-
lats, plus ou moins admis au collge, peuvent tre dmontrs rigoureu-
Fermer
sement.

Quitter
En fait, on peut aussi donner une prsentation axiomatique directe de la
gomtrie partir des notions de points, droites, etc, la manire dEu-
clide ou, plus rcemment, de Hilbert, mais cest nettement plus com-
pliqu, comme on sen convaincra en allant regarder le livre de David
Hilbert, Les fondements de la gomtrie, Dunod, 1971.
Accueil
1.6. . Vectorialisation dun espace affine. Nous avons vu en 1.5 que tout es-
pace vectoriel donne naissance un espace affine. Mais cet espace possde un point particu-
Page de Titre
lier : le vecteur ~0. Au contraire, dans un espace affine gnral E aucun point nest privilgi
par rapport aux autres : on pourrait dire que la gomtrie affine est de la gomtrie vectorielle
Sommaire sans origine a priori.
Cependant on peut quand mme selon les besoins de la cause choisir un point comme
JJ II origine de E. Cela permet de vectorialiser E en , cest --dire didentifier le point a de
E avec le vecteur de E,
a ~ la bijection rciproque associant au vecteur ~u le point + ~u (la
bijectivit vient de laxiome 2) des espaces affines).
J I

Vectorialiser un espace affine E en une origine convenablement choisie


Page 8 de 27
permet de ramener un problme affine un problme quivalent dans
~ o lon dispose de tous les outils de lalgbre linaire : cest une
E,
Retour mthode trs frquemment utilise.

Plein cran 1.7. Dautres espaces affines.

Fermer 1.7.1. Soient E lespace des fonctions de R dans R, polynomiales de degr infrieur ou
R1
gal n, E1 lensemble des fonctions f de E telles que 0 f (t)dt = 1 et E0 lensemble des
R1
Quitter fonctions f de E telles que 0 f (t)dt = 0.
Montrer que E et E0 sont des R-espaces vectoriels de dimension finie. Lensemble E1
en est-il un ?
Soient f , g dans E1 .
f +g
Les lments f + g, f g, sont-ils dans E1 , dans E0 ?
2
Montrer que E1 peut-tre muni dune structure despace affine despace vectoriel sous-
jacent E0 .
Accueil
1.7.2. Voir aussi, en 3.8, lexemple (fondamental) de lensemble des solutions dun sys-
tme dquations linaires et en 3.9 le cas dune quation diffrentielle linaire.
Page de Titre

Sommaire 2. T RANSLATIONS
2.1. Notations.
JJ II Daprs la proprit (2) de la structure despace affine, pour tout point a de E et tout
~ il existe un unique point b de E tel que
vecteur ~v de E,

ab = ~v . On note a + ~v ce point b,
J I cest--dire quon a :


b = a + ~v ab = ~v .
Page 9 de 27

On peut donc crire : a + ab = b.

Retour
4 Attention ! On a dfini la somme dun point et dun vecteur comme
un certain point : le +, ici, nest pas le + de lespace vectoriel (un
Plein cran problme analogue se pose dans les espaces vectoriels, o il y a une
multiplication interne des scalaires entre eux et une multiplication ex-
Fermer
terne des scalaires par les vecteurs : les deux oprations sont notes .).
Heureusement, il ny a pas de confusion possible, en effet :

Quitter
2.1.1. Donner un sens a ~v .
2.1.2. Si E ~ est un espace vectoriel muni de sa structure despace affine canonique, la
somme dun point u et dun vecteur v est le point w tel que v = = w u, cest donc le
uw
point w = u + v gal la somme, dans lespace vectoriel, des deux vecteurs correspondants
au point et au vecteur dont on fait la somme (la notation + est cohrente).


2.1.3. Montrez : b = a + ~v c E cb =
ca + ~v .
Accueil

Cette caractrisation de la somme dun point et dun vecteur est impor-


Page de Titre tante, elle signifie que lgalit entre points b = a + ~v se transforme
en une galit vectorielle aprs le choix dune origine c.
Sommaire
~ les formules :
Montrez, pour tous a, b E et tous ~u, ~v E
JJ II

(a + ~u) + ~v = a + (~u + ~v ) et (a + ~u)(b + ~v ) = ~v + ab ~u.

J I 2.1.4. z Les lments de R2 sont des couples de rels, on considre un point


a = (a1 , a2 ) du plan affine R2 et un vecteur ~v = (v1 , v2 ) du plan vectoriel R2 , crivez le
Page 10 de 27 point a+~v comme un couple de rels en utilisant la dfinition de la structure affine canonique.

2.2. Dfinition.
Retour
Soit E un espace affine despace vectoriel sous-jacent E ~ et ~v un vecteur
~ ; on appelle translation de vecteur ~v lapplication t~v de E dans E dfinie
de E
Plein cran
par t~v (a) = a + ~v .
On note T (E) lensemble des translations de E et T lapplication de E ~
Fermer
dans T (E) qui au vecteur ~v associe la translation t~v .
Quitter
Si on pose b = t~v (a) pour un point a donn, cela revient dire quon a


ab = ~v , le vecteur dune translation est donc uniquement dtermin par
limage dun point particulier, ceci implique que T est une bijection.

2.2.1. Soient a et b deux points de E, t une translation et a0 , limage de a par t ; exprimez


Accueil t(b) en fonction de a, b et a0 .

Page de Titre 2.2.2. On reprend lexemple test. Soit ~v un vecteur de R3 et T~v la translation de R3
correspondante (T~v (~u) = ~u + ~v pour tout ~u de R3 ).
Si p est un point de E, montrez : T~v (p) E ~v E. ~
Sommaire
Lorsque ~v E, ~ il existe une translation t~v de E dans E dfinie comme en 2.2 par la
~ Vrifiez que t~v est la
structure despace affine sur E (despace vectoriel sous-jacent E).
JJ II restriction de T~v E.

J I 2.3. Proposition.
Lensemble T (E) des translations de E muni de la loi de composition
Page 11 de 27
des applications est un groupe commutatif 1 isomorphe au groupe additif
~ +).
(E,
~ Soit a un
Dmonstration :Nous allons commencer par calculer t~v t~u pour ~u et ~v dans E.
Retour 0 00 0
point de E, on pose : a = t~u (a) et a = t~v (a ). Par dfinition, on a :
Plein cran
0
aa = ~u et a0 a00 = ~v ,
1 (G, ) est un groupe si :
Fermer i) est une loi de composition interne sur lensemble G (a, b G a b G)
ii) est associative ((a b) c = a (b c) pour tous a, b, c de G)
iii) admet un lment neutre e (e a = a e = a pour tout a de G)
Quitter iv) tout lment a de G a un symtrique a0 dans G (a a0 = a0 a = e).
Le groupe est commutatif si la loi est commutative (a b = b a pour tous a, b de G)

00
do on tire, grce la relation de Chasles : aa = ~u + ~v , cest--dire :

t~v t~u (a) = a + (~u + ~v )

Cette relation, vraie pour tout point a de E, signifie que t~v t~u est la translation de vecteur
~ +) dans (T (E), ) est
~u + ~v , cest--dire : T (~v ) T (~u) = T (~u + ~v ). Lapplication T de (E,
Accueil donc un isomorphisme de groupe, on en dduit que (T (E), ) est un groupe commutatif. 

Page de Titre
2.3.1. Quel est son lment neutre ? Quel est linverse de t~u ?

Sommaire 3. S OUS - ESPACES AFFINES


JJ II 3.1. Nous cherchons caractriser maintenant les sous-ensembles V de E qui sont munis
dune structure despace affine par la restriction de ; videmment une condition ncessaire



est que pour tout a de V , le sous-ensemble a (V ) de E soit un sous-espace vectoriel de E .
J I
On rappelle la dfinition :
a (V ) = { xV}
ax,
Page 12 de 27
Nous allons voir quil suffit que cette condition soit ralise pour un point de V . Pourtant en
gnral, si V est un sous-ensemble de E, a (V ) dpend de a.
Retour

3.1.1. Soient deux points a et b dun espace affine E. Comparer a (V ) et b (V ) dans


Plein cran les cas suivants :
1. V = {a, b}
Fermer

2. V = [a, b] = {a + tab, t [0, 1]}


3. V = [a, b] = {a + tab, t R}
Quitter
3.2. Proposition.
Soient E un espace affine despace vectoriel sous-jacent E ~ et V un sous-
ensemble de E vrifiant : il existe un point a de V tel que limage directe
a (V ) soit un sous-espace vectoriel de E.~
~ que
Alors pour tout b de V , b (V ) est le mme sous-espace vectoriel de E
Accueil a (V ).
Dmonstration :


Page de Titre
Le sous-espace vectoriel a (V ) contient le vecteur ab et donc lensemble


{
ab | x V }, cest--dire (V ).
ax b
Montrons maintenant lautre inclusion. Soit un lment de (V ) (x est un point
ax a
Sommaire

de V ), posons y = b (ax), nous avons donc by = ax. Alors le vecteur
1 appartient
ax

appartient
b (V ) si et seulement si y est un point de V cest--dire si et seulement si ay
JJ II a (V ). Comme a (V ) est un sous-espace vectoriel, ce rsultat est obtenu grce la relation
de Chasles :
J I =

ay

ab + by = ab + ax.

Page 13 de 27

3.3. Dfinition.
Retour ~ Un sous-ensemble
Soit E un espace affine despace vectoriel sous-jacent E.
non vide V de E est appel un sous-espace affine sil existe un point a appar-
Plein cran ~ On dit alors que
tenant V tel que a (V ) soit un sous-espace vectoriel de E.
V est le sous-espace affine passant par a de direction V = {
~ | xV }
ax
Fermer

( V ne dpend pas de a daprs la proposition prcdente).
Par dfinition de V~ , on a V = {a + ~v | ~v V~ } ; on notera donc
Quitter
V = a + V~ .
3.3.1. Montrer que lespace E de lexemple test est un sous-espace affine de R3 .

3.4. Remarques :

3.4.1. Pour tous x et y dans V , le vecteur appartient V


xy ~ , en effet il est gal

ay
ax.
(Ceci pourrait tre la base dune dfinition alternative des sous-espaces affines.)
Accueil
3.4.2. . Justification de lappellation sous-espace affine. Soit E un espace affine de
direction E~ et V un sous-espace affine de E de direction V ~ . Montrez que lapplication V
Page de Titre
(restriction de V V ) de V V dans E~ qui (a, b) associe

ab a pour image V~ et munit
~
V dune structure despace affine despace vectoriel sous-jacent V .
Sommaire

~ , lapplication p 7
3.4.3. Si a est un point dun sous-espace affine V de direction V
ap
JJ II ~
est une bijection de V sur V .

J I 3.4.4. Si p E, lapplication V ~ 7 p + V ~ fournit une bijection de lensemble des


~
sous-espaces vectoriels de E sur lensemble des sous-espaces affines de E passant par p.
Page 14 de 27
3.5. Dimension. Par dfinition, la dimension de V est celle de V~ . On dit que V est
une droite affine si dim V = 1, un plan affine si dim V = 2, un hyperplan affine si
Retour dim V = dim E 1.


Un vecteur directeur dune droite affine D est un vecteur non nul de D.
Plein cran
3.5.1. Quels sont les sous-espaces affines de dimension 0 ?
Fermer
3.5.2. z Lensemble des vecteurs directeurs dune droite D est


Quitter {ab | (a, b) D2 , a 6= b}.
3.5.3. Soit, dans R3 , le sous-ensemble F, dquation x2 + y + 3z = 1. Pour
quelles valeurs de et , le sous-ensemble F, est-il
un plan vectoriel de R3 ?
un plan affine de R3 ?
une droite affine de R3 ?

Accueil 3.5.4. Dfinition.


On dit que des points sont aligns 2 , resp. coplanaires sils appartiennent
Page de Titre une mme droite affine, resp. un mme plan affine.
Des droites sont dites coplanaires si elles sont contenues dans un mme
Sommaire
plan affine.

3.5.5. Soient V , W deux sous-espaces affines dun espace affine E. Si V est contenu
JJ II dans W , leurs dimensions soient gales si et seulement si V et W concident. Quels sont les
sous-espaces affines dune droite affine ? dun plan affine ?
J I
3.5.6. Dans les exemples 1.2 et 1.3 donnez la dimension de E et En .
Page 15 de 27
3.6. Remarques.
Retour 3.6.1. Comment dmontrer quun sous-ensemble V de E est un sous-espace affine ? On
peut par exemple montrer que pour un point a bien choisi dans V , lensemble {
| xV }
ax
Plein cran ~ ou bien on peut crire V sous la forme a + F~ o F~ est
est un sous-espace vectoriel de E,
un sous-espace vectoriel dj connu. Nous verrons plus loin une autre mthode utilisant le
Fermer 2 Lalignement de trois points a, b, c peut tre dfini dans un autre cadre que celui de la gomtrie affine. Il sagit

de la dfinition par les distances : a, b, c sont aligns si et seulement si la plus grande des trois distances ab, ac, bc
est la somme des deux autres.
Quitter Selon le contexte, il ne faut pas hsiter choisir lune ou lautre de ces dfinitions.
barycentre.

3.6.2. Soit E ~ un espace vectoriel muni de sa structure canonique despace affine. Mon-
~ sont des sous-espaces affines (passant par ~0).
trez que les sous-espaces vectoriels de E

3.6.3. Plus gnralement, soit V une partie de E ~ (espace vectoriel muni de sa structure
Accueil canonique despace affine) contenant un vecteur ~a. Montrer que V est un sous-espace affine
de E~ si et seulement sil existe un sous-espace vectoriel V ~ de E~ tel que V = t~a (V~ ) (ce
Page de Titre
rsultat est illustr dans certains des exemples suivants).

3.7. Exemples.
Sommaire

3.7.1. Dans R2 , soit D lensemble des couples (x, y) qui vrifient 2x + 3y = 0 (on dit
JJ II que 2x + 3y = 0 est une quation de D).
Montrez que D est une droite vectorielle de lespace vectoriel R2 et une droite affine de
~
lespace affine R2 vrifiant D = D.
J I
Donnez un point a du sous-ensemble F dquation 2x + 3y = 2. Montrez que, si les

~ Montrez que F est le sous-
points b et c sont dans F alors le vecteur bc appartient D.
Page 16 de 27 ~ 2
espace affine a + D de R , image de D par une translation. Dterminez les vecteurs de deux
translations qui conviennent.
Retour
3.7.2. Soit f une forme linaire non nulle sur le R-espace vectoriel Rn (on rappelle que
Plein cran cela signifie que f scrit f (x1 , , xn ) = 1 x1 + + n xn o les i sont des rels
non tous nuls ; quelle est la matrice de f ? Que reprsentent les i ?). Soit H lhyperplan de
Rn dquation f (x) = 0 (cest--dire lensemble des vecteurs x = (x1 , . . . , xn ) vrifiant
Fermer
f (x) = 0). Soit ~u un vecteur de Rn qui nappartient pas H. On considre maintenant Rn
muni de sa structure affine canonique et on pose H1 = t~u (H).
Quitter Montrez que H1 est un sous-espace affine de Rn passant par ~u, mais nest pas un sous-
espace vectoriel. Quelle est sa direction ? Donner une quation cartsienne de H1 (cest--
dire une relation sur les coordonnes caractrisant les points de H1 ).

~ dans un espace vectoriel


3.7.3. Soit g une application linaire dun espace vectoriel E
~
F et ~v un vecteur de Im g. Montrez que limage rciproque par g de ~v est un sous-espace
~ Prcisez sa direction.
affine de E.

Accueil 3.7.4. Soit E lespace affine des fonctions f de R dans R, polynomiales de degr in-
R1
frieur ou gal 4, telles que 0 f (t)dt = 1. Montrez que la partie V de E forme des
Page de Titre polynmes divisibles par (x 21 )2 est un plan de E.

Sommaire
3.8. Systme dquations cartsiennes dun sous-espace affine de Rn .
Daprs 3.7.3 , si f : Rn Rp est une application linaire et si ~v = (y1 , , yp ),
limage rciproque V = f 1 (~v ) est un sous-espace affine de Rn . Soient f1 , , fp les p
JJ II fonctions coordonnes de f : alors, par dfinition de limage rciproque, V est lensemble
des (x1 , , xn ) tels que f1 (x1 , , xn ) = y1 , , fp (x1 , , xn ) = yp . Autrement dit,
J I V est lensemble des solutions du systme linaire suivant p quations aux inconnues
x1 , , xn :
Page 17 de 27


f1 (x1 , , xn ) = y1
f2 (x1 , , xn ) = y2

(S)
Retour
...
fp (x1 , , xn ) = yp

Plein cran On dit que (S) est un systme dquations cartsiennes de V . Un point de V est une so-
lution particulire de (S), la direction de V est le sous-espace vectoriel ker f de Rn , cest
Fermer lensemble des solutions de (S0 ), le systme homogne associ (S). Le sous-espace affine
V est donc la somme dune solution particulire de (S) et du sous-espace vectoriel des so-
lutions de (S0 ). On rappelle que la dimension de V est gale n r o r est le rang du
Quitter
systme (S).
3.8.1. Tout sous-espace affine V de Rn est lensemble des solutions dun systme linaire

~ , considrons la projection p de
n inconnues. En effet, si W est un supplmentaire de V
n
~ ~

R sur W paralllement V (V est donc le noyau de p). Par le choix dune base, W est
isomorphe Rk et p scrit p = (p1 , , pk ) o les pi sont des formes linaires. Soit a =
(a1 , a2 , . . . an ) un point de V ; V est alors lensemble des solutions du systme :

Accueil
p1 (x1 , , xn ) = p1 (a1 , a2 , . . . , an )
p2 (x1 , , xn ) = p2 (a1 , a2 , . . . , an )

Page de Titre
...
pk (x1 , , xn ) = pk (a1 , a2 , . . . , an )

Sommaire
3.8.2. Equations dune droite affine. Dans Rn , si (S) est un systme dquations linaires
dfinissant une droite affine, son rang r vrifie n r = 1, donc le systme doit comporter au
JJ II moins r = n 1 quations. Une droite affine dans R2 est dfinie par au moins une quation,
dans R3 , il en faut au moins deux.
J I
3.8.3. Remarque. Un sous-espace affine a toujours une infinit de systmes dquations
cartsiennes. Par exemple, on ne peut parler de lquation dune droite de R2 : si D =
Page 18 de 27
{(x, y), 2x+3y = 2}, on a aussi bien D = {(x, y), 4x+6y = 4}, D = {(x, y), 6x+9y = 6}
...
Retour
3.9. Equation diffrentielle linaire. Soient a0 , , an , b des fonctions conti-
Plein cran
nues de R dans R, an ne sannulant jamais. Alors lensemble des fonctions y de classe C n
Pk=n
solutions de lquation diffrentielle linaire k=0 ak (t).y (k) (t) = b(t) est un sous-espace
affine (non vide) de lespace des fonctions continues de R dans R dont le sous-espace vecto-
Fermer
riel sous-jacent est lensemble des solutions de lquation linaire homogne associe. Une
solution particulire de lquation est un point de ce sous-espace affine.
Quitter
3.10. Suites arithmtico-gomtriques
3.10.1. z Montrer que les lois et dfinies ci-dessous permettent de munir S(R),
lensemble des suites de rels dune structure de R-espace vectoriel. Pour tout entier n, on
note un le terme de rang n de la suite u.

Accueil (u v)n = un + vn (u S(R), v S(R))


( u)n = .un ( R, v S(R))
Page de Titre
3.10.2. Soient a un rel et G(a) lensemble des suites gomtriques de raison a. Montrer
que G(a) est un sous-espace vectoriel de S(R). Quelle est sa dimension ?
Sommaire

3.10.3. Soient b un rel et H(b) lensemble des suites arithmtiques de raison b. Si


JJ II u appartient H(b), exprimer un en fonction de u0 et de b. En dduire que H(b) est un
sous-espace affine de S(R). Quelle est sa direction ?
J I
3.10.4. Pour deux rels a et b, on pose :
Page 19 de 27 C(a, b) = {u S(R), un+1 = aun + b, n N}

Retour
En utilisant la dfinition, montrer que C(a, b) est un sous-espace affine de S(R). Quelle est
sa direction ?
Plein cran
3.10.5. Recherche dun point particulier de C(a, b) quand a est diffrent de 1. Premire m-
thode : Chercher une suite constante c dans C(a, b). Si u appartient C(a, b), dterminer
Fermer le terme gnral de u c puis celui de u.

Quitter
3.10.6. Recherche dun point particulier de C(a, b) quand a est diffrent de 1. Deuxime
mthode : Soit u un lment de C(a, b), on dfinit la suite u par : (u)n = un+1 pour tout
entier n. Montrer que u appartient C(a, b) , v = u u appartient G(a) et calculer un en
fonction de u0 et a. Ecrire u comme somme dune suite fixe de C(a, b) et dun lment de
G(a) dpendant de u0 .

3.10.7. Recherche dun point particulier de C(a, b) quand a est diffrent de 1. Troisime
mthode : Soit u un lment de C(a, b), on dfinit la suite = (n )nN par un = n n .
Accueil Dterminer le terme gnral de puis celui de u.

Page de Titre
4. I NTERSECTION DE SOUS - ESPACES AFFINES ,
Sommaire
SOUS - ESPACE AFFINE ENGENDR
4.1. Intersection de sous-espaces affines.
JJ II
4.1.1. Proposition.
J I Une intersection quelconque de sous-espaces affines Vi , (i I), est ou
bien vide ou un sous-espace affine dont la direction est lintersection des di-
Page 20 de 27 rections : \
\
Vi = V~i .
Retour iI iI

Plein cran
Dmonstration :Si lintersection nest pas vide, on choisit un point a dans lintersection et
on peut crire :
a ( Vi ) = { x
\ \ \
ax, Vi } = ~i
V
Fermer
iI iI iI

Donc lintersection des Vi , (i I) est un sous-espace affine de direction


T ~i .
V
Quitter iI


4.1.2. z Une condition ncessaire pour que lintersection des sous-espaces affines A et
~ et B
B soit rduite un point est que les sous-espaces vectoriels A ~ soient en somme directe.
Cette condition est-elle suffisante ?

4.1.3. Deux plans distincts et non disjoints de lespace de dimension 3 ont pour inter-
section une droite.
Accueil
4.1.4. Dans lespace affine R3 , on donne trois plans affines P1 , P2 et P3 par leurs qua-
Page de Titre
tions cartsiennes et on note F leur intersection. Prciser pour quelles valeurs des paramtres,
F est vide. Dans les autres cas, dterminer sa dimension, donnez-en un systme dquations
cartsiennes les moins nombreuses possibles puis un systme dquations paramtriques.
Sommaire
1. z Soient , , a, b et c des rels.
P1 a pour quation x + 2y + z = a,
JJ II
P2 a pour quation 2x + 4y = b,
P3 a pour quation x + ( + 1)y = c.
J I (Utiliser la mthode de Gauss.)
2. z Soient b et des rels.
Page 21 de 27
P1 a pour quation 2x + 7y + z = 3,
P2 a pour quation x + 2y + 3z = b,
Retour P3 a pour quation 3x + 9y ( + 3)z = 2.
(Utiliser les dterminants.)
Plein cran
4.1.5. Proposition.
Fermer
Si V et W sont deux sous-espaces affines dun espace affine E tels que
~
~
V W = E, alors V W est rduit un point.
Quitter ~ et
Dmonstration :Comme les directions V

W sont en somme directe, lintersection de V et
W est vide ou rduite un point.


Montrons quelle est non vide. Soient a un point de V et b un point de W , le vecteur ab se


dcompose comme somme dun vecteur ~v de V ~ et dun vecteur w~ de W . Le point c = a + v






est un point de V or de ac = ~v et ab = ~v + w,
~ on tire w = cb, donc c = b + ( w ) est aussi

un point de W .

Accueil

4.1.6. Si V est une droite et W un hyperplan et que la direction de V nest pas contenue
Page de Titre dans celle de W , leurs directions sont supplmentaires, donc leur intersection est rduite
un point.
Sommaire
4.1.7. Soit f : Rn Rp une application linaire, et ~v = (y1 , , yp ) un vecteur de Rp .
On note f1 , , fp les formes linaires coordonnes de f et on suppose que V = f 1 (~v ) est
JJ II non vide. Alors Hi = fi1 (yi ) est lhyperplan affine de Rn dquation fi (x1 , x2 , . . . , xn ) =
yi et V est lintersection des Hi .
J I
4.2. Sous-espace affine engendr - dfinition.
Page 22 de 27 Corollaire et dfinition : Si A est une partie non vide de E il existe un plus
petit sous-espace affine contenant A. Ce sous-espace est appel sous-espace
Retour
affine engendr par A et il est not Aff A.
Dmonstration : On obtient Aff A comme lintersection de tous les sous-espaces affines
contenant A (il y a au moins E tout entier). 
Plein cran

4.2.1. Remarque. Pour dterminer Aff A, on choisit un candidat F , sous-espace affine


Fermer contenant A et pas trop gros et on conclut avec un argument de dimension. Voici deux
exemples :
Quitter
4.2.2. Soient a, b et c trois points distincts de lespace affine R3 . Dterminer Aff A
quand
i) A = {a, b}
ii) A = {a, b, c} et a, b et c sont aligns
iii) A = {a, b, c} et a, b et c ne sont pas aligns.
Conclusion : Par deux points a et b distincts passe une et une seule droite que lon notera
Accueil (ab). Par trois points non aligns passe un et un seul plan.

Page de Titre
4.2.3. z Dans lexemple test, montrez que E est le sous-espace affine de R3 engendr
par i = (1, 0, 0), j = (0, 1, 0), k = (0, 0, 1).
Sommaire
4.3. Sous-espace affine engendr - description.

JJ II 4.3.1. Proposition.
Avec les notations prcdentes on a, si a A,
J I
Aff A = a + Vect{ | m A }.
am
Page 23 de 27 Autrement dit, la direction de Aff A est le sous-espace vectoriel engendr par
les vecteurs o a et m sont des points de A.
am
Retour Dmonstration :
Posons W = a + Vect{ am | m A }. Cest un sous-espace affine qui contient A (en

Plein cran
vertu de la relation m = a + W contient donc aussi Aff A car Aff A est le plus petit
am).
sous-espace affine contenant A. On a montr linclusion Aff A W .
Rciproquement, comme Aff A est un sous-espace affine, on peut lcrire sous la forme
Fermer Aff A = a + V ~ et V
~ est, par dfinition, un sous-espace vectoriel qui contient au moins tous

les vecteurs am o a et m sont des points de A, il contient donc le sous-espace vectoriel


Quitter engendr par ces vecteurs, cest--dire le sous-espace vectoriel W et W est contenu dans
Aff A. 
4.3.2. Vous avez d montrer en 4.2.2 que le sous-espace affine engendr par deux points
a et b est la droite affine passant par a et b, retrouvez ce rsultat en utilisant la description de
Aff A de ce paragraphe.

~ = Vect(
4.3.3. Suite de 4.2.3. A laide de ce qui prcde, retrouvez le fait que E ij , ik).

Accueil
5. PARALLLISME
Page de Titre
5.1. Dfinitions.
Soient V et W deux sous-espaces affines de E. On dit que V et W sont
Sommaire

parallles sils ont mme direction, i.e., si on a V~ = W . On note V k W (on
dit parfois que V et W sont strictement parallles).
JJ II

On dit que V est faiblement parallle W si V~ est contenu dans W .
J I
5.1.1. 4 La relation de paralllisme est une relation dquivalence, mais pas celle de pa-
ralllisme faible (elle nest pas symtrique).
Page 24 de 27
. Dans votre espace vital familier, avec deux stylos et deux feuilles de papier, simulez
deux droites parallles, deux plans parallles, une droite faiblement parallle un plan et
Retour envisagez les rsultats de la proposition suivante.

Plein cran
5.2. Proposition.
i) Si V et W sont parallles, V et W sont confondus ou bien leur intersec-
tion est vide.
Fermer
ii) Si V est faiblement parallle W , V est contenu dans W ou V ne
rencontre pas W .


Quitter Dmonstration :i) Si V W nest pas vide, il contient un point a. On peut crire V = a + V

~ =
et W = a + W , donc, puisque V W , V et W sont gaux.


ii) Si V W nest pas vide, il contient un point a. On peut crire V = a + V et



~ W , V est contenu dans W . 
W = a + W , donc, puisque V

5.3. Remarques.
Accueil
5.3.1. Vous pouvez maintenant dmontrer ces affirmations qui ont berc votre enfance :
(i) Par tout point dun plan, il passe une et une seule droite parallle une droite donne
Page de Titre (postulat dEuclide).
(ii) Deux droites parallles une mme troisime sont parallles entre elles.
Sommaire
(iii) Deux droites parallles dun plan ne se coupent pas ou sont confondues.
(iv) Deux droites disjointes dun plan sont parallles.

JJ II 5.3.2. 4 Deux droites disjointes dans lespace ne sont pas ncessairement parallles.

J I 5.3.3. z Deux droites sont parallles si et seulement si elles ont mmes vecteurs direc-
teurs ou encore si et seulement si elles ont un vecteur directeur commun.
Page 25 de 27
5.3.4. Dans lespace affine R3 , trouvez une quation du plan affine passant par le point
(1, 2, 3) et parallle au plan dquation x + y + z = 1. Donnez un systme dquations
Retour dune droite affine passant par le point (1, 2, 3) et faiblement parallle au plan dquation
x + y + z = 1.
Plein cran
~ et V
5.3.5. Soient E un espace affine de direction E ~ un sous-espace vectoriel de E.
~ On
dfinit sur E la relation :
Fermer
~

(a, b) E 2 a b ab V
Quitter
Montrer que est une relation dquivalence. Quelles sont les classes dquivalence ?
6. E XERCICES
6.1. Principe. Pour tudier le paralllisme ou lintersection de deux sous-espaces af-
fines, on commence par traiter le problme vectoriel analogue (cest un principe gnral de
gomtrie affine de commencer par laspect vectoriel), puis on regarde si lespace considr
est vide ou pas.
Accueil
6.2. a) Dans lespace vectoriel Mn (R) des matrices n n sur R, on considre le sous-
ensemble :
Page de Titre
n
X n
X
V = {A = (ai,j ) Mn (R) | i = 1, . . . , n ai,j = 0, j = 1, . . . , n ai,j = 0}.
Sommaire
j=1 i=1

JJ II Montrer que V est un sous-espace vectoriel de Mn (R) (pour viter de rpter les mmes
calculs, on pourra utiliser la forme linaire ck,l qui la matrice (ai,j ) associe son coefficient
ak,l ). Quelle est la dimension de V ?
J I b) On munit Mn (R) de sa structure canonique despace affine. Posons
n
X n
X
Page 26 de 27
F = {A = (ai,j ) Mn (R) | i = 1, . . . , n ai,j = 1, j = 1, . . . , n ai,j = 1}.
j=1 i=1
Retour
Montrer que F est un sous-espace affine de Mn (R) dont on prcisera la direction.

Plein cran

6.3. Soient V, W deux sous-espaces affines de E. Montrer quon a V~ W = E~ si et
seulement si V W est un singleton et Aff(V W ) = E.
Fermer
6.4. Paralllogramme. Soient a, b, a0 , b0 des points dun espace affine E. On sup-

Quitter pose que a, a0 , b sont affinement indpendants (cest--dire, cf. II. 3.2, que les vecteurs aa0 et


ab sont linairement indpendants). Montrer que les conditions suivantes sont quivalentes :


i) abb0 a0 est un paralllogramme (i.e. on a ab = a0 b0 ou aa0 = bb0 ),

ii) ab0 = ab + aa0 ,
iii) Les droites (ab) et (a0 b0 ) ainsi que (aa0 ) et (bb0 ) sont parallles.
Exprimer les proprits caractristiques du paralllogramme dans le langage de la gomtrie
(faire un dessin).
Accueil
6.5. Dterminer, dans R3 , lintersection dun plan P et dune droite D.

Page de Titre 6.6. Dterminer, dans R3 , lintersection de deux plans.

Sommaire
6.7. Dterminer le sous-espace affine engendr par deux droites affines dans un espace
affine de dimension finie.

JJ II 6.8. Gnralisation Soient V et W deux sous-espaces affines dun espace affine


E et T le sous-espace affine engendr par leur runion.
~


J I a) Soient a V et b W . Montrer lgalit : T = V + W + Vect{ab}.
b) Soient a V et b W . Montrer que V W est non vide si et seulement si le vecteur

~ +
Page 27 de 27 ab appartient V W.
c) En dduire que lon a lgalit
dim T = dim(V ~ +
W ) + 1 dans le cas V W =
Retour
dim T = dim(V ~ +W ) dans le cas V W 6=
Plein cran

Fermer

Quitter