2cosa cosb=cos(a+b)+cos(a-b)
lorsque je calcule 2x1x2, je vais avoir une somme 16 produits donc une somme de 32 termes: les sommes 4x 6x 8x 12x 12x 14x 16x 20x 16x 18x 20x 24x 18x 20x 22x 26x et les différences 2x 4x 6x 10x 6x 4x 2x 2x 10x 8x 6x 2x 12x 10x 8x 4x.
Or 34x=2pi, cos((34-k)x)=cos x donc cos18x=cos16x, cos20x=cos14x, cos22x=cos12x, cos24x=cos10x et cos26x=cos8x. Compte tenu de ces remarques, il n'y a plus que 8 termes différents qui apparaissent 4 fois chacun
2x1x2=4(cos 2x+cos4x+cos 6x+cos 8x+cos10x+cos12x+cos14x+cos 16x)
Enfin17x=pi donc cos(17-k)x=-coskx donc cos16x=-cosx, cos14x=-cos3x, etc...
donc x1x2=-2(cosx+cos3x+cos5x+cos7x+cos 9x+cos11x+cos13x+cos 15x)
x1x2=-2(x1+x2)
Il ne reste plus qu'à résoudre l'équation x^2-x/2-1=0
donc x1=(1+rac(17))/4 , et x2=(1-rac(17))/4