Trigonométrie/Les formules de trigonométrie

Cette annexe va présenter une démonstration des formules de trigonométrie du chapitre 7 (page qu'il serait très pratique d’avoir dans un autre onglet de votre navigateur en parallèle de ce cours). Il existe des démonstrations ne relevant que de géométrie pure mais dans le but de généraliser les formules aux angles orientés et à valeur réelle (angles négatifs, angles supérieurs à 360°), nous allons devoir recourir à la géométrie analytique.

Notre priorité sera, avant tout, de montrer les deux formules concernant $\cos (a+b)$ et $\sin (a+b)$. Toutes les autres en découleront immédiatement.

Les formules d'addition

Somme de deux angles dans le cercle trigonométrique.

Soient $a$ et $b$ deux réels. Dans un repère orthonormé $(O;\overrightarrow{i},\overrightarrow{j})$, posons $A$ et $B$ les points du cercle trigonométrique tels que

$(\overrightarrow{i},\overrightarrow{OA})=a$ et $(\overrightarrow{OA},\overrightarrow{OB})=b$.

Soit encore $A^{\prime }$ le point du cercle trigonométrique tel que

$(\overrightarrow{i},\overrightarrow{O{A}^{\prime }})=a+\frac{\pi }{2}$.

Alors :

$\begin{array}{cc}\overrightarrow{OA}& =(\cos a)\overrightarrow{i}+(\sin a)\overrightarrow{j}\\ \overrightarrow{O{A}^{\prime }}& =\cos (a+\frac{\pi }{2})\overrightarrow{i}+\sin (a+\frac{\pi }{2})\overrightarrow{j}\\ & =-(\sin a)\overrightarrow{i}+(\cos a)\overrightarrow{j}\\ \overrightarrow{OB}& =\cos (a+b)\overrightarrow{i}+\sin (a+b)\overrightarrow{j}.\end{array}$

Mais dans le repère $(O;\overrightarrow{OA},\overrightarrow{O{A}^{\prime }})$,

$\begin{array}{cc}\overrightarrow{OB}& =(\cos b)\overrightarrow{OA}+(\sin b)\overrightarrow{O{A}^{\prime }}\\ & =(\cos b)((\cos a)\overrightarrow{i}+(\sin a)\overrightarrow{j})+(\sin b)(-(\sin a)\overrightarrow{i}+(\cos a)\overrightarrow{j})\\ & =(\cos a\cos b-\sin a\sin b)\overrightarrow{i}+(\sin a\cos b+\cos a\sin b)\overrightarrow{j}\end{array}$

Or $\overrightarrow{OB}=\cos (a+b)\overrightarrow{i}+\sin (a+b)\overrightarrow{j}$.

Les composantes d’un vecteur étant uniques, nous pouvons identifier :

$\begin{array}{cc}\cos (a+b)& =\cos (a)\cos (b)-\sin (a)\sin (b)\\ \sin (a+b)& =\sin (a)\cos (b)+\cos (a)\sin (b)\end{array}$

Enfin,

$\begin{array}{cc}\tan (a+b)& =\frac{\sin (a+b)}{\cos (a+b)}\\ & =\frac{\sin (a)\cos (b)+\cos (a)\sin (b)}{\cos (a)\cos (b)-\sin (a)\sin (b)}\\ & =\frac{\sin (a)\cos (b)+\cos (a)\sin (b)}{\cos (a)\cos (b)}\times \frac{\cos (a)\cos (b)}{\cos (a)\cos (b)-\sin (a)\sin (b)}\\ & =\frac{\tan (a)+\tan (b)}{1-\tan (a)\tan (b)}\end{array}$

Les autres formules

En posant $a=b$, et en n'oubliant pas que ${\cos }^{2}a+{\sin }^{2}a=1$, (en divisant les deux membres par ${\cos }^{2}a$) : $1+{\tan }^{2}a=\frac{1}{{\cos }^{2}a}$, les formules de duplication viennent clairement.

De là, on trouve facilement les formules de linéarisation à l'aide de deux expressions de $\cos (2a)$.

Les formulaires 4 et 5 s'obtiennent à partir du formulaire 1 :

$\cos (a+b)+\cos (a-b)=2\cos (a)\cos (b)$

donc

$\cos a\cos b=\frac{\cos (a+b)+\cos (a-b)}{2}$

et, par un changement de variable, en posant $p=a+b$ et $q=a-b$,

$\cos (p)+\cos (q)=2\cos \left(\frac{p+q}{2}\right)\cos \left(\frac{p-q}{2}\right)$

La formule $\tan (a)+\tan (b)=\frac{\sin (a+b)}{\cos (a)\cos (b)}$ [[../Exercices/Établissement de formules 2#Exercice 4-3|se déduit directement de la formule d'addition pour $\sin$]].