Valeur exacte de cos(7π/12) via π/3 + π/4

L'énoncé te suggère de décomposer l'angle $\frac{7\pi }{12}$ en somme de deux angles remarquables. Quelle formule trigonométrique connais-tu pour calculer le cosinus d'une somme de deux angles ?

Applique la formule $\cos (a+b)=\cos a\cos b-\sin a\sin b$ avec $a=\frac{\pi }{3}$ et $b=\frac{\pi }{4}$. Rappelle-toi les valeurs exactes du cosinus et sinus de ces angles remarquables, puis effectue les calculs.