Sommatorie di binomiali

Cosa sono il pigeonhole e l'induzione? Cosa dice il teorema di Ceva? 1 è un numero primo?
Rispondi
Avatar utente
Sisifo
Messaggi: 604
Iscritto il: 01 gen 1970, 01:00
Località: Scorzè (VE)/Pisa

Sommatorie di binomiali

Messaggio da Sisifo » 27 feb 2006, 17:42

Allora.. visto che mi è stato chiesto posto la dimostrazione di queste due identità che, credo, facciano parte della teoria di base

1-
$ \displaystyle \sum ^n _{k=0} {n \choose k} = 2^n $


Dal teorema del binomio di Newton
$ \displaystyle 2^n = (1+1)^n = \sum ^n _{k=0} {n \choose k} 1^k 1^{n-k} $

2-
$ \displaystyle \sum ^n _{k=0} {n \choose k}^2 = { 2 n \choose n} $
Sempre dal teorema del binomio di Newton, il coefficiente di grado n in (x+y)^2n è $ 2n \choose n $, ma, per la regola dei prodotti di polinomi è anche la somma dei prodotti dei coefficienti di grado k e n-k in (x+y)^n e (x+y)^n per k che va da 0 a n. Da qui l'identità.

Avatar utente
mitchan88
Messaggi: 469
Iscritto il: 01 gen 1970, 01:00
Contatta:

Messaggio da mitchan88 » 27 feb 2006, 21:34

La seconda mi era sconosciuta! :mrgreen:

Nello sviluppo del binomio di Newton, ponendo x=1 e y=-1, si ottiene un'altra identità carina! :D
[url:197k8v9e]http://antrodimitch.wordpress.com[/url:197k8v9e]

Membro del fan club di Ippo_

Avatar utente
Oblomov
Messaggi: 284
Iscritto il: 23 ott 2005, 13:18
Località: Bologna

Re: Sommatorie di binomiali

Messaggio da Oblomov » 27 feb 2006, 22:13

Ti ringrazio Sisifo per avere postato la dimostrazione della prima,l'ho cercata sui testi in mio possesso ma non sono riuscito a trovarla.
Non ho capito bene la dimostrazione della seconda ma non importa molto.
Conosco però un'altra sommatoria interessante di cui ignoro la dimostrazione:
$ \displaystyle \sum ^n _{k=0} (-1)^k{n \choose k}=0 $.
Se la sai potresti scriverla?
P.S. Anche se probabilmente non servono per il glossario,ecco altre sommatorie "carine":
$ \displaystyle \sum ^n _{k=0} k{n \choose k}=n2^{n-1} $
$ \displaystyle \sum ^n _{k=0} {(-1)^k}k{n \choose k} =0 $
$ {n \choose 0}+{n \choose 2}+{n \choose 4}+{n \choose 6}...=2^{n-1} $
$ {n \choose 1}+{n \choose 3}+{n \choose 5}+{n \choose 7}...=2^{n-1} $
Spero che possano interessare.Anche qui se qualcuno conosce la dimostrazione é invitato a postarla al più presto.
Saluti,
Oblomov
Why are numbers beautiful? It’s like asking why is Beethoven’s Ninth Symphony beautiful. If you don’t see why, someone can’t tell you. I know numbers are beautiful. If they aren’t beautiful, nothing is. - P. Erdös

EvaristeG
Site Admin
Messaggi: 4779
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 27 feb 2006, 22:23

Oblomov, la dimostrazione di questa sommatoria è gemella della prima, come aveva velatamente fatto notare mitchan88 :

$ 0=(1-1)^n=\displaystyle{\sum_{k=0}^n(1)^{n-k}(-1)^k{n\choose k}} $

Avatar utente
Marco
Site Admin
Messaggi: 1331
Iscritto il: 01 gen 1970, 01:00
Località: IMO '93

Messaggio da Marco » 28 feb 2006, 08:49

La prima delle sommatorie carine si risolve con in-and.out formula: tiri dentro k, fai uscire n, lo raccogli a fattor comune e ti riduci al caso precedente.
La seconda te l'ha spiegata Mithan88 e E.G., le ultime due seguono dalla 1- [primissima del post] e dalla "prima carina": sommi in un caso, sottrai nell'altro.
[i:2epswnx1]già ambasciatore ufficiale di RM in Londra[/i:2epswnx1]
- - - - -
"Well, master, we're in a fix and no mistake."

Avatar utente
HiTLeuLeR
Messaggi: 1874
Iscritto il: 01 gen 1970, 01:00
Località: Reggio di Calabria

Messaggio da HiTLeuLeR » 28 feb 2006, 09:00

...oppure con le derivate formali: per ogni $ n \in \mathbb{N} $, vale $ \displaystyle (1+x)^n = \sum_{k=0}^n \binom{n}{k} x^k $, e perciò identicamente $ \displaystyle n\cdot (1+x)^{n-1} = \sum_{k=1}^n k \binom{n}{k} x^{k-1} $. Da qui la tesi, assumendo $ x = \pm 1 $.

Avatar utente
Oblomov
Messaggi: 284
Iscritto il: 23 ott 2005, 13:18
Località: Bologna

Messaggio da Oblomov » 01 mar 2006, 22:57

La prima delle sommatorie carine si risolve con in-and.out formula: tiri dentro k, fai uscire n, lo raccogli a fattor comune e ti riduci al caso precedente.
Grazie Marco,ho fatto due conti e mi viene.
sommi in un caso, sottrai nell'altro
Qui mi viene un po' meno...ho notato che la somma delle utime due "carine"(non é un bel termine,va bene) dà $ 2^n $,come é giusto,ma non so come dimostrarle.Puoi aiutarmi?
Scusate il linguaggio un po' da Cellularese ma a quest'ora non connetto più.
Yawnn...'notte gente
Ob
Why are numbers beautiful? It’s like asking why is Beethoven’s Ninth Symphony beautiful. If you don’t see why, someone can’t tell you. I know numbers are beautiful. If they aren’t beautiful, nothing is. - P. Erdös

Avatar utente
Marco
Site Admin
Messaggi: 1331
Iscritto il: 01 gen 1970, 01:00
Località: IMO '93

Messaggio da Marco » 02 mar 2006, 10:45

:idea: Ah, sì. Ho capito la tua perplessità: nella fretta ho confuso la "seconda carina" con l'"altra sommatoria interessante". La seconda carina si fa come la prima.

Chiamo (i) la formula:
Sisifo ha scritto:$ \displaystyle \sum ^n _{k=0} {n \choose k} = 2^n $
Chiamo (ii) la
Oblomov ha scritto:$ \displaystyle \sum ^n _{k=0} (-1)^k{n \choose k}=0 $
Se fai la media aritmetica [(i) + (ii)]/2, i termini con k dispari si cancellano, mentre quelli pari restano.
Se invece fai la semidifferenza [(i) - (ii)]/2, scompiaiono i pari e restano i dipari.
[i:2epswnx1]già ambasciatore ufficiale di RM in Londra[/i:2epswnx1]
- - - - -
"Well, master, we're in a fix and no mistake."

Avatar utente
Marco
Site Admin
Messaggi: 1331
Iscritto il: 01 gen 1970, 01:00
Località: IMO '93

Messaggio da Marco » 02 mar 2006, 10:51

Dato che siamo in vena di sommatorie di binomiali, ne manca una utilissima:
$ $ \sum_{i=k}^n \binom i k = \binom{n+1}{k+1} $.
[i:2epswnx1]già ambasciatore ufficiale di RM in Londra[/i:2epswnx1]
- - - - -
"Well, master, we're in a fix and no mistake."

Avatar utente
Oblomov
Messaggi: 284
Iscritto il: 23 ott 2005, 13:18
Località: Bologna

Messaggio da Oblomov » 02 mar 2006, 20:24

Marco ha scritto:Se fai la media aritmetica [(i) + (ii)]/2, i termini con k dispari si cancellano, mentre quelli pari restano.
Se invece fai la semidifferenza [(i) - (ii)]/2, scompiaiono i pari e restano i dipari.
Sagace!
Marco,ti ringrazio per l'aiuto.Per quanto riguarda la nuova,"utililissima" sommatoria che hai scritto ti chiedo come si dimostra e poi non ti scoccio più. :oops:
Saluti e salumi come al solito,
Ob&Ob
Why are numbers beautiful? It’s like asking why is Beethoven’s Ninth Symphony beautiful. If you don’t see why, someone can’t tell you. I know numbers are beautiful. If they aren’t beautiful, nothing is. - P. Erdös

Avatar utente
Marco
Site Admin
Messaggi: 1331
Iscritto il: 01 gen 1970, 01:00
Località: IMO '93

Messaggio da Marco » 03 mar 2006, 08:41

Fissi k e induci su n.
[i:2epswnx1]già ambasciatore ufficiale di RM in Londra[/i:2epswnx1]
- - - - -
"Well, master, we're in a fix and no mistake."

Rispondi