Bonjour,

Une vérification simple : fais x = 0, la première expression vaut 0, la seconde vaut 1/8...

donc c'est juste.

c'est -1/8(cos4x-1)

cos²x.sin²x= (cos x.sin x)²
                                 = (sin(2x)/2)²
                                 =  (sin²2x)/4
                                 = (1-cos(4x))/4

erratum..j'ai oublié de diviser par 2

donc c'est bien (1-cos(4x))/8