Beruflich Dokumente
Kultur Dokumente
1000
2
1000
16
1000
128
= 500,
= 62,
= 7,
1000
4
1000
32
1000
256
= 250,
= 31,
= 3,
1000
8
1000
64
1000
512
= 125,
= 15,
= 1.
1000
1000
= 76,
= 5.
13
169
Portanto
E13 (1000!) = 76 + 5 = 81.
Desta forma 1000! = 2994 1381 M, para algum M N, (M, 2) = (M, 13) = 1. Assim,
1000! = 2994 1381 M = 2(23 )331 1381 M = 2(104)81 8250 M.
Logo a maior potncia de 104 que divide 1000! 81.
(b) Prove que no existe nenhum nmero natural n tal que 37 seja a maior potncia de 3
que divida n!.
Uma soluo. Observe que 3|3, 3|6, 32 |9, 3|12, 3|15, e 32 |18. Desta forma 36 a
maior potncia de 3 que divide 15!, 16! e 17!, enquanto que 38 a maior potncia de
3 que divide 18!. Como 38 |n! para todo n > 18, conclumos que no existe natural n
tal que 37 a maior potncia de 3 que divide n!.
2. (a) Demonstre que, para todo n N, 1016n 1 divisvel por 70;
Uma soluo. Temos que 1012 51 mod 70, 1014 512 11 mod 70, 1016
51 11 1 mod 70. Desta forma 70|1016 1. Como
1016n 1 = (1016 1)(1016n1 + 1016n2 + + 1016 + 1),
conclumos que 70|1016n 1 para todo n N.
Outras solues: H vrias outras solues. Por exemplo, o resultado pode ser
provado usando-se o Princpio de Induo Finita. Outra soluo trivial segue da
congruncia 1016 1 mod 70 e das propriedades da potenciao.
(b) Determine o resto da diviso por 7 do nmero 17 + 27 + 37 + + 1007 .
Uma soluo. Usando o Pequeno Teorema de Fermat, vemos que
a7 a mod 7, a = 1, 2, 3, 4, 5, 6.
Alm disso, se n = 7k + a, ento n7 = (7k + a)7 a7 a mod 7, a = 1, 2, 3, 4, 5, 6.
Desta forma,
17 + 27 + 37 + + 1007 (1 + 2 + 3 + 4 + 5 + 6 + 0) +
+ (1 + 2 + 3 + 4 + 5 + 6 + 0) + 1 + 2
76
=
14 + 3 = 21 14 + 3 3 mod 7.
2
Portanto, o resto da diviso de 17 + 27 + 37 + + 1007 por 7 3.
3. Mostre que um nmero da forma n = 2r 3s perfeito se, e somente se, r = s = 1.
Uma soluo. Se n = 2r 3s , ento a soma de todos os divisores de n
r+1
S(n) = 2
3s+1 1
2
.
3s+1 1 = 2r+2
2r+1 1 = 3s
x0
x+10
x+20
ou seja,
x 0 mod p
x 1 mod q 3
x 2 mod r4 .
(1)
Como (p2 , q 3 ) = (p2 , r4 ) = (q 3 , r4 ) = 1, usando o Teorema Chins dos Restos, vemos que o
sistema de congruncias (1) tem soluo
x = M2 y2 (1) + M3 y3 (2) + tM,
t Z,
x 0 mod 25
x 1 mod 27
(2)
x 2 mod 16,
cujas solues so dadas por
x = 400y2 2 675y3 + 10800t,
tZ