Anda di halaman 1dari 10

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

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


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
| .

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

.O
, pois

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


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:
Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

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


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

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

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


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

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

um
.

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


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 pelo Pequeno Teorema de

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,


|

Temos pelo Pequeno Teorema de

. Em particular, temos que 13

tambm divide o oposto, ou seja, 13|


Portanto
|

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

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


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

)(

Assim pelo Pequeno teorema de Fermat

) 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

)(

Assim pelo Pequeno teorema de Fermat

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)

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

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


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, (

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

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


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


Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077

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


10

SCHEINERMAN, Edward R. Matemtica


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

Colloquium Exactarum, vol. 6, n. Especial, JulDez, 2014, p. 01-10. ISSN: 2178-8332. DOI: 10.5747/ce.2014.v6.nesp.000077