UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL

INSTITUTO DE MATEMTICA E ESTATSTICA

DEPARTAMENTO DE MATEMTICA PURA E APLICADA
II SEMANA ACADMICA DA PS-GRADUAO EM MATEMTICA

FORMAS PONDERADAS DO TEOREMA DE EULER E ALGUNS RESULTADOS

SOBRE PARTIES COM RAIZ

Eduardo Alves da Silva, alvesdasilva_eduardo@yahoo.com.br 1

Professor orientador: Eduardo Henrique de Mattos Brietzke, brietzke@mat.ufrgs.br 2

1. INTRODUO

Pode-se dizer que a utilizao de funes geradoras uma das principais ferramentas para a so-
luo de problemas de contagem. Segundo Santos et. al [2] esta tcnica foi originria nos trabalhos
de A. De Moivre (1667-1754), tendo sido amplamente empregada por L. Euler (1707-1783) em pro-
blemas de teoria aditiva de nmeros, especicamente na teoria de parties. Este mtodo tambm
foi aplicado por outros matemticos para estudar problemas de outras reas. Neste trabalho nos
atentaremos para a teoria de parties tendo em conta as funes geradoras, particularmente para
formas ponderadas do Teorema de Euler e alguns resultados sobre parties com raiz.

2. PROPOSITURAS

O artigo de Chen e Ji [1] em resposta ao questionamento de G. E. Andrews, matemtico estadu-

nidense, sobre encontrar demonstraes combinatrias de duas identidades no Caderno "Perdido"de
Ramanujan nos mostra algumas formas ponderadas do Teorema de Euler sobre parties com partes
mpares e partes distintas via a introduo do conceito de partio com raiz.
A propositura deste trabalho envolta apresentao de resultados sobre parties com raiz de
modo a posteriormente realizar formulaes combinatrias das identidades de Ramanujan por meio
deste conceito, procurando estabelecer conexes com o Teorema de Euler. Em particular, a bijeo
de Sylvester um dos elementos primordiais nas formas ponderadas deste resultado.

3. DEFINIES GERAIS

Se an , para n = 0, 1, 2, ... o nmero de solues de um problema de combinatria, a funo

geradora ordinria para este problema a srie de potncias formal a0 + a1 x + a2 x2 + a3 x3 + .... De
modo geral, dada a sequncia (an ), a funo geradora ordinria para esta sequncia denida como
a srie de potncias formal anterior.
Uma partio de Prum inteiro positivo n uma sequncia no-crescente de inteiros positivos
1 , 2 , ..., r tais que i=1 i = n. Ento cada i chamado parte de e 1 sua maior parte. O
nmero de partes de chamado o comprimento de e denotado por l().
Para uma partio = (1 , ..., r ) denimos a partio conjugada 0 = (01 , 02 , ..., 0t ) de atri-
buindo a 0i o nmero de partes de que so maiores ou iguais a i. Claramente, temos que l() = 01
e 1 = l(0 ).

4. TEOREMA DE EULER E A BIJEO DE SYLVESTER

Teorema de Euler: O nmero de parties de n em partes distintas igual ao nmero de parties

de n em partes mpares. Em termos de funes geradoras para ambos os conjuntos respectivamente

1 Estudante do curso de Mestrado em Matemtica do Programa de Ps-Graduao em Matemtica da Universidade

Federal do Rio Grande do Sul.
2 Professor titular da Universidade Federal do Rio Grande do Sul.

1
temos a seguinte identidade (q; q) = 1/(q; q 2 ) .

A notao em questo a extenso natural do fatorial q -deslocado denido por (x; q)0 = 1 e para
n 1 como (x, q)n = (1 x)(1 qx) (1 q n1 x).
A bijeo de Sylvester uma correspondncia entre os conjuntos anteriores. Dada uma partio
de n em partes mpares, represente cada parte 2m + 1 por uma la de m 2's e um 1 no nal. Este
diagrama chamado diagrama 2-modular de .
Decomponha tal diagrama em ganchos H1 , H2 , ... com seus cantos formando uma diagonal. Seja
1 o nmero de quadrados em H1 , seja 2 o nmero de 2's em H1 , eja 3 o nmero de quadrados em
H2 , seja 4 o nmero de 2's em H2 e assim por diante. Dena () = (1 , 2 , 3 , ...). Ento ()
claramente uma partio em partes distintas como na gura a seguir.

Bijeo de Sylvester : (7, 7, 5, 5, 3, 1) 7 (9, 7, 6, 4, 2)

5. PARTIES COM RAIZ

Uma partio com raiz de n pode ser formalmente denida como um par de parties (, ), onde
|| + || = n e uma partio no vazia com partes iguais. Intuitivamente, uma partio com raiz
uma partio em que algumas partes so representadas com uma barra superior, sendo essas partes
todas iguais. A unio das partes de e considerada como as partes da partio com raiz (, ).
Por exemplo, existem doze parties com raiz de 4: 4, 3 + 1, 3 + 1, 2 + 2, 2 + 2, 2 + 1 + 1, 2 + 1 +
1, 2 + 1 + 1, 1 + 1 + 1 + 1, 1 + 1 + 1 + 1, 1 + 1 + 1 + 1, 1 + 1 + 1 + 1.
Uma partio com raiz (, ) dita ser com partes quase distintas se tem partes distintas.

6. RESULTADOS

Teorema 1: O nmero de parties de n com raiz em partes quase distintas com tamanho da
raiz par mais o nmero de parties com raiz de n com partes distintas igual ao nmero de parti-
es com raiz de n com partes mpares.

Teorema 2 (Forma ponderada do Teorema de Euler): O nmero de parties com raiz de n

em partes quase distintas com tamanho da raiz mpar igual ao nmero de parties com raiz de n
com partes mpares.

6. CONSIDERAES AT O PRESENTE MOMENTO

Por meio da bijeo de Sylvester e dos resultados anteriores podemos ainda encontrar relaes
entre parties com raiz e ordinrias ambas com partes distintas. Para estudos futuros, a ideia
utilizar os resultados para transformar as formulaes das identidades de Ramanujan com parties
com raiz para conguraes combinatrias de parties ordinrias, assim como explorar outras for-
mas de parties com raiz com caractersticas distintas das j estudadas.

REFERNCIAS

[1] William Y. C. Chen, Kathy Q. Ji. Weighted Forms of Euler's Theorem: Center for Combinatorics,
LPMC, Nankai University Tianjin, P.R. China, 2005.
[2] Jos Plnio O. Santos, Margarida P. Melo, Idani T. C. Murari. Introduo Anlise Combinatria
4 ed. Rio de Janeiro, Cincia Moderna, 2007.