Académique Documents
Professionnel Documents
Culture Documents
Monografia de Especializao
Demonstraes Combinatrias 2
CAPTULO11IDENTIDADES
CAPTULO IDENTIDADESDE DEFIBONACCI
FIBONACCI .................................................
................................................. 44
SEO1.1
SEO 1.1OS
OSNMEROS
NMEROSDE
DEFIBONACCI ....................................................................
FIBONACCI ..................................................................... 44
SEO 1.21.2
SEO INTERPRETAO
INTERPRETAOCOMBINATRIA
COMBINATRIA PARA
PARA
OSNMEROS
OS NMEROSDE
DEFIBONACCI ................................................................... 44
FIBONACCI ...................................................................
SEO1.3
SEO 1.3IDENTIDADES ......................................................................................... 66
IDENTIDADES .........................................................................................
CAPTULO22IDENTIDADES
CAPTULO IDENTIDADESDE DELUCAS
LUCAS .......................................................
....................................................... 11
11
SEO
SEO 2.12.1 OS
OS NMEROS
NMEROS DEDE ........................................................................11
LUCAS........................................................................
LUCAS 11
SEO
SEO2.2
2.2 INTERPRETAO
INTERPRETAOCOMBINATRIA
COMBINATRIAPARA PARA
OSNMEROS
OS NMEROSDE
DELUCAS ....................................................................... 11
LUCAS ....................................................................... 11
SEO2.3
SEO 2.3 IDENTIDADES ...................................................................................... 15
IDENTIDADES....................................................................................... 15
CAPTULO
CAPTULO33IDENTIDADES
IDENTIDADESCOM
COMNMEROS
NMEROSDE
DE
STIRLINGEENMEROS
STIRLING NMEROSHARMNICOS
HARMNICOS.................................
................................ 21
21
SEO3.1
SEO 3.1 OS
OSNMEROS
NMEROSDE
DESTIRLING
STIRLINGDE
DEPRIMEIRO
PRIMEIROTIPO ...................................... 22
TIPO ....................................... 22
SEO
SEO3.2
3.2 IDENTIDADES
IDENTIDADESCOM
COMNMEROS
NMEROSDE DESTIRLING
STIRLING
DE PRIMEIRO
DE .............................................................................. 27
PRIMEIRO TIPO
TIPO
............................................................................... 27
SEO
SEO 3.33.3 OS
OS NMEROS
NMEROS DEDE STIRLING
STIRLING DEDE SEGUNDO
SEGUNDO TIPO ..................................... 28
TIPO....................................... 28
SEO
SEO 3.4
3.4 IDENTIDADES
IDENTIDADES COM
COM NMEROS
NMEROS DEDE
STIRLINGDE
STIRLING DEPRIMEIRO
PRIMEIROEESEGUNDO
SEGUNDOTIPO ............................................
TIPO .............................................. 30
30
SEO
SEO3.5
3.5 OS
OS NMEROS
NMEROS HARMNICOS
HARMNICOS ......................................
.................................................................
...........................3434
SEO
SEO 3.63.6 IDENTIDADES
IDENTIDADES COM
COM NMEROS
NMEROS HARMNICOS
HARMNICOS ..............
.............. .......................... 36
............................ 36
SEO
SEO 3.73.7 EXERCCIOS
EXERCCIOS ............
............ ...................................
..................................... .........................................41
......................................... 41
REFERNCIAS
REFERNCIASBIBLIOGRFICAS
BIBLIOGRFICAS ............
..................................................
.......................................................
...................56
2
OBJETIVO
3
CAPTULO 1 IDENTIDADES DE FIBONACCI
anteriores.
Assim, como F0 =0 e F1 =1 , segue que F2 = F0 + F1 = 0+1=1 . Genericamente, a lei de
.........
0 1 2 3 ...... n1 n
- Quadrado
- Domin
Figura 1
4
Para um ladrilho de tamanho 2, h 2 formas.
5
A primeira pea do ladrilho um quadrado: Nesse caso, restam n 1 espaos para serem
Existe ainda uma questo a ser vista. Os dois primeiros termos das seqncias Fn e f n no
so os mesmos. Observemos as duas seqncias:
Fn (0, 1, 1, 2, 3, ...)
f n (1, 1, 2, 3, 5, ...)
Ou seja, f n = Fn 1 .
1.3 Identidades
Apresentaremos quatro identidades significativas para a aplicao de tcnicas de contagem
nas demonstraes combinatrias.
Uma tcnica muito simples que ser utilizada, a seguir, responder a uma mesma pergunta
ou contar uma mesma situao de duas formas diferentes. Outra observao importante que se
uma identidade aparece com parcelas de uma soma, geralmente podemos interpret-lo mais
claramente dividindo o problema em casos disjuntos.
6
Para demonstrarmos a prxima identidade ser necessria a apresentao de um novo
conceito.
Observemos o seguinte ladrilho:
1 2 3 4 5 6 7 8 9 10
Figura 2
IDENTIDADE 2: Para m ,n 0, f m + n = f m f n + f m 1 f n 1
Pergunta: De quantas formas distintas podemos preencher um ladrilho de tamanho m + n?
Resposta 1: Por definio, f m + n formas.
Resposta 2: Dividimos o problema em dois casos:
O ladrilho quebrvel na clula m: Nesse caso, o ladrilho inicial divido em dois ladrilhos
Caso 1:
....................... .....................
1 2 ............. m1 m m+1 m+2 .............. m+n
f m formas de se preencher f n formas de se preencher
7
Caso 2:
n n
n i n j
IDENTIDADE 3: Para n 0 ,
i 0
j 0
j i
= f 2n + 1
n j
peas quais delas (primeira pea, segunda pea, etc.) so domins. Isso pode ser feito de
i
formas.
8
n i
Analogamente, para cada uma dessas formas h formas de se preencher o ladrilho
j
do lado direito do quadrado mediano tambm escolhendo onde ficam os domins. Ao compormos
n j n i
essas duas etapas, pelo princpio multiplicativo, chegamos ao termo . Observa-se
i j
que uma vez determinado onde esto os domins no restam escolhas para alocar os quadrados no
ladrilho.
Fazendo i e j variarem, contamos todos os casos. Basta lembrar que para situaes
impossveis quando os valores de i ou j so maiores do que n os termos binomiais tero o termo de
cima negativo, o que resulta, convenientemente, em parcela nula.
Apresentaremos novos conceitos que sero teis na demonstrao da ltima identidade
desse captulo. Outra diferena em relao s demais identidades anteriormente apresentadas que
em vez de respondermos a uma mesma pergunta de duas maneiras distintas, utilizaremos uma
quase correspondncia entre conjuntos para obtermos as provas das identidades.
Observemos o par de ladrilhos abaixo.
1 2 3 4 5 6 7 8 9 10
2 3 4 5 6 7 8 9 10 11
Figura 4
9
b) Se uma determinada clula i duplamente quebrvel indica que no h um nico domin
cobrindo as clulas i e i + 1 em nenhum dos dois ladrilhos.
c) Se h um quadrado na clula i, seja no ladrilho superior ou inferior, indica que o par de ladrilhos
duplamente quebrvel na clula i ou i 1 . De fato, se h um quadrado na clula i do ladrilho
superior, existem 3 hipteses:
Existe tambm um quadrado na clula i no ladrilho inferior. Nesse caso a clula i
duplamente quebrvel.
Existe o final de uma pea de domin na clula i no ladrilho inferior. Tambm nesse
caso a clula i duplamente quebrvel.
Existe o incio de uma pea de domin na clula i no ladrilho inferior. Nesse caso a
clula i 1 duplamente quebrvel.
1 2 3 4 5 6 7 8 9 10 11
2 3 4 5 6 7 8 9 10
Figura 5
IDENTIDADE 4: Para n 0 , f n = f n + 1 f n 1 + ( 1)
2 n
2
Conjunto A: Conjunto de pares de ladrilhos de tamanho n. Por definio, h f n elementos nesse
conjunto.
Conjunto B: Conjunto dos pares de ladrilhos de tamanhos n + 1 e n 1 . Por definio, h f n + 1 f n 1
elementos nesse conjunto.
10
Correspondncia: Analisemos, primeiramente, o caso em que n mpar. Consideremos um par de
ladrilhos de tamanho n (elemento do conjunto A) emparelhados tal como os ladrilhos da figura 5.
Como n mpar, o ladrilho superior possui pelo menos um quadrado e, pela observao c) da
pgina 9, h pelo menos uma clula duplamente quebrvel no par de ladrilhos. Fazendo uma troca
de caudas criamos dois novos ladrilhos de tamanhos n + 1 e n 1 (elemento do conjunto B). Como
anteriormente dito, esse processo pode ser revertido destrocando as caudas, o que criaria uma
correspondncia perfeita.
No entanto, existe um elemento do conjunto B que no pode ser obtido por uma troca de
caudas de um elemento do conjunto A. o caso no qual os ladrilhos superior e inferior, de
tamanhos n + 1 e n 1 , respectivamente, no possuem quebras em comum. Em outras palavras, o
par de ladrilhos no possui nenhuma clula duplamente quebrvel. De fato, como n + 1 e n 1 so
pares eles podem ser completamente preenchidos por domins e dispostos tais como na figura 6, o
incio de um domin no ladrilho superior sempre coincidiria com o meio de um domin no ladrilho
inferior. Por isso, dizemos que h uma quase correspondncia entre os conjuntos A e B. Portanto,
para n mpar o conjunto B possui um elemento a mais que o conjunto A. Logo, para n mpar, temos
f n 2 = f n+ 1 f n 1 1 .
por domins sem nenhuma clula duplamente quebrvel. Logo, para n par, temos f n = f n + 1 f n 1 + 1
2
.
Na identidade, o termo ( 1) n contempla os dois casos.
obtidos a partir do segundo termo como a soma dos dois termos anteriores. Denotaremos Ln como
11
Tal qual fizemos para os nmeros de Fibonacci, para interpretarmos combinatorialmente os
nmeros de Lucas, os associamos ao nmero de respostas para a seguinte pergunta:
De quantas formas diferentes podemos preencher um bracelete de tamanho nx1 com peas
de comprimento unitrio 1x1 (quadrado) ou de tamanho duplo 2x1 (domin)?
Utilizaremos as mesmas simplificaes em denominaes e notaes utilizadas para o
ladrilho nos nmeros de Fibonacci.
Na figura abaixo temos um bracelete de comprimento n e tal qual tnhamos nos ladrilhos,
um quadrado e um domin.
- Quadrado
- Domin
Figura 6
Diremos que o bracelete est fora de fase quando houver um nico domin cobrindo
simultaneamente as clulas n e 1. Caso contrrio, o bracelete estar em fase. Vejamos a figura
abaixo para exemplificar essa conveniente diviso.
Figura 7
Braceletes em fase
Comearemos a responder pergunta construindo as possveis disposies para os
braceletes at o tamanho 4. Para um bracelete de tamanho 1, obviamente s h uma forma de fazer
tal preenchimento.
12
1 DISPOSIO EM FASE
Para um ladrilho de tamanho 2, h 3 formas, sendo duas delas em fase e uma fora de fase.
2 (EM
FASE)
1
(FORA DE FASE)
=
3 DISPOSIES
Para um ladrilho de tamanho 3, h 4 formas, sendo trs delas em fase e uma fora de fase.
3 (EM
FASE)
1
(FORA DE FASE)
=
4 DISPOSIES
Para um ladrilho de tamanho 4, h 7 formas, sendo cinco delas em fase e duas fora de fase.
13
5 (EM
FASE)
2
(FORA DE FASE)
7 DISPOSIES
definio, de l n 2 formas.
Como no existem outras formas seno a primeira pea ser quadrado ou domin e no h
Ora, ( l n ) e ( Ln ) possuem mesmos dois termos iniciais e a mesma lei de recorrncia que
14
2.3 Identidades
Apresentaremos trs identidades. Vale ressaltar que nas duas primeiras envolvem nmeros
de Lucas e nmeros de Fibonacci e a terceira apenas com nmeros de Lucas.
IDENTIDADE 5: Para n 2 , l n = f n + f n 2
A ....... B A ....... B
1 2 ..... n 1 n 1 2 ..... n 3 n - 2
f n formas f n 2 formas
15
Figura 8
No h mais nada h ser feito pois os casos so complementares.
A prxima identidade relaciona os conceitos clula quebrvel com braceletes em fase e
clula no quebrvel com bracelete fora de fase.
IDENTIDADE 6: Para n 1, f 2 n 1 = l n f n 1
Usaremos a correspondncia entre dois conjuntos.
Conjunto A: Conjunto de ladrilhos de tamanho 2n 1 . Por definio, h f 2 n 1 elementos.
16
a primeira e a ltima clula do bracelete. Por fim, cobrimos das clulas n + 2 a 2n 1
com o restante do bracelete, ou seja, da segunda penltima clula.
A figura 9 ilustra a correspondncia entre os conjuntos. A fim de facilitar o entendimento,
para o caso no quebrvel, mantivemos a enumerao dos elementos nos dois conjuntos.
1 2 ......
n n+ 1 ......
2n 1 1 2 ....
n 1 n n+ 1 .....
2n 1
....... ....
n+ 1 ......
2n 1 1 2 .....
n 1
Figura 9
Nada h mais h se fazer pois os casos so complementares e a reversibilidade nica.
Novamente, utilizaremos a tcnica da quase correspondncia entre conjuntos, como na
identidade 4.
n
IDENTIDADE 7: Para n 0, l n = l 2 n + ( 1) 2
2
17
Antes de prosseguirmos, precisamos do conceito de clulas duplamente quebrveis para o
caso de um par de braceletes.
Construmos raios para esse par de braceletes em cada intervalo de clulas. Diremos que a
clula i duplamente quebrvel se o raio que passa no final (gira-se no sentido horrio) das clulas
i nos braceletes interno e externo no interceptar, em nenhum dos dois braceletes, com o meio de
um domin. Os raios aqui fazem as vezes das retas verticais para o caso do par de ladrilhos.
Tambm de forma anloga ao caso dos ladrilhos, se h um quadrado na clula i, seja no bracelete
interno ou externo, indica que o par de braceletes concntricos duplamente quebrvel na clula i
ou i 1 . De fato, se h um quadrado na clula i do bracelete externo, h 3 hipteses:
Existe tambm um quadrado na clula i no bracelete interno. Nesse caso a clula i
duplamente quebrvel.
Existe o final de uma pea de domin na clula i no bracelete interno. Tambm nesse
caso a clula i duplamente quebrvel.
Existe o incio de uma pea de domin na clula i no bracelete interno. Nesse caso a
clula i 1 duplamente quebrvel.
Como n mpar, o bracelete externo possui ao menos uma clula preenchida por um
quadrado. Assim, h pelo menos uma clula duplamente quebrvel, sendo a primeira delas,
digamos, na clula k. Ento, no h clulas duplamente quebrveis nas clulas 1, 2, ..., k 2, k 1 .
A partir desses braceletes concntricos formaremos um bracelete de tamanho 2n , elemento
do conjunto B, em trs etapas,da seguinte forma.
Clulas 1 a k: Sero preenchidas pelas peas que cobriam das clulas 1 a k no bracelete
externo. O bracelete novo bracelete e o bracelete externo tm, portanto, a mesma fase.
Vale observar que se o bracelete externo for fora de fase, o bracelete novo tambm ser
fora de fase e haver tambm o preenchimento da clula 2n .
Clulas k + 1 a k + n: Sero preenchidas por todo o bracelete interno. Esse
preenchimento ser feito no sentido horrio na ordem das peas das clulas
k + 1, k + 2, ... , n, 1, 2, ... , k . Lembramos que a clula k permite que haja essa
transposio do bracelete externo para o interno, na primeira e segunda etapas, uma vez
que ela duplamente quebrvel.
Clulas k + n + 1 a 2n: Sero preenchidas pelas peas que cobriam as clulas k+1, k+2,
... ,n do bracelete externo. Da mesma forma da etapa anterior, a clula k permite a
passagem do bracelete interno para o externo. Lembramos que caso a clula 2n j tenha
sido preenchida na primeira etapa, o preenchimento ser at a clula 2n 1 .
18
relevante observar que os n raios dos braceletes concntricos na primeira composio
correspondem aos n primeiros dimetros do bracelete na segunda composio. Assim, as clulas
duplamente quebrveis no par de braceletes correspondem a dimetros que no possuem nenhuma
extremidade no meio de um domin. Para efeitos de simplificao de nomenclatura,
denominaremos esse tipo de dimetro de dimetro perfeito. O novo bracelete ter o primeiro
dimetro perfeito (ver figura 10) com extremidades entre as clulas k e k + 1 e entre as clulas
n + k e n + k + 1 . Isso porque coincide com o a clula k, quebrvel, tanto no bracelete externo quanto
no interno no par de braceletes concntricos do incio.
Desde que haja um dimetro perfeito em um bracelete de tamanho 2n , h a reversibilidade
do processo possvel e nica. Basta para isso decompor o bracelete a partir do primeiro dimetro
perfeito e reorganizar as partes de forma inversa. No entanto, h dois elementos do conjunto B que
no podem ser construdos atravs do processo descrito a partir de um elemento do conjunto A. So
os ladrilhos de tamanho 2n preenchidos em sua totalidade por domins, um caso em fase e outro
fora de fase. Como n mpar, se o preenchimento da clula 1 o incio de um domin,
obrigatoriamente a clula n + 1 ser preenchida por um final de domin. Por outro lado, se a clula
1 preenchida pelo final de um domin, a clula n + 1 preenchida pelo incio de um domin. De
forma geral as clulas i e n + i , para 1 i n , sempre sero preenchidas por partes diferentes do
domin. Dessa forma, no haver nenhum dimetro perfeito, o que inviabiliza a obteno desses
dois braceletes de tamanho 2n a partir de um par de braceletes concntricos de tamanho n.
Tampouco possvel operar o processo reverso, pois esse pressupe a existncia de ao menos um
dimetro perfeito.
Assim, h uma quase correspondncia com o conjunto B possuindo dois elementos a mais
19
Figura 10
20
De forma anloga, para n par, temos l n = l 2 n + 2 .
2
12345: Nesse caso, o 1 est no lugar do prprio 1; o 2 no lugar do prprio 2, etc. Ento,
so 5 ciclos com um elemento cada um , assim representados: (1)(2)(3)(4)(5).
32451: Nesse caso, o 1 est no lugar do 5; o 5 no lugar do 4; e o 4 no lugar do 3; e o 3 no
lugar do 1. O 2 constitui um ciclo a parte pois est em seu prprio lugar. Ento, so 2
ciclos, assim representados: (1543)(2).
12435: Nesse caso, o 1 est no lugar do prprio 1 (primeiro ciclo); o 2 no lugar do
prprio 2 (segundo ciclo); o 5 no lugar do prprio 5 (terceiro ciclo); o 3 no lugar do 4 e o
4 no lugar do 3 (quarto ciclo). Temos a seguinte representao: (1)(2)(34)(5).
n
Apresentamos, agora, o conceito de ,um nmero de Stirling de primeiro tipo.
k
n
Definio: Para inteiros n k 0, conta o nmero de permutaes de n elementos que
k
possuem exatamente k ciclos.
Apresentaremos uma interpretao equivalente, de carter combinatrio que ser til nas
demonstraes das identidades.
21
n
Interpretao combinatria: Para inteiros n k 0, conta o nmero de formas de n pessoas
k
distintas se sentarem em k mesas circulares idnticas sem que seja permitido que alguma dessas
mesas fique vazia. Cada mesa corresponde a um ciclo da nossa definio anterior. Se n < 0, k < 0 ou
n
n < k consideraremos = 0
k
n
Vamos analisar alguns casos mais simples. Por exemplo, = 1 pois conta o caso
n
(1)(2)(3)...(n), em que cada pessoa est em uma mesa. Tambm podemos dizer que
n
Essa escolha pode ser feita de formas.
2
No segundo caso, para sentarmos n pessoas em uma apenas uma mesa as contagens s se
distinguiro com relao ao ordenamento circular das pessoas nessa mesa. Tomando como
referencial a pessoa 1 restam n 1 pessoas para se sentarem em n 1 posies de (n 1)! maneiras
distintas.
Pergunta: De quantas formas diferentes n pessoas distintas podem se sentar em n mesas circulares
idnticas, sendo permitido que mesas fiquem vazias?
22
Resposta 1: Observemos o seguinte processo para sentarmos as pessoas nas mesas. A pessoa 1
senta-se em uma mesa e como todas so iguais s h uma escolha. A pessoa 2 pode escolher entre
sentar direita da pessoa 1 ou sentar-se em uma mesa ainda desocupada, ou seja, h 2 escolhas. A
pessoa 3 pode escolher entre sentar direita da pessoa 1, direita da pessoa 2 ou sentar-se em uma
mesa ainda desocupada, totalizando 3 escolhas. Prosseguindo dessa forma a pessoa n ter n opes,
que so: sentar-se direita da pessoa 1, direita da pessoa 2, direita da pessoa 3, ..., direita da
pessoa n 1 ou sentar-se em uma mesa ainda desocupada. Ento, pelo princpio multiplicativo h
1 2 3... (n 1) n = n ! .
Resposta 2: Agora, dividiremos o problema em casos de acordo com o nmero de mesas ocupadas.
n
O nmero de mesas mnimo a ser ocupadas 1, caso em que todas as pessoas
n se sentem em uma
mesma mesa. Por outro lado, o nmero mximo de mesas ocupadas n, caso em
k que cada pessoa se
k = 1
n
senta, sozinha, em uma mesa. Por definio, h formas de sentarmos as n pessoas em um
k
nmero k de mesas ocupadas (k = 1, 2 , ... , n).
n
n
Logo, somando todos os casos para k,
k =
, cobrimos todas as situaes possveis.
1 k
n n 1 n 1
IDENTIDADE 9: Para n k 1, = + (n 1)
k k 1 k
Pergunta: De quantas formas diferentes n pessoas podem se sentar em k mesas?
n
Resposta 1: Por definio, h formas.
k
Resposta 2: Agora, dividiremos a contagem em dois casos, de acordo com a pessoa 1, a saber:
A pessoa 1 se senta sozinha em uma mesa: Basta apenas sentarmos as outras n 1
pessoas restantes nas k 1 mesas no ocupadas pela pessoa 1. Isso pode ser feito de
n 1
k 1 formas.
23
A pessoa 1 no se senta sozinha em uma mesa: Primeiramente distribumos todas as
n 1
pessoas, exceto a pessoa 1, nas k mesas de formas. Depois, a pessoa 1 pode
k
escolher onde vai se sentar de n 1 formas distintas, pois ela pode se posicionar
imediatamente direita de qualquer das n 1 pessoas j sentadas. Pelo princpio
n 1
multiplicativo, temos ( n 1) formas.
Exemplo da identidade 9: k
Linha 0
Linha 1
Linha 2
Linha 3
Linha 4
Linha 5
Linha 6
Figura 11
24
Na prxima identidade, dividiremos a contagem em dois conjuntos, de acordo com a
paridade do nmero de mesas ocupadas.
n
n
IDENTIDADE 10: Para n 2, k .( 1) = 0
k= 1
k
n
n
nmero par, k, de mesas circulares idnticas. Por definio, o conjunto possui k .( 1)
k par
k
elementos.
Conjunto B: Conjunto com todas as disposies de sentarmos n pessoas distintas (n 2) em um
n
n
nmero mpar, k, de mesas circulares idnticas. Por definio, o conjunto possui k .( 1)
k mpar
k
elementos.
Correspondncia: Para cada disposio em que sentarmos n pessoas distintas ( n 2 ) (pessoa 1,
pessoa 2, ..., pessoa n) em um nmero qualquer de mesas circulares idnticas, podemos dividir em
dois casos: as pessoas 1 e 2 se sentam na mesma mesa ou as pessoas 1 e 2 no se sentam na mesma
mesa.
Para o primeiro caso, podemos desmembrar a mesa em que as pessoas 1 e 2 esto sentadas
em duas outras mesas. A partir da pessoa 1 percorremos no sentido horrio at a pessoa x
imediatamente anterior a pessoa 2. Essas pessoas, de 1 a x,formam a primeira mesa, digamos
mesa a. A outra mesa, digamos mesa b, ser composta a partir da pessoa 2 percorrendo no sentido
horrio at a pessoa y imediatamente anterior pessoa 1 na composio da mesa antes da diviso.
Dessa forma, correspondemos um caso de uma paridade a outro de outra paridade pois aumentamos
a quantidade em uma mesa.
Para garantir a reversibilidade do processo, vejamos o caso em que as pessoas 1 e 2 esto
sentadas em mesas distintas, digamos mesa a e mesa b. Unimos as duas mesas colocando, na mesa
a, entre a pessoa 1 e a pessoa x, que est imediatamente ao lado da pessoa 1 no sentido anti-horrio,
todas as pessoas da mesa b, mantendo o ordenamento, e de forma que a pessoaMesa a
2 fique
imediatamente ao lado da pessoa x no sentido horrio.
A figura 12 ilustra o procedimento descrito.
25
Mesa b
Figura 12
A ltima identidade dessa seo muito interessante pois mostra um polinmio que possui
os nmeros de Stirling de primeiro tipo como coeficientes.
n
n k
IDENTIDADE 11: x ( x + 1) ( x + 2) ... ( x + n 1) = x
k = 1 m
produto x k mas, pela regra distributiva, tero nmeros multiplicados que fornecem uma parcela para
a composio do coeficiente do termo x k . O coeficiente do termo x k ser dado pela soma de todas
as combinaes possveis dessas multiplicaes dos nmeros dos parnteses restantes, os que no
forneceram x. restantes.
n
Mas por que essas somas resultam em ? Um bom indcio que essa soma conta,
k
dividindo em casos, como podem se sentar n pessoas distintas em k mesas circulares idnticas de
forma que nenhuma das mesas fique vazia. Cabe agora entender os casos contados pela
multiplicao de n 1 ( k 1) nmeros escolhidos dentre 1, 2, 3, ... , n 1 , cada escolha
correspondendo a um caso diferente. Para isso, imaginemos n pessoas (pessoa 0, pessoa 1, ... ,
26
pessoa n 1 ) para se sentarem em k mesas circulares idnticas de forma que nenhuma das mesas
fique vazia.
Separaremos em casos pr-sentando k pessoas para preencherem as k mesas, sendo essas
pessoas as de menor nmero em suas respectivas mesas. A pessoa 0 sempre ser uma dessas k
pessoas pois obrigatoriamente ser a pessoa de menor nmero em sua mesa. Logo, so pr-
sentadas a pessoa 0 e mais outras k 1 pessoas quaisquer. Vale alertar que estas pessoas esto
associadas aos xs multiplicados do polinmio. O primeiro x pessoa 0, esta sempre sentada e
aquele sempre multiplicado. Os outros k 1 xs multiplicados dos outros parnteses s outras k 1
pessoas pr-sentadas. Antes de sentarmos as outras pessoas, as ordenamos em fila, em ordem
crescente de seus nmeros. Assim ordenadas, a pessoa de menor nmero, digamos pessoa i, tem i
opes de escolha para se sentar, que so: direita da pessoa 0, da pessoa 1, ... , da pessoa i 1 .
Note que todas essas pessoas j esto pr-sentadas, pois caso contrrio elas estariam ordenadas
anteriormente pessoa i, na fila de espera, com as pessoas que esto por sentar. Alm disso, no h
mais opes para a pessoa i se sentar direita de outras pessoas pr-sentadas, pois essas outras
teriam o nmero maior que i e, pela hiptese de construo, so as pessoas de menores nmeros de
suas mesas.
Da mesma forma, a prxima pessoa j a se sentar depois da pessoa i, ter j opes. E assim,
a prxima pessoa k, ter k opes e assim para todas as outras, at a ltima pessoa w. Pelo princpio
multiplicativo h, ento, i j k ... w formas dessas pessoas que no esto pr-sentadas se
sentarem.
Em cada caso diferente desses, um produto diferente de n 1 ( k 1) nmeros escolhidos
dentre 1, 2, 3, ... , n 1 obtido. Unindo todos esses casos teremos todas as formas possveis de
sentarmos n pessoas distintas em k mesas circulares idnticas, de forma que nenhuma delas fique
vazia.
Ao analisarmos para diferentes nmeros de mesas a serem ocupadas temos todos os
coeficientes do polinmio como nmeros de Stirling de primeiro tipo.
27
{1,2,3}{4}{5} {1,3}{2}{4,5}
{1,2,4}{3}{5} {1,4}{2}{3,5}
{1,2,5}{3}{4} {1,5}{2}{3,4}
{1,3,4}{2}{5} {1,2}{3}{4,5}
{1,3,5}{2}{4} {1,4}{2,5}{3}
{1,4,5}{2}{3} {1,5}{2,4}{3}
{1}{2,3,4}{5} {1,2}{3,5}{4}
{1}{2,3,5}{4} {1,3}{2,5}{4}
{1}{2,4,5}{3} {1,5}{2,3}{4}
{1}{2}{3,4,5} {1,2}{3,4}{5}
{1}{2,3}{4,5} {1,3}{2,4}{5}
{1}{2,4}{3,5} {1,4}{2,3}{5}
{1}{2,5}{3,4}
Tal como fizemos para os nmeros de Stirling de primeiro tipo, apresentaremos uma
interpretao combinatria equivalente que nos auxiliar nas prximas identidades.
n
Interpretao combinatria: Para inteiros n k 0, conta o nmero de formas de
k
distribuir-se n pessoas distintas em k salas idnticas sem que seja permitido que alguma dessas salas
fique vazia. Cada sala corresponde a um subconjunto da nossa definio anterior. Se n < 0, k < 0 ou
n
n < k consideraremos = 0 .
k
Assim como fizemos para os nmeros de Stirling de primeiro tipo, antes de apresentarmos
as identidades analisaremos os casos mais simples.
28
n n
Diretamente da definio podemos perceber que = 1 e = 1 pois contam,
n 1
respectivamente, os casos elementares {1}{2}{3}...{n}, quando cada pessoa ocupa sozinha uma
sala, e {1,2,3,...n}, quando todas as pessoas se sentam em uma nica sala. Dizemos tambm que:
n 0, se n > 0 (no h nenhum caso, pois ao menos uma sala ocupada)
=
0 1, se n = 0 (por convenicnia. Pode-se interpretar com sendo a nica forma no colcocar ningum)
n n n n 1
Outros dois casos simples so = e = 2 1
n 1 2 2
No primeiro caso, para dispormos n pessoas em n 1 mesas no-vazias idnticas, s h
uma forma. Do total de salas, n 2 tero apenas uma pessoa enquanto a outra sala ter duas
pessoas. Basta escolher dentre todas as n pessoas as duas que ficaro na mesma sala. Isso pode ser
n
feito de maneiras.
2
No segundo caso, ao dividirmos n elementos de um conjunto A = {1,2, ... , n} em dois
subconjuntos, o conjunto da direita um subconjunto no-vazio do conjunto D = {2,3, ..., n}. H
2n 1 1 desses conjuntos (todos os subconjuntos de D menos o subconjunto vazio). Os elementos
que no fazem parte desse subconjunto constituiro juntamente com o elemento 1 o conjunto da
esquerda.
Pergunta: De quantas formas diferentes podemos dividir n pessoas distintas em k salas idnticas
no- vazias?
29
n
Resposta 1: Por definio, h formas.
k
Resposta 2: Sejam as pessoas 1,2, ... , n. Dividiremos em dois casos, de acordo com a pessoa 1, a
saber:
12: 1 fica sozinha em sua sala: Resta, apenas, distribuir as outras n 1 pessoas nas
A pessoa
Exemplo da identidade
6 5 5 n 1
= + 4 k 1 salas restantes de formas.
4 3
4
k 1
65 = 25 + 4 . 10
A pessoa 1 no fica sozinha em sua sala: Primeiramente, distribumos as n 1 outras
n 1
pessoas em todas as k salas de formas. Depois, escolhemos em qual das salas j
k
ocupadas a pessoa 1 vai ficar. So k escolhas. Pelo princpio multiplicativo, so
n 1
k formas.
k
Utilizando o princpio aditivo, somam-se os dois casos complementares.
Tambm apresentamos o tringulo para os nmeros de Stirling de segundo tipo. Podemos
diagonais os valores de k.
Linha 0
Linha 1
Linha 2
Linha 3
Linha 4
Linha 5
Linha 6
Figura 13
n
n k
IDENTIDADE 13: Para n 0, x =
n
Ax
k= 0 k
30
Pergunta: De quantas formas diferentes n pessoas podem ocupar x salas distintas, sendo permitido
que alguma(s) sala(s) fique(m) vazia(s)?
Resposta 1: Cada uma das n pessoas tem x opes independentemente da escolha das outras. Ento,
pelo princpio multiplicado, so x n.
Resposta 2: Dividiremos o problema em casos de acordo com o nmero de salas ocupadas. Para um
nmero qualquer de salas ocupadas, digamos k (0 k n), primeiramente, escolhemos os grupos
n
que ocuparo cada uma das k salas. Para isso, dividimos as n pessoas em k subconjuntos de
k
formas. Depois, posicionamos os grupos em k salas das x disponveis. No podemos nos esquecer
n k
que as salas so distintas. Portanto, h A x formas. Pelo princpio multiplicativo, temos A x , o
k
k
termo do somatrio do membro direito da identidade. Somando todos os valores k, cobrimos
todos os casos. Vale lembrar que para k = 0, o termo do somatrio ser nulo, uma vez que A x = 0 .
0
n
Tambm , se k > n, = 0 . Assim, o ndice k do somatrio poderia tambm variar infinitamente
k
sem prejuzo da identidade.
m,n = 0 , se m n .
n k
do conjunto P , | P | ,
k par k
. .
m
Conjunto I: Da mesma forma para os nmeros mpares, seja I o conjunto de todas as distribuies
de n pessoas sentadas em um nmero mpar de mesas circulares idnticas no-vazias dispostas em
31
m salas idnticas no-vazias. Utilizando os conceitos de nmeros de Stirling de primeiro e segundo
n k
tipo e somando todos os casos, temos que o tamanho do conjunto I , | I | , .
k mpar k m
32
b, ser composta a partir da pessoa d percorrendo no sentido horrio at a pessoa y imediatamente
anterior pessoa c na composio da mesa antes da diviso. Dessa forma, correspondemos um caso
de uma paridade a um de outra paridade pois aumentamos a quantidade em uma mesa.
Para garantir a reversibilidade do processo, vejamos o caso em que as pessoas c e d esto
sentadas em mesas distintas, digamos mesa a e mesa b. Unimos as duas mesas colocando, na mesa
a, entre a pessoa c e a pessoa x, que est imediatamente ao lado da pessoa c no sentido anti-horrio,
todas as pessoas da mesa b, mantendo o ordenamento, e de forma que a pessoa d fique
imediatamente ao lado da pessoa x no sentido horrio.
A figura 12, ilustra esse processo, na qual as pessoas 1 e 2 fazem as vezes das pessoas c e
d, respectivamente.
3.5 Os nmeros harmnicos
Os nmeros harmnicos so obtidos pela conhecida seqncia harmnica hn , formado
pelos inversos dos nmeros naturais. Os primeiros termos da seqncia o n-simo termo so
1 1 1
1, , ,..., , ... .
2 3 n
Definamos, agora, os nmeros harmnicos. O n-simo nmero harmnico, denotado por
1 3
H n , a soma dos n primeiros termos da seqncia harmnica. Assim, H1 = 1 , H 2 = 1 + = ,
2 2
n
1 1 11
H3 = 1 + + =
2 3 6
e assim por diante. No caso genrico, H n =
k= 1
hn Por convenincia, definimos
H0 = 0 .
33
1 1 1
Desenvolvendo Hn = 1+ + + ... + por manipulaes algbricas chegamos a
2 3 n
an an
Hn = e finalmente a H n = .
1 2 3 ... n n!
O termo n! no denominador possui muitas interpretaes combinatrias, restando-nos
interpretar o significado combinatrio do termo an , que aparece no numerador. Alm disso, teremos
que relacionar em uma mesma situao combinatria, os termos an e n!. Esse elo ser o nmero de
n + 1
Stirling de primeiro tipo conforme o Teorema combinatrio a seguir.
2
TEOREMA COMBINATRIO 1: Para n 0,
n + 1
2
Hn =
n!
Antes de apresentarmos a demonstrao do teorema, cabem algumas observaes.
Como utilizaremos, de agora em diante, diversas vezes o nmero de Stirling de primeiro
n
tipo , o denotaremos por n , para efeitos de simplificao de notao.
2
Em nossa demonstrao, no mostraremos, uma interpretao combinatria para H n e sim
an
para n ! H n . Esse termo exatamente o termo an (conta: n ! H n = n ! = an ), que surge no
n!
identidade. Mais do que isso, so duas formas alternativas de interpretar o termo an . Em ambas as
34
respostas, consideraremos as pessoas numeradas a partir da pessoa 0 at a pessoa n, e
denominaremos por mesa a aquela em que est a pessoa 0 e mesa b a outra mesa, sem a pessoa 0.
Resposta 2.1: Primeiramente, sentamos todas as n + 1 pessoas em torno de uma mesma mesa
circular, o que pode ser feito de n ! formas diferentes. Para formarmos a segunda mesa, girando a
partir da pessoa 0 no sentido horrio, precisamos saber onde romper essa primeira mesa para
formarmos a segunda mesa. Dividiremos em casos, de acordo com o nmero de pessoas k na mesa
b. O valor de k tal que 1 k n, pois h pelo menos uma pessoa na mesa b e pelo menos a pessoa
0 na mesa a.
Para um nmero k qualquer, temos a mesa b com k pessoas e a mesa a com n k + 1
pessoas. Temos, ento, a seguinte configurao:
Mesa a: Possui um total de n k + 1 pessoas sendo a pessoa 0 e mais outras n k
pessoas. Girando no sentido horrio a partir da pessoa 0, denotaremos as pessoas com os
ndices 0, a1 , a2 , a3 ,..., an k .
O leitor poder observar que essa partio de uma mesa em duas j foi feita nas identidades
10 e 14. No entanto, naquelas ocasies a segunda mesa obrigatoriamente j estava ordenada a partir
do seu menor elemento. Isso porque ns partamos a mesa nesse elemento.
Agora, temos que tomar cuidado com as duplicidades de contagem que ocorrem. Ao
desmembrarmos a mesa inicial para formarmos a mesa b, diferentes ordenaes das pessoas
an k + 1 , an k + 2 , an k + 3 ,..., an inicialmente, representaro a mesma composio na nova mesa b. Isso
ocorre pois ao colocarmos essas pessoas em torno de uma nova mesa, o que difere um caso de outro
a posio relativa das pessoas e no as posies fixas. Como exemplo, imaginemos que na mesa
original tenhamos o ordenamento (123) para formarmos a mesa b. A mesma mesa b seria formada
com os ordenamentos (231) ou (312), pois indicam a mesma composio se dispostos em uma mesa
circular. Com k pessoas, cada caso est contado k vezes. Basta mudar o primeiro elemento (k
formas) e manter as posies relativas.
Para entender, ainda, de outra maneira, podemos fixar como ncora (esse procedimento o
que normalmente utilizado em permutaes circulares) o menor elemento. Assim, a mesa b estar
35
ordenada a partir do menor elemento apenas se a n k + 1 for o menor elemento do conjunto (a n k + 1
,a n k + 2 , a n k + 3 , ... ,a-n). Isso ocorre uma vez em k oportunidades .
Por isso, devemos dividir n! por k para eliminarmos as contagens multiplicadas.
Somando todas as variaes de k e desenvolvendo o somatrio, temos
n n
n! 1
k = 1 k
= n! = n! H n .
k= 1 k
Consideremos, agora, a resposta alternativa.
Resposta 2.2: Os casos separados aqui so de acordo com o menor nmero r, das pessoas
numeradas, da mesa b. Como as pessoas so numeradas de 0 a n , 1 r n.
De acordo com a nossa condio r o menor elemento da mesa b e por isso as pessoas 0,
1, 2, ... , r 1 esto todas sentadas na mesa a. Como a pessoa 0 j est sentada na mesa a, h (r 1)!
n!
essas outras pessoas r + 1, r + 2, ... , n . Esse termo pode ser reescrito como , basta multiplicar e
r!
dividir por r!. Novamente pelo princpio multiplicativo compomos as etapas de sentar as pessoas de
nmeros menores, 0 a r, na mesa a e depois as outras restantes, r + 1 a n, em qualquer das mesas.
n! n!
Temos (r 1)! formas. Simplificando os termos (r 1)! e r ! temos .
r! r
n n
n! 1
Somando todos os casos e desenvolvendo o somatrio, temos
r= 1 r
= n ! = n ! H n .
r= 1 r
36
Um fato interessante, que pelo Teorema combinatrio 1, podemos visualizar H n como a
razo entre o nmero de formas de se disporem n + 1 pessoas em duas mesas circulares idnticas
pelo nmero de formas de sentar tambm essas n + 1 em apenas uma mesa circular, pois
n + 1
n! = .
1
3.6 Identidades com nmeros Harmnicos
Nessa seo apresentaremos duas identidades que envolvem nmeros harmnicos. Para as
provarmos, utilizaremos o Teorema combinatrio 1, reindexaremos os ndices dos somatrios e as
manipularemos algebricamente com o intuito de apresentarmos uma outra identidade que possa ser
apresentada um demonstrao combinatria.
Alertamos o leitor que as citadas manipulaes algbricas so realmente necessrias e
mudam apenas como as identidades se apresentam. Isso porque no temos uma interpretao
n 1
IDENTIDADE 16.1: Para n 1, k= 1
H k = n H n n
Pergunta: De quantas formas diferentes podemos sentar n pessoas em duas mesas circulares
idnticas de forma que elas no fiquem vazias?
Resposta 1: Por definio, n formas.
Resposta 2: Sejam as pessoas 1, 2, 3, ... , n. Tambm denominaremos por mesa a aquela em que
est a pessoa 1 e mesa b a outra mesa, sem a pessoa 1. Separaremos, primeiramente, em dois casos
maiores.
37
A pessoa 2 fica na mesa b: Nesse caso, temos um caso particular da situao descrita
na resposta 2.2 da demonstrao da identidade 15, mas com a diferena que naquela
ocasio as pessoas foram numeradas a partir de 0. Primeiramente, sentamos a pessoa
1 e determina-se a mesa a. A pessoa 2 s tem uma opo que se sentar na mesa
ainda vazia, que a mesa b. Basta-nos, usando o princpio multiplicativo,
compormos as opes das pessoas 3, 4, ... , n de se sentarem direita de algum j
sentado, inicialmente apenas as pessoas 1 e 2. So (n 1)! formas possveis, com o
procedimento tal qual foi feito na resposta 2.2 da identidade anterior, aumentando-se
o nmero de opes a cada nova pessoa sentada.
A pessoa 2 fica na mesa a: Dividiremos esse caso em subcasos de acordo com a
posio da pessoa 2 em relao pessoa 1 na mesa a. Isto , girando no sentido
horrio a partir da pessoa 1 na mesa a, quando aparece a pessoa 2 (na primeira
posio, segunda posio,etc.).
Com intuito de no tornarmos o texto repetitivo, sempre que citarmos as pessoas
entre as pessoas 1 e 2, estaremos nos referindo quelas compreendidas entre as
duas girando no sentido horrio da pessoa 1 para a pessoa 2. Mencionaremos
explicitamente para outras situaes que possam gerar dvidas.
Saberemos exatamente onde est a pessoa 2 se soubermos quantas pessoas esto
entre ela e a pessoa 1 ou de forma equivalente, quantas so as outras pessoas
restantes (as que no esto entre a pessoa 1 e 2). Esta ltima forma a que ser
utilizada na demonstrao. Consideraremos, portanto, como k o nmero de pessoas
que no esto entre as pessoas 1 e 2. Assim, como so n pessoas no total, excluindo
essas k pessoas e as pessoas 1 e 2, restaro exatamente n 2 k pessoas entre as
pessoas 1 e 2. Faremos uma diviso em grupo de pessoas, com denominao
especfica e com o auxlio de uma figura para tornarmos a exposio da situao o
mais clara possvel. Sejam os grupos:
a) 1o grupo: Grupo composto pelas pessoas entre a pessoa 1 e 2, exclusive as
pessoas 1 e 2.
Denotao: Pessoas a1 , a2 , ... , an 2 k girando no sentido horrio da pessoa 1 para
pessoa 2.
b) 2o grupo: Grupo composto pelas outras pessoas da mesa a, ou seja, entre a pessoa
1 e 2 , mas girando no sentido horrio desta para aquela.
38
Denotao: Pessoas b1 , b2 , ... , b j , girando no sentido horrio da pessoa 1 para a
pessoa 2.
c) 3o grupo: Grupo composto pelas pessoas da mesa b.
Denotao: Nessa denotao continuaremos com a contagem do ndice das
Figura 14
Continuando com a nossa demonstrao, vemos que k tal que 1 k n 2 , pois ao
menos, temos uma pessoa no 3 grupo para garantir que a mesa b no fique vazia e
caso no haja pessoas no 1 grupo todas as pessoas, com exceo das pessoas 1 e 2 (
n 2 ) esto no 2 e 3 grupos.
Para organizarmos as posies das pessoas, ordenamos primeiramente dentre as
n 2 possveis, como se sentam as pessoas sentadas entre a pessoa 1 e a pessoa 2 (1
n 2 k (n 2)!
grupo). Isso pode ser feito de An 2 formas, reescrito como . Para sentarmos
k!
as outras pessoas, precisamos dividi-las para formar o 2 e o 3 grupos. Observe que
o 2 grupo pode ser vazio mas no o 3 grupo, pois temos que garantir a ocupao da
mesa b. Alm disso, se dividirmos as k pessoas restantes em duas mesas circulares
haver contagens faltando, pois para as pessoas do 2 grupo necessrio estabelecer
um ordenamento que no estabelecido em divises em mesas circulares. Isso
39
porque, elas no esto em uma nica mesa isolada e sim compem a mesa a
juntamente com o 1 grupo e as pessoas 1 e 2. Por isso, inclumos a pessoa 2 nessa
diviso das k pessoas restantes em duas mesas circulares. Essa incluso garantir a
existncia de dois grupos, sendo as pessoas do grupo da pessoa 2 as que comporo o
2 grupo. O grupo sem a pessoa 2 ser o 3 grupo. Alm disso, para o grupo da
pessoa 2, o ordenamento ser definido a partir dela, girando no sentido anti-horrio e
ocupando as posies restantes da mesa a, girando no sentido anti-horrio aps a
circulares de k + 1 formas.
Utilizando o princpio multiplicativo e somando todos os valores possveis de k,
obtemos o somatrio da segunda parcela do segundo membro.
Usando o princpio aditivo somamos os dois casos complementares.
n 1
k 1 n
IDENTIDADE 17.1: Para 0 m n,
k= m m n k
= ( Hn Hm )
m
Fazendo a translao de n (n:= n 1 ), m (m:= m 1 ), (k:= t 1 ) e aplicando o Teorema
(n 1)! n 1
t 1 (m 1)!( n m)!
IDENTIDADE 17.2: Para 1 m n, n = m
(m 1)!
+
t = m m 1
(n t )!
Pergunta: De quantas formas diferentes podemos sentar n pessoas em duas mesas circulares
idnticas de forma que elas no fiquem vazias?
Resposta 1: Por definio, n formas.
Resposta 2: Sejam as pessoas 1, 2, 3, ... , m, ... , n. Tambm denominaremos por mesa a aquela em
que est a pessoa 1 e mesa b a outra mesa, sem a pessoa 1. Separaremos, primeiramente, em dois
casos maiores.
As pessoas 1 a m no ficam todas em uma mesma mesa: Para contarmos esse caso,
primeiramente dividimos as pessoas 1 a m em duas mesas circulares idnticas para
garantirmos que no estaro todas na mesma mesa. Isso pode ser feito de m formas.
Depois sentamos as n m pessoas restantes, uma de cada vez, ao lado direito de
alguma pessoa j sentada. Nesse procedimento, j utilizado em outras identidades,
para cada nova pessoa a se sentar, os nmeros de escolhas aumentam pois o nmero
40
de pessoas sentadas tambm aumenta. Dessa forma h a primeira pessoa a se sentar
tem m escolhas e a ltima n 1 escolhas. Pelo princpio multiplicativo, so
m ( m + 1) ... ( n 2) (n 1) formas. Multiplicando e dividindo esse termo por
(n 1)!
(m 1)! , o reescrevemos como . Compondo as duas etapas desse caso,
(m 1)!
novamente pelo princpio multiplicativo, chegamos primeira parcela do segundo
(n 1)!
membro da identidade, que m .
(m 1)!
As pessoas 1 a m ficam todas em uma mesma mesa (mesa a): Dividiremos esse caso
em subcasos de acordo com o nmero de pessoas na mesa a. Esse nmero, digamos
t, tal que m t n 1 pois pela hiptese h pelo menos m pessoas e no mximo
n 1 , quando a mesa b s possui uma pessoa para garantir que ela no fique vazia.
Complementarmente, a mesa b possui n t pessoas.
Primeiramente, sentamos a pessoa 1 determinando a mesa a. A pessoa 1 determina
t 1 posies ordenadas a partir dela para serem ocupadas. Como as pessoas 2 a m
se sentam na mesa a, escolhemos das t 1 posies disponveis m 1 para essas
pessoas e depois as ordenamos nessas m 1 posies. Isso pode ser feito de
t1
(m 1)! formas.
m 1
Agora, das n m pessoas restantes (pessoa m + 1, pessoa m + 2, ... , pessoa n )
escolhemos e ordenamos aquelas que ocuparo os outros t m espaos no
n m
ocupados na mesa a. Feito isso de (t m)! formas dispomos as ltimas
t m
n t na mesa b de (n t 1)! formas. Pelo princpio multiplicativo, so
n m
(t m)!( n t 1)! formas de sentarmos as pessoas m + 1 a n. Podemos
t m
simplificar esse termo, da seguinte forma.
n m (n m)!(t m)!(n t 1)! (n m)!(n t 1)! ( n m)!
(t m)!(n t 1)! = = =
t m (n t )!(t m)! ( n t )(n t 1)! (n t )
Compondo agora, novamente pelo princpio multiplicativo, as duas etapas desse caso
41
e somando todos os valores para t chegamos ao somatrio do segundo membro da
n 1
t 1 ( m 1)!(n m)!
identidade, que
t = m m 1
(n t )!
.
n
Para contarmos o nmero de elementos desse conjunto, sentamos as n pessoas em k mesas
k
k
e depois escolhemos m delas para colocarmos as toalhas . Utilizando o princpio
m
multiplicativo para compormos as etapas e o princpio aditivo para somarmos todas as variaes de
n
n k
k conclumos que o conjunto possui elementos.
k= m k m
n + 1
em m + 1 Por definio, o conjunto possui elementos.
m + 1
Correspondncia: A partir de um elemento do conjunto A chegaremos a um conjunto do elemento B
por meio de um processo reversvel de forma nica. Ordenamos as k m mesas que no possuem
toalha em ordem decrescente do nmero das pessoas de menor nmero em cada mesa. Todas essas
mesas formaro apenas uma mesa juntamente com a pessoa 0. Aps sentarmos a pessoa 0 em uma
mesa, colocamos as outras pessoas das outras k m mesas a partir da ordem determinada de mesas,
42
girando no sentido horrio a partir da pessoa 0, iniciando a colocao a partir da pessoa de maior
nmero em cada mesa, tambm no sentido horrio. Formada essa mesa, juntamos com as outras k
mesas com toalhas, totalizando k + 1 mesas. Tambm temos um total de n + 1 pessoas, as n iniciais
mais a pessoa 0. Formamos, ento um elemento do conjunto B.
Verificaremos a reversibilidade desse processo de maneira inequvoca ao elemento inicial
do conjunto A. Primeiramente, determinamos as mesas com toalhas como quelas que no possuem
a pessoa 0. Para a mesa com a pessoa 0, observamos a numerao das pessoas. A partir da pessoa x,
imediatamente ao lado da pessoa 0 no sentido horrio, formamos uma mesa at a pessoa y (essa
mesa inclui a pessoa x e exclui a pessoa y), tal que x > y . Com o mesmo procedimento formaremos
uma segunda mesa a partir da pessoa y at encontrarmos uma pessoa z, tal que y > z , sempre
incluindo a primeira pessoa e excluindo a ltima. Prosseguindo dessa forma por toda a mesa
retornaremos s k m mesas iniciais. Isso porque garantimos que as pessoas de nmero
x, y, z , etc. sejam as pessoas de maiores nmeros em suas mesas.
Formamos, portanto, uma bijeo entre os conjuntos A e B.
n
n k
EXERCCIO 2: Para m, n 0, 2 = (n + 1)!
k= 1 k
Essa identidade uma generalizao da identidade do exerccio 1, pois contamos agora para
m varivel. Por meio de pequenas manipulaes algbricas, usando o resultado da identidade 8 e
k
k
lembrando que = 2 (quantidade de subconjuntos de um conjunto de tamanho k), variamos
k= 0 m
k
n
A ltima passagem decorre do fato que = 0, para n > 0 .
0
n
n k n + 1
EXERCCIO 3: Para m, n 0, =
k = m k m m + 1
Pergunta: De quantas formas n + 1 pessoas (pessoa 0 a pessoa n) podem ocupar m + 1 salas?
43
n + 1
Resposta 1: Por definio, formas.
m + 1
Resposta 2: Dividimos em casos, de acordo com o nmero de pessoas, digamos k, que no esto na
mesma sala da pessoa 0. Restam n k pessoas que ocupam a sala juntamente com a pessoa 0. Esse
nmero k tal que m k n , pois para garantirmos que todas as salas estejam ocupadas
precisamos ao menos de m para ocuparem as salas em que no est a pessoa 0. Por outro lado, se a
pessoa 0 estiver sozinha em sua sala implica que n pessoas no esto na mesma sala da pessoa 0.
Primeiramente, escolhemos dentre as n pessoas possveis (pessoa 1 a n) quais so as k
pessoas que ocuparo salas distintas da sala da pessoa 0 e as dividimos em m salas. Isso pode ser
n k
feito de formas. Por ltimo, ocupamos a outra sala com a pessoa 0 e as outras n k
k m
pessoas restantes. S h 1 escolha, determinada a partir da primeira etapa.
Somando todos os casos temos o somatrio do primeiro membro da identidade.
m
n + k m + n + 1
EXERCCIO 4: Para m, n 0, k =
k= 0 k m
Resposta 2: Dividimos em casos, de acordo com o maior nmero k, tal que a pessoa k no ocupa
sozinha uma sala. Essa pessoa k pode ser no mnimo a pessoa n + 1 , quando as pessoas 0 a n + 1
ocupam uma nica sala e as m 1 pessoas seguintes (pessoa n + 2 pessoa m + n ) ocupam uma
sala cada uma. Por outro lado, o maior valor da pessoa k m + n , quando a pessoa m + n no
estiver sozinha em uma sala. Logo, k tal que n + 1 k m + n . Por nossa hiptese, partimos do
pressuposto que cada uma das pessoas k + 1 a m + n , ocupam sozinhas uma sala cada. Essas
pessoas ocupam m + n k salas, uma pessoa em cada sala, restando k n salas desocupadas. Para
ocuparmos essas ltimas, deixamos inicialmente de fora a pessoa k e as ocupamos com as outras k
k
pessoas (pessoa 0 pessoa k 1 ). Isso pode ser feito de formas. Depois, basta escolher em
k n
k
qual dessas k n salas ficar a pessoa k. Pelo princpio multiplicativo, temos (k n)
k n
formas.
44
m+ n
k
Somando todas as variaes de k temos ( k n) que equivalente ao primeiro
k = n+ 1 k n
membro da identidade.
m
n + k m + n + 1
EXERCCIO 5: Para m, n 0, (n + k ) = m
k= 0 k
A demonstrao dessa identidade usa uma diviso em casos similar do exerccio anterior
mas em vez de salas temos mesas.
Pergunta: De quantas formas m + n + 1 pessoas (pessoa 0 a pessoa m + n ) podem se sentar em m
mesas circulares?
m + n + 1
Resposta 1: Por definio, formas.
m
Resposta 2: Dividimos em casos, de acordo com o maior nmero k, tal que a pessoa k no se senta
sozinha em uma mesa. Essa pessoa k pode ser no mnimo a pessoa n + 1 , quando as pessoas 0 a
n + 1 se sentam em uma nica mesa e as m 1 pessoas seguintes (pessoa n + 2 pessoa m + n ) se
sentam em uma mesa cada uma. Por outro lado, o maior valor da pessoa k m + n , quando a pessoa
m + n no estiver sozinha em uma mesa. Logo, k tal que n + 1 k m + n . Por nossa hiptese,
partimos do pressuposto que cada uma das pessoas k + 1 a m + n , ocupam sozinhas uma mesa cada.
Essas pessoas ocupam m + n k mesas, uma pessoa em cada mesa, restando k n mesas
desocupadas. Para ocuparmos essas ltimas, deixamos inicialmente de fora a pessoa k e as
k
ocupamos com as outras k pessoas (pessoa 0 pessoa k 1 ). Isso pode ser feito de formas.
k n
Depois, basta escolher direita de qual dessas k pessoas ficar a pessoa k. Pelo princpio
k
multiplicativo, temos k formas.
k n
45
m+ n
k
Somando todas as variaes de k temos k que equivalente ao primeiro
k = n+ 1 k n
membro da identidade, a menos do primeiro termo do somatrio da identidade. Mas esse termo
n
nulo, pois = 0 .
0
n
k n + 1
EXERCCIO 6: Para m, n 0, n k
(m + 1) =
k = m m m + 1
Pergunta: De quantas formas n + 1 pessoas (pessoa 1 a pessoa n + 1 ) podem ocupar m + 1 salas?
n + 1
Resposta 1: Por definio, formas.
m + 1
Resposta 2: Dividimos em casos, de acordo com o menor nmero k, tal que as pessoas 1, 2, ... , k j
garantam que todas as m + 1 salas estejam ocupadas. Essa pessoa k pode ser no mnimo a pessoa
m + 1 , para conseguirmos povoar todas as m + 1 salas e no mximo a pessoa n + 1 , quando a pessoa
n + 1 ocupa sozinha uma sala. Logo, k tal que m + 1 k n + 1 . Primeiramente, distribumos as
k 1 primeiras pessoas (pessoa 1 pessoa k 1 ) em m salas e depois colocamos a pessoa k
k 1
sozinha em uma sala. Dessa forma, ocupamos todas as m + 1 salas. Isso pode ser feito de
m
formas. Vale alertar que caso tentssemos colocar de uma s vez as k primeiras pessoas para povoar
todas as m + 1 salas no garantiramos a minimidade de k.
Depois, cada uma das n k + 1 pessoas restantes (pessoa k + 1 pessoa n + 1 ) escolhe em
qual sala vai ficar. Como h m + 1 salas, usando o princpio multiplicativo so ao total (m + 1) n k + 1
k 1 n k + 1
formas. Compondo as duas etapas, pelo princpio multiplicativo, temos ( m + 1) formas.
m
n+ 1
k 1
Somando todas as variaes de k temos
k = m+ 1 m
(m + 1)
n k + 1
que equivalente ao
46
A demonstrao dessa identidade usa uma diviso em casos similar do exerccio anterior
mas em vez de salas temos mesas.
Pergunta: De quantas formas n + 1 pessoas (pessoa 1 a pessoa n + 1 ) podem se sentar em m + 1
mesas?
n + 1
Resposta 1: Por definio, formas.
m + 1
Resposta 2: Dividimos em casos, de acordo com o menor nmero k, tal que as pessoas 1, 2, ... , k j
garantam que todas as m + 1 mesas estejam ocupadas. Essa pessoa k pode ser no mnimo a pessoa
m + 1 , para conseguirmos povoar todas as m + 1 mesas e no mximo a pessoa n + 1 , quando a
pessoa n + 1 se senta sozinha uma mesa. Logo, k tal que m + 1 k n + 1 . Primeiramente,
sentamos as k 1 primeiras pessoas (pessoa 1 pessoa k 1 ) em m mesas e depois sentamos a
pessoa k sozinha em uma mesa. Dessa forma, ocupamos todas as m + 1 mesas. Isso pode ser feito de
k 1
m formas. Da mesma que no exerccio anterior, caso tentssemos colocar de uma s vez as k
primeiras pessoas para povoar todas as m + 1 mesas no garantiramos a minimidade de k.
Depois, cada uma das n k + 1 pessoas restantes (pessoa k + 1 pessoa n + 1 ), uma por vez,
escolhe direita de qual pessoa j sentada vai se sentar. Esse raciocnio j foi utilizado vrias vezes
em outras identidades e o nmero de escolhas cresce medida que mais pessoas se sentam. Pelo
n!
princpio multiplicativo, essas pessoas podem se sentar de formas. Compondo as duas
(k 1)!
k 1 n!
etapas, tambm pelo princpio multiplicativo, temos formas.
m (k 1)!
n+ 1
k 1 n!
Somando todas as variaes de k temos m (k 1)! que equivalente ao primeiro
k = m+ 1
membro da identidade.
n
n k n (n 1)!
EXERCCIO 8: Para 1 m n, =
k= m k m m (m 1)!
Conjunto A: Conjunto de m filas tais que a unio das pessoas de todas as filas o conjunto
C = {pessoa 1, pessoa 2, ... , pessoa n}. Por convenincia, organizamos as filas em ordem, em
ordem crescente do nmero da primeira pessoa de cada fila.
47
Para contarmos o nmero de elementos desse conjunto escolhemos as m pessoas que sero
n
as primeiras de suas filas dentre as n pessoas possveis. Isso pode ser feito de formas. Depois,
m
posicionamos as outras n m pessoas, uma de cada vez, para se posicionar direita de uma pessoa
que j est na fila. Para primeira pessoa h m opes, para a segunda m + 1 opes, e assim por
(n 1)!
diante, at a ltima pessoa que ter n 1 opes. Pelo princpio multiplicativo, temos
(m 1)!
formas de alocarmos n m pessoas.
n ( n 1)!
Compondo as duas etapas, conclumos que o conjunto A possui elementos.
m (m 1)!
Conjunto B: Conjunto do nmero de formas de colocarmos n pessoas sentadas em um nmero
arbitrrio de mesas circulares distribudas em m salas. Por definio, esse conjunto possui
n
n k
elementos.
k = m k m
A faixa de valores que percorre k se justifica, pois necessitamos ao menos de m mesas para
preencher as m salas e no h como se sentar n pessoas em mais de n mesas.
Correspondncia: A partir de um elemento do conjunto A encontraremos um elemento do conjunto
B por meio de um processo reversvel de forma nica.
Temos, ento, m filas ordenadas pelos nmeros das primeiras pessoas de cada fila em ordem
crescente. Todas as pessoas de cada fila ocupam uma mesma sala e pra cada fila temos a ocupao
de uma sala diferente. Para distinguirmos as mesas de cada sala, observamos a numerao das
pessoas de uma fila. Imaginemos a primeira fila. A primeira pessoa, digamos pessoa i, da fila senta-
se em uma mesa e todas em seqncia a ela se sentam no sentido horrio nessa mesma mesa at
aparecer na seqncia da fila uma pessoa j, tal que j < i. A pessoa j dar incio ento a uma nova
mesa formada da mesma forma que a primeira at o encontro da primeira pessoa p na seqncia da
fila, tal que p < j. A pessoa p inicia uma nova mesa e assim por diante at o trmino da fila. Esse
mesmo procedimento ser usado em todas as filas para a determinao das mesas em cada uma das
m salas. Obtemos, ento, um elemento do conjunto B.
Verificaremos a reversibilidade desse processo de maneira inequvoca ao elemento inicial do
conjunto A. Cada sala dar origem fila pela qual foi formada no procedimento do pargrafo
anterior. Basta para isso, estabelecemos um conveniente ordenamento de mesas dentro de cada sala.
Elas sero ordenadas em ordem decrescente dos nmeros das pessoas de maior nmero em cada
48
mesa. Assim, dentro de uma sala qualquer, pegamos a primeira mesa do ordenamento e colocamos
as pessoas dessa mesa em fila a partir da pessoa de maior nmero nessa mesa, que ser a primeira
pessoa da fila, girando no sentido horrio. Terminada essa mesa, passamos segunda mesa do
ordenamento e colocamos as pessoas na seqncia da fila pelo mesmo mtodo que dispomos as
pessoas da primeira mesa. Prosseguimos at o final de todas as mesas na sala. Esse mesmo
procedimento utilizado em cada sala para formarmos todas as m filas. Obtemos, assim, um
elemento do conjunto A.
Como tanto o processo de transformao de filas em salas quanto o que transforma salas em
filas, podem ser aplicados a quaisquer elementos dos conjuntos A e B, respectivamente, e so
processo injetivos, estabelecemos uma bijeo.
n m
n k n k n p + m
EXERCCIO 9: Para p, m, n 0, =
k= 0 k p m p + m p
Pergunta: De quantas formas n pessoas (pessoa 1 a pessoa n) podem ocupar p + m salas, das quais
p so pintadas de verde e m pintadas de amarelo?
Resposta 1: Em primeiro lugar, ocupamos as p + m salas com as n pessoas. Isso pode ser feito de
n
formas. Agora, escolhemos quais das p + m salas sero pintadas de verde (as no
p + m
p + m
escolhidas automaticamente sero pintadas de amarelo). O total de escolhas possveis .
p
n p + m
Pelo princpio multiplicativo, compomos as duas etapas com formas.
p + m p
Resposta 2: Dividimos em casos, de acordo com o nmero de pessoas, digamos k, que ocupam as
salas verdes. Esse nmero tal que 0 k n m , pois k = 0 quando no h salas verdes e todas as
pessoas esto em salas amarelas. E k no mximo n m , pois precisamos de pelo menos m pessoas
para ocuparem as salas amarelas.
Primeiramente, escolhemos quais das n pessoas so as k que ocuparo as salas verdes de
n k
formas. Depois, distribumos essas k pessoas nas p salas verdes de formas. Por ltimo,
k p
49
n k
basta distribuirmos as outras n k pessoas nas m salas amarelas formas. Compondo as trs
m
etapas, pelo princpio multiplicativo, e somando para todos os casos de k temos
n m
n k n k
k= 0 k p
, o primeiro membro da identidade.
m
n
n k n k n p + m
EXERCCIO 10: Para p, m, n 0,
k= 0 k p m
= p + m p
A demonstrao dessa identidade usa uma diviso em casos similar do exerccio anterior
mas em vez de salas temos mesas.
Pergunta: De quantas formas n pessoas (pessoa 1 pessoa n) podem se sentar em p + m mesas, das
quais p so pintadas de verde e m pintadas de amarelo?
Resposta 1: Em primeiro lugar, ocupamos as p + m mesas com as n pessoas. Isso pode ser feito de
n
p + m formas. Agora, escolhemos quais das p + m mesas sero pintadas de verde (as no
p + m
escolhidas automaticamente sero pintadas de amarelo). O total de escolhas possveis .
p
n p + m
Pelo princpio multiplicativo, compomos as duas etapas com formas.
p + m p
Resposta 2: Dividimos em casos, de acordo com o nmero de pessoas, digamos k, que se sentam
nas mesas verdes. Esse nmero tal que 0 k n m , pois k = 0 quando no h mesas verdes e
todas as pessoas esto em mesas amarelas. E k no mximo n m , pois precisamos de pelo menos
m pessoas para se sentarem nas mesas amarelas.
Primeiramente, escolhemos quais das n pessoas so as k que se sentaro nas mesas verdes de
n k
formas. Depois, sentamos essas k pessoas nas p mesas verdes de formas. Por ltimo,
k p
n k
basta sentarmos as outras n k pessoas nas m mesas amarelas formas. Compondo as trs
m
50
etapas, pelo princpio multiplicativo, e somando para todos os casos de k temos
n
n k n k
k= 0 k p
, o primeiro membro da identidade.
m
n
n + 1 k m n
EXERCCIO 11: Para m, n 0, ( 1) = ( 1)
k = m k + 1 m
k
m
Para provarmos a identidade, utilizaremos a correspondncia entre dois conjuntos.
Conjunto P: Conjunto de todas as distribuies de n + 1 pessoas (pessoa 0, pessoa 1, ... , pessoa n)
em k + 1 salas no vazias. As k salas que no contm a pessoa 0, com k par, so dispostas em m
mesas circulares, tal como sentamos pessoas, agora sentaremos salas em mesas. Utilizando os
conceitos de nmeros de Stirling de primeiro e segundo tipo e somando todos os casos, temos que o
n + 1 k
tamanho do conjunto P , | P | , . Vale observar que para k < m (no h salas
k par k + 1 m
suficientes para preenchermos as mesas) ou k > n (no h pessoas suficientes para ocuparem as
mesas), os termos do somatrio so nulos.
Conjunto I: Conjunto de todas as distribuies de n + 1 pessoas (pessoa 0, pessoa 1, ... , pessoa n)
em k + 1 salas no vazias. As k salas que no contm a pessoa 0, com k mpar, so dispostas em m
mesas circulares, tal como sentamos pessoas, agora sentaremos salas em mesas. Utilizando os
conceitos de nmeros de Stirling de primeiro e segundo tipo e somando todos os casos, temos que o
n + 1 k
tamanho do conjunto I , | I | , . Vale observar que para k < m (no h salas
k par k + 1 m
suficientes para preenchermos as mesas) ou k > n (no h pessoas suficientes para ocuparem as
mesas), os termos do somatrio so nulos.
Correspondncia: Vamos estabelecer uma quase correspondncia entre o conjunto P e I. Tomando
um elemento qualquer do conjunto P, escolhemos a pessoa de menor nmero que est em uma mesa
que possui ao menos duas pessoas. Digamos, que seja a pessoa x. S no existir essa pessoa x se
todas as m mesas possurem apenas uma sala com uma pessoa, mas esse caso ser visto mais
adiante.
Se a pessoa x ocupa sozinha uma sala, agregamos a sala dela sala, nessa mesma mesa,
imediatamente ao lado no sentido horrio. Caso a pessoa x no ocupe sozinha uma sala, a retiramos
da sala em que ela est para formar, na mesma mesa, uma outra sala em que ela est sozinha. Essa
sala ficar imediatamente ao lado da mesa cedente da pessoa x, no sentido anti-horrio. Em ambos
51
os casos, mudamos a paridade do nmero de salas mas mantivemos o nmero m de mesas. Assim,
obtivemos um elemento do conjunto I. Para revertermos o processo, basta usar o mesmo
procedimento no elemento obtido no conjunto I e voltaremos ao elemento inicial do conjunto P.
No caso em que todas as mesas possuem apenas uma sala com uma pessoa, no haver
correspondncia. Nesse caso, escolhemos quais das n pessoas (todas menos a pessoa 0), so as m
que se sentam nas mesas. Todas as outras ficam, obrigatoriamente, na sala da pessoa 0. Essa escolha
n n
pode ser feita de formas. Se m for par, o conjunto P possuir elementos a mais que I e se
m m
n
m for mpar, I possuir elementos a mais que P. Na identidade, o termo ( 1) m contempla os
m
dois casos.
n
n + 1 k m n!
EXERCCIO 12: Para 0 m n, k + 1 m ( 1) = ( 1) m !
k= m
k
A demonstrao dessa identidade usa uma diviso em casos similar do exerccio anterior
mas em vez de salas temos mesas.
Para provarmos a identidade, utilizaremos a correspondncia entre dois conjuntos.
Conjunto P: Conjunto de todas as distribuies de n + 1 pessoas (pessoa 0, pessoa 1, ... , pessoa n)
em k + 1 mesas no vazias. As k mesas que no contm a pessoa 0, com k par, so dispostas em m
salas. Utilizando os conceitos de nmeros de Stirling de primeiro e segundo tipo e somando todos
n + 1 k
os casos, temos que o tamanho do conjunto P , | P | , . Vale observar que para
k par k + 1 m
k < m (no h mesas suficientes para preenchermos as salas) ou k > n (no h pessoas suficientes
para ocuparem as salas), os termos do somatrio so nulos.
Conjunto I: Conjunto de todas as distribuies de n + 1 pessoas (pessoa 0, pessoa 1, ... , pessoa n)
em k + 1 mesas no vazias. As k mesas que no contm a pessoa 0, com k mpar, so dispostas em
m salas. Utilizando os conceitos de nmeros de Stirling de primeiro e segundo tipo e somando todos
n + 1 k
os casos, temos que o tamanho do conjunto I , | I | , . Vale observar que para
k mpar k + 1 m
k < m (no h mesas suficientes para preenchermos as salas) ou k > n (no h pessoas suficientes
para ocuparem as salas), os termos do somatrio so nulos.
52
Correspondncia: Vamos estabelecer uma quase correspondncia entre o conjunto P e I. Tomando
um elemento qualquer do conjunto P, escolhemos a pessoa de menor nmero que est em uma sala
que possui ao menos duas pessoas. Digamos, que seja a pessoa x. S no existir essa pessoa x se
todas as m salas possurem apenas uma mesa com uma pessoa, mas esse caso ser visto mais
adiante.
Seja a pessoa y a pessoa de menor nmero na sala depois da pessoa x. Se as pessoas x e y
estiverem em uma mesma mesa, podemos desmembr-la em duas outras mesas. A partir da pessoa
x percorremos no sentido horrio at a pessoa a imediatamente anterior pessoa y para formarmos a
primeira mesa, digamos mesa p. A outra mesa, digamos mesa q, ser composta a partir da pessoa y
percorrendo no sentido horrio at a pessoa b imediatamente anterior pessoa x na composio da
mesa antes da diviso. Dessa forma, obtivemos um elemento do conjunto I.
Para garantir a reversibilidade do processo, vejamos o caso em que as pessoas x e y esto
sentadas em mesas distintas, digamos mesa p e mesa q. Unimos as duas mesas colocando, na
mesa p, entre a pessoa x e a pessoa a, que est imediatamente ao lado da pessoa x no sentido anti-
horrio, todas as pessoas da mesa q, mantendo o ordenamento, e de forma que a pessoa y fique
imediatamente ao lado da pessoa a no sentido horrio.
No caso em que todas as salas possuem apenas uma mesa com uma pessoa, no haver
correspondncia. Nesse caso, escolhemos quais das n pessoas (todas menos a pessoa 0), so as m
que se sentam nas mesas e as outras n m se sentam, obrigatoriamente, na mesa da pessoa 0. Essas
n
duas etapas, a escolha seguido do ordenamento, podem ser feitos de (n m)! formas. Esse
m
n! n!
termo pode ser reescrito como . Assim, se m for par, o conjunto P possuir elementos a
m! m!
n!
mais que I, e se m for mpar, I possuir elementos a mais que P. Na identidade, o termo ( 1) m
m!
contempla os dois casos.
n
n k + 1 m n
EXERCCIO 13: Para 0 m n, ( 1) = ( 1)
k = m k m + 1
k
m
Para provarmos a identidade, utilizaremos a correspondncia entre dois conjuntos.
Conjunto P: Conjunto de todas as distribuies de k + 1 pessoas, sendo elas a pessoa 0 e mais k
pessoas escolhidas entre n possveis (pessoa 1 pessoa n), para k par, em m + 1 salas. Para
53
n
contarmos esse conjunto, basta escolhermos as k pessoas de formas e depois distribu-las
k
k + 1
juntamente a pessoa 0 nas m + 1 salas de formas. Usando o princpio multiplicativo e
m + 1
n k + 1
somando todas as variaes de k conclumos que o conjunto P possui elementos.
k par k m + 1
n
contarmos esse conjunto, basta escolhermos as k pessoas de formas e depois distribu-las
k
k + 1
juntamente a pessoa 0 nas m + 1 salas de formas. Usando o princpio multiplicativo e
m + 1
n k + 1
somando todas as variaes de k conclumos que o conjunto P possui elementos.
k mpar k m + 1
54
n n
0. Isso pode ser feito de formas. Se n for par, o conjunto P possuir elementos a mais
m m
n
que I e se n for mpar, I possuir elementos a mais que P. Na identidade, o termo ( 1) n
m
contempla os dois casos.
n
n + 1 k n
EXERCCIO 14: Para 0 m n,
k = m k + 1
( 1) k = ( 1) m
m m
Para provarmos a identidade, utilizaremos a correspondncia entre dois conjuntos.
Conjunto P: Conjunto de todas as distribuies de n + 1 pessoas (pessoa 0, pessoa 1, ... , pessoa n)
em k + 1 mesas. Das k mesas que no possuem a pessoa 0, com k par, m so escolhidas para terem
toalhas. Utilizando o conceito de nmero de Stirling de segundo tipo, dos princpios multiplicativo
n + 1 k
e aditivo conclumos que o conjunto P possui
k par k + 1
elementos. Vale observar que para
m
m > n, k < m ou k > n, os termos do somatrio so nulos.
Conjunto I: Conjunto de todas as distribuies de n + 1 pessoas (pessoa 0, pessoa 1, ... , pessoa n)
em k + 1 mesas. Das k mesas que no possuem a pessoa 0, com k mpar, m so escolhidas para
terem toalhas. Utilizando o conceito de nmero de Stirling de segundo tipo, dos princpios
n + 1 k
multiplicativo e aditivo conclumos que o conjunto P possui
k mpar k + 1
elementos. Vale
m
observar que para m > n, k < m ou k > n, os termos do somatrio so nulos.
Correspondncia: Vamos estabelecer uma quase correspondncia entre o conjunto P e I. Tomando
um elemento qualquer do conjunto P, escolhemos a pessoa de menor nmero escolhida dentre as
pessoas que se sentam na mesma mesa que a pessoa 0 e as que se sentam nas k m mesa sem
toalhas. Digamos, que seja a pessoa x. S no existir essa pessoa x se a pessoa 0 se senta sozinha
em uma mesa e quando o nmero de mesas ocupadas m + 1 no total, a mesa da pessoa 0 e todas as
outras m mesas com toalhas, mas esse caso ser visto mais adiante.
Se a pessoa x pertence mesa da pessoa 0, a retiramos e todas as pessoas a partir dela no
sentido horrio at a pessoa imediatamente anterior pessoa 0, para formarmos uma nova mesa sem
toalha. Caso a pessoa x pertena a alguma mesa sem toalha, desfaremos essa mesa. Posicionamos as
pessoas que nela se sentam, a partir da pessoa x e mantendo a ordem girando no sentido horrio, na
55
mesa em que se senta a pessoa 0. Elas ficaro entre a pessoa 0 e a pessoa y, imediatamente ao lado
da pessoa 0 no sentido anti-horrio, de modo que a pessoa x fique ao lado da pessoa y, girando no
sentido horrio desta para aquela. Em qualquer dos casos, mudamos a paridade do nmero de mesas
ocupadas pelas n + 1 pessoas e obtivemos um elemento do conjunto I. Para revertermos o processo
basta usar o mesmo procedimento no elemento obtido no conjunto I e voltaremos ao elemento
inicial do conjunto P.
No caso em que a pessoa 0 se senta sozinha em uma mesa e o nmero de mesas ocupadas
m + 1 no total, sendo todas as m que no possuem a pessoa 0 com toalha, no haver
correspondncia. Nesse caso, todas as m mesas so escolhidas para terem toalhas (apenas uma
escolha) e as n pessoas sentadas nas m mesas, j que a outra mesa se senta apenas a pessoa 0. Isso
n n
pode ser feito de formas. Se n for par, o conjunto P possuir elementos a mais que I e se
m m
n
n for mpar I, possuir elementos a mais que P. Na identidade, o termo ( 1) n contempla os
m
dois casos.
m
m n n
EXERCCIO 15: Para m, n 0, k ( 1) = ( 1) m !
k= 0 k
k m
m
Imaginemos, uma pequena cidade que est com as eleies abertas para prefeito. Nessa
cidade m pessoas (pessoa 1, pessoa 2, ... , pessoa m) esto interessadas em concorrer para o cargo
mas apenas algumas delas, digamos k, de fato concorrero. Suponhamos tambm que temos n
eleitores na cidade. Definamos, agora, os conjuntos P e I.
Conjunto P: Conjunto de todas as votaes possveis sendo escolhidos para concorrer de fato ao
cargo um nmero par de pessoas. Para contarmos o nmero de elementos desse conjunto,
primeiramente escolhemos quais so as k pessoas que disputaro o cargo entre as m pessoas
m
interessadas de formas. Depois, os n eleitores votam nos candidatos, cada um com k opes,
k
no total k n configuraes de votao. Pelo princpio multiplicativo e somando todas as variaes de
m
m n
k, conclumos que o conjunto P possui k elementos. Vale observar que se k > m, o
k par k
56
nmero de candidatos escolhidos maior do que o nmero de pessoas interessadas e o nmero de
escolhas zero.
Conjunto I: Conjunto de todas as votaes possveis sendo escolhidos para concorrer de fato ao
cargo um nmero mpar de pessoas. Para contarmos o nmero de elementos desse conjunto,
primeiramente escolhemos quais so as k pessoas que disputaro o cargo entre as m pessoas
m
interessadas de formas. Depois, os n eleitores votam nos candidatos, cada um com k opes,
k
no total k n configuraes de votao. Pelo princpio multiplicativo e somando todas as variaes de
m
m n
k, conclumos que o conjunto P possui k elementos. Vale observar que se k > m, o
k mpar k
n
nenhum grupo fique sem votos. Em primeiro lugar, distribumos os n votos distintos de
m
57
formas. Depois, temos que distribuir os grupos de votos a cada candidato. Como so m candidatos
para m grupos, h m! formas de se fazer tal distribuio. Pelo princpio multiplicativo, esse caso
n n
possui m ! elementos. Se m for par, o conjunto P possuir m ! elementos a mais que I e
m m
n
se m for mpar I, possuir m ! elementos a mais que P. Na identidade, o termo ( 1) m
m
contempla os dois casos.
REFERNCIAS BIBLIOGRFICAS
[1] BENJAMIN A.T, QUINN J.J. Proofs that really count The art of combinatorial proof; 2003.
[2] SANTOS,J.P.O, MELLO M.P., MURARI I.T.C. Introduo anlise combinatria 3 ed. -
58