Apresente um argumento combinatório justificativo da identidade de Pascal.
.
Resolução
Pensemos em dois conjuntos, um com
elementos e outro,
arbitrário mas contido em
e com
elementos:
. Escolhamos agora
elementos de entre os
de
. A contagem do número de maneiras distintas de escolher esses
elementos pode fazer-se de duas formas:
- uma, directa, expressa por ;
- outra, indirecta, baseada no seguinte raciocínio: os elementos escolhidos ou pertencem todos ao conjunto
(caso 1) ou todos menos um, ou seja,
pertencem a
e o que não faz parte de
pertence a
(caso 2).
Existem escolhas distintas no caso 1 e
no 2. Somando
com
obtém-se o número total de escolhas associadas aos dois casos.
Mostrámos assim que os dois lados da identidade de Pascal são iguais.






