Dimostrazione della formula del binomio di Newton

Marcot1
Salve ragazzi mi sono bloccato nello svolgere questa dimostrazione, vi mostro i passaggi per mostravi dove sono arrivato:

Dimostrato il passo base per l'induzione scrivo:

$(a+b)^(n+1)=(a+b)(sum_(k = \0)^(n) ( (n), (k) )a^(n-k)b^k)= asum_(k = \0)^(n) ( (n), (k) )a^(n-k)b^k + bsum_(k = \0)^(n) ( (n), (k) )a^(n-k)b^k$

da qui poi:
$sum_(k = \0)^(n) ( (n), (k) )a^(n+1-k)b^k + sum_(k = \0)^(n) ( (n), (k) )a^(n-k)b^(k+1)$

$sum_(k = \0)^(n) ( (n), (k) )a^(n+1-k)b^k + sum_(k = \1)^(n+1) ( (n), (k-1) )a^(n+1-k)b^(k) $ (*)

ora se ho fatto tutto bene sviluppando le sommatorie dovrei avere una cosa del genere:
$[( (n), (0) ) a^(n+1) + ( (n), (1) )a^nb + ( (n), (2) )a^(n-1)b^2+....+( (n), (n-1) )a^2b^(n-1)+( (n), (n) )ab^n]+ [( (n), (0) ) a^(n)b + ( (n), (1) )a^(n-1)b^2 + ( (n), (2) )a^(n-2)b^3+....+( (n), (n-1) )ab^(n)+( (n), (n) )b^(n+1)] $

questo è il punto in cui mi sono bloccato.


Sono riuscito a andare avanti quindi ora chiedo se è corretta la dimostrazione,
da quella di prima segue:

$( (n), (0) )a^(n+1) + sum_(k = \1)^(n)( (n+1), (k) )a^(n+1-k)b^k+( (n), (n) )b^(n+1)$

e il primo e l'ultimo membro di questa espressione sono proprio l'elemento della sommatoria per k=n+1 e k=0 siccome binomiale di un generico numero naturale sullo stesso numero naturale è uguale e siccome un qualsiasi numero naturale su 0 da sempre 1
è giusto scrivere:

$( (n), (0) )a^(n+1)=( (n+1), (0) )a^(n+1) $
$( (n), (n) )b^(n+1)=( (n+1), (n+1) )b^(n+1) $

concludendo:

$( (n), (0) )a^(n+1) + sum_(k = \1)^(n)( (n+1), (k) )a^(n+1-k)b^k + ( (n), (n) )b^(n+1)= sum_(k = \0)^(n+1)( (n+1), (k) )a^(n+1-k)b^k=(a+b)^(n+1) $

spero sia tutto corretto e di non aver fatto alcun passaggio sbagliato, l'unico passaggio di cui dubito è quello con asterisco (*) perché son andato un po' a "intuizione".

Risposte
bosmer-votailprof
il passaggio con l'asterisco è corretto, come anche la dimostrazione.

"Marcot":

è giusto scrivere:

$ ( (n), (0) )a^(n+1)=( (n+1), (0) )a^(n+1) $
$ ( (n), (n) )b^(n+1)=( (n+1), (n+1) )b^(n+1) $


si sono corrette, tuttavia sono superflue perché quei binomiali valgono tutti $1$, quindi è chiaro che $1=1$ , (spero :-D ).

Marcot1
"Bossmer":
il passaggio con l'asterisco è corretto, come anche la dimostrazione.

[quote="Marcot"]
è giusto scrivere:

$ ( (n), (0) )a^(n+1)=( (n+1), (0) )a^(n+1) $
$ ( (n), (n) )b^(n+1)=( (n+1), (n+1) )b^(n+1) $


si sono corrette, tuttavia sono superflue perché quei binomiali valgono tutti $1$, quindi è chiaro che $1=1$ , (spero :-D ).[/quote]

Grazie mille !

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.