cf : http://gilles.costantini.pagesperso-orange.fr/Lycee_fichiers/CoursT_fichiers/formtrig.pdf
J'ai essayé de résoudre les équation mais... on ne peut pas 
Il s'agit plutot de démontrer
Et pour se faire, ai à l'esprit le résultat pour toujours savoir où pointer (c'est à dire quelle expression modifier et comment les modifier à l'aide du formulaire)
1)
- Utiliser cos(a+b) et cos(a-b)
- Utiliser co²x = 1-sin²x et sin²x = 1 - cos²x
2)
- Utiliser A^4-B^4 = (A^2-B^2)(A^2+B^2)
- Puis A^2-B^2 = (A-B)(A+B)
3)
- Utiliser cos(a+b) et sin(a-b)
- Utiliser sin(2x) = 2.sin(x).cos(x) et cos²x+sin²x = 1