1.1.

Somatrios e Produtrios

Como as somas e os produtos surgem to frequentemente no estudo da teoria

dos nmeros, introduzimos agora notao para somas e produtos. Sejam os n > 1
inteiros. Para indicar, de modo abreviado, a soma desses n inteiros usa-se a notao:

=1

que se l: somatrio de 1 a n.
Em particular, para n = 2, 3,..., temos:

2 3

a i a1 a 2 ,
i 1
a
i 1
i a1 a 2 a 3 , ...

A letra i chama-se o ndice do somatrio e pode ser substituda por qualquer

outra diferente de a e de n um ndice mudo. E os inteiros 1 e n que figuram abaixo e
acima da letra grega maiscula (sigma) chamam-se respectivamente limite inferior e
limite superior do ndice i.
O nmero de parcelas de um somatrio sempre igual diferena entre os
limites superior e inferior do seu ndice mais uma unidade.
Se m e n so dois inteiros, com, ento, por definio:

a
im
i a m a m 1 a m 2 ...a n
Exemplo 1.19. Podemos ver que

5i 5.1 5.2 5.3 5.4 5.5 5.6 5.7 ,

i 1

5 10 15 20 25 30 35 140

8 j 3 8.1 3 8.2 3 8.3 3 8.4 3 ,

j 1

5 13 21 29 68

k.2
k 3
k
3.23 4.44 5.25 6.26 7.27 8.28

24 64 160 384 896 2048 3576

Observamos tambm que, na notao de soma, o ndice do somatrio pode

variar entre dois nmeros inteiros, desde que o limite inferior no exceda o limite
superior. Por exemplo, temos

2 = 32 + 42 + 52 = 50,
=3
2

3 = 30 + 31 + 32 = 13,
=0

3 = (2)3 + (1)3 + (0)3 + 13 = 8.

=2

Muitas vezes precisamos considerar somas em que o ndice do somatrio varia

sobre todos aqueles inteiros que possuem uma propriedade particular. Podemos usar a
notao de somatrio para especificar uma propriedade particular ou propriedades que
o ndice deve ter para um termo com esse ndice a ser includo na soma. Este uso da
notao ilustrado no exemplo a seguir.

Exemplo 1.20. Vemos que

1 1 1 1 1 9
= + + + =
+ 1 1 2 5 10 5
10
{2 |}
porque os termos na soma so todos aqueles para os quais o inteiro j um quadrado
perfeito no superior a 10. Isto , j=0, 1,4 e 9.

As trs propriedades seguintes para somatrios so frequentemente teis.

Deixamos suas provas nos Divertimentos.

n n n
(1.1) (a i bi ) a i bi .
i 1 i 1 i 1

n n

(1.2) ka
i 1
i k ai .
i 1

20
Por exemplo, calcular (5i 2) . De acordo com as propriedades anteriores,
i 1

20 20 20 20

(5i 2) 5i 2 5 i 20.2 5(1 2 ... 20) 40

i 1 i 1 i 1 i 1

1
5. (1 20)20 40 5.210 40 1090
2

(1.3) = ( ) ( ) =
= = = = = =

Por exemplo, calcular

2 3

2 3 .
=1 =2

De acordo com a propriedade anterior,

3 4 3 4

2 3 = ( 2 ) ( 3 ) = (2 + 22 + 23 )(32 + 33 + 34 ) = 1638.
=1 =2 =1 =2

4 3 4 3

3 2 = ( 3 ) ( 2 ) = (32 + 33 + 34 )(2 + 22 + 23 ) = 1638.

=2 =1 =2 =1

Em seguida, desenvolvemos vrias frmulas teis de somatrios. Muitas vezes

precisamos avaliar somas de termos consecutivos de uma srie geomtrica. O exemplo a
seguir mostra como uma frmula para tais somas pode ser derivada.
Exemplo 1.21. Avalie

=
=0

a soma dos primeiros n + 1 termos das sries geomtricas a, ar,..., ark,..., multiplicamos
ambos os lados por r e manipulamos a soma resultante para encontrar:

= = +1 =
=0 =0

+1

(deslocando o ndice de soma, tomando k = j + 1)

=1

= + ( +1 ) (removendo o termo com k = n + 1 do conjunto e adicionando o termo k

=0

= 0
=S + ( +1 ).

Segue que

= ( +1 ).

Resolvendo para S, temos para 1,

+1
= .
1

Observe que para r = 1, temos

= = ( + 1).
=0 =0

Exemplo 1.22. Fazendo a = 3, r = -5, e n = 6 na frmula do Exemplo 1.21, temos que

3(5)7 3
= 39 063.
5 1
=0

O exemplo seguinte mostra que a soma das primeiras n potncias consecutivas

de 2 1 menos que a prxima potncia de 2.

Exemplo 1.23. Seja n um inteiro positivo. Para encontrar a soma

2 = 1 + 2 + 22 + + 2 ,
=0
Usamos o Exemplo 1.21. com a = 1 e r = 2, para obter

2
2+1 1

1 + 2 + 2 ++ 2 = = 2+1 1.
21

Um somatrio da forma

( 1 ),
=1

onde a0, a1, ...an uma sequncia de nmeros, chamada de telescpica. Somas
telescpicas so facilmente calculadas por que

( 1 ) = (1 0 ) + (2 1 ) + + ( 1 ) = ( 0 )
=1

Os gregos antigos estavam interessados em sequncias de nmeros que podem ser

representadas por arranjos regulares de pontos igualmente espaados. O exemplo
seguinte ilustra uma tal sequncia de nmeros.

Exemplo 1.24. Os nmeros triangulares t1, t2, t3,...,tk,... formam uma sequncia onde
tk o nmero de pontos na matriz triangular de k linhas com j pontos na j-sima linha.

A Figura 1.2.1 abaixo ilustra que tk conta os pontos em tringulos regulares

sucessivamente maiores para k = 1, 2, 3, 4 e 5.
 Figura 1.2.1. Nmeros Triangulares

Em seguida, determinaremos uma frmula explcita para o n-simo nmero triangular

tn.

Exemplo 1.25. Como podemos encontrar uma frmula para o n-simo nmero
triangular? Uma abordagem usar a identidade (k + 1)2 k2 = 2k + 1. Quando isolamos
(+1)2 2 1
o fator k do lado esquerdo, encontramos = . quando somamos esta
2 2

expresso para k = 1, 2, ..., n, obtemos

=
=1

( + 1)2 2 1
( )
2 2
=1 =1

(+1)2 2 1
(substituindo k por )
2 2

(+1)2 1
=( )
2 2 2

(2 +2)
=
2 2

(2 +) (+1)
= = .
2 2

(+1)
Conclumos que o n-simo nmero triangular dado por tn = .
2

Tambm definimos uma notao para os produtos, anloga quela para as

somas. O produto dos nmeros a1, a2, ..., an denotado por

= 1 2 .
=1

Exemplo 1.26. Para ilustrar a notao de produtrio, temos

 6

3i 3.1 3.2 3.3 3.4 3.5 3.6

i 1

=3.6.9.12.15.18=524880
4

5 j 3 5.1 3 5.2 3 5.3 3 5.4 3

j 1

=2.7.12.17 2856

A funo fatorial surge em toda a teoria dos nmeros.

Definio: Seja n um inteiro positivo. Ento n! (l-se "n fatorial") o produto dos
inteiros 1, 2,. . . , n. Tambm especificamos que 0! = 1. Em termos de notao de
produtrio, temos ! = =1 .

DIVERTIMENTOS ARITMTICOS 1.2

1. Encontre cada uma das seguintes somas.

1
) 5=1 2 b) 5=1(3) c) 5=1 d) 4=0 3 e) 4=0( 3)
+1

+1 1
f) 4=0 g) 8=1 2 h) 5=1 5(3) i) 5=1 3( ) j) 10
=0 8.3

+2 2

1
k) 10
=0(2)
+1
l) 10
=0( )

3

2. Encontre e prove uma frmula para =1 em termos de n e .

(+1)(2+1)
(Sugesto: Use a frmula =1 2 = ).
6

3. Juntando dois arranjos triangulares, um com n linhas e o outro com n-1 linhas,
forma-se um quadrado (como ilustrado para n = 4), mostre que tn-1+tn=n2, onde
tn o n-simo nmero triangular.
4. Juntando dois arranjos triangulares, cada um com n linhas forma-se um
retngulo de tamanho n por n+1 ( como ilustrado para n = 4), mostre que
2tn-1 = n(n+1). Da, conclua que tn =n(n+1)/2.

5. Mostre que 3tn+tn-1=t2n , onde tn o ensimo nmero triangular.

2
6. Mostre que +1 2 = ( + 1)3 , onde tn o ensimo nmero triangular.

7. Os nmeros pentagonais so uma sequncia de nmeros que se podem

representar sob a forma de pentgonos. Fazem parte dos chamados nmeros
poligonais.

8. Mostre que 1 = 1e = 1 + (3 2) para 2. Conclua que =

=1(3 2) e calcule a soma para determinar uma frmula para .

9. Prove que a soma dos (n 1) nmeros triangulares com o ensimo nmero

quadrado igual ao ensimo nmero pentagonal.
 10. a) Defina os nmeros hexagonais hn para n=1, 2, 3... de maneira anloga as
definies de nmero triangular, quadrado e pentagonal.

b)Determine uma frmula para os nmeros hexagonais.

11. a) Defina os nmeros heptagonais de maneira anloga as definies de nmero

triangular, quadrado e pentagonal.
b) Determine uma frmula para os nmeros heptagonais.

12. Mostre que = 21 para todo inteiro positivo n onde hn o ensimo nmero
hexagonal, definido no exerccio 10, e t2n-1 o (2n-1) nmero triangular.

13. Mostre que = 31 /3 onde pn o ensimo nmero pentagonal , definido

no exerccio 11, e t3n-1 o (3n-1) nmero triangular.

Os nmeros tetradricos T1, T2, T3, ..., Tk, ... so definidos como o nmero de
pontos necessrios para construir uma sequncia de tetraedros, tendo em conta que as
bases da pirmide so triangulares e, portanto constitudas por nmeros triangulares.

14. Mostre que o ensimo nmero tetradrico a soma dos n primeiros nmeros
triangulares.

15. Determine uma frmula para o ensimo nmero tetradrico.

16. Encontre n! para os 10 primeiros inteiros positivos n.

17. Liste os inteiros 100!, 100100, 2100 e (50!)2 em ordem decrescente. Justifique sua
resposta.
18. Expresse cada um dos seguintes produtos em termos de =1 , onde k uma
constante.

a) =1 b) =1 c) =1

1 1 1 1
19. Use a identidade = para calcular =1 .
(+1) +1 (+1)

1 1 1 1 1
20. Use a identidade = ( ) para calcular =2 .
2 1 2 1 +1 2 +1

2
21. Encontre uma frmula para =1 usando uma tcnica anloga ao do exerccio
19 e a frmula dada.

3
22. Encontre uma frmula para =1 usando os resultados do exerccio 19.

23. Sem multiplicar todos os termos, verifique as igualdades.

a) 10! = 6! 7! b) 10!=7! 5! 3! c) 16! = 14! 5! 2! d) 9! = 7! 3! 3! 2!

24. Sejam a1, a2, ..., na inteiros positivos. Seja b = (a1!a2!...an!)-1 e c = a1!a2!...an!.
Mostre que c = a1!a2!...an!b!.

25. Encontre todos os inteiros positivos x, y e z tais que x! + y! = z!

26. Encontre o valor dos seguintes produtos.

1 1
a) =2 1 b) =2 1
2

27. Prove as seguintes propriedades

n n n
(1.1) (a
i 1
i bi ) a i bi
i 1 i 1

n n
(1.2) kai 1
i k ai
i 1

(1.3)
= = = (= )(= ) = = =
 1.2. Induo Matemtica

As cincias naturais utilizam o mtodo chamado induo emprica para

formular leis que devem reger determinados fenmenos a partir de um grande nmero
de observaes particulares, selecionadas adequadamente. Esse tipo de procedimento,
embora no seja uma demonstrao de que um dado fato logicamente verdadeiro,
frequentemente satisfatrio. Por exemplo: ningum duvidaria de que quando um corpo
liberado ao seu prprio peso, no vcuo, na superfcie da terra, ele cai segundo a vertical
do local.
A validade de um teorema matemtico se estabelece de forma totalmente
diferente. Verificar que certa afirmao verdadeira num grande nmero de casos
particulares no nos permitir concluir que ela vlida.
Para demonstrar a verdade de uma sequncia infinita de proposies, uma para
cada inteiro positivo, introduziremos o chamado mtodo de recorrncia ou induo
matemtica. Examinando as somas dos primeiros n primeiros nmeros mpares para
pequenos valores de n, podemos conjecturar uma frmula para esta soma. Temos
1 = 1 = 12
1+ 3 = 4 = 22
1+ 3+ 5 = 9 = 32
1+ 3+ 5+ 7 = 16 = 42
1+ 3+ 5+ 7+9 = 25 = 52

A partir destes valores, conjecturamos que =1(2 1) = 1 + 3 + 5 + +
2n-1= n2 para cada inteiro positivo n.
Para podemos provar que essa frmula vlida para todos os inteiros positivos
n, faremos uso da induo matemtica. Quando uma proposio enunciada em termos
de nmeros naturais, o Princpio de induo matemtica constitui um eficiente
instrumento para demonstrar a proposio no caso geral.
 Na prtica, o mtodo pode ser entendido por um artifcio muito simples.
Vamos supor que temos uma srie de domins idnticos colocados em fila, que comea
por um deles e prossegue indefinidamente.

Nosso objetivo - empurrando apenas um domin - garantir que todos caiam.

Como derrubar todos os domins? Para isso, basta nos assegurarmos de que:

1) O primeiro domin cai;

2) Os domins esto dispostos de tal modo que qualquer um deles - toda vez que
cai -, automaticamente, empurra o domin seguinte e o faz cair tambm.

Assim, mesmo que a fila se estenda indefinidamente, podemos afirmar que

todos os domins cairo.

Vamos estabelecer matematicamente esses procedimentos.

Teorema 1.6. Primeiro Princpio da Induo Matemtica. Seja S um subconjunto

do conjunto N dos inteiros positivos ( S N ) que satisfaz as duas seguintes condies:

i) 1 pertence a S ( 1 S );
 ii) para todo inteiro k, se k S , ento (k 1) S .

Nestas condies, S o conjunto N dos inteiros positivo: S = N.

Prova. Suponhamos, por absurdo, que S no o conjunto N dos inteiros positivos (

S N ) e seja X o conjunto de todos os inteiros positivos que no pertencem a S, isto :

X = {x | x N e x S } = N S

Ento, X um subconjunto no vazio de N ( X N ) e, pelo Princpio da boa

ordenao, existe o elemento mnimo x0 de X (min X = x0 ).

Pela primeira condio, 1 S , de modo que x0 > 1 e, portanto, x0 - 1 um

inteiro positivo que no pertence a X. Logo, ( x0 - 1) S e, pela segunda condio,

segue-se que ( x0 - 1) + 1 = x0 S , o que uma contradio, pois, x0 X N S , isto

, x0 S . Assim sendo, X e S = N.

Consoante este Princpio de induo finita, o nico subconjunto de N que

satisfaz s duas condies o prprio N.
Na demonstrao por induo matemtica de uma dada proposio P(n)
obrigatrio verificar que as condies i e ii so ambas satisfeitas. A verificao da
condio i geralmente muito fcil, mas a verificao da condio ii implica em
demonstrar o teorema auxiliar cuja hiptese :

H: proposio P(k) verdadeira, k N .

denominada hiptese de induo, e cuja tese ou concluso :

T: proposio P(k + 1) verdadeira.

Usaremos o Teorema 1.6 para provar a nossa conjectura sobre a soma do n

nmeros mpares.

Exemplo 1.27. Provaremos por induo matemtica que =1(2 1) = n2, para
todo inteiro positivo n. (A propsito, se nossa conjectura para o valor desta soma for
incorreta, a induo matemtica ir falhar em produzir uma prova!)
Verificando a primeira condio,

1
=1(2 1) = 2 1 = 1 = 12 .
 Para o passo indutivo, assumimos a hiptese indutiva de que a frmula vlida

para n; Isto , assumimos que =1(2 1) = n2. Usando a hiptese indutiva, temos

+1
=1(2 1) = =1(2 1) + (2( + 1) 1) (separando o termo com k = n + 1)

=n2+2(n+1)-1 (usando a hiptese de induo)

=n2+2n+1

=(n+1)2.

O que prova a validade da conjectura.

Exemplo 1.28. Podemos mostrar por induo matemtica que 2 para cada inteiro
positivo n. O passo base, ou seja, o caso em que n = l, vlido porque 1! = 1 12 = 1.
Agora, assumimos que n! nn Esta a hiptese de induo. Para completar a prova,
devemos mostrar, sob o pressuposto de que a hiptese indutiva verdadeira, que (n +
1)! (n + l)n+1. Usando a hiptese indutiva, temos

(n +1)! = (n +1). n!

(n + 1)nn

< (n +1) (n +1)n

(n +1)n+1

Uma ligeira variante do princpio da induo matemtica tambm por vezes

muito til em provas.

Teorema 1.7 Segundo Princpio da Induo Matemtica. Seja P(n) uma proposio
associada a cada inteiro positivo n e que satisfaz s duas seguintes condies:

i) P(1) verdadeira;

ii) para todo inteiro positivo k, se P(1), P(2), ..., P(k) so todas verdadeiras, ento
P(k + 1) tambm verdadeira.

Nestas condies, a proposio P(n) verdadeira para todo inteiro positivo n.

Prova. Seja S o conjunto de todos os inteiros positivos n para os quais a proposio

P(n) verdadeira, isto :
 S = { n N | P(n) verdadeira}

Suponhamos por absurdo, que S N e seja X o conjunto de todos os inteiros positivos

que na pertencem a S, isto :

X = {x | x N e x S } = N S
Ento, X um subconjunto no vazio de N e, pelo Princpio da boa ordenao, existe
o elemento mnimo j de X (min X = j).
Pela primeira condio, 1 , de modo que j > 1, e como j o menor inteiro
positivo que no pertence a S, segue-se que as proposies P(1), P(2),..., P(j 1) so
todas verdadeiras. Ento, pela segunda condio, a proposio P(j) verdadeira e j ,
o que uma contradio, pois j , isto , j . Assim sendo, S = N e a proposio
P(n) verdadeira para todo inteiro positivo n.

O segundo princpio da induo matemtica s vezes chamado de induo

forte para distingui-lo do primeiro princpio da induo matemtica, que tambm
chamado Induo fraca.

Exemplo 1.29. Numa brincadeira com selos, prove que cada quantidade de postagem de
12 centavos ou mais pode ser formada usando apenas usando selos de 4 e 5 centavos.

Prova por induo forte: Seja P (n) a proposio de que uma postagem de n 12,
pode ser obtida usando apenas selos de 4 centavos e 5 centavos.

Passo inicial. Por exame direto, conclumos que P (12) = 3x4, P (13) = 2x4 + 5, P (14)
= 2x5 + 4 e P (15) = 3x5, so verdadeiros.

Etapa de induo. Suponha que P (k) verdadeira para 12 k j, onde j um inteiro

com j 15. Precisamos mostrar que P (k + 1) verdadeira.
Observe que k + 1 = k - 3 + 4 e k 3 12. Usando a hiptese indutiva, P (k -
3) verdadeira (ou seja, a postagem de k - 3 centavos pode ser obtida usando selos de
4 centavos e de 5 centavos). Portanto, para formar uma postagem de k + 1 centavos,
precisamos apenas adicionar outro selo de 4 centavos aos selos que usamos para formar
a postagem de k - 3 centavos. Isto completa o passo indutivo.
Conclumos que P (n) verdadeira para todo n 12.
Definies Recursivas

O princpio da induo matemtica fornece um mtodo para definir os valores

de funes nos nmeros inteiros positivos. Em vez de especificar explicitamente o valor
da funo em n, damos o valor da funo em 1 e damos uma regra para encontrar, para
cada inteiro positivo n, o valor da funo em n + 1 a partir do valor da funo em n.

Definio. Dizemos que a funo f definida recursivamente se o valor de f em 1

especificado e se para cada inteiro positivo n fornecida uma regra para determinar f (n
+ 1) a partir de f (n).

O princpio da induo matemtica pode ser usado para mostrar que uma
funo que definida recursivamente definida unicamente em cada inteiro positivo
(veja o Divertimento 25). Ilustramos como definir uma funo recursivamente de
acordo com definio.

Exemplo 1.30. Definiremos recursivamente a funo fatorial f (n) = n!. Primeiro

especificaremos que

f (1) = 1.

Ento obteremos uma regra para encontrar f (n + 1) a partir de f (n) para cada inteiro
positivo, ou seja,

f (n + 1) = (n + 1) f (n).

Essas duas declaraes definem unicamente n! para o conjunto de inteiros positivos.

Para encontrar o valor de f (6) = 6! A partir da definio recursiva, use a

segunda declarao sucessivamente, da seguinte forma:

f (6) = 6. f (5) = 6. 5. f (4) = 6. 5. 4. f (3) = 6. 5. 4. 3. f (2) = 6. 5. 4 3. 2. f (1).

Em seguida, use a primeira declarao da definio para substituir f (1) pelo seu valor
declarado 1, para concluir que

6! = 6. 5. 4. 3. 2. 1 = 720.

O segundo princpio da induo matemtica tambm serve como base para

definies recursivas. Podemos definir uma funo cujo domnio o conjunto de
inteiros positivos, especificando seu valor em 1 e dando uma regra, para cada inteiro
positivo n, para encontrar f (n) a partir dos valores f (j) para cada inteiro j com 1
j n - 1. Esta ser a base para a definio da sequncia dos nmeros de Fibonacci
discutida na prxima seo.

Nota histrica

Era ideia assente na comunidade matemtica do sculo XIX, que a induo era
obra do matemtico francs Blaise Pascal, tendo em conta diversas demonstraes que
apresenta no seu Trait du Triangle Arithmtique.
Essa situao seria integralmente modificada, vinte anos aps a formulao
moderna de induo matemtica fixada por Giuseppe Peano , quando Giovanni Vacca ,
em 1909, num artigo de trs pginas publicado no Bulletin of American Mathematical
Society, vem defender que o italiano Francesco Maurolico , pelos trabalhos que
desenvolveu no primeiro livro de aritmtica includo na sua Opuscula Mathematica,
escrita em 1557 e publicado em Veneza no ano de 1575, como "the first discoverer of
the principle of mathematical induction".
O artigo de Vacca encontrou eco, ainda que eventualmente sem verificao
posterior, em autores importantes como Moritz Cantor ou Siegmund Gnther . M.
Cantor, por exemplo, que atribuiu inicialmente a Pascal a principal origem do mtodo
de induo completa (em Vorlesungen uber Geschichte der Mathematik, vol. 2, p. 749),
viria a transferir esse atributo para Maurolico (em Zeichrift fur Mathematischen und
Naturwissenschaftlichen Unterricht, vol 33, 1902, p. 536), segundo conta devido a uma
informao oral que lhe foi prestada pelo prprio Vacca.
Passar-se-iam mais de quarenta anos sem que o artigo de Vacca fosse alvo de
qualquer crtica. At que Hans Freudenthal (em Zur Geschichte der vollstndigen
Induktion, Archive Internationale d'Histoire des Sciences 6 (1953) 17-37) depois de um
exame detalhado dos trabalhos de Maurolico, vem sustentar que em apenas trs pontos
conseguiu reconhecer uma certa forma de induo matemtica: uma forma arcaica,
contudo, ao contrrio do que observou em Pascal, onde a induo formulada pela
primeira vez de uma maneira abstrata.