Feuille Suites et fonctions à valeurs complexes

1
1. Définition de l’exponentielle complexe
(Evc01) a. Montrer qu’il existe un entier N tel que Re(1 +
On rappelle que, si a est un nombre réel, on note z
)) > 0 dès que n ≥ n.
n
a+ = max(a, 0), a− = max(−a, 0) z
b. Former l’expression trigonométrique de 1 + en
n
On a alors a = a+ − a− . utilisant la fonction arctan.
a. Montrer, pour tout r réel positif la convergence de c. montrer que
1 1 2 1 n
 z n
la suite réelle (1 + 1! r + 2! r + · · · + n! r )n∈N . (1 + ) → ez
n n∈N
b. Soit (un )n∈N une suite de nombres complexes, on
pose

sn = u0 + u1 + · · · + un
Sn = |u0 | + |u1 | + · · · + |un |

Montrer que la convergence de la suite réelle

(Sn )n∈N entraı̂ne celle de la suite complexe (sn )n∈N .
Dans toute la suite et pour tout nombre complexe
z, on note
1 1 1
sn (z) = 1 + z + z2 + · · · + zn,
1! 2! n!
1 1 1
Sn (z) = 1 + |z| + |z|2 + · · · + |z|n
1! 2! n!
= sn (|z|)

c. Montrer que (sn (z))n∈N converge. On note s(z) sa

limite.
d. Montrer que s(z) = s(z).
i. Montrer que, pour tout complexes z et z 0 ,

sn (z)sn (z 0 ) − sn (z + z 0 )
X z i z 0j
=
2
i!j!
(i,j)∈{0,...,n} , i+j>n

ii. Montrer que pour tout complexes z et z 0 ,

 
i 0j 
 


X zz 
(i,j)∈{0,...,n}2 , i+j>n i!j! 
 

≤ s2n (|z| + |z 0 |) − sn (|z| + |z 0 |)

iii. En déduire

∀(z, z 0 ) ∈ C2 , s(z + z 0 ) = s(z)s(z 0 )

e. Soit z un nombre complexe fixé, montrer que la

dérivée de t → s(tz) est zs(tz).
En fait on définit la fonction exponentielle complexe en
posant exp(z) = s(z) pour tout nombre complexe z.
On vient de démontrer certaines des propriétés admises
en début d’année lors de la présentation des fonctions
usuelles.
2. (Evc02) Soit z un nombre complexe de partie réelle a et

de partie imaginaire b. On se propose de déterminer la

limite de la suite
 z 
(1 + )n
n n∈N
1 Voir le cours Nombres complexes

Cette création est mise à disposition selon le Contrat 1 document produit par maquisdoc.net le 24 août 2009
Paternité-Pas d’utilisation commerciale-Partage des Conditions Initiales à l’Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/