c Christophe Bertault - MPSI Gomtrie affine
Exercice 1
Soient E un K-espace vectoriel et (A1, A2, . . . , An) une famille de points de E. On dit
que (A1, A2, . . . , An) est anement gnratrice de E si tout point de E est baycentre
de A1, A2, . . . , An, et anement libre si aucun des A
k
, k 1, n, nest barycentre des
autres. Enn on dit que (A1, A2, . . . , An) est une base ane de E si cette famille est
la fois anement libre et anement gnratrice.
1) Montrer que (A1, A2, . . . , An) est anement gnratrice de E (resp. libre) si et
seulement si
_
A1A2,
A1A3, . . . ,
A1An
_
est gnratrice de E (resp. libre).
2) Si (A1, A2, . . . , An) est une base ane de E, que vaut la dimension de E?
3) On suppose que (A1, A2, . . . , An) est une base ane de E. Alors tout
point M de E est barycentre de (A1, 1), (A2, 2), . . . , (An, n) pour certains
1, 2, . . . , n K. Montrer que les
k
, k 1, n, sont uniques si leur impose
la condition
n
k=1
k
= 1. La famille (1, 2, . . . , n) est alors appele la famille des
coordonnes barycentriques de M dans (A1, A2, . . . , An).
4) Ici dimE = 2. Soit (A, B, C) une base ane de E et M, M
, M
trois points de
E de coordonnes barycentriques (, , ), (
), (
) dans (A, B, C).
Montrer que M, M
et M
sont aligns si et seulement si
= 0.
Exercice 2
Montrer que les ensembles suivants sont des sous-espaces anes :
1)
_
(x, y, z, t) R
4
/ x y +z +t = 2 et 2x +y + 2t = 1
_
dans R
4
.
2)
_
P R[X]/ X
2
P
3XP
+ 4P = 4 X
_
dans R[X].
3)
_
y C
1
(R, R)/ x R, e
x
2
y
(x) +y(x) = 1
_
dans C
1
(R, R).
Exercice 3
1) Montrer que lapplication (x, y, z) (x + 2y 4z + 5, 2x z 3) est ane de
R
3
dans R
2
. Quelle est sa partie linaire ?
2) Mme question avec f
_
1 +
_
1
0
f , f
(0) 1
_
de C
1
_
[0, 1], R
_
dans R
2
.
Exercice 4
Soient E et F deux K-espaces vectoriels et f : E F une application ane.
1) Soit A un sous-espace ane de E. Montrer que f(A) est un sous-espace ane
de F.
2) Soit B un sous-espace ane de F. Montrer que, sil nest pas vide, f
1
(B) est un
sous-espace ane de E.
Exercice 5
1) Soient E un R-espace vectoriel et A et B deux parties convexes de E. Montrer que
lensemble des milieux des segments
_
AB
_
, (A, B) dcrivant AB, est convexe.
2) Montrer que le carr [0, 1]
2
est une partie convexe de R
2
.
3) Montrer que
_
(x, y)
_
R
+
_
2
/ xy > 1
_
est une partie convexe de R
2
.
Exercice 6
Soit P C[X] non constant, de racines distinctes z1, z2, . . . , zr dans C.
1) Dcomposer
P
P
en lments simples, puis montrer que toute racine de P
est un
barycentre de z1, z2, . . . , zr coecients positifs.
2) Interprter gomtriquement ce rsultat cest le thorme de Gauss-Lucas.
Exercice 7
1) Caractriser gomtriquement lapplication (x, y, z, t)
_
_
_
_
x 2y + 2z + 2t 6
x 2y + 2z + 3t 10
x 2y + 2z + 2t 7
t
_
_
_
_
de R
4
dans R
4
.
2) Dterminer une expression explicite de la symtrie de R
3
par rapport au plan
dquation x +y = 1 paralllement la droite vectorielle dirige par (1, 0, 0).
3) Caractriser gomtriquement les applications suivantes de R
3
dans R
3
:
a) (x, y, z)
_
_
y + 3
x 2
z
_
_
. b) (x, y, z)
1
2
_
_
x y
2 +z + 2
x
2 z
2 2
2
x +y
2 +z 2
_
_
.
4) Dterminer une expression explicite du vissage de R
3
de vecteur (1, 1, 0), daxe
orient par ce vecteur et passant par (1, 1, 1), et dangle de mesure
4
.
Exercice 8
Soit E =
_
0E
_
un espace euclidien.
1) Soient > 0 et s une similitude vectorielle de E de rapport . Montrer que s est
non nulle et que s prserve lorthogonalit, i.e. que pour tous x, y E :
x y = s(x) s(y).
2) Soit s un endomorphisme de E non nul qui prserve lorthogonalit.
a) Soit (e, e
) une famille orthonormale de E. Montrer que (e +e
, e e
) est alors
une famille orthogonale, puis que
_
_
s(e)
_
_
=
_
_
s(e
)
_
_
.
b) En dduire que s est une similitude vectorielle.
Exercice 9
1) Soit s une similitude directe (resp. indirecte) de lespace euclidien orient C.
Dterminer une forme de s(z) en fonction de z pour tout z C.
2) Soient a, b, a
, b
C tels que a = b et a
= b
. Montrer quil existe une et une
seule similitude directe de C transformant a en a
et b en b
.
3) Dterminer lexpression gnrale de la similitude directe de rapport 2, de centre
i et dangle de mesure
3
.
