Next: Nmeros binomiais e q-contagem Up: Domins e q-contagem Previous: Domins e q-contagem

Nmeros binomiais
Vamos comear com uma definio usual. Definio 1.1: Definimos os nmeros binomiais pela frmula

Outras possveis definies so a recursiva e a algbrica, que enunciaremos como proposies. Proposio 1.2: Os nmeros binomiais satisfazem

Alm disso, a nica funo de . Dem: Induo.

que satisfaz esta recorrncia com estas condies iniciais

Proposio 1.3: (Binmio de Newton) Para todo

vale a identidade de polinmios

Dem: Induo. Observemos ainda que

 um polinmio de grau m na varivel x. Definimos assim mais geralmente

para qualquer

(ou mesmo em outro corpo qualquer) e

. A identidade

ainda vale para quaisquer valores de x e m. Existem inmeras interpretaes combinatrias para nmeros binomiais: a mais conhecida que o

nmero de subconjuntos de m elementos de um conjunto de n elementos dado (por exemplo, ). Outra interpretao interessante como o nmero de caminhos de comprimento n (o valor mnimo) ligando (0,m) e (n-m,0)andando sempre por retas verticais ou horizontais inteiras, conforme ilustrado abaixo. Uma demonstrao bijetiva deste fato consiste em tomar para cada caminho o conjunto das posies ao longo do caminho dos segmentos verticais: este um subconjunto de m elementos de . O caminho na figura abaixo corresponde ao subconjunto .

Existem muitssimas identidades interessantes envolvendo nmeros binomiais. Enunciaremos agora algumas que sero usadas mais adiante. Proposio 1.4: Para quaisquer , e temos

Dem: Por induo em n, sendo trivial o caso n = 0. O caso n = 1 a identidade recursiva da Proposio 1.2 (apenas mudando o nome das variveis):

Suponha a identidade demonstrada para n; para n+1 temos

o que demonstra a identidade para n+1 e conclui a demonstrao. Corolrio 1.5: Seja grau menor do que n. Ento um inteiro positivo e , , um polinmio de

Observe que apenas um nmero finito de termos do primeiro somatrio so diferentes de 0: exatamente aqueles valores considerados no segundo somatrio. Dem: Podemos escrever

donde, pela proposio anterior,

Proposio 1.6: Para quaisquer naturais a, b, c temos

Observe que a matriz quadrada de ordem a. Observe tambm que do lado direito os papis de a, b e cso intercambiveis, o que no ocorre do lado esquerdo. Por outro lado, o lado esquerdo claramente inteiro; o leitor pode tentar mostrar diretamente que o lado direito inteiro. Na demonstrao da proposio usaremos a equao

de fcil demonstrao. Dem: Os casos a = 0 e a = 1 so triviais. Definamos

por induo basta mostrar que

pois

Defina

 um polinmio de grau b+c-1. Observe que as razes de P so e ; observe tambm que

Seja

um vetor cuja i-sima coordenada v i = (-1)i P(a-1-i)(i varia de 0 a a-1):

Temos

pois produto w = M(a,b,c) v.

. Observe que as coordenadas de v so todas no nulas. Vamos calcular o

Calculemos a i-sima coordenada wi de w. Temos, por uma simples mudana de ndices,

Mas pelo corolrio temos

donde wi = (-1)b-i+1 (S-i + S+i) onde

Mas se

temos

, assim P se anula em todos os

termos do somatrio que define S-ie temos S-i = 0 para qualquer valor de i. Por outro lado, se e temos e P se anula agora em

todos os termos do somatrio que define S+i. Assim temos wi = 0 para i < a-1. Se i = a-1, o nico termo do somatrio S+i que no se anula para k = b+c e temos

Temos assim Podemos escrever v = (M(a,b,c))-1 wdonde

Assim, a entrada (a-1,a-1) de (M(a,b,c))-1

. Mas por Cramer esta entrada

, o que conclui a demonstrao.

Next: Nmeros binomiais e q-contagem Up: Domins e q-contagem Previous: Domins e q-contagem Nicolau C. Saldanha 1999-08-10