Lycée La Martinière Monplaisir Année 2022/2023

MPSI - Mathématiques le 8 septembre

Devoir à la maison n° 2
À rendre le 15 septembre

Ce devoir étant long, la question 7 est facultative !

Dans cet exercice, on identifie le plan, muni d’un repère orthonormal, à l’ensemble des
nombres complexes C. Ainsi, on confondra tout point M avec son affixe z. On désigne par
H l’ensemble des nombres complexes z = x + iy dont la partie imaginaire est strictement
positive (i.e Im(z) = y > 0). On dit que H est le demi-plan de Poincaré.
1) Pour tout réel θ et pour tout complexe z dans H , justifier l’existence puis l’apparte-
z cos θ − sin θ
nance à H du complexe .
z sin θ + cos θ
On précisera sa partie imaginaire.
Dans toute la suite de l’exercice, θ étant un réel fixé, on note Aθ l’application de H
vers H définie par :
z cos θ − sin θ
∀z ∈ H , Aθ (z) = .
z sin θ + cos θ
2) Rechercher les points fixes de Aθ , c’est-à-dire les solutions de Aθ (z) = z.
3) Soient deux réels θ et θ0 . Vérifier que pour tout z ∈ H on a
Aθ0 (Aθ (z)) = Aθ0 +θ (z).
De même, calculer A−θ (z) puis A−θ (Aθ (z)).
4) Montrer que pour tout a ∈ H il existe un unique b ∈ H tel que Aθ (b) = a. On dit
que Aθ est une bijection de H dans H .
5) On définit une fonction de H vers R en posant
|z|2 + 1
∀z ∈ H , c(z) = .
2 Im(z)
Montrer que pour tout θ ∈ R et tout z ∈ H , c (Aθ (z)) = c(z).
6) Soient deux réels θ et θ0 et z ∈ H \ {i}. On note πZ l’ensemble {kπ, k ∈ Z}. Montrer
l’équivalence :
(Aθ (z) = Aθ0 (z)) ⇔ ((θ0 − θ) ∈ πZ).
7) Soit z0 ∈ H \ {i}.
a) Montrer que c(z0 ) ∈ R∗+ , puis que c(z0 ) > 1.
q
b) On appelle C le cercle de centre ic(z0 ) et de rayon c(z0 )2 − 1.
i) Vérifier que ce cercle C existe et qu’il est inclus dans H .
ii) Vérifier que z0 ∈ C et que i ∈/ C.
iii) Montrer que pour tout θ ∈ R, Aθ (z0 ) est sur le cercle C .
— FIN —

Page 1 sur 1