Evidemment je sais que e^(2kpi/n) pour k = 0,...,n-1 sont les racines n-ièmes de l'unité. Donc :
De plus on a : 1/e^(2kpi/n) aussi racine n-ième de l'unité bien sûr, donc j'ai :
(car : si j'ai (x-a1)(x-2)...(x-an)=(x-1/a1)...(x-1/an) avec les a_i qui s'annulent pas, alors : (x-a1)(x-2)...(x-an) = (a1x-1)...(anx-1))
Mais ensuite, comment on passe à l'égalité voulue ? Parce que j'ai l'impression qu'on a :
bref, je vois pas pourquoi on aurait l'égalité, même si quand je regarde à la main, si je développe le terme en x^n dans le produit, j'ai x^n*e^(n-1)*pi donc si n impair (ou à l'inverse pair), j'ai donc le terme en x^n positif, et comme dans ce cas (-1)^n = 1, on retrouve bien le bon signe.
Enfin, ça doit être évident, mais bizarrement je bloque dessus...
-----