UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT

INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET

MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT

Prof. Martinho da Costa Araújo e Prof.ª. Fernanda Maringolo

Discente:
Data: 16/11/2013.

Atividade Extra 9

9.27. 4.1. Escrevendo , onde reescreva a fórmula do Teorema

de Zeller em função de .

Considerando então

0 1 0 1; 0 1 0 1e0 1 0 1

Assim

[ ] [ ] [ ]

[ ] [ ] [ ] [ ]

[ ] [ ]

( [ ] [ ])

( )
O teorema de Zeller (fórmula) . 0 1 0 1 0 1 /

Onde: h = dia da semana; m = dia do mês; k = ano m

9.28. 4.2. Descubra qual foi o dia da semana:

a) em que você nasceu;

1 de março de 1988

( ) 0 1 0 1 0 1 0 1

( ) 0 1 0 1 0 1 0 1

( )

( )
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
( )

R: Terça-feira.

b) em que foi declarada a Independência do Brasil;

7 de setembro de 1822

( ) 0 1 0 1 0 1 0 1

( ) 0 1 0 1 0 1 0 1

( )

( )

( )

R: Sábado.

c) em que foi abolida a escravidão;

13 de maio de 1888

( ) 0 1 0 1 0 1 0 1

( ) 0 1 0 1 0 1 0 1

( )

( )

( )

R: Domingo

d) em que foi proclamada a República.

15 de novembro de 1889

( ) 0 1 0 1 0 1 0 1

( ) 0 1 0 1 0 1 0 1
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
( )

( )

( )

R: Sexta-feira

9.29. 4.3. Descubra qual será o dia da semana de 29 de fevereiro de 2064.

( ) 0 1 0 1 0 1 0 1

( ) 0 1 0 1 0 1 0 1

( )

( )

( )

R: Sexta-feira

9.30. 4.4. Descubra em qual dia do mês de maio cairá o Dia das Mães de 2085.

O dia das mães é sempre comemorado no segundo domingo de maio. Basta

saber que dia da semana será o dia 1 de maio e assim encontrar que dia será o segundo
domingo.

1 de maio de 2085

( ) 0 1 0 1 0 1 0 1

( ) 0 1 0 1 0 1 0 1

( )

( )

( )

1 de maio de 2085: terça-feira

R: 2° domingo de maio de 2085 será dia 13.

 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
Problemas suplementares

9.31. 9.S.1 Mostre que:

a) ⏟

Temos que ⏟ ⏟ ⏟

Temos que , , logo

Então , logo ⏟ o

que prova que ⏟ .

b) ⏟

Temos que ⏟ .

Temos que , logo , logo

9.32. 9.S.2. Mostre que para todo é inteiro o número:

Temos que

Pelo pequeno teorema de Fermat, temos que:

7 e 5

, como então é inteiro.

9.33. 9.S.3. Ache o resto da divisão por 17 do número:

Pelo pequeno teorema de Fermat, se ( ) , então

Isso implica que:
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT

Isso é válido para todos os números que não sejam múltiplos de 17, já que

Logo:
⏟ ⏟

Logo o resto da divisão de por 17 é 12.

9.34. 9.S.4. Sabendo que , ache os dois algarismos das centenas do número .

Como , logo elevando ambos os membros por 2499,

temos:

( )

Mas , logo:

Logo o resto da divisão de por 100 é 43 sendo 4 o algarismo da dezena e três das
unidades.

9.35. 9.S.5. Mostre que nenhum múltiplo de 7 é da forma .

Supondo que exista um múltiplo de 7 na forma , logo 7 ( ),

como , logo 7 . Todo numero é da forma
, logo ( ) , com .

Se , então

Se , então

Se , então ( )
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
Se , então ( )

Se , então ( )

Se , então ( )

Como vimos , logo não existe nenhum múltiplo de 7 é da forma .

9.36. 9.S.6. Mostre que para todo .

Vamos provar por indução sobre n.

Para temos , verdadeira.

Supondo que para algum n , vamos provar sua validade para

.
Se , logo:
com , multiplicando ambos os membros por 9, temos:
, adicionando em ambos os membros, temos:

( )
O que prova que para todo .

9.37. 9.S.7. Mostre que é divisível por .

Pelo pequeno teorema de Fermat, se primo, então . Logo:

Mas ( ) ( )( ) ( )( ) , como
, logo
( )( )

Também ( ) ( )( ) ( )( )(
) ( )( )( )( ) ( )( )( )(
) , como então ( )( )( )( ) .

Temos também que ( ) (( ) )( ) (

)( )( ) ( )( )( ) como então
( )( )( )
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
E por fim (( ) ) ( )( ) ( )(
), como então ( )( ) .

Como , 7 e o mdc(2, 7, 13) = 1, então

.

9.38. 9.S.8. (Enade 2008) Qual é o resto da divisão de 2334 por 23?

(A) 2 (B) 4 (C) 8 (D) 11 (E) 20

, logo o resto é 11.

 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT

Prof. Martinho da Costa Araújo e Prof.ª. Fernanda Maringolo

Discente:
Data: 16/11/2013.

Atividade Extra 10
10.23.
2.1. Mostre que o número primo é o menor inteiro maior do que 1 que divide o
número ( ) .

Pelo Teorema de Wilson temos que (p −1)! -1 mod p, logo (p −1)! + 1 0 mod p
Isto é (p −1)! + 1 = p, α N assim, temos que os elementos do conjunto { p, 2p, 3p,
4p, . . . , } dividem (p −1)! + 1.
Sendo p primo, temos que o número primo p é o menor inteiro maior do que 1 que
divide o número (p −1)! + 1.

10.14.
2.2. Mostre que, se é um número primo, então:

a) ( )
O Teorema de Wilson diz que se p é primo, então (p−1)! −1modp, isto é,
(p−1)!+1 αp, com α Z.
Esta última igualdade podemos escrever (p−1)!+1 = p+p(α−1), α Z. Assim
Temos (p −1)! (p −1) mod p ⇒(p −1)(p −2)! (p −1) mod p.
Aplicando a propriedade do cancelamento na congruência módulo p temos (p-2)! 1
mod p. Portanto, p|(p −2)! −1.

b) ( ) ( )

Pela parte a) deste exercício temos (p −2)! mod p. então (p −2)(p −3)! 1mod p ⇒p(p
−3)! −2(p −3)! 1mod p.
Assim temos −2(p −3)! 1 mod p, pois p|p(p −3)!. Observe que −2(p −3)! 1mod p
⇔2(p −3)! −1 = βp, β Z, isto é 2(p −3)! −(p −1) = p(β −1).
Como p −1é par e 2(p −3)! também é par, logo de p(β −1) segue que β −1 é par, pois p
( )
é primo p >2. Assim temos que 2(p −3)! −(p −1) = p(β −1) ⇔(p −3)! − 0 mod p
Portanto, p|(p −3)! −(p −1)/2.

10.15.
2.3. Seja um número primo.

a) Mostre que e( ) são primos entre si.

b) Prove que, se e ( ) , então os inteiros que

precedem e os inteiros que sucedem são compostos.
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
10.16
2.4. Seja p um número primo e . Mostre que:

a) ( )

Pelo PTF sabemos que a mod p.

Por outro lado, pelo Teorema de Wilson sabemos que (p −1)! −1 mod p então
(p −1)! ·a −amod p.
Das propriedades da congruência módulop segue + (p −1)! ·a a + (−a) mod p ⇒ +
(p −1)!a 0 mod p.
Portanto, se p é um número primo e a N, então ap+ (p −1)!a 0 mod p.

b) ( )

Do Teorema de Wilson sabemos, (p−1)! −1 mod p então (p−1)! · − mod p.

Pelo PTF sabemos que a mod p então a mod p.
Das propriedades da congruência módulop segue (p −1)! · − mod p ⇒(p −1)!
· + a 0 mod p

10.17.
2.5. Seja um número primo tal que . Mostre que:

[( ) ]

Por hipótese p 3 mod 4, logo p = 4α +3, α Z. Seja o número ímpar q = 2α +1,

então temos p = 2(2α + 1) + 1 = 2q + 1, assim q = . Temos p = 2q + 1 ⇒q + (q +
1) 0mod p ⇔q −(q + 1) mod p.
Aplicando reiteradamente propriedades aditivas da congruência módulop temos
q −(q + 1) mod p
q −1 −(q + 2) mod p
q −2 −(q + 3) mod p
...
q −(q −2) = 2 −[q + (q −1)] mod p
q −(q −1) = 1 −[q + (q −0)] mod p
Aplicando a propriedade multiplicativa da congruência
1 ·2 ·3 ·4 ···(q −1)q (−1)q(q + 1)(q + 2) ···(2q −1)(2q) mod p
Como q é ímpar q! −(q + 1)(q + 2) ···(2q −1)(2q) mod p.
Multiplicando por q! temos
q! ×q! −(q!)(q + 1)(q + 2) ···(2q −1)(2q) mod p ⇔(q!)2 −(2q)! mod p (20.2)
O Teorema de Wilson diz que se p-primo, então (p −1)! −1 mod p isto é
(2q)! −1 mod p ⇔−(2q)! 1mod p
Da congruência (20.2) e como p −1 = 2q temos
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
(q!)2 1 mod p ⇔[ -² 1 mod p
Portanto,
[ -² 1 mod p sempre que p[ -² 3 mod4.

10.18.
2.6. Seja um número primo ímpar e seja ( ) Mostre que
ou

Sabemos que (p −1)! = 1 ×2×3 ···×(p −2) ×(p −1). Também sabemos que
p −1[ -² −1 mod p, p −3[ -² −3 mod p, p −5[ -² −5 mod p, ···
···6[ -² p −(p −6)[ -² −(p −6) mod p, 4[ -² −(p −4) mod p,
2[ -² −(p −2) mod p
Multiplicando estas congruências módulo p
2 ·4 ·6 ···(p −3)(p −1)[ -² (−1)(−3)(−5) ···[−(p −4)][−(p −2)] mod p

2 ·4 ·6 ···(p −3)(p −1)[ -² ( ) 1 ·3 ·5 ···(p −4)(p −2) mod p

substituindoN
2 ·4 ·6 ···(p −3)(p −1)[ -² ( ) N mod p
Multiplicando por N
N ·2 ·4 ·6 ···(p −3)(p −1) N²mod p , isto é (p −1)! ( ) N²mod p.
O Teorema de Wilson diz que (p −1)! −1 mod p para p-primo. Logo temos das
propriedades da congruência que
( ) N2 −1mod p
Quando = 2k + 1 logo p-primo da forma p = 4k + 3 temos
−N² −1 mod p ⇒N²−1 0 mod p
Portanto, N 1mod p ou N + 1 0 mod p.
Contra-exemplo: Suponha p = 13 então N = 1 ·3 ·5 ·7 ·9 ·11 = 10395
Temos 10395 não congruente a 1mod13 ou 10395 + 1 não congruente a 0 mod13.
Assim, a restrição p = 4k + 3 é importante.

10.19.
2.7. Seja um número ímpar. Mostre que:

a) ( ) ( )

Tinhamos do exercício anterior que

2 ·4 ·6 ···(p −3)(p −1) ( ) ·3 ·5 ···(p −4)(p −2) mod p (20.3)
Multiplicando em (20.3) por 2 ·4 ·6 ···(p−3)(p−1) ambos os lados da congruência
22 ·42 ·62 ···(p −3)2(p −1)2 ( ) (p −1)! mod p
Como p é ímpar e da propriedade comutativa da congruência
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
(p −1)! 2²·4²·6²···(p −3)²(p −1)²mod p
De modo análogo, multiplicando em (20.3) por 1 ·3 ·5 ···(p −4)(p −2) ambos os
lados da congruência
(p −1)! ( ) ·3²·5²···(p −4)²(p −2)²mod p
Como p é ímpar e da propriedade comutativa da congruência
1²·3²·5²···(p −4)²(p −2)² (p −1)! mod p
Portanto, 1².3²···(p −2)² 2².4²···(p −1)²mod p.

b) se , então ( )

Multiplicando em (20.3) por 2 ·4 ·6 ···(p −3)(p −1) ambos os lados da congruência

2²·4²·6²···(p −3)²(p −1)² ( ) (p −1)! mod p
Por hipótese p 1mod4, então p-1=4β, β Z, de onde ( ) = 1. Logo
pela propriedade aditiva da congruência
2²·4²·6²···(p −3)²(p −1)²+ 1 (p −1)! + 1 mod p
Do Teorema de Wilson (p −1)! −1 mod p ⇒(p −1)! + 1 0 mod p.
Portanto, temos 2²·4²·6²···(p−3)²(p−1)²+1 0 mod p quando p 1 mod 4.

c) se , então ( )

Multiplicando em (20.3) por 2 ·4 ·6 ···(p −3)(p −1) ambos os lados da congruência

2²·4²·6²···(p −3)²(p −1)² (p −1)! mod p
Por hipótese p 3 mod 4 então p −3 = 4β, β Z, de onde ( ) 2 = −1.
Do Teorema de Wilson (p −1)! −1 mod p ⇒−(p −1)! 1 mod p.
Logo temos
2²·4²·6²···(p −3)²(p −1)² −(p −1)! 1 mod p
Portanto, temos 2².4²···(p −1)² 1 mod p quando p 3 mod4.

Problemas Suplementares
10.20.
S.1. Se , então ( ) se, e somente se, n é da forma , onde .

10.21.
S.2. Sejam e ( ) Mostre que:

( ) ( )
( )
( )

10.22.
S.3. Mostre que ( ) ( ) para todos
10.23.
S.4. Se é primo, mostre que:
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
( ) ( ) ( )
10.24.
S.5. Mostre que

( )
( ) {
( )
10.25.
S.6. Mostre que ( ) é primo se, e somente se, n=3, 4 ou 6.
10.26.
S.7. Mostre que se , então ( ) ( )
10.27.
S.8. a) Mostre que se e são sistemas reduzidos de resíduos,
respectivamente, módulo e módulo , onde ( ) , então os números
, onde e , formam um sistema reduzido de resíduos
módulo

b) Utilize o resultado acima para dar uma outra prova da Proposição 10.10.
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT

Prof. Martinho da Costa Araújo e Prof.ª. Fernanda Maringolo

Discente: Jackson Pereira Júnior. Matrícula: 20459
Data: 16/11/2013.

Atividade Extra 8

3.1. Ache o resto da divisão por 7 de . /. Questão 9.22.

Pelo algoritmo de Kummer, temos:

(( ))

, - , -

, - , - -

Como não tomamos número emprestado o resto é igual a zero.

9.23. 3.2. Mostre que se . / é ímpar para todo , então existe * + tal que
.

Por indução sobre k, vem

Para k = 0 é válido, pois n = 1 (0  i  1) . / . /

Supondo válido para todo k = m ( ), provemos que seja válido para todo
k = m + 1, ou seja, – ( )
 UNIVERSIDADE FEDERAL DE MATO GROSSO - UFMT
INSTITUTO DE CIÊNCIAS EXATAS E DA TERRA - ICET
MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
Como por hipótese é ímpar, basta provar que n’ também é ímpar.

Mas, , o qual é ímpar.

Portanto, se . / é ímpar para todo , então existe * + tal que

9.24.
3.3. Determine a forma da representação -ádica dos números tais que . /
, para todo .
9.25.
3.4. Seja um número primo. Dados dois números naturais e , diremos que é -
adicamente menor ou igual do que , escrevendo , se, e somente se, ,
para todo , onde e , são as
expansões -ádicas de e respectivamente. Mostre que . / se, e somente
se,
9.26.
3.5. Seja um número primo. Mostre que . / 0 1