Ciao a tutti,
in una dimostrazione ho trovato questa produttoria:
$ 2sin(pi/n)*2sin((2pi)/n)*...*2sin(((n-1)pi)/n)=prod_(k = 1)^(n-1)2sin((kpi)/n)=n $
L'autore cita solo il risultato senza darne la dimostrazione, volevo sapere da dove risulta questo fatto.
Qualcuno può aiutarmi? Grazie a tutti in anticipo