• Anúncio Global
    Respostas
    Exibições
    Última mensagem

Provar igualdade sem recorrer à Indução Matemática

Provar igualdade sem recorrer à Indução Matemática

Mensagempor EREGON » Ter Abr 14, 2015 06:29

Bom dia,

estou com dificuldades em efectuar esta prova sem recorrer à IM, no entanto tendo como suporte as matérias já dadas, como:

1 - Funções Injetivas, sobrejetivas e bijeticvas.
2 - Cardinalidades.
3 - Coeficientes binomiais.
4 - Permutações e combinações.
5 - Binomio de Newton, triangulo de pascal, lei de simetria, etc.

Tentei fazer este desenvolvimento que não sei se está correto, mas depois não consegui avançar mais *-) :
Anexos
CodeCogsEqn.gif
CodeCogsEqn.gif (3.02 KiB) Exibido 3406 vezes
EREGON
Usuário Ativo
Usuário Ativo
 
Mensagens: 12
Registrado em: Seg Nov 10, 2014 16:00
Formação Escolar: ENSINO MÉDIO
Área/Curso: informatica
Andamento: cursando

Re: Provar igualdade sem recorrer à Indução Matemática

Mensagempor EREGON » Qui Abr 16, 2015 14:07

Olá boa tarde,

alguém me poderá auxiliar neste exercício?

Obrigado.
EREGON
Usuário Ativo
Usuário Ativo
 
Mensagens: 12
Registrado em: Seg Nov 10, 2014 16:00
Formação Escolar: ENSINO MÉDIO
Área/Curso: informatica
Andamento: cursando

Re: Provar igualdade sem recorrer à Indução Matemática

Mensagempor e8group » Sex Abr 17, 2015 23:12

Podemos generalizar , computar \sum^n  k^\alpha \binom{n}{k} recursivamente em função das somas ]\sum^n  k^\zeta \binom{n}{k}   ;   0 \leq \zeta  < \alpha .

Defina , para \alpha , n \in \mathbb{Z}_{\geq 0 , \Lambda_n(\alpha) := \sum_{k=1}^n k^\alpha \binom{n}{k} .

Veja que \Lambda_n(0) =  2^n -1 (verifique ) . Fixe \mathbb{Z}_{\geq 0 }\ni n, \alpha > 0 arbitrariamente .

Para cada k \in \{1, \hdots , n \} , veja que


k^\alpha \binom{n}{k} = k^\alpha \frac{n!}{(n-k)!k!} = k^{\alpha -1}\frac{n!}{(n-k)!(k-1)!}  = n k^{\alpha -1}\frac{(n-1)!}{(n-k)!(k-1)!} =  n k^{\alpha -1}\frac{(n-1)!}{((n-1)-(k-1) )!(k-1)! } =  n k^{\alpha -1} \binom{n-1}{k-1} .

Pondo , p = k -1 , temos k^\alpha \binom{n}{k} =  n (p+1)^{\alpha -1 } \binom{n-1}{p}  ,     p \in \{0, \hdots , n-1\} .

Como ,

(p+1)^{\alpha -1 }  = \sum_{\zeta = 0}^{\alpha -1} p^\zeta \binom{\alpha -1}{\zeta } , substituindo na expressão acima , temos


k^\alpha \binom{n}{k}  = n \sum_{\zeta = 0}^{\alpha -1} p^\zeta \binom{\alpha -1}{\zeta } \binom{n-1}{p}  , p \in \{0, \hdots , n-1\} . Finalmente , substituindo esta expressão na soma , vem

\sum_{k=1}^n k^\alpha \binom{n}{k} =  \sum_{p=0}^{n-1}   n \sum_{\zeta = 0}^{\alpha -1} p^\zeta \binom{\alpha -1}{\zeta } \binom{n-1}{p}  = n \sum_{\zeta = 0}^{\alpha -1} \left(\sum_{p=0}^{n-1}  p^\zeta  \binom{n-1}{p}   \right) \binom{\alpha -1}{\zeta } = n+ n\sum_{\zeta = 0}^{\alpha -1} \left(\sum_{p=1}^{n-1}  p^\zeta  \binom{n-1}{p}   \right) \binom{\alpha -1}{\zeta }  = n+n\sum_{\zeta = 0}^{\alpha -1}  \Lambda_{n-1}(\zeta) \binom{\alpha -1}{\zeta } , ou seja


\Lambda_n(\alpha) = \boxed{n+ n \sum_{\zeta = 0}^{\alpha -1}  \Lambda_{n-1}(\zeta) \binom{\alpha -1}{\zeta }} .

Agora somos capazes facilmente , de computar por exemplo \Lambda_n(1) . De acordo com a formula acima ,


\Lambda_n(1) =n+ n \sum_{\zeta = 0}^{0}  \Lambda_{n-1}(\zeta) \binom{0}{\zeta }  = n+ n \Lambda_{n-1}(0) =  n+ n (2^{n-1} -1) = n2^{n-1} .

o exercício é um corolário do resultado acima ... Segue-se então que

\sum_{k=1}^n k^2 \binom{n}{k} =  \Lambda_n(2) = n+ n \sum_{\zeta = 0}^{1}  \Lambda_{n-1}(\zeta) \binom{1}{\zeta } = n+ n( \Lambda_{n-1}(0)+\Lambda_{n-1}(1) )  = n( 2^{n-1} + (n-1)2^{n-2}) =  n(n+1)2^{n-2} .
e8group
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 1400
Registrado em: Sex Jun 01, 2012 12:10
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia Elétrica
Andamento: cursando


Voltar para Binômio de Newton

 



  • Tópicos relacionados
    Respostas
    Exibições
    Última mensagem

Quem está online

Usuários navegando neste fórum: Nenhum usuário registrado e 1 visitante

 



Assunto: Simplifique a expressão com radicais duplos
Autor: Balanar - Seg Ago 09, 2010 04:01

Simplifique a expressão com radicais duplos abaixo:

\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}

Resposta:
Dica:
\sqrt[]{2} (dica : igualar a expressão a x e elevar ao quadrado os dois lados)


Assunto: Simplifique a expressão com radicais duplos
Autor: MarceloFantini - Qua Ago 11, 2010 05:46

É só fazer a dica.


Assunto: Simplifique a expressão com radicais duplos
Autor: Soprano - Sex Mar 04, 2016 09:49

Olá,

O resultado é igual a 1, certo?