Troisième feuille.
1. Tracez H.
2. Montrer que H={(et,e−t) : t∈R+}. On dit que la fonction η:R+→R2définie
par η(t)=(et,e−t) est une paramétrisation de H.
3. Soit Φ:R2→R2définie par Φ(x,y)=¡x+y
2,x−y
2¢. On pose K={(X,Y)∈R2:X>
0, X2−Y2=1}. Montrer que Φ(H)=K.
4. Tracez Ket déterminez ses deux asymptotes.
5. Montrer que la fonction χ:R+→R2définie par ξ(t)=(cosh(t),sinh(t)) est une
paramétrisation de K.
Ainsi, les fonctions hyperboliques jouent pour Kle même rôle que jouent les fonc-
tions cos et sin pour le cercle unité.
Exercice 16. Montrer que la fonction tanh réalise une bijection de Rdans ] −1,1[. On
note argth sa bijection réciproque. Montrer que ∀x∈]−1,1[, on a l’expression suivante :
argth(x)=1
2lnµ1+x
1−x¶
Montrer enfin que :
argthµ1+3tanh(x)
3+tanh(x)¶=x+1
2ln(2)
Exercice 17 (L’inégalité arithmético-géométrique : ENS, 2008).Soient n>1 un entier
naturel et a1,...,andes nombres réels positifs. L’inégalité arithmético-géométrique se
formule de la façon suivante :
¡a1×...×an¢1
n≤a1+...+an
n(1)
L’objectif du problème est de prouver cette inégalité, et de la généraliser aux nombres
complexes.
1. Dans cette question, on montre l’inégalité 1.
(a) Montrer l’inégalité lorsque n=2.
(b) Montrer l’inégalité lorsque n=2k, où k≥1.
(c) En déduire le cas général.
2. On propose maintenant l’extension suivante au cas complexe. Soient n≥1 un
entier naturel et z1,...,zndes nombres complexes non nuls. On les écrira sous
forme polaire zi=rjeiθi, avec ri>0 et l’on supposera qu’il existe une constante
φ∈[0, π
2[ telle que θi∈[−φ,φ], ∀i≤n. On désire montrer l’inégalité suivante :
cos(φ)|z1×...×zn|1
n≤¯¯¯
z1+...+zn
n¯¯¯(2)
(a) Donner un exemple de tels points z1,..., znen les représentant dans un re-
père.
(b) Montrer que, pour tout nombre complexe z=a+ib, on a les inégalités a≤
|z|et b≤|z|.
(c) Prouver l’extension.
Indication pour la question 1-c : en posant kla plus petite valeur entière telle que
n≤2k, il faut se ramener à l’inégalité prouvée à la question précédente en rajoutant
des termes qui ne doivent pas modifier l’inégalité.
4