1.

Démonstrations du formulaire de trigonométrie:

1.1. Formules d'addition:

a) cos ab :

On sait que e ix=cos xi sin  x 

Donc cos  x =ℜeix 

Or cos ab=ℜe i ab 

On a alors e i ab =e ia e ib =cos  aisin acos bisinb

= cos a cos b−sin asin bisin bcos  asin acos b 

Et donc cos ab= cos acos b−sin a sin  b

b) sin ab :

De même, on sait que sin x=ℑe ix 

Or e i ab =cos a cos b−sin asin bi sin bcos asin a cos b

Donc sin ab=sin a cos bsin bcos  a

c) cos a−b et sin a−b :

Ici il suffit de remplacer b par −b

On a alors cos a−b =cos a cos −b−sin asin −b

Or cos −x=cos  x et sin−x =−sin x

Donc cos a−b=cos acos  bsin  asin b

De la même manière on trouve: sin a−b=sin a cos b−sin  bcos a 

d) cos 2a  et sin 2a :

En utilisant les formules précédentes, on remplace b par a

On a alors: cos aa= cos 2a= cos acos a −sin  asin a=cos² a− sin²  a

Sachant que cos² asin²  a=1

On peut également dire que: cos 2a =2cos² a −1=1− 2sin² a

On utilise le même raisonnement pour sin 2a et on obtient:

sin 2a =2sin a cos a

e) tan ab tan a−b tan 2a  :

sin x
On sait que tan  x =
cos  x

sin ab 
Donc tan ab =
cos  ab

sin a cos bsin b cos a

tan ab =
cos  acos b−sin a sin b

On factorise par cos b au numérateur et au dénominateur et on simplifie par cos b

sin x
On simplifie les par tan  x 
cos  x

sin atan bcos  a

On obtient: tan ab =
cos  a−sin a tan b

On factorise par cos a au numérateur et au dénominateur et on simplifie par cos a

sin  x 
Ensuite on remplace les par tan  x 
cos  x 

tana tan b

On obtient: tan ab =
1−tan a tan b

Pour obtenir tan a−b , on remplace b par −b dans la formule précédente

tan atan−b
On obtient tan a−b=
1−tan a tan −b

tana −tan b

Or tan −x =−tan x donc: tan a−b =
1tan a tan b

Pour tan 2a  , on remplace b par a , on obtient:

2tan a
tan 2a =
1−tan² a

1.2. Formules d'Euler:

On sait que: e ix=cos xi sin  x  et e−ix=cos  x−i sin  x 

eix e−ix
Donc e ixe−ix =2cos  x  et donc cos  x =
2

e ix−e−ix
De même: e ix−e−ix =2isin  x  et donc sin  x=
2i
1.3. Formules de linéarisation :

a) cos a cos b :

On sait que cos a−b=cos acos bsin a sin b

et que cos ab=cos acos  b−sin asin b

Donc cos abcos a−b=2cos a cos b

cos a−bcos ab

Soit cos a cos b=
2

b) sin asin b :

De même cos a−b−cos ab=2sin a sin b

cosa−b−cos ab
Donc sin asin b=
2

c) sin acos b  :

Pour finir, on sait que sin ab=sin acos  bsin bcos a

et que sin a−b=sin acos  b−sin bcos a

Donc sin a−bsin ab=2sin acos b 

sin a−bsin ab

Et donc sin acos  b=
2

d) cos² a :

cosa−bcos ab
On sait que cosa cos b=
2

On remplace b par a , on obtient:

cos 0cos 2a 1cos 2a

cos² a= soit cos² a=
2 2

e) sin² a :

cos a−b−cosab
On sait que sin asin b= , donc de la même manière:
2

1−cos 2a
sin² a=
2
f) tan² a :

sin a sin² a

tan a= donc tan² a=
cos a  cos² a

1cos 2a
Soit tan² a=
1−cos 2a

1.4. Formules de transformation de somme en produit:

a) cos acos b :

cos a−bcos ab

On sait que cos a cos b=
2

ab a−b
On remplace a par et b par
2 2

ab a−b ab a−b

cos  cos  − 
On a donc ab a−b 2 2 2 2
cos  cos  =
2 2 2

En simplifiant, on obtient:

ab a−b cos acos b

cos  cos  =
2 2 2

ab a−b
Soit cos acos b=2cos  cos  
2 2

b) cos a−cos b :

cos a−b−cosab
On sait que sin asin b=
2

ab a−b
On remplace a par et b par
2 2

ab a−b ab a−b

cos  − −cos   
On a donc ab a−b 2 2 2 2
sin   sin =
2 2 2

ab a−b cos b−cosa

Qu'on simplifie pour obtenir sin   sin =
2 2 2

ab a−b
Et donc cos a−cos b=−2sin   sin 
2 2
 c) sin asin b :

sin absina−b
On sait que sin acos  b=
2

ab
De la même manière que les démonstrations précédentes, on remplace a par
2
a−b
et b par , on obtient alors:
2

ab a−b
sin asin b=2sin  cos  
2 2

d) sin a−sin b :

De la même manière que les démonstrations précédentes, on trouve:

ab a−b
sin a−sin b=2cos  sin  
2 2

1.5. Formules dites d’arc moitié :

a) cos  x  :

a
1−tan²  
a 1−t² 2
On pose t=tan  donc =
2 1t² a
1tan²  
2
1cos 2x 
Or tan²  x =
1−cos 2x 

2cos a
1−t² 1cos  a
Alors = , on simplifie par 1cos a
1t² 2
1cos  a

1−t²
On obtient alors: cos  x =
1t²

b) sin  x :

a
2tan  
2t 2 a a
= =2tan   cos²   car 1tan²  x =cos²  x 
1t² a 2 2
1tan²  
2
 a a
2sin  cos²  
2t 2 2 a a
On a donc: = =2sin   cos  =sin a
1t² a 2 2
cos  
2

car sin 2x=2sin x cos  x

2t
Donc sin  x=
1t²

c) tan  x  :

a
2tan  
2t 2
=
1−t² a
1−tan²  
2

2tan x  2tan  x 
Or tan 2x = donc 1−tan²  x =
1−tan²  x  tan 2x 

a
2tan   tan a 
2t 2
On a alors =
1−t² a
2tan 
2

2t
Donc tan a=
1−t²

1.6. Formule de Moivre:

On sait que eix n =einx or e ix=cos xi sin  x 

Donc eix n = cos xisin  x n=e inx=cos nx isin nx 

Et donc cos  x isin x n =cos  nxisin nx 

1.7. Formule d'angle moitié:

1cos 2a a 1cos a

On sait que cos² a= , donc cos²  =
2 2 2

De plus, on sait que  x² =∣x∣ , donc ∣cos a2 ∣=  1cos

2
a

1−cos 2a
De même, on sait que sin² a= et de la même manière on prouve que:
2

∣sin  a2 ∣= 1−cos2 a

 x
sin  
x 2
On sait que tan  =
2 x
cos  
2
x
on multiplie au numérateur et au dénominateur par: 2cos  
2

x x
2sin  cos  
x 2 2
On obtient tan  = Sachant que sin 2a=2sin acos  a
2 x
2cos²  
2

1cos 2a
et que cos² a= , on simplifie l'expression précédente et on obtient:
2

x sin x 
tan  =
2 1cos  x 

1.8. Autres Formules:

x
x i x x x x x x
2cos   e 2 =[2cos ][cos  isin  ]=2cos²  2isin   cos 
2 2 2 2 2 2 2

1cos 2x 
Or cos²  x = et sin 2x=2sin x cos x
2

x x x ix
Donc 2cos²  2isin  cos  =1cos xisin  x =1e
2 2 2

x
ix x i
Et donc e 1=2cos  e 2
2

x
x i x x x x x x
2isin   e 2 =[2isin  ][cos  isin ]=2icos  sin −2 sin²  
2 2 2 2 2 2 2

On sait que sin 2a =2sin a cos a

x
x i x
Donc 2isin   e 2 =isin  x −2sin²  
2 2

1−cos 2a
De plus, on sait que sin² a=
2

x ix
On obtient alors isin x−2sin²  =isin  x −1cos x =e −1
2
x
x i
Et donc e ix−1=2isin   e 2
2