Vous êtes sur la page 1sur 36

89

ESPACES AFFINES

1) GENERALITES.
A) Introduction et Axiomatique.

Dans lhistorique de la gomtrie, le point est la figure originelle. La thorie se dveloppe


autour de ce concept et des ses drivs : droites, plans; rgis par la toute premire
rglementation dEuclide.
Plus tard viendra le vecteur, outil servant remarquablement la Mathmatique et la Physique.
Nous retiendrons que pour le gomtre, le vecteur AB est l'essence de la translation de
lespace ponctuel transformant tout point M en M tel que (A, B, M, M) soit un
paralllogramme. Un vecteur nat donc dun couple de points et regroupe en fait toute une
classe de bipoints en situation dquipollence ( AB = MM ' ).

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.

Les transformations tudies ce sujet avaient toutes en commun le caractre linaire.


Il nous reste pour dfinir une gomtrie ponctuelle gnrale, largir le concept originel de
translation. Pour cela, si on examine comment les translations oprent sur les points, deux
proprits essentielles se dtachent :

_ La relation dite de Chasles : Pour tout triplet (A, B, C) de points, AB + BC = AC

_ La proprit dite de reprage :


Pour tout point O fix (origine ponctuelle arbitraire) , la correspondance M a OM est
bijective de lensemble des points vers lensemble des vecteurs.

La gnralisation la plus simple consiste prserver ces deux comportements fondamentaux.


Ainsi nous adopterons la dfinition suivante :

Soit E un K espace vectoriel.


On dit quun ensemble E est muni dune structure despace affine associ ce K espace E si
on dfinit une application de EE vers E satisfaisant aux deux proprits suivantes :

_ Pour tout triplet (A, B, C) dlments de E : (A, C)=(A, B)+(B, C)

_ Pour tout lment O de E, la correspondance M a (O, M) est une bijection de E vers E.


90

Notations et vocabulaire.

_ Nous conviendrons de noter simplement (A, B)= AB


On reconnat alors immdiatement dans les deux contraintes imposes la relation de Chasles
et la proprit de reprage.

_ Les lments de E seront appels points.

_ 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 emploiera galement la notation : M=M+ 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.

Fort de laxiomatique choisie, on vrifie de manire lmentaire lextension des proprits


usuelles des vecteurs et translations associes. Ainsi :
r
_ (A, B) E E : AB = 0 A=B.

_ (A, B) E E. : BA = AB

_ (A, B) E E , la translation de vecteur AB est bijective et sa rciproque est t


BA

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

_ A partir des coordonnes de deux points respectifs A et B dans un repre R=(O, B ), on


obtient les composantes du vecteur AB dans B grce la relation : AB = OB OA
Remarquons que cela justifie la notation M=M+ AB adopte lorsque MM ' = AB
En effet les coordonnes de limage M de M par la translation de vecteur AB sobtiennent en
ajoutant aux coordonnes de M les composantes de mme indice du vecteur de cette
translation.

B) Barycentres.

On appelle systme pondr de points de E toute suite finie dlments de ER.


Si S : i a (Ai , ai) est un tel systme, avec i dcrivant {1,.., n}, on lui associe naturellement
une application f de E vers E appele fonction vectorielle de Leibniz et dfinie par la formule :
i=n
M a f ( M ) = ai MAi = a1 MA1 + ..... + an MAn
i =1
Le rel ai est appel coefficient (ou poids) associ au point Ai .
On notera s=a1+.+an la somme de tous les coefficients. (Poids total de S)

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

On en dduit facilement les consquences suivantes :

_ Si s=0, la fonction f est constante de manire vidente.

_ Si s 0, la fonction f est bijective. En effet si N= O est un point arbitraire de E, on a pour M


quelconque dans E : f(M)= f(O)+s. MO
r r
Ainsi pour u donn dans E, lquation f(M)= u admet pour unique solution le point M dfini
r
par lgalit : OM = ( f (O) u )
1
s

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

En prenant N=G dans la relation de transfert prcdente, on en dduit limportante formule de


92

i=n
rduction barycentrique, soit : M E : a MA
i =1
i i = s.MG

Celle ci permet de positionner le barycentre par rapport nimporte quel point M.

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

Citons les rgles pratiques usuelles du calcul barycentrique :

_ 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

_ Indpendance par rapport lordre au sein du systme.

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.

_ Barycentrage par bloc.


Soit S un sous systme de S correspondant la zone dindexation {1,, p} avec p<n.
Supposons que le barycentre H de S existe et soit connu.
Le barycentre du systme total S est alors le barycentre du systme rduit obtenu en
remplaant les p premiers points par le point H affect de la somme partielle s=a1++ap .
r
La relation dfinissant G, soit : a1 GA1 + .... + a p GAp + a p +1 GAp +1 + ..... + an GAn = 0 se
simplifie en effet grce la formule de rduction applique au systme partiel S , en :
r
(a1 + .... + a p )GH + a p +1 GAp +1 + .... + an GAn = 0

Terminons avec la dfinition de lisobarycentre dun ensemble fini de n points de E.

On appellera ainsi le barycentre du systme obtenu en attribuant chacun de ces points un


coefficient identique (par exemple 1, vu la proprit dhomognit) et en indexant
lensemble obtenu de faon arbitraire (vu lindpendance par rapport lordre).
r
_ Lisobarycentre dun ensemble deux points A, B est leur milieu dfini par IA + IB = 0 ,
93

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.

On adoptera les notations : A (A, F)=A+F={ME tel que AM F }.

_ Deux varits affines de mme direction seront dites parallles.


r r
_ Si F ={ 0 }, les varits affines de direction F sont rduites des points. A (A, { 0 })={A}
r
_ Si F est une droite vectorielle engendre par i , on dira que A (A, F) est une droite affine de
r r
vecteur directeur i et on la reprsentera le plus souvent par d(A, i ).
r r
_ Si F est un plan vectoriel de base ( i , j ) , on dira que A (A, F) est un plan affine et on le
r r
reprsentera en gnral par P(A, i , j ).

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

On vrifie de manire vidente les proprits lmentaires suivantes :

_ A A (A, F). (Le vecteur nul appartient tout sous espace de E).

_ A (A, F)=A (B, F) AB F.


En effet, daprs Chasles : AM = AB + BM et F est stable pour la somme.
94

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

B) Positions relatives de varits.

1) Inclusion.

La varit affine A (A, F) est contenue dans A (B, G) si et seulement si F G et AB G

_ Supposons dabord linclusion des varits affines.


A sera alors lment de A (B, G) . On en dduit BA G et par consquence : AB =- BA G.
On a donc aussi la concidence A (B, G)=A (A, G).
De A (A, F) A (A, G) on dduit alors F G en faisant agir la bijection A : M a AM

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

_ Soit I commun A (A, F) et A (B, G).


Des relations de dfinition AI F et BI G on dduit alors par diffrence et daprs
Chasles : AB = AI BI F + G
r r r r
_ Rciproquement, supposons AB F+G, cest dire AB = i + j avec i F et j G.
r
Le point I de E tel que AI = i est par dfinition mme un lment de A (A, F).
95

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

3) Stabilit pour le barycentre.

Une varit affine A contient le barycentre de tout systme pondr de points de A .

_ Soit S = (A1, a1) ; .. ; (An , an) un tel systme et G son barycentre.

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

Si on analyse le schma de composition, f associe tout point M de E une image M=f(M)


dfinie par la relation vectorielle : A' M ' = u ( AM ) .
r r
Remarquons en particulier que f transforme A en A puisque u( 0) = 0 .
Ainsi on donnera f le nom dapplication affine associe lendomorphisme u et
transformant A en A. Lendomorphisme u sera appel application linaire associe f.

_ On notera A (E) lensemble des applications affines de E vers E ainsi dfinies et T la


96

correspondance de A (E) vers LK(E) dfinie par : f aT(f)=u

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

En ce sens, lapplication T dfinie prcdemment est surjective mais non injective.

_ Notons enfin une caractrisation trs commode des applications affines ne privilgiant pas
contrairement la dfinition premire un couple particulier de points de E :

Lapplication f de E vers E est affine et associe lendomorphisme u de E si et seulement si


pour tout couple (M, N) de points de E, le couple (M, N) des images respectives par f est tel
que M ' N ' = u ( MN ) .

_ La condition ci dessus est videmment suffisante, vu la dfinition mme dune application


affine. f apparat en effet comme lapplication associe u et transformant un point arbitraire
A en son image A= f(A)

_ Rciproquement, soit f affine dendomorphisme associe u et telle que A a f(A)=A.


Pour tout couple (M, N) de points de E transforms respectivement par f en M et N, on peut
alors crire conformment au schma de dfinition : A' M ' = u ( AM ) et A' N ' = u ( AN )

Par soustraction et moyennant Chasles et la linarit de u, il vient alors la relation en question,


soit : M ' N ' = u ( MN )

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

3) Si u est une homothtie vectorielle de rapport distinct de 0 et 1. Toute application affine f


associe u et transformant A en A donnera de M quelconque l'image M= f(M) dfinie
vectoriellement par A' M ' = u ( AM ) = AM
97

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

On reconnat ce que lon appelle communment en gomtrie classique une homothtie


ponctuelle de centre et de rapport .

Celle ci sera en gnral reprsente par la notation f= h( , ) .

C) Composition dapplications affines.

1) Thorme de composition.

Commenons par tablir le rsultat fondamental suivant, que nous appellerons thorme de
composition.

Soient f et g deux applications affines de E dans E dendomorphismes associs respectifs


u=T(f) et v=T(g). La compose h=g o f est alors galement affine, dapplication linaire
associe T(h)=v o u.

La dmonstration est lmentaire. Soit (M, N) un couple quelconque de points de E. Si on


dsigne par (M, N) le couple des images respectives par f, on peut d'abord crire daprs la
caractrisation des applications affines, la relation M ' N ' = u ( MN ) .

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

Celle ci assure bien le caractre affine de la compose h=g o f , puisque M aM=h(M) et


N aN=h(N), lendomorphisme associ h tant la compose v o u.

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

Deux applications affines f et g ont mme application linaire associe si et seulement si il


existe une translation t telle que g=t o f.

_ En effet, si g=t o f , le thorme prcdent nous dit que g a pour application linaire associe

T(g)=T(t) o T(f)=IE o T(f)=T(f)

_ Rciproquement, soient f et g affines telles que T(f)=T(g)=u.


Considrons A arbitraire dans E transform par f en B et par g en C.
Notons t la translation de vecteur BC . La compose h=t o f a encore u pour endomorphisme
associ et transforme A en C. Lapplication affine g procde de mme et concide donc bien
avec la compose t o f.

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

On en dduit de manire vidente que lapplication f sera bijective si et seulement si u est un


automorphisme de E.
On aura dans ce cas : f 1=A-1 o u-1 o A , tablissant que la rciproque f 1 est galement affine,
associe lendomorphisme u-1.

Avec laide du thorme de composition on en dduit facilement le rsultat suivant :

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.

_ Le noyau de la restriction de T B (E) est le sous-groupe des translations de E.

D) Proprits diverses.

1) Image dune varit affine.

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

Avec les notations prcdentes, o A dsigne la bijection de E vers E dfinie par : M a AM


1
on peut crire f = A' o u o A et A (A, F)=A-1(F).
On en dduit immdiatement : f(A (A, F))=A-1(u(F))=A (A,u(F))

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

Remarquons que si f est une bijection affine, lendomorphisme u associ tant un


automorphisme de E conservera la dimension. Il sensuit que limage par f dune varit
donne sera une varit de mme dimension.

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.

Ici aussi la dmonstration est lmentaire. Partons de la dfinition barycentrique originelle,


k =n r
soit la relation : ak GAk = 0 . En appliquant cette galit lendomorphisme u associ f on
k =1
k =n r r k =n r
en dduit aussitt par linarit : a u (GA ) = u (0) = 0 , soit encore : a G' A ' = 0
k =1
k k
k =1
k k

3) Existence de points fixes.

Soit f affine dendomorphisme associ u et transformant le point A en A= f(A).


Lapplication f admet au moins un point invariant si et seulement si le vecteur AA' est
lment de Im(u-IE). Cette condition satisfaite, lensemble des points fixes de f est alors une
varit affine de direction Ker(u-IE).

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

_ Supposons cette condition vrifie et soit M0 un des points fixes pour f.


Lquation aux points fixes prcdente se traduit alors :
r
(u I E )( AM ) = (u I E )( AM 0 ) (u I E )( M 0 M ) = 0

Ainsi M est fixe pour f si et seulement si M appartient la varit A (M0, Ker(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 }

Ceci quivaut linjectivit de u-IE et entrane alors la surjectivit de cet endomorphisme


daprs le thorme du rang.

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.

_ Si uO+(E) on dira que f est un dplacement.

_ Si uO-(E) on dira que f est un antidplacement.

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.

_ Lensemble des dplacements constitue un sous-groupe de I(E). Le compos de deux


antidplacements est un dplacement, dun dplacement avec un antidplacement est un
antidplacement.

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

_ Les isomtries vectorielles conservant lorthogonalit, on en dduit facilement que toute


isomtrie affine transforme toujours deux varits orthogonales en deux varits images
orthogonales entre elles.

B) Classification des isomtries en dimension 1, 2, 3.

1) Isomtries dune droite affine.

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.

_ Lhomothtie IE=h-1 donne naissance aux homothties ponctuelles de rapport 1 appeles


galement symtries centrales. On notera SO lapplication : M aM tel que OM ' = OM .
102

Ces symtries centrales constituent les antidplacements de la droite.

On vrifie trs facilement la relation de composition : SO2 o SO1 = t2O O


1 2

2) Isomtries dun plan affine.

a) Examinons dabord les dplacements, associs aux rotations vectorielles planes.


Soit f dendomorphisme associ r (rotation vectorielle dangle )

_ Si =0 (modulo 2) , r =IE et f est une translation.

_ 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( , )

b) Considrons maintenant un antidplacement f, associ la symtrie orthogonale s par


r
rapport la droite dirige par le vecteur n norm.

_ Supposons que de plus f admette au moins un point invariant, soit A.


r
Lapplication f transforme alors tout M en M tel que AM ' = s ( AM ) = 2( AM .n ) AM
r
Si on note H le projet orthogonal de M sur la droite D=d(A, n ), la relation prcdente se
traduit par : AM ' = 2 AH AM MM ' = 2MH . Ainsi H est le milieu de (M, M)

On reconnat la construction gomtrique classique du symtrique orthogonal dun point par


rapport une droite du plan.

On donnera le nom de symtrie orthogonale par rapport D ou simplement rflexion par


rapport D lapplication f qui sera le plus souvent note f=sD.

D est appele axe de la symtrie f.

_ Si f nadmet pas de point fixe.


r
Soit A quelconque dans E et A son image par f . On sait alors que v = AA' nest pas lment
de Im(s-IE)=Vec( n ) .
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.

Remarque : on vrifie facilement la commutation : f = t AB o sD ' = sD ' o t AB

(Mme endomorphisme associ s et mme image de tout point de D.)

3) Isomtries dun espace trois dimensions.

a) Etude des dplacements.

Rappelons nous que le groupe des isomtries positives est dans ce cas form de lidentit et
des rotations vectorielles autour dun axe.

Lidentit nous donne comme toujours les translations.


r
Soit f isomtrie affine associe la rotation u= R( nr , ) daxe orient par n et dangle .

_ Supposons dabord que f admette au moins un point fixe A.


Tout point M de E sera alors transform par f en M tel que AM ' = R( nr , ) ( AM )
Pour prciser cette image, considrons le projet orthogonal H de M sur la droite affine
r
=d(A, n ). De la dcomposition AM = AH + HM on dduit AM ' = AH + r ( HM )
Avec r rotation vectorielle dangle dans le plan P=Vec( n ) orient par n .
r r

Il vient ensuite par Chasles la relation : HM ' = r ( HM ) .


Limage M sobtient donc en faisant tourner dans le plan passant par M et orthogonal le
point M dun angle autour du point H.
r
On donnera donc f le nom de rotation ponctuelle daxe orient par n et dangle .
Cette application sera en gnral note f= R( A, nr , ) .

_ Supposons que f nadmette pas de points invariants.


Un point arbitraire A est alors transform par f en A tel que AA' nappartienne pas Im(u-IE)
r
cest dire au plan vectoriel P orthogonal n .
On sait alors que f scrit comme compose f= t o R( A, nr , ) .
AA '
(Mme endomorphisme associ u et mme image A du point A)
Suivant un procd dj employ, dcomposons AA' = AB + BA' avec AB P et BA'
r
colinaire n . On en dduit : f = t o t o R( A, nr , )
BA' AB

Or g = t o R( A, nr , ) est associ la rotation vectorielle u et transforme A en B tel que AB


AB
appartienne P=Im(u-IE). On en dduit que g admet des points invariants et daprs ce qui
r
prcde est une rotation daxe dirig par n et dangle .
104

Si est un point de ce nouvel axe on obtient en dfinitive la dcomposition commutative :

f =t o R( , nr , ) = R( , nr , ) o t . Une telle application sera appele vissage daxe


BA' BA'
r
orient par n , dangle et de vecteur de translation BA' .
r
Si on convient dorienter laxe passant par suivant le sens du vecteur i = BA' de la
translation, on pourra adopter la notation : f = V( , ir , ) = tir o R( , ir , ) = R( , ir , ) o tir

b) Etude des antidplacements.

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.

_ Examinons le premier cas o u=S.

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

_ Si u=-IE , f est une symtrie centrale.

_ 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

On vrifie alors trs facilement que f se dcompose suivant le schma :

f = R1 o S1 = S1 o R1 avec R1 rotation vectorielle autour dun axe passant par O,


dendomorphisme associ R et S1 rflexion par rapport au plan passant par O et orthogonal
laxe de R1.

(Mme endomorphisme associ u et mme image du point fixe O).

On ne donne pas de nom particulier ce type disomtrie.


106

Exercices sur les espaces Affines.

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.

1. Soient A et B deux points distincts de lespace affine E. On considre lapplication f qui


tout point M de E associe M barycentre du systme (A, 2) ; (B, -1) ; (M, 3).
Montrer que f est une homothtie ponctuelle. Prciser son centre et son rapport.

2. On dsigne par D et D deux droites non coplanaires de lespace E.


A chaque couple (M, M) de points de DD on associe le point P de la droite (MM)
dfini par lgalit PM = 3PM ' . Dterminer lensemble dcrit par P.

3. On considre deux points A et B de E tels que AB=1 et p un paramtre rel.


Dterminer lensemble des points M satisfaisant aux relations :

a) MA.MB = p . b) AB.BM = p . c) (MA) + 2 AM .BM = p


2

d) (MA) + 3MB. AB = p . e) MA. AB + 2MB. AM = p


2

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.

Gnraliser ensuite au cas o f n admet au moins un point fixe pour un entier n 2.


(Utiliser la conservation du barycentre)

5. On considre trois points de E non aligns : A, B, C.


Pour chaque valeur du paramtre rel m distincte de 1 et 2 on dfinit les points :

_ Gm barycentre du systme (A, m+1) ; (B, -2) ; (C, 3).


_ Hm barycentre du systme (A, 2) ; (B, m-1) ; (C, m+1).

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

8. Soient A, B, C, trois points de E tels que : AB=8 ; AC=5 ; BC=10.


a) Dterminer les produits scalaires AB. AC ; BC.BA ; CA.CB

b) Soit t rel distinct de 3 et G barycentre de (A, 1) ; (B, 2) ; (C, t).


Dterminer t de faon que dans le triangle de sommets A, B, C :

_ G soit situ sur la hauteur issue de A.


_ G soit situ sur la mdiane issue de A.
_ G soit situ sur la mdiatrice de (B, C)

9. Soit f une bijection affine de lespace E et h une homothtie ponctuelle de E.


Quelle est la nature des composes g1=f 1 o h o f et g2=f o h o f 1 o h-1 ?
r
10. Soit P un plan de E dfini par un point O et un vecteur normal unitaire n .
On notera M le projet orthogonal sur P dun point quelconque M.
r
a) Exprimer OM ' en fonction de OM et de n .
b) Soient A, B, C trois points de E dfinissant un triangle rectangle en A.
A quelle condition les trois projets A, B, C forment ils un triangle rectangle en A ?

11. Soit (A, B, C) un triangle quelconque de E.


On note E le barycentre du systme (A, 1) ; (B, 2) : (C, 4).

a) Montrer que le milieu F de (A, E) est barycentre de (A, 4) ; (B, 1) ; (C, 2).

b) Ecrire le milieu G de (F, B) comme barycentre des points A, B, C affects de


coefficients convenables.

c) Montrer que E est le milieu de (C, G).

d) Montrer que les points E, F, G permettent de dcouper le triangle (A, B, C) en sept


portions triangulaires daires identiques.

12. Reconnatre et caractriser les applications f de E vers E dfinies analytiquement dans le


repre R par : M( x, y, z) a M(x, y, z) dans les cas suivants :

a) x=-z+1 ; y=x ; z=y-2.


1 1 1
b) x' = ( x + 2 y + 2 z 4) ; y ' = (2 x y + 2 z + 2) ; z ' = (2 x + 2 y z + 2)
3 3 3
c) x=y+1 ; y=z ; z=x-2.

13. Dterminer la forme analytique dans le repre R des applications suivantes :

a) Rflexion par rapport au plan P dquation : y+z-1=0.


r r
b) Rotation daxe passant par A(0, 1, 0), orient par i - j et dangle .
3
r r
c) Vissage daxe passant par O orient par le vecteur de translation j + k , dangle
2
108

14. Existe t-il des isomtries affines f transformant simultanment :

A(1, 0, 0) en A(1, 2, 2) ; B(0, 1, 0) en B(0, 1, 2) et C(1, 1, 1) en C(0, 2, 1).

Prciser la nature et les caractristiques des solutions ventuelles.

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 :

a) f est une rflexion par rapport un plan.


b) f est une symtrie orthogonale par rapport une droite.
c) f est une rotation daxe passant par O origine du repre R.
(Attention, les solutions ne sont pas ncessairement uniques).

17. Dterminer la forme analytique dans le repre R des isomtries suivantes :


r r r r
a) Demi tour par rapport la droite D passant par A(1, 1, 2) dirige par u =2 i + j -3 k .
r
b) Vissage daxe D dfini ci dessus, dangle , de vecteur de translation u .
2

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.

b) Dcomposer f en un produit de deux isomtries lmentaires.

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.

a) Dterminer la forme analytique de la rflexion S par rapport au plan P.

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

c) Etudier la compose g=f o S

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

Solutions des exercices sur les espaces affines.

1. Daprs la formule fondamentale de rduction on peut crire pour tout point P de E :


2 PA PB + 3PM = 4 PM ' . Appliqu P=G barycentre du systme (A, 2) ; (B, -1) cette
3
relation se simplifie en : GM ' = GM .
4
3
Lapplication f : M aM nest donc autre que lhomothtie de centre G et de rapport .
4
r r
2. Dsignons par (A, u ) et (B, v ) des repres respectifs des deux droites donnes D et D.
Les positions des deux points variables M et M sont alors prcises par des galits
r r
vectorielles du type AM = x.u et BM ' = y.v .
De par sa dfinition mme, P barycentre du systme (M, 1) ; (M, 3) peut tre construit
partir de lorigine A suivant la relation vectorielle :
1
( ) ( 1 r
AP = AM + 3 AM ' = x.u + 3 AB + 3 y.v
4 4
)
r

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 :

a) f(M)= MA.MB = ( MO + OA).( MO + OB) = OM OM .(OA + OB) + OA.OB

Si on prend pour O le milieu I de (A, B), lquation f(M)=p se simplifie alors en :


1
IM- ( IA) = p IM = p + . (Puisque AB=1).
4
La discussion est simple :
110

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

b) f(M)=p AB.BM = p AB.BO + AB.OM = p


Si on choisit pour O le point tel que BO = p AB , lquation se rsume AB.OM = 0 .
Les points solutions sont donc ceux du plan passant par O et orthogonal la droite (AB).

c) ( MO + OA) + 2( MO + OA).( MO + OB) = 3MO + 2MO.(2OA + OB) + 2OA.OB + OA


1
Si on choisit pour O le barycentre du systme (A, 2) ; (B, 1), repr par : AO = AB ,
3
4 1 1
lquation f(M)=p se simplifie en : 3OM - + = p OM = p +
9 9 3
1
On obtient donc comme solutions les points de la sphre de centre O et de rayon r= p +
3
1
sous rserve que p -
3

d) ( MO + OA) 2 + 3( MO + OB). AB = OM + MO.(2OA + 3 AB) + OA + 3OB. AB


3 9 1 3
Ici on choisira O tel que AO = AB . Il vient f(M)=OM+ + 3( ) = OM +
2 4 2 4
3 3
f(M)=p OM=p - . Ici encore le lieu est une sphre centre en O et de rayon p
4 4
3
sous la condition p .
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

4. Soit A un point fixe pour f 3. Considrons les images B= f(A) et C= f(B).


Par hypothse sur f, f(C)=f 3(A)=A.
Le barycentre G du systme (A, 1) ; (B, 1) ; (C, 1) est alors transform puisque f est affine, en
le barycentre G du systme image (B, 1) ; (C, 1) ; (A, 1).
111

Le barycentre dun systme ne dpendant pas de lordre des points, f(G)=G=G.

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.

Par dfinition mme, f(A)=A1 ; f(A1)=A2 ; ; f(An-2)=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.

5. Vu les dfinitions barycentriques de Gm et Hm on peut crire, conformment la formule


fondamentale de rduction, que pour tout point M de E :
(1) : (m + 1) MA 2MB + 3MC = (m + 2) MGm
(2) : 2 MA + (m 1) MB + (m + 1) MC = 2(m + 1) MH m

_ En appliquant la premire en M=A, il vient : AGm =


1
m+2
(
2 AB + 3 AC )
Les points A, B, C tant supposs non aligns, le vecteur 2 AB +3 AC est non nul.
Le point Gm appartient donc une droite dirige par ce vecteur et passant par A.
1
Le coefficient t = dcrit R-{0, 1} lorsque le paramtre m parcourt la zone autorise,
m+2
soit R-{-1, -2}. Le lieu G de Gm est donc la droite dfinie ci-dessus prive des points A et D tel
que AD = 2 AB + 3 AC .

_ En appliquant la deuxime formule M=I milieu de (B, C), il vient :


1
2 IA IB + IC = 2(m + 1) IH m , soit encore : IH m = BA
m +1
Le point Hm dcrit donc la droite passant par I et dirige par AB , prive des points I et de E
tel que IE = AB (correspondant la valeur interdite m=-2).

Un point P sera commun G et H si et seulement si il existe un couple de paramtres


1 1
(t, s)= , pour lequel simultanment AP = t (3 AC 2 AB) et IP = s BA
m + 2 m'+1
1 1
Grce AP = AB + BI + IP , la deuxime galit scrit AP = ( s ) AB + AC
2 2
Le systme ( AB , AC ) tant libre (A, B, C non aligns) , on en dduit que (t, s) est
1 1
2 s = 2t t = 6
ncessairement solution du systme
1 = 3t s = 5
2 6
112

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 .

Ainsi u nest autre que IE avec rel non nul.


On en dduit que f est une translation pour =1 et une homothtie de rapport si 1.
Ces applications affines sont bien les seules applications satisfaisant la contrainte
gomtrique analyse.
r
7. Un point M quelconque est transform par t en M1 tel que MM 1 = u et par h en M2
satisfaisant OM 2 = 2OM .
1
Le milieu M de (M1, M2) peut tre dfini par MM ' = ( MM 1 + MM 2 )
2
Reprons limage M= f(M) partir de lorigine O.
1 r 3 1r
Il vient par Chasles et les relations prcdentes : OM ' = OM + (u + OM ) = OM + u
2 2 2
1r
En particulier, O sera transform en O tel que OO' = u .
2
3
Par diffrence des deux relations prcdentes on obtient lgalit : O' M ' = OM
2
3
Lapplication f est donc bien affine, associe lhomothtie vectorielle de rapport donc est
2
une homothtie ponctuelle de mme rapport.

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

9. Notons u lendomorphisme de E associ lapplication affine f.

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.

_ Daprs le thorme de composition, lapplication g1=f 1 o h o f est aussi affine,


dendomorphisme associ u-1 o IE o u= u-1 o IE o u=IE .
On se rappelle en effet que dans la K algbre des endomorphismes de E les scalaires glissent
dans les produits.

On en dduit que g1 est une homothtie ponctuelle de rapport .


114

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.

Le centre de g1 est donc C=f -1(O).

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

b) En appliquant la formule prcdente aux projets respectifs A, B, C des trois sommets A,


B, C du triangle rectangle tudi, et par diffrence des galits obtenues on obtient aisment :

A' B ' = AB ( AB.nr )nr


r r.
A' C ' = AC ( AC.n )n

On en dduit lexpression suivante du produit scalaire de ces deux vecteurs, soit :


r r
A' B'. A' C ' = ( AB.n ) ( AC.n ) .
Ainsi le triangle projet sera rectangle en A si et seulement si un au moins des cts de
langle droit est parallle au plan P.

11. a ) E est le barycentre du systme (A, 1) ; (B, 2) : (C, 4).

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

En appliquant nouveau le principe du barycentrage par blocs on peut remplacer le doublet


(A, 7) ; (A, 1) par le seul couple (A, 8).
F apparat alors comme barycentre de (A, 8) ; (B, 2) ; (C, 4).
En divisant tous les coefficients par 2 et en changeant lordre on se ramne alors :

F barycentre de (A, 4) ; (B, 1) ; (C, 2).

b) De mme, le milieu G de (F, B) sera barycentre de (A, 4) ; (B, 1) ; (C, 2) ; (B, 7)


Aprs regroupement des termes relatifs au point B puis division par 2, on obtient alors :

G barycentre du systme (A, 2) ; (B, 4) ; (C, 1).

c) En partant de la dfinition ci dessus on obtient avec la mme stratgie la dfinition du


milieu de (C, G) comme barycentre de (A,2) ;(B, 4) ; (C, 8). Il sagt bien du point E.
115

d) Considrons une subdivision du triangle (A, B, C) en 7 parties dfinies comme suit :


t1 a triangle (C, F, A) t3 a triangle (A, G, F) t5 a triangle (B, E, G)
t2 a triangle (C, F, E) t4 a triangle (A, G, B) t6 a triangle (B, E, C)
Enfin : t7 a triangle (E, F, G).

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

Les 7 triangles considrs sont donc bien daires identiques.

12. a) _ Daprs la forme analytique, lendomorphisme u associ f a pour matrice


0 0 1

reprsentative dans B : U = 1 0 0
0 1 0

On en dduit facilement que u est une isomtrie ngative (U est orthogonale et det(U)=-1),
sans vecteurs invariants autre que le vecteur nul. Il sagt donc de la compose dune rotation
vectorielle R avec une rflexion vectorielle par rapport au plan orthogonal laxe de R.
Pour prciser cette dcomposition utilisons le schma classique consistant examiner
lisomtrie positive v=-u. On vrifie trs facilement que v est une rotation vectorielle daxe
r r r r 4
orient par n = i - j + k et dangle = .
3
Or si est la droite dirige par n et P = , on sait que IE=S o R( n , )=R( n , ) o S avec S
r r r
rflexion vectorielle par rapport au plan P.
r
On en dduit u=v o R( n , ) o S= R r 4 o R( nr , ) o S = R r o S
(n, ) (n, )
3 3
_ Le seul point fixe de f sobtient en rsolvant le systme x=-z+1 ; y=x ; z=y-2.
3 3 1
On obtient le point A de coordonnes ( , , ) .
2 2 2
Tout point M de E tant transform en M tel que A' M ' = u ( AM ) , lapplication affine f
r
apparat comme compose commutative de la rotation daxe D=d(A, n ) dangle avec la
3
rflexion par rapport au plan affine passant par A et orthogonal D.
116

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

_ En tudiant lexistence de points fixes pour f par la mthode de Gauss on se ramne


facilement au systme lmentaire x=z-1 ; y=z ; z=z.

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

_ Prenons un point arbitraire de P, par exemple : A(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

en fonction de celles de M soit : x=x ; y=-z+1 ; z=-y+1.


r
b) Rappelons quune rotation vectorielle daxe orient par n norm et dangle transforme
r r r r r r r r
tout vecteur u en u =cos() u +sin() n u +(1-cos())( n . u ) n
r
Il sensuit que si n a pour composantes (a, b, c) , la matrice reprsentant cette rotation R sera
donne par :
1 0 0 0 c b a

U = cos() 0 1 0 + sin() c 0 a + (1 cos()) b (a b c )
0 0 1 b a 0 c

3 1 6
1
Les calculs donnent ici : U = 1 3 6
4
6 6 2

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

On en dduit immdiatement les coordonnes de limage, donnes par les relations :

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 )

c) En procdant comme dans la question ci dessus on dtermine rapidement la matrice


r r
reprsentant la rotation vectorielle u daxe dirig par j + k et dangle
2
118

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

La condition dorthogonalit : tU.U=I3 se rsume alors aprs simplifications au systme :


a + b + c = 1 b = 1 a

a + b = 1 c = a
b c = 1 a (3a 2) = 0

2 1 2
On obtient donc deux triplets solutions, (0, 1, 0) et ( , , )
3 3 3
0 1 0

_ Pour le premier, la matrice correspondante est U = 1 0 0
0 0 1

On reconnat une isomtrie ngative, compose u = R r o s de la rotation daxe dirig par
(k , )
2
r
k dangle , avec la symtrie vectorielle orthogonale par rapport au plan orthogonal de
r r2
base ( i , j ).

Lapplication affine correspondante f aura sa forme analytique dtermine par


A' M ' = u ( AM ) . On en dduit les formules : x=-y+1 ; y=x+1 ; z=-z+2.

Lapplication f admet donc pour seul point fixe : (0, 1, 1).


119

Lisomtrie f scrit donc comme la compose f=R o S avec R rotation daxe


r
d (, k ) d' angle et S rflexion par rapport au plan passant par et orthogonal cet axe.
2

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)

Il sagt dun vissage. On peut le prciser en considrant la compose g =T o f o T dsigne


r
une translation de vecteur t n et en dterminant t de faon que g soit une rotation ponctuelle,
cest dire admette des points fixes.
2
Les calculs conduisent t = . Lapplication f est alors compose de la rotation g daxe
5
7 r 2r
passant par (2, , 0) dirig par n , dangle , avec la translation de vecteur n .
5 5

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

16. a) La rflexion f transforme A en A et par suite A en A puisque f=f 1.


Le milieu I de (A, A) est donc invariant pour f.
1 r r r
Le vecteur IA = (3i + 5 j + 4k ) est alors transform en son oppos par lendomorphisme u
2
associ f. Il sensuit que u est la symtrie vectorielle orthogonale par rapport au plan
r 1 r r r
orthogonal n = (3i + 5 j + 4k ) .
50
3
r r r 1
La matrice reprsentant u dans B =( i , j , k ) est donc U = I3 5 (3 5 4 )
25
4
16 15 12
1
On obtient U = 15 0 20 .
25
12 20 9
Tout point M de E tant transform par f en M tel que A' M ' = u ( AM ) , on en dduit
lexpression des coordonnes de limage en fonction de celles de M, soit :

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.

17. a) Lendomorphisme associ au demi-tour f par rapport D est la symtrie orthogonale s


r
par rapport la droite vectorielle engendre par u .
Cette symtrie se dcompose en s=2p-IE , avec p projection orthogonale sur , de matrice
2
t
r r r 1
reprsentative P= N N dans B =( i , j , k ) avec N= 1
14
3
3 2 6
1
On en dduit que la matrice reprsentant s dans B est U=2P-I3= 2 6 3
7
6 3 2

La forme analytique du demi-tour f sobtient partir du schma classique : AM ' = s ( AM )

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

b) Soit R la rotation vectorielle associe au vissage g en question.


r
Avec les notations prcdentes, limage par R dun vecteur quelconque x de E sobtient par
r 1 r r r
la formule : R ( x ) = u x + p( x )
14
La matrice reprsentant R dans B sera donc donne par :

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.

b) Pour obtenir cette dcomposition, considrons la compose g=T o f avec T translation de


r r r r
vecteur arbitraire u =a i +b j +c k appartenant F, et cherchons dterminer ses
composantes de faon que g admette des points fixes.

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

19. a) Lendomorphisme associ la rflexion S par rapport P est la symtrie orthogonale


par rapport la direction F de P, dfinie par s=IE-2p avec p projection orthogonale sur la
r r r
r 2i + j k
droite =F . Cette droite tant dirige par le vecteur norm n = , on en
6
2
1
dduit que la matrice reprsentant s dans B sera U = I3 1 (2 1 1) , soit aprs
3
1
1 2 2
1
simplifications : U = 2 2 1
3
2 1 2
Le point A(0, 0, 3) est invariant par S puisque sur le plan de rflexion P. Tout M de E sera
transform par S en M tel que AM ' = s ( AM ) . On en dduit la forme analytique de la
1
x' = 3 ( x 2 y + 2 z ) 2

1
rflexion S : y ' = (2 x + 2 y + z ) 1
3
1
z ' = 3 (2 x + y + 2 z ) + 1

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.

Pour cela considrons un point particulier de D, par exemple A(1, 0, 5).


Si R est la rotation vectorielle associe f, la contrainte ponctuelle f(B)=B quivaut la
relation vectorielle : R( AB) = AB' .

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.

b) Notons (A1, A2,.., An) la suite des sommets du polygone donn.


Dsignons par Ik le milieu de (Ak, Ak+1) pour tout k de {1, , n-1} et par In celui de (An, A1).
Enfin appelons Sk la symtrie centrale par rapport au point Ik, ceci pour tout k entre 1 et n.

Examinons lapplication affine f=Sn o Sn-1 o o S2 o S1.

_ Toute symtrie centrale tant associe lhomothtie vectorielle de rapport 1, il sensuit


que lendomorphisme associ la compose f sera lhomothtie vectorielle de rapport (-1)n.

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

De ces deux proprits on dduit alors :

1) Si n est pair, f sera lidentit sur E. (Translation avec un point fixe).


Dans ce cas il existe une infinit de polygones plans admettant les points Ik comme milieux de
cts conscutifs.

Il suffit en effet de dmarrer la construction avec un point B1 arbitraire et de dfinir B2 image


de B1 par S1, puis B3 image de B2 par S2, et de poursuivre avec la relation gnrale :
Bk+1=Sk(Bk) pour tout indice k de {1,, n-1}.

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.