Escolar Documentos
Profissional Documentos
Cultura Documentos
Aula
O Teorema de Euler
Nesta aula, obteremos uma generalizacao do teorema de Fermat.
Definic
ao 1. Dado n N, denotaremos o n
umero de naturais menores ou iguais a n e
relativamente primos com n por (n).
Segue imediatamente da definicao de (n) que (1) = 1, (2) = 1, (3) = 2, (5) = 4 e
(6) = 2. Se p e primo, (p) = p 1.
Lema 2. Se p e um n
umero primo e k um n
umero natural, ent
ao:
(pk ) = pk1 (p 1).
Os u
nicos n
umeros do conjunto {1, 2, . . . , pk } que nao s
ao relativamente primos com pk s
ao
pk
aqueles que s
ao divisveis por p. A quantidade de tais n
umeros e
= pk1 . Sendo assim,
p
(pk ) = pk pk1 = pk1 (p 1).
Nosso proximo objetivo sera encontrar uma formula para calcular explicitamente (m) em
funcao da fatoracao em primos de m. Precisaremos relembrar um exemplo estudado na
aula 6:
Lema 3. Sejam m um n
umero natural, l um n
umero natural relativamente primo com m
e r um inteiro arbitr
ario. Ent
ao, o conjunto:
r, l + r, 2l + r, . . . , (m 1)l + r;
e um sistema completo de restos m
odulo m.
Suponha, por absurdo, que existem dois inteiros i e j com 0 i < j < m e para os quais
tenhamos r + il r + jl (mod m). Assim, (j i)l 0 (mod m). Como l e relativamente
primo com m, devemos ter j i 0 (mod m). Obtemos um absurdo pois 0 < j i < m.
Consequentemente, temos um conjunto de m inteiros todos incongruentes m
odulo m e,
portanto, tal conjunto e um sistema completo de restos.
Teorema 4. Se l e m s
ao n
umeros naturais primos entre si, ent
ao:
(ml) = (m)(l).
Demonstraca
o. Como (1) = 1, o teorema anterior e valido quando m = 1 ou n = 1.
Suponha entao que m, l > 1. Facamos uma contagem dupla. Primeiramente, usando a
definicao, (mn) e o n
umero de inteiros da tabela abaixo que s
ao relativamente primos
com ml.
1,
1 + l,
21 + l,
...,
(m 1)1 + l,
2,
l + 2,
2l + 2,
...,
(m 1)l + 2,
...,
...,
...,
...,
...,
r,
l + r,
2l + r,
...,
(m 1)l + r,
...,
...,
...,
...,
...,
l,
2l,
3l,
...,
ml,
Seja r m um n
umero natural qualquer. Considerando a r-esima coluna da tabela, se
mdc(r, l) > 1, nenhum de seus elementos e relativamente primo com l. Entao, se buscamos
os elementos que nao possuem nenhum fator em comum com ml, devemos nos ater `as
colunas com mdc(r, l) = 1. O n
umero de tais colunas e (l). Considerando agora a r-esima
coluna e supondo que mdc(r, l) = 1, em virtude do lema anterior, sabemos que os restos de
seus elementos na divisao por m formam exatamente o conjunto {0, 1, . . . , m} e dentre eles
existem exatamente (m) n
umeros relativamente primos com m. Sendo assim, podemos
contar os n
umeros relativamente primos com ml atr
aves do n
umero de colunas boase do
n
umero de bonselementos em cada uma delas, obtendo: (m)(l).
o em primos de n, ent
ao:
Corol
ario 5. Se n = p1 1 p2 2 . . . pk k e a fatoraca
1
1
1
(n) = n 1
1
... 1
p1
p2
pk
De fato, pelo teorema anterior,
(n) = (p1 1 p2 2 . . . pk k )
n
.
3
n
.
3
(n) n n
Se n = p1 1 p2 2 . . . pk k , usando que n e composto, podemos garantir que existe um fator
n 1
n
= n n
Teorema 9. (Teorema de Euler) Se mdc(a, m) = 1, ent
ao
a(m) 1 (mod m)
Demonstraca
o. A prova deste teorema sera muito similar `a prova do teorema de Fermat.
Sejam r1 , r2 , . . . , r(m) os restos em {0, 1, 2, . . . , m 1} que s
ao relativamente primos com
m. Considere o conjunto {ar1 , ar2 , . . . , ar(m) }. Se dois de seus membros deixam o mesmo
resto por m, digamos:
ari arj (mod m);
temos ri rj (mod m) pois mdc(a, m) = 1. Claramente isso e uma contradicao. Alem
disso, mdc(ari , m) = mdc(m, ri ) = 1. Analisando os restos na divisao por m dos membros
desse novo conjunto, podemos concluir que tal conjunto coincide com o conjunto dos restos
iniciais. Assim,
r1 r2 . . . r(m) ar1 ar2 . . . ar(m)
a(m) r1 r2 . . . r(m)
(mod 1000)
2(n)+n 2n
(mod 10n ).
n
dgitos e, conse3
2n
n
dgitos
existem pelo menos n =
3
3
Como 2n = 8n/3 < 10n/3 , podemos concluir que 2n possui menos que
quentemente, entre os u
ltimos n dgitos de 2(n)+n
consecutivos iguais `
a zero.
Exemplo 13. (IMO 1971) Prove que a sequencia 2n 3(n > 1) contem uma subsequencia
de n
umeros primos entre si dois a dois.
Uma boa estrategia e construir uma sequencia recursivamente. Suponha que ja tenhamos
escolhido os termos a1 , a2 , . . . , ak na sequencia de modo que mdc(ai , aj ) = 1. Como poderemos escolher o proximo termo ak+1 da forma 2n 3? Claramente mdc(2, ai ) = 1. Desde
que (ai ) | n, poderemos usar o teorema de Euler para obter:
2n 3 1 3
6 0 (mod ai )
Problemas Propostos
Problema 14. Encontre todos os n
umeros naturais n para os quais (n) n
ao e divisvel por
4.
Problema 15. Prove que se p > 2 e 2p + 1 s
ao ambos n
umeros primos, ent
ao para n = 4p
vale que
(n + 2) = (n) + 2.
Problema 16. Encontre todas as soluco
es nos n
umeros naturais da equaca
o (n) = (2n).
Problema 17. Encontre todas as soluco
es nos n
umeros naturais da equaca
o (2n) = (3n).
Problema 18. Se n possui k fatores primos distintos, prove que 2k | (n).
Problema 19. Prove que para qualquer n
umero natural k, existe pelo menos um n
umero
natural n tal que
(n + k) = (n).
Dica: Considere o menor divisor primo p que n
ao e um divisor de k e estude o n
umero
n = (p 1)k.
Problema 20. Mostre que se a e b s
ao inteiros primos entre si, ent
ao existem inteiros m e
n tais que am + bn 1 (mod ab).
Problema 22. (USAMO 1991) Mostre que para qualquer inteiro fixo n 1, a sequencia
2
22
2, 22 , 22 , 22 , . . .
(mod n);
Dica: Tente considerar os casos em que n e par ou n e mpar em separado e use induca
o.
Problema 23. Encontre os u
ltimos 8 dgitos da expans
ao bin
aria de 271986
Problema 24. Mostre que, para qualquer inteiro positivo n com n 6= 2 e n 6= 6 temos:
(n) n.
Refer
encias
[1] F. E. Brochero Martinez, C. G. Moreira, N. C. Saldanha, E. Tengan - Teoria dos
N
umeros ? um passeio com primos e outros n
umeros familiares pelo mundo inteiro,
Projeto Euclides, IMPA, 2010.
[2] E. Carneiro, O. Campos and F. Paiva, Olimpadas Cearenses de Matem
atica 1981-2005
(Nveis J
unior e Senior), Ed. Realce, 2005.
[3] S. B. Feitosa, B. Holanda, Y. Lima and C. T. Magalhaes, Treinamento Cone Sul 2008.
Fortaleza, Ed. Realce, 2010.
[4] D. Fomin, A. Kirichenko, Leningrad Mathematical Olympiads 1987-1991, MathPro
Press, Westford, MA, 1994.
[5] D. Fomin, S. Genkin and I. Itenberg, Mathematical Circles, Mathematical Words, Vol.
7, American Mathematical Society, Boston, MA, 1966.
[6] I. Niven, H. S. Zuckerman, and H. L. Montgomery, An Introduction to the Theory of
Numbers.