matiques
Proble
Homographies du plan complexe
Enonc
e
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Enonc
e
b
II. Lhomographie z 7 1/z et les cercles de C
b
On va montrer que lhomographie z 7 1/z est une involution de lensemble des cercles de C.
1. (a) Soit une droite de C ne passant pas par 0.
Soit la projection orthogonale de 0 sur .
Soit z dans C. Montrer que z est sur si et seulement si Re ((z ) ) = 0. [ S ]
(b) Soit C un cercle de C, et soient u, v deux points diametralement opposes de C.
Soit z dans C. Montrer que : z C Re ((z u) (z v)) = 0. [ S ]
b
2. On note = h(0,1,1,0) . Verifier que lapplication est une involution de C.
En utilisant les resultats de la question II.1, montrer successivement que limage par :
b passant par 0 est une droite de C
b passant par 0.
(a) Dune droite de C
Comment ces deux droites se deduisent-elles lune de lautre ? [ S ]
b ne passant pas par 0.
(b) Dun cercle C de C passant par 0 est une droite de C
Indication : si est le point de C diametralement oppose de 0, et si on pose 0 = (), on
montrera que (C) est la droite orthogonale en 0 au segment [ 0, 0 ]. [ S ]
b ne passant pas par 0 est un cercle de C passant par 0. [ S ]
(c) Dune droite de C
(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 ]
b par X 7 (X) = {(z), z X}.
3. On note envore lapplication definie sur P(C)
Deduire de ce qui prec`ede que realise une involution de lensemble bC. [ S ]
b
III. Homographies et cercles de C
b realise
On va generaliser le resultat de la partie precedente, et montrer que toute homographie de C
b sur lui-meme.
une bijection de lensemble des cercles de C
1. Montrer que S est un sous-groupe de H. [ S ]
b dans lui-meme.
2. Soit s un element de S, considere aussi comme application de P(C)
Montrer que s realise une bijection de lensemble b
C. [ S ]
3. Montrer que tout element h = hu (avec u = (a, b, c, d)) de H est :
Ou bien une similitude directe (si c = 0),
Ou bien (si c 6= 0) la composee de et de deux similitudes directes.
Indication : montrer que h = sa0 ,b0 sc,d , avec a0 = (u)/c et b0 = a/c. [ S ]
4. En deduire que toute homographie h realise une bijection de b
C sur lui-meme.
Si h = h(a,b,c,d) est une homographie qui nest pas une similitude (donc si c 6= 0), decrire
b ou dun cercle de C selon que cette droite ou ce cercle
rapidement limage dune droite de C
passe ou ne passe pas par le point = d/c. [ S ]
Page 2
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Enonc
e
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Enonc
e
+ = {z C, Q(z) > 0}
= {z C, Q(z) < 0}
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Enonc
e
Page 5
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Enonc
e
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
. Montrer quil existe dans C \ {0, 1} (quon
z
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 :
b elle est conjuguee `a la translation z 7 z + 1.
Si f na quun point double dans C,
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 ]
az+b
cz+d
Page 6
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Enonc
e
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
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
b [Q]
Lapplication hu = h(1,0,0,1) est donc lapplication identite de C.
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
+b
0
(aa0 + bc0 )z + (ab0 + bd0 )
a00 z + b00
Cas general : hu hv (z) = c0 z + d0
=
= 00
= hw (z).
0
0
0
0
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.
Lapplication : (x, y, z, t) 7 (t, y, z, x) est une involution de
v0
C4
et
v 0 = (v)
v = (v 0 )
on a donc hv h = Id.
b et que h1 = hv0 . [ Q ]
Il en decoule que hv est une bijection de C,
v
En inversant les roles de v et
v0
b ) des bijections de C.
b
4. En fait H est un sous-groupe du groupe (B(C),
b stable pour la loi de
Dapr`es ce qui prec`ede H est en effet une partie (non vide) de B(C),
composition et pour le passage `a linverse. On remarque dailleurs que h(1,0,0,1) = Id.
Pour montrer que le groupe H nest pas commutatif, il suffit dexhiber un exemple.
Si u = (1, 1, 1, 0), alors hu (z) = z + 1 pour tout z de C.
Si v = (2, 0, 1, 0), alors hv (z) = 2z pour tout z de C.
hv hu (z) = 2(z + 1)
donc hu hv 6= hv hu . [ Q ]
Pour tout z de C :
hu hv (z) = 2z + 1
Page 8
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
b
II. Lhomographie z 7 1/z et les cercles de C.
1. (a) Lelement z = est sur et il verifie bien Re ((z ) ) = 0.
Considerons donc un element z quelconque de C, mais distinct de .
On a Re ((z ) ) = 0 arg((z ) ) = 2 () arg(z ) = arg +
d est droit, cest-`a-dire que z est sur . [ Q ]
Cela signifie que langle 0z
().
(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) +
().
u+v
2
u+v
2
= vu
2
vu
et pour rayon 2 . [ Q ]
=
2 parcourt { , R }.
||
b
On en deduit (D) = = {} , avec = { , R}.
b passant par 0 symetrique de D
b est donc la droite de C
b par rapport `a Ox. [ Q ]
(D)
Mais quand parcourt R , ( w) =
1
1
= 0 Re
1 z
=0
z
|z|2
1 z
11
Re
=
0
Re
z
= 0 Re ((z 0 ) 0 ) = 0
||2
z
Page 9
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
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, ].
b = {} .
On sait depuis la question precedente que (C) =
b = 1 ()
b = C.
Mais puisque est involutive, on a ()
b est le cercle C, qui passe par lorigine. [ Q ]
Ainsi limage de
(d) Soit C un cercle ne passant pas par O. On a bien s
ur (C) C .
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
=0
u
u
v
|z|2 u
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 ]
b (donc eventuellement une droite de C).
b
3. Soit C un cercle quelconque de C
b (par exemple une droite...)
On sait que (C) est un cercle C 0 de C
Ainsi est une application de b
C dans lui-meme.
b on a ((X)) = X.
Cette application est involutive car pour toute partie X de C,
Ainsi realise une bijection (involutive) de b
C sur lui-meme. [ Q ]
b
III. Homographies et cercles de C.
1. Tout dabord S est une partie (non vide) de H.
Cela resulte de la definition sa,b = h(a,b,0,1) et du fait que (a, b, 0, 1) = a 6= 0.
On se donne (a, b) et (c, d) dans C C. Posons u = (a, b, 0, 1) et v = (c, d, 0, 1).
On sait depuis I.2 que sa,b sc,d = sw avec w = u v = (ac, ad + b, 0, 1).
On en deduit que sa,b sc,d = se,f avec e = ac 6= 0 et f = ad + b.
Il en decoule que S est une partie stable du groupe H.
0
On sait depuis que I.3 que s1
a,b = hu0 , avec u = (1, b, 0, a).
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
h(z) =
On a bien s
ur sa0 ,b0 sc,d (d/c) = sa0 ,b0 (0) = sa0 ,b0 () = = h(d/c).
Enfin sa0 ,b0 sc,d () = sa0 ,b0 () = sa0 ,b0 (0) = b0 = a/c = h().
b dans C.)
b
Il en decoule legalite h = sa0 ,b0 sc,d (entre applications de C
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.
Il en decoule par composition que toute homographie h realise une bijection de b
C.
Soit h = h(a,b,c,d) dans H \ S. Avec les notations precedentes, h = sa0 ,b0 sc,d .
b passant par = d/c. Alors :
Soit une droite de C
b passant par 0 (car sc,d () = 0.)
sc,d () est une droite de C
b passant par 0.
sc,d () est une droite de C
b passant par sa0 ,b0 (0) = b0 = a/c.
h() = sa0 ,b0 sc,d () est une droite de C
Page 11
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
az1 (t) + b
, pour tout t de lintervalle I1 .
cz1 (t) + d
On sait que z1 (t) ne sannule pas sur I1 car larc 1 est sans point stationnaire.
Puisque (a, b, c, d) = ad bc 6= 0, larc 1 est donc egalement sans point stationnaire.
Il en est bien s
ur exactement de meme pour larc 2 . [ Q ]
Page 12
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
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
z1 (t1 )
0
Z2 (t2 )
\
De meme (T
mesure langle de T1 et T2 en B.
1 , T2 ) = arg 0
Z1 (t1 )
(ad bc)z20 (t2 ) (cz1 (t1 ) + d)2
z20 (t2 )
Z 0 (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
emontrer. [ Q ]
1 , T2 ) = (T1 , T2 ), ce quil fallait d
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).
Il reste `a examiner le cas o`
u C1 et C2 se rencontrent orthogonalement en z = d/c.
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
b en des cercles de C,
b on peut donc ajouter quelle
homographie transforme les cercles de C
transforme deux cercles orthogonaux en deux cercles orthogonaux. [ Q ]
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
1
C 2 + + + = 0 |z|2 + z + z + = 0.
z
z
z
|z|
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
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
, avec c 6= 0.
Considerons une homographie h : z 7
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 ]
Page 16
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
a
c
Les homographies qui ont comme point fixe sont donc les similitudes, cest-`
a-dire les
applications s definies par : z C, s(z) = az + b, et s() = (a 6= 0.) [ Q ]
(b) On distingue deux cas, selon que h est ou nest pas une similitude.
b
Soit h = sa,b (avec a 6= 0) une similitude de C.
b est point fixe.
On suppose que (a, b) 6= (1, 0) sinon h = Id et tout z de C
On sait dej`a que est un point fixe de lapplication h.
Pour tout z de C, on a s(z) = az + b et s(z) = z (1 a)z = b.
Si a = 1 (donc b 6= 0), alors h est une translation et le seul point fixe est .
Si a 6= 1, il y a (outre ) un seul point fixe dans C, egal `a = b/(1 a).
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
b distincte de lapplication Id.
Reciproquement soit f une homographie de C,
b tels que v = f (u) et u = f (v).
On suppose quil existe u et v distincts dans C
b Evidemment w
On sait que f poss`ede au moins un point fixe w dans C.
/ {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 ]
Page 17
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
b
3. On sait que h : z 7 [z1 , z2 , z3 , z] et k : z 7 [1 , 2 , 3 , z] sont des homographies de C.
On a h(z1 ) = , h(z2 ) = 0 et h(z3 ) = 1. De meme k(1 ) = , k(2 ) = 0 et k(3 ) = 1.
Lhomographie f = k 1 h verifie donc f (z1 ) = 1 , f (z2 ) = 2 , et f (z3 ) = 3 .
Reciproquement, soit g dans H telle que g(z1 ) = 1 , g(z2 ) = 2 et g(z3 ) = 3 .
Lapplication = g 1 f est dans H et : (z1 ) = z1 , (z2 ) = z2 , (z3 ) = z3 .
Lhomographie ayant trois points fixes distincts est necessairement lidentite.
Legalite g 1 f = Id donne g = f , ce qui demontre lunicite de f . [ Q ]
b qui contient les points z1 , z2 , z3 , cest-`a-dire leur cercle circonscrit
4. Soit C lunique cercle de C
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.
b formee des reels et de lelement .
Notons b
R la droite R {} de C
b en un cercle de C.
b
On sait que lhomographie h1 transforme tout cercle de C
Or h1 (0) = z2 , h1 (1) = z3 et h1 () = z1 .
b par h contient z1 , z2 , z3 .
Ainsi limage reciproque du cercle b
R de C
b
Il en decoule que cette image reciproque est le cercle C de C.
b \ {z1 , z2 , z3 } :
On en deduit les equivalences, pour z4 dans C
b
h(z4 ) = [z1 , z2 , z3 , z4 ] R z4 C z1 , z2 , z3 , z4 sont sur le meme cercle de C.
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 ]
5. On consid`ere les homographies g : z 7 [z1 , z2 , z3 , z] et h : z 7 [f (z1 ), f (z2 ), f (z3 ), z].
On a : g(z1 ) = , g(z2 ) = 0, g(z3 ) = 1 et h(f (z1 )) = , h(f (z2 )) = 0 et h(f (z3 )) = 1.
Ainsi lhomographie k = h1 g verifie k(z1 ) = f (z1 ), k(z2 ) = f (z2 ), k(z3 ) = f (z3 ).
Or une homographie est determinee de facon unique par limage de trois points distincts.
On en deduit legalite k = f , cest-`a-dire g = h f .
En particulier [f (z1 ), f (z2 ), f (z3 ), f (z4 )] = h(f (z4 )) = g(z4 ) = [z1 , z2 , z3 , z4 ]. [ 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.
b \ {z1 , z2 , z3 }, on a [f (z1 ), f (z2 ), f (z3 ), f (z4 )] = [z1 , z2 , z3 , z4 ] (cela nest autre
Pour tout z de C
que lhypoth`ese sur la conservation du birapport par lapplication f )
b \ {z1 , z2 , z3 }.
Autrement dit, h(f (z4 )) = g(z4 ) donc f (z4 ) = k(z4 ) pour tout z de C
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 ).
b ce qui prouve que f est lhomographie h. [ Q ]
Finalement f (z) = h(z) pour tout z de C,
Page 18
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
z + b, avec b C.
a
z
a
z
Page 20
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
Page 21
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
f2
= Id
= Id
h.
= 1 = 1 (car f 6= Id.)
z
z1
z
et 1 = Id.
+
( + )z 2
h(z)
+
z
1
=
.
= z
On trouve f (z) = h (h(z)) =
2z ( + )
h(z) + 1
+1
z
On suppose maintenant C et = .
On definit h : z 7 z . Dapr`es (3a) : C tel que f = h1 h.
Mais f 2 = Id 2 = Id 2 = 1 = 1 (car f 6= Id.)
On trouve donc une seule solution, definie par f : z 7 (h1 1 h)(z).
On trouve f (z) = h1 (h(z)) = h(z) + = 2 z.
Lunique solution est bien s
ur la symetrie par rapport `a .
On a ainsi verifie quil existe une unique homographie involutive f possedant deux points
b et on a trouve lexpression de f . On rappelle quune
fixes distincts et donnes dans C,
b ne peut pas etre involutive (car elle est
homograhie ayant un seul point double dans C
conjuguee `a la translation z 7 z + 1.) [ Q ]
(d) Cest comme ci-dessus, sauf quon trouve les deux valeurs = j et = j 2 .
Si {, } C, on utilise h : z 7
z
.
z
Si = , on utilise h : z 7 z .
z
Si , sont dans C :
j
+
jh(z)
+
( + j)z + j 2
z
Pour = j : f (z) = h1 (jh(z)) =
= z
= 2
.
jh(z) + 1
j z + (j + )
j
+1
z
( + j 2 )z + j
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 ) + .
On obtient les rotations dangle
2
3
ou
4
3
autour de .
f 6= Id
f3
z+1
,
z1
= Id
et
f () =
f () =
[Q]
qui verifie h1 = h.
z+1
+1
( + 1)z + 1
h(z)
+
1
=
On trouve f (z) = h1 (h(z)) =
= z1
z+1
( 1)z + + 1
h(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 ]
Page 22
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
az + b
.
cz a
az + uv a(u + v)
.
za
(v t)(w u)
(w u)(t v)
(u t)(w v)
=
= 1.
(v u)(w t)
(w v)(t u)
(u v)(w t)
Page 23
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
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
fn
h1
tn
1
z
et t : z 7 z + 1.
h pour tout n de N.
1
.
h(z0 ) + n
Il en resulte lim zn = . [ Q ]
n
z
.
z
Si || = 1, alors la suite n 7
n h(z
0)
az+b
cz+d
b est un cercle de C,
b et il est clair que h(R)
b R.
b Donc h(R)
b = R.
b
On sait que h(R)
b = R.
b
Reciproquement, soit h : z 7 az+b une homographie telle que h(R)
cz+d
Page 24
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Homographies du plan complexe
Corrige
az+b
cz+d
(c) Soit h : z 7
adbc
c2 +d2
> 0.
h(P) = P. [ Q ]
i(z + 1)
Dapr`es I.3, ou par un calcul direct, H 1 est definie par z 7
.
z1
az + b
Soit g : z 7
quelconque dans R+ avec (a, b, c, d) R4 et ad bc > 0.
cz + d
(a + d + (b c)i)z + a d (b + c)i
Un calcul facile donne : f (z) =
(a d + (b + c)i)z + a + d (b c)i
= a + d + (b c)i
z
En posant
on trouve f (z) =
= a + d + (b + c)i
z
(
||2 = a2 + b2 + c2 + d2 + 2(ad bc) > 0
Remarquons que
donc 0 || < ||.
||2 = a2 + b2 + c2 + d2 2(ad bc) < ||2
z
et = , on trouve donc : f (z) = u
o`
u |u| = 1 et || < 1.
1 z
Reciproquement, avec cette definition : |z| = 1 |z | = |1 z| |f (z)| = 1.
Avec u =
Ainsi f (U) U donc f (U) = U. Enfin |f (0)| = || < 1, ce qui prouve que f envoie D sur D
(et non pas sur la couronne exterieure au cercle unite.)
z
Conclusion : les solutions sont les f : z 7 u
avec |u| = 1 et || < 1. [ Q ]
1 z
(c) Lapplication s,r : z 7 rz + envoie D sur D,r , et s1
,r : z 7 (z )/r.
On a h(D,r ) = D0 ,r0 (h s,r )(D) = s0 ,r0 (D) (s1
0 ,r 0 h s,r )(D) = D
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
o`
u
Ce sont donc les h = s0 ,r0 f s1
,
avec
f
:
z
7
u
,r
1 z
|| < 1
z
r
0
0
On trouve les homographies h : z 7 + r u
avec |u| = 1 et || < 1. [ Q ]
r (z )
Page 25
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.