Espace Affine PDF
Espace Affine PDF
Espace Affine PDF
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
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.
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
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
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
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
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
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.
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 :
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 ?
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 :
~ , 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 .
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 ).
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.
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
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
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.
Sommaire
6.7. Dterminer le sous-espace affine engendr par deux droites affines dans un espace
affine de dimension finie.
Fermer
Quitter