Démonstration des Formules de trigonométrie

Laurent Guyard

24 mars 2022

Table des matières

1 Introduction 2

2 Démonstrations 2
2.1 cos2 x + sin2 x = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2 Somme des angles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2.1 cos(a − b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2.2 cos(a + b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.3 sin(a − b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.4 sin(a + b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.5 tan(a − b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.6 tan(a + b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3 Angles doubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.1 cos 2a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.2 sin 2a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3.3 tan 2a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4 Formules de Simpson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4.1 sin p + sin q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4.2 sin p − sin q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4.3 cos p + cos q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4.4 cos p − cos q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4.5 tan p + tan q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Transformation de produits en sommes 8

3.1 sin a cos b . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2 sin a sin b . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.3 cos a cos b . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

4 Expression en fonction de tangente 9

5 Fonctions dérivées 9
5.1 Dérivée de cos x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
5.2 Dérivée de sin x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
5.3 Dérivée de tan x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

6 Formulaire 11

1
 2 DÉMONSTRATIONS

1 Introduction
Les formules de trigonométrie sont nombreuses. Elles sont utiles pour simplifier et transformer les
expressions en sinus et cosinus, dans les calculs d’integrales ou pour la résolution d’équations trigo-
nométriques. Le présent document donne le principe de la démonstration des principales formules. Il
permet, en cas de défaillance de la mémoire, de retrouver ces différentes formules.

2 Démonstrations
2.1 cos2 x + sin2 x = 1
Cette formule connue depuis le collège, n’est rien d’autre que le théorème de pythagore appliqué à un
triangle d’hypothénuse 1. Dessinons ce triangle dans le cercle trigonométrique (cercle de centre O et
de rayon 1).

1
sin α
α B
O cos α

Figure 1 – Pythagore revisité

OA l’hypothénuse a pour longueur 1. OB a pour longueur le cosinus de l’angle BOA.

’ AB a pour
longueur le sinus de l’angle BOA. AB. En appliquant le théorème de Pythagore au triangle rectangle
’
OBA rectangle en B on obtient :
OA2 = OB 2 + AB 2
Ce qui s’écrit
cos2 α + sin2 α = 1
La tangeante s’exprime à partir de sinus et cosinus
sin x
tan x =
cos x
Enfin rappelons les formules élémentaires du cours.

cos(−x) = cos x sin(−x) = − sin x

cos(x + π) = − cos x sin(x + π) = − sin x
cos(π − x)
= − cos x sin(π − x)
= sin x
cos x + π2
= − sin x sin x + π2
= cos x
cos π2 − x = sin x sin π2 − x = cos x

2
2.2 Somme des angles 2 DÉMONSTRATIONS

2.2 Somme des angles

Pour la somme des angles α et β, la situation est la suivante :

Figure 2 – cos(α + β)
Source : [Link]
Géométriquement, on en déduit que

cos(a + b) = cos a cos b − sin a sin b

Le paragraphes ci-après fournit une démonstration différente, utilisant des calculs de distance.

2.2.1 cos(a − b)

cos(a − b) = cos a cos b + sin a sin b

Démonstration : Sur le cercle trigonométrique, de centre O, on place les points

— C(1, 0), le point d’intersection du cercle avec l’axe des abscisses
— A(cos a, sin a), A est tel que la mesure de l’angle COA
’ soit égale à a
— B(cos b, sin b), B est tel que la mesure de l’angle COB
’ soit égale à b
— D(cos(a − b), sin(a − b), D est tel que la mesure de l’angle COD ’ soit égale à b − a
Les angles BOA
’ et COD ’ sont égaux et ont pour mesure a − b. Par conséquent les distances AB et
CD sont égales. Exprimons ces distances à l’aide des coordonnées des points A, B, C, D. On rappelle
que la distance entre deux points A(xA ; yA ) et B(xB ; yB ), dans un repère orthonormé est donnée par :
−−→ »
AB = kABk = (xB − xA )2 + (yB − yA )2

AB 2 = (cos b − cos a)2 + (sin b − sin a)2

= cos2 b − 2 cos b cos a + cos2 a + sin2 b − 2 sin b sin a + sin2 a
= 2 − 2 cos b cos a − 2 sin b sin a
CD = (cos(a − b) − 1)2 + sin(a − b)2
2

= cos2 (a − b) − 2 cos(a − b) + 1 sin2 (a − b)

= 2 − 2 cos(a − b)
En égalant les deux expressions on obtient

AB 2 = CD2

3
2.2 Somme des angles 2 DÉMONSTRATIONS

2 − 2 cos b cos a − 2 sin b sin a = 2 − 2 cos(a − b)

Et finalement
cos(a − b) = cos a cos b + sin a sin b

2.2.2 cos(a + b)

cos(a + b) = cos a cos b − sin a sin b

Démonstration : Cette formule se déduit de cos(a − b). En effet, en remplaçant b par −b, et en
tenant compte de cos(−b) = cos b et sin(−b) = − sin b On obtient

cos(a + b) = cos(a − (−b))

= cos a cos(−b) + sin a sin(−b)
= cos a cos b + sin a(− sin b)
= cos a cos b − sin a sin b

Finalement
cos(a + b) = cos a cos b − sin a sin b

2.2.3 sin(a − b)

sin(a − b) = sin a cos b sin b cos a

π 
Démonstration : Pour tout x on a cos − x = sin x. On passe donc du sinus au cosinus en
2
utilisant l’angle complémentaire.
π 
sin(a − b) = cos − (a − b)
π2  π 
= cos − a cos b − sin − a sin b
2 2
= sin a cos b − cos a sin b

2.2.4 sin(a + b)

sin(a + b) = sin a cos b + sin b cos a

Démonstration : On remplace b par −b dans la formule sin(a − b) = sin a cos b − sin b cos a, on
obtient :
sin(a + b) = sin(a − (−b))
= sin a cos(−b) − cos a sin(−b)
= sin(a + b) = sin a cos b + cos a sin b

2.2.5 tan(a − b)

tan a − tan b π π π
tan(a − b) = avec a 6= + kπ, b 6= + kπ, a − b 6= + kπ
1 + tan a tan b 2 2 2

Démonstration :
sin(a − b) sin a cos b − sin b cos a
tan(a − b) = =
cos(a − b) cos a cos b + sin a sin b

4
2.3 Angles doubles 2 DÉMONSTRATIONS

En divisant par cos a cos b le numérateur et le dénominateur, on obtient

sin a cos b sin b cos a
−
tan(a − b) = cos a cos b cos a cos b
cos a cos b sin a sin b
+
cos a cos b cos a cos b
sin a sin b
−
= cos a cos b
sin a sin b
1+
cos a cos b
tan a − tan b
=
1 + tan a tan b

2.2.6 tan(a + b)

tan a + tan b
tan(a + b) =
1 − tan a tan b

Démonstration : On remplace b par −b dans la formule tan(a − b).

tan(a + b) = tan(a − (−b))

tan a − tan(−b)
=
1 + tan a tan(−b)
tan a − tan(−b)
=
1 + tan a tan(−b)
tan a + tan b
=
1 − tan a tan b

2.3 Angles doubles

2.3.1 cos 2a

cos 2a = cos2 a − sin2 a

cos 2a = 1 − 2 sin2 a
cos 2a = 2 cos2 a − 1

Démonstration : Il suffit de poser a = b dans la formule cos(a + b)

cos(a + a) = cos a cos a − sin a sin a

cos 2a = cos2 a − sin2 a

En tenant compte de cos2 a + sin2 a = 1 on obtient les formules de Carnot

cos 2a = cos2 a − sin2 a

= cos2 a − (1 − cos2 a)
= 2 cos2 a − 1

et
cos 2a = cos2 a − sin2 a
= (1 − sin2 a) − sin2 a
= 1 − 2 sin2 a

5
2.4 Formules de Simpson 2 DÉMONSTRATIONS

2.3.2 sin 2a

sin 2a = 2 sin a cos a

Démonstration :
sin(a + a) = sin a cos a + sin a cos a
sin 2a = 2 sin a cos a

2.3.3 tan 2a

2 tan a π π π
tan 2a = avec a 6= + kπ, 2a 6= + k
1 − tan2 a 2 4 2

Démonstration : Il suffit remplacer b par a dans la formule tan(a + b)

tan 2a = tan(a + a)
tan a + tan a
=
1 − tan a tan a
2 tan a
=
1 − tan2 a

2.4 Formules de Simpson

2.4.1 sin p + sin q

p + q  p − q 
sin p + sin q = 2 sin cos
2 2

Démonstration : La formule résute de

sin(a + b) + sin(a − b) = (sin a cos b + sin b cos a) + (sin a cos b − sin b cos a) = 2 sin a cos b

Posons
p=a+b=p q =a−b
La résolution du système ß
a+b =p
a−b =q
Nous donne immédiatement
p+q p−q
a= b=
2 2
Il reste à remplacer a et b par leur valeur en fonction de p et q pour obtenir
p + q  p − q 
sin p + sin q = 2 sin cos
2 2

2.4.2 sin p − sin q

p + q  p − q 
sin p − sin q = 2 cos sin
2 2

Démonstration : On procède comme ci-dessus.

sin(a + b) − sin(a − b) = (sin a cos b + sin b cos a) − (sin a cos b − sin b cos a) = 2 cos a sin b

6
2.4 Formules de Simpson 2 DÉMONSTRATIONS

sin(a + b) − sin(a − b) = 2 cos a sin b

En remplaçant par a et b par leur valeur en fonction de p et q on obtient
p + q  p − q 
sin p − sin q = 2 cos sin
2 2

2.4.3 cos p + cos q

p + q  p − q 
cos p + cos q = 2 cos cos
2 2

Démonstration :

cos(a + b) + cos(a − b) = (cos a cos b − sin a sin b) + (cos a cos b + sin a sin b) = 2 cos a cos b

En remplaçant par a et b par leur valeur en fonction de p et q on obtient

p + q  p − q 
cos p + cos q = 2 cos cos
2 2

2.4.4 cos p − cos q

p + q  p − q 
cos p − cos q = −2 sin sin
2 2

Démonstration :

cos(a + b) − cos(a − b) = (cos a cos b − sin a sin b) − (cos a cos b + sin a sin b) = −2 sin a sin b

En remplaçant par a et b par leur valeur en fonction de p et q on obtient

p + q  p − q 
cos p − cos q = −2 sin sin
2 2

2.4.5 tan p + tan q

sin(p + q) π π
tan p + tan q = p 6= + kπ q 6= + kπ
cos p cos q 2 2

Démonstration :
sin p sin q
tan p + tan q = +
cos p cos q
En réduistant au même dénominateur on obtient :
sin p cos q + sin q cos p
tan p + tan q =
cos p cos q
sin(p + q)
=
cos p cos q

7
 3 TRANSFORMATION DE PRODUITS EN SOMMES

3 Transformation de produits en sommes

3.1 sin a cos b

1
sin a cos b = [sin(a − b) + sin(a + b)]
2

Démonstration :
1 1
[sin(a − b) + sin(a + b)] = [(sin a cos b − sin b cos a) + (sin a cos b + sin b cos a)]
2 2
1
= (2 sin a cos b)
2
= sin a cos b

Finalement
1
sin a cos b = [sin(a − b) + sin(a + b)
2

3.2 sin a sin b

1
sin a sin b = [cos(a − b) − cos(a + b)]
2

Démonstration :
1 1 1
[cos(a − b) − cos(a + b)] = [(cos a cos b + sin a sin b) − (cos a cos b − sin a sin b)] = (2 sin a sin b) = sin a sin b
2 2 2
1
sin a sin b = [cos(a − b) − cos(a + b)]
2

3.3 cos a cos b

1
cos a cos b = [cos(a − b) + cos(a + b)]
2

Démonstration :
1 1 1
[cos(a − b) + cos(a + b)] = [(cos a cos b + sin a sin b) + (cos a cos b − sin a sin b)] = (2 cos a cos b) = cos a cos b
2 2 2
1
cos a cos b = [cos(a − b) + cos(a + b)]
2

8
 5 FONCTIONS DÉRIVÉES

4 Expression en fonction de tangente

Les fonctions sinus et cosinus s’expriment à partir de la fonction tangente.
θ θ
1 − tan2 2 tan2
cos θ = 2 sin θ = 2
θ θ
1 + tan2 1 + tan2
2 2

Démonstration :
a−b
Å ã Å ã Å ã
a+b a+b
Å ã sin 2 sin cos
a+b 2 2 2 sin a + sin b
tan = ã= ã=
a−b
Å Å ã Å
2 a+b a+b cos a + cos b
cos 2 cos cos
2 2 2
De même
a−b
Å ã Å ã Å ã
a+b a+b
sin 2 sin sin
cos b − cos a
Å ã
a+b 2 2 2
tan = ã= ã=
a−b
Å Å ã Å
2 a+b a+b sin a − sin b
cos 2 cos sin
2 2 2
Posons a = θ et b = 0. Il vient
θ sin θ 1 − cos θ
tan = =
2 cos θ + 1 sin θ
et donc
θ 1 − cos θ
tan2 =
2 1 + cos θ
θ
Pour alléger les notations posons t = tan2 . Il vient :
2
t2 cos θ + t2 = 1 cos θ

(1 + t2 ) cos θ = 1 − t2
et finalement
1 − t2
cos θ =
1 + t2
Déterminons l’expression de sin θ.
ã2
1 − t2 (1 + t2 )2 − (1 − t2 )2 4t2
Å
2 2
sin θ = 1 − cos θ) = 1 − = =
1 + t2 (1 + t2 )2 (1 + t2 )2
Finalement
1 − t2 2t
cos θ = et sin θ =
1 + t2 1 + t2

5 Fonctions dérivées
5.1 Dérivée de cos x

d
cos x = − sin x
dx

Démonstration : Pour calculer le nombre dérivé d’une fonction au point d’abscisse x, il faut calculer
f (x + h) − f (x)
lim
h→0 h

9
5.2 Dérivée de sin x 5 FONCTIONS DÉRIVÉES

Pour la fonction cosinus on doit donc calculer

cos(x + h) − cos(x)
lim
h→0 h
cos(x + h) − cos(x) cos x cos h − sin x sin h − cos x
=
h h
Or pour h petit cos h ' 1 et sin h ' 1, il vient

cos(x + h) − cos(x) cos x − h sin x − cos x −h sin x

' = = − sin x
h h h
On en déduit
d f (x + h) − f (x)
cos(x) = lim = sin x
dx h→0 h

5.2 Dérivée de sin x

d
sin x = cos x
dx

Démonstration : On doit calculer

sin(x + h) − sin(x)
lim
h→0 h
sin(x + h) − sin(x) sin x cos h + sin h cos x − sin x
=
h h
En tenant compte de h petit

sin(x + h) − sin(x) sin x + h cos x − sin x h cos x

' = = cos x
h h h
On en déduit
d
sin x = cos x
dx

5.3 Dérivée de tan x

d
tan x = 1 + tan2 x
dx

Démonstration : Il suffit d’utiliser la formule de dérivation d’un quotient

sin x
tan x =
cos x
Donc
d cos x cos x − sin x(− sin x)
tan x =
dx cos2 x
1
cos − sin x2
=
cos2 x
sin2 x
=1+
cos2 x
= 1 + tan2 x

10
 6 FORMULAIRE

6 Formulaire

cos1 x + sin2 x = 1
sin x
tan x =
cos x
cos(−x) = cos x sin(−x) = − sin x
cos(x + π) = − cos x sin(x + π) = − sin x
cos(π − x)
= − cos x sin(π − x)
= sin x
cos x + π2
= − sin x sin x + π2
= cos x
cos π2 − x = sin x sin π2 − x = cos x
cos(a − b) = cos a cos b + sin a sin b
cos(a + b) = cos a cos b − sin a sin b
sin(a − b) = sin a cos b sin b cos a
sin(a + b) = sin a cos b + sin b cos a
tan a − tan b
tan(a − b) =
1 + tan a tan b
tan a + tan b
tan(a + b) =
1 − tan a tan b
cos 2a = cos2 a − sin2 a
cos 2a = 1 − 2 sin2 a
cos 2a = 2 cos2 a − 1
sin 2a = 2 sin a cos a
2 tan a
tan 2a =
1 − tan2 a
cos 3a = 4 cos3 a − 3 cos a
sin 3a = 3 sin a − 4 sin3 a
3 tan a − tan3 a
tan 3a =
1 − 3 tan2 a
p + q  p − q 
sin p + sin q = 2 sin cos
2 2
p + q  p − q 
sin p − sin q = 2 cos sin
2 2
p + q  p − q 
cos p + cos q = 2 cos cos
2 2

11