Convergenza produttoria di seni

Messaggioda inglele » 24/03/2019, 10:13

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 :smt023
inglele
New Member
New Member
 
Messaggio: 27 di 58
Iscritto il: 01/07/2017, 17:21

Re: Convergenza produttoria di seni

Messaggioda obnoxious » 24/03/2019, 12:16

Io comincerei col ricordare che \[ \sin(x) = \frac{e^{ix} - e^{-ix}}{2i}.\]
Inoltre non parlerei di "convergenza", la produttoria è finita.
Morì mentre noialtri fumavamo nel cortile
obnoxious
Average Member
Average Member
 
Messaggio: 2 di 676
Iscritto il: 22/03/2019, 11:45

Re: Convergenza produttoria di seni

Messaggioda otta96 » 24/03/2019, 16:03

Hai provato a pensare ai seni come parti immaginarie (divise per $i$) di esponenziali complessi?
otta96
Cannot live without
Cannot live without
 
Messaggio: 1839 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Convergenza produttoria di seni

Messaggioda inglele » 24/03/2019, 17:11

Si, in effetti è inappropriato parlare di "convergenza".
Si, le formule di eulero sono la prima cosa che mi è venuta in mente, ma i calcoli che ne risultano mi danno la sensazione di non essere nella strada giusta. (Riproverò a fare i calcoli)
inglele
New Member
New Member
 
Messaggio: 28 di 58
Iscritto il: 01/07/2017, 17:21

Re: Convergenza produttoria di seni

Messaggioda obnoxious » 24/03/2019, 19:36

Un hint: dopo un paio di manipolazioni dovresti ottenere che quella produttoria è uguale a \[ \prod_{k=1}^{n-1} (1 - e^{-2 \pi i k / n} ). \]Da qui si conclude facilmente: \[ z^n - 1 = (z-1)(z^{n-1} + z^{n-2} + \dots+ 1) = (z-1 ) \prod_{k=1}^{n-1} (1 - e^{-2 \pi i k / n} ) \]per il teorema fondamentale dell'algebra - \(1\) e \( e^{-2 \pi i k / n} \), \( 1 \le k \le n-1\), sono le \(n\) radici dell'unità. Dividendo per \( z-1 \) gli ultimi due membri si ottiene \[ z^{n-1} + z^{n-2} + \dots+ 1 = \prod_{k=1}^{n-1} (1 - e^{-2 \pi i k / n} ) \]e se \( z =1 \)...
Morì mentre noialtri fumavamo nel cortile
obnoxious
Average Member
Average Member
 
Messaggio: 3 di 676
Iscritto il: 22/03/2019, 11:45

Re: Convergenza produttoria di seni

Messaggioda billyballo2123 » 25/03/2019, 01:12

Io c'ho provato... ma poi sono andato a cercare e ho trovato questo :-D
https://www.electroyou.it/forum/viewtopic.php?t=39031
billyballo2123
Senior Member
Senior Member
 
Messaggio: 749 di 1524
Iscritto il: 09/08/2014, 13:23

Re: Convergenza produttoria di seni

Messaggioda pilloeffe » 25/03/2019, 08:45

Ciao inglele,

Se ne era già discusso qui (primo post della terza pagina).
pilloeffe
Cannot live without
Cannot live without
 
Messaggio: 2632 di 10549
Iscritto il: 07/02/2017, 15:45
Località: La Maddalena - Modena

Re: Convergenza produttoria di seni

Messaggioda inglele » 05/04/2019, 12:03

Ok proprio oggi ho ripreso in mano la dimostrazione e seguendo i vostri suggerimenti l'ho capita :-D
Grazie mille a tutti :smt023
inglele
New Member
New Member
 
Messaggio: 29 di 58
Iscritto il: 01/07/2017, 17:21


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite