Vous êtes sur la page 1sur 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

JJ

II

Page 1 de 27

Retour

Plein cran

Fermer

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

8 dcembre 2003
Ce document est la premire partie du cours de gomtrie affine.
Dans cette partie on dveloppe la thorie des espaces affines abstraits
(de dimension finie), qui permet notamment de traiter les problmes
gomtriques dalignement, de concours et de paralllisme. Lintrt
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
aux cas "concrets" du plan et de lespace (les plus importants pour le
CAPES). Aussi, en travaillant ce cours, il est essentiel dillustrer les
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
navigation.

Accueil

Page de Titre

Table des matires


Sommaire

JJ

II

Page 2 de 27

Retour

Quitter

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

4
4
5
5
5
6
8
8

Translations
9
2.1 Notations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Dfinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Proposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

Sous-espaces affines
3.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Proposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Dfinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Plein cran

Fermer

Espace affine
1.1 Dfinition. . . . . . . . . . . . . . . .
1.2 . Exemple test. . . . . . . . . . . .
1.3 Gnralisation. . . . . . . . . . . . .
1.4 Premires proprits. . . . . . . . . .
1.5 Exemple fondamental. . . . . . . . .
1.6 . Vectorialisation dun espace affine.
1.7 Dautres espaces affines. . . . . . . .

12
12
13
13

3.4
3.5
3.6
3.7
3.8
3.9
3.10

Accueil

Page de Titre

II

Page 3 de 27

Retour

Plein cran

Fermer

Quitter

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

14
14
15
16
17
18
19

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


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

Paralllisme
24
5.1 Dfinitions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.2 Proposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.3 Remarques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

Exercices
6.1 Principe. . . . . . .
6.2 . . . . . . . . .
6.3 . . . . . . . . .
6.4 Paralllogramme.
6.5 . . . . . . . . .
6.6 . . . . . . . . .
6.7 . . . . . . . . .
6.8 Gnralisation . . .

Sommaire

JJ

Remarques : . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Dimension. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Remarques. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exemples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Systme dquations cartsiennes dun sous-espace affine de Rn .
Equation diffrentielle linaire. . . . . . . . . . . . . . . . . . .
Suites arithmtico-gomtriques . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

26
26
26
26
26
27
27
27
27

1.

E SPACE AFFINE

~ est un R-espace vectoriel de dimension finie.


Dans tout le texte, E

Accueil

Page de Titre

Sommaire

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

couple (x, y) de E associe un vecteur not xy et qui vrifie


+
=
(relation de Chasles).
1) (x, y, z) E 3
xy
yz
xz
~ par
2) Pour tout point a de E, lapplication a dfinie de E dans E

(x) = (a, x) =
ax
a

JJ

II

Page 4 de 27

Retour

Plein cran

Fermer

Quitter

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

En fait, cette dfinition est galement valable pour un espace vectoriel E de dimension
quelconque (finie ou non), sur un corps quelconque.
Il y a deux types dobjets en jeu : les lments de E (appels points
~ (appels vecteurs et nots ~v ,...). En
et nots a, b, x, y, ...) et ceux de E
gnral, dans ce texte, on munit de flches tout ce qui est vectoriel et
~ Vous verrez que cest
on rserve les majuscules aux parties de E ou E.
une notation cohrente et commode. Cependant, comme ce nest pas
la coutume de lenseignement secondaire, il est peut-tre prfrable,
loral du CAPES, dutiliser des notations plus standard et de noter A, B

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).
~ et que dfinit sur E une structure despace affine
Montrez que (E E) est inclus dans E
~
dont lespace vectoriel sous-jacent est E.

Accueil

Tout au long de ce document de travail, vous pourrez tester votre assimilation du cours par certains exercices o lespace ambiant sera toujours
le plan affine E ci-dessus. Ceci vous permettra davoir un exemple familier pour illustrer efficacement les dfinitions et les thormes.

Page de Titre

Sommaire

JJ

II

Page 5 de 27

Retour

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
~ n = {(x0 , x1 , , xn ) Rn+1 , x0 +x1 + +xn =
dont lespace vectoriel sous-jacent est E
0}.
1.4.
1.4.1.

Premires proprits.
Ecrivez la relation de Chasles pour obtenir :
= ~0 et (x, y) E 2 ,
=

x E,
xx
xy
yx

Plein cran

Fermer

Quitter

1.4.2. Montrer que, pour quatre points x, y, x0 et y 0 , les proprits (i) et (ii) sont quivalentes :


=
(i)
xy
x0 y 0 ,
(ii) xx0 = yy 0

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


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.

Accueil

Page de Titre

Sommaire

JJ

II

Page 6 de 27

Retour

1.5. Exemple fondamental. On peut munir un espace vectoriel E~ dune structure


~ lui-mme, dite structure affine canodespace affine, despace vectoriel sous-jacent E
= (u, v) = v u.
~
~
~
nique : est lapplication de E E dans E dfinie par
uv
1.5.1. Vrifier (1) et (2) pour . Prcisez 0 et lapplication rciproque de u .
~ = R2 ou E
~ = C, puis
Comme espace vectoriel, on peut prendre en particulier E
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).
1.5.2.

Lorsque E = R3 , calculer ((2, 1, 0), (1, 1, 1)).


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

Plein cran

Fermer

Quitter

1.5.3. Commentaire et avertissement. Ici, il faut faire bien attention. Sur lensemble R2 ,
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
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 applications entre ces espaces. Par exemple une translation sera une application affine, cest--dire
une bonne application vis vis de la structure despace affine, mais pas une application linaire, donc pas une bonne application pour la structure vectorielle.

Accueil

Page de Titre

Sommaire

JJ

II

Page 7 de 27

Retour

Plein cran

Fermer

Quitter

lcole lmentaire, les enfants, avec leurs crayons, leurs rgles et


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
donner des embryons de preuves de ces proprits, mais en partant dun
corpus daxiomes encore mal dfinis.
A la fin du collge et au lyce on introduit les coordonnes et les vecteurs. Sans le dire clairement, on fournit alors aux lves un modle
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
distances et les angles). Dans ce modle qui repose sur les axiomes des
espaces vectoriels (et, plus en amont, des ensembles), toutes les notions
(points, droites) sont bien dfinies, tous les thormes, tous les postulats, plus ou moins admis au collge, peuvent tre dmontrs rigoureusement.

En fait, on peut aussi donner une prsentation axiomatique directe de la


gomtrie partir des notions de points, droites, etc, la manire dEuclide ou, plus rcemment, de Hilbert, mais cest nettement plus compliqu, comme on sen convaincra en allant regarder le livre de David
Hilbert, Les fondements de la gomtrie, Dunod, 1971.
Accueil

Page de Titre

Sommaire

JJ

II

1.6. . Vectorialisation dun espace affine. Nous avons vu en 1.5 que tout espace vectoriel donne naissance un espace affine. Mais cet espace possde un point particulier : 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
sans origine a priori.
Cependant on peut quand mme selon les besoins de la cause choisir un point comme
origine de E. Cela permet de vectorialiser E en , cest --dire didentifier le point a de
de E,
~ la bijection rciproque associant au vecteur ~u le point + ~u (la
E avec le vecteur
a
bijectivit vient de laxiome 2) des espaces affines).
Vectorialiser un espace affine E en une origine convenablement choisie
permet de ramener un problme affine un problme quivalent dans
~ o lon dispose de tous les outils de lalgbre linaire : cest une
E,
mthode trs frquemment utilise.

Page 8 de 27

Retour

Plein cran

Fermer

Quitter

1.7.

Dautres espaces affines.

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
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 sousjacent E0 .
Accueil

1.7.2. Voir aussi, en 3.8, lexemple (fondamental) de lensemble des solutions dun systme dquations linaires et en 3.9 le cas dune quation diffrentielle linaire.

Page de Titre

2.

Sommaire

JJ

II

Page 9 de 27

T RANSLATIONS

2.1. Notations.
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,
cest--dire quon a :

b = a + ~v ab = ~v .

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
problme analogue se pose dans les espaces vectoriels, o il y a une
multiplication interne des scalaires entre eux et une multiplication externe des scalaires par les vecteurs : les deux oprations sont notes .).
Heureusement, il ny a pas de confusion possible, en effet :

Plein cran

Fermer

Quitter

2.1.1.

Donner un sens a ~v .

~ est un espace vectoriel muni de sa structure despace affine canonique, la


2.1.2. Si E
= w u, cest donc le
somme dun point u et dun vecteur v est le point w tel que v =
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

Page de Titre

Sommaire

JJ

II

Page 10 de 27

Retour

Plein cran

Fermer

Quitter

Cette caractrisation de la somme dun point et dun vecteur est importante, elle signifie que lgalit entre points b = a + ~v se transforme
en une galit vectorielle aprs le choix dune origine c.
~ les formules :
Montrez, pour tous a, b E et tous ~u, ~v E
(a + ~u) + ~v = a + (~u + ~v )

et

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

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
point a+~v comme un couple de rels en utilisant la dfinition de la structure affine canonique.

2.2. Dfinition.
~ et ~v un vecteur
Soit E un espace affine despace vectoriel sous-jacent E
~ ; on appelle translation de vecteur ~v lapplication t~v de E dans E dfinie
de E
par t~v (a) = a + ~v .
~
On note T (E) lensemble des translations de E et T lapplication de E
dans T (E) qui au vecteur ~v associe la translation t~v .

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
t(b) en fonction de a, b et a0 .

Accueil

Page de Titre

Sommaire

JJ

II

Page 11 de 27

Retour

Plein cran

Fermer

Quitter

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.
~ il existe une translation t~v de E dans E dfinie comme en 2.2 par la
Lorsque ~v E,
~ Vrifiez que t~v est la
structure despace affine sur E (despace vectoriel sous-jacent E).
restriction de T~v E.

2.3. Proposition.
Lensemble T (E) des translations de E muni de la loi de composition
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.
0
00
0
point de E, on pose : a = t~u (a) et a = t~v (a ). Par dfinition, on a :
0
aa = ~u

et a0 a00 = ~v ,

1 (G, ) est un groupe si :


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)
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,
donc un isomorphisme de groupe, on en dduit que (T (E), ) est un groupe commutatif. 

Accueil

Page de Titre

2.3.1.

Quel est son lment neutre ? Quel est linverse de t~u ?

3.

Sommaire

JJ

II

Page 12 de 27

S OUS - ESPACES AFFINES

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 .


On rappelle la dfinition :
xV}
a (V ) = {
ax,
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

Plein cran

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


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

Fermer

Quitter

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

3. V = [a, b] = {a + tab, t R}

3.2. Proposition.
~ et V un sousSoient E un espace affine despace vectoriel sous-jacent E
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
a (V ).

Accueil

Page de Titre

Sommaire

JJ

II

Page 13 de 27

Retour

Plein cran

Fermer

Quitter

Dmonstration :

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

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

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

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


=
ay
ab + by = ab +
ax.


3.3. Dfinition.
~ 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~ On dit alors que
tenant V tel que a (V ) soit un sous-espace vectoriel de E.
| xV }
~
V est le sous-espace affine passant par a de direction V = {
ax

( V ne dpend pas de a daprs la proposition prcdente).


Par dfinition de V~ , on a V = {a + ~v | ~v V~ } ; on notera donc
V = a + V~ .

3.3.1. Montrer que lespace E de lexemple test est un sous-espace affine de R3 .

3.4. Remarques :
appartient V

~ , en effet il est gal


3.4.1. Pour tous x et y dans V , le vecteur
xy
ay
ax.
(Ceci pourrait tre la base dune dfinition alternative des sous-espaces affines.)
Accueil

Page de Titre

Sommaire

JJ

II

Page 14 de 27

Retour

3.4.2. . Justification de lappellation sous-espace affine. Soit E un espace affine de


~ et V un sous-espace affine de E de direction V
~ . Montrez que lapplication V
direction E

~ qui (a, b) associe


~ et munit
(restriction de V V ) de V V dans E
ab a pour image V
~
V dune structure despace affine despace vectoriel sous-jacent V .

~ , lapplication p 7
3.4.3. Si a est un point dun sous-espace affine V de direction V
ap
~
est une bijection de V sur V .
~ 7 p + V
~ fournit une bijection de lensemble des
3.4.4. Si p E, lapplication V
~
sous-espaces vectoriels de E sur lensemble des sous-espaces affines de E passant par p.

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
dim V = dim E 1.

Un vecteur directeur dune droite affine D est un vecteur non nul de D.

Plein cran

3.5.1.
Fermer

Quitter

Quels sont les sous-espaces affines de dimension 0 ?

3.5.2. z Lensemble des vecteurs directeurs dune droite D est

{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 ?
3.5.4. Dfinition.

Accueil

Page de Titre

Sommaire

JJ

II

On dit que des points sont aligns 2 , resp. coplanaires sils appartiennent
une mme droite affine, resp. un mme plan affine.
Des droites sont dites coplanaires si elles sont contenues dans un mme
plan affine.
3.5.5. Soient V , W deux sous-espaces affines dun espace affine E. Si V est contenu
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 ?
3.5.6. Dans les exemples 1.2 et 1.3 donnez la dimension de E et En .

Page 15 de 27

Retour

Plein cran

Fermer

Quitter

3.6.

Remarques.

3.6.1. Comment dmontrer quun sous-ensemble V de E est un sous-espace affine ? On


| xV }
peut par exemple montrer que pour un point a bien choisi dans V , lensemble {
ax
~ 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
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.
Selon le contexte, il ne faut pas hsiter choisir lune ou lautre de ces dfinitions.

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

Accueil

Page de Titre

~ (espace vectoriel muni de sa structure


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

3.7. Exemples.
Sommaire

JJ

II

Page 16 de 27

3.7.1. Dans R2 , soit D lensemble des couples (x, y) qui vrifient 2x + 3y = 0 (on dit
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.
Donnez un point a du sous-ensemble F dquation 2x + 3y = 2. Montrez que, si les

~ Montrez que F est le souspoints b et c sont dans F alors le vecteur bc appartient D.


2
~
espace affine a + D de R , image de D par une translation. Dterminez les vecteurs de deux
translations qui conviennent.

Retour

Plein cran

Fermer

Quitter

3.7.2. Soit f une forme linaire non nulle sur le R-espace vectoriel Rn (on rappelle que
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
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).
Montrez que H1 est un sous-espace affine de Rn passant par ~u, mais nest pas un sousespace 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.

Page de Titre

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

Sommaire

3.8. Systme dquations cartsiennes dun sous-espace affine de Rn .

Accueil

JJ

II

Page 17 de 27

Retour

Plein cran

Fermer

Quitter

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
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,
V est lensemble des solutions du systme linaire suivant p quations aux inconnues
x1 , , xn :

f1 (x1 , , xn ) = y1

f2 (x1 , , xn ) = y2
(S)
...

fp (x1 , , xn ) = yp
On dit que (S) est un systme dquations cartsiennes de V . Un point de V est une solution particulire de (S), la direction de V est le sous-espace vectoriel ker f de Rn , cest
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 solutions de (S0 ). On rappelle que la dimension de V est gale n r o r est le rang du
systme (S).

Accueil

Page de Titre

Sommaire

JJ

II

Page 18 de 27

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 :

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

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

pk (x1 , , xn ) = pk (a1 , a2 , . . . , an )
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
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.
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 =
{(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 contiPlein cran

Fermer

Quitter

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 vectoriel sous-jacent est lensemble des solutions de lquation linaire homogne associe. Une
solution particulire de lquation est un point de ce sous-espace affine.

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.
(u v)n = un + vn
( u)n = .un

Accueil

(u S(R), v S(R))
( R, v S(R))

Page de Titre

Sommaire

JJ

II

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 ?
3.10.3. Soient b un rel et H(b) lensemble des suites arithmtiques de raison b. Si
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 ?
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

Fermer

Quitter

3.10.5. Recherche dun point particulier de C(a, b) quand a est diffrent de 1. Premire mthode : Chercher une suite constante c dans C(a, b). Si u appartient C(a, b), dterminer
le terme gnral de u c puis celui de u.
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 .
Dterminer le terme gnral de puis celui de u.

Accueil

Page de Titre

4.

Sommaire

4.1.
JJ

I NTERSECTION DE SOUS - ESPACES AFFINES ,


SOUS - ESPACE AFFINE ENGENDR

Intersection de sous-espaces affines.

II

4.1.1. Proposition.
J

Page 20 de 27

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 directions :
\
\
Vi =
V~i .

Retour

Plein cran

Fermer

Quitter

iI

iI

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

iI

iI

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

iI

~i .
V


4.1.2. z Une condition ncessaire pour que lintersection des sous-espaces affines A et
~ et B
~ soient en somme directe.
B soit rduite un point est que les sous-espaces vectoriels A
Cette condition est-elle suffisante ?
4.1.3. Deux plans distincts et non disjoints de lespace de dimension 3 ont pour intersection une droite.
Accueil

Page de Titre

Sommaire

JJ

II

Page 21 de 27

Retour

4.1.4. Dans lespace affine R3 , on donne trois plans affines P1 , P2 et P3 par leurs quations 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.
1. z Soient , , a, b et c des rels.
P1 a pour quation x + 2y + z = a,
P2 a pour quation 2x + 4y = b,
P3 a pour quation x + ( + 1)y = c.
(Utiliser la mthode de Gauss.)
2. z Soient b et des rels.
P1 a pour quation 2x + 7y + z = 3,
P2 a pour quation x + 2y + 3z = b,
P3 a pour quation 3x + 9y ( + 3)z = 2.
(Utiliser les dterminants.)

Plein cran

4.1.5. Proposition.
Fermer

Quitter

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.

~ 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

~ et dun vecteur w
dcompose comme somme dun vecteur ~v de V
~ 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

Page de Titre

Sommaire

JJ

II

Page 22 de 27

Retour

Plein cran

Fermer

Quitter

4.1.6. Si V est une droite et W un hyperplan et que la direction de V nest pas contenue
dans celle de W , leurs directions sont supplmentaires, donc leur intersection est rduite
un point.
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
non vide. Alors Hi = fi1 (yi ) est lhyperplan affine de Rn dquation fi (x1 , x2 , . . . , xn ) =
yi et V est lintersection des Hi .

4.2. Sous-espace affine engendr - dfinition.


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
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). 
4.2.1. Remarque. Pour dterminer Aff A, on choisit un candidat F , sous-espace affine
contenant A et pas trop gros et on conclut avec un argument de dimension. Voici deux
exemples :

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
(ab). Par trois points non aligns passe un et un seul plan.

Accueil

Page de Titre

Sommaire

JJ

II

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

4.3. Sous-espace affine engendr - description.


4.3.1. Proposition.

Avec les notations prcdentes on a, si a A,


| m A }.
Aff A = a + Vect{
am

Page 23 de 27

Autrement dit, la direction de Aff A est le sous-espace vectoriel engendr par


o a et m sont des points de A.
les vecteurs
am

Retour

Dmonstration :
| m A }. Cest un sous-espace affine qui contient A (en
Posons W = a + Vect{
am
W contient donc aussi Aff A car Aff A est le plus petit
vertu de la relation m = a +
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
~ et V
~ est, par dfinition, un sous-espace vectoriel qui contient au moins tous
Aff A = a + V

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

engendr par ces vecteurs, cest--dire le sous-espace vectoriel W et W est contenu dans
Aff A. 

Plein cran

Fermer

Quitter

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.
Page de Titre

Sommaire

JJ

II

Page 24 de 27

Retour

Plein cran

Fermer

Quitter

PARALLLISME

5.1. Dfinitions.
Soient V et W deux sous-espaces affines de E. On dit que V et W sont

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

On dit que V est faiblement parallle W si V~ est contenu dans W .


5.1.1. 4 La relation de paralllisme est une relation dquivalence, mais pas celle de paralllisme faible (elle nest pas symtrique).
. 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
envisagez les rsultats de la proposition suivante.

5.2. Proposition.
i) Si V et W sont parallles, V et W sont confondus ou bien leur intersection est vide.
ii) Si V est faiblement parallle W , V est contenu dans W ou V ne
rencontre pas W .

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

Page de Titre

Sommaire

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
(postulat dEuclide).
(ii) Deux droites parallles une mme troisime sont parallles entre elles.
(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.

5.3.3. z Deux droites sont parallles si et seulement si elles ont mmes vecteurs directeurs ou encore si et seulement si elles ont un vecteur directeur commun.

Page 25 de 27

Retour

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
dune droite affine passant par le point (1, 2, 3) et faiblement parallle au plan dquation
x + y + z = 1.

Plein cran

Fermer

~ et V
~ un sous-espace vectoriel de E.
~ On
5.3.5. Soient E un espace affine de direction E
dfinit sur E la relation :
(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 affines, 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 sousPage de Titre

Sommaire

JJ

II

Page 26 de 27

ensemble :
V = {A = (ai,j ) Mn (R) | i = 1, . . . , n

n
X

ai,j = 0,

j=1

Plein cran

n
X

ai,j = 0}.

i=1

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 ?
b) On munit Mn (R) de sa structure canonique despace affine. Posons
F = {A = (ai,j ) Mn (R) | i = 1, . . . , n

n
X

ai,j = 1,

j=1
Retour

j = 1, . . . , n

j = 1, . . . , n

n
X

ai,j = 1}.

i=1

Montrer que F est un sous-espace affine de Mn (R) dont on prcisera la direction.

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

Sommaire

JJ

II

Page 27 de 27

Retour

Plein cran

Fermer

Quitter

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


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

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.

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

~ +
ab appartient V
W.
c) En dduire que lon a lgalit

~ +
dim T = dim(V
W ) + 1 dans le cas V W =

~ +W
dim T = dim(V
) dans le cas V W 6=