je chercherais du coté des formules de duplication...
on te dit pour sin(x) différent de 0, donc, ça doit vouloir dire que à un moment donné, on divise par sinus(x), c´est un premier point ;)
ensuite, développons à l´aide des formules de duplication
sin(4x)=2sin(2x)cos(2x)=(4sin(x)cos(x))(2cos²(x)-1
)
=8sin(x)cos^3(x)-4sin(x)cos(x)
on sait donc que 8sin(x)cos^3(x)-4sin(x)cos(x)=sin(x)
on soustrait sin(x)
8sin(x)cos^3(x)-4sin(x)cos(x)-sin(x)=0
on divise par sin(x)
8cos^3(x)-4cos(x)-1=0
oh miaracle