D'où je sors quoi? La relation? La relation tu la sors de ce que t'as fait avant
. Ensuite tu multiplies par 2 :
2 cos (3t) = -6cos(t) + 8 cos^3(t)
Et hop comme par magie ça a un lien avec l'autre égalité que t'as :
8cos^3(t) - 6cos(t) + 1 = O
Et hop ça fait le résultat que tu veux :
1 + 2 cos (3t) = 0...
Magique non ?