Documente Academic
Documente Profesional
Documente Cultură
Proble matiques
Homographies du plan complexe
Enonc
e
On va montrer que lhomographie z 7 1/z est une involution de lensemble des cercles de C.
b
(d) Dun cercle de C ne passant par par 0 est un cercle de C ne passant pas par 0.
Indication : soit u, v deux points diametralement opposes de C et alignes avec 0. Montrer
que (C) est le cercle de diam`etre [ (u), (v) ] [ S ]
3. On note envore lapplication definie sur P(C) b par X 7 (X) = {(z), z X}.
Deduire de ce qui prec`ede que realise une involution de lensemble bC. [ S ]
2. Dans cette question, on aborde letude de la relation conjugaison definie sur H par f g.
(a) Montrer que la conjugaison est une relation dequivalence sur H.
Quelle est la classe dequivalence de lapplication identite ?
Verifier que si f g alors f n g n pour tout n de N. [ S ]
(b) Montrer que deux homographies conjuguees ont exactement le meme nombre de points fixes
dans C
b (un point fixe double netant compte quune fois.) [ S ]
(c) Montrer que les translations distinctes de Id sont conjuguees deux `a deux. [ S ]
(d) Pour tout de C \ {0, 1}, on note la similitude z 7 z.
Montrer que et sont conjuguees si et seulement si = ou = 1 . [ S ]
3. Dans cette question, on va determiner les differentes classes dequivalence de H pour la relation
de conjugaison, ainsi quun representant simple de chaque classe.
(a) Soit f une homographie ayant deux points fixes distincts , dans C.
On note h lhomographie definie par z 7 z
z
. Montrer quil existe dans C \ {0, 1} (quon
1
ne calculera pas) tel que f = h h. [ S ]
(b) Soit f une similitude directe. On suppose que f nest pas une translation.
Soit lunique point fixe de f dans C, et soit h lapplication z 7 z .
Montrer quil existe dans C \ {0, 1} tel que f = h1 h. [ S ]
(c) Soit f une homographie ayant deux points fixes confondus en C.
1
On note h lhomographie definie par h(z) = z .
Montrer quil existe une translation t (distincte de Id) telle que f = h1 t h. [ S ]
(d) Deduire de ce qui prec`ede le resultat suivant :
Si f na quun point double dans C, b elle est conjuguee `a la translation z 7 z + 1.
Sinon il existe avec 0 < || 1 tel que f soit conjuguee `a : z 7 z.
On verifiera que si 0 < || < 1, le coefficient est unique, alors que si || = 1, il est unique
`a condition de supposer Re () 0. [ S ]
1. Dans cette question, on va obtenir des resultats sur les homographies dont une certaine puissance
est lapplication identite.
(a) Soit f une homographie de C
b et n un entier naturel non nul.
Montrer que f = Id si et seulement si f est conjuguee `a , avec n = 1. [ S ]
n
az+b
(b) Soit f : z 7 cz+d
une homographie (f 6= Id).
On note f = hu , avec u = (a, b, c, d).
En utilisant uniquement la partie I, montrer que : f 2 = Id d = a. [ S ]
(c) Soient , deux elements distincts de C.
b En utilisant (3a), (3b) et (4) indiquer lunique
homographie involutive de C b ayant pour points fixes et (on traitera dabord le cas o`
u
, sont dans C, puis on supposera = .) [ S ]
(d) Comme precedemment, soient , deux elements distincts de C.
b
Trouver les deux seules homographies f qui sont distinctes de Id, qui verifient f 3 = 1 et
qui admettent , comme points fixes. [ S ]
(e) Donner les trois homographies f 6= Id telles que f 4 = Id, f (1) = 1, f (1) = 1.
Si f1 , f2 , f3 sont les solutions, verifier que {Id, f1 , f2 , f3 } est un groupe cyclique. [ S ]
(a) On suppose que f ne poss`ede quun seul point fixe . Montrer que lim zn = . [ S ]
n
(b) On suppose que f a deux points fixes distincts et , et que z0
/ {, }.
Montrer quon est dans lune des trois situations suivantes :
Pour tout choix de z0 , la suite (zn ) converge vers .
Pour tout choix de z0 , la suite (zn ) converge vers .
Pour tout choix de z0 , la suite (zn ) diverge.
b on dit que la suite (zn ) converge vers si lim |zn | = +. [ S ]
Remarque : dans C,
n
Corrig
e du probl`
eme
I. Le groupe des homographies.
1. On se donne u = (a, b, c, d) dans E et v = (a0 , b0 , c0 , d0 ) = u, avec dans C .
Ainsi a0 = a, b0 = b, c0 = c, d0 = d, et (v) = 2 (u) 6= 0 donc v E.
Tout dabord hv () = a0 /c0 = a/c = hu ().
Ensuite d0 /c0 = d/c donc hv (d/c) = = hu (d/c).
a0 z + b0 az + b az + b
Enfin, pour tout z de C \ {d/c} : hv (z) = 0 = = = hu (z).
c z + d0 cz + d cz + d
Les deux applications hu et hv sont donc identiques.
1z + 0
Si u = (1, 0, 0, 1) alors hu (z) = = z pour tout z de C, et hu () = .
0z + 1
Lapplication hu = h(1,0,0,1) est donc lapplication identite de C.
b [Q]
2. On pose w = u v = (a00 , b00 , c00 , d00 ) = (aa0 + bc0 , ab0 + bd0 , ca0 + dc0 , cb0 + dd0 ).
On constate que :
(w) = a00 d00 b00 c00 = (aa0 + bc0 )(cb0 + dd0 ) (ab0 + bd0 )(ca0 + dc0 )
= aa0 dd0 + bc0 cb0 ab0 dc0 bd0 ca0 = (ad bc)(a0 d0 b0 c0 ) = (u)(v) 6= 0
Autrement dit, w = u v est encore un element de E.
On va maintenant montrer que hu hv = hw .
a0 z + b0
a 0 0
+b (aa0 + bc0 )z + (ab0 + bd0 ) a00 z + b00
Cas general : hu hv (z) = c0 z + d0 = 0 0 0 0
= 00 = hw (z).
az+b (ca + dc )z + (cb + dd ) c z + d00
c 0 +d
c z + d0
On admet que ca reste vrai dans les cas o` u intervient (ni difficile ni passionnant.) [ Q ]
3. Soit v = (a, b, c, d) dans E, et v 0 = (a0 , b0 , c0 , d0 ) = (d, b, c, a).
On voit que v 0 est dans E car (v 0 ) = a0 d0 b0 c0 = (v) 6= 0.
Dapr`es ce qui prec`ede, on a hv hv0 = hw , avec w = v v 0 .
Or v v 0 = (aa0 + bc0 , ab0 + bd0 , ca0 + dc0 , cb0 + dd0 ) = (ad bc, 0, 0, cb + da) = ((v), 0, 0, (v)).
On en deduit que hv hv0 = h((v),0,0,(v)) = h(1,0,0,1) = Id.
v 0 = (v)
Lapplication : (x, y, z, t) 7 (t, y, z, x) est une involution de C4 et
v = (v 0 )
En inversant les roles de v et v0
on a donc hv h = Id. v0
b et que h1 = hv0 . [ Q ]
Il en decoule que hv est une bijection de C, v
(b) Les elements z = u et z = v sont sur C et ils verifient bien Re ((z u) (z v)) = 0.
Considerons donc un element z quelconque de C, mais distinct de u et v.
On a Re ((z u) (z v)) = 0 arg(z u) = arg(z v) + 2
().
zv est droit, cest-`a-dire que z est sur C.
Cela signifie que langle ud
Si on souhaite ne pas utiliser cette caracterisation pourtant classique des cercles, voici
comment on peut sy prendre, avec z quelconque dans C :
Re ((z u) (z v)) = 0 (z u) (z v) + (z u) (z v) = 0
|z|2 Re ((u + v)z) + Re (uv) = 0
2 u+v 2
z u+v Re (uv) = vu 2 z u+v
= vu
=
2 2 2 2 2
u+v
vu
On obtient bien le cercle C, qui a pour centre 2
et pour rayon 2 . [ Q ]
b = {} .
(c) Soit une droite de C ne passant par par 0, et soit
Soit 0 la projection de lorigine sur . Soit = ( 0 ), donc 0 = ().
Soit C le cercle passant par 0 et de diam`etre [ 0, ].
On sait depuis la question precedente que (C) = b = {} .
Mais puisque est involutive, on a ()b = 1 ()b = C.
b est le cercle C, qui passe par lorigine. [ Q ]
Ainsi limage de
ur (C) C .
(d) Soit C un cercle ne passant pas par O. On a bien s
Soient u et v deux points diametralement opposes et alignes avec 0.
Si le cercle C nest pas centre en 0, il ny a quun diam`etre possible, sinon tout diam`etre
convient. Dautre part, il existe dans R tel que v = u.
On a : z C Re ((z u)(z v)) = 0 Re ((z u)(z u)) = 0.
On trouve donc successivement :
1 1
z (C) (z) C Re u u) = 0
z z
|u|2 1 1 1 1
Re z z = 0 Re z z =0
|z|2 u u u v
Ainsi (C) est le cercle C 0 de diam`etre [ u0 , v 0 ] avec u0 = (u) et v 0 = (v).
Puisque C ne contient par , le cercle C 0 = (C) ne passe pas par 0. [ Q ]
ur sa0 ,b0 sc,d (d/c) = sa0 ,b0 (0) = sa0 ,b0 () = = h(d/c).
On a bien s
Enfin sa0 ,b0 sc,d () = sa0 ,b0 () = sa0 ,b0 (0) = b0 = a/c = h().
Il en decoule legalite h = sa0 ,b0 sc,d (entre applications de C
b dans C.)
b
Tout h de H est donc dans S ou est la composee de et de deux similitudes. [ Q ]
4. On sait depuis la question precedente que toute homographie est une similitude ou se decompose
en le produit de et de deux similitudes.
On sait aussi que et les elements de S realisent des bijections de b
C.
C.
Il en decoule par composition que toute homographie h realise une bijection de b
Soit h = h(a,b,c,d) dans H \ S. Avec les notations precedentes, h = sa0 ,b0 sc,d .
Des cercles de C ne passant pas par dc sont les cercles de C ne passant pas par ac .
2. On sait que la tangente T1 en A = z1 (t1 ) `a larc 1 est dirigee par z10 (t1 ).
De meme la tangente T2 en A = z2 (t2 ) `a larc 2 est dirigee par z20 (t2 ).
\ z20 (t2 )
Une mesure (modulo ) de langle de ces deux droites est : (T 1 , T2 ) = arg 0 .
0
z1 (t1 )
\ Z2 (t2 )
De meme (T1 , T2 ) = arg 0 mesure langle de T1 et T2 en B.
Z1 (t1 )
Z 0 (t2 ) (ad bc)z20 (t2 ) (cz1 (t1 ) + d)2 z20 (t2 )
Sachant que z1 (t1 ) = z2 (t2 ), on a : 20 = = .
Z1 (t1 ) (cz2 (t2 ) + d)2 (ad bc)z10 (t) z10 (t1 )
Il en decoule bien s \
ur (T \
1 , T2 ) = (T1 , T2 ), ce quil fallait d
emontrer. [ Q ]
3. Tout cercle ou toute droite de C est le support dun arc C1 sans point stationnaire.
La droite D passant par et dirigee par u C est parametree par t 7 z(t) = + tu.
Le cercle C de centre de rayon r > 0 est parametre par t 7 z(t) = + r eit .
On consid`ere toujours lhomographie h = h(a,b,c,d) .
Donnons-nous C1 un cercle de C (eventuellement une droite de C.)
De meme, soit C2 un cercle de C (eventuellement une droite de C.)
On suppose que C1 et C2 se rencontrent orthogonalement en z 6= d/c.
Dapr`es ce qui prec`ede, h(C1 ) et h(C2 ) se rencontrent orthogonalement en h(z).
u C1 et C2 se rencontrent orthogonalement en z = d/c.
Il reste `a examiner le cas o`
Si C1 et C2 sont deux droites se coupant orthogonalement en z = d/c, leurs images sont
encore deux droites se coupant orthogonalement en z = d/c. Il suffit pour sen convaincre
de revenir `a la question II-2-a et de voir que lhomographie z 7 1/z conserve (par symetrie)
lorthogonalite de deux droites au point 0 et (pour revenir au cas general) de se souvenir que
les similitudes conservent les angles.
Sinon (cest-`a-dire si C1 ou C2 est un cercle), alors C1 et C2 se coupent orthogonalement en un
autre point (different cette fois de d/c) et on applique ce qui prec`ede.
Dans tous les cas, les images de C1 et C2 se rencontrent orthogonalement. Puisquon sait quune
homographie transforme les cercles de C b en des cercles de C,
b on peut donc ajouter quelle
transforme deux cercles orthogonaux en deux cercles orthogonaux. [ Q ]
3. Dire que C1 et C2 sont orthogonaux cest dire quils se rencontrent en un point z o` u leurs tangentes
sont orthogonales. Cela equivaut `a dire que la tangente en z `a lun des cercles est le diam`etre
en z `a lautre cercle. Cela equivaut encore `a dire que le triangle 1 z2 est rectangle en z, ce qui
sexprime par legalite |2 1 |2 = r12 + r22 . [ Q ]
4. Il y a differents cas, selon que et 0 sont des cercles ou des droites.
Premier cas : 6= 0 et 0 6= 0 ( et 0 sont des cercles.)
Quitte `a diviser par et 0 , on peut supposer = 0 = 1.
Le cercle : |z|2 + z + z + = 0 est centre en = et de rayon r avec r2 = ||2 .
Le cercle 0 : |z|2 + 0 z + 0 z + 0 = 0 est centre en 0 = 0 et r02 = | 0 |2 0 .
La condition dorthogonalite secrit :
| 0 |2 = r2 + r02 | 0 |2 = ||2 + | 0 |2 0 0 + 0 = + 0 .
Cest legalite attendue (compte tenu de lhypoth`ese simplificatrice = 0 = 1.)
Deuxi`eme cas : = 0 et 0 = 0 ( et 0 sont des droites.)
On sait que la direction de est orthogonale `a celle de (qui est non nul.).
De meme celle de 0 est orthogonale `a la direction definie par 0 6= 0.
La relation 0 + 0 = 0 + 0 secrit ici 0 + 0 = 0, cest-`a-dire Re ( 0 ) = 0.
Elle exprime lorthogonalite des directions et 0 donc celle des droites et 0 .
Troisi`eme cas : 6= 0 et 0 = 0 ( est un cercle et 0 une droite.)
On peut supposer = 1. Le cercle : |z|2 + z + z + = 0 est centre en = .
La droite 0 a pour equation 0 z + 0 z + 0 = 0.
Le relation indiquee dans lenonce secrit ici 0 + 0 = 0 .
Elle secrit donc 0 z + 0 z + 0 = 0 avec z = . Cela signifie que la droite 0 passe par le
centre du cercle , ou encore que cette droite et ce cercle sont orthogonaux.
Dans tous les cas, 0 + 0 = 0 + 0 exprime donc lorthogonalite de et 0 . [ Q ]
3. On sait que toute homographie est soit une similitude directe soit la composee de et de deux
similitudes directes (cf III-3).
Il est clair dautre part que tout similitude directe s (qui on le sait est une translation ou la
composee dune rotation et dune homothetie) transforme les deux parties du plan separees par
une droite ou un cercle en les deux parties du plans separees par s().
Par composition, cette propriete est donc verifiee par toute homographie.
On peut etre un peu plus precis pour une homographie qui nest pas une similitude. Il suffit en
effet de considerer le comportement de f au voisinage de son pole.
az + b
Considerons une homographie h : z 7 , avec c 6= 0.
cz + d
Premier cas : Soit une droite ne passant pas par le pole d/c de h.
On sait que h() est un cercle passant par a/c.
Le demi-plan defini par et contenant d/c est envoye sur lexterieur de h().
Lautre demi-plan (celui qui ne contient pas le pole) est envoye sur linterieur de h().
Deuxi`eme cas : Soit un cercle ne passant pas par le pole d/c de h.
On sait que h() est un cercle ne passant pas par a/c.
Supposons que le pole d/c soit interieur `a . Dans ce cas linterieur de est envoye sur
lexterieur de h(), et lexterieur de est envoye sur linterieur de h().
Supposons que le pole d/c soit exterieur `a . Dans ce cas linterieur de est envoye sur
linterieur de h(), et lexterieur de est envoye sur lexterieur de h().
Troisi`eme cas : soit un cercle passant par le pole d/c de h.
On sait que h() est une droite ne passant pas par a/c.
dz b
Mais a/c est le pole de lhomographie inverse h1 , definie par h1 (z) = .
cz + a
En reprenant le premier cas ci-dessus, on en deduit que lexterieur de (la partie de C qui
contient la point `a linfini) est envoye par h sur le demi-plan delimite par la droite h() et qui
contient le pole a/c de h1 . Bien s ur linterieur de est envoye sur le demi-plan delimite par
h() et qui ne contient pas a/c.
Quatri`eme cas : soit une droite passant par le pole d/c de h.
On sait que h() est une droite passant par a/c.
Dans ce cas il ny a pas grand chose `a dire et `a faire sinon considerer un point z qui nest
pas sur et observer que le demi-plan delimite par et contenant z est applique par h sur le
demi-plan delimite par h() et contenant h(z)...
Pour une homographie qui na pas de pole `a distance finie, cest-`a-dire pour une similitude
directe, la situation est plus simple. Un cercle de C est en effet toujours envoye sur un cercle
0 : linterieur de est applique sur celui de 0 (idem avec les exterieurs.) [ Q ]
(b) On distingue deux cas, selon que h est ou nest pas une similitude.
Soit h = sa,b (avec a 6= 0) une similitude de C.
b
Soit h = h(a,b,c,d) une homographie qui nest pas une similitude (donc c 6= 0.)
Dune part nest pas fixe par h, et dautre part f (d/c) = = 6 d/c.
Dans la recherche des points fixes, on peut donc se limiter `a z dans C \ {d/c}.
az + b
Pour tout z de C \ {d/c} : f (z) = z = z cz 2 + (d a)z b = 0.
cz + d
On obtient une equation (E) du second degre de discriminant = (d a)2 + 4bc.
Si 6= 0, cette equation poss`ede deux solutions distinctes dans C.
Dans ce cas, h poss`ede deux points fixes distincts (et distincts de ).
Si = 0, lequation (E) poss`ede une solution double z = ad
2c
.
Ce point est donc le point fixe (double) de lapplication h.
Conclusion :
Toute homographie h distincte de lidentite poss`ede :
ou bien comme seul point fixe (quand h est une translation distincte de Id.)
ou bien deux points fixes distincts (eventuellement lun deux etant , dans le cas
particulier des similitudes qui ne sont pas des translations)
ou bien un point fixe double (et `a distance finie.) [ Q ]
2. Soit f une homographie involutive, distincte de Id.
b tel que v = f (u) 6= u. Alors f (v) = u, puisque f est involutive.
Soit u dans C
Reciproquement soit f une homographie de C, b distincte de lapplication Id.
On suppose quil existe u et v distincts dans C
b tels que v = f (u) et u = f (v).
On sait que f poss`ede au moins un point fixe w dans C.b Evidemment w / {u, v}.
Lapplication g = f 2 est alors une homographie telle que g(u) = u, g(v) = v, g(w) = w.
Ainsi lapplication g de H poss`ede au moins trois points fixes distincts.
On en deduit que g = Id donc que f est involutive.
Ainsi une homographie distincte de Id est involutive elle echange deux points. [ Q ]
4. Soit C lunique cercle de C b qui contient les points z1 , z2 , z3 , cest-`a-dire leur cercle circonscrit
sils ne sont pas alignes et la droite qui les contient sils sont alignes.
Lhomographie h : z 7 [z1 , z2 , z3 , z] verifie h(z1 ) = , h(z2 ) = 0 et h(z3 ) = 1.
R la droite R {} de C
Notons b b formee des reels et de lelement .
On sait que lhomographie h1 transforme tout cercle de C
b en un cercle de C.
b
Or h1 (0) = z2 , h1 (1) = z3 et h1 () = z1 .
Ainsi limage reciproque du cercle bR de Cb par h contient z1 , z2 , z3 .
Il en decoule que cette image reciproque est le cercle C de C.
b
b \ {z1 , z2 , z3 } :
On en deduit les equivalences, pour z4 dans C
h(z4 ) = [z1 , z2 , z3 , z4 ] R z4 C z1 , z2 , z3 , z4 sont sur le meme cercle de C.
b
Remarque : si z1 , z2 , z3 , z4 sont distincts dans C (donc si z4 6= ) ce resultat signifie que
z1 , z2 , z3 , z4 sont cocycliques ou alignes le birapport [z1 , z2 , z3 , z4 ] est reel. [ Q ]
6. On choisit z1 , z2 , z3 distincts dans C, tels que f (z1 ), f (z2 ), f (z3 ) soient distincts de .
Puisque f est injective, les trois images f (z1 ), f (z2 ), f (z3 ) sont distinctes dans C.
On consid`ere les homographies g : z 7 [z1 , z2 , z3 , z] et h : z 7 [f (z1 ), f (z2 ), f (z3 ), z].
Comme precedemment, on consid`ere lhomographie k = h1 g.
Pour tout z de C b \ {z1 , z2 , z3 }, on a [f (z1 ), f (z2 ), f (z3 ), f (z4 )] = [z1 , z2 , z3 , z4 ] (cela nest autre
que lhypoth`ese sur la conservation du birapport par lapplication f )
Autrement dit, h(f (z4 )) = g(z4 ) donc f (z4 ) = k(z4 ) pour tout z de C b \ {z1 , z2 , z3 }.
On verifie ensuite que k(z1 ) = h1 g(z1 ) = h1 () = f (z1 ).
De meme k(z2 ) = h1 g(z2 ) = h1 (0) = f (z2 ) et k(z3 ) = h1 g(z3 ) = h1 (1) = f (z3 ).
Finalement f (z) = h(z) pour tout z de C,b ce qui prouve que f est lhomographie h. [ Q ]
g(0) = h f () = h() = 0
1
3. (a) Posons g = h f h . On constate que
g() = h f () = h() =
g(0) = 0
Les conditions signifient que g est une similitude de point fixe 0.
g() =
Cela equivaut `a dire quil existe dans C tel que, pour tout z : g(z) = z.
Avec ces notations on a donc h f h1 = , cest-`a-dire f = h1 h. [ Q ]
(d) Cest comme ci-dessus, sauf quon trouve les deux valeurs = j et = j 2 .
z
Si {, } C, on utilise h : z 7 Si = , on utilise h : z 7 z .
z
.
Si , sont dans C : z
j +
jh(z) + z ( + j)z + j 2
Pour = j : f (z) = h1 (jh(z)) = = z = 2 .
jh(z) + 1 j +1 j z + (j + )
( + j 2 )z + j z
Pour = j 2 : f (z) = .
jz + (j 2 + )
Si C et = :
Avec = j, on trouve f (z) = h1 (jh(z)) = jh(z) + = j(z ) + .
Avec = j 2 , on trouve f (z) = h1 (j 2 h(z)) = j 2 h(z) + = j 2 (z ) + .
2 4
On obtient les rotations dangle 3
ou 3
autour de .
f 6= Id f () =
On a ainsi trouve les deux seules homographies f verifiant et [Q]
f3 = Id f () =
z+1
(e) Ce sont les meme calculs que ci-dessus, en utilisant h : z 7 z1
, qui verifie h1 = h.
Pour on trouve les trois valeurs i, 1, i.
z+1
h(z) + 1 +1 ( + 1)z + 1
On trouve f (z) = h1 (h(z)) = = z1 =
h(z) 1 z+1 ( 1)z + + 1
1
z1
z+i 1 iz + 1
Pour = i, 1, i, on trouve : f1 (z) = , f2 (z) = et f3 (z) = .
iz + 1 z z+i
On verifie immediatement que f2 = f12 et f3 = f13 .
Chacune des applications f1 ou f3 engendre le groupe cyclique {Id, f1 , f2 , f3 }. [ Q ]
3. (a) Si lunique point fixe de f est , cest que f est une translation de vecteur 6= 0.
Dans ce cas, zn = z0 + n et lim zn = .
n
1
On suppose donc C. On sait que f = h1 t h o`
u h : z 7 z
et t : z 7 z + 1.
On en deduit fn = h1 tn h pour tout n de N.
1
Ainsi zn = f n (z0 ) = h1 (tn (h(z0 ))) = h1 (h(z0 ) + n) = + .
h(z0 ) + n
Il en resulte lim zn = . [ Q ]
n
az+b
(c) Soit h : z 7 un element de R+ , donc tel que (a, b, c, d) R4 et ad bc > 0.
cz+d
Puisque h R, on a h(R) b Ainsi h(P) = P ou h(P) = P0 = {z C, Im (z) < 0} (on
b = R.
utilise ici le resultat de la question VI.3)
Il suffit de verifier que = h(i) est dans P. Or : Im = Im ai+b
ci+d
= adbc
c2 +d2
> 0.
Reciproquement, soit h une homographie telle que h(P) = P.
Lapplication h envoie necessairement R b sur R
b puisquon sait que toute homographie envoie
chacune des deux parties de C b separees par une droite ou un cercle C sur chacune des deux
parties de C separees par la droite ou le plan image de C.)
b
Lapplication h est donc dans R. Posons h(a,b,c,d) avec (a, b, c, d) R4 .
adbc
Comme ci-dessus, i P h(i) P c2 +d2
> 0 ad bc > 0, donc h R+ .
On a donc prouve lequivalence : h R+ h(P) = P. [ Q ]
2. (a) Il suffit de montrer que H envoie Rb sur le cercle unite U, et i P sur un point de D.
xi
Pour tout reel x, on a |H(x)| = x+i = 1. Donc H(R)b U c`ad H(R) b = U.
On termine en remarquant que H(i) = 0 est dans D. [ Q ]
Les solutions sont donc les h de H telles que f = s1 0 ,r 0 h s,r envoie D sur D.
|u| = 1
z gamma
Ce sont donc les h = s0 ,r0 f s1
,r , avec f : z
7 u o`
u
1 z || < 1
0 0 z r
On trouve les homographies h : z 7 + r u avec |u| = 1 et || < 1. [ Q ]
r (z )