DemonstraçõesDemonstração - Propriedade do Triângulo de Pascal (Teorema das Colunas)

Fórum de coletânea das melhores demonstrações de teoremas de matemática.
Se você quiser postar uma demonstração aqui, poste, inicialmente, no fórum correspondente utilizando o título "Demonstração Teorema X" e substitua com o nome do teorema/fórmula que você postou e, depois, envie o link para um moderador pedindo para sua mensagem ser movida para o fórum "Demonstrações". Somente moderadores poderão mover sua mensagem para este fórum.

Moderador: [ Moderadores TTB ]

Avatar do usuário

Autor do Tópico
Tassandro
5 - Mestre
Mensagens: 1905
Registrado em: 15 Fev 2020, 17:01
Última visita: 03-10-23
Localização: Teresina, PI.
Agradeceu: 129 vezes
Agradeceram: 136 vezes
Jun 2020 06 10:05

Demonstração - Propriedade do Triângulo de Pascal (Teorema das Colunas)

Mensagem não lida por Tassandro »

Teorema das Colunas:
Prove que
[tex3]\binom{n}{n}+\binom{n+1}{n}+...+\binom{n+k}{n}=\binom{n+k+1}{n+1}\tag*{}[/tex3]
Podemos mostrar esse teorema de diferentes formas. Hoje vou fazer uma demostração que usa argumentos da Análise Combinatória. Vamos lá!
Seja o conjunto [tex3]A=\{1,2,...,n+k+1\}[/tex3] . Vamos calcular a quantidade de subconjuntos de [tex3]A[/tex3] com [tex3](n+1)[/tex3] elementos.
A maneira mais direta de fazermos isso é através de [tex3]\binom{n+k+1}{n+1}[/tex3] . Mas, e se o fizermos de outra maneira? O resultado, naturalmente, deve ser o mesmo. Note que todo subconjunto que nós podemos formar com esses elementos, obviamente, possui um elemento máximo, isto é, um elemento de maior valor. Assim, nós podemos contar a quantidade de subconjuntos de [tex3]A[/tex3] com [tex3](n+1)[/tex3] elementos de outra forma.
1) Se o maior elemento é [tex3](n+1):[/tex3]
Nesse caso, resta-nos [tex3]n[/tex3] elementos e podemos escolher [tex3]n[/tex3] elementos dentre eles de [tex3]\binom{n}{n}[/tex3] maneiras.
2) Se o maior elemento é [tex3](n+2):[/tex3]
Nesse caso, resta-nos [tex3](n+1)[/tex3] elementos e podemos escolher [tex3]n[/tex3] elementos dentre eles de [tex3]\binom{n+1}{n}[/tex3] maneiras.
3) Se o maior elemento é [tex3](n+3):[/tex3]
Nesse caso, resta-nos [tex3](n+2)[/tex3] elementos e podemos escolher [tex3]n[/tex3] elementos dentre eles de [tex3]\binom{n+2}{n}[/tex3] maneiras.
Acho que já deu para pegar o padrão.
Podemos fazer isso até o caso em que o maior elemento é [tex3](n+k+1)[/tex3] , o que nos dá [tex3]\binom{n+k}{n}[/tex3] maneiras.
Somando as maneiras de todos os casos, temos, então, a quantidade de subconjuntos de [tex3]A[/tex3] com [tex3](n+1)[/tex3] elementos, o que já sabemos que vale [tex3]\binom{n+k+1}{n+1}.[/tex3]
Portanto, está provado que
[tex3]\binom{n}{n}+\binom{n+1}{n}+...+\binom{n+k}{n}=\binom{n+k+1}{n+1}\tag*{}[/tex3]
[tex3]\text{QED}\\\blacksquare[/tex3]

Editado pela última vez por Tassandro em 06 Jun 2020, 10:07, em um total de 2 vezes.
Dias de luta, dias de glória.
Movido de Ensino Médio para Demonstrações em 22 Abr 2021, 17:20 por Ittalo25

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

Voltar para “Demonstrações”