Vamos provar a seguinte identidade
conhecida como convolução de Vandermonde ou Relação de Euler. Faremos a prova de várias maneiras distintas.
Demonstração por interpolação de Newton
Usamos a interpolação de Newton na função ,
onde é a – ésima diferença aplicada em , isto é, aplicação do operador vezes,
tomando temos pela aplicação sucessiva da Relação de Stifel, daí
Outra demonstração algébrica
Daremos agora uma segunda demonstração algébrica, bem conhecida.
porém , vamos então multiplicar
os dois fatores
pela regra do produto de polinômios temos
onde
igualamos então
logo
Demonstração por derivação
Usando a fórmula de Leibniz da -ésima derivada do produto de duas funções
Usamos novamente que e aplicamos a -ésima derivada nas duas expressões em um ponto ,
vale que , , , aplicando no ponto e usando a fórmula de Leibniz tem-se
dividindo por chegamos no desejado
pois o termo é cancelado .
Demonstração por indução
Vamos provar a identidade
por indução sobre .
Para
logo a identidade vale, independente do valor .
Suponha validade para
(independente do valor em )
vamos provar para
Pela relação de Stifel vale
usamos a hipótese da indução para esses dois fatores da relação de Stifel
Vejamos agora um corolário direto desse resultado
Corolário
Em
tomando segue
usando que temos finalmente
.
Apêndice: Dedução da fórmula de Interpolação De Newton
Vamos deduzir a identidade que usamos na primeira demonstração, a dedução dela pode ser feita de maneira muito simples.
Sabemos que
, denotando temos
daí , , elevamos à e expandimos por binômio de Newton no segundo membro
aplicamos em , logo
ou de forma equivalente
essa identidade pode ser usada para deduzir outros resultados de teoria dos números.
Download
Na pasta abaixo ( no 4shared), temos dois textos sobre coeficiente binomial (de minha autoria), neles se encontram essas demonstrações e muitas outras
Download