Bonsoir aux mathématiciens.
Je ne parviens pas a démontrer que:
sin(pi/m)*sin(2*pi/m)*sin(3*pi/m)...sin( (m-1)*pi/m ) = m/(2^(m-1)
[Il y a une indication, ils disent de remarquer que
x^m -1 =(x-1)*(x-y1)*(x-y2)*(x-y3)*....(x-ym-2) puis de diviser les 2 cotés par x-1 et de considerer la limite quand x tend vers 1.]
En passant par les complexes j'arrive a une expression qu'il faut démontrer:
(1-x)*(1-x^2)*(1-x^3) *...(1-x^(m-1))= m
avec x = exp(2*i*pi/m)
Mais je suis pas plus avancé.
-----