Guilherme G.

Piccoli

Um estudo de parties de inteiros e o problema de

Simon Newcomb

Ribeiro Preto
2011

Guilherme G. Piccoli

Um estudo de parties de inteiros e o problema de

Simon Newcomb

Proposta de monografia de concluso do

curso de Bacharelado em Matemtica Aplicada
a Negcios da Faculdade de Filosofia Cincias
e Letras de Ribeiro Preto.

Orientador:

prof. Rafael A. Rosales Mitrowsky

Universidade de So Paulo

Ribeiro Preto
2011

Resumo

O estudo das formas de se escrever um inteiro positivo como soma de inteiros positivos
constitui a essncia da teoria das parties; a funo de partio p(n), no-decrescente,
conta o nmero de parties do inteiro n. Muitas so as propriedades dessa funo, e seu
estudo sistemtico data de meados do sculo XVIII, sendo Euler considerado o pai dessa
teoria. De importncia fundamental na matemtica, a teoria das parties une elementos da
teoria dos nmeros analtica com combinatria enumerativa, e seus fundamentos se baseiam
em ideias simples, porm bastante originais. A teoria encontra aplicaes variadas, tanto
na matemtica (teoria dos grupos e estatstica no- paramtrica, por exemplo), quanto em
outras reas da cincia, como fsica (em mecnica estatstica). Nesse trabalho apresentamos
as propriedades bsicas da funo de partio, bem como tratamos de uma aplicao combinatria da teoria, o chamado problema de Simon Newcomb; almeja-se que este trabalho seja
um estudo de base para um posterior aprofundamento em tpicos mais avanados da teoria.
Palavras-Chave: Parties, Simon Newcomb, Composies, Diagramas de Ferrers, Funes
geradoras.

Abstract

The different ways in which a positive integer may be written as the sum of positive integers
lies at the heart of the theory of partitions. The partition function p(n), which is nondecreasing, counts the number of partitions of the integer n. This function has several interesting
properties, and its study pioneered by Euler dates back towards the mid of the 18th century.
Being important in mathematics, the theory of partitions merges ideas of analytic number
theory with enumerative combinatorics, and its foundations are based on simple but original thoughts. The theory of partitions has many applications, either in mathematics (for
instance in group theory or non-parametric statistics) or in several other fields like physics.
This work presents the basic properties of the partition function p(n), as well a combinatorial application of the theory, the so-called Simon Newcombs problem. The principal
objective of this work is to provide an introduction to the theory of partitions, and also a
minimal background that could guide further steps into more advanced topics of the theory.
Keywords: Partitions, Simon Newcomb, Compositions, Ferrers diagrams, Generating functions.

Lista de smbolos e notaes

p(n)

funo de partio de n,

p(n, m)

funo de partio restrita,

conjunto dos nmeros naturais,

p1 (n)

nmero de parties em partes distintas,

bxc

funo floor,

12

bxe

funo inteiro mais prximo de x,

13

(h, k)

mdc entre h e k,

15

pe (n)

parties com nmero par de partes distintas,

21

po (n)

parties com nmero mpar de partes distintas,

21

Fn

nsimo nmero de Fibonacci,

27

c(m, n)

nmero de composies de n em m partes,

28

c(n)

nmero total de composies de n,

28

P (a1 , . . . , ar ; m)

nmero de parties de um vetor em m partes,

30

P (a1 , . . . , ar )

nmero total de parties de um vetor,

30

c(a1 , . . . , ar ; m)

nmero de composies de um vetor em m partes,

30

c(a1 , . . . , ar )

nmero total de composies de um vetor,

30

multiset

conjunto com elementos possivelmente repetidos,

33

LM

cardinalidade do multiset M,

34

Sumrio

1 Parties de inteiros

p. 1

1.1 Definio da funo de partio . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 1

1.2 Representaes das parties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 2

2 Funes geradoras

p. 5

2.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 5

2.2 Funo geradora para p(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 7

2.3 Parties restritas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 11

3 Provas bijetivas

p. 16

3.1 Resultados elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 16

3.2 Parties com partes super-distintas . . . . . . . . . . . . . . . . . . . . . . . . . p. 19
3.3 O teorema dos nmeros pentagonais de Euler . . . . . . . . . . . . . . . . . . . . p. 20
3.4 Limitantes para p(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 24
4 Composies

p. 28

4.1 Composies de inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 28

4.2 Composies de vetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 30

5 Aplicaes da teoria das parties

p. 33

5.1 Noes preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 33

5.2 O problema de Simon Newcomb . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 34

Referncias Bibliogrficas

p. 41

Parties de inteiros

Uma partio irrestrita do inteiro n uma sequncia finita de nmeros inteiros positivos
tal que sua soma seja n, no importando a ordem dos elementos; cada somando denominado parte. O estudo da teoria das parties foi sistematizado por Euler; outros clebres
matemticos estudaram o tema, entre eles: Gauss, Jacobi, Sylvester, Hardy e Ramanujan. As
ferramentas usadas no estudo dessa teoria so as mais variadas, sendo as funes geradoras
elementos centrais. A teoria das parties une conceitos de teoria dos nmeros e combinatria enumerativa; pode ser considerada com um tpico fundamental na teoria aditiva dos
nmeros.
O estudo das parties tem inmeras aplicaes: em matemtica, vrios problemas de
combinatria enumerativa utilizam-se da teoria de parties, assim como problemas estatsticos e da teoria de grupos esses ltimos valem-se especialmente da representao grfica
das parties, os chamados diagramas de Ferrers ou Young Tableaux. Esse trabalho consiste
no estudo de conceitos fundamentais da teoria, como funes geradoras, provas bijetivas de
resultados, parties restritas e composies. Alm disso, o chamado problema de Simon
Newcomb ser apresentado, como forma de aplicao da teoria.

1.1

Definio da funo de partio

Definio 1.1. Uma partio irrestrita de um inteiro n > 0, usualmente denominada apenas
partio, uma sequncia finita no-crescente de inteiros positivos 1 , 2 , . . . , k tal que
Pk
i=1 k = n. A funo de partio p(n) fornece o nmero de parties de n; por conveno
p(n) = 0 se n < 0 e p(0) = 1, uma vez que a nica partio de 0 representada pela sequncia
vazia.
Como exemplo, o nmero 5 possui 7 parties, ou seja, p(5) = 7. Tambm p(3) =
3 e p(4) = 5, como indicado na tabela 1.1.
Cada somando acima denominado parte; para a partio 3 + 1 + 1, as partes so 3 e 1.
Observe ainda que a ordem das partes irrelevante. Por fim, fcil perceber que a funo
de partio crescente; esse fato ser comprovado e mostraremos um limitante superior

3
2+1
1+1+1

4
3+1
2+2
2+1+1
1+1+1+1

Tabela 1.1

5
4+1
3+2
3+1+1
2+2+1
2+1+1+1
1+1+1+1+1

Exemplos de parties.

para p(n) na seo 3.4.

Consideremos agora um tipo especial de partio, chamada partio restrita.
Definio 1.2. A funo p(n, m) conta o total de parties de n com partes m.
Por exemplo, vimos que p(5) = 7; se considerarmos o subconjunto das parties de 5
com partes menores ou iguais a 2 teremos 3 parties. Da p(5, 2) = 3. fcil perceber que
p(n, 1) = 1, j que a nica partio de qualquer inteiro positivo com partes 1 a soma
de 1s . Alm disso, podemos notar que p(n, k) = p(n), k n. Esse tipo de partio ser
estudada com mais detalhes na seo 2.3.
Um tipo mais geral de restrio pode ser considerada. Imagine um subconjunto das
parties de um inteiro positivo cujas partes so nmeros pares, ou ainda uma partio
cuja maior parte seja k; essas parties especiais podem ser representadas como p(n|todas
as partes so pares) e p(n|maior parte k). Vrias restries desse tipo sero estudadas
no captulo 3.

1.2

Representaes das parties

Agora vamos apresentar algumas maneiras de se representar as parties de inteiros.

Em primeiro lugar, vejamos a notao usada por [1].
Seja =

Pk

i=1 (fi

i), k n, uma partio de n; usamos a notao ` n. A partio

f1 1 + f2 2 + + fk k = n pode ser representada como (1f1 2f2 kfk ). Note que os inteiros
fi representam o nmero de vezes em que a parte i aparece na partio.
Uma maneira muito interessante de se representar parties usando os chamados diagramas (ou grficos) de Ferrers. Como um exemplo, a representao grfica para a partio
1 + 2 + 3 + 5 pode ser vista na figura 1.1.
Outra representao grfica equivalente so os chamados Young tableaux; veja um
exemplo para a mesma partio acima na figura 1.2.
As representaes grficas das parties desempenham papel fundamental na teoria,

Figura 1.1

Exemplo de diagrama de Ferrers.

Figura 1.2

Exemplo de Young tableau.

sendo que muitos resultados importantes de parties so provados utilizando-se dessas

ferramentas; falaremos mais sobre esse tipo de representao no captulo 3.
Uma partio conjugada obtida ao trocarmos as linhas pelas colunas na representao
grfica de uma partio. A operao de conjugao pode ser vista na figura abaixo:
Partio

Figura 1.3

Partio conjugada

Exemplo da operao conjugao.

Note que a segunda partio no se alterou com a conjugao; parties que so iguais
s conjugadas so chamadas de autoconjugadas.
Por fim, utilizando uma abordagem matricial (que pode ser vista em detalhes em [2]),
podemos representar uma partio do inteiro positivo n e sua conjugada numa matriz de 2
linhas, com valores no-negativos e as seguintes propriedades:

c1

c2

cs

d1

d2

ds

cs = 0
ds 0
ct = ct+1 + dt+1
n=

s
X

ci + di

i=1

Para recuperar a partio, basta somar as duas colunas. Para obter a partio conjugada,
devemos observar que di conta o nmero de vezes que a parte i aparece na conjugada. Como
exemplo, a matriz para a partio 6 + 5 + 4 + 2, do inteiro 17,

5 4 2 0

.
1 1 2 2
Observe que somando todos os elementos obtemos 17; ao somarmos o primeiro elemento de ambas colunas, obtemos 6, que a primeira parte, e assim sucessivamente. A
figura 1.3 nos diz que a conjugada de 6 + 5 + 4 + 2 4 + 4 + 3 + 3 + 2 + 1; observando a segunda coluna da matriz, podemos chegar a essa mesma concluso, visto que cada di indica
o nmero de vezes que a parte i aparece na conjugada.

Funes geradoras

Uma das principais ferramentas usadas na teoria das parties so as chamadas funes
geradoras (ou geratrizes). Nesse captulo apresentaremos uma breve introduo sobre as
funes geradoras e suas aplicaes relativas funo de partio.

2.1

Introduo

Definio 2.1. Seja N = {0, 1, 2, . . .} o conjunto dos nmeros naturais. Uma funo geradora
de uma sequncia (an )nN de nmeros complexos uma funo f (x) que admite representao em srie de potncias, de forma que
f (x) =

cn x n ,

n=0

em que |x| < 1, para x complexo, e cn = an , para n inteiro positivo.

A definio acima nos indica que cada coeficiente da soma c0 + c1 x 1 + c2 x 2 + representa um elemento da sequncia (an )nN ; logo, podemos escrever a funo geradora
como

f (x) =

an x n .

n=0

Por exemplo, seja a sequncia an = (3, 3, 3, . . .). Como

1
= 1 + x + x2 +
1x
para |x| < 1, temos que a funo geradora de an
f (x) =

3
.
1x

A sequncia de nmeros complexos bn = (i0 ,i1 ,i2 ,i3 ,. . .) = (1,i,1,i,1,. . .) apresenta

g(x) =

1
1 ix

como sua funo geradora. Por fim, a funo geradora da sequncia cn = (0,1,2,. . .)
h(x) =

x
.
(1 x)2

Lema 2.2. Sejam

f (x) =

an x n

g(x) =

n=0

bn x n .

n=0

Ento f (x) = g(x) se, e somente se, an = bn , para todo n inteiro positivo.
Demonstrao. Suponhamos que f (x) = g(x) = h(x). Dado que essas funes admitem
uma expanso em srie de potncias, temos que so diferenciveis em |x| < 1 (veja [3],
pgina 236), e a sua derivada dada por

f (x) =

nan x n1 < .

n=1

Em geral, a ksima derivada de f

f (k) (x) =

n!
an x nk ,
(n

k)!
n=k

|x| < 1.

(2.1)

Temos, de forma anloga, uma expresso para g (k) (x), substituindo an por bn em 2.1.
Portanto, para todo n vale
an =

h(n) (0)
= bn .
n!

Por outro lado, vamos supor agora que an = bn . Temos ento an bn = 0, e portanto
0=

(an bn )x n = f (x) g(x) f (x) = g(x).

n=0

Logo, provamos a unicidade da funo geradora.

O resultado acima nos garante que podemos usar as funes geradoras para extrair
informaes das sequncias geradas; essa uma das mais poderosas aplicaes dessa ferramenta. Nos teoremas 2.8 e 2.12 e nos lemas 5.7 e 5.8 podemos ver na prtica esse princpio,
dado que extramos informaes de sequncias usando suas funes geradoras.
So vrios os problemas que podem ser resolvidos com o uso de funes geradoras,
desde provas de identidades at problemas mais sofisticados de combinatria. Mais informaes e resultados dessa importante ferramenta podem ser encontrados em [4] e [5].

2.2

Funo geradora para p(n)

Nessa seo apresentaremos uma funo geradora para a funo de partio, e alguns
resultados que podemos obter a partir dela.
Teorema 2.3. Para |x| < 1, temos

X
1
=
p(n)x n ,
F (x) =
m
1

x
n=0
m=1

em que p(0) = 1.
Demonstrao. Em primeiro lugar, lembramos que vale
1
= 1 + x + x2 + x3 + x4 + ,
1x
para |x| < 1.
Se cada fator de F (x) for expandido numa srie geomtrica, temos

1
= (1 + x + x 2 + )(1 + x 2 + x 4 + )(1 + x 3 + x 6 + )
m
1

x
m=1
= (1 + x + x 1+1 + )(1 + x 2 + x 2+2 + )(1 + x 3 + x 3+3 + )

Agora, vamos proceder multiplicando o lado direito da igualdade acima tratando cada
srie como um polinmio. Agrupando cada potncia de x, obtemos uma srie da forma
1+

w(k)x k .

k=1

Para provar o teorema, devemos mostrar que w(k) = p(k). Suponha que tomemos o
termo x k1 da primeira srie, x 2k2 da segunda, x 3k3 da terceira e assim por diante, at x mkm
da msima, em que cada ki 0. O produto desses termos
x k1 x 2k2 x 3k3 x mkm = x k k = k1 + 2k2 + 3k3 + + mkm ,
e pode ser escrito como
k = (1 + 1 + 1) + (2 + 2 + 2) + + (m + m + m) .
|
{z
} |
{z
}
|
{z
}
k1 termos

k2 termos

km termos

Veja que essa uma partio de k em partes positivas. Logo, cada partio de k produz
um termo x k , e portanto, w(k) = p(k).

Como exemplo, tomemos o nmero 5, que surge no produtrio dos seguintes modos
1 1 1 1 x5 1 ,
x 1+1 1 x 3 1 ,

x1 1 1 x4 1 ,

1 x2 x3 1 ,

x 1 x 2+2 1 ,

x 1+1+1 x 2 1 , x 1+1+1+1+1 1 .
Somente multiplicando-se esses termos podemos obter x 5 ; observe que os expoentes
de x geram as parties de 5. Como h uma correspondncia um-a-um entre os coeficientes
de x k no produto infinito e o nmero de parties de k, temos o resultado.
Nosso argumento vlido para demonstrar o teorema, mas ignora questes de convergncia. Para uma anlise que considera a convergncia da srie e do produtrio, veja
[6].

Definio 2.4. Seja d um inteiro positivo. Definimos

pd (n) = p(n|nenhuma parte aparece mais do que d vezes).
Em particular,
p1 (n) = p(n|partes so distintas).
Teorema 2.5. Para |x| < 1, temos

pd (n)x n =

n=0

(1 + x m + + x dm ) =

m=1

Y
1 x (d+1)m
1 xm
m=1

Demonstrao. Em primeiro lugar observamos que vale a ltima igualdade do teorema acima,
j que numa srie geomtrica finita temos
d
X

xj = 1 + x + x2 + + xd =

j=0

1 x d+1
,
1x

bastando no nosso caso substituir x por x m .

Para provar a primeira igualdade do teorema, devemos usar o mesmo raciocnio do
teorema 2.3. Veja que o produto infinito pode ser encarado como
d vezes

d vezes

z }| {

z }| {

(1 + x 1 + x 1+1 + + x 1++1 )(1 + x 2 + x 2+2 + + x 2++2 )

e portanto cada parte vai aparecer no mximo d vezes ao agruparmos as potncias de x.
Como exemplo, vejamos o caso d = 2. O produtrio fica
(1 + x 1 + x 1+1 )(1 + x 2 + x 2+2 )(1 + x 3 + x 3+3 ) ,

logo podemos perceber que no mximo cada parte vai aparecer 2 vezes em cada partio.
Alm disso, claro que pelo produto ser infinito ele representa parties de todos os inteiros,
e assim o resultado fica provado.

Corolrio 2.6.
p1 (n) =

(1 + x m ).

m=1

Podemos usar um raciocnio semelhante para obter funes geradoras para vrios tipos
de parties. Veja a tabela 2.1.
Funo geradora

1
1

x 2m
m=1

Para a sequncia de parties

de n com partes:
pares

(1 + x 2m )

pares e distintas

m=1

1
1 x 2m1
m=1

(1 + x 2m1 )

mpares

mpares e distintas

m=1

(1 + x 2 )

potncias distintas de 2

m=0

Tabela 2.1
Lema 2.7. Todo inteiro positivo pode ser expressado de modo nico como soma de potncias
distintas de 2.
Demonstrao. Em primeiro lugar, vejamos alguns exemplos: 7 = 22 + 21 + 20 , 17 = 24 + 20
e 42 = 25 + 23 + 21 . Para provar o resultado, usaremos a funo geradora para esse tipo de
partio que pode ser vista na tabela 2.1.
Os coeficientes da funo geradora determinam o nmero de maneiras de se escrever n
como soma de potncias distintas de 2. A demonstrao est completa se comprovarmos
que todos os coeficientes so iguais a 1. Note que
1
= 1 + x + +x 2 + x 3 + ,
1x
logo se provarmos que

Y
1
m
=
(1 + x 2 )
1 x m=0

10

temos o resultado.
Ao multiplicar ambos os lados da igualdade acima por (1 x), obtemos
1 = (1 x)(1 + x)(1 + x 2 )(1 + x 4 ) .

(2.2)

Para finalizar, note que o lado direito de 2.2 vale realmente 1 pois
(1 x)(1 + x)(1 + x 2 )(1 + x 4 )(1 + x 8 )(1 + x 16 )
= (1 x 2 )(1 + x 2 )(1 + x 4 )(1 + x 8 )(1 + x 16 )
= (1 x 4 )(1 + x 4 )(1 + x 8 )(1 + x 16 )(1 + x 32 )
= (1 x 8 )(1 + x 8 )(1 + x 16 )(1 + x 32 )(1 + x 64 )
= 1.

Teorema 2.8 (Euler).

p1 (n) = p(n|com partes mpares).
Demonstrao. Apresentaremos duas provas; a primeira segue [7], e a segunda usa funes
geradoras.
(i) Apresentaremos uma bijeo entre esses dois conjuntos de parties (veja mais sobre
bijees no captulo 3). Seja n um inteiro positivo. Se tomarmos uma partio de n em partes
mpares, temos
n = a1 1 + a3 3 + + a2k+1 (2k + 1),
em que 2k + 1 o maior inteiro mpar que aparece como parte nessa partio de n, e os ai
representam o nmero de vezes que cada inteiro mpar aparece. Pelo lema anterior, sabemos
que todos os ai podem ser escritos de maneira nica como soma de potncias distintas de
2. Logo, escrevemos
n = (20 + + 2r )1 + (20 + + 2s )3 + + (20 + + 2t )(2k + 1)
= 20 + + 2r + 3 20 + + 3 2s + + (2k + 1) 20 +
+ (2k + 1) 2t .

(2.3)

Claramente cada termo em 2.3 distinto, j que 20 21 2r , e o mesmo para os

, ,etc. Portanto, de uma partio em partes mpares obtivemos outra em partes distintas.
O procedimento reversvel, e portanto uma bijeo estabelecida, e temos o resultado.
Vejamos 2 exemplos.
Considere n = 36 = 9 + 9 + 5 + 5 + 5 + 3. Para gerar a partio em partes distintas equi-

11

valente, fazemos
3+5+5+5+9+9 = 13+35+29
= 20 3 + (20 + 21 ) 5 + 21 9 = 3 + 10 + 5 + 18.

Se tomarmos n = 23 = 10 + 6 + 4 + 3, geramos a partio em partes mpares equivalente

fazendo
3 + 4 + 6 + 10 = 3 20 + 1 22 + 3 21 + 5 21
= 22 1 + (20 + 21 ) 3 + 21 5 = 4 1 + 3 3 + 2 5
= 1 + 1 + 1 + 1 + 3 + 3 + 3 + 5 + 5.

(ii) Agora, procedemos comparando as funes geradoras. Temos que a funo geradora
para a sequncia de parties em partes distintas (pelo corolrio 2.6)

(1 + x m ).

m=1

Contudo, veja que

(1 + x m ) =

m=1

Y
(1 + x m )(1 x m )
(1 x m )
m=1

Y
(1 x 2m )
=
(1 x m )
m=1

(1 x 2 )(1 x 4 )(1 x 6 )
(1 x)(1 x 2 )(1 x 3 )(1 x 4 )(1 x 5 )(1 x 6 )
1
(1 x)(1 x 3 )(1 x 5 )(1 x 7 )

1
,
1 x 2m1
m=1

(2.4)

e como visto na tabela 2.1, o produtrio 2.4 a funo geradora para a sequncia de parties
com partes mpares. Assim, o resultado fica provado.

2.3

Parties restritas

Nessa seo apresentaremos algumas frmulas para parties do tipo p(n, m), ou seja,
parties com partes m (no teorema 3.1 veremos que esse tambm o nmero de parties

12

de n com no mximo m partes).

Teorema 2.9. Para n inteiro positivo temos

p(n, 1) = 1

p(n, 2) =


n
+ 1,
2

em que bxc a funo floor (maior inteiro x).

Demonstrao. imediato perceber que p(n, 1) = 1, afinal para qualquer n inteiro apenas
a partio representada pela soma de n 1s contada por p(n, 1).
No segundo caso, observe que para qualquer inteiro, com
0

n
,
2

h uma nica partio de n com o nmero 2 aparecendo vezes, e o nmero 1 aparecendo

n 2 vezes. Para facilitar o entendimento, veja como exemplo a tabela 2.2 , para n = 6
(0 6/2).

0
1
2
3

6 2
6
4
2
0

Partio associada
1+1+1+1+1+1
2+1+1+1+1
2+2+1+1
2+2+2
Tabela 2.2

Assim,

n
+ 1,
2


p(n, 2) =

pois esse o nmero de s inteiros entre 0 e n/2.

Para obter uma frmula equivalente para p(n, 3), usaremos funes geradoras.
Corolrio 2.10. Sejam m, n inteiros positivos, com m < n fixo. Ento

p(n, m)x n =

n=0

m
Y

1
.
(1 x k )
k=1

Demonstrao. A prova idntica do teorema 2.3. De fato, basta considerar que as partes
devem ser m, e portanto nenhum termo no produtrio deve ter expoente superior a m. 
Lema 2.11. Para |x| < 1, valem as identidades

X
1
=
(n + 1)x n
(1 x)2 n=0

X
n+2 n
1
=
x .
(1 x)3 n=0
2

13

Demonstrao. Lembrando que, para |x| < 1 vale

X
1
=
xn,
1 x n=0

basta tomarmos a primeira e segunda derivada da srie acima para obtermos os resultados.
Assim, temos


1
1x

0

0
xn

n=0

X
X
1
n1
=
nx
=
(n + 1)x n .
(1 x)2 n=1
n=0

Tambm,


1
1x

00

00
xn

n=0

X
X
2
n2
=
n(n

1)x
=
(n + 2)(n + 1)x n
(1 x)3 n=2
n=0

X
X
(n + 2)(n + 1) n
n+2 n
1
=
x =
x .

2
(1 x)3 n=0
2
n=0

Teorema 2.12.
$
p(n, 3) =

'
(n + 3)2
,
12

em que bxe a funo inteiro mais prximo de x.

Demonstrao. Pelo corolrio 2.10, e considerando uma expanso em fraes parciais, temos

p(n, 3)x n =

n=0

1
(1 x)(1 x 2 )(1 x 3 )
1/6
1/4
1/4
1/3
+
+
+
.
(1 x)3 (1 x)2 1 x 2 1 x 3

(2.5)

Utilizando as identidades do lema 2.11 e expanses em sries geomtricas em 2.5, obtemos

1 X n+2 n 1 X
1 X 2n 1 X 3n
p(n, 3)x =
x +
(n + 1)x n +
x +
x
6 n=0
2
4 n=0
4 n=0
3 n=0
n=0
n

14

X
n=0

X
n=0

X
n=0

(n2 + 3n + 2) (n + 1) n 1 2n 1 3n
x + x + x
12
4
4
3
(n + 3)2 n 1 n 1 2n 1 3n
x x + x + x
12
3
4
3

!
(n + 3)2 n
x + (n) .
12

Agora temos 4 possibilidades. Se n for um nmero divisvel por 2 e por 3, ento

1 1 1 1
(n) = + + = ,
3 4 3 4
j que as potncias n, 2n e 3n de x so somadas. Caso n seja divisvel somente por 2, ento
1 1
1
(n) = + = ,
3 4
12
pois a potncia 3n no somada. Analogamente, se n for divisvel por 3 e no por 2, a
potncia 2n no somada e temos (n) = 0. Por fim, se n no for divisvel nem por 2 nem
por 3, somente a potncia n de x somada e temos (n) = 1/3. Assim,


1
1
1
(n)
, , 0,
,
4 12
3
ou seja, |(n)| < 1/2. Finalmente, como p(n, 3) inteiro podemos escrever

p(n, 3)x =

n=0

n=0

!
'
$
X
(n + 3)2 n
(n + 3)2
x + (n) =
xn,
12
12
n=0

e temos o resultado.

Embora no teorema 2.12 aparea uma frmula simples para p(n, 3), no verdade que
as frmulas para p(n, m), m > 3 sejam sempre simples. Como exemplo, em [8] h vrias
frmulas desse tipo, entre elas

 
(n + 5)
n
2
n + n + 22 + 18
.
p(n, 4) =
144
2


Sabemos que p(n, k) = p(n), k n. Faz sentido ento questionar a existncia de uma
frmula geral para p(n). Essa frmula de fato existe, e foi desenvolvida por Rademacher
(veja [9] e [10]) ao trabalhar numa expanso assinttica antes encontrada por Hardy e Ramanujan. Para n inteiro positivo a funo p(n) representada pela srie convergente (note

15

que (h, k) o mdc entre h e k)

sinh

p d

1 X

p(n) =
Ak (n) k
dn
2 k=1

( r


2
3

q
1
n 24

1
24

)


em que
X

Ak (n) =

e i s(h,k)2 inh/k

0h<k
(h,k)=1

e s(h, k) seguinte soma de Dedekind,

k1
X





hr
1
r hr

.
s(h, k) =
k k
k
2
r =1
Esse um dos resultados mais interessantes da teoria das parties, visto que temos
de uma lado a funo p(n), que naturalmente admite valores inteiros positivos, e do outro
lado uma srie que envolve somas de Dedekind, variveis complexas e uma derivada do
seno hiperblico. A demonstrao desse resultado envolve a aplicao da teoria de variveis
complexas na funo geradora vista no teorema 2.3 (em especial o teorema dos resduos de
Cauchy), assim como o estudo de funes modulares (funo de Dedekind), crculos de
Ford e fraes de Farey. Para maiores detalhes inclusive a demonstrao completa veja
[11].

16

Provas bijetivas

Uma importante ferramenta usada na teoria das parties so as provas bijetivas. Dado
dois conjuntos, ao se estabelecer uma bijeo entre eles, resulta que ambos possuem a
mesma cardinalidade. Esse o princpio fundamental das provas bijetivas, que trataremos
nesse captulo.

3.1

Resultados elementares

A funo de partio p(n) tem como domnio o conjuntos dos inteiros no-negativos, e
sua imagem um subconjunto dos inteiros positivos. Ao estudarmos funes de partio
sujeitas restries, vale o mesmo: suas imagens so subconjuntos dos inteiros positivos.
Sejam p(n|A) e p(n|B) duas funes de partio com restries A e B, respectivamente.
Para demonstrar que p(n|A) = p(n|B), basta comprovar a existncia de uma bijeo entre
os pares ordenados (n, p(n|A)) e (n, p(n|B)) para todo n inteiro no-negativo; no preciso apresentar a bijeo explicitamente. Consequentemente, as provas bijetivas so muito
poderosas, pois permitem demonstrar identidades sem encontrar frmulas fechadas ou funes geradoras. Para estabelecer uma bijeo entre duas funes de partio, por exemplo
p(n|A) e p(n|B), em geral mostramos que cada parte de uma partio de p(n|A) corresponde biunivocamente a uma parte de uma partio de p(n|B).
A teoria das parties muito rica em provas bijetivas, as quais so fundamentais para
demonstrar certos resultados que de outro modo ou no foram provados, ou possuem prova
com argumentos muito sofisticados. Nesse captulo algumas provas bijetivas esto listadas;
comeamos com provas mais elementares, e seguimos para resultados mais aprimorados.
Citamos [12] como fonte para muitas outras provas bijetivas.
Teorema 3.1.
p(n|com, no mximo, m partes) = p(n, m).
p(n|cada parte aparece ao menos 2 vezes) = p(n|partes > 1 e no consecutivas).

(3.1)
(3.2)

Demonstrao. Ambas identidades so provadas apenas usando-se a operao conjugao.

17

Para verificar, sem perda de generalidade, vejamos alguns exemplos. Na igualdade 3.1,
seja m = 3 e n = 7. A partio 4 + 2 + 1, que possui 3 partes, pode ser transformada em
3 + 2 + 1 + 1, cuja maior parte 3; veja a figura 3.1.

Figura 3.1
No caso de 3.2, tomemos 7 + 7 + 5 + 5 + 5 + 3 + 3 + 1 + 1, partio essa com cada parte
aparecendo pelo menos 2 vezes. Ao tomarmos sua conjugada, 9 + 7 + 7 + 5 + 5 + 2 + 2, vemos
que no h inteiros consecutivos, e o nmero 1 no aparece veja a figura 3.2.

Figura 3.2

Teorema 3.2.
p(n|autoconjugadas) = p(n|partes mpares distintas).
Demonstrao. Uma simples transformao nos permite provar o teorema. Usaremos como
exemplo a partio 5 + 5 + 4 + 3 + 2 de 19; veja a figura 3.3.

Figura 3.3

18

Note que a partio autoconjugada apresenta simetria em relao diagonal que liga
o ponto noroeste ao ponto sudeste, ou seja, dentro de cada rea delimitada temos um
nmero mpar de pontos que equivale a soma do nmero de pontos da linha e da coluna
menos 1, j que h um ponto compartilhado pelas duas. Assim a partio autoconjugada
de 19 apresenta uma bijeo com a partio 9 + 7 + 3. Para comprovar a recproca, basta
observar que podemos representar cada partio de um inteiro em partes mpares distintas
como partio autoconjugada delimitando convenientemente cada parte ou seja, cada parte
originar uma linha e uma coluna que compartilham um ponto.

Teorema 3.3. Para a, b, c inteiros positivos, temos

p(a c|com b 1 partes c) = p(a b|com c 1 partes b).
Demonstrao. Consideremos a representao de Ferrers para uma partio de ac com b
1 partes. Vamos transformar a partio da seguinte forma: em primeiro lugar, adicionamos
uma nova linha de c pontos no topo; depois, apagamos a primeira coluna e por fim, tomamos
a conjugada. Essa transformao determina uma bijeo entre os dois tipos de parties;
veja a figura 3.4. Temos por fim uma partio do inteiro a b em c 1 partes.
c

b1

c 1

b
c 1

Figura 3.4

Como exemplo do teorema acima, tomemos a = 14, b = 5 e c = 4.
4+4+1+1

3+3+3

4+3+4+1

4+3+2

4+2+2+2

5+2+2

3+3+3+1

4+4+1

3+3+2+2

5+3+1

19

3.2

Parties com partes super-distintas

Definio 3.4. Se a diferena entre cada duas partes numa partio de pelo menos 1,
dizemos que as partes so distintas. Se essa diferena de pelo menos 2 unidades, ento
as partes so ditas super-distintas.
Teorema 3.5.
p(n|partes super-distintas)
= p(n|partes distintas, cada parte par > que o dobro do nmero de partes mpares).
Demonstrao. A prova bijetiva foi desenvolvida por David Bressoud. Para mostrar como
funciona a bijeo, vamos usar como exemplo a partio 14 + 11 + 6 + 4 + 1. Em primeiro
lugar, vamos rearranjar os pontos no diagrama de Ferrers usual; devemos organizar as
partes da maior para a menor, mas entre cada parte devemos ajustar a margem esquerda,
identando de modo a fazer cada parte avanar 2 pontos direita, como visto na figura 3.5.

Figura 3.5
Note que possvel arranjar o grfico de Ferrers desse modo pois as partes so superdistintas. Agora, devemos traar uma reta vertical no grfico, de modo que na ltima linha
haja um ponto do lado esquerdo da reta, na penltima haja 3 pontos, na antepenltima 5
pontos, e assim sucessivamente. Veja como fica o grfico na figura 3.6.

Figura 3.6
Observe que do lado direito da reta vertical temos um grfico de Ferrers; devemos
reorden-lo do seguinte modo: primeiro colocamos as partes mpares, em ordem decrescente, e depois as pares, tambm em ordem decrescente. Por fim, podemos remover a reta
vertical e colocar o grfico de Ferrers em sua forma original, para obter uma nova partio,
nesse caso 14 + 8 + 7 + 6 + 1 veja figura 3.7. Note que essa partio possui 2 partes mpares
e a menor parte par igual a 6, que maior do que 4 (o dobro do nmero de partes mpares).

20

Figura 3.7
Todas as operaes que realizamos no diagrama de Ferrers so invertveis, logo uma
bijeo definida entre as duas classes de parties apresentadas no teorema, que fica
provado.

3.3

O teorema dos nmeros pentagonais de Euler

Um dos resultados mais interessantes que podem ser demonstrados usando-se diagramas de Ferrers, atravs de uma prova bijetiva, o chamado teorema dos nmeros pentagonais de Euler. possvel encontrar uma frmula recursiva para p(n) usando o teorema de
Euler. A prova combinatria que apresentaremos foi desenvolvida por Franklin, no sculo
19.
O nome do teorema devido ao fato de que os inteiros positivos na forma j(3j 1)/2
so chamados de nmeros pentagonais, pois esses inteiros equivalem ao nmero de pontos
no interior do jsimo pentgono regular veja figura 3.8, que mostra alguns pentgonos e
seus pontos interiores para j = 1, 2, 3.

1 ponto

5 pontos

12 pontos

Figura 3.8
Teorema 3.6 (Teorema dos Nmeros Pentagonais de Euler). Para |x| < 1, vale

Y
n=1

(1 x n ) = 1 +

(1)j (x j(3j+1)/2 + x j(3j1)/2 ).

j=1

Demonstrao. Usaremos a seguinte notao:

pe (n) = p(n|com um nmero par de partes distintas),
po (n) = p(n|com um nmero mpar de partes distintas).

(3.3)

21

Vamos em primeiro lugar atribuir um significado combinatrio (em funo de pe (n) e po (n))
ao coeficiente a(j) na expresso

(1 x ) = 1 +

n=1

a(j)x j

(3.4)

j=1

Note que no produtrio acima, um produto de k potncias distintas de x n ter sinal

positivo caso k seja par e sinal negativo se k for mpar. Por exemplo, o coeficiente de x 6 na
expanso do produtrio s gerado efetuando-se os produtos
1 1 (x 1 ) (x 5 ) 1 ,

1 1 (x 2 ) (x 4 ) 1 ,

1 1 (x 1 ) (x 2 ) (x 3 ) 1 ,

1 1 (x 6 ) 1 ,

e somando os coeficientes. Veja que os dois primeiros so positivos, e os outros dois so

negativos, logo o coeficiente de x 6 0.
O produtrio portanto est associado ao nmero de parties com partes distintas de
um inteiro; no caso do nmero 6, note que ele possui 4 parties com partes distintas; duas
so compostas por 2 partes (1 + 5 e 2 + 4), uma composta por 3 partes (1 + 2 + 3) e a ltima
possui apenas uma parte (6). Logo, pe (6) = 2 e po (6) = 2.
Observando que as parties de um inteiro com um nmero par de partes distintas so
geradas atravs de um produto de um nmero par de potncias distintas de x n , e as parties
com um nmero mpar de partes distintas so geradas multiplicando-se uma quantidade
mpar de potncias distintas de x n , temos que a(j) = pe (j) po (j). No caso do nmero 6,
seu coeficiente na expanso do produtrio 0, j que pe (6) po (6) = 0.
Uma idia interessante determinar quando o coeficiente a(j) ser 0; esse o ponto
central da prova combinatria de Franklin. Se colocarmos as equaes 3.3 e 3.4 lado a lado,
vemos que no somatrio de 3.3 s aparecem as potncias de x n em que n est na forma
j(3j 1)/2. Podemos ento reformular o teorema de Euler em termos de pe (n) e po (n);
assim, o teorema fica

pe (n) po (n) =

(1)j

se n = j(3j 1)/2,

caso contrrio.

Para efetuar a prova do teorema, construiremos uma relao biunvoca entre pe (n) e po (n).
Considerando o grfico de Ferrers de alguma partio do inteiro n em partes distintas,
dizemos que esse grfico est na forma padro se as partes so todas distintas e esto em
ordem decrescente. A reta que conecta todos os pontos da ltima linha desse grfico ser
chamada de base e os pontos dessa ltima linha so denotados por b; note que b 1. A
reta que liga o ltimo ponto da primeira linha do grfico com os ltimos pontos das outras

22

linhas chamada de inclinao do grfico e os pontos pelos quais ela passa so denotados
por s, logo s 1. Veja a figura 3.9, em que b = 2 e s = 4.
inclinao (s = 4)

base (b = 2)
Figura 3.9
Vamos definir agora 2 operaes sobre o grfico de Ferrers. A operao A leva os pontos
da base para um reta paralela reta denominada inclinao, como mostrado na figura 3.10
(i). A operao B move os pontos da inclinao para a base, como visto na figura 3.10 (ii).
As operaes so ditas permitidas se preservarem a forma padro do grfico. Veja que na
figura 3.10 a operao B no permitida.

(i) Operao A

(ii) Operao B
Figura 3.10

Se A for permitida, obtemos uma nova partio de n em partes distintas, mas agora com
1 parte a menos. Se B for permitida, obtemos uma nova partio de n com uma parte a mais
do que antes de aplicarmos a transformao. Logo, se para um dado n todas suas parties
em partes distintas admitirem A ou B (no ambas), temos uma bijeo entre pe (n) e po (n),
isto , pe (n) = po (n) para esse n.
Vamos ento determinar quando A ou B so permitidas para todo n. O problema se
divide em 3 casos: b < s, b = s e b > s.

Caso 1. Se b < s, ento b s 1, ou seja, A permitida pois mantm a forma padro. J a

operao B no permitida, pois quebra a forma padro veja figura 3.10 (ii).
Caso 2. Se b = s, a operao B no permitida, pois gera um novo diagrama fora da forma
padro a ltima coluna fica com um ponto a mais que a anterior. Por sua vez, a

23

operao A permitida exceto se a base e a inclinao se interceptarem, como na

figura 3.11 (i); nesse caso ao aplicarmos A o grfico no fica na forma padro.
Caso 3. Se b > s, ento a operao A no permitida, e B permitida exceto quando b = s + 1
e a base e a inclinao se interceptarem. Nesse caso, o diagrama fica com duas partes
iguais veja figura 3.11 (ii).

(i) b = s

(ii) b = s + 1
Figura 3.11

Assim, sempre A ou B so permitidas no simultaneamente, exceto nos 2 casos vistos

acima. Considere o caso (i) da figura 3.11; seja n o inteiro que est representado no diagrama.
Suponha que o grfico tenha j linhas, logo s = j b = j. Portanto, o nmero n dado por
n = j + (j + 1) + (j + 2) + + (j + (j 1)) =

j(3j 1)
.
2

Nesse caso, temos uma partio com um nmero par de partes distintas caso j seja
par, ou uma partio com um nmero mpar de partes distintas se j for mpar. Como
nenhuma das transformaes A ou B pde ser aplicada, essa partio est sobrando, e
assim pe (n) po (n) = (1)j .
Na situao vista na figura 3.11 (ii) acontece algo similar: se tivermos j linhas no grfico,
haver um ponto adicional em cada linha em relao ao caso (i), ou seja,
n=

j(3j 1)
j(3j + 1)
+j =
,
2
2

e novamente temos pe (n) po (n) = (1)j . A prova est ento completa.

Teorema 3.7. Seja p(0) = 1 e p(n) = 0 se n < 0. Ento, para n 1 temos:

p(n) p(n 1) p(n 2) + p(n 5) + p(n 7) p(n 12) = 0

Ou, equivalentemente

p(n) =

X
k=1

(1)

k+1

 


k(3k + 1) 
k(3k 1) 
+p n
.
p n
2
2

24

Demonstrao. J vimos no teorema 2.3 que,

p(n)x n =

n=0

1
1 xn
n=1

e pelo teorema dos nmeros pentagonais de Euler,

1+

(1)j (x j(3j+1)/2 + x j(3j1)/2 ) =

(1 x n ).

n=1

j=1

Portanto , temos:

1+

(1) (x

j(3j+1)/2

+x

j(3j1)/2

 X

p(n)x


= 1,

n=0

j=1

isto ,
2

(1 x x + x + x x
=

X
n=0

p(n)x n
p(n)x n

n=0

() X

n=0

X
n=0

12

p(n)x n+1

X

p(n)x n

n=0

p(n)x n+5 +

n=0

p(n 2)x n +

n=2

p(n 1)x n

n=0

p(n)x n+2 +

p(n 1)x n

n=1

p(n)x

n=0

p(n 5)x n +

n=5

p(n 2)x n +

n=0

p(n 5)x n +

n=0

=1

Note que vale a igualdade () pois p(K) = 0, para K < 0. Por fim, igualando-se os coeficientes de x n em ambos os lados da ltima igualdade acima, temos
p(n) p(n 1) p(n 2) + p(n 5) + p(n 7) p(n 12) = 0. 

3.4

Limitantes para p(n)

Nessa seo, mostraremos que a funo p(n) estritamente crescente e apresentaremos

um limitante superior baseado nos nmeros de Fibonacci. Os resultados seguem [13].
Lema 3.8. Para todo n 2, vale
p(n) > p(n 1),
ou seja, p(n) estritamente crescente.
Demonstrao. Sem perda de generalidade, vamos usar os inteiros 4 e 5 para montar uma
prova bijetiva. Para o nmero 4, temos as parties mostradas na figura 3.12. As parties

25

de 5 so apresentadas na figura 3.13.

Figura 3.12

Figura 3.13
Comparando as parties desses dois inteiros, podemos perceber que para cada partio
de n1 (no nosso caso 4), obtemos uma partio de n (5 no nosso exemplo) ao adicionarmos
uma ltima linha composta por um ponto. Reciprocamente, todas as parties de n que
possuem ao menos uma parte unitria (composta por 1) podem ser convertidas em parties
de n 1 ao se remover a ltima linha. Assim,
p(n 1) = p(n|com parte unitria),
e portanto,
p(n) = p(n 1) + p(n|sem nenhuma parte unitria)
> p(n 1),

n 2.

(3.5)


Lema 3.9.
p(n) p(n 1) + p(n 2),

para n 2.

Demonstrao. Vamos definir uma parte dupla em uma partio como uma parte composta
pelo inteiro 2. Em primeiro lugar, devemos notar que
p(n 2) = p(n|com ao menos uma parte dupla).
Isso evidente pois podemos usar o mesmo argumento do lema 3.8, e observar que ao
inserirmos uma parte dupla em cada partio de p(n 2) obtemos parties de p(n) e ao

26

removermos uma parte dupla das parties de n que possuem tal tipo de parte, obtemos
parties de p(n 2).
Agora, veja que podemos transformar qualquer partio sem nenhuma parte unitria
em uma partio com ao menos uma parte dupla, bastando para isso separar a ltima parte
(que no mnimo 2) em uma parte dupla e 0 ou mais partes unitrias.
Como exemplo, seja n = 6. A insero de uma parte dupla em cada partio de n 2 = 4
pode ser vista na figura 3.14.

Figura 3.14
possvel agora juntar todas partes unitrias e uma parte dupla em todas parties de
6 acima, exceto na segunda, gerando assim 4 parties de 6 veja figura 3.15.

Figura 3.15
Note que a segunda partio foi gerada adicionando-se 2 em 2 + 1 + 1. A partio original
apresenta a caracterstica de ter a menor parte no-unitria menor do que o nmero de partes
unitrias+2. Esse argumento nos permite formular a igualdade
p(n 2) = p(n|sem nenhuma parte unitria)
+ p(n 2|a menor parte no-unitria < 2 + nmero de partes unitrias).

Naturalmente, todos os termos da expresso acima so no-negativos. Logo, se usarmos

27

a equao 3.5 em conjunto com a expresso acima, obtemos

p(n) = p(n 1) + p(n 2)
p(n 2|a menor parte no-unitria < 2 + nmero de partes unitrias),
e portanto,
p(n) p(n 1) + p(n 2),

n 2.

(3.6)


Definio 3.10. O nsimo nmero de Fibonacci dado pela recorrncia

F0 = 0, F1 = 1,
Fn = Fn1 + Fn2 , n 2.
Teorema 3.11. Para todo n 0, a funo p(n) possui como limitante superior Fn+1 , o
(n + 1)simo nmero de Fibonacci.
Demonstrao. Dado que p(0) = F1 = p(1) = F2 = 1, a proposio vale para n = 0 e n = 1.
Usaremos induo matemtica para provar o caso geral.
Suponha que a afirmao seja vlida para todo n < k, com k 2 (hiptese de induo).
Ento, usando a equao 3.6, temos
p(k) p(k 1) + p(k 2)
Fk + Fk1
= Fk .
Logo, o teorema vlido para todo inteiro n 0.

Outros limitantes para p(n) podem ser encontrados, contudo nem sempre possvel
prov-los usando argumentos simples e de carter bijetivo, como visto acima. Em [6], por
exemplo, encontramos a equao
p(n) < eK

com K = (2/3)1/2 .

Mencionamos, por fim, a existncia do seguinte limitante inferior para p(n), cuja demonstrao pode ser vista em [14]:

e2 n
p(n) >
,
14

n 0.

28

Composies

Nesse captulo estudaremos as chamadas composies de inteiros. A principal caracterstica das composies que so parties ordenadas; seu estudo mais simples, de
carter bem combinatrio. Tambm apresentaremos as composies de vetores, que so
generalizaes das composies de inteiros para vetores de inteiros.

4.1

Composies de inteiros

Definio 4.1. Sejam m, n inteiros positivos. Uma partio ordenada do inteiro n chamada
de composio de n. Denotamos por c(m, n) o nmero de composies de n em exatamente
m partes. Tambm, c(n) o nmero total de composies de n, ou seja
c(n) =

n
X

c(m, n).

m=1

Note que c(m, n) = 0 para m > n. Como um exemplo de composio, tome 6 = 1 + 2 + 3.

Veja que essa composio diferente de 2 + 1 + 3, pois a ordem relevante.
Teorema 4.2.

!
n1
(n 1)!
.
c(m, n) =
=
(m 1)!(n m)!
m1

Demonstrao. Uma demonstrao que faz uso de funes geradoras pode ser encontrada
em [1]. Apresentaremos aqui duas provas combinatrias para o resultado.
(i) Utilizaremos uma representao grfica para as composies de n.
Seja (a1 a2 . . . am ) uma composio de n em m partes. Associamos a essa composio
m segmentos do intervalo [0, n] dispostos em sequncia; o primeiro segmento tem comprimento a1 , o segundo tem comprimento a2 e assim por diante. A composio 4 + 3 + 1 + 2 =
(4312) de 10 representada como na figura 4.1 note que os comprimentos L esto indicados abaixo dos segmentos.
Agora, observe que possvel gerar cada uma das c(m, n) composies escolhendo m
1 pontos como finais dos segmentos dentre n 1 possibilidades, pois o ponto n no intervalo

29

L=4

L=3

10

L=1 L=2

Figura 4.1

necessariamente escolhido. H

n1
m1

modos de se fazer isso, e portanto o resultado fica

provado.
(ii) Note que podemos associar uma composio de n em m partes com o nmero de
solues estritamente positivas da equao x1 + x2 + + xm = n. De fato, esse nmero
igual a c(m, n), portanto basta contarmos as solues da equao. Utilizando um argumento
grfico fica fcil perceber a veracidade do teorema; sem perda de generalidade, trabalharemos com m = 4 e n = 5, isto , queremos saber c(4, 5), e a partir disso determinaremos o
resultado.
Na figura esto pontos e traos, usados para representar a equao x1 + x2 + x3 + x4 = 5,
em que os traos dividem os pontos em 4 grupos, cada um representando uma varivel.

Figura 4.2
Ao contar de quantas formas podemos alocar os traos na figura acima, estamos contando todas as solues no-negativas da equao x1 + x2 + x3 + x4 = 5; esse nmero
  

8
n+m1
=
. Contudo, queremos saber o nmero de solues estritamente positivas;
3
m1
para isso, faremos a seguinte troca de variveis: xi = yi + 1. A equao original agora se
torna y1 + 1 + y2 + 1 + y3 + 1 + y4 + 1 = 5 y1 + y2 + y3 + y4 = 5 4, e temos que o nmero
  
 



n1
n1
de solues dessa ltima equao 43 = n+m1m
=
.
Logo,
c(m,
n)
=

m1
m1
m1 .
Corolrio 4.3.
c(n) = 2n1 ,

n 1.

Demonstrao. Seja n um inteiro positivo. O teorema binomial nos garante que

n
X
k=1

!
n1
= 2n1 .
k1

Usando esse resultado em conjunto com o teorema 4.2 e a definio de c(n), temos
c(n) =

n
X
m=1

c(m, n) =

n
X
m=1

!
n1
= 2n1 . 
m1

Definimos c(0) = p(0) = 1, j que 0 s pode ser escrito de uma nica maneira.

30

4.2

Composies de vetores

Consideramos, a partir daqui, um vetor como uma nupla de nmeros inteiros nonegativos. Um vetor de n elementos ser representado como (a1 , a2 , . . . , an ). Note que uma
soma dos elementos dos vetores representada como um produto interno. Por exemplo,
(m1 , m2 )(n1 , n2 ) = (m1 + n1 ,m2 + n2 ); essa notao ser usada no decorrer dessa seo e
no prximo captulo.
(i)

(i)

Definio 4.4. Uma partio de (a1 , . . . , ar ) um conjunto de vetores (b1 , . . . , br ) tal que
s
Y

(i)

(i)

(b1 , . . . , br ) = (a1 , . . . , ar ),

para 1 i s,

i=1

ou seja, b11 + + b1s = a1 , e assim por diante. A ordem no relevante, e s um inteiro positivo que representa o nmero de partes da partio. Se a ordem levada em considerao,
(1)

(1)

(s)

(s)

chamamos (b1 , . . . , br ), . . . , (b1 , . . . , br ) de composio do vetor (a1 , . . . , ar ).

Definio 4.5. Denotamos por P (a1 , . . . , ar ; m) o nmero de parties de (a1 , . . . , ar ) em m
partes; o nmero total de parties de (a1 , . . . , ar ) denotado por P (a1 , . . . , ar ). Analogamente, o nmero de composies de (a1 , . . . , ar ) em m partes c(a1 , . . . , ar ; m), e o total
de composies representado como c(a1 , . . . , ar ). Note que
X

P (a1 , . . . , ar ; m) = P (a1 , . . . , ar ),

m1

c(a1 , . . . , ar ; m) = c(a1 , . . . , ar ).

m1

Como exemplo, temos que P (2,1,1;2) = 5, que so as parties (2, 1, 0)(0, 1, 1), (2, 0,
1)(0, 1, 0),(2, 0, 0)(0, 1, 1),(1, 1, 0)(1, 0, 1) e (1, 1, 1)(1, 0, 0). Ainda, c(2,1,1;2) = 10, j que
cada partio acima gera 2 composies.
Teorema 4.6.
X

c(a1 , . . . , ar )t1 1 tr r =

a1 ,...,ar 0

1
.
4(1 t1 )(1 t2 ) (1 tr ) 2

Demonstrao. Em primeiro lugar, devemos notar que, para m 1, vale

m

X
X
a (1)
a
a
a
c(a1 , . . . , ar ; m)t1 1 tr r =
t1 1 tr r
a1 ,...,ar 0
no todos nulos
(2)

a1 ,...,ar 0
no todos nulos

m
1
1 .
(1 t1 )(1 t2 ) (1 tr )

Para justificar a igualdade (1), devemos retomar o raciocnio do captulo 2. A soma

a

infinita dos produtos ti i gera todos os possveis ai nos expoentes. Note que a soma de

31

vetores dada pelo produto interno; isso explica a potncia m do lado direito da igualdade,
j que elevando essas somas a um nmero inteiro, o que estamos fazendo multiplicar os
ti e gerar todas as possveis combinaes de vetores nos expoentes. Por exemplo, tomemos
r = m = 2. Para gerar c(a1 , a2 ; 2), temos a srie


t1 1 t2 2

2

 
a a
t1 1 t2 2


a a
t1 1 t2 2 .

a1 ,a2 0
no todos nulos

a1 ,a2 0
no todos nulos

a1 ,a2 0
no todos nulos

Veja que o produto de sries do lado direito representa o produto interno de vetores; cada
srie gera todos possveis vetores, logo esse produto gera todas as possveis composies
de 2 partes.
A igualdade (2) justificada pois (1 + t1 + t12 + ) = 1/(1 t1 ) e o produto
1
(1 t1 )(1 t2 ) (1 tr )
gera todas as sequncias possveis na soma, e um nmero 1 adicional, que ento subtrado.
A soma depois elevada potncia m.
Por convenincia, definimos c(0, 0, . . . , 0) = 1/2. Lembrando que

xm =

m=1

x
,
1x

temos
a

c(a1 , . . . , ar )t1 1 tr r

a1 ,...,ar 0
no todos nulos

X
1
+
2 m=1

c(a1 , . . . , ar ; m)t1 1 tr r

a1 ,...,ar 0
no todos nulos


m
X
1
1
= +
1
2 m=1 (1 t1 ) (1 tr )

1
1
1 (1 t1 ) (1 tr )
= +
1
2
2
(1 t1 ) (1 tr )
=

1
1 (1 t1 ) (1 tr )
+
2 2(1 t1 ) (1 tr ) 1

1 (1 t1 ) (1 tr ) 1/2
1 (1 t1 ) (1 tr )

+

2 (1 t1 ) (1 tr ) 1/2
2(1 t1 ) (1 tr ) 1

32

1/2
2(1 t1 ) (1 tr ) 1

1
.
4(1 t1 )(1 t2 ) (1 tr ) 2

Teorema 4.7. Seja m > 0. Ento

c(a1 , . . . , ar ; m) =

m
X

(1)

i=0

com

m
i

!
!
a1 + m i 1
ar + m i 1

,
a1
ar

!
a
= 0 se a < b.
b

Demonstrao. Duas identidades binomiais sero utilizadas na prova. So elas

n

(a b) =

n
X
k=0

(mi)

(1 t)

!
n
(1)k bk ank ,
k

X
k=0

(4.1)

!
k+mi1 k
t .
k

(4.2)

A equao 4.2 a expanso em srie de (1 t)(mi) , usando o teorema binomial generalizado, com |t| < 1.
Agora, segue a prova propriamente dita. Assumindo aqui c(0, 0, . . . , 0; m) = 0, temos
a

c(a1 , . . . , ar ; m)t1 1 tr r =

a1 ,...,ar 0

m
1
1
(1 t1 )(1 t2 ) (1 tr )

(4.3)

!
m
mi

X
m
1
=
(1)i
(1 t1 )(1 t2 ) (1 tr )
i
i=0

()

!
m
X
m
=
(1)i (1 t1 )(mi) (1 tr )(mi) .
i
i=0

(4.4)

A equao 4.3 explicada na demonstrao do teorema 4.6 e a igualdade () justificada

por 4.1. Utilizando a expanso em srie para os (1 tk )(mi) , 1 k r , a equao 4.4 fica
!
!
!
m
X
X a1 + m i 1 a
X ar + m i 1 a
m
1
i
tr r
(1)
t1
i
a
a
1
r
a 0
a 0
i=0
r

m
X

a1 ,...,ar 0

i=0

(1)

m
i

!
!!
a1 + m i 1
ar + m i 1
a
a

t1 1 tr r .
a1
ar

(4.5)

Por unicidade das funes geradoras, basta agora comparar os coeficientes de t1 1 tr r

em 4.3 e 4.5 para estabelecer o resultado.

33

Aplicaes da teoria das parties

Nesse captulo trataremos do problema de Simon Newcomb, uma aplicao da teoria

das parties mais especificamente das composies de vetores estudadas no captulo
anterior.

5.1

Noes preliminares

Definio 5.1. Uma permutao do conjunto {1 , 2 , . . ., n } um arranjo de todos elementos do conjunto numa sequncia da forma 1 2 . . . n , com i {1, 2, . . . , n}.
Definio 5.2. Dada uma permutao 1 2 . . . n do conjunto {1 , 2 , . . ., n }, e supondo que
os elementos i admitem uma ordenao, uma rodada dessa permutao uma sequncia
ascendente 1 2 . . . k tal que 1 2 k , com i {1, 2, . . . , n} e k n.
Na tabela 5.1 esto listadas as rodadas de todas as permutaes do conjunto {1, 2, 3}.
Permutao
{1, 2, 3}
{1, 3, 2}
{2, 1, 3}
{2, 3, 1}
{3, 1, 2}
{3, 2, 1}

Rodadas
{1, 2, 3}
{1, 3}, {2}
{2}, {1, 3}
{2, 3}, {1}
{3}, {1, 2}
{3}, {2}, {1}

Tabela 5.1
Definio 5.3. Um multiset um conjunto com elementos possivelmente repetidos. O multiset M pode ser representado por um par ordenado (C, f ), em que C um conjunto e f : C N
uma funo; para cada m C, f (m) dita a multiplicidade de m, ou seja, essa funo
conta quantas vezes o elemento m aparece no multiset M.
Se M finito e possui r elementos, denotados por mk , 1 k r , cada qual aparecendo
f (mk ) vezes, podemos escrever
f (m1 )

M = (C, f ) = {m1

f (m2 )

m2

f (mr )

. . . mr

}.

34

Um exemplo de multiset {13 25 32 } = {1112222233}.

Definio 5.4. Denotamos por LM a cardinalidade (nmero de elementos) do multiset M =
f (m1 )

{m1

f (m2 )

m2

f (mr )

. . . mr

}. Claramente temos que

LM =

r
X

f (mj ),

j=1

j que basta somar as multiplicidades para que todos os elementos sejam contados.
f (m1 )

Definio 5.5. Uma permutao do multiset M = {m1

f (m2 )

m2

f (mr )

. . . mr

} uma sequn-

cia 1 2 . . . k com LM elementos, tal que i {1, 2, . . . , r }; cada mi aparece f (mi ) vezes
na sequncia.
Uma permutao de um multiset M pode ser entendida como uma palavra em que
cada letra pertence a M = (C, f ) e para cada m C, o nmero de vezes que m aparece
na palavra dado pela sua funo de multiplicidade. Logo, o conjunto de permutaes
de um multiset nada mais do que todas as maneiras possveis de dispor seus elementos.
Como exemplo, 2 permutaes do multiset {13 25 32 } so: {3212232112} e {2112322321}.
Naturalmente, cada permutao do multiset M = {1a1 . . . r ar } contm LM 1 pares de elementos da forma i i+1 . Como exemplo, veja a permutao 23357 do multiset {21 32 51 71 },
que apresenta os pares 23, 33, 35, 57.

5.2

O problema de Simon Newcomb

Para entender o problema dito de Simon Newcomb 1 , imagine um baralho com cartas de
especificao arbitrria, por exemplo, a1 cartas do tipo 1, a2 do tipo 2, e assim por diante,
at ar do tipo r . Podemos considerar as cartas como elementos de um multiset M, e os i
como sua multiplicidade. Retiramos uma a uma as cartas desse baralho, distribuindo-nas
numa nica pilha enquanto as cartas sarem em ordem crescente (cartas iguais so tambm
consideradas crescentes), e ao sair uma carta fora dessa ordem, comeamos uma nova pilha.
Considerando todos os modos de arranjar inicialmente esse baralho (ou todas as permutaes do multiset M), desejamos saber de quantas formas n pilhas aparecero, isto ,
quantas so as permutaes de M com n rodadas. A seguinte definio formaliza o problema.
Definio 5.6. Seja N(a1 ,. . .,ar ; n) o nmero de permutaes do multiset {1a1 . . . r ar } com
exatamente n rodadas. O problema de Simon Newcomb consiste em determinar uma frmula fechada para N(a1 , a2 , . . . , ar ; n).
1 Astrnomo

canadense/norte-americano com trabalhos tambm em matemtica e economia mais informaes em [15].

35

O teorema 5.9 nos fornece uma interpretao combinatria chave para a soluo do
problema, ao passo que o teorema 5.10 apresenta uma frmula para N(a1 ,. . .,ar ; n). Alguns
lemas necessrios so apresentados abaixo.
Lema 5.7. Sejam (an ) e (bn ) duas sequncias de nmeros inteiros. As relaes
an =

n1
X

!
r n+j
bnj ,
j

j=0

bn =

n1
X

n 1, e

!
r n+j
(1)j anj ,
j

j=0

(5.1)

n 1

(5.2)

so equivalentes.
Demonstrao. Em primeiro lugar, observarmos que apenas necessrio provar que 5.2
0

implica 5.1, pois uma vez que isso feito, basta tomarmos bn = (1)n bn e an = (1)n an e
a recproca fica provada.
Vamos considerar as funes geradoras
f (x) =

an x n

g(x) =

n=1

bn x n .

n=1

Temos que
!
n1
X
X r n+j
f (x) =
bnj x n
j
n=1 j=0
X
n
X

!
r j
bj x n
nj

n=1 j=1
()

X
j=1 n=j

!
r j
bj x n+j
n

j=1 n=0
()

!
r j
bj x n
nj

bj (1 + x)r j x j

j=1


x
,
= (1 + x) g
1+x
r

(5.3)

em que na igualdade () somente arranjamos os termos da srie de maneira diferente, e na

igualdade () aplicamos o teorema binomial generalizado.

36

Por outro lado tambm vale, analogamente,

!
n1
X
X r n+j
g(x) =
(1)j anj x n
j
n=1 j=0
=

X
n
X

!
r j
(1)nj aj x n
nj

n=1 j=1

!
r j
(1)nj aj x n
nj

j=1 n=j

!
r j
(1)n aj x n+j
n

j=1 n=0

aj (1 x)r j x j

j=1

= (1 x) f

Agora, observe que tomando x 0 =

x
1+x

x
f (x) = (1 + x) g
1+x
r

x
1x

x=


(5.4)

x0
1x 0 ,

por 5.3, temos

r
x0
f
g(x 0 )
1 x0


x0
0
0 r
,
g(x ) = (1 x ) f
1 x0


x0
1 x0


= 1+

e portanto, (5.3) (5.4). Analogamente, temos que (5.4) (5.3); assim, pela unicidade da
funo geradora (veja lema 2.2), vale que (5.1) a (5.2).

Lema 5.8. Sejam A, s e n inteiros no-negativos. Ento vale

!
!
!
X
An+j
nj
A+1
=
.
j
i
s
i+j=s
i0,j0

Demonstrao. Considere a funo geradora (|x| < 1)

!
!
X
X
An+j
nj

x ,

j
i
s=0
i+j=s

(5.5)

i0,j0

que pode ser reescrita como

!
!
!

X
X
X
A

n
+
j
n

j
A

n
+
j
j
i

x
x =
x j (1 + x)nj
j
j
i
i=0
j=0
j=0
n

= (1 + x)

X
j=0

(A n + 1) + j 1
j

!

x
1+x

j
.

(5.6)

37

Sabemos que vale, pelo teorema binomial,

!

X
n+k1 k
1
,
x =
(1 x)n
k
k=0
e portanto 5.6 se torna
(1 + x)n 
1

1
n
An+1
= (1 + x)A+1
An+1 = (1 + x) (1 + x)
x
1+x

X
A+1 s
=
x .
s
s=0

(5.7)

Comparando os coeficientes de 5.5 e 5.7 temos o resultado.

Teorema 5.9. Seja n > 0. Ento

c(a1 , . . . , ar ; n) =

n1
X
j=0

!
a1 + + ar n + j
N(a1 , . . . , ar ; n j).
j

(5.8)

Demonstrao. Denotaremos por M o multiset {1a1 . . . r ar }. Vamos atribuir um significado

combinatrio para c(a1 , . . ., ar ; n) e N(a1 , . . ., ar ; n j). Veja que c(a1 , . . ., ar ; n) conta o
nmero de maneiras de distribuir a1 bolas do tipo 1, a2 bolas do tipo 2, e assim por diante,
em n urnas distinguveis, tal que nenhuma urna fique vazia imagine bolas do tipo 1 como
bolas marcadas com o nmero 1, e assim para todos os tipos. Observe que a composio
(1)

(1)

(2)

(2)

(n)

(b1 . . . br )(b1 . . . br ) (b1

(j)

de (a1 , . . ., ar ) corresponde distribuio que tem bi

(n)

. . . br )

bolas do tipo i na urna j. Como

exemplo, tomemos c(2, 3; 4), que conta o nmero de maneiras de distribuir 2 bolas do tipo 1 e
3 bolas do tipo 2 em 4 urnas; a combinao (1, 1)(0, 1)(1, 0)(0, 1) corresponde distribuio
com uma bola de cada tipo na urna 1, uma bola do tipo 2 na urna 2, uma bola do tipo 1 na
urna 3 e uma bola do tipo 2 na urna 4.
O significado de N(a1 , . . ., ar ; n j) parecido. Note que ao contrrio de c(a1 , . . .,
ar ; n), a funo N(a1 , . . ., ar ; n j) no enumera todas as possveis distribuies, mas
apenas aquelas em que o menor elemento de cada urna estritamente menor do que o
maior elemento da urna anterior para visualizar esse fato, veja na tabela 5.1 o caso de 2
rodadas.
Consideramos agora cada bola do tipo i como sendo o nmero i. Apresentaremos um
mtodo para associar cada permutao contada por N(a1 , . . ., ar ; n j) a um conjunto nico
de distribuies contadas por c(a1 , . . ., ar ; n); em primeiro lugar, vejamos um exemplo.
Tomemos n = 4, j = 2, a1 = 2 e a2 = 3. Temos ento, por uma lado, c(2, 3; 4) enumerando

38

todas as distribuies de 2 bolas do tipo 1 e 3 bolas do tipo 2 em 4 urnas, e por outro lado,
N(2, 3; 42) = N(2, 3; 2) contando todas as permutaes do multiset {12 23 } com exatamente
2 rodadas. Vamos pegar como exemplo as permutaes 12212 e 21122 do multiset, cada uma
com 2 rodadas. Associaremos cada uma dessas permutaes a um conjunto de combinaes
contadas por c(2, 3; 4); na figura 5.1 podemos ver o resultado.
Permutao

Pares

Barras pontilhadas

Composio associada

12212

12212

12212

(1, 0)(0, 1)(0, 1)(1, 1)

12212

12212

12212

(1, 0)(0, 2)(1, 0)(0, 1)

12212

12212

12212

(1, 1)(0, 1)(1, 0)(0, 1)

21122

21122

21122

(0, 1)(1, 0)(1, 0)(0, 2)

21122

21122

21122

(0, 1)(1, 0)(1, 1)(0, 1)

21122

21122

21122

(0, 1)(2, 0)(0, 1)(0, 1)

Figura 5.1
O mtodo consiste no seguinte: colocamos uma linha vertical (a linha no-pontilhada
da figura 5.1) entre cada uma das n j rodadas da permutao dada; temos ento (LM
1) (n j 1) = (a1 + + ar 1) (n j 1) pares de elementos que no possuem barras
verticais entre si na figura 5.1 so indicados com um ponto em cima do par. Colocamos
uma barra vertical pontilhada entre j desses pares; temos ento uma distribuio contada
por c(a1 , . . ., ar ; n).
Dado que o conjunto de j barras verticais pontilhadas pode ser alocado de
!
!
(LM 1) (n j 1)
a1 + + ar n + j
=
j
j
maneiras, vemos que exatamente essa quantidade de distribuies contadas por c(a1 , . . . , ar ; n)
corresponde a uma nica permutao contada por N(a1 , . . . , ar ; n j). Logo,
n
X

!
a1 + + ar n + j
c(a1 , . . . , ar ; n) =
N(a1 , . . . , ar ; n j)
j
j=0
!
n1
() X a1 + + ar n + j
=
N(a1 , . . . , ar ; n j).
j
j=0
A igualdade () se justifica j que claramente N(a1 , . . . , ar ; 0) = 0, pois no h permutao com 0 rodadas.

39

Teorema 5.10. Para n > 0, temos

N(a1 , a2 , , ar ; n)

n1
X

(1)

!
!
!
a1 + + ar + 1 n + a1 1 s
n + a2 1 s
s
a1
a2

s=0

!
n + ar 1 s

.
ar
Demonstrao. A prova segue como uma sequncia de aplicaes de resultados anteriores
na equao 5.8.
Seja an = c(a1 ,. . .,ar ; n) e bn = N(a1 ,. . .,ar ; n). Pelo teorema anterior, vale
an =

n1
X

!
a1 + + ar n + j
bnj .
j

j=0

Logo, pelo lema 5.7, temos que

n1
X

bn =

(1)j

!
a1 + + ar n + j
anj ,
j

(1)j

!
a1 + + ar n + j
c(a1 , . . . , ar ; n j).
j

j=0

e portanto
n1
X

N(a1 , . . . , ar ; n) =

j=0

(5.9)

Pelo teorema 4.7, temos

m
X

c(a1 , . . . , ar ; m) =

(1)

m
i

i=0

!
!
a1 + m i 1
ar + m i 1

.
a1
ar

Aplicando 5.10 na equao 5.9, obtemos

N(a1 , . . . , ar ; n) =

n1
X
j=0

nj

nj
i

(1)

i=0
()

n
X

(1)

s=0

X
i+j=s
i0,j0

(1)

a1 + + ar n + j
j

!
!
a1 + n j i 1
ar + n j i 1

a1
ar

!
!
a1 + n s 1
ar + n s 1

a1
ar

a1 + + ar n + j
j

!
nj
.
i

(5.10)

40

A equao () justificada ao fazermos i+j = s. Aplicando o lema 5.8 (com A = a1 + +ar )

na equao acima, obtemos o resultado.

41

Referncias Bibliogrficas

[1] Andrews, G. E. The Theory of Partitions. Lexington: Cambridge University Press, 1998.
255 p. (ENCYCLOPEDIA OF MATHEMATICS and Its Applications, 2).
[2] Brietzke, E. H. de M.; Santos, J. P. de O.; da Silva, R. Bijective proofs using two-line matrix
representations for partitions. The Ramanujan Journal, Springer, v. 23, n. 1, p. 265295,
2010.
[3] Apostol, T. M. Mathematical Analysis. 2nd ed. [S.l.]: Addison Wesley, 1974. 492 p.
[4] Graham, R. L.; Knuth, D. E.; Patashnik, O. Concrete Mathematics: A Foundation for Computer Science. 2nd ed. [S.l.]: Addison-Wesley Professional, 1994. 672 p.
[5] Lando, S. K. Lectures on Generating Functions. [S.l.]: American Mathematical Society,
2003. 148 p. (Student Mathematical Library).
[6] Apostol, T. M. Introduction to Analytic Number Theory. [S.l.]: Springer, 1976. 338 p.
(Undergraduate Texts in Mathematics).
[7] Santos, J. P. de O. Introduo Teoria dos Nmeros. 3. ed. Rio de Janeiro: Instituto de
Matemtica Pura e Aplicada, 2003. 198 p. (Coleo Matemtica Universitria).
[8] Andrews, G. E. Partitions: At the interface of q-series and modular forms. The Ramanujan
Journal, v. 7, n. 1, p. 385400, 2003.
[9] Rademacher, H. On the partition function p(n). Proceedings of the London Mathematical
Society, Oxford University Press, v. 2, n. 1, p. 241, 1938.
[10] Rademacher, H. On the expansion of the partition function in a series. The Annals of
Mathematics, Princeton University Press, v. 44, n. 3, p. 416422, 1943.
[11] Apostol, T. M. Modular Functions and Dirichlet Series in Number Theory. 2nd ed. [S.l.]:
Springer, 1989. 224 p. (Graduate Texts in Mathematics, 41).
[12] Pak, I. Partition bijections, a survey. The Ramanujan Journal, v. 12, p. 575, 2006.
[13] Andrews, G. E.; Eriksson, K. Integer Partitions. [S.l.]: Cambridge University Press, 2004.
141 p.
[14] Marti, A. On elementary lower bounds for the partition function. Integers: Electronic
Journal of Combinatorial Number Theory, v. 3, n. A10, p. 2, 2003.
[15] Carter, B.; Carter, M. S. Simon Newcomb: Americas Unofficial Astronomer Royal. [S.l.]:
Mantanzas Publishing, 2006. 228 p.