CHAPITRE 2

Fonctions lmentaires

2.1

Fonction exponentielle

Considrons la fonction suivante, dfinie par une srie entire en z.

f :

f (z) =

X
zn
n=0

z z2 z3
zn
= 1+ + + + + +
n!
1! 2! 3!
n!

Son rayon de convergence est donn par la rgle de dAlembert :





1
 n! 
 1 
= lim
= lim
= 0 === R = .
R n  (n + 1)!  n  n + 1 

Cest une srie qui est absolument convergente pour tout z C.

2.1.1 Proprits de la fonction f :

f (0) = 1
Pour x R on a,
f (x) =

X
xn
n=0

z, z C on a :

n!

=1+

x x2 x3
xn
+
+
+ +
+ = ex .
1! 2! 3!
n!

f (z) f (z ) = f (z + z ).

Preuve :

X
zn X zm
f (z) f (z ) =

n!
m!
n=0
m=0

Puisque on a des sries qui sont absolument convergentes donc commutativement

convergentes, on peut crire :
!
!
zn
z z2 z3
zn
z z2 z3

f (z) f (z ) = 1 + + + + + + 1 + +
+
+ +
+
1! 2! 3!
n!
1!
2!
3!
n!
!
!


z
z
z2
zz
z2
z3 z2 z z z2 z3
= 1+
+
+
+
+
+
+
+
+
1! 1!
2! 1!1! 2!
3! 2!1! 1!2!! 3!
zn1 z
znp zp
zn
zn
++
+
+ +
+ +
+
n! (n 1)!1!
(n p)!p!
n!
1
1
n!
1 p
=

= n ; do lon a :
(n p)!p! n! (n p)!p! n!
 1 

1
1  0 2
f (z) f (z ) = 1 + (z + z) +
2 z + 12 z z + 22 z2 +
03 z3 + 13 z2 z + 23 z z2 + 33 z3
1!
2!
3!

1  0 n
p
++
n z + 1n zn1 z + + n znp zp + + nn zn +
n!
Finalement on obtient :
Remarquons que

X (z + z )n
1
1
1
= f (z+z ).
f (z) f (z ) = 1+(z+z )+ (z+z )2 + (z+z )3 + + (z+z )n + =
2!
3!
n!
n!
n=0

Par analogie avec la fonction exponentielle relle, et les trois proprits pcdentes,
adoptons la notation suivante,
z

z C, e =

X
zn
n=0

n!

=1+

z z2 z3
zn
+ + + + +
1! 2! 3!
n!

z C, ez , 0.
Preuve : Supposons quil existe z C tel que ez = 0,
1 = e0 = ezz = ez ez = 0 ez ,
comme la srie converge pour tout z dans C ; donc ez est fini, donc 0 ez = 0, lgalit
est impossible. En conclusion,
z C, ez , 0; ez =

ez

2.1.2 Formule dEuler

Considrons le cas o z = iy avec y dans R, eiy prend une forme trs intressante.

X
(iy)n
1
1
1
iy
e =
= 1 + (iy) + (iy)2 + (iy)3 + + (iy)n +
n!
2!
3!
n!
n=0
!
!
2
4
2n
3
5
2n+1
y
y
y
y
y
y
= 1
+
+ (1)n
+ + i y
+
+ (1)n
+ .
2! 4!
(2n)!
3! 5!
(2n + 1)!
On reconnat le dveloppement en srie entire des fonctions sinus et cosinus, do :
y R,
M r A N -E

eiy = cos y + i sin y.

Cest la clbre formule dEuler.

Rappelons les deux relations suivantes,

x R,

eix + eix

cos
x
=

ix
ix

sin x = e e
2i

(2.1)

2.1.3 Priodicit de lexponentielle :

Les deux fonctions sinus et cosinus tant priodiques de priode 2, on a :

z C, k Z,
ez = ex (cos y + i sin y) = ex (cos(y + 2k) + i sin(y + 2k))
= ex ei(y+2k) = e(x+iy)+2ki = ez+2ki .
Do,
z C k Z,

ez = ez+2ki .

La fonction exponentielle est priodique, de priode 2i.

2.1.4 Partie relle et partie imaginaire de lexponentielle :

Posons z = x + iy, x et y deux rels ;
ez = ex+iy = ex . eiy = ex (cos y + i sin y).
Do lon a :

Re(ez ) = ex cos y

Im(ez ) = ex sin y.

2.1.5 Holomorphie de lexponentielle :

Montrons que la fonction exponentielle est holomorphe dans C, pour cela montrons
que la partie relle et la partie imaginaire vrifient les deux conditions de CauchyRiemann, on a Re(ez ) = ex cos y = P(x, y) et Im(ez ) = ex sin y = Q(x, y) do :
P(x, y)
P(x, y)

= (ex cos y)x = ex cos y

= (ex cos y)y = ex sin y

x
y

Q(x, y)
Q(x, y)

= (e sin y)y = e cos y.

= (ex sin y)x = ex sin y.

y
x

Les deux conditions sont vrifies, ez est drivable et on a :

P(x, y)
Q(x, y)
d z
(e ) =
+i
= (ex cos y)x + i(ex sin y)x = ex cos y + i ex sin y = ez
dz
x
x
La fonction exponentielle est gale sa propre drive.
On pouvait procder dune autre manire.
Dans la srie qui dfinie lexponentielle ne figure pas le terme en z, on a donc

ez
= 0,
z

M r A N -E

donc ez est drivable dans C.

Pour la drive on a ;
!
z z2 z3
zn
z z2 z3
zn1
(e ) = 1 + + + + + + = 0 + 1 + + + + +
+ = ez .
1! 2! 3!
n!
1! 2! 3!
(n 1)!
z

2.1.6

Fonctions hyperboliques

On dfinit les fonctions cosinus hyperbolique et sinus hyperbolique , et quon note

respectivement ch et sh par,
ez + ez
ez ez
,
sh z =

2
2
On dfinit la fonction tangente hyperbolique et quon note th par,


sh z

th z =
o z C et z , i
+ k , k Z.
ch z
2
Les fonctions ch et sh sont priodiques de priode P = 2i, la fonction th a pour
priode P = i.
On dfinit aussi la cotangentehyperbolique comme linverse de la tangentehyperbolique et on la note coth.
Le dveloppement en srie entire pour les fonctions ch et sh est facile donner et on
a pour tout z dans C :
ch z =

z C,

ez + ez X z2n
ch z =
=
,
2
(2n)!
n=0

ez ez X z2n+1
sh z =
=
.
2
(2n + 1)!
n=0

Toutes les relations fonctionnelles suivantes sont faciles prouver, en passant

directement lexponentielle par exemple.
Pour tout z dans C on a : ch2 z sh2 z = 1.

et aussi pour tout z dans C on a :

ch(z) = ch z,

sh(z) = sh z.

ch(z + i) = ch z,



ch z + i
= i sh z,
2
ch(z + z ) = ch z ch z + sh z sh z ,

sh(z + i) = sh z.



sh z + i
= i ch z.
2
sh(z + z ) = sh z ch z + ch z sh z .

ch(2z) = ch2 z + sh2 z = 2 ch2 z 1 = 2 sh2 z + 1,

sh(2z) = 2 sh z ch z.

Pour les drives on a :

On a aussi :

(sh z) = ch z
(sh z)(2n) = sh z
(sh z)(2n+1) = ch z

n N
n N
pour z, z , i

& (ch z) = sh z
& (ch z)(2n) = ch z
& (ch z)(2n+1) = sh z


th z + th z

+ k , k Z on a th(z + z ) =
2
1 + th z th z
1
(th z) = 2 = 1 th2 z
ch z

M r A N -E

10

2.1.7

Fonctions trigonomtriques

Par analogie avec les foncions sh et ch et la formule dEuler, on dfinit sin z et cos z
pour z complexe et ceci en posant :
sin z =

eiz eiz
2i

cos z =

eiz + eiz
2

Ces deux fonctions sont priodiques de priode 2, On dfinit aussi la tangente quon note tg, et son inverse la cotangente et on la note cotg. Elles sont
impaires et priodiques de priode .
Le dveloppement en srie entire pour les fonctions cos et sin est facile donner et
on a pour tout z dans C :

z2n
cos z =
(1)
(2n)!
n=0
On dfinit aussi

Immdiatement on a :
1.
3.
5.
7.

sh z =

X
n=0

(1)n

z2n+1
(2n + 1)!

sin z

tg z =
z , + k o k Z

cos z
2

cos z

cotg z =
z , + k o k Z
sin z

sin(iz) = i sh z
cos(iz) = ch z
tg(iz) = i th z
cotg(iz) = i coth z

2.
4.
6.
8.

sh(iz) = i sin z
ch(iz) = cos z
th(iz) = i tg z
coth(iz) = i cotg z

Ces formules permettent de retrouver toutes les relations fonctionnelles des fonctions
circulaires connaissant celles des fonctions hyperboliques, et rciproquement.
Exemple : Pour tout t dans C on a :
ch2 t sh2 t = 1 cos2 (it) (i sin)2 (it) = 1 cos2 (it) + sin2 (it) = 1.
Posons it = z C, on a donc :
Pour tout z dans C on a : cos2 z + sin2 z = 1
Remarque trs importante :
Pour tout z dans R les fonctions sinus et cosinus sont bornes.
z R

1 6 sin z 6 1

1 6 cos z 6 1

Par contre pour z dans C on peut avoir | cos z| > 1 ou | sin z| > 1, et en gnral lquation
sin z = a a toujours des solutions pour tout a dans C.

2.1.8

Fonction Logarithme

Problme :
Trouver tous les nombres complexes t tels que et = z o z est un complexe donn.
Solution :
Puisque t C, et , 0, donc ncessairement z C .
Posons t = x + iy, x, y R et z = (cos + i sin ), > 0, R.

11

M r A N -E

On a donc :
et = z ex+iy = ex (cos y + i sin y) = (cos + i sin ).
Lgalit des modules donne : ex = x = Log .
cos y = cos
Le systme
y = + 2k
k Z.
sin y = sin
Finalement t = Log + i( + 2k) = Log |z| + i(arg z + 2k).
Comme arg(z) est dfini un multiple entier de 2 prs ; alors on dfinit logarithme
du nombre complexe z ; par
z C ,

Log z = Log |z| + i arg z.

Dfinition 2.1.1
On appelle dtermination principale du logarithme dun nombre complexe z , 0 , le nombre :
z , 0,

Log z = Log |z| + i arg z,

o 0 6 arg z < 2.

Remarque 2.1.1 Lgalit Log(z.z ) = Log(z) + Log(z ), nest pas toujours vraie ; mais la
diffrence est un multiple entier de 2i, cest dire ;
z, z C ,

Log(z.z ) Log(z) + Log(z )

modulo[2i].

Exemple : Utilisons la dtermination principale du logarithme :

1
5
i.
Log(1 i) = Log | 1 i| + i arg(1 i) = Log 2 +
2
4
Log(1) = Log | 1| + i arg(1) = i.
1

Log(1 i)(1) = Log(1 + i) = Log |1 + i| + i arg(1 + i) = Log 2 + i.

2
4
do :




 1

1
5
Log(1i)(1) Log(1i)+Log(1) = Log 2+ i
Log 2 +
i + (i) = 2i.
2
4
2
4
La fonction exp tant priodique, on ne peut pas dfinir sa rciproque dune faon
unique et dfinitive.

2.1.9

Exercices rsolus

Exercice 1.
Soit a un nombre rel donn, rsoudre et discuter dans C lquation : sin z = a.
Solution :
eiz eiz
sin z = a
= a e2iz 1 = 2ia eiz .
2i
Posons : eiz = X , 0, on a donc X2 2iaX 1 = (X ia)2 + a2 1 = 0.
1er cas :a = 1 (ou a = 1).

On a une solution double ; X = i (ou X = i pour a = 1) z = + 2k k Z

2

(ou z = + 2k k Z pour a = 1)
2
2me cas :|a| < 1.

Deux racines distinctes ; X1 = ia + 1 a2 et X2 = ia 1 a2 .

On a donc les deux
solutions :

2 ) et iz = Log(ia
2 ), comme |ia
iz1 = Log(ia
+
1

a
1

a
1 a2 | = 1, posons
2

arg(ia + 1 a2 ) = et donc arg(ia 1 a2 ) = .

M r A N -E

12

z1 = + 2k k Z et z2 = + 2k k Z ; ce sont donc des racines relles.

3me cas :|a| > 1.

Deux racines distinctes ; X1 = i(a + a2 1) et X2 = i(a a2 1).

On a donc les deux
solutions :

2 1 > 0 et donc |a +
2 1| = a +
Si a > 1, alors
a
+
a
a
a2 1

et arg(i(a + a2 1)) =
+ 2k. Do iz1 = Log(a + a2 1) + i( + 2k) z1 =
2
2

2
( + 2k) i Log(a + a 1)
2

Si a < 1,
alors a + a2 1 > 0 et donc |a + a2 1| =a a2 1.

et arg(i(a + a2 1)) = + 2k. Do iz2 = Log(a a2 1) + i( + 2k) z1 =

2
2

2
( + 2k) i Log(a a 1).
2
Comme on devait sy attendre, dans les deux cas a > 1 ou a < 1 aucune racine nest
relle.
Exercice 2.
Rsoudre dans C lquation :
ez = 1 + i.
Solution.
Premire mthode :
Posons z = x + iy, lquation
est donc quivalente :

x
e (cos y + i sin y) = 2(cos(/4) + i sin(/4)); do lon tire ;

 x

e = 2
x = Log 2

y = /4 + 2k, k Z.
y = /4 + 2k, k Z.
Finalement,

z = Log
Deuxire mthode :

2 + i(/4 + 2k), k Z.

ez = 1 + i = z = Log(1 + i) = Log |1 + i| + i arg(1 + i) = Log

2 + i(/4 + 2k); k Z.

Exercice 3.
Donner le module de f (z) = sin z.
Solution :
On a z = x + iy C o x, y R.
f (z) = sin(x + iy) = sin x cos(iy) + cos x sin(iy) = sin x ch y + cos x(i sh y).
sin(x + iy) = sin x ch y + i cos x sh y.
Do lon tire,


Re( f (z)) = sin x ch y

Im( f (z)) = cos x sh y.

| sin z|2 = (sin x ch y)2 + (cos x sh y)2 = sin2 x ch2 y + cos2 x sh2 y
= sin2 x(1 + sh2 y) + (1 sin2 x) sh2 y = sin2 x + sh2 y
= (1 cos2 x) ch2 y) + cos2 x(ch2 y 1) = ch2 y cos2 x.
Do lon tire deux formules pour le module,
q
| sin z| =
sin2 x + sh2 y,
q
=
ch2 y cos2 x.

13

M r A N -E

Exercice 4.
Donner le logarithme du nombre z = 22 + 21i.
Solution :
Par dfinition on a,
Log z = Log(22 + 21i) = Log | 22 + 21i| + i Arg(22 + 21i).

.1 | 22 + 21i| = 222 + 212 = 29.

.2 Soit theta un argument de 22 + 21i, on peut observer que lon peur crire = +
2
ou bien = .
21

22
22
et tg = , on obtient alors = + Arctg , finalement ;
On a donc, tg =
21
22
2
21



22
Log(22 + 21i) = Log 29 + i
+ Arctg
+ 2k , k Z.
2
21
Ou encore,


21
+ 2k , k Z.
Log(22 + 21i) = Log 29 + i Arctg
22
Remarquons que a , 0, b , 0, Arctg

M r A N -E

a
b

+ Arctg = si ab > 0 et vaut si ab < 0.

b
a
2
2

14