Bonjour, g un petit problème avec cette question, purriez vous m'aider?

Voila a quoi ressemble l'exo:
1.Démontrer que pour tout réel x: cos 4x = 8 cos^4x-cos²x+1
( ca g su faire, en passant par 2cos²x 2x-1)

2.On considère la fonction f définie pour tout réel x par f(x) = cos 4x

  a. Donner deux expression différentes de la dérivée de f'
(g touvée f'(x)= -4sin 4x; mais l'autre g trouve pas...)

  b. En déduire une expression de sin 4 x en utilisant cos x et sinx
????
( ca ge comprend pas du tout....)

Merci de m'aider au plus vite Merci bocou.

Ps: une petite confirmation, (-PI/6)+(7 PI/12) = (5 PI/12) NON ?  "PI=3.14"

Merci