M Co Aff JMF

Cours de Math
ematiques
G
eom
etrie affine
Sommaire
Geometrie ane
Sommaire
I Translations, sous-espaces anes . . . . . . . . . . . . . . . . . . . . 2
I.1 Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
I.2 Sous-espaces anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
I.3 Parallelisme et intersection de sous-espaces anes . . . . . . . . . . . 5
II Repères cartesiens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
II.1 Repères cartesiens dun sous-espace ane . . . . . . . . . . . . . . . . 7
II.2

Equations cartesiennes dun hyperplan . . . . . . . . . . . . . . . . . . 9
II.3

Equations cartesiennes dun sous-espace ane . . . . . . . . . . . . . . 14
III Barycentres et convexite . . . . . . . . . . . . . . . . . . . . . . . . . 19
III.1 Barycentres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
III.2 Barycentres et sous-espaces anes . . . . . . . . . . . . . . . . . . . . 21
III.3 Parties convexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
IV Applications anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
IV.1 Applications anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
IV.2 Isomorphismes anes . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
IV.3 Applications anes et sous-espaces anes . . . . . . . . . . . . . . . . 30
IV.4 Projections, symetries, anites . . . . . . . . . . . . . . . . . . . . . . 32
IV.5 Barycentres et applications anes . . . . . . . . . . . . . . . . . . . . 36
Page 1 Jean-Michel Ferrard www.klubprepa.net c EduKlub S.A.
Tous droits de lauteur des uvres reserves. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et privee sont interdites.
Cours de Math
ematiques
G
eom
etrie affine
Partie I : Translations, sous-espaces anes
I Translations, sous-espaces anes
Dans tout ce chapitre, E est un espace vectoriel sur IR.
Les elements de E, selon le role quon leur fait jouer, sont appeles points ou vecteurs.
Pour limiter les ambiguites, on utilisera quelques conventions de notation :
Les points seront notes A, B, . . . , M, N, . . ..
Le vecteur nul

0 , considere comme un point de E, sera note O.
Les vecteurs seront notes a, b, u, v, . . ., parfois

a ,

b , . . . ,
u ,
v . . .
Les sous-espaces vectoriels de E seront notes F, G, H, . . .
On denira les sous-espaces anes de E, et on les notera T, (, H, . . .
I.1 Translations
Denition
Soit u un vecteur de E.
Lapplication t
u
: E E denie par t
u
(A) = A +u est appelee translation de vecteur u.
Proprietes
Pour tous vecteurs u, v et tout point A, on a (A +u) +v = A + (u +v) = (A +v) +u.
Autrement dit on a les egalites t
v
t
u
= t
u
t
v
= t
u+v
.
On a bien s ur t
0
= Id. Dautre part toute translation t
u
est bijective et (t
u
)
1
= t
u
.
Seule la translation t
0
= Id est lineaire. En eet, si u ,=

0 , alors t
u
(O) = u ,= O.
Soient A, B deux points de E. Il existe un unique u de E tel que B = t
u
(A) = A +u.
Ce vecteur, egal à B A, est note

AB.
Avec cette notation, et pour tous points A, B, C de E :
AB =

0 A = B,

BA =
AB,

AB +
BC =

AC (relation de Chasles)
Soient A, B deux points de E. On note [A, B] = M E,
AM =
AB, [0, 1].

On dit que [A, B] est le segment dorigine A et dextremite B. On verie que [A, B] = [B, A].
En particulier, le point I deni par

AI =
1
2
AB est appele le milieu du segment [A, B].

Soient A, B, C, D quatre points de E. On a les equivalences suivantes :
AB =

CD

AC =

BD u E,
_
t
u
(A) = C
t
u
(B) = D
[A, D] et [B, C] ont meme milieu
On exprime ces conditions en disant que le quadruplet (A, B, D, C) est un parallelogramme.
Il en est alors de meme pour les quadruplets (B, D, C, A), ou (A, C, D, B).
Cours de Math
ematiques
G
eom
etrie affine
I.2 Sous-espaces anes
Denition
Soient A un point de E, et F un sous-espace vectoriel de E. On note A+F = A+u, u F.
On dit que T = A +F est le sous-espace ane de E passant par A et de direction F.
Reciproquement, on dit quune partie T de E en est un sous-espace ane sil existe un
point A de E et un sous-espace vectoriel F de E tel que T = A +F.
Remarques et proprietes
Un sous-espace ane nest jamais vide.
E est un sous-espace ane de direction E. On dira que E est un espace ane.
Les sous-espaces vectoriels F de E sont les sous-espaces anes de E qui passent par O.
Soit T un sous-espace ane de E, passant par A et de direction F. Alors F =
AB, B T.
Autrement dit, la direction dun sous-espace ane de E est denie de manière unique.
Soit T un sous-espace ane de E, de direction F. Pour tout B de T, on a T = B +F.
Un sous-espace ane est donc deni par sa direction et par lun quelconque de ses points.
Deux sous-espaces anes sont egaux ils ont la meme direction et un point en commun.
Soient A un point de E, et F un sous-espace vectoriel de E.
On peut ecrire T = A +F = A +u, u F = t
A
(u), u F = t
A
(F).
Ainsi les sous-espaces anes de E sont les translates des sous-espaces vectoriels de E.
Si A est un point de E, alors le singleton A est un sous-espace ane de E.
Plus precisement, cest le sous-espace ane de E passant par A de direction
0 .
Denition
Soit F un sous-espace vectoriel de E, et T un sous-espace ane de E de direction F.
On dit que T est de dimension nie si F est lui-meme de dimension nie.
Dans ce cas on note dimT = dimF.
Les singletons de E sont les sous-espaces anes de dimension 0.
On appelle droites anes les sous-espaces anes de dimension 1.
On appelle plans anes les sous-espaces anes de dimension 2.
Si F est un hyperplan de E, on dit que T est un hyperplan ane de E.
On a represente ici un plan
ane T passant par un point A
et de direction un plan vectoriel F
de base (u, v).
Dire que B est dans T,
cest dire que le vecteur

AB
est dans F, ou encore est
combinaison lineaire de u et v.
Cours de Math
ematiques
G
eom
etrie affine
Remarques
Soit A un point de E, et F un sous-espace vectoriel de E, de base u
1
, u
2
, . . . , u
p
.
Soit T le sous-espace ane de E, passant par A et de direction F.
Soit B un point de E. Alors B T (
1
, . . .
p
) IR
p
, B = A +
p
k=1
k
u
k
.
Reciproquement, soit T une partie de E.
Supposons quil existe un point A de E et p vecteurs independants u
1
, u
2
, . . . , u
p
tels que :
B T (
1
, . . .
p
) IR
p
, B = A +
p
k=1
k
u
k
Alors T est le sous-espace ane de E passant par A et de direction F = Vect (u
1
, . . . , u
p
).
On dit souvent, par abus de langage, que T est dirige par les vecteurs u
1
, . . . , u
p
.
En particulier, pour toute partie T de E :
T est une droite ane si et seulement si il existe un point A de E et un vecteur non nul
u de E tels que : B T IR, B = A +u.
On peut alors noter T = (A, u) et on dit que u est un vecteur directeur de T.
T est un plan ane si et seulement si il existe un point Ade E et deux vecteurs independants
u, v de E tels que : B T (, ) IR
2
, B = A +u +v.
On peut alors noter T = (A, u, v).
Soient E, F deux IR-espaces vectoriels, et soit f dans L(E, F). Soit b un vecteur de F.
Supposons que o = u E, f(u) = b soit non vide, cest-à-dire que b appartienne à Imf.
Alors o est un sous-espace ane de E, de direction ker f.
En eet, si u
0
est un element particulier de o, on a :
u o f(u) = b f(u) = f(u
0
) f(u u
0
) =

0 u u
0
ker f
h ker f, u = u
0
+h
En particulier, la solution generale dun système lineaire AX = B (n equations, p inconnues)
si elle nest pas vide, est un sous-espace ane de IR
p
.
Si la matrice A est de rang r, alors la dimension de ce sous-espace ane est p r.
Considerons par exemple le système
_
_
x + 3y + 5z 2t 7u = 3
3x + y + z 2t u = 1
2x y 3z + 7t + 5u = 2
3x 2y 5z + 7t + 8u = 1
Ici n = 4 et p = 5. On verie que la matrice du système est de rang 3.
On montre (voir chapitre 12, page 29) que la solution generale secrit :
(x, y, z, t, u) = (1 + 3t, 8 17t u, 4 + 10t + 2u, t, u)
= (1, 8, 4, 0, 0) +t(3, 17, 10, 1, 0) +u(0, 1, 2, 0, 1)
Cest le plan ane passant par = (1, 8, 4, 0, 0) et dirige par
_
(3, 17, 10, 1, 0)
(0, 1, 2, 0, 1)
Cours de Math
ematiques
G
eom
etrie affine
Denition
On dit que des points de E sont alignes sils appartiennent à une meme droite ane.
On dit quils sont coplanaires sils appartiennent à un meme plan ane.
Remarques
Deux points A, B sont toujours alignes.
Sils sont distincts, ils appartiennent à une seule droite T : la droite T = (A,
AB).
Trois points A, B, C sont alignes si et seulement si les vecteurs

AB et

AC sont lies.
Si les trois points A, B, C ne sont pas alignes, on dit quils forment un vrai triangle.
Trois points A, B, C sont toujours coplanaires.
Supposons quils ne soient pas alignes (donc que les vecteurs

AB et

AC soient libres.)
Alors ils appartiennent à un seul plan T : le plan T = (A,
AB,
AC).
Ce plan peut tout aussi bien etre note (B,
BA,
BC) ou (C,
CA,
CB).
Quatre points A, B, C, D sont coplanairesles vecteurs

AB,
AC,
AD sont lies.
I.3 Parallelisme et intersection de sous-espaces anes
Denition
Soient T et ( deux sous-espaces anes de E, de directions respectives F et G.
On dit que T est parallèle à ( si on a linclusion F G.
On dit que T et ( sont parallèles si on a legalite F = G.
Remarques
Si T et ( ont meme dimension, les deux notions precedentes sont equivalentes.
Un singleton est parallèle à nimporte quel sous-espace ane.
Une droite peut etre parallèle à un plan, mais linverse est impossible.
Si deux sous-espaces anes de dimension nie sont parallèles, ils ont meme dimension.
Deux droites anes sont parallèles elles ont un vecteur directeur commun.
On pourra noter T | ( pour exprimer que T et ( sont parallèles.
On denit ainsi une relation dequivalence sur lensemble des sous-espaces anes de E.
T et ( sont parallèlesil existe u dans E tel que t
u
(T) = (.
Plus precisement, si T | ( on a ( = t
u
(T) pour tout u =

AB o` u A T et B (.
Soit T un sous-espace ane de E, et A un point de E.
Par le point A, il passe un unique sous-espace ane parallèle à T.
Un sous-espace ane T est parallèle à sa propre direction F.
Celle-ci est dailleurs lunique sous-espace ane parallèle à T et passant par O.
Cours de Math
ematiques
G
eom
etrie affine
Soient T, ( deux sous-espaces anes de E. On suppose que T est parallèle à (.
Alors il existe un unique sous-espace ane T
contenant T et tel que T
et ( soient parallèles.
Sur cette gure, on voit une
droite T parallèle au plan (.
Il existe un plan unique T
contenant T et parallèle à (.
En revanche, ( contient une
innite de droites parallèles à T.
Proposition
Soient T et ( deux sous-espaces anes de E.
Si T est parallèle à (, alors ou bien T ( = ou bien T (.
Si T et ( sont parallèles, alors ils sont ou bien disjoints ou bien confondus.
Proposition
Soient T, ( deux sous-espaces anes de E, de directions respectives F et G.
Lintersection T (, si elle nest pas vide, est un sous-espace ane de direction F G.
Si T ( ,= on dit que T et ( sont concourants ou secants.
Si E = F +G, alors lintersection T ( nest pas vide.
Si E = F G, alors lintersection T ( se reduit à un singleton.
On exprime cette situation en disant que T et ( sont supplementaires.
Exemples et remarques
Soit H un hyperplan ane de E, et soit T une droite ane non parallèle à H.
Alors la droite T coupe lhyperplan H en un point et un seul.
En particulier, si dimE = 2, deux droites non parallèles ont un unique point en commun.
Si dimE = 3, une droite T non parallèle à un plan T coupe T en un point unique.
Soient T
1
et T
2
deux plans anes de E, avec dimE = 3.
Si T
1
et T
2
ne sont pas parallèles, alors leur intersection est une droite.
Supposons dimE 3, et soient T
1
et T
2
deux droites anes de E.
On dit que T
1
et T
2
sont coplanaires si elles sont incluses dans un meme plan ane T.
Cela equivaut à dire que T
1
et T
2
sont parallèles ou concourantes.
Si T
1
= (A, u) et T
2
= (B, v), cela equivaut à dire que rg (
AB, u, v) 2.
Dans ce cas, et si D
1
,= T
2
, le plan T est deni de manière unique par T
1
et T
2
.
Si les droites T
1
et T
2
ne sont pas coplanaires, leur intersection est vide.
Si dimE 4, il est possible que deux plans T
1
et T
2
soient disjoints.
Cours de Math
ematiques
G
eom
etrie affine
Partie II : Repères cartesiens
II Repères cartesiens
Dans cette section, E est un espace vectoriel sur IR, de dimension n 1.
II.1 Repères cartesiens dun sous-espace ane
Denition
Soit T un sous-espace ane de E, de direction F, de dimension p 1.
Soient A un point de T et () =
1
,
2
, . . . ,
p
une base de F.
Le couple 1 = (A, ()) est appele un repère cartesien de T, dorigine A.
Tout point M de T secrit de facon unique M = A +
p
j=1
j
.
On dit alors que
1
,
2
, . . . ,
p
sont les coordonnees du point M dans le repère 1.
Lapplication de IR
p
dans T denie par (
1
, . . . ,
p
) = A +
p
j=1
j
est donc bijective.
Cette bijection est appelee representation parametrique de T (associee au repère 1).
Repère cartesien de E
Cest la donnee 1 = (, (e)) dun point de E et dune base (e) de E.
Exemple : le repère canonique de IR
n
, forme par le point O et la base canonique (e).
Si dimE = n 1, la donnee dun repère cartesien de E permet didentier les points de E
avec ceux de IR
n
muni de son repère canonique.
Representation parametrique dune droite T
Cest la donnee dun point A de T et dun vecteur u non nul de sa direction D.
La representation parametrique associee est alors : IR M = A +u.
On dit que est labscisse de M sur laxe (A, u).
Si M = A+u et N = A+u, alors la quantite MN = est appelee mesure algebrique
de (M, N) sur laxe (A, u) (elle ne depend pas du choix du point A de T.)
Supposons que E soit un plan, rapporte à un repère cartesien 1 = (, (e
1
, e
2
)).
Notons (x, y) les coordonnees de M, (a, b) celles de A et (, ) celles de u.
Alors la representation parametrique de T = (A, u) secrit :
_
x = a +
y = b +
, avec IR.
Reciproquement, si (, ) ,= (0, 0), le système precedent denit la droite passant par le point
A(a, b) et dirigee par le vecteur u(, ).
Supposons que E soit de dimension 3 et rapporte à un repère cartesien 1 = (, (e
1
, e
2
, e
3
)).
Notons (x, y, z) les coordonnees de M, (a, b, c) celles de A et (, , ) celles de u.
Alors la representation parametrique de T = (A, u) secrit :
_
_
_
x = a +
y = b +
z = c +
, avec IR.
Reciproquement, si (, , ) ,= (0, 0, 0), le système precedent denit la droite passant par le
point A(a, b, c) et dirigee par le vecteur u(, , ).
Cours de Math
ematiques
G
eom
etrie affine
Representation parametrique dun plan
Un repère cartesien dun plan ane T est la donnee dun point A de T et dun couple (u, v)
de vecteurs non proportionnels de sa direction P.
La representation parametrique associee est alors : (, ) IR
2
M = A +u +v.
Supposons que E, de dimension 3, soit rapporte au repère cartesien 1 = (, (e) = e
1
, e
2
, e
3
).
Notons (x, y, z) les coordonnees de M, (a, b, c) celles de A.
Notons (, , ) et (
) les composantes de u et v dans (e).

La representation parametrique de T = (A, u, v) secrit
_
_
_
x = a + +
y = b + +
z = c + +
o` u (, ) IR
2
.
Reciproquement, si (, , ) et (
) sont libres, le système precedent denit le plan

passant par le point A(a, b, c) et dirige par les vecteurs u(, , ) et v(
).
Representation parametrique dans le cas general
Soit 1 = (, (e) = e
1
, e
2
. . . , e
n
) un repère cartesien de E, avec dimE = n 1.
Soit T un sous-espace ane de E, de direction F et de dimension p 1.
Soit 1
= (
, () =
1
,
2
, . . . ,
p
) un repère cartesien de T.
Soient (
1
,
2
, . . . ,
n
) les coordonnees du point
dans le repère 1.
Pour tout j de 1, . . . , p, on pose
j
=
n
i=1
a
ij
e
i
.
La matrice A = (a
ij
) de /
n,p
(IR) est donc la matrice de la famille () dans la base (e).
Cette matrice est de rang p car ses p colonnes sont independantes.
Soit M un point quelconque de T, de coordonnees
1
, . . . ,
p
dans le repère 1
.
Soient x
1
, x
2
, . . . , x
n
les coordonnees de M dans le repère 1 de E.
Alors la representation parametrique de T secrit :
M =
+
p
j=1
j

_
_
x
1
=
1
+a
11
1
+a
12
2
+ +a
1p
p
x
2
=
2
+a
21
1
+a
22
2
+ +a
2p
p
. . . . . . . . . . . .
x
n
=
n
+a
n1
1
+a
n2
2
+ +a
np
p
Cette equivalence peut aussi secrire :
M =
+
p
j=1
j

_
_
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
_
_
_
_
=
_
_
_
_
_
_
2
.
.
.
n
_
_
_
_
_
_
+A
_
_
_
_
_
_
2
.
.
.
p
_
_
_
_
_
_
Notons [M]
R
et [
]
R
les colonnes des coordonnees de M et
dans le repère 1.
Notons [M]
R
la colonne des coordonnees de M dans le repère 1
de T.
Le resultat precedent secrit : [M]
R
= [
]
R
+A[M]
R
.
Cours de Math
ematiques
G
eom
etrie affine
Changement de repère dans un espace ane
Soient 1 = (, (e)) et 1
= (
, ()) deux repères cartesiens de E, avec dimE 1.

Soit M un point quelconque de E, de coordonnees
_
x
1
, x
2
, . . . , x
n
dans 1
x
1
, x
2
, . . . , x
n
dans 1
Soient
1
, . . . ,
n
les coordonnees de
dans 1.
Soit P la matrice de passage de la base (e) à la base (). Alors on a legalite :
_
_
_
x
1
.
.
.
x
n
_
_
_
=
_
_
_
1
.
.
.
n
_
_
_
+P
_
_
_
x
1
.
.
.
x
n
_
_
_
, ou encore : [M]
R
= [
]
R
+P[M]
R
On voit que la matrice de passage P (de lancienne base (e) vers la nouvelle base ()) permet
dexprimer les anciennes coordonnees de M en fonction des nouvelles.
Legalite [M]
R
= [
]
R
+P[M]
R
secrit dailleurs [
M]
(e)
= P[
M]
()
.
Si on veut les nouvelles coordonnees de M en fonction des anciennes, il faut donc inverser la
matrice P et ecrire : [M]
R
= P
1
([M]
R
[
]
R
) ou encore [
M]
()
= P
1
[
M]
(e)
.
Un cas très simple est celui on eectue une translation du repère.
Avec les notations precedentes, 1 = (, (e)), 1 = (
, (e)) et P = I
n
.
Le changement de repère se reduit à [M]
R
= [
]
R
+ [M]
R
cest-à-dire à
_
_
_
x
1
=
1
+x
1
. . . . . .
x
n
=
n
+x
n Demi-droites, demi-plans
Soit A un point de E et u un vecteur non nul.
On dit que M = A+u, IR
+
est la demi-droite dorigine A et de vecteur directeur u.
Soit A un point de E et u, v deux vecteurs independants.
Considerons lensemble T
+
deni par T
+
= M = A +u +v, IR, IR
+
.
On dit que T
+
est le demi-plan deni par la droite (A, u) et le vecteur v.
II.2

Equations cartesiennes dun hyperplan
Proposition
Soit H une partie de lespace ane E. Les conditions suivantes sont equivalentes :
H est un hyperplan de E.
Il existe une forme lineaire f non nulle et un scalaire tels que : M H f(M) = .
Une telle caracterisation est appelee une equation de lhyperplan H.
Avec ces notations :
Les equations f(M) = sont celles des hyperplans parallèles à H.
Par exemple f(M) = f(M
0
) est lequation de lhyperplan parallèle à H et passant par
M
0
.
Lequation f(M) = 0 est celle de la direction H de H.
Lequation f(M) = de H est unique à un facteur multiplicatif non nul près.
Sous cette reserve, on parle de Lequation de H.
Cours de Math
ematiques
G
eom
etrie affine
equation cartesienne dans un repère
On suppose que E, de dimension n 1, est muni dun repère cartesien 1 = (, (e)).
Soient (x
1
, x
2
, . . . , x
n
) les coordonnees dun point M quelconque de E.
Une partie H de E est un hyperplan si et seulement si il existe n scalaires (a
1
, a
2
, . . . , a
n
)
non tous nuls et un scalaire tels que M H a
1
x
1
+a
2
x
2
+ +a
n
x
n
= .
On parle alors de lequation cartesienne de H dans le repère 1.
Les equations a
1
x
1
+a
2
x
2
+ +a
n
x
n
= sont celles des hyperplans parallèles à H.
Lequation a
1
x
1
+a
2
x
2
+ +a
n
x
n
= 0 est celle de la direction H de H.
Soit un point de E, de coordonnees (
1
,
2
, . . . ,
n
).
Lhyperplan de direction H et passant par a pour equation :
n
k=1
a
k
(x
k

k
) = 0.
Considerons les equations
_
a
1
x
1
+a
2
x
2
+ +a
n
x
n
=
b
1
x
1
+b
2
x
2
+ +b
n
x
n
=
de deux hyperplans H
1
et H
2
.
On a H
1
| H
2

a
1
b
1
=
a
2
b
2
= =
a
n
b
n
. On a H
1
= H
2

a
1
b
1
=
a
2
b
2
= =
a
n
b
n
=

.
(Par convention, si un denominateur est nul, le numerateur correspondant lest egalement.)
De lequation cartesienne à une representation parametrique
On passe facilement de lequation cartesienne de H à une representation parametrique.
En eet, soit a
1
x
1
+a
2
x
2
+ +a
n
x
n
= lequation de H dans le repère 1.
Pour xer les idees, supposons par exemple a
1
,= 0.
Dans ces conditions, le point de coordonnees (

a
1
, 0, . . . , 0) est un point particulier de H.
Les vecteurs
_
2
= (a
2
, a
1
, 0, . . . , 0, 0)
3
= (a
3
, 0, a
1
, 0, . . . , 0)
. . . . . . . . . . . . . . .
n
= (a
n
, 0, . . . , 0, a
1
)
forment une base de la direction H de H.
Une representation parametrique de H est donc : M = +
2
2
+
3
3
+ +
n
n
,
cest-à-dire :
_
_
x
1
=

a
1
+
2
a
2
+
3
a
3
+ +
n
a
n
x
2
=
2
a
1
. . . . . . . . .
x
n
=
n
a
1
avec (
2
,
3
, . . . ,
n
) IR
n1
.
Supposons par exemple que E soit de dimension 3 et muni dun repère cartesien 1.
Soit T le plan (donc lhyperplan) dequation 2x + 3y 5z = 8.
Une base de la direction P de T (dequation 2x + 3y 5z = 0) est
_
u = (3, 2, 0)
v = (5, 0, 2)
Le point (4, 0, 0) appartient à T.
Une representation parametrique de T est donc
_
x = 4 + 3 + 5
y = 2, z = 2
, avec (, ) IR
2
.
Cours de Math
ematiques
G
eom
etrie affine
Dune representation parametrique à lequation cartesienne
On suppose que E est de dimension n 1.
On suppose quil est muni dun repère cartesien 1 = (, (e)).
Soit A un point de E, et soient
1
,
2
, . . . ,
n1
une famille de n 1 vecteurs libres.
Soit H lhyperplan passant par A et de direction H = Vect (
1
, . . . ,
n1
).
H a donc pour representation parametrique (
1
. . . ,
n1
) M = A +
n1
k=1
k
.
Pour trouver une equation cartesienne de H, on ecrit M H

AM Vect (
1
, . . . ,
n1
).
Cela equivaut à ecrire = det
(e)
(
AM,
1
, . . . ,
n1
) = 0.
On obtient alors lequation en developpant par rapport à sa première colonne.
Supposons par exemple n = 3.
Soit T le plan (lhyperplan) passant par A = (1, 2, 3) et dirige par
_
u = (3, 1, 2)
v = (4, 0, 5)
Lequation de T sobtient en ecrivant :
=
x1 3 4
y2 1 0
z3 2 5
= 0 5(x 1) 7(y 2) 4(z 3) = 0

5x 7y 4z = 21
On pouvait obtenir cette equation plus rapidement encore en notant quelle secrit :
a(x 1) +b(y 2) +c(z 3) = 0, avec
_
_
_
a
b
c
_
_
_
=
_
_
_
3
1
2
_
_
_
_
_
_
4
0
5
_
_
_
=
_
_
_
5
7
4
_
_
_
On reprend lexemple precedent.
On va trouver lequation cartesienne de H à partir dune representation parametrique.
Celle-ci secrit : M T (, ) IR
2
,
_
_
_
x = 1 + 3 + 4
y = 2 +
z = 3 + 2 + 5
On resout ce système par rapport aux inconnues (, )
Lequation cartesienne cherchee est la condition sur les paramètres x, y, z pour que ce
système admette une solution (, ).
On trouve successivement :
(, ) IR
2
,
_
_
_
x = 1 + 3 + 4
y = 2 +
z = 3 + 2 + 5
(, ) IR
2
,
_
_
_
= y 2
x = 1 + 3(y 2) + 4
z = 3 + 2(y 2) + 5
(, ) IR
2
,
_
_
_
= y 2
4 = x 3y + 5
5 = 1 2y +z
5(x 3y + 5) = 4(1 2y +z)
5x 7y 4z = 21
Cours de Math
ematiques
G
eom
etrie affine
Droites en dimension 2
Soit E un plan ane rapporte au repère cartesien 1 = (, e
1
, e
2
). Soit T une partie de E.
T est une droiteelle admet une equation du type ax +by = c, avec (a, b) ,= (0, 0).
Avec ces notations, un vecteur directeur de T est u(b, a).
Les droites parallèles à laxe (, e
2
) ont une equation du type x = .
Les droites parallèles à laxe (, e
1
) ont une equation du type y = .
Lequation dune droite T non parallèle à (, e
2
) peut secrire y = x +.
On dit que est le coecient directeur de la droite T dans le repère 1.
Les droites
_
(T) : ax +by = c
(T
) : a
x +b
y = c
sont parallèles ab
ba
= 0.
Si elles ne sont pas parallèles à (, e
2
), cela signie quelles ont le meme coecient directeur.
Les droites T, T
sont confondues IR, (a, b, c) = (a
, b
, c
).
Supposons que
_
(T) : a x +b y = c
(T
) : a
x +b
y = c
soient secantes.
Alors leur point dintersection a pour coordonnees x
0
=
cb
bc
ab
ba
et y
0
=
ac
ca
ab
ba
.
La droite denie par
_
A(x
0
, y
0
)
u(, )
a pour equation :
x x
0

y y
0

= 0
x x
0

y y
0

1 1 0
= 0
Lequation de T denie par
_
A(x
0
, y
0
)
B(x
1
, y
1
)
est :
x x
0
x
1
x
0
y y
0
y
1
y
0
= 0
x x
0
x
1
y y
0
y
1
1 1 1
= 0
Il en decoule que trois points
_
_
_
A(x
0
, y
0
)
B(x
1
, y
1
)
C(x
2
, y
2
)
sont alignes
x
0
x
1
x
2
y
0
y
1
y
2
1 1 1
= 0.
La droite passant par
_
A(a, 0)
B(0, b)
avec
_
a ,= 0
b ,= 0
a pour equation
x
a
+
y
b
= 1.
Soient T et T
deux droites du plan, distinctes, dequations respectives (E) et (E
).
On forme une famille dequations de droites en ecrivant (E) +(E
), avec (, ) ,= (0, 0).

Si T et T
sont parallèles, on obtient ainsi toutes les droites qui leur sont parallèles.
Sinon, on obtient toutes les droites passant par le point dintersection I de T et T
.
Dans tous les cas, on dit que lensemble obtenu est le faisceau de droites engendre par T, T
.
Avec IR, les equations (E) +(E
) donnent toutes les droites du faisceau sauf T
.
Trois droites ax +by = c, a
x +by = c
et a
x +b
y = c
sont parallèles ou concourantes

elles appartiennent à un meme faisceaux, cest-à-direleurs equations sont liees.
Cela equivaut à dire que la matrice
_
_
_
a b c
a
_
_
_
est de rang 2.
Cours de Math
ematiques
G
eom
etrie affine
Plans en dimension 3
On suppose dimE = 3, et que E est muni dun repère 1 = (, (e)). Soit T E.
T est un planil admet une equation du type ax +by +cz = d, avec (a, b, c) ,= (0, 0, 0).
Avec ces notations, et si a ,= 0,
_
u = (b, a, 0)
v = (c, 0, a)
forment une base de la direction de T.
Les plans parallèles au plan (, e
2
, e
3
) ont une equation du type x = .
1
, e
3
) ont une equation du type y = .
1
, e
2
) ont une equation du type z = .
La droite (, e
1
) est parallèle à T lequation de T secrit by +cz = d.
La droite (, e
2
) est parallèle à T lequation de T secrit ax +cz = d.
La droite (, e
3
) est parallèle à T lequation de T secrit ax +by = d.
Lequation dun plan T non parallèle à (, e
1
, e
2
) peut secrire z = x +y +.
Les plans
_
(T) : a x +b y +c z = d
(T
) : a
x +b
y +c
z = d
sont parallèles IR, (a, b, c) = (a
, b
, c
).
Si ces plans ne sont pas parallèles à (O, e
1
, e
2
) et si on note
_
z = x +y +
z =
x +
y +
leurs
equations, alors ces plans sont parallèles =
et =
.
Les plans T, T
sont confondus IR, (a, b, c, d) = (a
, b
, c
, d
).
Supposons que
_
(T) : a x +b y +c z = d
(T
) : a
x +b
y +c
z = d
ne soient pas parallèles.

Alors leur intersection est une droite donc un vecteur directeur est
_
_
a
b
c
_
_
_
_
a
_
_
.
Lequation de T deni par
_
_
_
A(x
0
, y
0
, z
0
)
u(, , )
v(
)
est
xx
0

yy
0

zz
0

= 0
x x
0

y y
0

z z
0

1 1 0 0
= 0.
Le plan deni par
_
_
_
A(x
0
, y
0
, z
0
)
B(x
1
, y
1
, z
1
)
C(x
2
, y
2
, z
2
)
a pour equation :
x x
0
x
1
x
2
y y
0
y
1
y
2
z z
0
z
1
z
2
1 1 1 1
= 0.
Consequence : quatre points
_
_
A(x
0
, y
0
, z
0
)
B(x
1
, y
1
, z
1
)
C(x
2
, y
2
, z
2
)
D(x
3
, y
3
, z
3
)
sont coplanaires
x
0
x
1
x
2
x
3
y
0
y
1
y
2
y
3
z
0
z
1
z
2
z
3
1 1 1 1
= 0.
On considère les points A(a, 0, 0), B(0, b, 0), C(0, 0, c), avec a ,= 0, b ,= 0, c ,= 0.
Le plan passant par A, B, C a pour equation
x
a
+
y
b
+
z
c
= 1.
Cours de Math
ematiques
G
eom
etrie affine
Soient T et T
deux plans distincts, dequations respectives (E) et (E
).
On forme une famille dequations de plans en ecrivant (E) +(E
), avec (, ) ,= (0, 0).

Si T et T
sont parallèles, on obtient ainsi tous les plans qui leur sont parallèles.
Sinon, on obtient tous les plans contenant la droite T = T T
.
Dans tous les cas, on dit que lensemble obtenu est le faisceau de plans engendre par T, T
.
Avec IR, les equations (E) +(E
) donnent tous les plans du faisceau sauf T
.
On considère trois plans, dequations ax+by+cz = d, a
x+b
y+c
z = d
et a
x+b
y+c
z = d
.
Ces trois plans sont parallèles ou passent par une meme droite
ils appartiennent à un meme faisceaux, cest-à-dire leurs equations sont liees.
Cela equivaut à dire que la matrice
_
_
a b c d
a
_
_
est de rang 2.
II.3

Equations cartesiennes dun sous-espace ane
Proposition
Soit E un espace vectoriel sur IR, de dimension n 1. Soit p un entier compris entre 1 et
n.
Une partie T de E est un sous-espace ane de dimension n p si seulement si il existe :
p formes lineaires independantes f
1
, f
2
, . . . , f
p
p scalaires
1
,
2
, . . . ,
p
tels que, pour tout point M de E, on ait lequivalence : M T (S)
_
_
f
1
(M) =
1
f
2
(M) =
2
. . . . . .
f
p
(M) =
p
On dit que (S) est un système dequations du sous-espace ane T.
Remarques
Avec
1
= =
p
= 0 dans (S) on obtient un système dequations de la direction F de T.
Si on fait varier
1
, . . . ,
p
dans IR, on obtient les sous-espaces parallèles à T.
La proposition precedente nous permet dinterpreter tout sous-espace ane de dimension
n p de E (avec dimE = n) comme lintersection de p hyperplans independants.
On suppose que E est rapporte à un repère cartesien 1(, (e)).
On note x
1
, x
2
, . . . , x
n
les coordonnees dun point M quelconque de E.
Chacune des formes lineaires f
i
est denie par :
_
f
i
(M) = a
i1
x
1
+a
i2
x
2
+ +a
in
x
n
avec (a
i1
, a
i2
, . . . , a
in
) ,= (0, 0, . . . , 0)
(S) se presente donc comme un système de p equations à n inconnues :
M(x
1
, x
2
, . . . , x
n
) T
_
_
a
11
x
1
+a
12
x
2
+ +a
1j
x
j
+ +a
1n
x
n
=
1
. . . . . . . . . . . . . . . . . . . . .
a
i1
x
1
+a
i2
x
2
+ +a
ij
x
j
+ +a
in
x
n
=
i
. . . . . . . . . . . . . . . . . . . . .
a
p1
x
1
+a
p2
x
2
+ +a
pj
x
j
+ +a
pn
x
n
=
p
Cours de Math
ematiques
G
eom
etrie affine
Dire que les formes lineaires f
1
, . . . , f
p
sont independantes, cest dire que les lignes de la
matrice A du système sont libres. Cette matrice est donc de rang p.
Ainsi cette matrice represente un morphisme surjectif de IR
n
sur IR
p
.
Pour tout choix des seconds membres
i
, ce système possède des solutions.
Ces solutions forment un espace ane de dimension n p de IR
n
.
On ne modie pas lensemble des solutions du système precedent (donc lensemble T des
points dont les coordonnees satisfont à ce système) en appliquant des operations elementaires
sur les lignes :
echanger deux equations.
Multiplier une equation par un scalaire non nul.
Ajouter à une equation une combinaison lineaire des autres.
On voit ainsi quà partir de deux equations, on ne peut plus parler de lequation du sous-
espace ane T mais seulement dun système dequations de T.
Dun système dequations à une representation parametrique
On resout le système dequations de T. La solution generale X est la somme X = X
0
+W :
Dune solution particulière X
0
du système.
Cette solution est formee des coordonnees dun point particulier du sous-espace ane T.
De la solution generale W du système homogène associe.
Celle-ci represente la direction F de T, dimension n p.
En general on trouve p inconnues principales en fonction de np inconnues auxiliaires.
Cette ecriture fournit facilement une base de F.
Prenons un exemple inspire de celui utilise en page 4.
On suppose donc que E (avec dimE = 5) est muni dun repère 1 = (, (e) = e
1
, . . . , e
5
).
On note (x, y, z, t, u) les coordonnees dun point M quelconque de E.
Soit T lensemble des points M tels que
_
_
_
x + 3y + 5z 2t 7u = 3
3x + y + z 2t u = 1
2x y 3z + 7t + 5u = 2
On verie que la matrice du système est de rang p = 3.
On a donc aaire à un sous-espace ane T de dimension n p = 2 : cest un plan.
La solution du système est :
_
_
_
_
_
_
x
y
z
t
u
_
_
_
_
_
_
=
_
_
_
_
_
_
1 + 3t
8 17t u
4 + 10t + 2u
t
u
_
_
_
_
_
_
=
_
_
_
_
_
_
1
8
4
0
0
_
_
_
_
_
_
+ t
_
_
_
_
_
_
3
17
10
1
0
_
_
_
_
_
_
+ u
_
_
_
_
_
_
0
1
2
0
1
_
_
_
_
_
_
Ainsi T est le plan de E :
Passant par le point M
0
de coordonnees (1, 8, 4, 0, 0)
Dirige par les vecteurs w
1
= (3, 17, 10, 1, 0) et w
2
= (0, 1, 2, 0, 1)
Cours de Math
ematiques
G
eom
etrie affine
Dune representation parametrique à un système dequations
On se contentera ici dun exemple.
On suppose que E (avec dimE = 5) est muni dun repère 1 = (, (e) = e
1
, . . . , e
5
).
On note (x, y, z, t, u) les coordonnees dun point M de E.
Soit T le sous-espace passant par A(1, 0, 1, 2, 1) et dirige par
_
_
_
w
1
= (1, 1, 2, 1, 1)
w
2
= (1, 1, 3, 0, 1)
w
3
= (1, 2, 0, 1, 1)
On a M T

AM Vect (w
1
, w
2
, w
3
).
On doit donc exprimer que la matrice des vecteurs w
1
, w
2
, w
3
,
AM est de rang 3.
_
_
_
_
_
_
1 1 1 x 1
1 1 2 y
2 3 0 z 1
1 0 1 t 2
1 1 1 u + 1
_
_
_
_
_
_
=
L
2
L
2
+ L
1
L
3
L
3
2L
1
L
4
L
4
L
1
L
5
L
5
L
1
_
_
_
_
_
_
1 1 1 x 1
0 2 3 x + y 1
0 1 2 2x + z + 1
0 1 0 x + t 1
0 0 0 x + u + 2
_
_
_
_
_
_
=
L
3
2L
3
L
2
L
4
2L
4
+ L
2
_
_
_
_
_
_
1 1 1 x 1
0 2 3 x + y 1
0 0 7 5x y + 2z + 3
0 0 3 x + y + 2t 3
0 0 0 u x + 2
_
_
_
_
_
_
=
L
4
7L
4
+ 3L
3
_
_
_
_
_
_
1 1 1 x 1
0 2 3 x + y 1
0 0 7 5x y + 2z 1
0 0 0 22x + 4y + 6z + 14t 12
0 0 0 u x + 2
_
_
_
_
_
_
Une condition necessaire et susante pour que le point M appartienne à T (donc un système
dequations de T) sobtient en ecrivant que la matrice nale est de rang 3.
Cela equivaut à ecrire le système
_
11x 2y 3z 7t = 6
x u = 2
On peut aussi resoudre le problème à partir dune representation parametrique de T.
Une telle representation secrit en eet :
M = A +w
1
+w
2
+w
3
(S)
_
_
x = 1 + + +
y = + + 2
z = 1 + 2 + 3
t = 2 + +
u = 1 + + +
On resout (S) par rapport à (, , ).
On trouve successivement :
_
_
x = 1 + + +
y = + + 2
z = 1 + 2 + 3
t = 2 + +
u = 1 + + +
_
+ + = x 1
2 = y
2 + 3 = z 1
+ = t 2
+ + = u + 1
_
+ + = x 1
2 + 3 = x y 1
2 + 3 = z 1
= x t + 1
x u = 2
_
+ + = x 1
3 = x y + 2t 3
2 = 3x +z + 3t 4
= x t + 1
x u = 2
_
2 = 3x +z + 3t 4
= x t + 1
3 = x y + 2t 3
11x 2y 3z 7t = 6
x u = 2
Ce système admet une solution (, , ) si et seulement si
_
11x 2y 3z 7t = 6
x u = 2
Cours de Math
ematiques
G
eom
etrie affine
Droites dans un espace de dimension 3
Soit E un espace de dimension 3, rapporte à un repère cartesien 1 = (, (e) = e
1
, e
2
, e
3
).
Notons (x, y, z) les coordonnees dun point M quelconque de E. Soit T une partie de E.
T est une droite si et seulement si il existe deux quadruplets
_
(a , b , c d)
(a
, b
, c
, d
)
tels que :
M T
_
ax +by +cz = d
a
x +b
y +c
z = d
, les triplets
_
(a , b , c )
(a
, b
, c
)
etant non proportionnels.
Le système
_
ax +by +cz = 0
a
x +b
y +c
z = 0
caracterise la direction D de T.
Les droites parallèles à T ont pour système dequations :
_
ax +by +cz =
a
x +b
y +c
z =
, (, ) IR
2
.
Denie comme precedemment, la droite T est lintersection de deux plans anes :
Le plan T dequation ax +by +cz = d.
Le plan T
dequation a
x +b
y +c
z = d
.
Les equations (ax+by +cz d) +(a
x+b
y +c
z d
) = 0 (avec (, ) ,= (0, 0)) sont alors

celles des plans contenant la droite T (cest le faisceau de plans dirige par T).
Un vecteur directeur de la doite T
_
ax +by +cz = d
a
x +b
y +c
z = d
est u =
_
_
a
b
c
_
_
_
_
a
_
_
.
Soit T une droite de E muni du repère cartesien 1 = (, (e) = e
1
, e
2
, e
3
).
T est parallèle à la doite (, e
3
) elle a un système dequations du type
_
x =
y =
De meme, la droite T
_
x =
z =
est parallèle à la droite (, e
2
).
Enn T est parallèle à (, e
1
) elle a un système dequations du type
_
y =
z =
Soit
_
ax +by +cz = d
a
x +b
y +c
z = d
un système dequations dune droite ane T.

Soit T un plan ane dequation a
x +b
y +c
z = d
.
La droite T est parallèle au plan T si et seulement si on a legalite
a b c
a
= 0.
T est incluse dans T rg
_
_
a b c d
a
_
_
= 2 T est dans le faisceau deni par T.
La droite T est parallèle au plan (, e
1
, e
2
) (cest-à-dire le plan z = 0)
a b
a
= 0.
Si tel nest pas le cas, elle a un système dequations de la forme
_
x = z +
y = z +
(elle peut donc
etre parametree par z, ce qui est normal car tout plan z = coupe T en un point unique.)
Cours de Math
ematiques
G
eom
etrie affine
Recherche dintersection de sous-espaces anes
On se propose de determiner lintersection de deux sous-espaces anes T et T
de E.
Le plus commode est de disposer dune representation parametrique de lun des deux sous-
espaces et dun système dequations de lautre.
Supposons par exemple quune representation parametrique de T soit : M = A +
p
j=1
j
et
quun système dequations de T
soit f
1
(M) = d
1
, f
2
(M) = d
2
, . . . , f
q
(M) = d
q
.
On trouve T T
en resolvant le système des equations f

i
_
A +
p
j=1
j
_
= d
i
(1 i q).
Ce système lineaire (S) est en eet forme de q equations aux p inconnues
1
, . . . ,
q
.
Prenons un exemple très simple, dans E muni dun repère 1 = (, (e) = e
1
, e
2
, e
3
).
Soit T la droite passant par le point A(1, 0, 4) et dirigee par le vecteur u = (1, 1, 1).
Soit T le plan dequation 2x + 3y 2z = 5.
Le vecteur u nest pas dans la direction P de T (qui a pour equation 2x +y 2z = 0.)
La droite T rencontre donc T en un point M
= A +u unique.
On reporte les coordonnees x
= 1 +, y
= , z
= 4 de M
dans 2x + 3y 2z = 5.
On trouve 2(1 +) 3 2(4 ) = 5 cest-à-dire : = 11.
Ainsi le point dintersection de T et de T est M(12, 11, 7).
Cours de Math
ematiques
G
eom
etrie affine
Partie III : Barycentres et convexite
III Barycentres et convexite
III.1 Barycentres
E designe un espace vectoriel sur IR.
Denition (Points ponderes)
On appelle point pondere le couple (A, ) forme dun point A de E et dun reel .
Le nombre reel est appele poids du point pondere (A, ).
Soit (A
1
,
1
), (A
2
,
2
), . . . , (A
p
,
p
) une famille de p points ponderes.
La quantite m =
p
k=1
k
est appelee poids total de ce système de points.
Proposition (Fonction vectorielle de Leibniz)
Soit (A
1
,
1
), (A
2
,
2
), . . . , (A
p
,
p
) une famille de p points ponderes.
On denit lapplication de E dans E par (M) =
p
k=1
MA
k
.
est appelee fonction vectorielle de Leibniz associee au système de points ponderes.
Soit m le poids total de la famille (A
1
,
1
), (A
2
,
2
), . . . , (A
p
,
p
) :
Si m = 0, la fonction est constante.
Si m ,= 0, la fonction est bijective.
Denition (Barycentre dune famille de points ponderes)
Soit (A
1
,
1
), (A
2
,
2
), . . . , (A
p
,
p
) une famille de points ponderes, de poids total m ,= 0.
On appelle barycentre de cette famille lunique point G de E tel que
p
k=1
GA
k
=

0 .
G est donc le point o` u sannule la fonction vectorielle de Leibniz associee aux (A
k
,
k
).
Remarques et proprietes
On dit aussi que G est le barycentre de A
1
, . . . , A
p
aectes des coecients
1
, . . . ,
p
.
Le barycentre G ne depend pas de lordre dans lequel sont donnes les couples (A
k
,
k
).
Parler du barycentre dune famille de points de poids total nul na aucun sens.
Il en est ainsi dune famille (A, 1), (B, 1), ou dune famille (A, 1), (B, 1), (C, 2).
Soit G le barycentre de la famille (A
1
,
1
), (A
2
,
2
), . . . , (A
p
,
p
).
Pour tout point de E, G est caracterise par :

G =
1
m
p
k=1
A
k
, avec m =
p
k=1
k
.
Si on utilise les notations
_
G = +
G
A
k
=
k
+
A
k
, on trouve : G =
1
m
p
k=1
k
A
k
.
Cours de Math
ematiques
G
eom
etrie affine
Supposons que E soit rapporte à un repère cartesien 1 = (, (e) = e
1
, . . . , e
n
).
Pour tout k de 1, . . . , p, notons x
1k
, . . . , x
nk
les coordonnees du point A
k
.
Notons x
1
, . . . , x
n
celles du barycentre G des points ponderes (A
k
,
k
).
Alors legalite G =
1
m
p
k=1
k
A
k
donne : i 1, . . . , n, x
i
=
1
m
p
k=1
k
x
ik
.
Autrement dit chaque coordonnee x
i
de G est le barycentre des coordonnees x
ik
correspon-
dantes des points A
k
, avec les memes poids respectifs.
On ne modie pas G en multipliant les poids
k
par un meme coecient non nul .
En particulier, quitte à choisir =
1
m
, on peut toujours se ramener à
p
k=1
k
= 1.
Le barycentre G est alors deni par G =
p
k=1
k
A
k
.
On appelle isobarycentre (ou equibarycentre) de la famille A
1
, A
2
, . . . , A
p
le barycentre G des
points (A
k
, ), pour tout ,= 0 (les poids sont constants.)
On peut bien s ur choisir =
1
p
. Le point G est alors deni par legalite G =
1
p
p
k=1
A
k
.
Lisobarycentre de A, B est le milieu G =
1
2
(A +B) du segment [A, B].
Lisobarycentre de A, B, C est le centre de gravite G =
1
3
(A +B +C) du triangle ABC.
Quatre points A, B, C, D (dans cet ordre) forment un parallelogramme

AB =

DC.
Cette egalite equivaut à B A = C D, donc à
1
2
(A +C) =
1
2
(B +D).
Cela signie que les diagonales (les segments [A, C] et [B, D]) ont meme milieu.
Ce milieu commun I verie donc I =
1
2
(A +C) =
1
2
(B +D) =
1
4
(A +B +C +D).
Autrement dit, I est lisobarycentre des quatre points A, B, C, D.
Proposition (Associativite du barycentre)
Soit I un ensemble ni non vide. On se donne une famille (A
i
,
i
)
iI
de points ponderes.
On suppose que m =
iI
i
,= 0. Soit G le barycentre des (A
i
,
i
), i I.
On se donne une partititon I = I
1
I
2
I
p
de lensemble I.
Pour tout k de 1, . . . , p, on suppose que la somme m
k
=
iI
k
i
est non nulle.
On note alors G
k
le barycentre des (A
i
,
i
), i I
k
.
Avec ces notations, G est le barycentre des points ponderes (G
k
, m
k
), k 1, . . . , p.
Remarques
La propriete precedente signie en particulier que lorsquon cherche un barycentre G, on peut
remplacer une sous-famille de points (de poids total m
k
non nul) par le barycentre G
k
de
cette sous-famille aecte lui-meme du coecient m
k
.
Lisobarycentre G des points A, B, C est aussi le barycentre de (A, 1), (I, 2), o` u I =
1
2
(B+C).
Autrement dit

AG =
2
3
AI. Les medianes dun triangle sont donc concourantes en son centre
de gravite G, qui est au deux-tiers de chaque mediane en partant du sommet.
Cours de Math
ematiques
G
eom
etrie affine
De meme, on se donne quatre points A, B, C, D non coplanaires : ils forment un vrai tetraèdre.
Soit G lisobarycentre de A, B, C, D et I celui de B, C, D.
Par associativite, G est le barycentre des points ponderes (A, 1) et (I, 3).
Autrement dit

AG =
3
4
AI. Ainsi, dans un tetraèdre, les segments joignant un sommet au

centre de gravite de la face opposee sont concourants en le centre de gravite du tetraèdre.
Celui-ci est aux
3
4
de chacun de ces segments (en partant du sommet du tetraèdre.)
III.2 Barycentres et sous-espaces anes
Proposition
Soit T un sous-espace ane de E. Soient (A
1
,
1
), . . . , (A
p
,
p
) des points ponderes de T.
On suppose que m =
p
k=1
k
,= 0. Soit G le barycentre des (A
k
,
k
).
Alors le point G appartient au sous-espace ane T.
On exprime cette propriete en disant quun sous-espace ane est stable par barycentration.
Remarques
Reciproquement, soit T une partie non vide de E.
On suppose que T est stable par barycentration.
Alors T est un sous-espace ane de E.
On peut ameliorer le resultat precedent de la manière suivante :
On suppose que le barycentre de deux points quelconques de T est encore un element de T.
Alors T est un sous-espace ane de E.
On sait que tout barycentre de points dun sous-espace ane T est encore un point de T.
On peut se demander reciproquement si tout point de T peut etre considere comme le barycentre
dune famille xee de points de T.
La reponse fait lobjet de la proposition suivante.
Proposition (Repères anes, coordonnees barycentriques)
Soit T un sous-espace ane de dimension p 1 de E.
On dit quune famille A
0
, A
1
, . . . , A
p
de p + 1 points de T est un repère ane de T si
1 = (A
0
,
A
0
A
1
,
A
0
A
2
, . . . ,
A
0
A
p
) est un repère cartesien de T.
Tout point M de T est alors barycentre des A
k
, avec certains coecients
k
(0 k n.)
Si on impose la condition
p
k=0
k
= 1, alors les
k
sont denis de manière unique : on les
appelle les coordonnees barycentriques de M dans le repère ane (A
0
, . . . , A
p
).
Cours de Math
ematiques
G
eom
etrie affine
Remarques et exemple
Dans le fait que A
0
, A
1
, . . . , A
p
forment un repère ane de T, lordre dans lequel sont donnes
les points na aucun importance (mais bien s ur cet ordre inue sur les coordonnees.)
Dire que le point M a pour coordonnees barycentriques (
0
, . . . ,
n
) dans le repère ane
(A
0
, . . . , A
p
), cest dire que M =
p
k=0
k
A
k
avec
p
k=0
k
= 1.
On voit bien avec cette notation que lordre des points A
k
est sans importance.
Cest dailleurs le merite de cette notion : on se passe de la notion dorigine pour caracteriser
la position dun point du sous-espace ane T.
Les coordonnees barycentriques de lisobarycentre de A
0
, . . . , A
p
sont toutes egales à
1
p+1
.
Soient A, B deux points distincts de E.
La droite (AB) est lensemble des barycentres de ces deux points.
Soient A, B, C trois points non alignes de E.
Le plan (ABC) est lensemble des barycentres de ces trois points.
Un repère ane dune droite T est la donnee de deux points distincts A, B de T.
La droite T est alors lensemble des barycentres de ces deux points.
Plus precisement : M T IR,

AM =
AB IR, M A = (B A)
IR, M = (1 )A +B
Autrement dit : M a pour abscisse dans le repère cartesien (A,
AB) si et seulement si il a
pour coordonnees barycentriques (1 , ) dans le repère ane A, B.
Par exemple :
A a pour abscisse 0, et pour coordonnees barycentriques 1, 0.
B a pour abscisse 1, et pour coordonnees barycentriques 0, 1.
Le milieu I de [A, B] a pour abscisse
1
2
, et pour coordonnees barycentriques
1
2
,
1
2
.
Un repère ane dun plan T est la donnee de trois points non alignes A, B, C de T.
Le plan T est alors lensemble des barycentres de ces trois points :
M T (, ) IR
2
,

AM =
AB +
AC
(, ) IR
2
, M A = (B A) +(C A)
(, ) IR
2
, M = (1 )A +B +C
Autrement dit :
M a pour coordonnees (, ) dans le repère cartesien (A,
AB,
AC)
il a pour coordonnees barycentriques (1 , , ) dans le repère ane A, B, C.
Par exemple :
A a pour coordonnees (0, 0), et pour coordonnees barycentriques 1, 0, 0.
B a pour coordonnees (1, 0), et pour coordonnees barycentriques 0, 1, 0.
Cours de Math
ematiques
G
eom
etrie affine
C a pour coordonnees (0, 1), et pour coordonnees barycentriques 0, 0, 1.
Le centre de gravite G de ABC a pour coordonnees (
1
3
,
1
3
) dans (A,
AB,
AC).
Il a pour coordonnees barycentriques
1
3
,
1
3
,
1
3
dans le repère ane A, B, C.
Proposition (sous-espace ane engendre par une famille de points)
On se donne une famille A
0
, . . . , A
p
de points de E.
Il existe un plus petit (au sens de linclusion) sous-espace ane T de E contenant les A
k
.
T est egal à lensemble des barycentres des points A
k
.
On dit que T est le sous-espace ane engendre par la famille de points A
0
, A
1
, . . . , A
p
.
Remarques
Les points A
0
, . . . , A
p
engendrent donc un sous-espace ane T.
La direction de T est Vect (
A
0
A
1
,
A
0
A
2
, . . . ,
A
0
A
p
). En particulier dimT p.
Les points A
k
ne forment un repère ane de T que si

A
0
A
1
,
A
0
A
2
, . . . ,
A
0
A
p
sont libres.
Le sous-espace engendre par deux points distincts est lunique droite qui les contient.
Le sous-espace engendre par trois points non alignes est lunique plan qui les contient.
Supposons que quatre points A, B, C, D de E soient coplanaires et non alignes.
Ils engendrent lunique plan T qui les contient.
Tout point de T est barycentre de A, B, C, D mais il ny a plus unicite des poids (meme à
un facteur multiplicatif près.)
Par exemple, si A, B, C, D forment un vrai parallelogramme, alors le point A :
Est barycentre de A, B, C, D avec les coecients 1, 0, 0, 0.
Est barycentre de A, B, C, D avec les coecients 0, 1, 1, 1.
En eet

BA =

CD A B = D C A = B C +D.
Est barycentre de A, B, C, D avec les coecients 1 , , , (pour tout IR.)
III.3 Parties convexes
Denition
Soient A, B deux points de E. On appelle segment dextremites A et B, et on note [A, B]
(ou [B, A]) lensemble des barycentres de (A, 1 ) et (B, ), avec [0, 1].
Remarques
Cest donc lensemble des points M de E tels que

AM =
AB, avec [0, 1].

Cest aussi lensemble des barycentres de A, B aectes de coecients positifs.
Un parametrage du segment [A, B] est t [0, 1] M = (1 t)A +tB.
Cours de Math
ematiques
G
eom
etrie affine
Denition (Parties convexes)
Soit ( une partie de lespace E.
On dit que ( est convexe si : (A, B) (
2
, [A, B] (.
Autrement dit, une partie ( de E est dite convexe si dès quelle contient deux points, alors
elle contient le segment qui les joint.
Exemples et proprietes
Lensemble vide est convexe. Tout sous-espace ane de E est convexe.
Un segment, un singleton, une demi-droite, un demi plan, sont des ensembles convexes.
Les intervalles sont les seules parties convexes de IR.
Une application f : IR IR est convexeson epigraphe (cest-à-dire lensemble des points
(x, y) tels que y f(x)) est une partie convexe de IR.
Si on munit IR
n
dune norme u |u| (par exemple la norme euclidienne) alors les boules
(ouvertes ou fermees) sont des parties convexes.
Soit ( une partie convexe de lespace E.
Soit G le barycentre dune famille A
1
, . . . , A
p
de points de (, aectes de coecients 0.
Alors G est encore un element de (.
Enveloppe convexe
Toute intersection densembles convexes est convexe.
Il en decoule que toute partie / de E est incluse dans une plus petite partie convexe.
Celle-ci est lintersection de tous les convexes de E qui contiennent /.
On lappelle lenveloppe convexe de /.
On montre que si / est une partie nie A
1
, A
2
, . . . , A
p
de E, alors son enveloppe convexe
est lensemble de tous les barycentres des points A
k
aectes de coecients positifs ou nuls.
Par exemple, lenveloppe convexe de trois points A, B, C est la plaque triangulaire delimitee
par ces trois points.
De meme, lenveloppe convexe de p points A
1
, . . . , A
p
coplanaires est la plaque delimitee
par le plus petit polygone convexe contenant ces p points.
Lenveloppe convexe de quatre points non coplanaires A, B, C, D est le tetraèdre (bords et
interieur compris) deni par ces quatre points.
Convexes delimites par des hyperplans
Soit f une forme lineaire non nulle sur E. Soient un reel et H lhyperplan f(M) = .
Notons par exemple H
1
= M E, f(M) , H
2
= M E, f(M) .
H
1
et H
2
sont donc les deux demi-espaces fermes delimites par lhyperplan H.
On peut de meme denir H
1
= M E, f(M) > , H
2
= M E, f(M) < .
H
1
et H
2
sont donc les deux demi-espaces ouverts delimites par lhyperplan H.
Avec ces notations, H
1
, H
2
, H
1
, H
2
sont des sous-ensembles convexes de E.
Cours de Math
ematiques
G
eom
etrie affine
Plus generalement soient
_
f
1
, f
2
, . . . , f
p
des formes lineaires non nulles
1
,
1
, . . . ,
p
des reels
Alors lensemble / = M E, f
1
(M)
1
, . . . , f
p
(M)
p
est convexe.
(On peut bien s ur modier le sens et/ou la nature des inegalites)
Cours de Math
ematiques
G
eom
etrie affine
Partie IV : Applications anes
IV Applications anes
IV.1 Applications anes
Dans ce paragraphe, E, E
, F, G sont des espaces vectoriels sur IR.

Proposition
Soit f une application de E dans E
. Les deux conditions suivantes sont equivalentes :

Il existe un point de E et : E E
lineaire tels que : M E,

f()f(M) = (
M).
Il existe : E E
lineaire telle que : (M, N) E

2
,

f(M)f(N) = (
MN).
Si ces conditions sont realisees, on dit que f est une application ane.
Lapplication est alors denie de manière unique.
On lappelle application lineaire associee à f, et on note (par exemple) =

f.
Remarques et exemples
La condition M E,

f()f(M) = (
M) secrit : M E, f(M) = f() +(
M).
Une application ane est donc entièrement determinee par
_
limage dun point
lapplication lineaire associee
Si on se donne les points A dans E et B dans E
, et une application lineaire de E dans E
,
alors il existe une unique application ane f de E dans E
telle que f(A) = B et

f = .
Une application f : E E
est ane elle est la somme dune application constante et

dune application lineaire : on a alors =

f et = f(0).
En particulier les applications constantes f : E E
sont les applications anes dont

lapplication lineaire associee

f est nulle
Les applications lineaires sont les applications anes telles f(O) = O (cest-à-dire qui en-
voient le vecteur nul de E sur le vecteur nul de E
.)
Si f est ane, f est lineaire si et seulement si

f = f.
Proposition (Caracterisation des translations)
Lapplication f : E E est une translation si et seulement si f est ane et

f = Id.
Proposition (Composition des applications anes)
Soient f : E F et g : F G deux applications anes.
Alors g f est une application ane de E dans G. Plus precisement
g f = g

f.
Proposition (Condition pour quon ait

f = g)
Soient f, g : E F deux applications anes. On a g =

f u F tel que g = t
u
f.
Cours de Math
ematiques
G
eom
etrie affine
Expression analytique dune application ane
On suppose que E est muni du repère 1 = (, (e) = e
1
, . . . , e
p
) (donc dimE = p 1.)
On note (x
1
, . . . , x
p
) les coordonnees dun point M quelconque de E dans ce repère.
On suppose que E
est muni du repère 1
= (
, (e
) = e
1
, . . . , e
n
) (donc dimE
= n 1.)
On note (x
1
, . . . , x
n
) les coordonnees dun point M
quelconque de E
dans ce repère.
On note X et X
les matrices-colonnes des coordonnees de M et M
.
Soit f : E E
une application ane, dapplication lineaire associee

f.
Soit B la matrice-colonne des coordonnees (b
1
, . . . , b
n
) de f() dans le repère 1
.
Soit A = (a
ij
) la matrice de

f dans les bases (e) et (e
) (avec A /
n,p
(IR).)
Pour tous points M de E et M
de E
, on a :
M
= f(M) M
= f() +

f(
M )

=

f(
M ) +
f()
En utilisant les coordonnees dans 1 et 1
, on obtient :
M
= f(M) X
= AX +B
_
_
x
1
= a
11
x
1
+a
12
x
2
+ +a
1j
x
j
+ +a
1p
x
p
+b
1
. . . . . . . . . . . . . . . . . . . . .
x
i
= a
i1
x
1
+a
i2
x
2
+ +a
1j
x
j
+ +a
ip
x
p
+b
i
. . . . . . . . . . . . . . . . . . . . .
x
n
= a
n1
x
1
+a
n2
x
2
+ +a
nj
x
j
+ +a
np
x
p
+b
n
Reciproquement un tel système, qui secrit X
= AX +B, denit une application ane f :

Telle que

f a pour matrice A = (a
ij
) dans les bases (e) et (e
).
Qui envoie lorigine de E sur le point de coordonnees B dans le repère 1
.
Supposons par exemple que IR
3
et IR
2
soient rapportes à leurs repères canoniques.
Soit f : IR
3
IR
2
denie par f(x, y, z) = (x
, y
) o` u
_
x
= 2x y +z + 1
y
= x + 3y 2z + 5
f est lapplication ane denie par f(0, 0, 0) = (1, 5) et par

f de matrice A =
_
2 1 1
1 3 2
_
.
Les applications anes de IR dans IR sont donnees par f : x ax +b, avec (a, b) IR
2
.
Exemple de changement de repère pour une application ane
Il est bien s ur possible de changer de repère. Contentons-nous dun exemple.
On suppose que IR
3
est muni de son repère ane canonique 1.
Soit f lapplication ane de IR
3
dans IR
3
denie par le système : (S)
_
_
_
x
= 2y 2z 1
y
= x + 3y + 2z + 1
z
= x 2y z 1
Ainsi X
= AX +B, avec A =
_
_
0 2 2
1 3 2
1 2 1
_
_
et B =
_
_
1
1
1
_
_
.
On denit un nouveau repère 1
de IR
3
:
= (1, 0, 0) est lorigine de 1
. Soit X
0
la colonne de ses coordonnees dans 1.
Cours de Math
ematiques
G
eom
etrie affine
La nouvelle base (e
) est denie par la matrice de passage P =

_
_
2 2 1
1 0 1
0 1 1
_
_
.
Notons (u, v, w) et (u
, v
, w
) les coordonnees de M, M
dans 1
.
On note U et U
les matrices-colonnes de ces coordonnees.

Les changements de coordonnees secrivent : X = PU +X
0
et X
= PU
+X
0
.
Dans ces conditions, on a les equivalences :
X
= AX +B PU
+X
0
= A(PU +X
0
) +B U
= P
1
APU +P
1
(AX
0
+B X
0
)
On a ainsi lexpression de f dans le nouveau repère :
On reconnait lexpression de la matrice A
= P
1
AP de

f dans la nouvelle base.
La colonne B
= P
1
(AX
0
+ B X
0
) represente la colonne des coordonnees (dans le
nouveau repère) de f(), image par f de la nouvelle origine .
Cette expression est logique car AX
0
+B est la colonne des coordonnees de f() dans 1.
AX
0
+B X
0
est donc la colonne des coordonnees de

f() dans lancienne base.
Dans ces conditions legalite AX
0
+BX
0
= PB
reète les changements de composantes

du vecteur

f() entre la base (e) et la base (e
).
Le calcul donne
_
u
= u
v
= v
w
= 0
Cela signie que f est la projection ane (voir plus loin)
sur le plan (, e
1
, e
2
), parallèlement à la direction de e
3
.
Dans lexemple precedent il netait pas necessaire deectuer beaucoup de calculs.
En eet, en utilisant le système (S) (expression de f dans 1), on trouve f() = .
Autrement dit, la nouvelle origine est un point invariant par f.
Dautre part, on voit que

f(e
1
) = e
1
,

f(e
2
) = e
2
et

f(e
3
) =

0 .
Par exemple legalite

f(e
1
) = e
1
resulte de
_
_
0 2 2
1 3 2
1 2 1
_
_
_
_
2
0
1
_
_
=
_
_
2
0
1
_
_
.
IV.2 Isomorphismes anes
Proposition (Isomorphismes anes)
On dit quune application f : E F est un isomorphisme ane si f est ane et bijective.
Une application ane f : E F est bijective

f est bijective.
Lapplication f
1
est alors un isomorphisme ane, et on a legalite

f
1
=

f
1
.
Cours de Math
ematiques
G
eom
etrie affine
Remarques
Supposons que les espaces E et F soient de dimension nie.
Alors il ne peut y avoir disomorphisme ane entre E et F que si dimE = dimF.
Plus precisement on a (f injective

f injective) et (f surjective

f surjective).
En particulier, si dimE = dimF, f est un isomorphisme ane ker
f =
0 .
Supposons dimE = dimF = n, et soit f : E F une application ane.
On suppose quaprès le choix de repères, f est caracterisee par un système X
= AX +B.
Alors f est un isomorphisme anela matrice A (carree dordre n) est inversible.
Si f : E F et g : F G sont des isomorphismes anes, g f est un isomorphisme ane.
Proposition (Le groupe ane)
Un isomorphisme ane de E dans E est appele une transformation ane (ou un automor-
phisme ane) de E. Lensemble des transformations anes de E est un sous-groupe du
groupe des bijections de E, appele groupe ane de E et note (/(E).
Denition (Homotheties)
On dit quune application f : E E est une homothetie sil existe un point et un reel
non nul tels que : M E, h(M) = +
M. On note f = h(, ).
Le reel (appele rapport de lhomothetie) est deni de manière unique.
Si = 1, on trouve f = Id, et le point peut etre choisi quelconque.
Si ,= 1, le point est deni de manière unique : cest lunique point invariant de f.
On dit que est le centre de lhomothetie.
Remarques
Toute homothetie est une transformation ane.
On a bien s ur les egalites h(, ) h(, ) = h(, ) et h(, )
1
= h(,
1
).
Les homotheties de centre donne forment un sous-groupe commutatif de (/(E).
Si f est une homothetie de rapport , alors

f = Id.
Reciproquement, supposons

f = Id (avec ,= 0 sinon f est constante.)
Si = 1, f est une translation.
Si ,= 1, f admet un point xe unique .
Lapplication f est alors lhomothetie de centre et de rapport .
Lhomothetie h(, 1) est appelee symetrie centrale par rapport au point .
Proposition (Groupe des homotheties-translations)
La reunion de lensemble des translations de E et de lensemble des homotheties de E est
un sous-groupe de (/(E), appele groupe des homotheties-translations.
Cours de Math
ematiques
G
eom
etrie affine
Remarques sur lapplication f

f
Cest un morphisme surjectif du groupe (/(E) sur le groupe lineaire GL(E).
Le noyau de ce morphisme est le groupe des translations de E.
Le groupe des homotheties-translations est limage reciproque par ce morphisme du sous-
groupe de GL(E) forme par les homotheties vectorielles (applications h
= Id, ,= 0.)
IV.3 Applications anes et sous-espaces anes
Dans cette section, E et F sont deux espaces vectoriels sur IR.
Proposition (Image dun sous-espace ane)
Soit f : E F une application ane.
Soit c
un sous-espace ane de E, de direction E
.
Alors f(c
) est un sous-espace ane de F, de direction

f(E
).
Remarques
Avec les notations precedentes, si dimc
= r alors dimf(c
) r.
Ainsi limage dune droite est une droite ou un point.
Donc si les points A, B, C sont alignes, il en est de meme de f(A), f(B), f(C).
On exprime cette propriete en disant quune application ane conserve lalignement.
De meme, limage dun plan est un plan, une droite, ou un point.
Si les points A, B, C, D sont coplanaires, il en est donc de meme de f(A), f(B), f(C), f(D).
Pour etre plus precis, on a dimf(c
) = dimc
si E
ker
f =
0 .
Alors si (,
1
, . . . ,
r
) est un repère de c
, un repère de f(c
) est (f(),
f(
1
), . . . ,
f(
r
)).
Par exemple, si

f(u) ,=

0 , limage de la droite (, u) est la droite (f(),
f(u)).
Dans le cas general, soit (,
1
, . . . ,
r
) un repère de c
.
Alors f(c
) est le sous-espace ane passant par f() et de direction Vect
f(
1
), . . . ,
f(
r
).
Cela explique quil est plus facile de calculer limage dun sous-espace ane c
donne par une

representation parametrique (plutot que par un système dequations.)
Soient c
et c
deux sous-espaces anes de E, de directions respectives E
et E
.
Si c
est parallèle à c
(cest-à-dire si E
) alors f(c
) est parallèle à f(c
).
Si c
et c
sont parallèles (cest-à-dire si E
= E
) alors f(c
) et f(c
) sont parallèles.
On exprime ces proprietes en disant quune application ane conserve le parallelisme.
Supposons que f : E E soit une homothetie ou une translation.
Soit T un sous-espace ane de E. Alors les sous-espaces anes T et f(T) sont parallèles.
Cours de Math
ematiques
G
eom
etrie affine
Exemple :
On suppose que IR
3
3
dans IR
3
_
_
_
x
= 2y 2z 1
y
= x + 3y + 2z + 1
z
= x 2y z 1
Soit T le plan dequation x 2y 3z = 1.
T est le plan passant par = (1, 0, 0) et dirige par
_
1
= (2, 1, 0)
2
= (3, 0, 1)
On trouve f() = (1, 2, 2).
Dautre part :
_
_
0 2 2
1 3 2
1 2 1
_
_
_
_
2
1
0
_
_
=
_
_
2
5
4
_
_
et
_
_
0 2 2
1 3 2
1 2 1
_
_
_
_
3
0
1
_
_
=
_
_
2
5
4
_
_
.
On constate que

f(
1
) et

f(
2
) sont lies (et meme egaux, mais cest d u au choix de
1
,
2
).
On en deduit que f(T) est la droite passant par (1, 2, 2) et engendree par (2, 5, 4).
Proposition (Image reciproque dun sous-espace ane)
Soit T
un sous-espace ane de F, de direction F
.
Alors soit f
-1
(T
) est vide, soit cest un sous-espace ane de E, de direction

f
-1
(F
).
Remarques
Supposons que f : E E soit constante (M E, f(M) = A). Alors limage reciproque
dun sous-espace ane T de E est vide si A / T, et est egale à E tout entier si A T.
Avec les notations de la proposition precedente, et si E, F sont de dimension nie :
Soit Y = AX +B la representation matricielle de f dans des repères de E et F.
Un système dequations de T
peut toujours secrire CY = D dans le repère de F.

On obtiendra alors f
-1
(T
) en resolvant C(AX +B) = D.

Cela explique quil est plus facile de calculer limage reciproque dun sous-espace ane T
donne par un système dequations (plutot que par une representation parametrique.)
Exemple :
On suppose que IR
3
3
dans IR
3
_
_
_
x
= 2y 2z 1
y
= x + 3y + 2z + 1
z
= x 2y z 1
Soit T la droite passant par (a, 0, 0), dirige par u = (0, 1, 1).
Un système dequations de T est
_
x = a
y +z = 0
(ici a est un paramètre reel.)
Soit M(x, y, z) un point quelconque de IR
3
, et M
(x
, y
, z
) son image par f.

On a f(M) T
_
x
= a
y
+z
= 0

_
2y 2z 1 = a
y +z = 0

_
a = 1
y +z = 0
Ainsi limage reciproque de la droite T est :
Lensemble vide si a ,= 1.
Le plan dequation y +z = 0 si a = 1.
Cours de Math
ematiques
G
eom
etrie affine
Proposition (Points invariants par une application ane)
Soit f : E E une application ane.
Notons Inv (f) = M E, f(M) = M lensemble des points invariants par f.
Alors soit Inv (f) est vide, soit cest un sous-espace ane de E de direction Inv (
f).
Exemple
Reprenons un exemple dejà utilise.
3
dans IR
3
_
_
_
x
= 2y 2z 1
y
= x + 3y + 2z + 1
z
= x 2y z 1
3
.
On a f(M) = M
_
x = 2y 2z 1
y = x + 3y + 2z + 1
z = x 2y z 1
x + 2y + 2z = 1.
Ainsi lensemble des points invariants par f est le plan T dequation x + 2y + 2z = 1.
Ce resultat est normal quand on sait que f est une projection ane sur le plan T.
IV.4 Projections, symetries, anites
Rappel
Soient T et ( deux sous-espaces anes de E, de directions F et G.
Si E = F G, alors lintersection T ( se reduit à un point.
Proposition (Projections anes)
Soient T et ( deux sous-espaces anes de E, de directions F, G telles que E = F G.
Pour tout point M de E, notons (
M
le sous-espace ane de direction G et passant par M.
Soit p(M) lunique point dintersection de (
M
et de T.
Lapplication M p(M) est appelee projection ane de E sur T, parallèlement à (.
Cest eectivement une application ane, et son application lineaire associee est la projec-
tion vectorielle de E sur F, parallèlement à G.
Lapplication p verie p p = p, et on a T = Inv (p) = Im(p).
On a illustre ici la denition precedente.
Pour une projection parallèlement à (,
seule compte la direction G.
Cest pourquoi il est preferable de parler
de projection sur T parallèlement à G.
Proposition (Caracterisation des projections anes)
f est une projection ane si et seulement si f f = f.
Dans ce cas, f est la projection sur Inv (f), parallèlement à ker
f.
Cours de Math
ematiques
G
eom
etrie affine
Exemples
Reprenons un exemple dejà utilise plusieurs fois.
3
dans IR
3
_
_
_
x
= 2y 2z 1
y
= x + 3y + 2z + 1
z
= x 2y z 1
On veut montrer que f est un projection ane, et la caracteriser.
Soit M(x, y, z), son image M
(x
, y
, z
) et M
= f(M
) = (x
, y
, z
).
_
_
_
x
= 2y
2z
1
y
= x
+ 3y
+ 2z
+ 1
z
= x
2y
_
_
_
x
= 2(x + 3y + 2z + 1) 2(x 2y z 1) 1
y
= (2y 2z 1) + 3(x + 3y + 2z + 1) + 2(x 2y z 1) + 1

z
= (2y 2z 1) 2(x + 3y + 2z + 1) (x 2y z 1) 1
_
_
_
x
= 2y 2z 1 = x
= x + 3y + 2z + 1 = y
= x 2y z 1 = z
Ainsi M
= M
. Donc f f = f : lapplication f est une projection ane.

On a vu (page 30) que Inv (f) est le plan T : x + 2y + 2z = 1.
Enn, lapplication

f est denie (dans la base canonique) par le système
_
_
_
x
= 2y 2z
y
= x + 3y + 2z
z
= x 2y z
Ainsi u(x, y, z) ker f
_
2y 2z = 0
x + 3y + 2z = 0
x 2y z = 0
_
x = z
y = z
On peut donc conclure. Lapplication f est la projection ane :
Sur le plan T dequation x + 2y + 2z = 1.
Parallèlement à la droite vectorielle engendree par le vecteur (1, 1, 1).
Soit T la droite denie par
_
x +y z = 1
x 2y 2z = 0
et P le plan dequation x + 2y + 2z = 0.
On cherche la projection p sur T parallèlement à P.
3
. On note p(M) = M
= (x
, y
, z
).
T passe par = (2, 0, 1) et est dirigee par u = (4, 1, 3).
Puisque M
appartient à T, il existe tel que M = +u, donc

_
x
= 2 + 4
y
=
z
= 1 + 3
On exprime que

MM
= (x
x, y
y, z
z) est dans le plan vectoriel P.

(x
x) + 2(y
y) + 2(z
z) = 0 4 + 8 = x + 2y + 2z =
1
8
(x + 2y + 2z 4)
On en deduit
lexpression analytique
de la projection p :
_
_
x
= 2 + 4
y
=
z
= 1 + 3
=
1
8
(x + 2y + 2z 4)
_
x
=
1
8
(4x + 8y + 8z)
y
=
1
8
(x 2y 2z + 4)
z
=
1
8
(3x + 6y + 6z 4)
Cours de Math
ematiques
G
eom
etrie affine
Proposition (Symetries anes)
Soit p la projection ane sur T, parallèlement à (.
Pour tout point M de E, soit s(M) le point deni par s(M) = M + 2
Mp(M).
Lapplication M s(M) est appelee symetrie ane par rapport T, parallèlement à (.
Cest eectivement une application ane, et son application lineaire associee est la symetrie
vectorielle par rapport à F, parallèlement à G.
Lapplication s verie s s = Id, et on a T = Inv (s).
On a illustre ici la denition precedente.
On voit comment, pour tout point M,
le point p(M) est le milieu du segment [M, s(M)].
On a les relations s = 2p Id et p =
1
2
(s + Id).
Proposition (Caracterisation des symetries anes)
f est une symetrie ane si et seulement si f f = Id.
Notons Opp (
f) = u E,

f(u) = u (vecteurs changes en leur oppose par

f.)
Alors lapplication f est la symetrie par rapport à Inv (f), parallèlement à Opp (
f).
Remarques et exemples
Les symetries anes sont donc les applications anes involutives.
Les symetries anes sont des elements particuliers du groupe ane.
En revanche, seule la projection ane p = Id est bijective.
La symetrie ane par rapport à un point (donc parallèlement à lespace E tout entier,
mais il est inutile de le preciser) est en fait lhomothetie de centre et de rapport 1.
De meme, la projection ane sur est lapplication constante f : M .
Dans IR
3
, cherchons la symetrie ane s par rapport au plan T dequation x +2y +2z = 1,
et parallèlement à la droite vectorielle engendree par le vecteur u(1, 1, 1).
Soit M(x, y, z) un point quelconque, et M
= s(M) = (x
, y
, z
) son image.
Il existe un reel tel que

MM
= u, donc x
= x +, y
= y , z
= z +.
On ecrit ensuite que le point
1
2
(M +M
) appartient à T.
1
2
(x +x
) + (y +y
) + (z +z
) = 1 = 2(x + 2y + 2z + 1)
On en deduit lexpression analytique de s :
_
_
_
x
= x +
y
= y
z
= z +
_
_
_
x
= x 4y 4z 2
y
= 2x + 5y + 4z + 2
z
= 2x 4y 3z 2
Cours de Math
ematiques
G
eom
etrie affine
Proposition (Anites)
Soit p la projection ane sur T, parallèlement à (. Soit un reel.
Pour tout point M de E, soit f(M) le point deni par f(M) = p(M) +
p(M)M.
Lapplication M f(M) est une application ane.
On lappelle anite de base T, de direction ( (ou G) et de rapport .
On illustre ici la denition precedente.
On a choisi par exemple = 2.
Pour = 1, on trouverait f = Id.
Pour = 0, f serait la projection p.
Pour = 1, f serait la symetrie s = 2p Id.
Remarques
Soit f lanite de base T, de direction ( (ou G) et de rapport .
Si p est la projection ane sur T et parallèlement à G, on a f = Id + (1 )p.
Lapplication f
2
est lanite de base T, de direction ( (ou G) et de rapport
2
.
Si ,= 0, lapplication f est une transformation ane (elle est bijective.)
Son inverse est lanite de base T, de direction ( (ou G) et de rapport
1
.
On a f = Id + (1 )p et f
2
=
2
Id + (1
2
)p.
On en deduit f
2
Id = (1
2
)(p Id) = (1 +)(f Id).
Ainsi f
2
= (1 +)f Id, ce qui generalise les relations p
2
= p et s
2
= Id.
Un exemple
Soit f : IR
3
IR
3
qui à M(x, y, z) associe M
(x
, y
, z
) deni par
_
_
_
x
= 2x + 2y + 2z + 1
y
= x y 2z 1
z
= x + 2y + 3z + 1
On va montrer que f est une anite.
Il faut ecrire f = Id + (1 )p, o` u p est une projection (donc f
2
Id = (1 +)(f Id).)
Si M
= f(M
),
_
_
_
x
= 2x
+ 2y
+ 2z
+ 1 = 4x + 6y + 6z + 3
y
= x
2z
1 = 3x 5y 6z 3
z
= x
+ 2y
+ 3z
+ 1 = 3x + 6y + 7z + 3
_
_
_
x
x = 3(x
x)
y
y = 3(y
y)
z
z = 3(z
z)
Ainsi f
2
Id = (1 +)(f Id), avec = 2.
On trouve ensuite p en ecrivant f = Id + (1 )p = 2Id p, donc p = 2Id f.
p est denie par
_
_
_
x
= 2x (2x + 2y + 2z + 1) = 2y 2z 1
y
= 2y (x y 2z 1) = x + 3y + 2z + 1
z
= 2z (x + 2y + 3z + 1) = x 2y z 1
On reconnait la projection ane etudiee page 31. On peut donc conclure : f est lanite de
rapport 2, de base le plan T dequation x + 2y + 2z = 1, de direction la droite vectorielle
engendree par le vecteur (1, 1, 1).
Cours de Math
ematiques
G
eom
etrie affine
IV.5 Barycentres et applications anes
Proposition (Conservation du barycentre)
Soit (A
1
,
1
), (A
2
,
2
), . . . , (A
p
,
p
) une famille de points ponderes, de poids total m ,= 0.
Soit G le barycentre des (A
k
,
k
).
Alors f(G) est le barycentre des points ponderes (f(A
k
),
k
).
On exprime cette propriete en disant quune application ane conserve le barycentre.
Remarques
On retiendra que si
p
k=1
k
= 1, alors f(
p
k=1
k
A
k
) =
p
k=1
k
f(A
k
).
En particulier, on a les egalites f(A + (1 )B) = f(A) + (1 )f(B).
Limage par f du milieu du segment [A, B] est le milieu du segment [f(A), f(B)].
Plus generalement, limage de lisobarycentre des A
k
est lisobarycentre des f(A
k
).
Supposons que : (A, B) E
2
, IR, f(A + (1 )B) = f(A) + (1 )f(B).
Alors on montre que f est une application ane.
Ainsi la reciproque de la proposition ci-dessus est vraie.
Autrement dit, si f conserve les barycentres, alors cest une application ane.
Si dimE = p 1, une application ane f : E F est determinee de manière unique par
les images des p + 1 points A
0
, A
1
, . . . , A
p
dun repère ane de E (ces images pouvant etre
choisies de facon quelconque dans F.) Par exemple :
Si dimE = 2, f est determinee de manière unique par les images de 3 points non alignes.
Si dimE = 3, f est determinee de manière unique par les images de 4 points non coplanaires.
Proposition (Applications anes et parties convexes)
Limage par f dune partie convexe de E est une partie convexe de F.
Limage reciproque par f dune partie convexe de F est une partie convexe de E.
Remarques
On rappelle la denition (hors-programme) de lenveloppe convexe dune partie / de E : cest
le plus petit convexe contenant /, ou encore lintersection de tous les convexes contenant /.
On rappelle que si / = A
1
, A
2
, . . . , A
p
, alors lenveloppe convexe de / est lensemble des
barycentres des points A
k
aectes de coecients 0.
Limage par f (ane) de lenveloppe convexe de / est lenveloppe convexe de f(/).
En particulier, limage dun segment [A, B] est le segment [f(A), f(B)].
De meme limage du triangle plein ABC est le triangle plein f(A)f(B)f(C).

M Co Aff JMF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

M Co Aff JMF

Cargado por

Copyright:

Formatos disponibles

Cours de Math

AB, [0, 1].

AB est appele le milieu du segment [A, B].

contenant T et tel que T

) les composantes de u et v dans (e).

) sont libres, le syst`eme precedent denit le plan

, ()) deux rep`eres cartesiens de E, avec dimE 1.

= 0 5(x 1) 7(y 2) 4(z 3) = 0

sont confondues IR, (a, b, c) = (a

deux droites du plan, distinctes, dequations respectives (E) et (E

), avec (, ) ,= (0, 0).

) donnent toutes les droites du faisceau sauf T

sont parall`eles ou concourantes

sont parall`eles IR, (a, b, c) = (a

sont confondus IR, (a, b, c, d) = (a

ne soient pas parall`eles.

deux plans distincts, dequations respectives (E) et (E

), avec (, ) ,= (0, 0).

) donnent tous les plans du faisceau sauf T

) = 0 (avec (, ) ,= (0, 0)) sont alors

un syst`eme dequations dune droite ane T.

en resolvant le syst`eme des equations f

AI. Ainsi, dans un tetra`edre, les segments joignant un sommet au

AB, avec [0, 1].

, F, G sont des espaces vectoriels sur IR.

. Les deux conditions suivantes sont equivalentes :

lineaire tels que : M E,

lineaire telle que : (M, N) E

M) secrit : M E, f(M) = f() +(

, et une application lineaire de E dans E

telle que f(A) = B et

est ane elle est la somme dune application constante et

sont les applications anes dont

est muni du rep`ere 1

les matrices-colonnes des coordonnees de M et M

une application ane, dapplication lineaire associee

= AX +B, denit une application ane f :

) est denie par la matrice de passage P =

les matrices-colonnes de ces coordonnees.

re`ete les changements de composantes

un sous-espace ane de E, de direction E

) est un sous-espace ane de F, de direction

) est le sous-espace ane passant par f() et de direction Vect

donne par une

deux sous-espaces anes de E, de directions respectives E

) est parall`ele `a f(c

sont parall`eles (cest-`a-dire si E

un sous-espace ane de F, de direction F

) est vide, soit cest un sous-espace ane de E, de direction

peut toujours secrire CY = D dans le rep`ere de F.

) en resolvant C(AX +B) = D.

) son image par f.

= (2y 2z 1) + 3(x + 3y + 2z + 1) + 2(x 2y z 1) + 1

. Donc f f = f : lapplication f est une projection ane.

appartient `a T, il existe tel que M = +u, donc

z) est dans le plan vectoriel P.

También podría gustarte