Planche no 12.

Trigonométrie circulaire : corrigé

Exercice no 1
1) sin x = 0 ⇔ x ∈ πZ. De plus, S[0,2π] = {0, π, 2π}.
π
π
2) sin x = 1 ⇔ x ∈ + 2πZ. De plus, S[0,2π] = .
2 2

π 3π
3) sin x = −1 ⇔ x ∈ − + 2πZ. De plus, S[0,2π] = .
2 2
4) cos x = 1 ⇔ x ∈ 2πZ. De plus, S[0,2π] = {0, 2π}.
5) cos x = −1 ⇔ x ∈ π + 2πZ. De plus, S[0,2π] = {π}.

π π 3π
6) cos x = 0 ⇔ x ∈ + πZ. De plus, S[0,2π] = , .
2 2 2
7) tan x = 0 ⇔ x ∈ πZ. De plus, S[0,2π] = {0, π, 2π}.

π π 5π
8) tan x = 1 ⇔ x ∈ + πZ. De plus, S[0,2π] = , .
4 4 4
Exercice no 2
  5π  
1 π π 5π
1) sin x = ⇔ x ∈ + 2πZ ∪ + 2πZ . De plus, S[0,2π] = , .
2 6 6 6 6
  3π  
1  π 5π 7π
2) sin x = − √ ⇔ x ∈ − + 2πZ ∪ − + 2πZ . De plus, S[0,2π] = , .
2 4 4 4 4
 
π 3π 3π 7π
3) tan x = −1 ⇔ x ∈ − + πZ. De plus, S[0,π] = et S[0,2π] = , .
4 4 4 4

π 
1 π π 7π
4) tan x = √ ⇔ x ∈ + πZ. De plus, S[0,π] = et S[0,2π] = , .
3 6 6 6 6
√ 
3  π  π  π 11π
5) cos x = ⇔ x ∈ − + 2πZ ∪ + 2πZ . De plus, S[0,2π] = , .
2 6 6 6 6
    
1 3π 3π 3π 5π
6) cos x = − √ ⇔ x ∈ − + 2πZ ∪ + 2πZ . De plus, S[0,2π] = , .
2 4 4 4 4
Exercice no 3
  5π    5π  
1 π π π 5π 13π 17π
1) sin(2x) = ⇔ 2x ∈ + 2πZ ∪ + 2πZ ⇔ x ∈ + πZ ∪ + πZ . De plus, S[0,2π] = , , , .
2 6 6 12 12 12 12 12 12
        
x 1 x 5π 7π 5π 7π 5π 7π
2) sin = − √ ⇔ ∈ + 2πZ ∪ + 2πZ ⇔ x ∈ + 4πZ ∪ + 4πZ . De plus, S[0,4π] = , .
2 2 2 4 4 2 2 2 2

π π π π π 9π 13π 17π
3) tan(5x) = 1 ⇔ 5x ∈ + πZ ⇔ x ∈ + Z. De plus, S[0,π] = , , , , .
4 20 5 20 4 20 20 20
1
4) cos(2x) = cos2 x ⇔ cos(2x) = (1 + cos(2x)) ⇔ cos(2x) = 1 ⇔ 2x ∈ 2πZ ⇔ x ∈ πZ. De plus, S[0,2π] = {0, π, 2π}.
2
1  π  π 
5) 2 cos2 x−3 cos x+1 = 0 ⇔ (2 cos x−1)(cos x−1) = 0 ⇔ cos x = ou cos x = 1 ⇔ x ∈ − + 2πZ ∪ + 2πZ ∪2πZ.
 2 3 3
π 5π
De plus, S[0,2π] = 0, , , 2π .
3 3
π π π
6) cos(nx) = 0 ⇔ nx ∈ + πZ ⇔ x ∈ + Z.
2 2n n
π
7) | cos(nx)| = 1 ⇔ nx ∈ πZ ⇔ x ∈ Z.
n
π
8) sin(nx) = 0 ⇔ nx ∈ πZ ⇔ x ∈ Z.
n
π π π
9) | sin(nx)| = 1 ⇔ nx ∈ + πZ ⇔ x ∈ + Z.
2 2n n
cos x − 1
10) sin x = tan x ⇔ sin x = 0 ⇔ sin x = 0 ou cos x = 1 ⇔ x ∈ πZ. De plus, S[0,2π] = {0, π, 2π}.
cos x
http ://www.maths-france.fr 1 c Jean-Louis Rouget, 2014. Tous droits réservés.

11) 1ère solution.

sin(2x) + sin x = 0 ⇔ sin(2x) = sin(x + π) ⇔ (∃k ∈ Z/ 2x = x + π + 2kπ) ou (∃k ∈ Z/ 2x = π − (x + π) + 2kπ)

2kπ
⇔ (∃k ∈ Z/ x = π + 2kπ) ou (∃k ∈ Z/ x = )
3

2π 4π
De plus, S[0,2π] = 0, , π, , 2π .
3 3
2ème solution.

1
sin(2x) + sin x = 0 ⇔ 2 sin(x) cos(x) + sin(x) = 0 ⇔ sin(x)(2 cos(x) + 1) = 0 ⇔ sin(x) = 0 ou cos(x) = −
2
π π
⇔ (∃k ∈ Z/ x = kπ) ou (∃k ∈ Z/ x = − + 2kπ) ou (∃k ∈ Z/ x = + 2kπ)
3 3

12)

1 1 1
12 cos2 x − 8 sin2 x = 2 ⇔ 6 cos2 x − 4(1 − cos2 x) = 1 ⇔ cos2 x = ⇔ cos x = √ ou cos = − √
2 2 2
 π  π  π π
⇔ x ∈ − + πZ ∪ + πZ ⇔ x ∈ + Z.
4 4 4 2

3π π π 3π
De plus, S[−π,π] = − , − , , .
4 4 4 4
Exercice no 4
1 h πi hπ i
1) Pour x ∈ [−π, π], cos x 6 ⇔ x ∈ −π, − ∪ ,π .
2 3 3
1 [ π 5π

2) Pour x ∈ R, sin x > − √ ⇔ x ∈ − + 2kπ, + 2kπ .
2 4 4
k∈Z

3) Pour x ∈ [0, 2π],

x x x  x  x  x x
cos x > cos ⇔ 2 cos2 − cos − 1 > 0 ⇔ 2 cos + 1 cos − 1 > 0 ⇔ 2 cos + 1 < 0 et cos 6= 1
2 2 2 2 2 2 2
x 1 x [  2π 4π

⇔ cos < − ⇔ ∈ + 2kπ, + 2kπ
2 2 2 3 3
k∈Z
[  4π 8π
 
4π

⇔x∈ + 4kπ, + 4kπ ⇔ x ∈ , 2π .
3 3 3
k∈Z

1
4) Pour x ∈ [−π, π], cos2 x > cos(2x) ⇔(1 + cos(2x)) > cos(2x) ⇔ cos(2x) 6 1 ⇔ x ∈ [−π, π].
2
   
1 1 1 π 3π 5π 7π
5) Pour x ∈ [0, 2π], cos2 x 6 ⇔ − √ 6 cos x 6 √ ⇔ x ∈ , ∪ , .
2 2 2 4 4 4 4
6) Pour x ∈ [0, 2π],

x x 1 x 1 x x π x π
cos 6 sin ⇔ √ sin − √ cos > 0 ⇔ sin − > 0 ⇔ ∃k ∈ Z/ 2kπ 6 − 6 π + 2kπ
3 3 2 3 2 3 3 4 3 4
3π 3π 3π
⇔ ∃k ∈ Z/ + 6kπ 6 x 6 3π + + 6kπ ⇔ 6 x 6 2π
4 4 4
Exercice no 5
√ ! √
π 1  π  1 2 2+ 2 π
cos2 = 1 + cos 2 × = 1+ = et donc, puisque cos > 0,
8 2 8 2 2 4 8
p √
π 2+ 2
cos = .
8 2

http ://www.maths-france.fr 2 c Jean-Louis Rouget, 2014. Tous droits réservés.

 √
π 21  π  2 − 2 π
De même, sin = 1 − cos 2 × = et donc, puisque sin > 0,
8 2 8 4 8
p √
π 2− 2
sin = .
8 2

Exercice no 6
√ √
π π π π π π π 6+ 2
cos = cos − = cos cos + sin sin = .
12 3 4 3 4 3 4 4
De même,
√ √
π π π π π π π 6− 2
sin = sin − = sin cos − sin sin = .
12 3 4 3 4 3 4 4
√ √ √ √
π 6+ 2 π 6− 2
cos = et sin = .
12 4 12 4

Exercice no 7
X
Pour n entier naturel non nul, on pose Sn = ei(±a1 ±...±an ) .

• S1 = eia1 + e−ia1 = 2 cos a1

• Soit n > 1. Supposons que Sn = 2n cos a1 ... cos an et montrons que Sn+1 = 2n+1 cos a1 ... cos an cos an+1 .

X X X
Sn+1 = ei(±a1 ±...±an+1) = eian+1 ei(±a1 ±...±an ) + e−ian+1 ei(±a1 ±...±an )

= 2 cos an+1 Sn
= 2n+1 cos a1 ... cos an+1 (par hypothèse de récurrence).

On a montré par récurrence que : ∀n > 1, Sn = 2n cos a1 ... cos an .

X X
Ensuite, pour n > 1, cos(±a1 ± ... ± an ) = Re(Sn ) = 2n cos a1 ... cos an (on obtient aussi sin(±a1 ± ... ± an ) =

Im(Sn ) = 0).
Exercice no 8
a a
1) Si a est dans ]0, 2π[ alors, pour tout entier naturel non nul k, k est dans ]0, π[ et donc sin k 6= 0. De plus, puisque
 a a a 2 2
sin 2 k = 2 sin k cos k , on a :
2 2 2
 a   a 
n
Y a Y n sin Yn sin
cos k = 2k−1 = 1 2k−1
2 a 2n a
k=1 k=1 2 sin k=1 2 sin
2k 2k
sin a
=  a  (produit télescopique).
n
2 sin n
2
a a i πh
2) ∀k ∈ N∗ , cos > 0 car est dans 0, .
2k 2k 2
    a 
sin n
n n
!
X   a  Y a sin a

sin a

ln cos k = ln cos k = ln   a   = ln − ln  2 .
2 2 n a a
k=1 k=1 2 sin n
2 2n
a
sin n sin x
Maintenant, lim 2 lim = 1 et donc,
n→+∞ a = x→0 x
2n

http ://www.maths-france.fr 3 c Jean-Louis Rouget, 2014. Tous droits réservés.

   a 
n
X  a 
 
sin a
 sin n

sin a

lim ln cos k = lim ln − ln  a2  = ln .
n→+∞ 2 n→+∞ a a
k=1
2n
Exercice no 9
Soit x ∈ R.

2 2 2 2 2 2
24 cos x+1
+ 16 × 24 sin x−3
= 20 ⇔ 24 cos + 16 × 21−4 cos x = 20 ⇔ 24 cos x − 10 + 16 × 2−4 cos x = 0
x+1

2 16 2 2
⇔ 24 cos x − 10 + 4 cos2 x = 0 ⇔ (24 cos x )2 − 10 × 24 cos x + 16 = 0
2
2
⇔ 24 cos x est solution de l’équation X2 − 10X + 16 = 0
2 2
⇔ 24 cos x
= 2 ou 24 cos x
= 8 ⇔ 4 cos2 x = 1 ou 4 cos2 x = 3
√ √
1 1 3 3
⇔ cos x = ou cos x = − ou cos x = ou cos x = −
 π 2 π   π 2π  2 2
⇔x∈ + Z ∪ + Z .
6 2 3 2
Exercice no 10
1) Tout d’abord, d’après la formule de Moivre,

cos(3θ) + i sin(3θ) = (cos θ + i sin θ)3 = (cos3 θ − 3 cos θ sin2 θ) + i(3 cos2 θ sin θ − sin3 θ),
et par identification des parties réelles et imaginaires,

∀θ ∈ R, cos(3θ) = cos3 θ − 3 cos θ sin2 θ et sin(3θ) = 3 cos2 θ sin θ − sin3 θ.

π π π π π
Ensuite, tan(3θ) et tan θ existent ⇔ 3θ ∈
/ + πZ et θ ∈
/ + πZ ⇔ 3θ ∈
/ + πZ ⇔ θ ∈
/ + Z.
2 2 2 6 3
π π
Soit donc θ ∈
/ + Z.
6 3
sin(3θ) 3 cos2 θ sin θ − sin3 θ 3 tan θ − tan3 θ
tan(3θ) = = = ,
cos(3θ) cos3 θ − 3 cos θ sin2 θ 1 − 3 tan2 θ
après division du numérateur et du dénominateur par le réel non nul cos3 θ.
π π  3 tan θ − tan3 θ
∀θ ∈ R \ + Z , tan(3θ) = .
6 3 1 − 3 tan2 θ

1
2) Soit a 6= ± √ .
3
1ère méthode. a est bien sûr racine de l’équation proposée, ce qui permet d’écrire :

3x − x3 3a − a3 1
⇔ 3x − x3 1 − 3a2 = 1 − 3x2 3a − a3 (car ± √ ne sont pas solution de l’équation)





=
1 − 3x2 1 − 3a2 3
⇔ 3a2 − 1 x3 − 3 a3 − 3a x2 − 3 3a2 − 1 x + a3 − 3a = 0

⇔ (x − a) 3a2 − 1 x2 + 8ax − a2 + 3 = 0.

Le discriminant réduit du trinôme 3a2 − 1 x2 + 8ax − a2 + 3 vaut :

√
∆ ′ = 16a2 − (3a2 − 1)(−a2 + 3) = 3a4 + 6a2 + 3 = ( 3(a2 + 1))2 > 0.
L’équation proposée a donc trois racines réelles :
 √ √ 
4a − 3(a2 + 1) 4a + 3(a2 + 1)
S = a, , .
1 − 3a2 1 − 3a2

http ://www.maths-france.fr 4 c Jean-Louis Rouget, 2014. Tous droits réservés.

 i π πh
π π
2ème méthode. Il existe un unique réel α ∈ − , \ − , tel que a = tan α et de même, si x est un réel distinct
2
2  6 6
1 i π π h π π
de ± √ , il existe un unique réel θ ∈ − , \ − , tel que x = tan θ (à savoir α = Arctan a et θ = arctan x).
3 2 2 6 6
1
Comme ± √ ne sont pas solution de l’équation proposée, on a :
3

3x − x3 3a − a3 3 tan θ − tan3 θ 3 tan α − tan3 α

= ⇔ = ⇔ tan(3θ) = tan(3α)
1 − 3x2 1 − 3a2 1 − 3 tan2 θ 1 − 3 tan2 α
π
⇔ 3θ ∈ 3α + πZ ⇔ θ ∈ α + Z.
3
Ceci refournit les solutions x = tan α = a, puis
π
tan α + tan √ √ √ √
 π 
3 a+ 3 (a + 3)(1 + 3a) 4a + 3(a2 + 1)
x = tan α + =  π = 1 − √3a =
 = ,
3 1 − tan α tan 1 − 3a2 1 − 3a2
3
√ 2
π 4a − 3(a + 1)
et x = tan(α − ) = .
3 1 − 3a2
Exercice no 11
Pour x ∈ [0, π], posons f(x) = tan x + tan(2x) + tan(3x) + tan(4x).

f(x) existe ⇔ tan x, tan(2x), tan(3x) et tan(4x) existent

 π   π   π   π 
⇔ x∈ / + πZ , 2x ∈ / + πZ , 3x ∈ / + πZ et 4x ∈
/ + πZ
2 2 2 2
 π   π π   π π   π π 
⇔ x∈ / + πZ , x ∈ / + πZ , x ∈ / + Z et x ∈/ + Z
2 4 2 6 3 8 4
π π π 3π π 5π 3π 5π 7π
⇔x∈ / , , , , , , , , .
8 6 4 8 2 8 4 6 8

f est définie et continue sur

h π h i π π h i π π h  π 3π   3π π   π 5π   5π 3π   3π 5π   5π 7π   7π 
0, ∪ , ∪ , ∪ , ∪ , ∪ , ∪ , ∪ , ∪ , ∪ ,π .
8 8 6 6 4 4 8 8 2 2 8 8 4 4 6 6 8 8

Sur chacun des dix intervalles précédents, f est définie, continue et strictement croissante en tant que somme de fonctions
strictement croissantes. La restriction de f à chacun de ces dix intervalles est donc bijective de l’intervalle considéré sur
l’intervalle image, ce qui montre déjà que l’équation proposée, que l’on note dorénavant (E), a au plus une solution par
intervalle et donc au plus dix solutions dans [0, π].
h πh  
7π
Sur I = 0, ou I = , π , puisque f(0) = f(π) = 0, (E) a exactement une solution dans I. Ensuite, dans l’expression
8 8
de somme f, une et une seule des quatre fonctions est un infiniment grand en chacun des nombres considérés ci-dessus, à
π
l’exception de . En chacun de ses nombres, f est un infiniment grand. L’image par f de chacun des six intervalles ouverts
2
π
n’ayant pas pour borne est donc ] − ∞, +∞[ et (E) admet exactement une solution dans chacun de ces intervalles. Ceci
2
porte le total à 6 + 2 = 8 solutions.
π− π−
En , tan x et tan(3x) tendent vers +∞ tandis que tan(2x) et tan(4x) tendent vers 0. f tend donc vers +∞ en , et de
2 2
π+
même f tend vers −∞ en . L’image par f de chacun des deux derniers intervalles est donc encore une fois ] − ∞, +∞[
2
et finalement,

L’équation (E) admet exactement dix solutions dans [0, π].

Exercice no 12
 
2 1 2 1 1
1) cos x = (1 + cos(2x)) et une primitive de x 7→ cos x sur R est x 7→ x + sin(2x) .
2 2 2
2) D’après les formules d’Euler,

http ://www.maths-france.fr 5 c Jean-Louis Rouget, 2014. Tous droits réservés.


4
 
1 ix −ix 1 4ix
cos x = 4
e +e = (e + 4e2ix + 6 + 4e−2ix + e−4ix )
2 16
1 1
= (2 cos(4x) + 8 cos(2x) + 6) = (cos(4x) + 4 cos(2x) + 3)
16 8
 
1 1
Donc, une primitive de x 7→ cos4 x sur R est x 7→ sin(4x) + 2 sin(2x) + 3x .
8 4
3) D’après les formules d’Euler,

4
 
1 ix 1 4ix
sin4 x = e − e−ix = (e − 4e2ix + 6 − 4e−2ix + e−4ix )
2i 16
1 1
= (2 cos(4x) − 8 cos(2x) + 6) = (cos(4x) − 4 cos(2x) + 3)
16 8
 
4 1 1
Donc, une primitive de x 7→ sin x sur R est x 7→ sin(4x) − 2 sin(2x) + 3x .
8 4
 
1 1 1 1
4) cos x sin x = sin2 (2x) = (1 − cos(4x)) et une primitive de x 7→ cos2 x sin2 x sur R est x 7→
2 2
x − sin(4x) .
4 8 8 4
5) D’après les formules d’Euler,

6
 
1 ix 1 6ix
sin6 x = e − e−ix e − 6e4ix + 15e2ix − 20 + 15e−2ix − 6e−4ix + e−6ix


=−
2i 64
1 1
= − (2 cos(6x) − 12 cos(4x) + 30 cos(2x) − 20) = (− cos(6x) + 6 cos(4x) − 15 cos(2x) + 10)
64 32
 
1 1 3 15
Donc, une primitive de x 7→ sin6 x sur R est x 7→ − sin(6x) + sin(4x) − sin(2x) + 10x .
32 6 2 2
1
6) cos x sin6 x = sin ′ x sin6 x et une primitive de x 7→ cos x sin6 x sur R est x 7→ sin7 x.
7
7) cos5 x sin2 x = cos x(1 − sin2 x)2 sin2 x = sin ′ x sin2 x − 2 sin ′ x sin4 x + sin ′ x sin6 x et une primitive de x 7→ cos5 x sin2 x
1 2 1
sur R est x 7→ sin3 x − sin5 x + sin7 x.
3 5 7
1
8) cos3 x = sin ′ x − sin ′ x sin2 x et une primitive de x 7→ cos3 x est x 7→ sin x − sin3 x.
3
Exercice no 13
1) Pour x réel , on a :

4 1 ix
6
   
4 6 1 ix −ix −ix
cos x sin x = e +e e −e
2 2i
1
= − 10 (e4ix + 4e2ix + 6 + 4e−2ix + e−4ix )(e6ix − 6e4ix + 15e2ix − 20 + 15e−2ix − 6e−4ix + e−6ix )
2
1
= − 10 (e10ix − 2e8ix − 3e6ix + 8e4ix + 2e2ix − 12 + 2e−2ix + 8e−4ix − 3e−6ix − 2e−8ix + e−10ix )
2
1
= − 9 (cos 10x − 2 cos 8x − 3 cos 6x + 8 cos 4x + 2 cos 2x − 6)
2
1
=− (cos 10x − 2 cos 8x − 3 cos 6x + 8 cos 4x + 2 cos 2x − 6).
512
(Remarque. La fonction proposée était paire et l’absence de sinus était donc prévisible. Cette remarque guidait aussi les
calculs intermédiaires : les coefficients de e−2ix , e−4ix ,... étaient les mêmes que ceux de e2ix , e4ix ,...) Par suite,

 π/3 !
1 sin 10x sin 8x sin 6x π
π
I=− − − + 2 sin 4x + sin 2x −6 −
512 10 4 2 π/6 3 6
√
1√ √
 
1 9 3 + 4π
=− − 3 + 2(− 3) − π = .
512 4 2048

http ://www.maths-france.fr 6 c Jean-Louis Rouget, 2014. Tous droits réservés.

2) Pour x réel, on a

cos4 x sin7 x = cos4 x sin6 x sin x = cos4 x(1 − cos2 x)3 sin x
= cos4 x sin x − 3 cos6 x sin x + 3 cos8 x sin x − cos10 x sin x.

Par suite,

π/3
cos5 x 3 cos7 x cos9 x cos11 x

J= − + − +
5 7 3 11 π/6
1 1 √ 3 1 √ 1 1 √ 1 1 √
= − × (1 − 9 3) + × (1 − 27 3) − × (1 − 81 3) + × (1 − 243 3)
5 32 7 128 3 512 11 2048
1 √ √ √ √
= 11 (−14784(1 − 9 3) + 7920(1 − 27 3) − 1540(1 − 81 3) + 105(1 − 243 3))
2 × 3 × 5 × 7 × 11
1 √
= (−8284 + 18441 3).
365 440
Exercice no 14
x 1 − cos x
1) tan existe si et seulement si x ∈
/ π + 2πZ et existe si et seulement si x ∈
/ πZ. Pour x ∈
/ πZ,
2 sin x
x
1 − cos x 2 sin2 x
=  x  2  x  = tan .
sin x 2 sin cos 2
2 2

2) Pour tout réel x,

√ √
2π 2π 1 3 1 3
sin(x − ) + sin x + sin(x + ) = − sin x − cos x + sin x − sin x + cos x = 0,
3 3 2 2 2 2
ou, bien mieux,
   
2π 2π  2π 2π

= Im ei(x− 3 ) + eix + ei(x+ 3 ) = Im eix j2 + 1 + j = 0.



sin x − + sin x + sin x +
3 3
π  π  2 π π π
3) tan − x , tan + x et existent si et seulement si − x, + x et 2x ne sont pas dans + πZ, ce qui
4 4 cos(2x) 4 4 2
π π π π
équivaut à x ∈
/ + Z. Donc, pour x ∈ / + Z,
4 2 4 2
π  π  1 − tan x 1 + tan x cos x − sin x cos x + sin x
tan − x + tan +x = + = +
4 4 1 + tan x 1 − tan x cos x + sin x cos x − sin x
(cos x − sin x)2 + (cos x + sin x)2 2(cos2 x + sin2 x) 2
= 2
= = .
2
cos x − sin x cos(2x) cos(2x)

π
4) Pour x ∈
/ Z,
4
1 cos x sin x cos2 x − sin2 x 2 cos(2x) 2
− tan x = − = = = .
tan x sin x cos x sin x cos x sin(2x) tan(2x)
Exercice no 15
1) Pour tout réel x, 1 − 2k cos x + k2 = (k − cos x)2 + sin2 x ≥ 0. De plus,

1 − 2k cos x + k2 = 0 ⇒ k − cos x = sin x = 0 ⇒ x ∈ πZ et k = cos x ⇒ k ∈ {−1, 1},

ce qui est exclu. Donc,

∀k ∈ R \ {−1, 1}, ∀x ∈ R, 1 − 2k cos x + k2 > 0.

fk est donc définie sur R, dérivable sur R en vertu de théorèmes généraux, impaire et 2π-périodique. On l’étudie dorénavant
sur [0, π]. Pour x ∈ [0, π], on a :

http ://www.maths-france.fr 7 c Jean-Louis Rouget, 2014. Tous droits réservés.

 1
fk′ (x) = cos x(1 − 2k cos x + k2 )−1/2 − sin x(2k sin x)(1 − 2k cos x + k2 )−3/2
2
= (1 − 2k cos x + k2 )−3/2 (cos x(1 − 2k cos x + k2 ) − k sin2 x)
= (1 − 2k cos x + k2 )−3/2 (−k cos2 x + (1 + k2 ) cos x − k)
= (1 − 2k cos x + k2 )−3/2 (k cos x − 1)(k − cos x)

(k cos x − 1)(k − cos x)

∀x ∈ R, fk′ (x) = .
(1 − 2k cos x + k2 )3/2

1er cas : |k| < 1 et k 6= 0 (f0 (x) = sin x). Pour tout réel x, (1 − 2k cos x + k2 )−3/2 (k cos x − 1) < 0 (car |k cos x| < 1) et
fk′ (x) est du signe de cos x − k.

x 0 Arccos k π
f ′ (x) + 0 −
1
f
0 0
√
1 − k2
car fk (Arccos k) = √ = 1).
1 − 2k2 + k2
2ème cas : k > 1. Pour tout réel x, (1 − 2k cos x + k2 )−3/2 (k − cos x) > 0 et fk′ (x) est du signe de k cos x − 1.

1
x 0 Arccos π
k
f ′ (x) + 0 −
1
k
f
0 0
r
1
  1− 2
1 k 1
car fk Arccos = √ = .
k 1−2+k 2 k
3ème cas : k < −1. Pour tout réel x, (1 − 2k cos x + k2 )−3/2 (k − cos x) < 0 et fk′ (x) est du signe de 1 − k cos x.

1
x 0 Arccos π
k
f ′ (x) + 0 −
1
−
k
f
0 0
r
1
  1− 2
1 k 1
car fk Arccos = √ =− .
k 1−2+k 2 k
Zπ
2) Pour k ∈ R \ {−1, 1}, posons Ik = fk (x) dx.
0
Zπ
Si k = 0, Ik = sin x dx = 2. Sinon,
0
Z
1 π 2k sin x 1 hp iπ
Ik = √ dx = 1 − 2k cos x + k2
k 0 2 1 − 2k cos x + k2 k 0
1 p p 1
= ( 1 + 2k + k2 − 1 − 2k + k2 ) = (|k + 1| − |k − 1|).
k k

http ://www.maths-france.fr 8 c Jean-Louis Rouget, 2014. Tous droits réservés.

 1
Plus précisément, si k ∈] − 1, 1[\{0}, Ik = ((1 + k) − (1 − k)) = 2, ce qui reste vrai pour k = 0. Si k > 1, Ik =
k
1 2 −2
((1 + k) − (k − 1)) = , et enfin, si k < −1, Ik = . En résumé,
k k k

2
Si k ∈] − 1, 1[, Ik = 2 et si k ∈] − ∞, −1[∪]1, +∞[, Ik = .
|k|

Exercice no 16
n
X n
X
1) Soient n ∈ N et x ∈ R. Posons Sn = cos(kx) et Sn′ = sin(kx).
k=0 k=0

1ère solution.
n
X n
X n
X
Sn + iSn′ = (cos(kx) + i sin(kx)) = eikx = (eix )k .
k=0 k=0 k=0
ix
Maintenant, e = 1 ⇔ x ∈ 2πZ. Donc,
1er cas. Si x ∈ 2πZ, on a immédiatement Sn = n + 1 et Sn′ = 0.
/ 2πZ, alors eix 6= 1 et
2ème cas. Si x∈

(n+1)x
1 − ei(n+1)x ei(n+1)x/2 e−i(n+1)x/2 − ei(n+1)x/2 −2i sin 2
Sn + iSn′ = = = einx/2
1−e ix eix/2 e−i(n+1)x/2 +e i(n+1)x/2 −2i sin x2
sin (n+1)x
= einx/2 2
sin x2

Par identification des parties réelles et imaginaires, on obtient

      

 nx  (n + 1)x  nx  (n + 1)x
n

 cos sin n

 sin sin
X  2 2 X  2 2
cos(kx) = x si x ∈
/ 2πZ et sin(kx) = x si x ∈
/ 2πZ

 sin 
 sin
k=0 
 2 k=0 
 2
n + 1 si x ∈ 2πZ 0 si x ∈ 2πZ

2ème solution.
n n n 
xX X X      
x 1 1
2 sin cos(kx) = 2 sin cos(kx) = sin k+ x − sin k− x
2 2 2 2
k=0 k=0 k=0
Xn    X n   !
1 1
= sin (k + 1) − x − sin k− x
2 2
k=0 k=0
    
1 −x
= sin n+ x − sin (somme télescopique)
2 2
(2n + 1)x x (n + 1)x nx
= sin + sin = 2 sin cos
2 2 2 2
et donc, si x ∈
/ 2πZ,...
n
X n
X
2) Soient n ∈ N et x ∈ R. Posons Sn = cos2 (kx) et Sn′ = sin2 (kx). On a :
k=0 k=0
n
X n
X
Sn + Sn′ = (cos2 (kx) + sin2 (kx)) = 1 = n + 1,
k=0 k=0

et
n
X n
X
Sn − Sn′ = (cos2 (kx) − sin2 (kx)) = cos(2kx).
k=0 k=0

http ://www.maths-france.fr 9 c Jean-Louis Rouget, 2014. Tous droits réservés.

D’après 1), si x ∈ πZ, on trouve immédiatement,
n
X n
X
cos2 (kx) = n + 1 et sin2 (kx) = 0,
k=0 k=0

et si x ∈
/ πZ,

cos(nx) sin(n + 1)x

Sn + Sn′ = n + 1 et Sn − Sn′ = ,
sin x
de sorte que
   
1 cos(nx) sin(n + 1)x ′ 1 cos(nx) sin(n + 1)x
Sn = n+1+ et Sn = n+1− .
2 sin x 2 sin x

3) Soient n ∈ N et x ∈ R. D’après la formule du binôme de Newton

n n
! n n
X X X X
k
Ckn cos(kx)) + i Ckn sin(kx) = Ckn eikx = Ckn eix 1n−k
k=0 k=0 k=0 k=0
 n x nx nx 
ix n
= eix/2 + e−ix/2 einx/2 = 2n cosn


= 1+e cos + i sin .
2 2 2
Par identification des parties réelles et imaginaires, on obtient alors

n
X n
X
x nx x nx
∀n ∈ N, ∀x ∈ R, Ckn cos(kx) = 2n cosn cos et Ckn sin(kx) = 2n cosn sin .
2 2 2 2
k=0 k=0

Exercice no 17


cos a + cos b + cos c = 0
⇔ (cos a + cos b + cos c) + i(sin a + sin b + sin c) = 0 ⇔ eia + eib + eic = 0
sin a + sin b + sin c = 0
  
⇒ eia + eib  = | − eic | = 1 ⇔ eia/2 eib/2 ei(a−b)/2 + e−i(a−b)/2  = 1
   
 
 a − b  1
⇔ cos
 =
2  2
   
a − b π   π  2π 2π
⇔ ∈ + πZ ∪ − + πZ ⇔ a − b ∈ + 2πZ ∪ − + 2πZ
2 3 3 3 3
2π
⇔ ∃k ∈ Z, ∃ε ∈ {−1, 1}/ b = a + ε + 2kπ.
3
2π
Par suite, nécessairement, eib = jeia ou eib = j2 eia . Réciproquement, si eib = jeia ou encore b = a + + 2kπ,
3
2π
eia + eib + eic = 0 ⇔ eic = −(eia + eib ) = −(1 + j)eia = j2 eia ⇔ ∃k ′ ∈ Z/ c = a − + 2k ′ π,
3
2π
et si eib = j2 eia ou encore b = a − + 2kπ,
3
2π
eia + eib + eic = 0 ⇔ eic = −(eia + eib ) = −(1 + j2 )eia = jeia ⇔ ∃k ′ ∈ Z/ c = a + + 2k ′ π.
3
 
2π 2π
S = a, a + ε + 2kπ, a − ε + 2k ′ π , a ∈ R, ε ∈ {−1, 1}, (k, k ′ ) ∈ Z2 .
3 3

Exercice no 18

http ://www.maths-france.fr 10 c Jean-Louis Rouget, 2014. Tous droits réservés.

  
π 3π 5π 7π π 3π  π π
cos4 + cos4 + cos4 + cos4 = 2 cos4 + cos4 = 2 cos4 + sin4
8 8 8 8 8 8 8 8
 2   
2 π 2 π 2 π 2 π 1 2 π
=2 cos + sin − 2 cos sin = 2 1 − sin
8 8 8 8 2 4
 
1 3
=2 1− = .
4 2

Exercice no 19
1) Soit x ∈ R.

π   π   π 
cos(3x) = sin(2x) ⇔ cos(3x) = cos − 2x ⇔ ∃k ∈ Z/ 3x = − 2x + 2kπ ou ∃k ∈ Z/ 3x = − + 2x + 2kπ
 2  2 2
π 2kπ  π 
⇔ ∃k ∈ Z/ x = + ou ∃k ∈ Z/ x = − + 2kπ .
10 5 2

π π 9π 13π 3π 17π
S[0,2π] = , , , , , .
10 2 10 10 2 10

2) cos(3x) = Re(e3ix ) = Re((cos x + i sin x)3 ) = cos3 x − 3 cos x sin2 x = cos3 x − 3 cos x(1 − cos2 x) = 4 cos3 x − 3 cos x.

∀x ∈ R, cos(3x) = 4 cos3 x − 3 cos x.

Par suite,

cos(3x) = sin(2x) ⇔ 4 cos3 x − 3 cos x = 2 sin x cos x ⇔ cos x(4 cos2 x − 3 − 2 sin x) = 0
⇔ cos x(−4 sin2 x − 2 sin x + 1) = 0 ⇔ (cos x = 0) ou (4 sin2 x + 2 sin x − 1 = 0).

π 13π
D’après 1), l’équation 4 sin2 x + 2 sin x − 1 = 0 admet entre autres pour solutions et (car, dans chacun des deux
10 10
π
cas, cos x 6= 0), ou encore, l’équation 4X2 + 2X − 1 = 0 admet pour solutions les deux nombres distincts X1 = sin et
10
13π
X2 = sin , qui sont donc les deux solutions de cette équation. Puisque X1 > 0 et que X2 < 0, on obtient
10
√ √
−1 + 5 −1 − 5
X1 = et X2 = .
4 4
13π 3π
Donc, (puisque sin = − sin ),
10 10
√ √
π −1 + 5 3π 1+ 5
sin = et sin = .
10 4 10 4
 
3π π 3π π
Ensuite, sin = cos − = cos , et donc
10 2 10 5
√
π 1+ 5
cos = .
5 4

√ √
r
π π 1p π 1p 3π
Enfin, cos = 1 − sin2 = 10 + 2 5 et de même sin = 10 − 2 5 = cos .
10 10 4 5 4 10
Exercice no 20
1) La fonction f1 est définie sur R, 2π-périodique et paire. On l’étudie sur [0, π].
La fonction f1 est dérivable sur [0, π] et pour tout x de [0, π]

http ://www.maths-france.fr 11 c Jean-Louis Rouget, 2014. Tous droits réservés.

 f1′ (x) = −2 sin(x) − 2 sin(2x) = −2 sin(x) − 4 sin(x) cos(x) = −2 sin(x)(1 + 2cos(x)).
La fonction sinus s’annule en 0 et π et est strictement positive sur ]0, π[. Donc la fonction f1′ est du signe de −1 − 2 cos(x)
sur ]0, π[. Ensuite, pour x ∈]0, π[,
1 2π
−1 − 2 cos(x) = 0 ⇔ cos(x) = − ⇔x= ,
2 3
et
1 2π
−1 − 2 cos(x) > 0 ⇔ cos(x) < − ⇔x> (par stricte décroissance de la fonction cos sur [0, π].)
2 3
   
2π 2π 2π
Ainsi, la fonction f1′ est strictement négative sur 0, , strictement positive sur , π et s’annule en 0, et π.
3 3 3
On en déduit le tableau de variations de la fonction f1 :

2π
x 0 π
3
f1′ (x) 0 − 0 + 0
3 −1
f1
3
−
2
Graphe de f1 .

−6 −5 −4 −3 −2 −1 1 2 3 4 5 6
−1

−2

−3

2) Pour tout réel x, 2 − cos(x) 6= 0 et donc, la fonction f2 est définie sur R, 2π-périodique et impaire. On l’étudie sur [0, π].
La fonction f2 est dérivable sur [0, π] et pour tout x de [0, π]

cos(x)(2 − cos(x)) − sin(x)(sin(x)) 2 cos(x) − 1

f2′ (x) = 2
= .
(2 − cos(x)) (2 − cos(x))2
La fonction f2′ est du signe de 2 cos(x) − 1 sur [0, π]. Ensuite, pour x ∈ [0, π],
1 π
2 cos(x) − 1 = 0 ⇔ cos(x) = ⇔x= ,
2 3
et
1 π
2 cos(x) − 1 > 0 ⇔ cos(x) > ⇔ x < (par stricte décroissance de la fonction cos sur [0, π].)
2 3
h πh iπ i π
Ainsi, la fonction f2′ est strictement positive sur 0, , strictement négative sur , π et s’annule en . On note que
3 3 3

http ://www.maths-france.fr 12 c Jean-Louis Rouget, 2014. Tous droits réservés.

 √
3 √
π 3
f2 = 2
  = = 0, 57 . . .
3 1 3
2−
2
On en déduit le tableau de variations de la fonction f2 :

2π
x 0 π
3
f1′ (x) + 0 −
√
3
3
f1
0 0

Graphe de f2 .

−6 −5 −4 −3 −2 −1 1 2 3 4 5 6
−1

π 
3) f3 est définie sur D = R \ + πZ , paire et 2π-périodique. f3 est continue sur D en vertu de théorèmes généraux.
h π h i π i2 h πh iπ i
On étudie f3 sur 0, ∪ , π . Si x ∈ 0, , f3 (x) = tan x + cos x et si x ∈ , π , f3 (x) = − tan x + cos x.
2 2 2 2
π
Etude en . lim | tan x| = +∞ et lim cos x = 0. Donc, lim f(x) = +∞. La courbe représentative de la fonction f3
2 x→π/2 x→π/2 x→π/2
π
admet la droite d’équation x = pour droite asymptote.
2
h πh iπ i h πh
Dérivabilité et dérivée. f3 est dérivable sur 0, ∪ , π en vertu de théorèmes généraux et pour x ∈ 0, ,
2 2 2
′ 1 iπ i
′ 1
f3 (x) = − sin x et pour x ∈ , π , f3 (x) = − 2 − sin x.
cos2 x 2′ cos x
f3 est dérivable à droite en 0 et (f3 )d (0) = 1. Par symétrie, f3 est dérivable à gauche en 0 et (f3 )g′ (0) = −1. f3 n’est pas
dérivable en 0.
De même, f2 est dérivable à gauche et à droite en π avec (f3 )g′ (π) = −1 et (f3 )d′ (π) = 1, et n’est donc pas dérivable en π.
π
Variations. f3 est strictement décroissante sur ] , π] en tant que somme de deux fonctions strictement décroissantes sur
2
π π
] , π]. Puis, pour x élément de ]0, [,
2 2
1
f3′ (x) = − sin x > 1 − 1 = 0.
cos2 x
π π
La fonction f3′ est strictement positive sur ]0, [ et donc f3 est strictement croissante sur [0, [.
2 2
Graphe.

http ://www.maths-france.fr 13 c Jean-Louis Rouget, 2014. Tous droits réservés.

 y = f3 (x)
6

1
−π π

−7 −6 −5 −4 −3 −2 −1 1 2 3 4 5
−1

4) La fonction f4 est 2π-périodique. On l’étudie sur [−π, π]. Pour x ∈ [−π, π],
1 2π 2π
2 cos(x) + 1 = 0 ⇔ cos(x) = −
⇔x=− ou x = .
2 3 3
 
2π 2π 2π
Pour x ∈ [−π, π], f4 (x) existe si et seulement si x 6= − et x 6= . On étudie la fonction f4 sur D = −π, − ∪
    3 3 3
2π 2π 2π
− , ∪ ,π .
3 3 3
2π 2π
Etude en . Quand x tend vers par valeurs inférieures, 2 cos(x) + 1 tend vers 0 par valeurs supérieures et quand x
3 3
2π 2π
tend vers par valeurs supérieures, 2 cos(x) + 1 tend vers 0 par valeurs inférieures. D’autre part, quand x tend vers ,
3 √ 3
2 sin(x) + 1 tend vers 3 + 1 qui est strictement positif. On en déduit que

lim − f4 (x) = +∞ et lim + f4 (x) = −∞.

x→ 2π
3 x→ 2π
3

2π 2π
Etude en − . Quand x tend vers − par valeurs inférieures, 2 cos(x) + 1 tend vers 0 par valeurs inférieures et quand
3 3
2π
x tend vers par valeurs supérieures, 2 cos(x) + 1 tend vers 0 par valeurs supérieures. D’autre part, quand x tend vers
3
2π √
− , 2 sin(x) + 1 tend vers − 3 + 1 qui est strictement négatif. On en déduit que
3
lim −
f4 (x) = +∞ et lim +
f4 (x) = −∞.
x→− 2π
3 x→− 2π
3

Dérivée. La fonction f4 est dérivable sur D et pour tout x de D,

(2 cos(x))(2 cos(x) + 1) − (2 sin(x) + 1)(−2 sin(x)) 4 + 2 cos(x) + 2 sin(x)

f4′ (x) = =
(2 cos(x) + 1)2 (2 cos(x) + 1)2
√
 
1 1 √  π
4 + 2 2 √ cos(x) + √ sin(x) 4 + 2 2 sin x +
2 2 4 .
= =
(2 cos(x) + 1)2 (2 cos(x) + 1)2
√  π √
Pour tout x de D, 4 + 2 2 sin x + > 4 − 2 2 > 0 et donc la fonction f4′ est strictement positive sur D. La fonction f4
4         
2π 2π 2π 2π 2π 2π 2π
est donc strictement croissante sur −π, − et sur − , et sur , π (mais pas sur −π, − ∪ − , ∪
  3 3 3 3 3 3 3
2π
, π ).
3

http ://www.maths-france.fr 14 c Jean-Louis Rouget, 2014. Tous droits réservés.

Graphe. y = f4 (x)

1
−π π

−7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7
−1

−2

−3

−4

http ://www.maths-france.fr 15 c Jean-Louis Rouget, 2014. Tous droits réservés.