Universidade Federal de Minas Gerais - UFMG

Instituto de Cincias Exatas - ICEx

Departamento de Matemtica

Monografia de Especializao
Demonstraes Combinatrias 2

Aluno: Jlio Csar de Sousa Marinho juliomarinho@gmail.com

Orientador: Michel Spira michel@mat.ufmg.br
 NDICE
OBJETIVO ................................................................................................................
OBJETIVO ................................................................................................................ 33

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

A principal finalidade desse trabalho servir como um guia para professores de

Matemtica que tenham interesse em aprender ou aprimorar conhecimentos em anlise
combinatria. O caminho percorrido para atingir esse objetivo a apresentao de diversas
demonstraes de identidades matemticas por mtodos combinatrios. De uma forma geral, no
decorrer do trabalho o grau de complexidade das identidades aumenta naturalmente.
Ao longo do trabalho, diversas tcnicas de contagem so utilizadas. Por meio dessas,
conseguimos as demonstraes combinatrias das identidades matemticas que seriam
extremamente trabalhosas ou mesmo inviveis se utilizssemos metodologia algbrica.
Primeiramente, para melhor conhecimento dessas tcnicas, h uma breve exposio dos
nmeros de Fibonacci e Lucas com suas interpretaes combinatrias e das identidades a eles
referentes. Escolhemos, nessa parte do trabalho, identidades que fossem significativas para a
aplicao dessas tcnicas de forma a fornecer uma melhor base para as identidades do captulo
posterior.
No decorrer do trabalho as identidades e interpretaes combinatrias dizem respeito aos
nmeros harmnicos e os nmeros de Stirling de primeiro e segundo tipo.
A principal referncia bibliogrfica para esse trabalho o livro Proof that really count
The Art of Combinatorial Proof , com estudo sistemtico dos captulos 2, 3 e 7. Desse livro so
retiradas as identidades e solucionados os exerccios do captulo 7. Foram feitas tentativas de
melhorias e comentrios em relao s solues apresentadas pelo livro.

3
 CAPTULO 1 IDENTIDADES DE FIBONACCI

1.1 - Os nmeros de Fibonacci

A seqncia dos nmeros de Fibonacci definida por meio de uma simples recorrncia.

Denotaremos Fn como o n-simo nmero de Fibonacci. A partir de dois termos iniciais (

F0 = 0 e F1 = 1 ) os termos subseqentes so obtidos pela soma dos dois termos imediatamente

anteriores.
Assim, como F0 =0 e F1 =1 , segue que F2 = F0 + F1 = 0+1=1 . Genericamente, a lei de

recorrncia para a seqncia de nmeros de Fibonacci escrita por Fn = Fn 1 + Fn 2 . Os primeiros

termos da seqncia de Fibonacci so:
0, 1, 1, 2, 3, 5 ...

1.2 - Interpretao combinatria para os nmeros de Fibonacci

Uma boa interpretao combinatria para os nmeros de Fibonacci associ-los ao
nmero de respostas para a seguinte pergunta:
De quantas formas diferentes podemos preencher um ladrilho retangular de tamanho nx1
com peas de comprimento unitrio 1x1 ou de tamanho duplo 2x1?
A fim de simplificarmos as denominaes, os ladrilhos retangulares, as peas unitrias e as
peas duplas sero chamadas apenas de ladrilhos, quadrados e domins, respectivamente. Os
tamanhos dos ladrilhos tambm sero denotamos apenas pelo seu comprimento (direo horizontal)
e a primeira pea do ladrilho ser considerada como a primeira pea esquerda.
Na figura abaixo, temos um ladrilho de comprimento n, um quadrado e um domin:

.........
0 1 2 3 ...... n1 n

- Quadrado

- Domin

Figura 1

Comearemos a responder pergunta construindo as possveis disposies para ladrilhos

at o tamanho 5.Quando o tamanho do ladrilho 1,s h uma forma de fazer tal preenchimento. Ao
preencher ladrilhos, deixamos implcito que s podem ser utilizadas as peas quadrado e domin.

4
 Para um ladrilho de tamanho 2, h 2 formas.

Para um ladrilho de tamanho 3, h 3 formas.

Para um ladrilho de tamanho 4, h 5 formas.

Para um ladrilho de tamanho 5, h 8 formas.

Chamemos de f n o nmero de solues desse problema para um ladrilho de comprimento

n. Observamos acima que f1 = 1, f 2 = 2, f 3 = 3, f 4 = 5 e f 5 = 8 , os mesmos valores de

F2 , F3 , F4 , F5 e F6 . Se considerarmos, por convenincia, como sendo apenas uma forma de se

preencher um ladrilho de comprimento zero (no colocando nada), ou seja, f 0 = 1 , as duas

seqncias, f n e Fn , ficam ainda mais parecidas, pois F1 = 1 .

Mostraremos que a seqncia f n obedece mesma lei de recorrncia da seqncia dos

nmeros de Fibonacci ( Fn ). De fato, se quisermos preencher um ladrilho de tamanho n , podemos

dividir o problema em dois casos procedendo da seguinte forma:

5
 A primeira pea do ladrilho um quadrado: Nesse caso, restam n 1 espaos para serem

preenchidos e por definio existem f n 1 formas de preench-los;

A primeira pea do ladrilho um domin: Nesse caso, restam n 2 espaos para serem

preenchidos e por definio existem f n 2 formas de preench-los.

Como no existem outras formas seno comear por quadrado ou domin e no h

interseo entre esses casos, conclui-se que, para n 2 , f n = f n 1 + f n 2 .

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.

IDENTIDADE 1: Para n 0 , f 0 + f1 + f 2 + ... + f n 1 + f n = f n + 2 1

Pergunta: De quantas formas distintas podemos preencher um ladrilho de tamanho n + 2 utilizando
ao menos um domin?
Resposta 1: Por definio, f n + 2 1 formas. Pois f n + 2 conta todos os casos de preenchimento
possveis de um ladrilho de tamanho n + 2 . Exclumos, no entanto, um caso, quando o
preenchimento feito apenas com quadrados, pois no teramos nenhum domin.
Resposta 2: Dividimos o problema em casos de acordo com a localizao do primeiro domin (ele
sempre existe, por hiptese). Se ele est preenchendo as clulas k e k + 1 do ladrilho restam

n k + 1 espaos (conta: n + 2 (k + 1) ) a serem preenchidos direita dessa pea de f n k + 1 formas

distintas. Para somarmos todos os casos, fazemos k variar de 1 (quando o primeiro domin preenche
as clulas 1 e 2) at n+1 (quando o primeiro domin preenche as clulas n+1 e n+2). Assim o

termo f n k + 1 assume todas as parcelas da soma do primeiro membro.

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

Diremos que uma determinada clula quebrvel se pudermos dividir o ladrilho na

extremidade direita dessa clula em dois outros ladrilhos menores. A ltima clula sempre ser
quebrvel pois divide o ladrilho em um caso trivial: nele mesmo e em um ladrilho de
comprimento zero.
O ladrilho da figura 2 quebrvel nas clulas 1, 3, 5, 6, 7, 9 e 10 e no quebrvel nas
clulas 2, 4 e 8. O leitor mais atento deve observar que o termo quebrvel apenas uma forma
compacta de dizer que aquela clula no o incio de um domin.

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

menores de tamanhos m e n. Para um h f m formas de preench-lo e para o outro f n . Pelo

princpio multiplicativo, h f m f n de preencher todo o ladrilho.

O ladrilho no quebrvel na clula m: Isso indica que h um domin cobrindo as clulas
m e m + 1. esquerda desse domin h um ladrilho de tamanho m 1 e direita um

ladrilho de tamanho n 1 . Tambm pelo princpio multiplicativo, h f m 1 f n 1 de

preencher todo o ladrilho.

A figura abaixo esclarece os casos.

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:

1 2 m1 m m+1 m+2 m+n

f m 1 formas de se preencher f n 1 formas de se preencher
Figura 3
Somando as contagens dos dois casos temos o membro direito da identidade.

A prxima identidade envolve nmeros binomiais.

n n
n i n j
IDENTIDADE 3: Para n 0 ,
i 0

j 0

j i
= f 2n + 1

Pergunta: De quantas formas distintas podemos preencher um ladrilho de tamanho 2n + 1 ?

Resposta 1: Por definio, f 2 n + 1 formas.
Antes de apresentarmos a segunda resposta til lembrarmos que o nmero de clulas
desse ladrilho mpar. Alm disso, como cada domin ocupa duas clulas o total de clulas
preenchidas por todos os domins um nmero par. Dessas duas observaes resulta o fato que h
um nmero mpar de quadrados.
Chamaremos de quadrado mediano aquele que possui o mesmo nmero de quadrados
antecedendo-o e sucedendo-o em um ladrilho. Agora, temos os requisitos para a segunda resposta.
Resposta 2: Dividiremos a soluo em casos de acordo com o nmero de domins de cada lado do
quadrado mediano. Consideraremos como i e j o nmero de domins esquerda e direita do
quadrado mediano, respectivamente.
Como h i + j domins, j foram preenchidas 2(i + j ) clulas restando 2(n (i + j )) + 1
clulas (toda as clulas menos aquelas preenchidas por domins) para serem preenchidas por
quadrados. Tirando uma unidade (quadrado mediano), restam n (i + j ) quadrados de cada lado do
quadrado mediano.
Somando o nmero total de peas esquerda do quadrado mediano (domins mais
quadrados) temos : i + [n (i + j )] = n j . Analogamente, h n i peas direita do quadrado
mediano.
Para organizar o ladrilho esquerda do quadrado mediano basta escolher dentre as n j

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

Os ladrilhos possuem o mesmo nmero de clulas e esto defasados de uma clula. Em

outras palavras, o ladrilho inferior est deslocado uma clula para a direita em relao ao superior.
Enumeramos o primeiro ladrilho normalmente, qual seja, de 1 a 10 e o segundo enumerado a
partir de 2 at 11.
Diremos que o par de ladrilhos duplamente quebrvel em uma determinada clula k (na
referncia [1], o autor utiliza o termo fault) quando essa clula for quebrvel em ambos os ladrilhos.
Isso justifica a numerao ser alinhada verticalmente para os ladrilhos superior e inferior. Ento, na
figura acima as clulas 1, 4, 8 e 9 so duplamente quebrveis (observe os traos verticais). Para
melhor entendimento, algumas observaes so importantes de serem ressaltadas:
a) Para um par de ladrilhos ser duplamente quebrvel na clula 1 basta que o ladrilho superior no
se inicie com um domin;

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.

Chamaremos de cauda o restante de um ladrilho direita da ltima clula duplamente

quebrvel, se houver. Chamaremos de uma operao de troca de caudas a mudana entre as caudas
dos ladrilhos superior e inferior. Lembramos que essa troca s poder ser feita se houver ao menos
uma clula duplamente quebrvel no par de ladrilhos. Se possvel o procedimento, essa operao
torna o ladrilho superior uma clula maior e o ladrilho inferior uma clula menor mas as clulas
duplamente quebrveis permanecero as mesmas. Isso torna o processo sempre reversvel, bastando
fazer a operao inversa, qual seja, destrocar as caudas.
Nossos ladrilhos originais (figura 4) ficariam assim:

1 2 3 4 5 6 7 8 9 10 11

2 3 4 5 6 7 8 9 10

Figura 5

Temos, agora, condies de demonstrarmos a prxima identidade:

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 .

Analogamente, se n for par, o conjunto A possuir um elemento a mais que o conjunto B.

Isso porque as paridades mudam e o conjunto A ter um par de ladrilhos preenchidos inteiramente

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.

CAPTULO 2 IDENTIDADES DE LUCAS

2.1 - Os nmeros de Lucas

Da mesma forma que a seqncia dos nmeros de Fibonacci, os nmeros de Lucas so

obtidos a partir do segundo termo como a soma dos dois termos anteriores. Denotaremos Ln como

o n-simo nmero de Lucas. Os primeiros termos so 2 e 1 ( L0 e L1 ) e para n 2 , Ln = Ln 1 + Ln 2 .

Os primeiros termos da seqncia dos nmeros de Lucas so:
2, 1, 3, 4, 7 ...

2.2 Interpretao combinatria para os nmeros de Lucas

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.

Bracelete fora de fase

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

Chamemos de l n o nmero de solues desse problema para um bracelete de

comprimento n. Observamos acima que l1 = 1, l 2 = 3, l 3 = 4 e l 4 = 7 , os mesmos valores de

L1 , L2 , L3 e L6 . Se considerarmos, por convenincia, l 0 = 2 (em fase e fora de fase um bracelete de

tamanho zero), as duas seqncias, l n e Ln , possuem os primeiros termos coincidente.

Antes de mostrarmos que a lei de recorrncia para ( l n ) a mesma de ( Ln ), precisamos do

conceito de primeira pea do bracelete.
A primeira pea do bracelete aquela que cobre a clula 1, independentemente de ser um
quadrado, um domin cobrindo as clulas 1 e 2 ou cobrindo as clulas 1 e n. A ltima pea ser
aquela imediatamente ao lado da primeira pea no sentido anti-horrio.
Para preenchermos um bracelete de tamanho n, podemos dividir o problema em dois casos,
a saber:
A ltima pea um quadrado: Nesse caso, restam n 1 espaos a serem preenchidos.

Por definio, de l n 1 formas.

A ltima pea um domin: Nesse caso, restam n 2 espaos a serem preenchidos. Por

definio, de l n 2 formas.
Como no existem outras formas seno a primeira pea ser quadrado ou domin e no h

interseo entre esses casos, conclui-se que, para n 2 , l n = l n 1 + l n 2 .

Ora, ( l n ) e ( Ln ) possuem mesmos dois termos iniciais e a mesma lei de recorrncia que

depende apenas de dois termos anteriores. Logo, l n = Ln .

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

Pergunta: De quantas formas diferentes podemos preencher um bracelete de tamanho n?

Resposta 1: Por definio, h l n formas.
Resposta 2: Dividiremos o problema em dois casos: braceletes em fase e braceletes fora de fase. Se
o bracelete estiver em fase basta abri-lo entre as clulas 1 e n dando origem a um ladrilho de
tamanho n. O processo reversvel de forma nica, bastando reunir os extremos do ladrilho para
retornarmos ao bracelete inicial. Temos, portanto, uma correspondncia 1-1 entre braceletes de
tamanho n em fase com ladrilhos de tamanho n. Logo, o nmero de formas de se preencher um

bracelete em fase de tamanho n f n .

Para o outro caso, com braceletes fora de fase, retiramos o domin que cobre as clulas n e
1 e o abrimos para formar um ladrilho de tamanho n 2 . Para revertermos esse processo, o ladrilho
de tamanho n 2 preencher, no sentido horrio e mantendo o ordenamento, das posies 2 a n 1
do bracelete de tamanho n. As clulas n e 1 so completadas por um domin. Temos, portanto, uma
correspondncia 1-1 entre braceletes de tamanho n fora de fase com ladrilhos de tamanho n + 2 .

Logo, o nmero de formas de se preencher um bracelete fora de fase de tamanho n f n + 2 .

A figura 8 ilustra a diviso em casos.

EM FASE FORA DE FASE

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.

Conjunto B: Conjunto de pares ( Bn , L n 1 ). So braceletes de tamanho n e ladrilhos de comprimento

n 1 . Por definio, h l n f n 1 elementos.

Correspondncia: Dado um ladrilho de comprimento 2n 1 , elemento do conjunto A, verificamos
se ele ou no quebrvel na clula n.
Ladrilho quebrvel na clula n : Nesse caso, dividiremos o ladrilho em duas partes. A
primeira, da clula 1 a n e a segunda da clula n + 1 a 2n 1 . Da primeira parte,
formaremos um bracelete em fase de tamanho n e da segunda parte um ladrilho de
comprimento n 1 (conta: (2n 1) (n 1) + 1 ). Aps obtermos o elemento do conjunto
B basta verificarmos se o processo reversvel, ou seja, obtemos um ladrilho do
conjunto A quebrvel na clula n. De fato, a partir de um bracelete em fase de
comprimento n e um ladrilho de comprimento n 1 , abrimos o bracelete entre as clulas
1 e n formando um ladrilho de comprimento n. Basta, unirmos esse ladrilho de tamanho
n formado a partir do bracelete esquerda com e o de tamanho n 1 direita para
formarmos um ladrilho de comprimento 2n 1 quebrvel na clula n.
Ladrilho no quebrvel na clula n : Nesse caso, tambm dividiremos o ladrilho em duas
partes. Como o ladrilho no quebrvel na clula n, um domin preenche as clulas
n e n + 1 . A primeira parte vai da clula 1 a n 1 e a segunda da clula n a 2n 1 . Da
primeira parte, formaremos um ladrilho de comprimento n 1 e da segunda parte um
bracelete fora de fase de comprimento n (conta: (2n 1) n + 1 ). Esse bracelete est fora
de fase pois o domin que cobria as clulas n e n + 1 no ladrilho inicial cobrir a
primeira e a ltima clula do bracelete. Tal qual fizemos para o caso anterior, aps
obtermos o elemento do conjunto B basta verificarmos se o processo reversvel, ou
seja, obtemos um ladrilho do conjunto A no-quebrvel na clula n. O ladrilho de
comprimento n 1 inicia o novo ladrilho esquerda. Depois, segue o domin que cobre

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.

CLULA QUEBRAVEL EM n CLULA NO QUEBRVEL EM n

....... ...... ..... .......

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

Conjunto A: Conjunto de pares de braceletes concntricos de tamanho n e com as clulas alinhadas.

Ou seja, as clulas de mesma numerao nos dois braceletes, interno e externo, ficam nas mesmas
posies em relao aos respectivos braceletes (ver figura 10).
2
Por definio, esse conjunto possui l n elementos

Conjunto B: Conjunto de braceletes de tamanho 2n . Eles sero denominados de novos braceletes.

Correspondncia: Dividimos o problema em dois casos: n par e n mpar. Como as demonstraes
so anlogas, apenas apresentaremos o caso em que n mpar.
A partir de um elemento do conjunto A , construiremos um elemento do conjunto B e
verificaremos a reversibilidade do processo.

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

que o conjunto A. Logo, para n mpar, temos l n = l 2 n 2 .

2

A figura 10, na prxima pgina, ilustra o procedimento descrito acima.

19
Figura 10

20
 De forma anloga, para n par, temos l n = l 2 n + 2 .
2

Na identidade o termo ( 1) n contempla os dois casos.

CAPTULO 3 IDENTIDADES COM NMEROS DE STIRLING E

NMEROS HARMNICOS

3.1 - Os nmeros de Stirling de primeiro tipo

Antes de explicarmos quais so os nmeros de Stirling de primeiro tipo, precisamos de um
conceito preliminar : ciclos em uma permutao.
O nmero de ciclos de uma permutao o nmero de grupos cclicos nos quais seus
elementos trocam de posio apenas entre si.
Consideremos os nmeros 1, 2, 3, 4 e 5 e a ordenao natural 12345. Faamos algumas das
permutaes possveis comparativas com a ordenao natural. Para efeitos de padronizao,
escreveremos os ciclos dentro de parnteses iniciados, esquerda, sempre pelo menor elemento,
caso estejamos tratando com nmeros, e os ciclos ordenados em ordem crescente dos seus menores
elementos.

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 0, se n > 0 (no h nenhum caso, pois ao menos uma mesa ocupada)

0 = 1, se n = 0 (por convenicnia. Pode-se interpretar com sendo a nica forma no sentar ningum)

n n n
Outros dois casos simples so = e 1 = (n 1)!
n 1 2
No primeiro caso, a nica maneira para sentarmos n pessoas distintas em n 1 mesas
circulares idnticas distribuirmos em n 2 mesas com apenas uma pessoa cada e uma mesa com
duas pessoas. Ento basta escolher dentre as n pessoas as duas que sentam juntas mesma mesa.

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.

3.2 Identidades com nmeros de Stirling de primeiro tipo

Trabalharemos com as mesmas tcnicas dos captulos 1 e 2 para provarmos as identidades
desse captulo. A menos que esteja explcito no texto, consideraremos mesas como mesas circulares
e preenchimento de mesas queles que no permitem que nenhuma mesa fique vazia.
n
n
IDENTIDADE 8: Para n 1, = n!
k = 1 k

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

A prxima identidade similar relao de Stiffel para nmeros binomiais pois

relacionar os nmeros de Stirling de primeiro tipo de uma ordem n com os de ordem anterior n 1 .

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

Exemplo da identidade Utilizando

9: o princpio aditivo, somamos os dois casos complementares. Analogamente ao
6 5 5
3 = tringulo
+ 5 de Pascal para os nmeros binomiais, temos um tringulo equivalente para os nmeros de
6 2 5 3 5
274 = =Stirling
24 + 5 + 50
5(ver
. figura 11) de primeiro tipo. Nele, podemos observar a relao demonstrada na
2 1 2
274 = 24 + 5. 509. As linhas representam os valores de n e as diagonais os valores de k.
identidade

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

Conjunto A: Conjunto com todas as disposies de sentarmos n pessoas distintas ( n 2 ) em um

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

mesmo intrigante, pensar porque os coeficientes desse polinmio so os nmeros de

Stirling de primeiro tipo. E como em todas as outras identidades, devemos buscar a qual situao
contar. Bom, analisemos o coeficiente de x k . Para o obtermos, nas combinaes da regra
distributiva, dentre os fatores do polinmio (o primeiro termo x e os demais parnteses), sero
multiplicados obrigatoriamente o primeiro x e outras k 1 vezes os xs escolhidos dos outros
parnteses. Assim, restam sempre n 1 (k 1) parnteses que no fornecem os seus xs para o

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.

3.3 - Os nmeros de Stirling de segundo tipo

Os nmeros de Stirling de segundo tipo guardam semelhana com os de primeiro tipo.
Entretanto, em vez de ciclos de uma permutao temos parties (subconjuntos) de um conjunto.
Antes da definio formal e da interpretao combinatria, apresentamos um exemplo.
Seja o conjunto A = {1,2,3,4,5}. De quantas formas distintas podemos reparti-lo em 3
subconjuntos? Listemos as respostas.

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}

So 25 disposies possveis. Para efeitos de padronizao, listaremos sempre os

elementos das parties em ordem crescente e as parties em ordem crescente de menor elemento.
n
Vamos definio de , um nmero de Stirling de segundo tipo.
k
n
Definio: Para inteiros n k 0, conta o nmero de formas diferentes de se repartir os n
k
elementos de um conjunto A (de elementos distintos) em k subconjuntos disjuntos.

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.

3.4 Identidades com nmeros de Stirling de primeiro e segundo tipo

Nesta seo apresentaremos trs identidades. As duas primeiras envolvem nmeros de
Stirling apenas de segundo tipo enquanto a ltima envolve os dois tipos. A menos que esteja
explcito no texto, consideraremos como ocupao de salas quelas que no permitem que alguma
sala fique vazia.
A prxima identidade tambm similar relao de Stiffel para nmeros binomiais e com
a identidade 9, relacionando os nmeros de Stirling de segundo tipo de uma ordem com os de
ordem anterior.
n n 1 n 1
IDENTIDADE 12: Para n k 1, = + k
k k 1 k

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

observar a relao demonstrada na identidade 12. As linhas representam os valores de n e as

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.

A prxima identidade envolve os dois tipos de nmero de Stirling.

n
n k
IDENTIDADE 14: Para m, n 0
k= 0 k
( 1) k = ( 1) n m ,n , onde m ,n = 1 , se m = n e
m

m,n = 0 , se m n .

Para provarmos a identidade, utilizaremos a correspondncia entre dois conjuntos.

Conjunto P : Conjunto de todas as distribuies de n pessoas sentadas em um nmero par de mesas
circulares idnticas no-vazias dispostas em m salas idnticas no-vazias. Utilizando os conceitos
de nmeros de Stirling de primeiro e segundo tipo e somando todos os casos, temos que o tamanho

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

Antes de fazermos a correspondncia importante alertarmos que o termo ( 1) k no

somatrio indica uma soma alternada de termos. Podemos interpretar essa soma como uma
comparao entre os tamanhos dos conjuntos com k par ou mpar. Se a soma for zero indica que os
conjuntos possuem o mesmo tamanho, caso contrrio os conjuntos possuem uma diferena na
quantidade de elementos.
Correspondncia: Vamos estabelecer uma correspondncia um a um entre o conjunto P e I, salvo
nos casos em que m = n.. Nesses casos teremos uma quase correspondncia. Dividimos em duas
partes, analisando primeiramente o caso em que m = n.
Se m = n , o nmero de pessoas o mesmo do nmero de salas. Assim, s h uma forma
de resolver o problema: distribuir uma pessoa por mesa e uma mesa por sala. relevante observar
que o nmero de mesas, portanto, tambm ser igual ao nmero de pessoas e salas. Se n for par o
conjunto P ter um elemento (o caso descrito na linha anterior) enquanto I ser vazio, pois o ndice
k correspondente ao nmero de mesas s percorre nmeros mpares. Por outro lado, se n for mpar,
acontece o contrrio: I ter um elemento e P ser vazio. Isso encerra esse caso e explica o porqu do
segundo membro da identidade resultar em 1 ou 1 de acordo com o sinal de n (ou m).
Agora, suponhamos que n m. Se n < m, tanto o conjunto P quanto I sero vazios pois no
h como preencher todas as salas se no h pessoas em nmero suficiente (observe que mesmo
nesse caso a identidade continua vlida de acordo com as definies de nmeros de Stirling).
No caso em que n > m temos uma correspondncia mais interessante. Observe que em
todos os elementos, seja do conjunto P ou I, haver ao menos uma sala com pelo menos duas
pessoas (princpio da casa do pombo [2]). Sejam as pessoas numeradas tais como habitualmente
usamos: pessoa 1, pessoa 2, ... , pessoa n. Considere tambm, c como o menor nmero de uma
pessoa que no esteja sozinha em uma sala e d como o menor nmero maior do que c de uma
pessoa que esteja na mesma sala da pessoa c. Basta, fazer o mesmo procedimento reversvel de
mudana de paridade similar ao que foi feito na identidade 10.
Separaremos em dois subcasos, de acordo com as pessoas c e d. A condio ser se elas
esto sentadas na mesma mesa ou no.
Se as pessoas c e d estiverem em uma mesma mesa, podemos desmembr-la em duas
outras mesas. A partir da pessoa c percorremos no sentido horrio at a pessoa x imediatamente
anterior a pessoa d para formarmos a primeira mesa, digamos mesa a. A outra mesa, digamos mesa

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 .

Lembramos que a seqncia harmnica diverge, embora o seu crescimento ocorra

lentamente.
Um interessante resultado algbrico que para n > 1, H n nunca inteiro. Isso ,
aparentemente, um contraponto s interpretaes combinatrias, que tratam de problemas de
contagem. No entanto, h diversas identidades envolvendo nmeros harmnicos e coeficientes

binomiais, esses ltimos amplamente usados em contedo combinatrio. Representar o termo H n ,

explicitamente, como a soma parcial da seqncia harmnica, nos fornece uma viso mais clara a
respeito de um possvel aspecto combinatrio.

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!

numerador da definio de H n e que faltava-nos interpretar combinatorialmente.

Fazendo uma pequena mudana algbrica, demonstraremos o Teorema combinatrio 1
como uma identidade equivalente.
IDENTIDADE 15: Para n 0, n = n ! H n
Pergunta: De quantas formas diferentes podemos sentar n + 1 pessoas em duas mesas circulares, de
forma que nenhuma delas fique vazia?
Resposta 1: Por definio, n+ 1 formas.
Apresentaremos duas opes para uma segunda resposta pergunta que visa solucionar a

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 .

Mesa b: Possui um total de k pessoas, que so as pessoas em seqncia pessoa an k ,

ainda girando no sentido horrio at a pessoa imediatamente anterior pessoa 0, na mesa
em que esto todas as pessoas inicialmente. Denotaremos essas pessoas com os ndices
an k + 1 , an k + 2 , an k + 3 ,..., an .

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)!

formas de sentarmos as pessoas 1 a r 1 tambm na mesa a. As outras pessoas r + 1, r + 2, ... , n

podero se sentar tanto na mesa a quanto na mesa b. Como j h r + 1 pessoas sentadas, r na mesa
a, da pessoa 0 a pessoa r 1 , e uma pessoa na mesa b, a pessoa r , as outras pessoas podem escolher
ao lado direito de qual das pessoas j sentadas quer ficar. Para a primeira pessoa, digamos a pessoa
r + 1 , h r + 1 opes, que so direita das pessoas 0, 1, 2, ... , r. O nmero de escolhas vai
aumentando para as prximas pessoas a se sentarem pois o nmero de pessoas sentadas aumenta.
Ento, para a pessoa r + 2 , alm de r + 1 opes, assim como a tinha a pessoa r + 1 , h tambm a
possibilidade de sentar ao lado direito da pessoa r + 1 . Totalizam, portanto, r + 2 opes.
Prosseguindo dessa forma, chegamos pessoa n com n opes para escolher uma posio para se
sentar e pelo princpio multiplicativo, temos (r + 1) (r + 2) ... n formas de sentarmos as pessoas

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

combinatria pura para os nmeros harmnicos ( H n ) e sim para n ! H n . Lembramos que os

nmeros harmnicos H n sequer so inteiros para n 2. O objetivo dessas manipulaes

justamente trazer-nos para o contexto combinatrio.
Tambm, por nosso objetivo ser o aspecto combinatrio das identidades e seus elementos,
no iremos expor as passagens algbricas para obteno de identidades equivalentes. To somente
indicaremos as substituies a serem feitas e o leitor mais curioso poder comprovar a autenticidade
das equivalncias.
Vamos primeira das identidades.

n 1
IDENTIDADE 16.1: Para n 1, k= 1
H k = n H n n

Fazendo a translao de n (n:= n 1 ) e aplicando o Teorema combinatrio1 na

substituio de H n , chegamos identidade equivalente que vamos demonstrar.

n 2
( n 2)!
IDENTIDADE 16.2: Para n 2, n = ( n 1)!+
k= 1 k!
k+ 1

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

pessoas do grupo anterior. So, ento, as pessoas b j + 1 , b j + 2 , ... , bk .

Antes de prosseguirmos com a demonstrao apresentamos a figura 14 que esclarece
essa disposio em grupos.

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

pessoa an 2 k (ver figura 14).

Ento, basta-nos dividir as k pessoas restantes mais a pessoa 2 em dois grupos

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

combinatrio1 na substituio de H n , chegamos identidade equivalente que vamos demonstrar.

(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 )!
.

Basta, agora, somar os dois casos complementares.

3.7 Exerccios
Nessa seo apresentamos a resoluo dos exerccios do captulo 7 da referncia [1], no
total de 15. As identidades envolvem nmeros de Stirling de primeiro e segundo tipo e nmeros
harmnicos e utilizam as tcnicas de contagem apresentadas.
n
n k n + 1
EXERCCIO 1: Para m, n 0, = m + 1
k= m k m
Conjunto A: Conjunto do nmero de formas de n pessoas se sentarem em um nmero arbitrrio de
mesas no vazias, digamos k mesas, sendo m delas distinguveis das outras k m , digamos com
uma toalha. Esse nmero de mesas tal que m k n , para no caso mnimo podermos ao menos
distinguirmos as m mesas com toalha e no caso mximo garantirmos que no haver mesas vazias.

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

Conjunto B: Conjunto do numero de formas de n + 1 pessoas (pessoa 0, ... , pessoa n) se sentarem

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

o valor de m ( 0 m n ) para obtermos a demonstrao.

n
n k n + 1 n k n k
k= 0 k= 0
n n n k n k

k m = m= 0 m= 0 = ( n + 1)! m= 0 = (n + 1)!
m + 1
m= 0
k= m k m k m
n
n n
n
2k = ( n + 1)! 2k = ( n + 1)!
k= 0 k k= 1 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

Pergunta: De quantas formas m + n + 1 pessoas (pessoa 0 a pessoa m + n ) podem ocupar m salas?

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 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

primeiro membro da identidade.

n
k n! n + 1
EXERCCIO 7: Para m, n 0, = m + 1
k = m m k !

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

Vale observar que para k < m ou k > n, os termos do somatrio so nulos.

Conjunto I: 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

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

Vale observar que para 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 esto na mesma sala que a pessoa 0 e as n k pessoas que no foram escolhidas para
ocuparem as salas. Digamos, que seja a pessoa x. S no existir essa pessoa x se a pessoa 0 ocupa
sozinha uma sala e se todas as n pessoas foram escolhidas para ocupar as salas, mas esse caso ser
visto mais adiante.
Se a pessoa x pertence sala da pessoa 0, a retiramos de l e a colocamos junto s pessoas
no escolhidas. Caso a pessoa x pertena ao grupo das pessoas no escolhidas fazemos o contrrio,
a colocamos na sala da pessoa 0. Em qualquer dos casos, mudamos a paridade do nmero de
pessoas que ocupam as m + 1 salas 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 ocupa sozinha uma sala e se todas as n pessoas foram
escolhidas para ocupar as salas, no haver correspondncia. Nesse caso, todas as pessoas so
escolhidas (apenas uma escolha) e ocupam m salas, j que a outra sala ocupada apenas pela pessoa

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

nmero de candidatos escolhidos maior do que o nmero de pessoas interessadas e o nmero de

escolhas zero.
Correspondncia: Vamos estabelecer uma quase correspondncia entre o conjunto P e I. Tomando
um elemento qualquer do conjunto P, escolhemos a pessoa de maior nmero escolhida dentre as m
pessoas que inicialmente se interessaram pelo cargo de prefeito que no recebeu nenhum voto.
Digamos, que seja a pessoa x. Essa pessoa pode tanto pertencer ao grupo das pessoas que de fato se
candidatou ao cargo ou ao grupo daquelas pessoas preteridas na escolha. S no existir essa pessoa
x quando todas as m pessoas interessadas forem de fato candidatas e todas elas receberem ao menos
um voto, mas esse caso ser visto mais adiante.
Se a pessoa x pertence ao grupo de pessoas que foram candidatas, a retiramos desse grupo
e a colocamos junto ao grupo das pessoas inicialmente interessadas mas preteridas na escolha. Caso
a pessoa x pertena ao grupo das pessoas preteridas, a retiramos desse grupo e colocamos no grupo
das pessoas candidatas como um candidato sem votos. Em ambos os casos, mudamos a paridade do
nmero de pessoas candidatas, mas no mudamos a votao por alterarmos de grupo apenas pessoas
sem votos. Dessa forma, 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 todas as m pessoas so escolhidas para serem candidatas ao cargo de
prefeito e todas elas recebem ao menos um voto no haver correspondncia. Nesse caso, os n votos
dos eleitores devem se distribuir em m grupos, cada grupo para um candidato e de forma que

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. -

Campinas, SP: Editora UNICAMPO, 2002.

58