Aplicações Do Pequeno Teorema de Fermat

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 20 a 23 de outubro, 2014
APLICAES DO PEQUENO TEOREMA DE FERMAT

APPLICATIONS OF THE FERMAT'S LITTLE THEOREM
Vanessa de Freitas Travello1; Luana Beatriz Cardoso; Juliano Ferreira
Lima; Thiago Mariano Viana; Antonio Carlos Tamarozzi.
Universidade Federal de Mato Grosso do Sul UFMS, Trs Lagoas. MS. e-mail:
1
vanessatravello@gmail.com.
Bolsista do Grupo PET MATEMTICA
Matemtica/CPTL/UFMS.
Tutor
do
Grupo
PET
MATEMTICA
Matemtica/CPTL/UFMS
RESUMO - O Pequeno Teorema de Fermat um resultado de impacto

para a divisibilidade na Teoria dos Nmeros. O tema foi inserido como
parte de um projeto de iniciao cientifica desenvolvida pelos autores
como uma das atividades do grupo PET/Matemtica da UFMS/Campus
de Trs Lagoas. O desenvolvimento do projeto foi realizado atravs de
levantamento bibliogrfico, estudo terico do assunto, discusses e
apresentaes de seminrios com a orientao do tutor e elaborao
do relatrio final. O trabalho propiciou contato com algumas das
tcnicas comumente utilizadas em problemas introdutrios da teoria
dos nmeros, mais especificamente a anlise de congruncias. Como
aplicaes foram estabelecidas diversas congruncias importantes,
algumas delas de impacto para o desenvolvimento da Teoria dos
Nmeros. O estudo pode ser estendido a resultados com a funo de
Euler, em consequncia pode ser apresentado o funcionamento do
mtodo criptogrfico RSA que, constitui uma aplicao extremamente
poderosa desta teoria Matemtica.
Palavras-chave - Teste de Primalidade, Criptografia, Teoria dos
nmeros.
ABSTRACT - Fermat's Little Theorem is a result of impact for
divisibility in Number Theory. The theme was inserted as part of a
research project developed by the authors as one of the activities of
the group PET/Math UFMS/CPTL. The development project was
conducted through a literature review, theoretical study of the subject,
discussions and seminar presentations with guidance from the tutor
and preparing the final report. The work led to contact with some of
the techniques commonly used in introductory problems of number
theory, specifically the analysis of congruences. As applications several
important congruences, some impact to the development of the
Theory of Numbers were established. The study was extended to
results with the Euler function, therefore the operation of the RSA
cryptographic method that is an extremely powerful Maths application
of this theory can be displayed.
Keywords - Primality test, Cryptography, number theory.
Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

2
1 INTRODUO
Pierre de
2 METODOLOGIA
Fermat
no
era
um
O trabalho resultado de uma
matemtico de fato, prestava servio como
pesquisa terica, desenvolvido atravs de
juiz e dedicava-se Matemtica em suas
discusses do tema com o orientador e
horas de lazer. Assim foi considerado um
apresentaes de seminrios como parte das
matemtico amador e conhecido como o
atividades do programa PET - Matemtica no
Prncipe dos Amadores. A influencia de
estudo de Introduo Teoria dos nmeros.
Fermat na matemtica foi limitada pela no
O trabalho incluiu uma etapa de
publicao de seus trabalhos e descobertas.
leitura
Assim como outros matemticos, suas
desenvolvimento das atividades propostas e
pesquisas eram conhecidas atravs de cartas
um relatrio dissertativo dos resultados
e anotaes enviadas a amigos e tambm
obtidos.
matemticos.
desenvolvidas foram avaliados atravs da
Fermat estudou diversas reas da
resolues
estudo
de
exerccios,
as
atividades
apresentao de seminrios de discusses.
matemtica, mas foi graas aos seus estudos

em Teoria dos Nmeros que ele ficou
3 RESULTADOS
famoso. Foi o primeiro a descobrir e enunciar
O resultado de Pierre de Fermat,
o Pequeno Teorema de Fermat, apesar de
conhecido como Pequeno Teorema de
que a demonstrao de tal teorema ter sido
Fermat, pode ser assim enunciado:
dada por Euler.

Este trabalho tem como objetivo o
aprimoramento das teorias algbricas com
3.1 TEOREMA DE FERMAT - Dados

inteiros com
(
base em congruncia e suas aplicaes. A
primo, ento
)
|(
execuo deste trabalho como mtodo de

Para a demonstrao desse teorema
investigao cientifica, propiciou a insero

dos alunos do PET (Programa de Educao
utilizamos o lema: Seja
um nmero primo.
Tutorial) envolvidos na pesquisa Matemtica,
Os nmeros da forma ( ), onde
atravs do desenvolvimento de ferramentas
so todos divisveis por .
introdutrias para a teoria dos nmeros e,

em consequncia, a ramos importantes da
Demonstrao do teorema - Vamos provar o
Matemtica.
resultado por induo sobre , com

resultado vale claramente para
| .
.O
, pois

3
Supondo o resultado vlido para

iremos prova-lo para
. Pela formula
do binmio de Newton,
(
( )
TEOREMA
FERMAT
um primo que
) .
Pelo lema apresentado acima e pela

hiptese de induo, o segundo membro da
igualdade acima divisvel por . Que o
que queramos provar.
Demonstrao - Pelo Pequeno Teorema de

Fermat 3.1 temos que
|
e como (
que
Notao: utilizaremos (
| (
)
),
segue-se imediatamente,
divide
) para designar o
mximo divisor comum entre os nmeros
Observao: Temos como consequncia

desse teorema o teste de no primalidade,
que dado por: Seja

Pode-se mostrar que a recproca do
fato, considerando
)
, ento
Note
essa condio equivalente a (

pois
que
)
no primo.
teorema de Fermat, sero apresentadas duas

proposies importantes de congruncia e
A proposio seguinte um resultado
Por outro lado

)
tal que se
divisibilidade de nmeros primos.
, se
Antes de apresentar as aplicaes do
tal que
com
com (
existir um
Pequeno Teorema de Fermat no valida. De

(
(SEGUNDA
, tem-se,
inteiros
DE
VERSO) - Dados
no divide
3.2
clssico que caracteriza os nmeros primos.
e portanto, pelo pequeno teorema de Fermat

|(
|(
)
|(
3.3 PROPOSIO Sejam
primo. Se |
para todo
tal que (
, Mas 561
que
(
, ento existe tal
. Vamos supor que

)
, com
ento | ou | .
Demonstrao - Se
Segue-se da que 561 divide
Assim, existe
ento
tais que
no primo.
Multiplicando
O Pequeno Teorema de Fermat
em ambos os lados da
igualdade acima, temos que
adquire outro formato que pode ser assim

descrito:

4
substituindo
por
nesta
ltima
igualdade, temos que
Teorema
de
Fermat,
para
melhor
entendimento do conceito dado.

(
1.
e portanto | .
Seja
primo maior que 2,
provaremos que
(
De forma anloga suponhamos que

(
| .
e chegamos que
Portanto | ou |
Prova:
Vamos analisar a congruncia de cada uma
proposio
consequncias
seguinte
importantes
tem
para
das parcelas do primeiro membro.

|
este
(
trabalho:
, com
no ambos nulos, temos que | e |

equivale que (
Demonstrao - temos que | e | implica

que
com
como ((
) (
)
)
segue que (
que
assim
(
| ,o
).
|( )
(
ou
seja
).
Portanto, somando congruncias, obtemos

que
que implica que
(
(
como
temos
Assim prosseguindo obtemos similarmente
(
)
temos
que
. Logo
(
assim
(
(
que
).
que
| .
temos
).
|
3.4 PROPOSIO - Dado
assim
(
Dado que, (
o resultado segue.
)
)
) , segue
por transitividade que

Observao:
Um
caso
particular
da
(
(
proposio 3.4 o seguinte resultado: dados

, com
que | e | . Ento
primos entre si, tais

| .
2.
Encontrar o resto da diviso de

por 17.
Com
trabalho
de
pesquisa,
exploramos algumas aplicaes do Pequeno
Temos que 17 primo e no divide 2,

ento pelo Pequeno Teorema de Fermat

5
),
O resultado segue da seguinte fatorao

(
mas 100 000 = (6 250) (16).

(
Portanto
[(
)(
)
(
Assim, temos pelo Pequeno Teorema
por
)(
)(
)(
)(
)
)
haja vista que, pelo pequeno teorema de

Fermat,
de Fermat que o resto da diviso de
temos que
.
4. Mostraremos que, para todo
3. Usamos o Teorema para mostrar

que
natural o nmero:
para todo nmero inteiro .
Temos que 42 divisvel por 2, 3 e 7

sendo estes nmeros primos entre si. De
Prova: Efetuamos inicialmente a seguinte

simplificao da expresso dada:
acordo com a proposio 3.4, suficiente

verificarmos que cada um deles divide
. Esta verificao ser feita nos itens
(
a) ,b) e c) que seguem:

(
a)
por
Fermat.
Temos pelo Pequeno Teorema de

Fermat que
divisvel por 5, ou seja
(
|
)e
(
seja
Temos
)
(
(
((
)(
divisvel por 3, ou
). Assim existem
tais que
(
( )
uma
aplicao direta do Pequeno teorema de
b)
,
, logo
substituindo em (*) teremos:

)
)(
)
(
Pelo Pequeno Teorema de Fermat

(
temos que
que suficiente para termos |
o
.
assim temos que
c)
nmero natural para todo
um
.

6
5. Podemos verificar que, para todo

|(
).
|(
)e
)(
)(
)(
Como sabemos, 5 primo ,
Temos que 15 divisvel por 3 e 5,

logo basta provar que | (
, segue que |
) , o que ser feito nos
itens seguintes:
b)
Se
a)
, ento |
,
.
Temos claramente que
|(
)(
)(
)(
Como sabemos
, de acordo com o Pequeno
Teorema de Fermat. Logo segue que
, mas
divisvel por 5, sendo o mesmo ocorrendo

com
ento |
Fermat que se
e
|(
, segue da proposio 3.3 que

)
).
b)
7. Mostraremos que
divisvel por 13, se
Temos que
porque,
divisvel por 3,
(pelo pequeno teorema de
Fermat). Dado que |
imediato,
Mostraremos
so primos com 13.
tambm
divisvel por 91, se
que
so primos com 91.
Soluo:
Sendo (
a)
segue que 3 tambm divide a soma, ou seja,

|
b)
um divisor. Logo, pela proposio 3.4 temos

que 15|
c)
Uma anlise similar mostra que 5 tambm

|
, mostremos que
. Mas
, para qualquer
6.
Seja
a)
Se
ento |
Como
Mostremos que:
,
Fermat que se
ento |
, mas
, segue do
Pequeno Teorema de Fermat,

|
. Em particular, temos que 13
tambm divide o oposto, ou seja, 13|

Portanto
|

7
(
|
d)
)(
)(
)(
E segue imediatamente o resultado.
Temos que 91 divisvel somente por
ii)
7 e 13, que so primos entre si. Logo

(
suficiente mostrarmos que 7 e 13 so

divisores de
. Observemos que
)(
)(
)
)(
Assim pelo Pequeno teorema de Fermat

(
(
)(
temos que
)(
Logo
|
Agora basta provarmos que temos a

soma de dois produtos divisveis por 7.
Como (
ento
, logo
iii)
|
(
temos pelo Pequeno teorema de Fermat que

|
= (
. Da mesma forma o somando
)(
assim
assegurado
|
e
|
que
)(
) divisvel por 7.
Como 7 divide as duas partes da

soma,
temos
resulta
temos que
Logo
|
, como desejado.
iv)
8.
.
(
Provaremos que para todo
, o nmero
definio
)(
5, 7, 13 e 273.
Da
divisvel por 2, 3,
de
congruncia
) temos que |
temos que
Logo
|
Temos que 273 divisvel por 3,7 e

13; assim basta mostrarmos que 3,7 e 13
divide
i)
v)
(proposio 3.4).
Essa uma aplicao direta do pequeno
)(
)(
)(
teorema de Fermat
)
)
vi)

8
Temos 273 fatorvel por 3, 7, e 13.
3.6 TEOREMA DE EULER-FERMAT Sejam
Pela proposio 3.4 e por ii), iv) e v) temos
e(
, com
( )
que
|
Demonstrao:
ento
Seja
( )
sistema reduzido mdulo

Apresentaremos agora uma pequena
introduo ao teorema de Euler, que uma
extenso do teorema apresentado neste
um sistema reduzido mdulo
trabalho. Necessitamos da definio da
Portanto,
Definio:
, para todo
Designaremos
por
( )
2, que
corresponde quantidade de nmeros
( )
( )
Como
( )
)
( )
Segue que
naturais entre 0 e m -1 que so primos com

m. Pondo
( ) o
forma
( )
nmero de elementos de um sistema

reduzido de resduos mdulo
seja,
. E como
ento
( )
funo phi de Euler
, ou
um
( )
, est definida uma
importante funo
, conhecida
como funo phi de Euler.
Um importante resultado da funo

de Euler dado por: Sejam
Observamos que resulta diretamente
, ento
da definio que para todos
( )
tais que
( )
( ).
Tal resultado no ser demonstrado

nesse trabalho.
3.5
PROPOSIO
( )
Se
, ento
se, e somente se,
for
primo.
Exemplos
1) Determinemos (
Demonstrao: De fato, se
primo ento
o sistema reduzido modulo
formado por:
( )
Temos que 1024 =

(
, assim
)
Como 2 primo e usando a consequncia da

proposio 3.5 teremos
Utilizando a proposio anterior e
uma contagem simples, podemos mostrar

que, se
primo, ento
(
)
.
Logo, (

9
2) Ache o resto da diviso 34|
Pequeno Teorema de Fermat para quaisquer
Temos que
(
nmeros inteiros, utilizando, para isso a

( ) (
funo
)(
ser apresentado o funcionamento do mtodo
Ento pelo teorema de Euler-Fermat

(
de Euler, em consequncia pode
criptogrfico
RSA
que,
constitui
uma
aplicao extremamente poderosa desta
Assim
teoria Matemtica.
(
)
(
A sequncia didtica apresentada
neste trabalho teve resultados de impacto
Portanto 13 o resto da diviso de
por
34.
motivador para o estudo da Matemtica,

desenvolvido com alunos do curso de
Licenciatura em Matemtica.
4 DISCUSSO
Ao longo do trabalho estudamos
AGRADECIMENTOS
congruncias e divisibilidade sob a tica do
Os autores agradecem ao programa
Pequeno Teorema de Fermat. A partir deste
de Educao Tutorial (PET-MAT), o apoio
resultado
financeiro.
obtemos
apresentaes
de
problemas da lgebra bsica com maior

elegncia e preciso, alem de possibilitar
REFERNCIAS
generalizaes importantes.
COUTINHO, Severino C., Nmeros Inteiros e

Criptografia RSA, Srie Computao e
Matemtica, SBM, 1997.
5 CONSIDERAES FINAIS
O trabalho propiciou contato com
DOMINGUES,
Hygino
moderna,So Paulo: Atual, 2003.
H.,lgebra
algumas das tcnicas comumente utilizadas

em problemas introdutrios da teoria dos
nmeros, mais especificamente a anlise de
congruncias.
estabelecidas
Como
aplicaes
diversas
foram
congruncias
importantes, algumas delas de impacto para
HEFEZ, Abramo. Elementos de Aritmtica. 2

ed. Rio de Janeiro, RJ: SBM, 2006. iv, 169.
(textos universitrios).
MARTINEZ, Fabio Brochero; et al. Teoria dos
nmeros: um passeio com primos e outros
nmeros familiares pelo mundo inteiro, 2 ed.
Rio de Janeiro: IMPA, 2011
o desenvolvimento da Teoria dos Nmeros.

A continuidade do estudo deste tema
pode ser estendido a resultados com a
SANTOS, Jos Plnio de Oliveira. Introduo

Teoria dos Nmeros. Rio de Janeiro, Instituto
de Matemtica Pura e Aplicada, CNPq,1998.
funo de Euler que visa generalizar o


10
SCHEINERMAN, Edward R. Matemtica

discreta: uma introduo. Traduo da 2. Ed.
Norte americana. So Paulo: Cengage
learning, 2011

Aplicações Do Pequeno Teorema de Fermat

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aplicações Do Pequeno Teorema de Fermat

Enviado por

Direitos autorais:

Formatos disponíveis

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 20 a 23 de outubro, 2014

APLICAES DO PEQUENO TEOREMA DE FERMAT

RESUMO - O Pequeno Teorema de Fermat um resultado de impacto

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 20 a 23 de outubro, 2014

O trabalho resultado de uma

matemtico de fato, prestava servio como

pesquisa terica, desenvolvido atravs de

juiz e dedicava-se Matemtica em suas

discusses do tema com o orientador e

horas de lazer. Assim foi considerado um

apresentaes de seminrios como parte das

matemtico amador e conhecido como o

atividades do programa PET - Matemtica no

Prncipe dos Amadores. A influencia de

estudo de Introduo Teoria dos nmeros.

Fermat na matemtica foi limitada pela no

O trabalho incluiu uma etapa de

publicao de seus trabalhos e descobertas.

Assim como outros matemticos, suas

desenvolvimento das atividades propostas e

pesquisas eram conhecidas atravs de cartas

um relatrio dissertativo dos resultados

e anotaes enviadas a amigos e tambm

desenvolvidas foram avaliados atravs da

Fermat estudou diversas reas da

apresentao de seminrios de discusses.

matemtica, mas foi graas aos seus estudos

famoso. Foi o primeiro a descobrir e enunciar

O resultado de Pierre de Fermat,

o Pequeno Teorema de Fermat, apesar de

conhecido como Pequeno Teorema de

que a demonstrao de tal teorema ter sido

Fermat, pode ser assim enunciado:

dada por Euler.

3.1 TEOREMA DE FERMAT - Dados

base em congruncia e suas aplicaes. A

execuo deste trabalho como mtodo de

investigao cientifica, propiciou a insero

utilizamos o lema: Seja

Tutorial) envolvidos na pesquisa Matemtica,

Os nmeros da forma ( ), onde

atravs do desenvolvimento de ferramentas

so todos divisveis por .

introdutrias para a teoria dos nmeros e,

Demonstrao do teorema - Vamos provar o

resultado por induo sobre , com

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 20 a 23 de outubro, 2014

Supondo o resultado vlido para

Pelo lema apresentado acima e pela

Demonstrao - Pelo Pequeno Teorema de

mximo divisor comum entre os nmeros

Observao: Temos como consequncia

que dado por: Seja

essa condio equivalente a (

teorema de Fermat, sero apresentadas duas

A proposio seguinte um resultado

Por outro lado

divisibilidade de nmeros primos.

Antes de apresentar as aplicaes do

Pequeno Teorema de Fermat no valida. De

clssico que caracteriza os nmeros primos.

e portanto, pelo pequeno teorema de Fermat

3.3 PROPOSIO Sejam

, ento existe tal