Z

 ZZ

Z


Z
Z

Z
Z

Exercices : Jean-Franois Burnol

Corrections : Volker Mayer
Relecture : Franois Lescure

Exo7

Drivabilit au sens complexe, fonctions analytiques

Drivabilit complexe

Exercice 1
Montrer que la fonction f (z) =
Correction H

1
z

est holomorphe sur C \ {0} et vrifie f 0 (z) = z12 .

[002783]

Exercice 2
Si f et g sont deux fonctions drivables au sens complexe au point z0 ; montrer que f + g, f g et f g le sont et
donner la valeur de leurs drives au point z0 .
Correction H

[002784]

Exercice 3
Si f et g sont deux fonctions drivables au sens complexe au point z0 montrer que
complexe et donner la valeur de la drive lorsque g(z0 ) 6= 0.
Correction H

f
g

est drivable au sens

[002785]

Exercice 4
Montrer la formule pour la drive dune composition g f .
Correction H

[002786]

Exercice 5
Soit f et g deux fonctions n-fois drivables au sens complexe sur un ouvert non vide U (remarque : daprs le
cours il suffit quelles soient drivables une fois sur U pour quelles le soient un nombre quelconque de fois).
Montrer la formule de Leibniz gnralise :
n  
n ( j)
(n)
z U
( f g) (z) =
f (z)g(n j) (z)
j
j=0
Correction H

[002787]

Exercice 6

n
n
On se donne deux sries entires f (z) =
n=0 an z et g(z) = n=0 bn z de rayons de convergences R1 et R2 non
n
nuls. En utilisant le thorme sur les sries doubles prouver f (z)g(z) =
n=0 cn z pour |z| < R = min(R1 , R2 )
avec (formules dites de Cauchy) :
n

n N

cn =

a j bn j

j=0

n
Le rayon de convergence de la srie
n=0 cn z est-il toujours gal min(R1 , R2 ) ou peut-il tre plus grand ?

Correction H

[002788]

Exercice 7
Retrouver le rsultat de lexercice prcdent (lexercice 6) de manire plus indirecte en montrant que les coefficients cn = nj=0 a j bn j sont ceux de la srie de Taylor lorigine de la fonction holomorphe k(z) = f (z)g(z).
1

Correction H

[002789]

Exercice 8
En quels points la fonction z 7 z est-elle drivable au sens complexe, et/ou holomorphe ? Mme question pour
les fonctions z 7 x et z 7 y.
Correction H

[002790]

Exercice 9
Prouver quune fonction holomorphe sur un ouvert connexe, de drive identiquement nulle, est constante. Et
si louvert nest pas connexe ?
Correction H

[002791]

Exercice 10
Sur un ouvert connexe U on se donne une fonction holomorphe f qui a la proprit de ne prendre que des
valeurs relles. En utilisant les quations de Cauchy-Riemann, montrer que f est constante.
Correction H

[002792]

La fonction exponentielle

Exercice 11
Cet exercice propose une variante pour dvelopper la thorie de la fonction exponentielle.
1. On se donne une fonction f qui est n + 1-fois drivable au sens complexe sur le disque ouvert D(0, R) (on
sait quune fois suffit mais on ne va pas utiliser ce thorme difficile ici). Soit z D(0, R). En appliquant
la formule de Taylor avec reste intgral de Lagrange la fonction de la variable relle t 7 g(t) = f (tz)
pour 0 t 1, prouver :
f (z) = f (0) + f 0 (0)z +

f (2) (0) 2
f (n) (0) n n+1
z ++
z +z
2
n!

Z 1
(1 t)n (n+1)
f
(tz) dt
0

n!

2. On suppose que f est drivable au sens complexe une fois sur D(0, R) et vrifie f 0 = f et f (0) = 1.
Montrer que f est infiniment drivable au sens complexe. En utilisant la question prcdente montrer :



n k
|z|n+1
z 

 f (z)  ( sup | f (w)|)


(n + 1)!
|w||z|
k=0 k!
k

z
et en dduire que, pour tout z C on a : f (z) =
k=0 k! .
k

z
3. Rciproquement on considre la fonction F(z) =
k=0 k! . Vrifier que le rayon de convergence est infini.
tablir par un calcul direct que F 0 (0) existe et vaut 1. En utilisant le thorme sur les sries doubles,
montrer F(z + w) = F(z)F(w). En dduire ensuite que F est holomorphe sur C et vrifie F 0 = F.

Correction H

[002793]

Fonctions analytiques

Exercice 12
n
n
Soit
n=0 an z une srie entire de rayon de convergence R. Est-il exact que pour |z| > R on a lim |an z | = + ?
Correction H

[002794]

Exercice 13
2

Dterminer les sries de Taylor lorigine de

Correction H

1
1
1
1
1z , (1z)2 , (1z)3 , (1z)4 .

[002795]

Exercice 14
Dterminer en tout z0 6= 1 la srie de Taylor et son rayon de convergence pour la fonction analytique
Correction H

1
z1 .

[002796]

Exercice 15
Dterminer en tout z0 6= 1, 2 la srie de Taylor et son rayon de convergence pour la fonction analytique
1
(z1)(z2) . On aura intrt rduire en lments simples. De plus on demande dindiquer le rayon de convergence avant de dterminer explicitement la srie de Taylor.
Correction H

[002797]

Exercice 16
Dterminer en tout point z0 o elle est dfinie la srie de Taylor de la fonction
de convergence en fonction de z0 .

1
.
z3 1

On dterminera son rayon

[002798]

Exercice 17
k

2
On considre la srie entire
k=0 z . Quel est son rayon de convergence ? On note f (z) sa somme. Que
vaut limt1 f (t) ? (on prend 0 < t < 1 ; minorer f par ses sommes partielles). Plus gnralement que vaut
N
limt1 f (tw) (ici encore t est pris dans ]0, 1[), lorsque w vrifie une quation w2 = 1 ? En dduire quil est
impossible de trouver un ouvert U connexe intersectant D(0, 1) mais non inclus entirement dans D(0, 1) et une
fonction holomorphe g(z) sur U tels que g = f sur U D(0, 1). Pour tout z0 D(0, 1) dterminer alors le rayon
de convergence de la srie de Taylor de f au point z0 .

Correction H

[002799]

Exercice 18
Montrer que le rayon de convergence de chacune des sries concernes est 1 et prouver :
n
1.
n=1 nz ne converge en aucun point du cercle |z| = 1.
n

z
2.
n=1 n2 converge en tout point du cercle |z| = 1.
n

z
3.
n=1 n converge en tout point du cercle |z| = 1 sauf en z = 1.

Pour ce dernier cas on dfinit S0 = 1, S1 = 1 + z, S2 = 1 + z + z2 , . . .(on pose aussi S1 = 0). En crivant

n
zn = Sn Sn1 exprimer Nn=1 zn en fonction des Sn . Montrer que les Sn sont bornes lorsque |z| = 1, z 6= 1.
Conclure.
[002800]
Exercice 19
Montrer quun entier k 1 scrit de manire unique sous la forme 2n (2m + 1), n 0, m 0. Puis prouver
pour |z| < 1 :
n
z
z2
z2
z
+
+

+
.
n+1 + =
2
4
2
1z
1z
1z
1z
On justifiera les interversions de sries. Prouver aussi :
n

z
2z2
2n z2
z
+
+

+
.
n + =
2
2
1+z 1+z
1+z
1z
[002801]

Trigonomtrie complexe

Exercice 20
Lorsque z est complexe les fonctions sin(z), cos(z), sh(z) et ch(z) sont dfinies par les formules :
ez ez
eiz eiz
sh(z) =
2i
2
eiz + eiz
ez + ez
cos(z) =
ch(z) =
2
2
1. Montrer que cos et ch sont des fonctions paires et sin et sh des fonctions impaires et donner leurs reprsentations comme sries entires. Prouver eiz = cos(z) + i sin(z), sin(iz) = i sh(z), cos(iz) = ch(z),
sh(iz) = i sin(z), ch(iz) = cos(z).
2. tablir les formules :
cos(z + w) = cos(z) cos(w) sin(z) sin(w)
sin(z) =

sin(z + w) = sin(z) cos(w) + cos(z) sin(w)

en crivant de deux manires diffrentes ei(z+w) . Donner une autre preuve en utilisant le principe du
prolongement analytique et la validit (admise) des formules pour z et w rels.
3. Prouver pour tout z complexe cos( + z) = cos(z), sin( + z) = sin(z). Prouver cos( 2 z) = sin(z).
4. Prouver les formules cos2 z + sin2 z = 1 et ch2 z sh2 z = 1 pour tout z C.
Correction H

[002802]

Exercice 21
Montrer sin(a + ib) = sin(a) ch(b) + i cos(a) sh(b). Puis en prenant dornavant a et b rels, prouver :
a, b R =

| sin(a + ib)|2 = sin2 (a) + sh2 (b)

Dterminer alors les nombres complexes z = a + ib tels que sin(z) = 0. Donner une autre preuve.
Correction H

[002803]

Exercice 22
Montrer :
a, b R =

| cos(a + ib)|2 = cos2 (a) + sh2 (b) = ch2 (b) sin2 (a)
[002804]

Dterminer les nombres complexes z avec cos(z) = 0.

Fonctions de Bessel

Exercice 23
Les fonctions de Bessel sont trs importantes en Analyse. Elles apparaissent trs souvent dans des problmes de
physique mathmatique. Lanalyse complexe permet dtudier de manire approfondie ces fonctions. Ici nous
nous contentons des tout dbuts de la thorie. Nous ne considrons que les fonctions1 J0 , J1 , J2 , . . ., qui sont
dfinies par les formules : 2

N, z C

J (z) =

( z )2n+

2
(1)n n!(n
+ )!

n=0
1 dites

fonctions de Bessel de premire espce (et dindices entiers).

dit :


z
z2
z4
z6
J (z) =
1
+

+...
2.4. . . . .(2)
2.(2 + 2) 2.4.(2 + 2).(2 + 4) 2.4.6.(2 + 2).(2 + 4).(2 + 6)

2 Autrement

Remarquez que seule la constante 2.4. . . . .(2) = 2 ! nous restreint (pour le moment) des valeurs entires de . Si on en fait abstraction on obtient avec = 21 la fonction multiforme z1/2 cos(z) ; tandis quavec = + 21 on obtient z1/2 sin(z). Les dfinitions
q
q
2
2
exactes sont J1/2 (z) = z
cos(z) et J1/2 (z) = z
sin(z).

1. Montrer que le rayon de convergence de la srie dfinissant J est +.

2. En drivant terme terme prouver les formules :
(z J )0 = z J1

( 1)

( 0)

(z

J ) = z

J+1

En particulier on a (zJ1 )0 = zJ0 et J0 = J1 .

d
d
+ )J = zJ1 ( 1) et (z dz
)J = zJ+1
3. Rcrire les quations prcdentes sous la forme (z dz
d
+1
d

( 0) et en dduire ( dz + z )( dz z )J = J , puis, aprs simplification, lquation diffrentielle de

Bessel :
z2 J00 + zJ0 + (z2 2 )J = 0

4. Montrer, pour tout N, que la srie entire dfinissant J est la seule ( une constante multiplicative
prs) qui donne une solution de lquation diffrentielle de Bessel.3
[002805]

Retrouver cette fiche et dautres exercices de maths sur exo7.emath.fr

3 les

autres solutions de lquation diffrentielle sont singulires en z = 0, avec une composante logarithmique ( Z). Pour
/Z
il y a une solution en z (k0 ck zk ) et une autre en z (k0 dk zk ).

Correction de lexercice 1 N
Il suffit de vrifier que f est drivable au sens complexe. Pour tout z 6= 0 :
1

f (w) f (z)
1
lim
= lim w z = lim
wz
wz w z
wz w z
wz

zw
wz


=

1
.
z2

La fonction f est bien holomorphe sur C \ {0} avec f 0 (z) = z12 .

Correction de lexercice 2 N
Considrons le produit f g. En utilisant la dfinition mme de la drive, on a :
f (z + h) f (z)
1
g(z + h) g(z)
+ g(z)
( f (z + h)g(z + h) f (z)g(z)) = f (z + h)
h
h
h
f (z)g0 (z) + g(z) f 0 (z) lorsque h 0 .
Autre manire :

f (z + h)g(z + h) = ( f (z) + f 0 (z)h + h(h))(g(z) + g0 (z)h + h(h))

= f (z)g(z) + ( f (z)g0 (z) + f 0 (z)g(z))h + h(h) .

Do ( f g)0 (z) = f (z)g0 (z) + f 0 (z)g(z).

Correction de lexercice 3 N
De la mme faon que pour la correction de lexercice 2 on a
f (z + h)
f (z) + f 0 (z)h + h(h)


=
g(z + h) g(z) 1 + g0 (z) h + h(h)
g(z)


1
g0 (z)
1
h + h(h)
g(z)
g(z)
0
0
f (z) f (z)g(z) g (z) f (z)
=
+
h + h(h)
g(z)
g2 (z)

= ( f (z) + f 0 (z)h + h(h))

si g(z) 6= 0.
Correction de lexercice 4 N
On utilise de nouveau la dfinition de la drive, dabord pour f en z puis pour g au point f (z) :
f (z + h) = f (z) + f 0 (z)h + h(h).
Notons wh = f 0 (z)h+h(h). Alors (et comme dans les exercices prcdents on utilise epsilon pour nimporte
quelle fonction tendant vers zro lorsque sa variable tend vers zro) :
g( f (z + h)) = g( f (z) + wh ) = g( f (z)) + g0 ( f (z))wh + wh (wh ).
Ainsi :

wh
1
g( f (z + h)) g( f (z)) = g0 ( f (z)) + (wh )
.
h
h
Lorsque h 0, on a wh 0, donc (wh ) 0 et par ailleurs whh f 0 (z). Au final

wh
(g f )0 (z) = lim g0 ( f (z)) + (wh )
= g0 ( f (z)) f 0 (z).
h0
h

Correction de lexercice 5 N

La formule de Leibniz se montre par rcurrence. Le cas n = 1, cest--dire ( f g)0 = f g0 + f 0 g, a t dmontr

dans lexercice 2. Supposons alors que cette formule soit vraie au rang n 1. Dans ce cas,

o
n  n
d 
n
(n+1)
(n)
( f g)
(z) =
( f g)
(z) =
f ( j+1) (z)g(n j) (z) + f ( j) (z)g(n j+1) (z)
dz
j=0 j


n+1
n  
n
n ( j)
( j)
(n+1 j)
=
f (z)g
(z) +
f (z)g(n+1 j) (z).
j

1
j
j=1
j=0
La conclusion vient du fait :

n
j1

n
j

n+1
j

qui est simple vrifier.

Correction de lexercice 6 N
Prenons r < min(R1 , R2 ). Alors, il existe C > 0 et 0 < < 1 tels que |an |rn C n et |bn |rn C n (vrifiez-le !).
Do
n

|a j |r j |bn j |rn j (n + 1)C2 n ,

j=0

ce qui permet daffirmer, pour tout z avec |z| = r :

|a j z j ||bn j zn j |

n=0

<.

j=0

Par le thorme du cours sur les sries doubles (voir le polycopi 2005/2006 de J.-F. Burnol, Annexe 8.2), ceci
signifie que la srie double

(a j z j bk zk )

j=0 k=0

est absolument convergente. On peut donc daprs ce thorme affirmer :

f (z)g(z) =

a j z j bk zk = (a j z j )(bn j zn j )

j=0

n=0

k=0

j=0

n
n
Or, la srie de droite est
n=0 cn z avec cn = j=0 a j bn j . Au passage on obtient que le rayon de convergence
de cette srie est au moins gal r. Comme r < min(R1 , R2 ) est arbitraire, le rayon de convergence est en fait au
1
et g(z) = 1 z,
moins gal min(R1 , R2 ) (il peut tre plus grand comme on le voit par exemple avec f (z) = 1z
2z
1z
ou encore avec f (z) = (1z)(3z) et g(z) = (2z)(3z) ).

Correction de lexercice 7 N
Il suffit dutiliser la formule de Leibniz de lexercice 5 et le fait que le coefficient an du dveloppement de f
lorigine est an = f (n) (0)/n!.
Correction de lexercice 8 N
La fonction f (z) = z nest nulle part drivable au sens complexe (et donc nulle part holomorphe) : car
1
h
( f (z + h) f (z)) =
h
h
et la limite de cette expression nexiste pas lorsque h 0. Remarque. Plus gnralement, une application R
linaire de C dans C est de la forme
w 7 w + w

(1)

(ce nest quune criture complexe des applications linaires de R2 dans R2 ) ; une telle application est holomorphe si et seulement si = 0. Cest exactement la diffrence entre diffrentiabilit (donc relle) et holomorphie (drivabilit au sens
 complexe).
 En effet, les quations de Cauchy-Riemann sont quivalentes lquation

z f (z) = 0 o z = 2 x + i y . Cest une rcriture complexe des quations de Cauchy-Riemann. Si vous

7

avez une fonction f diffrentiable, alors sa diffrentielle D f (z) est une application linaire de la forme (1). Un
calcul simple montre que dans ce cas
=
avec

f
(z)
z

x i y . De nouveau, f est complexe diffrentiable en z si et seulement si = z (z) = 0. Dans

f 0 (z) = zf (z). Revenons lexercice. Si vous tes daccord avec ma remarque, alors nous sommes aussi

ce cas

f
(z) et
z

1
2

daccord sur le fait que :

z+z
2
nest pas holomorphe. Ce raisonnement sapplique aussi z 7 y. Nous reviendrons ce genre dapplications
dans lexercice 10.
z 7 x =

Correction de lexercice 9 N
Pour viter des raisonnements topologiques, supposons dans un premier temps que soit un disque, par
exemple le disque unit = D = D(0, 1), et montrons que f est constante et gale f (0). Si z D, alors
le segment [0, z] D (et cest pour cette raison que lon a pris = D). On peut crire
f (z) f (0) =

Z z

f 0 (z) dz = 0.

Seulement, ici il faut expliquer le sens de cette intgrale (non connue pour linstant). Soit : [0, 1] [0, z],
(t) = tz, une paramrisation du segment [0, z]. Alors,
Z z

f 0 (w) dw =

Z 1

f 0 ((t)) 0 (t) dt =

Z 1

Z 1

f 0 (tz)z dt

Z 1




Re f 0 (tz)z dt + i
Im f 0 (tz)z dt = 0.

Pour le cas dun ouvert connexe quelconque le prcdent raisonnement montre quau voisinage de tout point
z0 la fonction f est constante. Cest donc une proprit ouverte. Autrement dit, si z0 est un point
quelconque, lensemble
E = {z ; f (z) = f (z0 )}
est un ouvert. Pour conclure il faut tablir que E est aussi un ferm de (topologie induite ! !). Or ceci est
vident puisque E = f 1 ({ f (z0 )}) et f est continue. Notons que E 6= 0/ puisque z0 E . Les seuls ensembles
la fois ouverts et ferms du connexe tant lensemble vide et , on a = E . La fonction f est constante sur
. Si nest pas connexe, f peut prendre diffrentes valeurs sur les diffrentes composantes connexes de .
Correction de lexercice 10 N
Soit f (z) = u(z) + iv(z) pour z U. Si f ne prend que des valeurs relles, alors v 0. On tire des quations de
Cauchy-Riemann
u v
=
=0
x y
u
v
=
0.
y
x
La drive de f est alors identiquement nulle sur louvert connexe ce qui implique que f est constante (voir
lexercice 9).
Correction de lexercice 11 N

1. La formule de Taylor avec reste intgral est

g(b) = g(a) + g0 (a)(b a) + ... +

g(n) (a)
(b a)n +
n!

Z b
(b t)n
a

n!

g(n+1) (t) dt

puis on remplace avec a = 0 et b = 1.

2. Si f 0 = f et si f est nfois drivable au sens complexe, alors limh0 ( f (n) (z+h) f (n) (z))/h = limh0 ( f (n1) (z+
h) f (n1) (z))/h = f (n) (z). Par rcurrence on en dduit, dune part, que f est infiniment drivable et,
dautre part, que f (n) (z) = f (z) pour tout n 0. En particulier, f (n) (0) = 1 pour tout n 0. En utilisant
la formule de Taylor de la question prcdente on a donc


Z 1

n k
z 
(1 u)n (n+1)

|f
(uz)| du
 f (z)  |z|n+1


n!
0
k=0 k!
n+1

|z|

sup | f

(n+1)

(w)|

Z 1
(1 u)n
0

|w||z|

n!

du sup | f (w)|
|w||z|

|z|n+1
.
(n + 1)!

z
Cette dernire expression tend vers 0 lorsque n . Do f (z) =
k=0 k! .

3. Fixons z C et notons ak =

zk
k! .

Alors :


 ak+1 
1


 ak  = |z| k + 1 0

lorsque k . On en dduit que le rayon de convergence de cette srie est (dAlembert) et que F est
holomorphe sur C. De plus :
kzk1
F 0 (z) =
= F(z)
k1 k!
pour tout z C. Par le thorme sur les sries doubles (en fait lexercice 6)

z j wk j
1
=
j! (k j)! k!
k=0 j=0
k=0

F(z)F(w) =

j=0

k!
z j wk j
j!(k j)!

k! (z + w)k = F(z + w).

k=0

Correction de lexercice 12 N
Non lim supn |an zn | = + mais il ny a pas de raison pour que lim infn |an zn | = +. Prenez par exemple
2n
n
la srie :
n=0 z , de rayon de convergence R = 1, mais (|an z |) na pas de limite (la valeur est 0 pour n impair
n
et |z| pour n pair, qui tend vers linfini lorsque |z| > 1).
Correction de lexercice 13 N

1
= zk
|z| < 1.
1 z k=0
0


1
1
=
=
kzk1 pour

(1 z)2
1z
k=1

|z| < 1.

etc.
Correction de lexercice 14 N
Discutons dabord le rayon de convergence. Dailleurs, ce qui suit sapplique galement aux exercices suivants.
Donc, daprs le thorme danalycit des fonctions holomoephes (voir le polycopi 2005/2006 de J.-F. Burnol :
thorme 10 du chapitre 6), si f est holomorphe dans U C, si z0 U et si r > 0 tel que D(z0 , r) U, alors la
9

1
srie de Taylor de f en z0 converge et sa somme vaut f dans ce disque D(z0 , r). Ici f (z) = z1
. Cette fonction
est holomorphe dans U = C \ {1}. Par consquent, si z0 U, alors la srie de Taylor de f en z0 vaut f dans le
disque D(z0 , R1 ) si R1 = |z0 1|. Le calcul de la srie est classique :


1
1
1
1
1
z0 z k
=

=
=
z0 1
z 1 z z0 + z0 1 z0 1 1 z0 z
z0 1 k0
z0 1

pour |z z0 | < |z0 1| = R1 .

Correction de lexercice 15 N
1
La fonction f (z) = (z1)(z2)
est holomorphe dans U = C \ {1, 2}. Par ce que lon vient de dire lexercice
prcdent, le rayon de convergence demand est R = min{|z0 1|, |z0 2|}, o z0 U est un point quelconque
1
1
1
fix. On a (z1)(z2)
= z2
z1
et :


1
1
1
1
1
z0 z k
=

=
=
z0 2
z 2 z z0 + z0 2 z0 2 1 z0 z
z0 2 k0
z0 2

pour |z z0 | < |z0 2| = R2 . La srie demande est alors la diffrence entre celle-ci et celle de lexercice
prcdent. Notons aussi que le rayon de convergence est exactement le minimum des rayons R1 et R2 .
Correction de lexercice 17 N
k

2
Le rayon de convergence est R = 1. Soit 0 < t < 1 et tudions f (t) =
k=0 t . Il sagit dune srie de termes
positifs. Do
N1

f (t)

t2

pour tout N N.

k=0

Il en rsulte lim inft1 f (t) N or N est arbitraire, donc limt1 f (t) = . Soit maintenant w un nombre comN
k
plexe du cercle unit vrifiant w2 = 1 pour un N N. Dans ce cas w2 = 1 pour tout k N. Si de nouveau
0 < t < 1, alors
N1

f (tw) =

(tw)2
k=0

t2 .
kN

Lorsque t 1, alors la premire somme tend vers un nombre complexe (fini, en fait de module au plus N) et la
N
deuxime vers . Les nombres complexes w ayant la proprit w2 = 1 pour un certain N N sont denses dans
le cercle unit {|z| = 1}. Ceci, et le principe de prolongement analytique, interdit lexistence de la fonction g
holomorphe sur U comme dcrit dans lexercice. Si z0 D(0, 1), alors le rayon de convergence de la srie de
Taylor de f en z0 est R = 1 |z0 |.
Correction de lexercice 20 N
Il sagit de formules bien connues lorsque les arguments z, w sont rels. La vrification partir des dfinitions des fonctions trigonomtriques donnes dans lnonc de lexercice est laisse au lecteur. Voici comment
obtenir la formule :
cos(z + w) = cos(z) cos(w) sin(z) sin(w)

pour z, w C .
(2)


Fixons w R. Soit fw (z) = cos(z + w) cos(z) cos(w) sin(z) sin(w) . La formule (2) tant vraie pour z, w
R, fw (z) = 0 pour tout z R. Il rsulte du principe des zros isols que fw est identiquement nulle. Autrement
dit, on vient dtablir la formule (2) pour (z, w) C R. Il suffit maintenant de refaire le mme argument en
fixant dabord z C arbitrairement et en observant que la fonction holomorphe
gz (w) = cos(z + w) (cos(z) cos(w) sin(z) sin(w))
est nulle pour tout w R. De nouveau gz 0 par le principe des zros isols, do la formule (2) pour tout
z, w C.
10

Correction de lexercice 21 N

1  ia
(e eia )(eb + eb ) (eia + eia )(eb eb )
4i


1 iab
e
eia+b = sin(a + ib).
=
2i

sin(a)ch(b) + i cos(a) sh(b) =

Si a, b R, alors :

| sin(a + ib)|2 = (sin(a) ch(b))2 + (cos(a) sh(b))2

= sin2 (a)(1 + sh2 (b)) + (1 sin2 (a)) sh2 (b)
= sin2 (a) + sh2 (b).

Cette somme de carrs de nombres rels ne peut tre nulle que si sin(a) = 0 et sh(b) = 0, cest--dire a Z
et b = 0. Donc sin(z) = 0 z Z.

11