130 12. TRANSFORMATIONS z→az +b,a6= 0. APPLICATIONS
On a d´ej`a remarqu´e que f1,0est l’application identique de Cet, pour b6= 0, f1,b est la
translation de Cd´efinie par b. De mˆeme, F1,b est la translation de Pd´efinie par le vecteur qui
est l’image de b. Toute translation de Pest de la forme F1,b.
Si a6= 1 alors z0=b
1−aest l’unique point fixe de fa,b et
fa,b(z)−z0=fa,b(z)−fa,b(z0) = a(z−z0) (1)
ce qui montre que fa,b ,a∈R∗,a6= 1, est l’homoth´etie de Cde centre z0et de rapport a.
R´eciproquement, si hest l’homoth´etie de Cde centre z0et de rapport k6= 1 alors, pour tout
z∈C,h(z)−z0=k(z−z0) d’o`u h(z) = kz + (1 −k)z0et donc h=fk,(1−k)z0.
Dans le plan P, si les points Met M0sont d’affixes zet z0alors l’´egalit´e (1) ´equivaut `a
−−−−−−−−→
M0Fa,b(M) = a~
M0Met Fa,b est l’homoth´etie de centre M0, image de z0, et de rapport a. Toute
homoth´etie de Pest de la forme Fa,b,a∈R∗. On a donc d´emontr´e :
Proposition 12.2.L’ensemble {fa,b|(a, b)∈R∗×C}est le groupe des homoth´eties-translations
de l’espace affine Cet {Fa,b|(a, b)∈R∗×C}est le groupe des homoth´eties-translations de l’espace
affine P.
Notons que l’application fa,b →Fa,b est un isomorphisme entre le groupe des homoth´eties-
translations de Cet celui de P.
fa,b avec |a|= 1
On sait d´ej`a que si a= 1, fa,b est la translation d´efinie par le vecteur b. Si a6= 1 alors fa,b
poss`ede un unique point fixe z0et fa,b(z)−z0=fa,b(z)−fa,b(z0) = a(z−z0) d’o`u |fa,b(z)−z0|=
|z−z0|et arg fa,b(z)−(z0)
z−z0
=arg a ce qui montre que fa,b est la rotation de centre z0et dont la
mesure de l’angle est arg a. On peut aussi prouver cela en disant que fa,b conserve les distances
du plan affine C: c’est donc un d´eplacement ou un antid´eplacement. Comme fa,b poss`ede un
unique point fixe, c’est une rotation (car les antid´eplacements d’un plan affine ont soit aucun
point fixe, soit un ensemble de points fixes formant une droite et les translations n’ont aucun
point fixe).
R´eciproquement, soit rla rotation de Cde centre z0et dont la mesure de l’angle est θ+2πZ.
Si z6=z0alors |r(z)−z0
z−z0
|= 1 et arg r(z)−z0
z−z0
=θ+2πZd’o`u, en posant a=eiθ,r(z)−z0
z−z0
=a
et r(z) = az +z0(1 −a) = fa,z0(1−a)(z) d’o`u r=fa,z0(1−a).
En utilisant l’interpr´etation dans Pde la relation fa,b(z)−z0=a(z−z0) et l’´etude des fa,b
avec a= 1 on a donc :
Proposition 12.3.L’ensemble {fa,b|(a, b)∈C∗×C,|a|= 1}est le groupe des d´eplacements
du plan affine Cet {Fa,b|(a, b)∈C∗×C,|a|= 1}est le groupe des d´eplacements du plan affine
P.
fa,b: le cas g´en´eral
En g´en´eral,
az +b=|a|(a
|a|z+b
|a|)