Bonjour,voici une petite question qui me pose problème :

Soient x1=cos(3t)+cos(5t)+cos(7t)+cos(11t)
    et x2=cos(t)+cos(9t)+cos(13t)+cos(15t)
où t=/17

Développer le produit x1x2.
Linéariser cette expression et en déduire la valeur de x1x2. On trouvera un entier relatif.


J'ai développé le produit, et je trouve ue expression a 16 termes. Mais après, je suis bloqué, je ne sais pas comment linéariser.
POurriez-vous m'aider ?
Merci