MA14 - Unidade 16 Decomposio do Fatorial em Fatores Primos Semana de 17/10 a 23/10

Nesta unidade, iremos mostrar como achar a fatorao em nmeros primos de n!, onde n um nmero natural arbitrrio. Por convenincia, vamos designar pelo smbolo de b por a, na diviso euclidiana. Note, para uso futuro, que, se a > b, ento
b o quociente da diviso a

b = 0. a

Temos a seguinte propriedade relacionada com os quocientes da diviso euclidiana:

Proposio 1. Sejam

aN

b, c N .

Temos que

a b = a . c bc

2 MA 14 Unidade 16
Demonstrao

Sejam
q1 = a b a e q2 = b . c

Logo,
a = bq1 + r1 , com r1 b 1

e Portanto,

a = q1 = cq2 + r2 , com r2 c 1. b

a = bq1 + r1 = b(cq2 + r2 ) + r1 = bcq2 + br2 + r1 .

Como
br2 + r1 b(c 1) + b 1 = bc 1,

segue-se que q2 o quociente da diviso de a por bc, ou seja,

q2 = a . bc 2

O que acabamos de provar enuncia-se com palavras como:

da diviso por diviso de

O quociente

do quociente da diviso de

por

igual ao quociente da

por

vezes

c.

Dados um nmero primo p e um nmero natural m, vamos denotar por Ep (m) o expoente da maior potncia de p que divide m, ou seja, o expoente da potncia de p que aparece na fatorao de m em fatores primos. Em particular, Ep (n!) representar a potncia de p que aparece na fatorao de n! em fatores primos. O resultado a seguir nos dir que as potncias de um nmero natural maior do que 1 no formam um conjunto limitado superiormente.

Decomposio do Fatorial em Fatores Primos

Lema 1. Sejam
nmero natural

3
a > 1.
Ento, existe um

a e m dois nmeros n tal que an > m.

naturais com

Demonstrao

Denamos A = {an ; n N} e suponhamos, por absurdo, que an m para todo n N. Portanto, o conjunto A limitado superiormente e, consequentemente, pelo corolrio acima, possui um maior elemento; isto , existe r N tal que x ar para todo x em A. Mas, sendo a 2, segue-se que
ar+1 2ar > ar ,

contradizendo o fato de ar+1 A e ar ser o maior elemento de A.

Teorema 1
Ento,

(Legendre).

Sejam

um nmero natural e

um nmero primo.

Ep (n!) =
Demonstrao

n n n + 2 + 3 + p p p

Note, inicialmente, que a soma acima nita, pois existe um nmero natural r tal que pi > n para todo i r (veja Lema 1); portanto, Vamos demonstrar o resultado por induo sobre n. A frmula vale trivialmente para n = 0. Suponha que o resultado vale para qualquer natural m com m < n. Sabemos que os mltiplos de p entre 1 e n so
p, 2p, . . . , n p. p n ! . p n = 0, se i r. pi

Portanto,
Ep (n!) = n + Ep p

Pela hiptese de induo, temos que

n ! p n n p p = p + p2 +

Ep

4 MA 14 Unidade 16 O resultado, agora, decorre da Proposio 1.

2

Na prtica, fcil calcular Ep (n!). Isto se faz com o uso do seguinte algoritmo:
n = pq1 + r1 q1 = pq2 + r2 ... qs1 = pqs + rs . Como q1 > q2 > , segue-se que, para algum s, tem-se que qs < p.

Portanto, segue-se que

Ep (n!) = q1 + q2 + + qs .
Exemplo 1.

Vamos determinar a decomposio de 10! em fatores primos e descobrir com quantos zeros termina a representao decimal desse nmero. Para resolvermos o problema, deveremos achar Ep (10!) para todo primo p 10. Sendo E2 (10!) = 5 + 2 + 1 = 8, E3 (10!) = 3 + 1 = 4, E5 (10!) = 2, E7 (10!) = 1, segue-se que
10! = 28 34 52 7.

Consequentemente, como h dois fatores iguais a 5 e oito fatores iguais a 2 na decomposio de 10! em fatores primos, v-se, imediatamente, que 10! termina com dois zeros. Para extrairmos um corolrio do teorema acima, necessitaremos do seguinte lema.
Lema 2. Sejam

a1 , . . . , a m , b

nmeros naturais, com

b = 0.

Tem-se que

a1 am a1 + + am + + . b b b

Sejam qi e ri respectivamente o quociente e o resto da diviso de ai por b para i = 1, . . . , m. Somando, membro a membro, as igualdades ai = bqi + ri , segue-se que
Demonstrao

a1 + + am = (q1 + + qm )b + r1 + + rm .

Decomposio do Fatorial em Fatores Primos

Segue-se da que o quociente da diviso de a1 + + am por b maior ou igual do que q1 + + qm , pois r1 + + rm poderia superar b 1. Isto o que se queria provar. 2
Corolrio.
Se

a1 , . . . , a m , b

so nmeros naturais com

b = 0,

ento na-

tural o nmero

(a1 + + am )! . a1 ! am !

De fato, pelo Lema 2, para todo nmero primo p e todo nmero natural i, temos que
Demonstrao

a1 am a1 + + am i + + . i p p pi

Somando, membro a membro, as desigualdades acima, obtemos que

Ep ((a1 + + an )!) Ep (a1 !) + + Ep (am !),

o que prova o resultado.

O prximo resultado relacionar Ep (n!) e a representao p-dica de n (i.e., a representao relativa base p).
Teorema 2. Sejam

p, n N

com

primo. Suponha que

n = nr pr + nr1 pr1 + + n1 p + n0
seja a representao

p-dica

de

n.

Ento

Ep (n!) =
Demonstrao

n (n0 + n1 + + nr ) . p1

Sendo 0 ni < p, temos que

nr pr1 + nr1 pr2 + + n2 p + n1

n = p

n = nr pr2 + nr1 pr3 + p2 ... n = nr pr

+ n2

6 MA 14 Unidade 16 Portanto,
Ep (n!) = nr n n n + 2 + + r = p p p

pr 1 pr2 1 + nr1 + + n1 = p1 p1

nr pr + nr1 pr1 + + n1 p + n0 (nr + nr1 + + n1 + n0 ) = p1 n (n0 + n1 + + nr ) . p1 2

Problemas

Ache a decomposio em fatores primos de 100! e determine com quantos zeros termina a representao decimal desse nmero.
1.

a) Ache as maiores potncias de 2 e de 5 que dividem 10000!. b) Determine com quanto zeros termina a representao decimal de 10000!. c) Ache a maior potncia de 104 que divide 10000!.
2.

Ache o menor valor de n, de modo que a maior potncia de 5 que divide n! seja 584 . Quais so os outros nmeros que gozam dessa propriedade?
3.

Mostre que no h nenhum nmero natural n tal que 37 seja a maior potncia de 3 que divida n!.
4. 5.

Dados a1 , . . . , am N e b N , mostre que

a1 am a1 + + am a1 am + + + + + m. b b b b b

6.

Mostre que, se m, n N so tais que (m, n) = 1, ento

(m + n 1)! N. m!n!

7.

Sejam m, n, b N com b = 0. Mostre que

Decomposio do Fatorial em Fatores Primos

a) b)
8. 9. 10.

2n m n m+n 2m + + + . b b b b b (2m)!(2n)! um nmero natural. m!n!(m + n)!

Sejam n, m N; mostre que (n m)! divisvel por [(n!)m , (m!)n ]. Mostre que (n!)(n1)! divide (n!)!.

Sejam n, a1 , . . . ar N e d = (a1 , . . . , ar ). Mostre que natural o nmero

d(n 1)! . a1 ! ar !

Euler, um Gigante da Matemtica

Leonhard Euler (1707-1783) foi, sem dvida, um dos maiores e mais frteis matemticos de todos os tempos. Euler nasceu na Sua, perto da cidade de Basilia, lho de um modesto pastor protestante que nutria a esperana de que seu lho seguisse a mesma carreira. Euler possua uma grande facilidade para o aprendizado de lnguas e uma prodigiosa memria, aliada a uma extraordinria habilidade para efetuar mentalmente contas complexas, habilidade esta que lhe seria muito til no nal de sua vida. Aos 14 anos, ingressou na Universidade da Basilia, onde foi aluno de Johann Bernoulli, com quem teve a sua verdadeira iniciao matemtica. Aos 20 anos de idade, Euler recebeu meno honrosa da Academia de Cincias de Paris por um trabalho sobre a trajetria do mastro de um barco em movimento, ganhando reconhecimento internacional. Em 1727, comea a sua carreira prossional, assumindo uma posio como fsico na nova Academia de So Petersburgo, na Rssia. Foi nessa poca que conheceu Christian Goldbach, que chamou a sua ateno para os problemas tratados por Fermat, fato esse responsvel pela grande obra de Euler em Aritmtica. Em 1733, Euler assumiu a ctedra de matemtica na Academia

8 MA 14 Unidade 16 de So Petersburgo. Um de seus primeiros grandes sucessos em matemtica foi calcular, em 1735, o valor exato da soma innita
1+ 1 1 1 1 + + + + 4 9 16 25

Clculos numricos indicavam que o valor aproximado desta soma era 8/5, cando em aberto, por cerca de um sculo, o problema de determinar o valor exato da soma. Euler surpreendeu os matemticos provando que a soma da srie 2 /6. Euler produziu freneticamente resultados matemticos ao longo de sua longa vida cientca, que s cessou com a sua morte. Em 1738, Euler perde a viso de seu olho direito, cando totalmente cego em 1771, no diminuindo por isto a sua produtividade cientca. Durante muito tempo, a metade de cada volume dos anais da Academia de So Petersburgo era dedicada a seus trabalhos e, durante 48 anos aps a sua morte, ainda neles eram publicados artigos seus. Euler escreveu sobre os mais variados assuntos, tais como, teoria das funes, clculo diferencial e integral, nmeros complexos, acstica, msica, teoria dos nmeros, teoria das parties e mecnica, entre muitos outros, ocupando, indiscutivelmente, um lugar entre os maiores matemticos de todos os tempos.