Professional Documents
Culture Documents
ESPACES AFFINES
1) GENERALITES.
A) Introduction et Axiomatique.
Avec lessor de la notion de structure, le vecteur sest dtach de ses origines gomtriques et
a gagn ses lettres de noblesse au sein de lAlgbre. Nous avons dcrit les grandes lignes de
cette volution dans les chapitres antrieurs.
On a vu ainsi que lon pouvait faire de la gomtrie dans des espaces abstraits dont les
objets sont des fonctions, des suites, des matrices.
Notations et vocabulaire.
_ Lapplication de E vers E qui tout point M associe M tel que MM ' = AB est appele
translation de vecteur AB et sera le plus souvent note t
AB
_ On dira que (A, B, C, D) est un paralllogramme ou que le bipoint (A, B) est quipollent au
bipoint (D, C) si et seulement si AB = DC .
_ Si E est de dimension finie n, on dira aussi que E est un espace affine de dimension n.
On appellera alors repre de E tout couple R=(O, B ) form dun point arbitraire O appel
origine et dune base B =(e1,.., en) du K espace vectoriel E.
Les composantes (x1, ., xn) du vecteur OM dans la base B seront appeles coordonnes du
point M dans le repre R.
_ Si E est muni dune structure Euclidienne, on dfinira la distance de deux points (A, B)
comme la norme du vecteur AB . Notation : AB= AB .
Pour exemple, remarquons que tout ensemble E en bijection avec un K espace E par
lintermdiaire dune application f : E aE peut tre muni facilement dune structure despace
affine associ E au moyen de la correspondance : (M, N) a (M, N)= MN = f(N)- f(M).
On vrifiera sans problme que celle ci satisfait bien la relation de Chasles et la proprit
de reprage.
Premires proprits.
_ (A, B) E E. : BA = AB
r r
_ ( u , v ) E E : tur o tvr = tvr o tur = tur + vr
91
_ Lensemble not T des translations agissant sur E est donc un groupe commutatif pour la loi
composition des applications, dlment neutre IE , translation de vecteur nul. Ce groupe est
r
isomorphe au groupe additif (E, +) par l'intermdiaire de l'application : u a tur
B) Barycentres.
On vrifie immdiatement grce la relation de Chasles, que pour tout couple (M, N) de
points de E : f ( N ) = f ( M ) + s.NM . (Relation dite de transfert).
Dfinition .
Dans le cas o la somme totale s des coefficients est non nulle, on appellera barycentre du
r
systme pondr S, lantcdent pour f du vecteur nul de E. Si on note G=f 1( 0 ) ce point, sa
i=n r
dfinition se transcrit simplement : ai GAi = 0
i =1
i=n
rduction barycentrique, soit : M E : a MA
i =1
i i = s.MG
En particulier si on choisit M=O origine dun repre, les coordonnes de G dans ce repre
sobtiendront comme moyennes coefficientes par les poids ai des coordonnes respectives
1 i=n
des points de ce systme, ceci daprs la relation : OG = ai OAi
s i =1
Le barycentre (centre des poids) apparat donc bien travers les relations ci dessus comme un
lment simplificateur dans les calculs faisant intervenir une fonction de Leibniz.
(On connat limportance en physique du centre de gravit dun systme matriel).
_ Homognit.
Le barycentre dun systme est inchang si on multiplie ou divise tous les coefficients
intervenant par un mme rel non nul.
i=n r i=n r
En effet : ai GAi = 0 (ai )GAi = 0
i =1 i =1
La somme des vecteurs tant commutative, le barycentre sera inchang lors dune
modification de lordre des points du systme, les coefficients restant attachs aux points
correspondants dorigine.
1
positionn partir de A par : AI = AB .
2
La formule de rduction scrit ici : ME , MA + MB = 2 MI . (relation de la mdiane).
_ Lisobarycentre dun ensemble de trois points non aligns A, B, C est appel centre de
r
gravit du triangle dfini par ces points. Il est dfini par : GA + GB + GC = 0 , positionn
1
3
( ) 2
partir de A par : AG = AB + AC = AI , avec I milieu de (B, C).
3
La formule de rduction se rsume : M E : MA + MB + MC = 3MG
2) VARIETES AFFINES.
A) Dfinitions, premires proprits.
1) Dfinitions.
_ Une origine arbitraire A ayant t choisie dans E, on sait que lapplication A : M a AM
relie bijectivement E E. Pour tout sous espace F de E on dsignera par le terme de varit
affine passant par A et de direction F, limage de F par la bijection rciproque A-1.
_ Dans le cas dune structure Euclidienne, deux varits affines seront dites orthogonales si et
seulement si leurs directions sont des sous espaces orthogonaux.
(On conviendra cependant de dire que dans un espace affine de dimension 3, deux plans sont
perpendiculaires si un des deux est orthogonal une droite incluse dans lautre)
2) Proprits premires.
_ A A (A, F). (Le vecteur nul appartient tout sous espace de E).
Une varit peut donc tre dfini par sa direction et un quelconque de ses points.
r r
_ Limage par la translation de vecteur u de la varit A (A, F) est A (B, F) avec AB = u
(Chasles nouveau : MM ' = AB BM ' = AM )
Une varit affine est donc invariante par une translation dont le vecteur appartient la
r r
direction de celle ci. Si u nappartient pas F, limage par t u de A (A, F) sera une varit
r
affine parallle A (B, F) avec B=t u (A).
r r
Avec les notations additives, cela peut scrire plus naturellement : t u (A+F)=A+ u +F
1) Inclusion.
_ Rciproquement supposons F G et AB G .
De AB G on dduit dabord A (A, G)=A (B, G)
Linclusion F G donne immdiatement linclusion des varits A (A, F) A (A, G)
Des deux relations prcdentes il vient donc bien A (A, F) A (B, G).
On en dduit en particulier lorsque F=G que deux varits affines parallles sont disjointes ou
confondues.
2) Intersection.
Lintersection des varits A (A, F) et A (B, G) est non vide si et seulement si le vecteur AB
est lment de F+G . Sous cette condition, lintersection de ces deux varits est une varit
affine de direction FG.
En particulier, si E=FG, A (A, F) A (B, G) est rduite un seul point.
r r
De AB = AI + j on dduit alors BI = j G. Par suite, I est aussi lment de A (B, G).
On en dduit facilement A (A, F)A (B, G)=A (I, F)A (I, G)=A (I, FG).
Si lespace vectoriel total est somme directe des deux directions, la condition AB F+G=E
est toujours ralise et lintersection de F et G ne contient que le vecteur nul.
r
Il sensuit que lintersection des deux varits sera rduite A (I, { 0 })={I}.
(On se place bien sr sous la condition dexistence de ce point, cest dire s=a1+.+an 0).
Notons A =A (O, F) la varit en question. On a donc par hypothse, et pour tout indice k de
{1,., n} : OAk F .
1 k =n
Or, daprs la formule de rduction applique en O : OG = ak OAk
s k =1
Vu la stabilit du sous espace F pour les combinaisons linaires, on en dduit OG F .
Le barycentre G est donc bien lment de A =A (O, F).
3) APPLICATIONS AFFINES.
A) Dfinitions et premires proprits.
On a vu que les sous espaces de E donnent naissance aux varits affines de E par
lintermdiaire des bijections fondamentales : A : M a AM
Par un processus analogue, les endomorphismes de E vont gnrer des applications dites
affines de E vers E.
Plus prcisment, pour tout lment u de LK(E) et tout couple (A, A) de points de E on dfinit
1
naturellement lapplication f = A' o u o A .
_ De mme quun sous espace F de E donne naissance une infinit de varits affines
parallles de mme direction F, un mme endomorphisme u de E engendre toute une famille
dapplications affines associes u. Pour distinguer une application de cette famille il suffira
de prciser limage A par f dun point donn A de lespace E.
Ainsi deux applications affines concident si et seulement si elles ont mme endomorphisme
associ u et si elles donnent la mme image A dun point donn A de E.
_ Notons enfin une caractrisation trs commode des applications affines ne privilgiant pas
contrairement la dfinition premire un couple particulier de points de E :
B) Premiers exemples.
1) Si u est lendomorphisme nul. Une application affine f transformant A en A et
dendomorphisme associ u donnera de tout point M une image M telle que
r
A' M ' = u ( AM ) = 0 . Il sagt donc dune application constante : M a f(M)=M=A
2) Si u est lidentit sur E. Si f affine associe u donne de A limage A, tout point M sera
alors transform en M= f(M) tel que A' M ' = u ( AM ) = AM .
On en dduit par Chasles lgalit MM ' = AA' . On reconnat ici la dfinition de la translation
de vecteur AA' .
_ Remarquons alors quil existe un et un seul point fixe pour f que lon notera .
En effet lquation ponctuelle = quivaut lgalit A' ' = A' , cest dire lquation
1
vectorielle : A = A' A + A dont on tire la solution : A = AA'
1
_ Des relations de dfinition A' M ' = AM et A' = A on dduit par diffrence lgalit
vectorielle : M ' = M .
1) Thorme de composition.
Commenons par tablir le rsultat fondamental suivant, que nous appellerons thorme de
composition.
De mme, si on fait agir ensuite lapplication affine g, le couple (M, N) sera transform en
(M, N) tel que M ' ' N ' ' = v( M ' N ')
On en dduit par transitivit, lgalit : M ' ' N ' ' = v o u ( MN ) .
Lapplication T : f a u=T(f) apparat alors comme un morphisme de la loi o sur A (E) vers la
loi o sur LK(E).
Ce rsultat nous permet de prciser maintenant le rle fondamental des translations dans la
reprsentation des applications affines engendres par un mme endomorphisme u.
98
_ En effet, si g=t o f , le thorme prcdent nous dit que g a pour application linaire associe
2) Le groupe affine.
Rappelons que si f est affine telle que T(f)=u et f(A)=A, les liens entre f et u sont prciss par
1
la relation : f = A' o u o A , avec pour A la bijection fondamentale de E vers E : M a AM
Lensemble not B(E) des bijections affines de E sur lui mme est un groupe pour la loi
composition des applications.
_ Limage par T de ce groupe nest autre que le groupe GLK(E) des automorphismes de E.
D) Proprits diverses.
Si f est une application affine dendomorphisme associ u, limage par f dune varit affine
de direction F est une varit affine de direction u(F). Plus prcisment :
f(A (A, F))=A (A,u(F)) , avec A= f(A).
Il est alors clair que toute application affine conserve le paralllisme , cest dire transforme
toujours deux varits de mme direction en deux images de mme direction.
99
2) Conservation du barycentre.
Soit G barycentre dun systme pondr S= (A1, a1) ; .. ; (An, an) de points de E et f une
application affine de E vers E .
Limage G= f(G) est alors barycentre du systme S= (A1, a1) ; .. ; (An, an) form des
images respectives par f des points de S affects des coefficients dorigine.
_ Pour tout M de E, limage M=f(M) est dfinie par lgalit A' M ' = u ( AM ) .
On aura donc : M=M A' M ' = A' M u ( AM ) = A' A + AM (u I E )( AM ) = A' A
r r
Lexistence dune solution vectorielle x = AM pour l' quation : (u I E )( x ) = A' A quivaut
donc lappartenance de A' A ou de son oppos AA' au sous espace image Im(u-IE).
Comme exemple tudions le cas des projections ponctuelles, applications affines f telles que
f o f =f. Lendomorphisme u associ f est alors une projection vectorielle, puisque satisfaisant
u o u=u. Ici, Ker(u-IE) est lensemble des vecteurs invariants pour u, soit le support F de u.
Vu la proprit f o f=f, toute image par f sera fixe pour f. Lensemble des points fixes pour f
est donc une varit affine A (A, F) o A est une image quelconque par f.
100
Limage M= f(M) dun point quelconque est alors dfinie par : AM ' = u ( AM )
Dcomposons alors AM en somme dun vecteur de F et dun vecteur de la direction G de u
soit : AM = AP + PM avec AP F et PM G .
Il vient alors par action de la projection u : AM ' = AP , cest dire M=P.
Limage du point M sobtient donc par intersection de la varit affine A (A, F) (que lon
appellera support de f) avec la varit affine A (M, G).
_ Une application affine admettant au moins un point fixe sera dite application affine linaire.
L'appellation se justifie car si O est un des points invariants pour f, le passage de M son
image M= f(M) est rgi par la relation vectorielle : OM ' = u (OM ) .
A la bijection O prs, f reproduit laction de lapplication linaire u sur le vecteur OM
_ Une application affine admettant un et un seul point fixe est appel application affine
centre.
Lorsque E est de dimension finie, ceci se produit si et seulement si u-IE est bijective.
r
En effet lunicit des points fixes est conditionne daprs ce qui prcde par Ker(u-IE)={ 0 }
La condition dexistence des points invariants pour f est alors trivialement ralise puisque
Im(u-IE) est lespace total E.
4) Forme analytique.
Soit R=(O, B ) un repre de E et O limage de lorigine O par une application affine f.
La relation fondamentale O' M ' = u (OM ) que lon peut transcrire aussi M ' = O'+u (OM )
permet dobtenir facilement les coordonnes dans R de limage M du point M par f partir
des coordonnes de O et M dans ce mme repre et de la matrice U reprsentant dans la base
B lendomorphisme u associ f.
En effet, si on note X , X, , les colonnes reprsentant les coordonnes dans R des points
respectifs M, M, O, lgalit vectorielle ci dessus se traduira par la relation matricielle :
X ' = + U .X
Sous cette forme on voit en particulier que toute application affine peut sobtenir comme
compose dune application affine linaire, laissant lorigine O invariante, avec une
translation (ici de vecteur OO' ).
4) ISOMETRIES AFFINES.
A) Gnralits.
101
On se place ici dans le cas o lespace vectoriel E est muni dune structure Euclidienne.
On appellera alors isomtrie affine toute application affine conservant la distance .
Plus prcisment, si f affine dapplication linaire associe u, on sait que tout couple (M, N)
de points de E est transform par f en le couple (M, N) tel que M ' N ' = u ( MN ) .
Dire que f conserve la distance se traduit alors MN=MN , ou encore u ( MN ) = MN .
On en dduit immdiatement la caractrisation suivante :
Une application affine f est une isomtrie affine si et seulement si son endomorphisme associ
T(f)=u est une transformation orthogonale.
Il est alors clair que la compose de deux isomtries affines est encore une isomtrie, que
toute isomtrie affine est bijective et de rciproque conservant galement les distances.
Il sensuit que lensemble not I(E) des isomtries de E est un groupe pour la loi
composition des applications, reli au groupe orthogonal O(E) par lapplication T : f aT(f)=u
_ Rappelons que le noyau de ce morphisme T est form des translations qui sont les
isomtries les plus lmentaires dun espace affine quelconque.
_ Toute isomtrie affine transformant un point O en O peut scrire comme compose dune
isomtrie laissant O fixe avec une translation de vecteur OO' . (Car M ' = O'+u (OM ) ).
Rappelons que le groupe orthogonal dune droite vectorielle E est rduit deux lments,
homothties vectorielles de rapports respectifs 1 et 1.
_ Lidentit u=IE engendre les translations., formant le groupe des dplacements de la droite.
_ Si est non nul. On sait que r na pas de vecteurs invariants non nuls.
Nous sommes donc dans le cas o u-IE est un automorphisme de E. Par suite f aura un point et
un seul invariant que nous noterons .
La relation de dfinition M ' = r (M ) montre alors que limage M sobtiendra en faisant
tourner M autour du point dun angle et mrite f le nom de rotation ponctuelle plane de
centre et dangle . Nous adopterons alors la notation : f = r( , )
r
Cependant on peut dcomposer f en : f = t o sD , D dsignant toujours la droite d(A, n ).
AA'
r r
Ecrivons alors AA' = AB + BA' avec AB colinaire n et BA' orthogonal n
Il sensuit f = t o t o sD .
AB BA '
Or g= t o sD est une rflexion ( Elle est associe s et B a pour image A tel que BA'
BA '
appartient Im(s-IE).
103
On a donc obtenu : f = t AB o sD ' , produit dune rflexion daxe D parallle D avec une
translation de vecteur dans la direction de D.
On donne quelquefois ce type disomtrie plane le nom de symtrie glisse.
Rappelons nous que le groupe des isomtries positives est dans ce cas form de lidentit et
des rotations vectorielles autour dun axe.
Soit f affine associ une isomtrie ngative u. On sait quen dimension 3 , u sera soit une
symtrie orthogonale S par rapport un plan F, soit une compose du type u=S o R=R o S
dune telle symtrie avec une rotation vectorielle daxe orthogonal F, soit enfin IE.
.Si f admet au moins un point fixe A, Tout point M sera transform par f en M dfini par la
relation : AM ' = S ( AM ) .
Considrons alors le projet orthogonal H de M sur le plan affine P=A (A, F).
De AM = AH + HM on dduit AM ' = AH HM , puis par diffrence : MM ' = 2 MH
Le point H apparat donc comme le milieu de (M, M).
Dans ce cas f sera appele symtrie orthogonale par rapport au plan P ou tout simplement
rflexion par rapport au plan P et on la notera en gnral f=SP.
.Si f nadmet pas de points invariants, elle transforme un point donn A de E en A tel que le
vecteur AA' nappartient pas Im(u-I )=F . E
On peut alors crire f = t o S P avec P=A (A, F).
AA '
Suivant un schma maintenant bien rod on dcompose AA' = AB + BA' avec AB F et BA'
orthogonal F. On en dduit f = t o t o S P .
AB BA '
Or g = t o S P est associe u=S et transforme B en A tel que BA' Im(u-IE). Il sagt donc
BA '
dune rflexion par rapport un plan affine P de direction F.
r
Lapplication f se dcompose alors en f = tir o S P ' = S P ' o tir avec i = AB dans la direction du
plan P. On utilisera quelquefois lappellation de rflexion glisse.
_ Examinons enfin le cas o u est du type u=R o S=S o R. avec laxe de R gal lorthogonal
du plan F de la symtrie S
Lendomorphisme u nayant pas de vecteur invariant non nul , u-IE est un automorphisme de
E et f admettra donc un point fixe et un seul not ici O.
105
Dans tout ce qui suit on dsigne par E un espace affine Euclidien de dimension 3 et par
( r r r
)
R= O ; i , j , k un repre orthonorm direct de cet espace.
4. Soit f une application affine de E dans E . On suppose que f 3=f o f o f admet au moins un
point fixe. En dduire que f possde galement au moins un point invariant.
Dterminer les figures respectives G et H engendrs par les barycentres ci dessus lorsque
m varie, puis prciser lintersection GH.
6. Soit f une application affine transformant toute droite de E en une droite parallle. Montrer
que f est une translation ou une homothtie.
r
7. Soit t une translation de vecteur u , h une homothtie de centre O et de rapport 2.
Pour tout point M de E on construit : M1=t(M) ; M2=h(M) ; M milieu de (M1, M2).
Montrer que lapplication f : M a M est une homothtie.
107
a) Montrer que le milieu F de (A, E) est barycentre de (A, 4) ; (B, 1) ; (C, 2).
4 1 r r r r 2
15. Soit f le vissage daxe passant par B( , ,0) , orient par u = i - j - k , dangle et de
3 3 3
2r
vecteur de translation u .
3
Dterminer la droite D telle que D soit scante en A(2, 0, 3) f(D).
16. On considre les points A(3, 0, 4) et A(0, -5, 0). On demande de dterminer les
applications f transformant A en A dans les cas suivants :
18. On considre lapplication f de E vers E dfinie analytiquement dans R par les formules :
1 1 1
x' = (3x + 2 y + 6 z + 12) ; y ' = (2 x + 6 y 3z + 8) ; z ' = (6 x 3 y 2 z + 10)
7 7 7
a) Montrer que f est une isomtrie et prciser sa nature.
19. Soit P le plan affine dquation dans R : 2x+y-z+3=0 et D la droite dfinie par la
reprsentation paramtrique : x=t+1 ; y=-t ; z=t+5.
b) Montrer quil existe un seul dplacement f de E laissant les points de D invariants et tel
que B(1, 1, 6) ait pour image B(1, -1, 4).
20. Montrer quune figure borne ne peut admettre quun seul centre de symtrie.
b) Est il possible de reconstituer un polygone dont on a perdu les sommets mais dont il
reste les milieux des cts ?
109
3
Notons G le point particulier obtenu pour (x, y)=(0, 0), dfini par : AG = AB
4
1 r r
Par diffrence avec lgalit ci dessus, il vient : GP = ( x.u + 3 y.v )
4
x 3y
Lorsque (x, y) dcrit RR, il en est de mme du couple , .
4 4
La relation prcdente nest donc autre quune reprsentation paramtrique du plan affine
r r
passant par G et de direction vectorielle engendre par le couple ( u , v ) (libre puisque les
droites D et D sont supposes non coplanaires donc non parallles).
3. Les quations proposes ici sont des recherches dites de ligne de niveau, cest dire des
quations du type f(M)=p , avec f : M a f(M) application de E vers R dfinie par une formule
base de produits scalaires.
La stratgie suivante donne dassez bons rsultats :
_ Dcomposer selon Chasles tous les vecteurs contenant la variable M en utilisant un point
pivot arbitraire O et regrouper les produits scalaires analogues.
_ Choisir ensuite le point O de faon que lquation propose se simplifie si possible en une
r
quation standard de rsolution classique, du type OM=k ou u .OM = k .
Les exemples suivants illustrent bien la mthode. Ainsi on aura :
1
_ Si p > - , Lensemble des points de E solutions constitue une sphre de centre I et de rayon
4
1
r = p+ .
4
1
_ Si p= - , la ligne de niveau se rsume au seul point I.
4
1
_ Enfin si p < - , aucun point de E nest solution de lquation propose.
4
e)
( MO + OA). AB + 2( MO + OB).( AO + OM ) = 2OM + MO.(3 AO + BO) + OA.( AB 2OB) On
1
choisira ici O barycentre de (A, 3) ; (B, 1) , repr par : AO = AB
4
1 1 p 1 8p 1
f(M)=p -2OM + =p OM = OM= sous rserve que p
8 16 2 4 8
Plus gnralement soit n est un entier suprieur 2 tel que f n possde au moins un point fixe
not A.
Pour tout entier k compris entre 1 et n-1 posons Ak=f k(A) et considrons lisobarycentre G du
systme S des points A, A1, A2, .., An-1.
Limage du dernier point est f(An-1)=f n(A)=A puisque A est suppos fixe pour f n.
Les images par f reconstituent donc le systme S, en dsordre suite une permutation
circulaire. Lisobarycentre G sera donc invariant par lapplication affine f.
1
Ces coefficients correspondent aux valeurs admises m = 4 et m' = des paramtres initiaux.
5
5
Les deux ensembles G et H se coupent donc en P tel que IP = BA .
6
6. Si u est lendomorphisme associ lapplication affine f, on sait que limage dune droite
r
quelconque =d(A, n ) par f est la varit affine passant par A= f(A) et de direction le sous
r
espace engendr par u( n ).
Pour que f transforme toute droite de E en une droite parallle, il est donc ncessaire et
r r r
suffisant que pour tout vecteur n non nul de E, u( n ) soit un multiple non nul de n .
r r r
On en dduit que la matrice reprsentant u dans une base quelconque B =( i , j , k ) est
ncessairement diagonale.
r r r r
Si diag(, , ) dsigne cette matrice, on aura alors u( i + j )= i + j .
r r r r
Or par hypothse il nous faut une relation du type u( i + j )=( i + j ).
On en dduit immdiatement ==.
r r
On dmontre de mme = en examinant limage par u de i + k .
Il reste dterminer son centre, seul point invariant, ce qui se fait en rsolvant lquation
M=M.
3 1r v
OM ' = OM OM + u = OM OM = u
2 2
Le centre est donc limage de O par la translation t 1.
113
8. a) Daprs les proprits du produit scalaire et les donnes sur les distances on peut crire
2 2 2
100 = BC = ( AC AB ) 2 = AC + AB 2 AB. AC = 25 + 64 2 AB. AC
11
Ainsi : AB. AC = .
2
On en dduit facilement :
2 11 139
_ BC.BA = ( BA + AC ).BA = BA AB. AC = 64 + =
2 2
2 11 61
_ CA.CB = CA.(CA + AB) = CA AB. AC = 25 + =
2 2
b) Daprs la formule de rduction, on peut crire pour un point M quelconque de E :
MA + 2 MB + t MC = (t + 3) MG
1
_ Pour M=A on en dduit AG = (2 AB + t AC )
t +3
Le point G appartiendra donc la hauteur issue de A dans(A, B, C) si et seulement le vecteur
AG est orthogonal BC , ce qui quivaut (2 AB + t AC ).BC = 0
61 278
Il vient donc 139 + t=0t= .
2 61
1
_ Soit I le milieu de (B, C). La mdiane issue de A est dirige par AI = ( AB + AC )
2
G sera donc situ sur cette droite si et seulement si il existe un rel pour lequel
2 AB + t AC = ( AB + AC ) . Le systme ( AB , AC ) tant libre, on en dduit t==2.
1
_ Enfin en prenant M=I dans la formule de rduction, on obtient : IG = ( IA + (2 t ) IB) .
t +3
Ainsi G sera sur la mdiatrice de (B, C) si et seulement si
IG.BC = 0 , ce qui quivaut : IA.BC + (2 t ) IB.BC = 0
1 1 139
Comme AI = AB + BC et BI = BC , lquation se rsume 50 + 50(2 t ) = 0
2 2 2
161
On obtient t = .
100
f tant suppose bijective, on sait que u est en fait un automorphisme de E et que lapplication
linaire associe la rciproque f 1 nest autre que la rciproque u 1.
Si on note le rapport de lhomothtie ponctuelle h, on sait que lendomorphisme associ
nest autre que lhomothtie vectorielle de rapport cest dire IE.
Remarque : le centre C de cette homothtie, seul point fixe de g1, est dfini par lgalit
f(C)==h(f(C)). On a donc ncessairement f(C)=O centre de h.
1
_ Lendomorphisme associ g2=f o h o f 1 o h-1 est u o IE o u-1 o IE=u o u-1=IE
Lapplication g2 est donc une translation
r
10. a) On sait que la projection orthogonale dun vecteur quelconque u sur la droite dirige
r r r r r
par le vecteur norm n est dfinie par p( u )=( u . n ) n
r
Le projet orthogonal OM ' de OM sur le plan vectoriel orthogonal n est donc dfini par
r r
lgalit vectorielle : OM ' = OM (OM .n )n
Le milieu F de (A, E) peut donc tre considr comme le barycentre du systme form par (A,
7) ; (E, 7), ou encore comme le barycentre de (A, 7) ; (A, 1) ; (B, 2) ; (C, 4).
Rappelons alors que laire dun triangle quelconque sobtenant comme le demi produit dune
des bases par la hauteur relative ce ct, une mdiane de ce triangle dcoupe celui ci en
deux portions triangulaires daires identiques.
En appliquant ce principe et en notant en abrg a(t) laire dun triangle nomm t on obtient
successivement :
a(t1)=a(t2) car (CF) est mdiane dans le triangle (C, A, E). ( F milieu de (A, E) )
a(t3)=a(t4) car (AG) est mdiane dans le triangle (A, B, F). ( G milieu de (B, F) )
a(t5)=a(t6) car (BE) est mdiane dans le triangle (B, C, G) ( E est le milieu de (C, G) )
De mme :
a(t7)=a(t3) car (GF) est mdiane dans le triangle (G, A, E) . ( F milieu de (A, E) )
a(t7)=a(t2) car (FE) est mdiane dans le triangle (F, C, G). ( E milieu de (C, G) )
a(t7)=a(t5) car (EG) est mdiane dans le triangle ((E, B, F) . ( G est le milieu de (B, F))
1 2 2
1
b) _ Ici lendomorphisme u associ f a pour matrice dans B : U = 2 1 2
3
2 2 1
Il sagt dune matrice orthogonale, de dterminant gal +1.
Lapplication u est donc une rotation vectorielle. On vrifie facilement que les vecteurs
r r r r
invariants pour u sont ceux de la droite vectorielle engendre par n = i + j + k .
nest autre rquer laxe de u. Pour prciser langle, prenons un vecteur orthogonal , par
r
exemple u = i - j et examinons son transform par u.
r r r r
u( i - j )=- i + j . Lisomtrie u nest donc autre que la symtrie orthogonale par rapport .
(Rotation dangle plat).
Lapplication f admet donc des points invariants, ceux de la droite D passant par le point
r
B(-1, 0, 0) et dirige par n . Il sensuit que f est le demi-tour par rapport cette droite D.
0 1 0
c) La matrice de lendomorphisme u associ f est : U = 0 0 1
1 0 0
r r r r
On montre alors sans problmes que u est la rotation vectorielle daxe dirig par n = i + j + k
4
et dangle = .
3
On vrifie aussi trs facilement que f nadmet pas de points fixes. Lisomtrie f est donc un
vissage. Pour le prciser, tudions une compose du type g=T o f avec T translation de vecteur
r
t n et essayons de choisir t de faon que g possde des points fixes.
1
t = 3
x = y + 1 + t x = y + 1 + t
4
y = z + t y = z + t x = y +
z = x 2 + t z = z + 3t 1 3
1
z = y 3
1
Ainsi, pour t= , lapplication g est la rotation d'axe la droite affine D passant par C
3
4 1 r 4
( , 0, ) orient par n et d'angle . Lapplication affine f est donc le vissage f=T-1 o g.
3 3 3
13. a)_ La direction vectorielle F du plan P est lorthogonal de la droite dirige par
r r r
n = j + k . (Ceci au vu de lquation de P en repre orthonorm).
On sait alors que la symtrie orthogonale s par rapport ce plan F est donne par s=IE-2p
avec p projection vectorielle orthogonale sur la droite D.
117
0
1
On en dduit la matrice reprsentant s dans B , soit : U=I3-2N. tN avec N = 1
2
1
1 0 0
Les calculs donnent : U = 0 0 1
0 1 0
Selon le schma affine, M quelconque de E est transform en M par la rflexion S par rapport
P de faon que : AM ' = s ( AM )
On en dduit immdiatement grce la matrice prcdente les coordonnes de limage M
_ Selon le schma affine, puisque A(0, 1, 0) est sur laxe de la rotation, donc invariant, tout
point M sera transform en M tel que AM ' = R( AM ) .
1
x' = 4 (3 x y 6 z + 1)
1
y ' = ( x + 3 y 6 z + 1)
4
1
z' = 4 ( 6 x + 6 y + 2 z 6 )
0 2 2
1
On trouve : U = 2 1 1
2
2 1 1
Limage de M quelconque par le vissage en question est alors prcise par lgalit
r r
fondamentale : OM ' = j + k + u (OM ) . On obtient aprs calculs les expressions suivantes
1
x' = 2 ( y z )
1
des coordonnes de M : y ' = ( 2 x + y + z + 2)
2
1
z ' = 2 ( 2 x + y + z + 2)
14. Daprs le schma affine classique, lisomtrie vectorielle u associe une isomtrie f
ponctuelle satisfaisant aux contraintes donnes doit vrifier : u ( AB) = A' B' et u ( AC ) = A' C ' .
r r r r r r r r
Ces galits se traduisent par linarit de u en : u( j )-u( i )=- i - j et u( k )+u( j )=- i - k
r r r r r r r
Si on note u( i )=a i +b j +c k , la matrice reprsentant u dans B =( i , j , k ) sera donne
a a 1 a
par : U = b b 1 b + 1
c c 1
c
2 1 2
1
_ Pour le deuxime on trouve U = 1 2 2
3
2 2 1
r r r
Cest la matrice dune rotation vectorielle daxe orient par n =-2 i + k dangle tel que :
2 5
cos() = et sin() = .
3 3
1
x' = 3 (2 x y 2 z + 1)
1
Lgalit A' M ' = u ( AM ) nous donne ici la forme analytique : y ' = ( x 2 y + 2 z + 5)
3
1
z ' = 3 (2 x 2 y z + 8)
r 2
15. Notons R la rotation vectorielle daxe orient par u , dangle .
3
Cest lendomorphisme associ au vissage f.
r
Il sensuit que limage par f dune droite quelconque D=d(A, n ) passant par A sera la droite
r
f(D)=d(A, R( n )) , avec A= f(A).
r
Cette image f(D) sera scante en A D si et seulement si le vecteur AA' est colinaire R( n )
r
et si n ne dirige pas laxe de R.
La direction de la droite ventuelle cherche sera donc dfinie par R 1 ( AA')
Daprs la dfinition du vissage f et suivant le schma affine classique, limage A est dfinie
2s
par lgalit vectorielle : BA' = R( BA) + u
3r
On en dduit par linarit de R et vu que u est invariant par cette rotation :
2r
R 1 ( AA') = R 1 ( AB + BA') = R 1 ( AB) + BA + u
3
120
r
1 1 3 u 1 r r
Reste dterminer R ( AB) = AB AB + (u. AB)u
2 2 3 2
1 r r r r r r
Les calculs conduisent au vecteur - (i + 9 j 2k ) dont on dduit R 1 ( AA') = i 4 j + 3k
3
1 1 1
x' = (16 x 15 y 12 z ) ; y ' = (3x + 4 z ) ; z ' = (12 x 20 y + 9 z )
25 5 25
b) Le dbut de lanalyse prcdente est encore valable si f est une symtrie par rapport une
1 r r r
droite. Le vecteur IA = (3i + 5 j + 4k ) est encore chang en son oppos par la symtrie
2
vectorielle associe u. On en dduit que u est une symtrie par rapport une droite vectorielle
r r r r
dirige par n orthogonal 3 i +5 j +4 k .
a
r
Si N = b est la colonne des composantes de n dans B avec les contraintes a+b+c=1 et
c
2a 1 2ab 2ac
3a+5b+4c=0 , la matrice de u dans B sera : U=2N. N I3= 2abt
2b 1 2bc
2ac 2c 1
2bc
La forme analytique de f sobtient comme prcdemment partir de A' M ' = u ( AM )
r
c) Soit f rotation daxe D passant par O orient par n norm et dangle .
Si H est le projet orthogonal de A sur D, limage B de A par f sera dfinie partir de la
dcomposition OA = OH + HA par : OB = OH + r (HA) avec pour r la rotation vectorielle
r r
dangle dans le plan vectoriel orthogonal n orient par le choix de ce mme vecteur n .
121
r
On en dduit que B=A si et seulement si le vecteur AA' est orthogonal n et r ( HA) = HA'
r r r r
On pourra donc choisir pour n nimporte quel vecteur norm orthogonal 3 i +5 j +4 k .
r r
Ce choix effectu, la projection orthogonale de A sur H est dfinie par OH = (OA.n )n.
r r r r
On a alors : HA = OA (OA.n )n et HA' = OA' (OA.n )n .
Ces deux vecteurs ayant mme norme, il suffit de choisir pour langle orient ( HA, HA')
r
pour prciser la rotation vectorielle f daxe D=d(O, n ) cherche, transformant effectivement
A en A.
1
x' = (3x + 2 y 6 z + 20)
7
1
On obtient aprs simplifications les coordonnes de M: y ' = (2 x 6 y 3z + 17)
7
1
z ' = (6 x 3 y + 2 z + 19)
7
0 3 1 4 2 6 4 2 + 3 14 14 6
1 1 1
U = 3 0 2 + 2 1 3 = 2 3 14 1 3 2 14
14 14 6 3 9 14 6 14
1 2 0 2 14 3 9
122
Remarquons alors que par le vissage g, le point A de laxe de rotation est transform en A tel
r
que A=A+ u . On en dduit les coordonnes de M=g(M) en fonction de celles de M grce la
relation A' M ' = R( AM ) qui se traduira matriciellement par lgalit :
x'3 x 1
y '2 = U y 1 .
z '+1 z 2
18. a) _ Vu sa forme analytique, il est clair que f est affine, transformant lorigine O en le
12 8 10
point O de coordonnes , , , dendomorphisme associ u de matrice reprsentative
7 7 7
3 2 6
1
dans B gale : U = 2 6 3 .
7
6 3 2
On vrifie facilement que U est orthogonale, et que les vecteurs invariants pour u sont ceux du
plan F dquation : 2x-y-3z=0. Il sensuit que u est la symtrie vectorielle orthogonale par
rapport ce plan F.
_ Ltude de lquation aux points fixes pour f : M=M conduit un systme nadmettant pas
de solutions. On sait alors que f peut se dcomposer de manire unique en un produit dune
rflexion de direction F avec une translation de vecteur appartenant F.
7 x = 3 x + 2 y + 6 z + 12 + 7 a
On est donc amen tudier le systme : 7 y = 2 x + 6 y 3 z + 8 + 7b
7 z = 6 x 3 y 2 z + 10 + 7c
7
2 x y 3 z = 6 + 2 a
Celui ci quivaut : 2 x y 3z = 8 7b
10 7c
2 x y 3 z =
3 3
a + 2b = 4
On en dduit les relations de compatibilit : , qui combins avec la condition
c 3b = 2
dappartenance F : 2a-b-3c=0 , conduisent lunique triplet (-2, -1, -1).
Pour celui ci, lensemble des points invariants pour g est le plan affine P dquation
cartsienne : 2x+y-3z=-1.
Lisomtrie g est dans ce cas la rflexion par rapport au plan P, et f se dcompose en ler
r r r
produit f=T-1 o g =g o T-1 de cette rflexion avec la translation de vecteur - u =2 i + j + k
123
b) Les seuls dplacements de lespace trois dimensions admettant des points invariants
sont lidentit et les rotations autour dune droite de E.
Le dplacement cherch f ne peut donc tre quune rotation daxe D dont on va prciser
langle grce la condition f(B)=B.
r r r r
Or AB = j + k et AB' = j k . De plus ces vecteurs appartiennent au plan vectoriel
r r r
orthogonal laxe de R, dirig par i - j + k . Il sensuit que f ne peut tre que la rotation
daxe D et dangle , soit la symtrie orthogonale par rapport cette droite D (demi-tour
daxe D).
c) Remarquons que la droite D est contenue dans le plan P. (Il suffit dinjecter les
coordonnes dun point variable de D dans lquation cartsienne de P).
Le demi tour f par rapport D peut donc se dcomposer en f =S o S avec S rflexion par
rapport au plan P contenant D et perpendiculaire P. (De direction contenant la droite
vectorielle orthogonale la direction de P.
On obtient alors : g=f o S= S o S o S=S ., rflexion par rapport P.
20. a) Soient O1 et O2 deux centres de symtrie pour une mme figure plane borne F.
Si on note respectivement S1 et S2 les symtries centrales par rapport ces deux points, cela
signifie que F. est globalement invariante par chacune delles.
124
F. sera donc globalement invariante par f=S2 o S1, cest dire par la translation de vecteur
r
u = 2O1O2 .
En utilisant nouveau le principe de composition, on montre facilement par rcurrence que
pour tout entier n, F. sera aussi globalement invariante par f n , cest dire par la translation de
r
vecteur n u .
r
On pourra donc si u est non nul, trouver des couples de points de F. de distance plus grande
quun nombre arbitrairement donn . Ceci est en contradiction avec le caractre born de la
figure F..
r
On en dduit que u est ncessairement nul et que les centres O1 et O2 concident.
_ Le point A1 est transform par S1 en A2, qui donne A3 par action de S2,, puis A4 en faisant
jouer S3. Il est clair que le processus de composition se poursuit jusqu redonner le point
dorigine A1 par action de la dernire symtrie Sn de la chane.
Ainsi A1 est invariant par f.
Puisque f(B1)=B1 , (f est lidentit) , on en dduit que Sn(Bn)=B1. Le dernier point In est donc
bien aussi le milieu de (Bn, B1)
Il est donc impossible de reconstituer le polygone dorigine ayant gnr les milieux en
question partir de la donne de ces seuls points.
2) Si n est impair.
Dans ce cas f nest autre que la symtrie centrale par rapport A1.
Il sera donc trs facile de retrouver ce sommet A1 comme milieu dun couple de points form
par P arbitraire et de son image P= f(P).
Le point A1 obtenu, on en dduira de proche en proche tous les autres sommets en faisant agir
dans lordre les symtries centrales S1 , S2,.., Sn-1.
Le polygone dorigine pourra donc ici tre restaur.