Christophe Bertault — Mathématiques en MPSI

NOMBRES COMPLEXES ET TRIGONOMÉTRIE

L’introduction qui suit est plus un survol destiné à vous séduire qu’un voyage sur la terre ferme au cours duquel on
prouverait tout, mais tout vient à point à qui sait attendre et l’essentiel sera démontré en fin d’année.
X n 
zk
Nous verrons plus tard dans l’année que pour tout z ∈ C, la suite complexe converge. Par X zn
+∞
k! n∈N
définition, sa limite est notée ez et appelée exponentielle (de) z. k=0
ez = .
x n=0
n!
Ne sommes-nous pas cependant en train de donner une deuxième signification à la notation e quand x
est un réel alors qu’elle en a déjà une ? Heureusement non, les deux exponentielles coïncident. La fonction
exponentielle qu’on vous a introduite en Première est en effet la seule fonction f ∈ D(R, R) pour laquelle f ′ = f et f (0) = 1
et il se trouve que la nouvelle exponentielle possède ces propriétés. En principe, une somme infinie ne se dérive pas comme
une somme finie, mais on peut montrer que dans le cas qui nous occupe, les choses se passent bien. Ainsi, pour tout x ∈ R :
 +∞   ‹ +∞
d X x n Gonflé ! X d x n X nx n−1 +∞ X x n−1 X xk X 0n
+∞ +∞ +∞
d

ex = = = = = = ex et e0 = = 00 = 1.
dx dx n=0 n! n=0
dx n! n=0
n! n= 1
(n − 1)! k=0
k! n=0
n!

Plus généralement, étant donnés un intervalle I et une fonction ϕ ∈ D(I , C), dérivons la fonction complexe eϕ :
X ϕ n ′ Gonflé ! +∞
 +∞ X nϕ ′ ϕ n−1 X ϕ n−1
+∞ X ϕk
+∞

′
eϕ = = = ϕ′ = ϕ′ = ϕ ′ eϕ .
n=0
n! n=0
n! n= 1
(n − 1)! k=0
k!

Intéressons-nous à présent au produit de deux exponentielles et autorisons-nous à manipuler les sommes infinies avec
légèreté. Nous verrons en fin d’année que les calculs qui suivent sont corrects, mais ça n’a rien d’évident. Pour tous z, z ′ ∈ C :
′
X z i +∞
+∞ X z′ j X z i z ′ j +∞X X zi z′ j
ez ez = × = = après regroupement des termes en fonction de i + j
i=0
i! j=0 j! i, j¾0
i! j! n=0 i, j¾0
i! j!
i+ j=n
XX n  ‹
X 1 X n i ′n−i X (z + z ′ )n
+∞ n +∞ +∞
z i z ′n−i ′
= = zz = = ez+z .
n=0 i=0
i!(n − i)! n=0 n! i=0 i n=0
n!
′ ′
Qui eût cru que la relation ez+z = ez ez était une autre manière d’énoncer la formule du binôme ? En particulier, pour
1
tout z ∈ C : ez e−z = e0 = 1, donc d’une part ez 6= 0, et d’autre part z = e−z .
e
X z n +∞
+∞ Xzn
z
Autre relation utile, pour tout z ∈ C : ez = = = e . En particulier, pour tout x ∈ R :
n=0
n! n=0 n!
2
eix = eix eix = eix eix = eix e−ix = eix−ix = e0 = 1,
donc eix appartient à l’ensemble U des nombres complexes de module 1. On définit finalement les fonctions cosinus et sinus
à partir de l’exponentielle complexe en posant pour tout x ∈ R :

eix + e−ix
eix − e−ix

cos x = Re eix = et sin x = Im eix = .
2 2i

Les fonctions ainsi définies sont de banales fonctions de R dans R et pour tout x ∈ R : eix = cos x + i sin x. En termes
de module, cette relation montre que cos2 x + sin2 x = 1, et si nous la dérivons, que :
d

cos′ (x) + i sin′ (x) = eix = i × eix = i × (cos x + i sin x) = − sin x + i cos x,
dx
donc par identification des parties réelle et imaginaire : cos′ = − sin et sin′ = cos.
Dernier calcul essentiel, pour tous x, y ∈ R : cos(x + y) +i sin(x + y) = ei (x+ y) = eix ei y = (cos x + i sin x) (cos y + i sin y)



= cos x cos y − sin x sin y + i sin x cos y + cos x sin y ,
donc par identification des parties réelle et imaginaire : cos(x + y) = cos x cos y − sin x sin y
et : sin(x + y) = sin x cos y + cos x sin y. Beurk !
Je ne m’aventurerai pas plus loin sur ce sentier qui pose plus de questions qu’il n’apporte de réponses. Si on suivait la
piste jusqu’au bout, on parviendrait à définir le nombre π lui-même à partir de l’exponentielle complexe en montrant que
les solutions de l’équation eix = 1 d’inconnue x ∈ R sont tous les multiples d’un certain réel positif, 2π par définition.
Mais trêve de bavardages ! Oubliez les détails et retenez ceci : LA TRIGONOMÉTRIE EST FONDAMENTALEMENT UNE AFFAIRE
DE NOMBRES COMPLEXES. Bien que C ait pu vous sembler artificiel au premier abord, la relation unique ei (x+ y) = eix ei y est
clairement plus satisfaisante que les deux formules d’addition cos(x + y) = . . . et sin(x + y) = . . . L’exponentielle complexe
est le thème de ce chapitre et le bon objet duquel nous partirions proprement si nous en avions les moyens. Nous ne les
avons pas à ce stade de l’année, c’est comme ça, et je m’appuierai désormais uniquement sur vos connaissances du lycée.

1
Christophe Bertault — Mathématiques en MPSI

1 FONCTIONS COSINUS, SINUS ET TANGENTE

1.1 RELATIONS DE CONGRUENCE

Définition (Relations de congruence, ensembles αZ + β ) Soit α, β ∈ R. Pour tous x, y ∈ R, on dit que x est congru
à y modulo α, ce qu’on note : x ≡ y [α], si pour un certain k ∈ Z : x = y + kα.
¦ © ¦ ©
L’ensemble x ∈ R | x ≡ β [α] = β + kα | k ∈ Z est généralement noté αZ + β ou β + αZ.

Exemple
• Être pair c’est être congru à 0 modulo 2, être impair c’est être congru à 1 modulo 2. L’ensemble des entiers pairs est
donc 2Z tandis que l’ensemble des entiers impairs est 2Z + 1.
π 3π
• Les mesures d’angles orientés sont définies modulo 2π : 11π ≡ π [2π] et − ≡ [2π].
i h 2 2
π π
• On peut généraliser la notation « αZ + β ». Par exemple, − , + πZ est l’ensemble des réels de la forme x + kπ,
i π πh 2 2 i π πh π 
x décrivant − , et k décrivant Z. Dans ce cas particulier, il se trouve que − , + πZ = R \ + πZ .
2 2 2 2 2

1.2 FONCTIONS COSINUS ET SINUS

Définition-théorème (Fonctions cosinus et sinus, lien avec le cercle trigonométrique)

• Lien avec le cercle trigonométrique : Pour tout θ ∈ R : cos2 θ + sin2 θ = 1. b

2 2 2 sin θ
Réciproquement, pour tout couple (x, y) ∈ R pour lequel x + y = 1, il existe un θ
réel θ , unique modulo 2π, pour lequel (x, y) = (cos θ , sin θ ). En termes géométriques,
tout point du cercle trigonométrique a des coordonnées de la forme (cos θ , sin θ ). cos θ
sin x = sin y
si et seulement si
x vaut y ou π − y
π− y y • Résolution d’équations : Pour tous x, y ∈ R :
b b
modulo 2π.
sin y ¨
cos x = cos y ⇐⇒ x ≡ y [2π] ou x ≡ − y [2π].
cos x = cos y
si et seulement si sin x = sin y ⇐⇒ x ≡ y [2π] ou x ≡ π − y [2π].
cos y b x vaut y ou − y
−y modulo 2π.

• Transformations affines : Les relations suivantes se lisent toutes sur le cercle trigonométrique. Pour tout x ∈ R :
   
π π
sin(x + π) = − sin x sin(π − x) = sin x sin x + = cos x sin − x = cos x
2 2
 π π 
cos(x + π) = − cos x cos(π − x) = − cos x cos x + = − sin x cos − x = sin x
2 2

D’après les relations : cos(x + π) = − cos x et sin(x + π) = − sin x, ajouter π dans un cosinus ou un sinus revient
à le multiplier par −1. Ajouter kπ = π + . . . + π revient donc à multiplier par (−1) × . . . × (−1) = (−1)k pour tout k ∈ Z.

En d’autres termes : cos(x + kπ) = (−1)k cos x et sin(x + kπ) = (−1)k sin x. En particulier : cos(kπ) = (−1)k
et : sin(kπ) = 0.

$ Attention ! cos x = cos y ⇐⇒ x = y. À peine mieux : cos x = cos y ⇐⇒ x ≡ y [2π].

π
Exemple Pour tout x ∈ R : sin x = cos x ⇐⇒[π]. x≡
4
Démonstration Cette équivalence se lit bien sur le cercle trigonométrique,
  mais on peut aussi la démontrer
π
par le calcul. Pour tout x ∈ R : sin x = cos x ⇐⇒ sin x = sin −x Impossible
2 z }| {
π  π  π π π
⇐⇒ x ≡ − x [2π] ou x ≡ π − − x [2π] ⇐⇒ 2x ≡ [2π] ou 0 ≡ [2π] ⇐⇒ x ≡ [π].
2 2 2 2 4

2
Christophe Bertault — Mathématiques en MPSI

π π π π
x 0
4 6 3 2
Les valeurs remarquables du cosinus, du sinus p
1 3 1
et de la tangente (paragraphe suivant) cos x 1 p 0
2 2 2
doivent être connues PAR CŒUR ! 1
p
1 3
sin x 0 p 1
2 2 2
1 p
tan x 0 1 p 3
3

Définition-théorème (Fonctions cosinus et sinus, aspects fonctionnels)

• Fonction cosinus : La fonction cos est paire, 2π-périodique, indéfiniment dérivable sur R, et : cos′ = − sin.
• Fonction sinus : La fonction sin est impaire, 2π-périodique, indéfiniment dérivable sur R, et : sin′ = cos.
sin x
Pour tout x ∈ R : |sin x| ¶ |x|. En outre : lim = 1, autrement dit sin x ≈ x pour x proche de 0.
x→0 x
y = cos x y = sin x
b 3π b b 3π
Tangente en 0
π 2 2
d’équation y = x b

π 2π π π 2π
2 2
b b

sin x
Démonstration La limite lim = 1 n’est rien de plus que le nombre dérivé de la fonction sin en 0.
x→0 x
Ensuite, la fonction sin est concave sur [0, π] car sa dérivée cos y est décroissante, donc pour tout x ∈ [0, π] :
|sin x| = sin x ¶ sin′ (0) x + sin 0 = 0. A fortiori, pour tout x ∈ [−π, 0] : |sin x| = sin(−x) ¶ |− x| = |x|.
Enfin, l’inégalité est triviale pour x > π et x < π : |sin x| ¶ 1 ¶ π ¶ |x|.

Théorème (Fonctions cosinus et sinus, formules d’addition et de produit) Pour tous x, y ∈ R :

1€ Š
sin(x + y) = sin x cos y + cos x sin y sin x sin y = cos(x − y) − cos(x + y)
2
sin(x − y) = sin x cos y − cos x sin y 1€ Š
sin x cos y = sin(x + y) + sin(x − y)
cos(x + y) = cos x cos y − sin x sin y 2
1€ Š
cos(x − y) = cos x cos y + sin x sin y cos x cos y = cos(x + y) + cos(x − y)
2
1 − cos(2x) 1 + cos(2x)
Pour x = y, ces relations s’appellent formules de duplication : sin2 x = , cos2 x = ,
2 2
sin(2x) = 2 sin x cos x et cos(2x) = 2 cos2 x − 1 = 1 − 2 sin2 x.

Les formules d’addition et de duplication doivent être connues PAR CŒUR — et ce même si les secondes découlent des
premières. En revanche, vous devez juste savoir retrouver vite et bien les formules de produit, si possible de tête.

1.3 FONCTION TANGENTE

Définition-théorème (Fonction tangente)

i π πh sin
• Définition et régularité : On appelle fonction tangente la fonction définie sur − , + πZ par : tan = .
2 2 cos
Impaire et π-périodique, tan est indéfiniment dérivable sur son ensemble de définition et :
1
tan′ = 1 + tan2 = .
cos2
b
b

y = tan x
sin θ tan θ
θ
−π

−
π π π cos θ
2 2 Merci Thalès !
grand 1 tan θ
= =
petit cos θ sin θ

3
Christophe Bertault — Mathématiques en MPSI

Définition-théorème (Fonction tangente (suite))

i π πh
• Résolution d’équations : Pour tous x, y ∈ − , + πZ : tan x = tan y ⇐⇒ x ≡ y [π].
2 2
• Formules d’addition et de duplication : Les formules suivantes sont vraies pour tous les réels x et y pour
lesquels chaque terme est bien défini.
tan x + tan y tan x − tan y 2 tan x
tan(x + y) = , tan(x − y) = et tan(2x) = .
1 − tan x tan y 1 + tan x tan y 1 − tan2 x
x x
• Expression de cos x, sin x et tan x en fonction de tan : Pour tout x ∈ ] − π, π[+2πZ, si on pose t = tan :
2 2
1 − t2 2t 2t
cos x = 2
, sin x = 2
et tan x = .
1+ t 1+ t 1 − t2

1
La relation tan′ = 1 + tan2 = ne sert pas tant à calculer tan′ qu’à transformer cos en tan et vice versa.
cos2 C’est comme ça qu’il faut la retenir !
x
Les expressions de cos x, sin x et tan x en fonction de tan ne sont pas à connaître par cœur, vous devez en revanche
2
savoir qu’elles existent et savoir les retrouver rapidement en cas de besoin.

Démonstration
i π πh
• Définition : La tangente est définie là où le cosinus ne s’annule pas, i.e. sur − , + πZ.
i h 2 2
π π sin(−x) − sin x
• Imparité : Pour tout x ∈ − , + πZ : tan(−x) = = = − tan x.
2 2 cos(−x) cos x
i h
π π sin(x + π) − sin x sin x
• Périodicité : Pour tout x ∈ − , + πZ : tan(x + π) = = = = tan x.
2 2 cos(x + π) − cos x cos x
On comprend ici pourquoi la fonction tangente est π-périodique alors que sinus et cosinus ne sont que
2π-périodiques, deux signes « moins » se simplifient.
sin′ × cos − sin × cos′ cos2 + sin2 1
• Dérivée : tan′ = = , donc tan′ = = 1 + tan2 .
cos2 cos2 cos
h πh
2

• Variations et limites : Par imparité et π-périodicité, une étude sur 0, suffit. La fonction tangente est
h πh 2
strictement croissante sur 0, car tan′ = 1 + tan2 > 0. En outre : lim − sin x = 1 et lim − cos x = 0+ ,
2 x→ π x→ π
donc lim − tan x = +∞. 2 2
x→ π
2
sin x sin y
• Équation tan x = tan y : tan x = tan y ⇐⇒ = ⇐⇒ sin x cos y − cos x sin y = 0
cos x cos y
⇐⇒ sin(x − y) = 0 ⇐⇒ x − y ≡ 0 [π] ⇐⇒ x ≡ y [π].
 ‹
• Formule tan(x + y) : sin x sin y
cos x cos y +
sin(x + y) sin x cos y + cos x sin y cos x cos y tan x + tan y
tan(x + y) = = =  ‹= .
cos(x + y) cos x cos y − sin x sin y sin x sin y 1 − tan x tan y
cos x cos y 1 − ×
cos x cos y
x  x t+t 2t
• Expressions en fonction de t = tan : tan x = tan 2 × = 2
= ,
2 2 1− t 1 − t2 x
  2 tan
x x x x 2 x 2 2t
puis : sin x = sin 2 × = 2 sin cos = 2 tan cos = x = 1 + t2
2 2 2 2 2 1 + tan 2
2t 2
2
sin x 1 + t2 1− t
et enfin : cos x = = = .
tan x 2t 1 + t2
1 − t2

2 FONCTIONS ARCCOSINUS, ARCSINUS ET ARCTANGENTE

Périodiques, les fonctions cosinus, sinus et tangente ne sont pas injectives sur leurs ensembles de définition. Impossible
1
de leur trouver une réciproque ! Par exemple, l’équation cos x = d’inconnue x ∈ R a PLEIN de solutions, en l’occurrence
π π 2
tous les réels congrus à ou − modulo 2π, et aucun de ces réels n’est a priori plus recevable que les autres. Cela dit, il
3 3
est intéressant d’observer que d’après le TVI strictement monotone :

4
Christophe Bertault — Mathématiques en MPSI

— la restriction cos est bijective de [0, π] sur [−1, 1],

[0,π]
h π πi
— la restriction sin ”− π , π — est bijective de − , sur [−1, 1],
2 2 2 2
i h
π π
— la restriction tan —− π , π ” est bijective de − , sur R.
2 2 2 2
1 π
L’équation cos x = d’inconnue x ∈ [0, π] ne possède à présent plus qu’une seule solution, à savoir . En restreignant
2 3
le champ des possibles, nous avons créé de l’injectivité. On aurait bien sûr pu choisir d’autres domaines que [0, π], mais ce
choix arbitraire est désormais officiellement arrêté une fois pour toutes.

cos sin tan

h i i h
Domaine π π π π
[0, π] − , − ,
privilégié 2 2 2 2

Définition (Fonctions arccosinus, arcsinus et arctangente)

• Arccosinus : La fonction cos [0,π]
est bijective de [0, π] sur [−1, 1]. Sa réciproque est appelée la fonction arcco-
sinus et notée Arccos .
Pour tout x ∈ [−1, 1], Arccos x est l’unique réel θ de [0, π] pour lequel cos θ = x.
h π πi
• Arcsinus : La fonction sin ”− π , π — est bijective de − , sur [−1, 1].
2 2 h2 2 i
π π
Pour tout x ∈ [−1, 1], Arcsin x est l’unique réel θ de − , pour lequel sin θ = x.
i2 2 h
π π
• Arctangente : La fonction tan —− π , π ” est bijective de − , sur R.
2 2 i π πh 2 2
Pour tout x ∈ R, Arctan x est l’unique réel θ de − , pour lequel tan θ = x. y = tan x
2 2 y=x
y = Arccos x
b
π y=x π
π y=x
b
2
2
b
y = sin x π π
π −
− 2 2
2
b
π
π y = Arctan x 2
2 π
b
b

π π
π −
b
− 2 2
2 b

y = Arcsin x
y = cos x

p p
x 3 − 1 1 1 1 3
−1 − p − 0 p 1
2 2 2 2 2 2
π π π π π π π π
Arcsin x − − − − 0
2 3 4 6 6 4 3 2
5π 3π 2π π π π π
Arccos x π 0
6 4 3 2 3 4 6

p 1 1 p
x −∞ − 3 −1 −p 0 p 1 3 +∞
3 3
π π π π π π π π
Arctan x − − − − 0
2 3 4 6 6 4 3 2

$ Attention ! Arccos n’est pas la réciproque de la fonction cosinus, mais celle de cos [0,π]
et ça change tout.
— Pour tout x ∈ [−1, 1], Arccos x est l’unique réel θ ∈ [0, π] pour lequel cos θ = x, donc cos Arccos x = x.
— En revanche, pour tout x ∈ R, Arccos cos x est l’unique réel θ ∈ [0, π] pour lequel cos θ = cos x. Ce n’est donc pas
forcément x ! Question : x appartient-il au domaine privilégié [0, π] ou non ?
Par exemple : Arccos cos(2π) = Arccos 1 = 0 6= 2π.

5
Christophe Bertault — Mathématiques en MPSI

VRAI : ∀x ∈ [−1, 1], cos Arccos x = x. FAUX : ∀x ∈ R, Arccos cos x = x. VRAI : ∀x ∈ [0, π], Arccos cos x = x.

Cette mise en garde est bien sûr valable, en l’adaptant, pour les fonctions Arcsin et Arctan .

1
Exemple On veut résoudre l’équation cos x = d’inconnue x ∈ R.
3
1 1 1
Démonstration Pour tout x ∈ R : cos x = ⇐⇒ cos x = cos Arccos ⇐⇒ x ≡ ± Arccos [2π].
3  ‹ 3 ‹ 3
1 1
L’ensemble des solutions cherché est donc la réunion Arccos + 2πZ ∪ −Arccos + 2πZ .
3 3

20π 2π 20π π
Exemple Arccos cos = et Arcsin sin = .
3 3 3 3
20π
Démonstration Dans les deux cas, on commence par placer sur le cercle trigonométrique ainsi que le
3
domaine privilégié de la fonction sinus ou cosinus concernée.
20π 20π
• Arccosinus : appartient à 2π près au domaine privilégié du cosinus : ∈ [0, π] + 2πZ. Il
3 3
suffit donc d’ôter un certain nombre de fois 2π et c’est fini.
20π 20π h π π i
• Arcsinus : N’appartient PAS au domaine privilégié du sinus : ∈
/ − , +2πZ, même à 2π
3 3 2 2
près. Nous pouvons cependant nous y ramener À SINUS CONSTANT  grâce
‹ à la relation : sin(π − x) = sin x.
20π 2π 20π 2π π π h π πi
Par 2π-périodicité : sin = sin , puis sin = sin π − = sin , et bien sûr ∈ − , .
3 3 3 3 3 3 2 2
2π 2π
3 3 π
20π [0, π] 20π b
3
3 b
3 b b

b b

h i
π π
− ,
2 2
b

Théorème (Lien entre les coordonnées cartésiennes et
les coordonnées polaires)

Le plan est muni d’un repère orthonormal direct O, #”
ı , #”
 . Soit M un point de coordonnées carté- M
y b

siennes (x, y) et de coordonnées polaires (r, θ ). 

 y r
x = r cos θ p  Arctan [2π] si x > 0
#”

x y θ
(i) et r = x 2 + y 2 . (ii) θ ≡ b

y = r sin θ  π + Arctan [2π] si x < 0. O #”

ı x
x

Démonstration
# ”

(i) OM = x #” ı + y #”
 = r cos θ #”
ı + sin θ #”
 , donc x = r cos θ et y = r sin θ par identification des coordon-
# ” p
nées. Enfin r = OM = x 2 + y 2 .
i h
π π r sin θ y
(ii) Cas où x > 0 : Pour un certain k ∈ Z : θ − 2kπ ∈ − , , or tan(θ − 2kπ) = tan θ = = ,
y y 2 2 r cos θ x
donc θ − 2kπ = Arctan , et enfin θ ≡ Arctan [2π].
x x ˜ • i h
π 3π π π
Cas où x < 0 : Pour un certain k ∈ Z : θ − 2kπ ∈ , , donc θ − 2kπ − π ∈ − , , or
y y 2 2 2 2
tan(θ − π − 2kπ) = tan θ = , donc θ ≡ π + Arctan [2π].
x x

On a choisi d’exprimer θ comme une arctangente, mais on aurait pu l’exprimer comme un arccosinus ou
un arcsinus, la
stratégie est toujours la même. On place le point M dans l’un des quatre quadrants que le repère O, #”ı , #”
 délimite, puis
selon qu’on souhaite atteindre un arccosinus ou un arcsinus, on ramène θ dans le domaine privilégié adapté.
i π h
Exemple Avec les notations du théorème, faisons l’hypothèse que x > 0 et y < 0. On peut donc choisir θ dans − , 0 ,
2
mais comment l’exprimer comme un arccosinus ou un arcsinus ?

6
Christophe Bertault — Mathématiques en MPSI

Démonstration
• Arccosinus : θ n’appartient pas au domaine privilégié [0, π], même à 2π près, mais nous pouvons l’y
x
ramener À COSINUS CONSTANT grâce à la relation cos(−x) = cos x. Ainsi cos(−θ ) = cos θ = , et comme
x x r
−θ appartient à [0, π] : −θ = Arccos , donc θ = −Arccos .
r h i r
π π y y
• Arcsinus : θ appartient au domaine privilégié − , et sin θ = , donc θ = Arcsin .
2 2 r r

Théorème (Propriétés des fonctions arccosinus, arcsinus et arctangente)

p
• Une relation mixte : Pour tout x ∈ [−1, 1] : cos Arcsin x = sin Arccos x = 1 − x 2.
• Arccosinus : Arccos est continue sur [−1, 1] MAIS dérivable seulement sur ] − 1, 1[. Pour tout x ∈ ] − 1, 1[ :
1
Arccos ′ (x) = − p .
1 − x2
• Arcsinus : Arcsin est impaire et continue sur [−1, 1] MAIS dérivable seulement sur ]−1, 1[. Pour tout x ∈]−1, 1[ :
1
Arcsin ′ (x) = p .
1 − x2
1
• Arctangente : Arctan est impaire et indéfiniment dérivable sur R. Pour tout x ∈ R : Arctan ′ (x) = .
1 + x2

La non-dérivabilité d’Arccos et Arcsin en ±1 s’explique bien géométriquement, les tangentes horizontales de sin et cos
deviennent verticales quand on les symétrise par rapport à la droite d’équation y = x.

Démonstration (Fonction arcsinus)

h i
” —
π π
• Continuité/imparité : La fonction sin −π,π
est bijective de − , sur [−1, 1] et continue/impaire,
2 2 2 2 € Š−1
donc d’après le théorème de continuité/imparité d’une réciproque, sa réciproque Arcsin = sin ”− π , π —
2 2
est continue/impaire sur [−1, 1].
h i
π π
• Relation cos Arcsin x : Pour tout x ∈ [−1, 1] : Arcsin x ∈ − , , donc cos Arcsin x ¾ 0, donc :
2 2
p p
cos Arcsin x = cos Arcsin x = 1 − sin2 Arcsin x = 1 − x 2 .
i h
π π
• Dérivabilité et dérivée : La fonction sin —− π , π ” est bijective de − , sur ] − 1, 1[, dérivable, et sa
i π π 2h 2 2 2
dérivée sin′ = cos ne s’annule pas sur − , , donc d’après le théorème de dérivabilité d’une réciproque,
2 2
Arcsin est dérivable sur ] − 1, 1[ et pour tout x ∈ ] − 1, 1[ :
1 1 1
Arcsin ′ (x) = ′ = =p .
sin ◦ Arcsin (x) cos Arcsin x 1 − x2
Le théorème de dérivabilité ne nous dit rien de la dérivabilité d’Arcsin en ±1 car cos′ (0) = cos′ (π) = 0,
mais on peut montrer qu’Arcsin N’est PAS dérivable en ces points.

Démonstration (Fonction arctangente) Il s’agit là aussi essentiellement d’utiliser le théorème de dérivabi-

lité/imparité d’une réciproque. La situation est cependant plus simple car tan′ (x) = 1 + tan2 x 6= 0 pour tout
x ∈ R. Pas de tangente horizontale sur le graphe de la fonction tangente, donc pas de problème de dérivabilité
1 1 1
pour Arctan . Pour tout x ∈ R : Arctan ′ (x) = = = .
tan′ ◦ Arctan (x) 1 + tan2 Arctan x 1 + x2

3 4
Exemple est l’unique solution de l’équation Arcsin x = Arccos d’inconnue x ∈ [−1, 1].
5 h 5 i
π π
Démonstration Pour tous x ∈ [−1, 1] et y ∈ − , : y = Arcsin x ⇐⇒ x = sin y par définition
2 2 h π πi
de l’arcsinus. Le point important qu’on oublie trop facilement, c’est que LE RÉEL y DOIT APPARTENIR À − ,
h i 2 2
4 π 4
pour que cette équivalence soit vraie. En l’occurrence, ici : Arccos ∈ 0, car ∈ [0, 1]. Du coup, pour
5 2 5
tout x ∈ [−1, 1] : v
u  ‹2
4 4 t 4 3
Arcsin x = Arccos ⇐⇒ x = sin Arccos ⇐⇒ x = 1− = .
5 5 5 5

π
Exemple Pour tout x ∈ [−1, 1] : Arcsin x + Arccos x = .
2

7
Christophe Bertault — Mathématiques en MPSI

f
Démonstration Il s’agit de montrer que la fonction x 7−→ Arcsin x + Arccos x est constante sur [−1, 1] de valeur
π
. Or cette fonction est dérivable sur l’INTERVALLE ouvert ] − 1, 1[ et sa dérivée est la fonction nulle, donc f est
2 π π
constante. Quelle valeur ? Nous pouvons la calculer en 0 par exemple : f (0) = Arcsin0+Arccos0 = 0+ = ,
2 2
et f (1) et f (−1) valent la même chose par continuité de f sur l’intervalle fermé [−1, 1].
1 π 1 π
Exemple Pour tout x > 0 : Arctan x + Arctan = et pour tout x < 0 : Arctan x + Arctan = − .
x 2 x 2
f 1
Démonstration La fonction x 7−→ Arctan x + Arctan est dérivable sur R∗ et pour tout x ∈ R∗ :
 ‹ x
′ 1 1 1 1 1
f (x) = 2
+ − 2 ×  ‹2 = 2
− = 0.
1+ x x 1 1+ x 1 + x2
1+
x
∗
Comme R = ]−∞, 0[ ∪ ]0, +∞[ N’est PAS un INTERVALLE, on ne peut pas en déduire que f est constante sur
R∗ tout entier, mais seulement qu’elle l’est sur R∗+ et R∗− indépendamment. Quelles valeurs ? Calculons f (1) :
π π
f (1) = 2 Arctan 1 = 2 × = . Pour la valeur de f sur R∗− , remarquer simplement que f est impaire.
4 2
Exemple On veut résoudre l’équation Arccos x = Arcsin x d’inconnue x ∈ [−1, 1].
Démonstration On a bien envie de passer au cosinus (ou au sinus) des deux côtés de l’équation, MAIS on
modifie l’équation en faisant cela, on perd l’équivalence car en toute généralité : cos x = cos y =⇒ x = y,
autrement dit la fonction cosinus N’est PAS injective sur R. Elle l’est sur de plus petits domaines sur lesquels elle
est strictement monotone, par exemple [−π, 0], [0, π] ou [π, 2π].
C’est parti. Pour tout x ∈ [−1, 1] :
Æ
Arccos x = Arcsin x ⇐⇒ cos Arccos x = cos Arcsin x et Arcsin x ∈ [0, π]
Cette équivalence Æ est LE passage délicat, justifié plus loin.
p
⇐⇒ x= 1 − x2 et x ∈ [0, 1]
après contemplation du graphe
de la fonction arcsinus
1
⇐⇒ x 2 = 1 − x 2 et x ∈ [0, 1] ⇐⇒ x=p .
2
Justification de l’équivalence Æ : Cette équivalence est la seule difficulté de l’équation et on ne peut pas s’en
tirer sans réfléchir. N’espérez pas « la méthode » qui vous évitera de réfléchir, il n’y en a pas.
— L’implication : Arccos x = Arcsin x =⇒ cos Arccos x = cos Arcsin x est sans difficulté.
— Le retour n’est possible en revanche que si Arccos x et Arcsin x appartiennent à un même domaine h d’injec-i
π π
tivité de la fonction cosinus. Ici, Arccos x appartient à [0, π], mais Arcsin x appartient a priori à − ,
2 2
et non pas à [0, π]. En tout cas, l’implication suivante est correcte :
cos Arccos x = cos Arcsin x et Arcsin x ∈ [0, π] =⇒ Arccos x = Arcsin x.
— Mais l’implication : Arccos x = Arcsin x =⇒ cos Arccos x = cos Arcsin x et Arcsin x ∈ [0, π]
l’est-elle ? C’est ce qu’il nous reste à comprendre. Et tout simplement, si Arccos x = Arcsin x, alors oui :
Arcsin x = Arccos x ∈ [0, π] puisque tous les arccosinus sont dans [0, π].

Finissons-en avec la trigonométrie sans complexes — et sans peur — au moyen d’un petit tableau récapitulatif.

Ensemble Ensemble
Fonction Dérivée
de définition de dérivabilité

sin x R R cos x

cos x R R − sin x
i π πh i π πh
sin x 1
tan x = − , + πZ − , + πZ 1 + tan2 x =
cos x 2 2 2 2 cos2 x
1
Arcsin x [−1, 1] ] − 1, 1[ p
1 − x2
1
Arccos x [−1, 1] ] − 1, 1[ −p
1 − x2
1
Arctan x R R
1 + x2

8
Christophe Bertault — Mathématiques en MPSI

3 EXPONENTIELLE COMPLEXE ET FORMES TRIGONOMÉTRIQUES

3.1 NOMBRES COMPLEXES DE MODULE 1 ET EXPONENTIELLE IMAGINAIRE

Tout point du cercle trigonométrique a des coordonnées de la forme (cos θ , sin θ ) pour un certain θ ∈ R unique à 2π
près. Le théorème qui suit n’est que la traduction complexe de ce résultat.

¦ ©
Définition-théorème (Ensemble U et exponentielle imaginaire) On pose U = z ∈ C | |z| = 1 , géométriquement
le cercle trigonométrique, et pour tout θ ∈ R : eiθ = cos θ + i sin θ . i

• Paramétrisation de U par l’exponentielle imaginaire : U = eiθ | θ ∈ R θ b
eiθ
′
et pour tous θ , θ ′ ∈ R : eiθ = eiθ ⇐⇒ θ ≡ θ ′ [2π].
1
U
• Propriétés algébriques de l’exponentielle imaginaire : Pour tous x, y ∈ R et n ∈ N :
1
ei (x+ y) = eix ei y , eix = e−ix = ix ,
e
eix + e−ix eix − e−ix
cos x = et sin x = (formules d’Euler),
2 2i



cos(nx) = Re (cos x + i sin x)n et sin(nx) = Im (cos x + i sin x)n (formules de Moivre).

z+z z−z
Démonstration Pour les formules d’Euler, n’oublions pas que Re(z) = et Im(z) = pour tout z ∈ C.

2 2i
inx ix n n
Pour les formules de Moivre : cos(nx) + i sin(nx) = e = e = (cos x + i sin x) .

On l’a vu en début de chapitre, la relation ei (x+ y) = eix ei y est équi- iπ iπ p

1+i 3
e2 =i e3 = 2
valente aux formules d’addition du cosinus et du sinus par identification
des parties réelle et imaginaire car elle s’écrit aussi : 3iπ iπ 1+i
−1+i b

e4 = p
e 4 = p
2
b
2
cos(x + y) + i sin(x + y) = (cos x + i sin x) (cos y + i sin y).
b b

b
iπ p
3+i
Séparément, cosinus et sinus sont pénibles et laids, mais leur associa- e6 = 2
tion qu’est l’exponentielle imaginaire est un petit bijou.
b b

eiπ = e−iπ = −1 ei0 = e2iπ = 1

$ Attention ! eiθ = eiθ

′
⇐⇒ θ = θ ′. U b
iπ
e− 2 = −i

Exemple Pour tout θ ∈ R : eiθ = 1 ⇐⇒ eiθ = ei0 ⇐⇒ θ ≡ 0 [2π] ⇐⇒ θ ∈ 2πZ

iθ iθ
iπ π π
et : e =i ⇐⇒ e = e2 ⇐⇒ θ ≡ [2π] ⇐⇒ θ ∈ + 2πZ.
2 2

3.2 FORMES TRIGONOMÉTRIQUES

z |z| z
Pour tout z ∈ C∗ : = = 1, donc ∈ U, donc z = |z| eiθ pour un certain θ ∈ R unique à 2π près.
|z| |z| |z|

Définition-théorème (Arguments et formes trigonométriques) Tout nombre complexe NON NUL peut être écrit
sous forme trigonométrique z = |z| eiθ pour un certain θ ∈ R unique à 2π près.
z b

|z |
Tout réel θ de ce genre est appelé UN argument de z, mais il en existe un et un seul dans ] − π, π] θ
qu’on appelle L’argument (principal) de z et qu’on note arg(z).

Tout comme on sait identifier les formes algébriques, on sait identifier les formes trigonométriques, MAIS avec une petite
subtilité modulo 2π. Pour tous r, r ′ > 0 et θ , θ ′ ∈ R :

′
r eiθ = r ′ eiθ ⇐⇒ r = r′ et θ ≡ θ ′ [2π].

9
Christophe Bertault — Mathématiques en MPSI

$doncAttention ! Pour tout θ ∈ R :

pas d’arguments.
0 = 0 eiθ , mais on considère tout de même que 0 n’a pas de forme trigonométrique,

Exemple Les réels et les imaginaires purs ont des formes trigonométriques plus piégeuses qu’il n’y paraît, attention !
 ( iπ
∗
x ei0 si x > 0 ∗
ye2 si y > 0
Pour tout x ∈ R : x = iπ
et pour tout y ∈ R : i y = iπ
(−x) e si x < 0 (− y) e− 2 si y < 0.

Grâce aux paragraphes qui précèdent, nous savons exprimer un argument de tout nombre complexe non nul sous la
forme d’une arctangente, d’un arccosinus ou d’un arcsinus.

Exemple On cherche un argument de −1 + 2i.

i h
π
Démonstration Pour commencer : −1 < 0
donc −1+2i possède un argument θ dans
et 2 > 0, ,π .
2 2
• Arctangente : −1 < 0, donc nous l’avons vu, π+Arctan = π−Arctan2 est un argument de −1+2i.
−1  ‹
1 1
• Arccosinus : θ ∈ [0, π] et cos θ = − p , donc θ = Arccos − p .
h i 5 5
π π 2 2
• Arcsinus : π−θ ∈ − , et sin(π − θ ) = sin θ = p , donc θ = π − Arcsin p .
2 2 5 5
ipπ
Exemple Soit n ∈ N∗ . À quelle condition sur p ∈ Z le nombre e n est-il réel ?
ipπ € ipπ Š € ipπ Š € ipπ Š
Démonstration e n ∈R ⇐⇒ arg e n ≡ 0 [2π] ou arg e n ≡ π [2π] ⇐⇒ arg e n ≡ 0 [π]
pπ ÷π
⇐⇒ ≡ 0 [π] ⇐⇒ p ≡ 0 [n] ⇐⇒ p est un multiple de n.
n ×n

Théorème (Propriétés algébriques des arguments) Pour tous z, z ′ ∈ C∗ :

 ‹
1
arg zz ′ ≡ arg(z) + arg(z ′ ) [2π], arg z ≡ − arg(z) [2π] et arg ≡ − arg(z) [2π].
z

′ ′

Démonstration zz ′ = |z| ei arg(z) |z ′ | ei arg(z ) = |zz ′ | ei (arg(z)+arg(z )) , donc arg zz ′ ≡ arg(z) + arg(z ′ ) [2π].


De même : z = |z| ei arg(z) = |z| e−i arg(z) = |z| e−i arg(z) , donc arg z ≡ − arg(z) [2π].
 ‹
1 1 1 −i arg(z) 1
Enfin : = = e , donc arg ≡ − arg(z) [2π].
z |z| ei arg(z) z z

p − iπ iπ iπ iπ
1−i π 1−i 2e 4 e− 4 + 3 e 12
Exemple Le nombre complexe p admet pour argument car p = = p = p .
1−i 3 12 1−i 3 − iπ 2 2
p
p p 2 e p
3
p
1−i (1 − i) 1 + i 3 3+1 3−1 π 3+1 π 3−1
Or par ailleurs : p = = +i , donc cos = p et sin = p .
1−i 3 4 4 4 12 2 2 12 2 2

z−b 
Théorème (Interprétation géométrique de ) Soient a, b ∈ C et z ∈ C \ a, b .
z−a  ‹
z−b MB z−b # ” # ”

En notant A l’image de a, B celle de b et M celle de z : = et arg ≡ M A, M B [2π].
z−a MA z−a

# ” # ”

Démonstration En notant #” ı le vecteur d’affixe i, b − z a pour image M B, donc arg(b − z) ≡ #”ı , M B [2π].
 ‹  ‹
z−b b−z # ”
# ”
# ” # ”

Ainsi : arg ≡ arg ≡ arg(b − z) − arg(a − z) ≡ #” ı , M B − #”
ı , M A ≡ M A, M B [2π].
z−a a−z

3.3 EXPONENTIELLE COMPLEXE

Définition (Exponentielle complexe) On pose pour tout z ∈ C : ez = eRe(z) ei Im(z) .

Ce nombre complexe est défini sous forme TRIGONOMÉTRIQUE : |ez | = eRe(z) et arg ez ≡ Im(z) [2π].

10
Christophe Bertault — Mathématiques en MPSI

 ‹
iπ iπ 1 i e2 i e2
Exemple e1+iπ = e × eiπ = − e et e2+ 4 = e2 e 4 = e2 p + p =p +p .
2 2 2 2

Théorème (Propriétés de l’exponentielle complexe)

(i) Périodicité : L’exponentielle complexe est 2iπ-périodique, autrement dit pour tout z ∈ C : ez+2iπ = ez .
′
On dispose en fait d’un résultat plus précis. Pour tous z, z ′ ∈ C : ez = ez ⇐⇒ z ≡ z ′ [2iπ].
′ ′
Attention au i !
(ii) Transformation des sommes en produits : Pour tous z, z ′ ∈ C : ez+z = ez ez .

L’exponentielle complexe transforme donc les formes algébriques en formes trigonométriques.

Démonstration
(i) Simple identification de formes trigonométriques :
′ ′
ez = ez ⇐⇒ eRe(z) = eRe(z ) et Im(z) ≡ Im(z ′ ) [2π]
⇐⇒ Re(z) = Re(z ′ ) et Im(z) ≡ Im(z ′ ) [2π] ⇐⇒ z ≡ z ′ [2iπ].
′ ′ ′ ′ ′ ′ ′ ′
(ii) ez+z = eRe(z+z ) ei Im(z+z ) = eRe(z)+Re(z ) ei Im(z)+i Im(z ) = eRe(z) eRe(z ) ei Im(z) ei Im(z ) = ez ez .

L’exemple qui suit suggère qu’il est plus compliqué de définir un logarithme complexe que l’exponentielle complexe car
la 2iπ-périodicité de z 7−→ ez accorde une infinité de logarithmes à tout nombre complexe non nul.

Exemple On souhaite résoudre l’équation ez = 2 + i d’inconnue z ∈ C.

Démonstration Il s’agit essentiellement d’identifier des formes trigonométriques. Pour tout z = x + i y ∈ C sous
forme algébrique :
p
ez = 2 + i ⇐⇒ e x = |2 + i| = 5 et y est un argument de 2 + i
ln 5 1 ln 5 1
⇐⇒ x= et y ≡ Arctan [2π] ⇐⇒ ∃ k ∈ Z, z = + i Arctan + 2ikπ.
2 2 2 2

Théorème (Dérivation des fonctions de la forme eϕ ) Soient I un intervalle et ϕ ∈ D(I , C). La fonction x 7−→ eϕ(x)

′
est dérivable sur I et eϕ = ϕ ′ eϕ .
En particulier, pour tout a ∈ C, la fonction x 7−→ eax est dérivable sur R de dérivée x 7−→ a eax .

Démonstration Posons a = Re(ϕ) et b = Im(ϕ). Par hypothèse sur ϕ, les fonctions RÉELLES a et b sont
dérivables sur I . Or eϕ = ea+ib = ea eib = ea (cos b + i sin b), donc Re(eϕ ) = ea cos b et Im(eϕ ) = ea sin b. Il en
découle que Re(eϕ ) et Im(eϕ ) sont dérivables sur I , donc que eϕ l’est à son tour. En outre :

′
′ € Š

Re(eϕ ) = ea cos b = a′ ea cos b−ea b′ sin b = ea (a′ cos b−b′ sin b) = ea Re (a′ +ib′ )(cos b+i sin b) = Re ϕ ′ eϕ .

′

′
On montre de même que Im(eϕ ) = Im ϕ ′ eϕ . Comme voulu : eϕ = ϕ ′ eϕ .

4 SOMMES TRIGONOMÉTRIQUES

4.1 TRANSFORMATION DES EXPRESSIONS a cos x + b sin x

Pour tout couple (a, b) ∈ R2 distinct de (0, 0), la fonction x 7−→ a cos x + b sin x peut être écrite sous la forme d’un
unique cosinus x 7−→ Acos(x + ϕ) ou d’un unique sinus x 7−→ Asin(x + ψ) pour certains ϕ, ψ ∈ R. La transformation repose
essentiellement sur les identités : Re(zz ′ ) = Re(z) Re(z ′ ) − Im(z) Im(z ′ ) et Im(zz ′ ) = Re(z) Im(z ′ ) + Im(z) Re(z ′ ).

€p Š p € € 𠊊 p  
iπ i x− 4 π
Exemple Pour tout x ∈ R : cos x+sin x = Re (1−i)(cos x+i sin x) = Re 2e− 4 eix = 2Re e = 2 cos x −
€p Š € p iπ Š € € 𠊊  4 
p p p
p i x+ p π
et de même : 2 cos x+ 6 sin x = Im 6+i 2 (cos x+i sin x) = Im 2 2e 6 eix = 2 2Im e 6 = 2 2 sin x + .
p p 6
Graphiquement, la deuxième égalité signifie que la somme des signaux sinusoïdaux x 7−→ 2 cos x et x 7−→ 6 sin x est
p π
encore un signal sinusoïdal, de nouvelle amplitude 2 2 et déphasé de .
6

11
Christophe Bertault — Mathématiques en MPSI

p p p  
π
y= 2 cos x y= 6 sin x y = 2 2 sin x +
6
p p p
2 6 2 2

π
−
6

€p 3 Š p € € 3
ŠŠ
i x+Arctan
Exemple Pour tout x ∈ R : 2 cos x − 3 sin x = Re (2 + 3i) (cos x + i sin x) = Re 13 eiArctan 2 eix = 13 Re e 2
 ‹
p 3
= 13 cos x + Arctan .
2

4.2 LINÉARISATION

Linéariser une expression polynomiale en sin x et cos x — par exemple 5 sin4 x cos7 x + 2 sin x cos4 x — c’est l’exprimer
comme une COMBINAISON LINÉAIRE de cos x, cos(2x), cos(3x). . . et sin x, sin(2x), sin(3x). . . en supprimant toute puissance

et tout produit. La recette est simple : Euler, binôme, Euler.

 5
Euler eix − e−ix Binôme 1
€ Š
Exemple Pour tout x ∈ R : sin x5
= = e5ix − 5 e3ix + 10 eix − 10 e−ix + 5 e−3ix − e−5ix
2i 32i
1 € 5ix


Š Euler sin(5x) − 5 sin(3x) + 10 sin x
= e − e−5ix − 5 e3ix − e−3ix + 10 eix − e−ix = .
32i 16

C’est notamment en les linéarisant qu’on primitive les fonctions x 7−→ cosm x sinn x, m et n décrivant N.
 ‹
1 sin(6x) sin(4x) sin(2x)
Exemple La fonction x 7−→ − −2 + + 2x est une primitive de x 7−→ cos4 x sin2 x car pour
32 6 4 2
tout x ∈ R :
 4  ix 2
eix + e−ix
Euler e − e−ix Binôme 1 € 4ix Š

4 2
cos x sin x = = − e + 4 e2ix + 6 + 4 e−2ix + e−4ix e2ix − 2 + e−2ix
2 2i 64
1 € Š 1 € 6ix


Š
=− e6ix + 2 e4ix − e2ix − 4 − e−2ix + 2 e−4ix + e−6ix = − e + e−6ix + 2 e4ix + e−4ix − e2ix + e−2ix − 4
64 64
Euler − cos(6x) − 2 cos(4x) + cos(2x) + 2
= .
32

4.3 DÉLINÉARISATION
Il est parfois utile de dé-linéariser les expressions trigonométriques. Là aussi, la recette est simple : Moivre, binôme.


Exemple Pour tout x ∈ R : sin(6x) = 2 3 − 16 cos2 x + 16 cos4 x cos x sin x.
Moivre
€ Š
Démonstration sin(6x) = Im (cos x + i sin x)6
Binôme
€ Š
= Im cos6 x + 6i cos5 x sin x − 15 cos4 x sin2 x − 20i cos3 x sin3 x + 15 cos2 x sin4 x + 6i cos x sin5 x − sin6 x


= 6 cos5 x sin x − 20 cos3 x sin3 x + 6 cos x sin5 x = 2 3 cos4 x − 10 cos2 x sin2 x + 3 sin4 x cos x sin x
La relation cos2 + sin2 = 1 nous permet finalement de valoriser la fonction cosinus par exemple.
€

2 Š
sin(6x) = 2 3 cos4 x − 10 cos2 x 1 − cos2 x + 3 1 − cos2 x cos x sin x
2 4


= 2 3 − 16 cos x + 16 cos x cos x sin x après développement.

4.4 TECHNIQUE DE L’ANGLE MOITIÉ

La technique de l’angle moitié, qui consiste à écrire les expressions eix + ei y et eix − ei y sous forme trigonométrique. On
s’en sert souvent pour factoriser des expressions en cosinus et sinus. L’idée est simple. Pour tous x, y ∈ R :
 ‹
i(x+ y) i(x− y) i(x− y) i(x+ y) x−y
eix + ei y = e 2 e 2 + e− 2 = 2 e 2 cos .
2
x+y
Mise en facteur de l’ ANGLE MOITIÉ
2
12
Christophe Bertault — Mathématiques en MPSI

En réalité, le résultat obtenu n’est pas forcément la forme trigonométrique de eix + ei y car le cosinus obtenu peut être
négatif, mais on n’en est pas loin. La technique s’adapte bien sûr au cas des expressions eix − ei y .
ix € ix ix Š ix x
Très souvent y est nul et le calcul prend la forme suivante : eix + 1 = e 2 e 2 + e− 2 = 2 e 2 cos .
2
Le programme vous épargne l’apprentissage par cœur de quatre nouvelles formules, mais exige que vous sachiez les
retrouver RAPIDEMENT.

Théorème (Quatre nouvelles formules de trigo) Pour tous x, y ∈ R :

x+y x−y x+y x−y
cos x + cos y = 2 cos cos cos x − cos y = −2 sin sin
2 2 2 2
x+y x−y x+y x−y
sin x + sin y = 2 sin cos sin x − sin y = 2 cos sin
2 2 2 2

Angle  ‹
i(x+ y) x−y x+y x−y
Démonstration sin x + sin y = Im eix + ei y = Im 2 e 2 cos = 2 sin cos .
moitié 2 2 2


X
n  sin (n + 1)x
cos(nx) si x ∈
/ πZ
Exemple Pour tous n ∈ N et x ∈ R : cos(2k x) = sin x
k=0

n+1 si x ∈ πZ.
Démonstration Vous devez à tout prix savoir refaire cette démonstration.
X n Xn
Si x ∈ πZ : cos(2k x) = 1 = n + 1. Si au contraire x ∈ / πZ, alors e2ix 6= 1, donc :
k=0 k=0 ‚  € Š
Œ  2i(n+1)x  i (n+1)x i (n+1)x −i (n+1)x
X n Xn

Xn
e2ix 6=1 e − 1 Angle e e − e
cos(2k x) = Re e2ikx = Re e2ikx = Re 2ix
= Re 

k=0 k=0 k=0
e − 1 moitié e ix eix − e−ix

‚
Œ


Euler sin (n + 1)x sin (n + 1)x
sin (n + 1)x
inx inx
= Re e = Re e = cos(nx).
sin x sin x sin x

5 TRANSFORMATIONS USUELLES DU PLAN COMPLEXE

Les figures ci-dessous vous rappellent :
— que l’addition de deux nombres complexes s’interprète géométriquement en termes de translation,
— deux ou trois choses concernant les symétries les plus simples,
— que le produit de deux nombres complexes s’interprète géométriquement en termes d’homothétie et de rotation.
iR iπ
Symétrique de z 2e 4 z π
par rapport à i R
−z z b b

4
u z+u b

z b
iπ
R e4z
u
2z
−z
b

Symétrique de z z b

Symétrique de z
b
z b

par rapport à 0 par rapport à R

Voyons maintenant ce qu’il en est de transformations plus compliquées. Dans chacun des cas ci-dessous, un point Ω
d’affixe ω est fixé et on effectue une transformation sur un point M d’affixe z. L’image de M par cette transformation est un
point M ′ d’affixe z ′ . M′ b

θ
”′
# M
Ω
b
M′ M
b
M′ b
M
# M
Ω

”
”′

# M b
”
# M b
Ω Ω # ”
Ω
”′
# M b
ΩM
M b
Ω b Ω
Ω
Symétrie centrale Homothétie de centre Ω Rotation de centre Ω
par rapport à Ω : et de rapport λ (ici λ = 2) : et d’angle de mesure θ :
# ” # ” # ” # ” # ” # ”

ΩM ′ = − ΩM , ΩM ′ = λ ΩM , ΩM ′ = ΩM et ΩM , ΩM ′ ≡ θ [2π]
donc z ′ − ω = − (z − ω) donc z ′ − ω = λ (z − ω) donc z ′ − ω = eiθ (z − ω)
i.e. z ′ = 2ω − z. i.e. z ′ = ω + λ (z − ω). i.e. z ′ = ω + eiθ (z − ω).

13
 Christophe Bertault — Mathématiques en MPSI

Finalement, les transformations auxquelles nous sommes habitués sont toutes de la forme z 7−→ az + b ou z 7−→ az + b
pour certains a ∈ C∗ et b ∈ C. Réciproquement, de quelle manière les transformations z 7−→ az + b s’interprètent-elles
géométriquement ? Fixons a ∈ C∗ et b ∈ C et notons f la transformation z 7−→ az + b et α un argument de a.
— Si a = 1, f est simplement la translation de vecteur b.
— Si a 6= 1, remarquons d’abord que f possède un et un seul point fixe car l’équation f (ω) = ω d’inconnue
b
ω ∈ C admet ω = pour seule et unique solution. Nous allons maintenant exprimer f sous une forme
1−a
plus sympathique grâce à ce point fixe. Pour tout z ∈ C, en posant z ′ = f (z) :
z′
Ici
b
z ′ − ω = (az + b) − (aω + b) = a (z − ω) = |a| × eiα (z − ω) = eiα × |a| (z − ω).
| {z } | {z }
|a| = 2.
Rotation de centre ω Homothétie de centre ω
et d’angle de mesure α et de rapport |a|
| {z } | {z }
b b Homothétie de centre ω Rotation de centre ω
ω z et de rapport |a| et d’angle de mesure α

Conclusion : f est la composée d’une homothétie et d’une rotation de mêmes centres et l’ordre dans lequel
on compose ces deux transformations ne compte pas. On dit que f est la similitude directe de centre ω, de
rapport |a| et d’angle de mesure α.

f 1 + 2i π
Exemple La fonction z 7−→ 2iz + 1 est la similitude directe de centre , de rapport 2 et d’angle de mesure .
5 2
iπ
Démonstration Le coefficient 2i = 2 e 2 devant z est différent de 1, donc f n’est pas une translation. Son
π
rapport est alors 2 et son angle a pour mesure .
2
1 1 + 2i
Enfin, le centre de f est son unique point fixe ω : f (ω) = ω ⇐⇒ ω = = .
1 − 2i 5

6 RACINES n ÈMES

Pour tout n ∈ N∗ , rappelons que la fonction racine nème est la réciproque de la fonction puissance nème sur R+ .

p
n
Pour tous x, y ∈ R+ : y= x ⇐⇒ x = y n.

Définition (Racines nèmes , ensemble Un ) Pour tous z ∈ C et n ∈ N∗ , on appelle racine nème de z tout nombre
complexe ζ pour lequel z = ζn .
Les racines nèmes de 1 sont appelées les racines nèmes de l’unité et leur ensemble est noté Un .

p
$
n
Attention ! x Notation autorisée si x ∈ R+ .
p
n
z LA PLUS INTERDITE DES NOTATIONS INTERDITES SINON !

Pourquoi cet interdit ? Parce que nous allons voir dans un instant que tout nombre complexe non nul possède n racines
p
nèmes distinctes qui se valent les unes les autres. Laquelle noterions-nous n z ?

¦ 2ikπ ©
Théorème (Description des racines nèmes de l’unité) Pour tout n ∈ N∗ : Un = e n | k ∈ ¹0, n − 1º ⊂ U.

Pour tout n ∈ N∗ , Un est donc l’ensemble des sommets du polygone régulier — i.e. à côtés de même longueur — à n côtés,
2iπ
de centre 0 et passant par le point d’affixe 1. Pour n = 3, on a posé j = e 3 .

14
Christophe Bertault — Mathématiques en MPSI

2iπ iπ
j b
i e 5 j e3
b
b
4iπ b b

e 5 b

−1 −1
b b b b b b

1 1 1 1
b

4iπ
b
e− 5 b b
iπ
j2 = j j2 = j
b
2iπ
e− 3
b

−i e− 5

Triangle équilatéral U3 Carré U4 Pentagone régulier U5 Hexagone régulier U6

Démonstration Soit ω ∈ C. Posons ρ = |ω| et notons ϕ l’unique argument de ω dans l’intervalle [0, 2π[. Par
identification de formes trigonométriques :

ωn = 1 ⇐⇒ ρ n einϕ = 1 ei0 ⇐⇒ ρ n = 1 et nϕ ≡ 0 [2π]

ρ ∈ R+ 2kπ
⇐⇒ ρ = 1 et ∃ k ∈ Z, nϕ = 2kπ ⇐⇒ ρ = 1 et ∃ k ∈ Z, ϕ =
n
ϕ ∈ [0,2π[ 2kπ 2ikπ
⇐⇒ ρ = 1 et ∃ k ∈ ¹0, n − 1º, ϕ = ⇐⇒ ∃ k ∈ ¹0, n − 1º, ω=e n .
n
2π 4π 2(n − 1)π
Ceci nous fait bien un total de n racines nèmes de l’unité, car les nombres 0,, , . . ., sont distincts
n n n
ix
et éléments de [0, 2π[, donc leurs images par la fonction x −
7 → e sont distinctes.

p
2iπ 1 3
Définition (Nombre j) Il est d’usage de poser j = e 3 =− +i . Alors :
2 2

j3 = 1, j = j2 , 1 + j + j2 = 0 et pour tout z ∈ C : z 2 + z + 1 = (z − j) z − j .

La relation j3 = 1 montre que toute puissance de j vaut 1, j ou j2 = j après réduction modulo 3 de l’exposant. Par exemple :
j32 = j2 car 32 ≡ 2 [3], et de même j13 = j car 13 ≡ 1 [3].
j3 − 1
Démonstration Comme j 6= 1 : 1 + j + j2 = = 0.
j−1

Théorème (Description générale des racines nèmes ) Soit n ∈ N∗ . La seule racine nème de 0 est 0. Sinon, tout nombre
complexe z = reiθ ∈ C∗ avec r > 0 et θ ∈ R possède exactement n racines nèmes , à savoir les nombres :
p iθ 2ikπ
n
ren+ n , k décrivant ¹0, n − 1º.

p iθ
Démonstration Soit z = reiθ ∈ C∗ avec r > 0 et θ ∈ R. Posons ζ = r e n . Il est immédiat que ζn = z et ζ est
n

non nul. Nous disposons ainsi d’UN EXEMPLE de racine nème de z, et grâce à lui, nous allons les trouver toutes.
Pour tout ω ∈ C :
ζ 6= 0 ω
ωn = z ⇐⇒ ωn = ζn ⇐⇒ ∈ Un
ζ
ω 2ikπ p iθ 2ikπ
∃ k ∈ ¹0, n − 1º, ω = r e n + n .
n
⇐⇒ ∃ k ∈ ¹0, n − 1º, =e n ⇐⇒
ζ

p iπ p 3iπ p 7iπ
2 e− 12 .
6 6 6
Exemple Les racines cubiques de 1 + i sont : 2 e 12 , 2e 4 et
 ‹
p 1 i p iπ
Démonstration 1+i = 2 p + p = 2e 4 , donc les racines cubiques de 1+i sont les trois nombres :
p 2 2 
3 p iπ 2ikπ p iπ 2ikπ
2 e 12 + 3 = 2 e 12 + 3 , k décrivant 0, 1, 2 .
6

15
Christophe Bertault — Mathématiques en MPSI

7 SUITES USUELLES
On s’intéresse dans cette partie à quelques familles de suites usuelles dont certaines vous sont déjà connues. Pourquoi
dans ce chapitre ? Parce que les nombres complexes seront au cœur de l’étude des suites dites récurrentes linéaires d’ordre 2.

7.1 SUITES ARITHMÉTIQUES , GÉOMÉTRIQUES ET ARITHMÉTICO -GÉOMÉTRIQUES

Théorème (Suites arithmétiques/géométriques) Soient (un )n∈N une suite complexe et q, r ∈ C.

• Suites arithmétiques : On dit que (un )n∈N est arithmétique de raison r si pour tout n ∈ N : un+1 = un + r.
Dans ce cas, pour tout n ∈ N : un = u0 + nr.
• Suites géométriques : On dit que (un )n∈N est géométrique de raison q si pour tout n ∈ N : un+1 = qun .
n
Dans ce cas, pour tout n ∈ N : un = q u0 .

+r/×q +r/×q +r/×q +r/×q

u0 u1 u2 ... un
n
+nr/×q

Théorème (Suites arithmético-géométriques) Soient (un )n∈N une suite complexe et a, b ∈ C. On dit que (un )n∈N
est arithmético-géométrique (de raison a) si pour tout n ∈ N : un+1 = aun + b.
Deux situations peuvent se présenter :
— soit a = 1, auquel cas (un )n∈N est arithmétique,
— soit a 6= 1, auquel cas l’équation a x +

b = x d’inconnue x ∈ C possède une et une seule solution ℓ. La suite
(un )n∈N est alors de la forme ℓ + λa n n∈N pour un certain λ ∈ C.

Démonstration Supposons a 6= 1. Soit (un )n∈N une suite complexe pour laquelle un+1 = aun + b pour tout
b
n ∈ N. L’équation a x + b = x d’inconnue x ∈ C admet ℓ = pour seule solution. Vous noterez bien que ce
1−a
n’est pas l’expression explicite de ℓ qui compte dans ce qui suit, mais l’égalité aℓ + b = ℓ.
La suite (un − ℓ)n∈N est géométrique car pour tout n ∈ N : un+1 − ℓ = (aun + b) −

(aℓ + b) = a (un − ℓ). Ainsi,
pour tout n ∈ N : un − ℓ = a n (u0 − ℓ), donc (un )n∈N est de la forme ℓ + λa n n∈N pour un certain λ ∈ C.

Exemple On cherche une expression de la suite (un )n∈N définie par u0 = 1 et un+1 = 2un + 1 pour tout n ∈ N.


Démonstration L’équation 2x + 1 = x pour solution −1, donc (un )n∈N est de la forme λ2n − 1 n∈N pour un
certain λ ∈ R. La condition initiale u0 = 1 montre que λ20 − 1 = 1, i.e. que λ = 2, donc pour tout n ∈ N :
un = 2n+1 − 1.

7.2 SUITES RÉCURRENTES LINÉAIRES D ’ORDRE 2

Exemple Soient a ∈ C, b ∈ C∗ et q ∈ C. On note (un )n∈N la suite géométrique q n n∈N . Cette suite satisfait la relation
un+2 = aun+1 + bun pour tout n ∈ N si et seulement si q2 = aq + b, i.e. si et seulement si q est racine du polynôme X 2 − aX − b.

Définition (Suites récurrentes linéaires d’ordre 2) Soient a ∈ C, b ∈ C∗ et (un )n∈N une suite complexe. On dit que
(un )n∈N est récurrente linéaire d’ordre 2 (de polynôme caractéristique X 2 − aX − b) si pour tout n ∈ N :
un+2 = aun+1 + bun .

Nous avons découvert les récurrences doubles sur l’exemple de ce genre de suites, mais à l’époque, vous pouviez seule-
ment montrer par récurrence une relation qui vous était donnée, vous ne saviez pas du tout d’où cette relation était tirée.
Maintenant, vous saurez.
On suppose b 6= 0 dans la définition car pour b = 0, la relation un+2 = aun+1 nous ramène au cas des suites géométriques
à partir du rang 1.

16
Christophe Bertault — Mathématiques en MPSI

Théorème (Expression explicite d’une suite récurrente linéaire d’ordre 2) Soient a ∈ C et b ∈ C∗ . On note ∆ le
discriminant du polynôme X 2 − aX − b.
• Cas où ∆ 6= 0 : Le polynôme X 2 − aX − b possède deux racines distinctes r1 et r2 . Les suites

récurrentes linéaires
d’ordre 2 de polynôme caractéristique X 2 − aX − b sont toutes les suites λ1 r1n + λ2 r2n n∈N , λ1 et λ2 décrivant C.

• Cas où ∆ = 0 : Le polynôme X 2 − aX − b possède une seule racine r. Les suites

récurrentes linéaires d’ordre 2
de polynôme caractéristique X 2 − aX − b sont toutes les suites (λn + µ) r n n∈N , λ et µ décrivant C.

Le théorème distingue deux cas selon que ∆ est nul ou non, mais ce qui compte vraiment quand on cherche une expression
explicite de suite récurrente linéaire d’ordre 2, ce sont les racines du polynôme caractéristique, pas le discriminant.
Nous prouverons le résultat après un exemple.

Exemple On cherche une expression de la suite (un )n∈N définie par u0 = 0, u1 = 1 et un+2 = un+1 − un pour tout n ∈ N.
Démonstration La suite (unp)n∈N est récurrente linéaire d’ordre 2 de polynôme caractéristique X 2 − X + 1 et ce
1 3 iπ € inπ inπ Š
polynôme a pour racines ±i = e± 3 après calcul. La suite (un )n∈N est donc de la forme λ1 e 3 +λ2 e− 3
2 2 n∈N
pour certains λ1 , λ2 ∈ C et nous pouvons calculer λ1 et λ2 grâce aux conditions initiales u0 = 0 et u1 = 1. En
iπ iπ 1 1
effet : λ1 + λ2 = 0 et λ1 e 3 + λ2 e− 3 = 1, donc après calcul, λ1 = p et λ2 = − p . Finalement,
inπ inπ i 3 i 3
e 3 − e− 3 2 nπ
pour tout n ∈ N : un = p = p sin .
i 3 3 3

Démonstration (du théorème) Notons E l’ensemble des suites récurrentes linéaires d’ordre 2 de polynôme
caractéristique X 2 − aX − b. Deux remarques préliminaires :
— Pour toute suite (un )n∈N de E , si u0 = u1 = 0, alors un = 0 pour tout n ∈ N.
— Pour toutes suites (un )n∈N et (vn )n∈N de E et tous λ, µ ∈ C, la suite (λun + µvn )n∈N appartient encore à E .
Tâchons maintenant de déterminer E explicitement.



• Cas où ∆ 6= 0 : D’après le premier exemple du paragraphe, les suites r1n n∈N et r2n n∈N appartiennent à


E , donc toute suite de la forme λ1 r1n + λ2 r2n n∈N avec λ1 , λ2 ∈ C appartient à E .
Et réciproquement ? Soit (un )n∈N ∈ E . Donnons-nous deux nombres complexes λ1 et λ2 pour
le moment
quelconques, mais que nous allons bientôt choisir soigneusement. La suite un −λ1 r1n −λ2 r2n n∈N appartient
toujours à E et ses deux premiers termes valent u0 − λ1 − λ2 et u1 − λ1 r1 − λ2 r2 . Peut-on choisir λ1 et λ2
pour qu’ils vaillent tous deux 0 ? Eh bien oui. Après résolution du système linéaire sous-jacent, il suffit de
r2 u0 − u1 u1 − r1 u0
poser λ1 = et λ2 = , ce qui est possible car r1 6= r2 . Pour ces valeurs de λ1 et λ2 , la
r2 − r1
r2 − r1
suite un − λ1 r1n − λ2 r2n n∈N appartient à E et ses deux premiers termes sont nuls, donc pour tout n ∈ N :
un = λ1 r1n + λ2 r2n .

• Cas où ∆ = 0 : Dans ce cas très particulier, le polynôme X 2 − aX − b n’a qu’une seule racine r, non nulle
a
car b 6= 0, et en l’occurrence r = , donc 2r − a = 0.
2


Comme nous l’avons vu, la suite r n n∈N appartient à E , mais c’est aussi le cas de la suite nr n n∈N car pour


tout n ∈ N : (n + 2) r n+2 − a (n + 1) r n+1 − bnr n = nr n r 2 − ar − b + r n+1 (2r − a) = 0 + 0 = 0. Toute


suite de la forme (λn + µ) r n n∈N avec λ, µ ∈ C appartient donc à E .
Et réciproquement ? Soit (un )n∈N ∈ E . Donnons-nous

deux nombres complexes λ et µ pour le moment
quelconques. La suite un − (λn + µ) r n n∈N appartient toujours à E et ses deux premiers termes valent
u0 − µ et u1 − λr − µr. Peut-on choisir λ et µ pour qu’ils vaillent tous deux 0 ? Eh bien oui, il suffit de poser
u1 − ru0

λ= et µ = u0 . Pour ces valeurs de λ et µ, la suite un − (λn + µ) r n n∈N appartient à E et ses deux
r
premiers termes sont nuls, donc pour tout n ∈ N : un = (λn + µ) r n .

$si souvent
Attention ! Le théorème qui précède sert assez peu souvent en réalité, car s’il a le mérite de la généralité, on n’a pas
que cela affaire à des suites complexes. Dans le théorème qui suit, plus utile en pratique, on ne cherche que des
suites réelles, mais on s’appuie sur le cas complexe pour traiter le cas réel.

17
Christophe Bertault — Mathématiques en MPSI

Théorème (Expression explicite d’une suite récurrente linéaire d’ordre 2, cas réel) Soient a ∈ R et b ∈ R∗ . On
note ∆ le discriminant du polynôme X 2 − aX − b.
• Cas où ∆ > 0 : Le polynôme X 2 − aX − b possède deux racines RÉELLES distinctes r1 et r2 . Les suites récurrentes


linéaires d’ordre 2 RÉELLES de polynôme caractéristique X 2 − aX − b sont toutes les suites λ1 r1n + λ2 r2n n∈N , λ1
et λ2 décrivant R.
• Cas où ∆ = 0 : Le polynôme X 2 − aX − b possède une seule racine RÉELLE r. Les suites récurrentes

linéaires
d’ordre 2 RÉELLES de polynôme caractéristique X 2 − aX − b sont toutes les suites (λn + µ) r n n∈N , λ et µ
décrivant R.
• Cas où ∆ < 0 : Le polynôme X 2 − aX − b possède deux racines NON RÉELLES CONJUGUÉES distinctes ρ e±iθ .
Les
€ suites récurrentes linéaires d’ordre 2 RÉELLES de polynôme caractéristique X 2 − aX − b sont toutes les suites
n

Š
ρ λ cos(nθ ) + µ sin(nθ ) , λ et µ décrivant R.
n∈N

Les paramètres λ1 , λ2 , λ, µ décrivent cette fois R, et non plus C.

Démonstration Nous avons déjà déterminé l’ensemble E des suites récurrentes linéaires d’ordre 2 COMPLEXES
de polynôme caractéristique X 2 − aX − b. Il nous suffit maintenant de savoir lesquelles sont réelles et lesquelles
ne le sont pas.


• Cas où ∆ > 0 : Soit (un )n∈∈N ∈ E . Comme ∆ 6= 0, (un )n∈N est de la forme λ1 r1n + λ2 r2n n∈N pour certains
λ1 , λ2 COMPLEXES. Si (un )n∈N est à valeurs réelles, alors en particulier u0 = λ1 + λ2 et u1 = λ1 r1 + λ2 r2 sont
r2 u0 − u1 u1 − r1 u0
des réels, mais r1 et r2 en sont aussi, donc λ1 = et λ2 = sont réels. Réciproquement,
r2 − r1 r2 − r1
(un )n∈N est à valeurs réelles si λ1 et λ2 sont des réels.

• Cas où ∆ = 0 : On traite ce cas à peu près comme le précédent.

• Cas où ∆ < 0 : Soit (un )n∈∈N ∈ E . Comme ∆ 6= 0, (un )n∈N est de la forme λρ n eniθ + µρ n e−niθ n∈N pour
certains λ, µ COMPLEXES. Par ailleurs, ρ > 0 et θ ∈ R \ πZ car ρ eiθ et ρ e−iθ ne sont pas des réels.


Supposons (un )n∈N à valeurs réelles. En particulier, u0 = λ + µ et u1 = ρ λ eiθ + µ e−iθ sont des réels, donc
leurs parties imaginaires sont nulles, donc Im(λ) + Im(µ) = 0 et :
€ Š € Š
Im(λ) + Im(µ) cos θ + Re(λ) − Re(µ) sin θ = 0.

On tire de ces deux égalités que Re(µ) = Re(λ) et Im(µ) = −Im(λ), i.e. que µ = λ. Réciproquement, (un )n∈N
est à valeurs réelles si µ = λ et a bien la forme voulue car pour tout n ∈ N :

€ Š
un = λρ n eniθ + λρ n e−niθ = 2ρ n Re λ eniθ = ρ n 2 Re(λ) cos(nθ ) − 2 Im(λ) sin(nθ ) .

Exemple On cherche une expression de la suite réelle (un )n∈N définie par u0 = 0, u1 = 1 et un+2 = 2un+1 − un pour tout
n ∈ N.
2 2
Démonstration
caractéristique X − 2X + 1 = (X − 1) — une
Récurrente linéaire d’ordre 2 de polynôme
n
seule racine réelle — (un )n∈N est de la forme (λn + µ) 1 n∈N pour certains λ, µ ∈ R. Ensuite µ = u0 = 0 et
λ + µ = u1 = 1, donc λ = 1 et µ = 0, autrement dit un = n pour tout n ∈ N.

Exemple On cherche une expression de la suite réelle (un )n∈N définie par u0 = 0, u1 = 1 et un+2 = un+1 − un pour tout
n ∈ N. On l’a déjà fait dans un exemple précédent en passant par la version complexe du théorème sur les suites récurrentes
linéaires d’ordre 2. On peut à présent utiliser directement sa version réelle.
€ iπ Š € iπ Š
Démonstration Récurrente linéaire d’ordre 2 de polynôme caractéristique X 2 − X + 1 = X − e 3 X − e− 3
    
nπ nπ
— deux racines non réelles conjuguées — (un )n∈N est de la forme λ cos + µ sin pour certains
p 3 3 n∈N
λ µ 3 2 2 nπ
λ, µ ∈ R. Ensuite λ = u0 = 0 et + = u1 = 1, donc µ = p , puis un = p sin pour tout n ∈ N.
2 2 3 3 3

18