Teoria de Números: Propriedades Fundamentais

0 UniversidadeVirtualAfricana
Matemtica 2
Teoria de Nmeros

Preparada por Paul Cheqe
African Virtual university
Universit Virtuelle Africaine
Universidade Virtual Africana

Aviso

Este documento foi publicado nas condies de Creative Commons

http://en.wikipedia.org/wiki/Creative_Commons

Atribuio

http://creativecommons.org/licenses/by/2.5/

Licena (abreviada cc-by), Verso 2.5.


NDICE

I. Matemtica 2, Teoria de Nmeros ________________________________________3

II. Cursos ou conhecimentos prvios _______________________________________ 3

III. Tempo _____________________________________________________________3

IV. Materiais ___________________________________________________________3

V. Importncia do Mdulo _________________________________________________3

VI. Viso Geral do Mdulo________________________________________________ 3
6.1 O Plano de Estudos ____________________________________________ 4
6.2 A Organizao Grfica __________________________________________ 4

VII. Objectivo Geral ______________________________________________________ 5

VIII. Objectivos Especficos de Aprendizagem _________________________________ 5

IX.Teste Diagnstico _____________________________________________________ 7
9.1 Importncia do teste diagnstico ___________________________________ 7
9.2 Chave de Respostas ____________________________________________ 9
9.3 Comentrio Pedaggico para os Estudantes __________________________ 9

X. Conceitos Chave (Pequeno Dicionrio) _____________________________________10

XI. Leituras Obrigatrias ___________________________________________________11

XII. Recursos Obrigatrios _________________________________________________12

XIII. Conexes Utis ______________________________________________________13

XIV. Actividades de Aprendizagem ___________________________________________16

XV. Resumo do Mdulo ____________________________________________________53

XIV. Avaliao Sumativa ___________________________________________________54

XVII. Referncias _________________________________________________________55

XVIII. Resultados do Estudante ______________________________________________56

XIX. Principal Autor do Mdulo _______________________________________________57

XX. Estrutura do Ficheiro ___________________________________________________58


I. Matemtica 2, Teoria de Nmeros
Por Paul Cheqe, Amoud University

II. Cursos ou Conhecimentos Prvios
Matemtica Bsica

III. Tempo
120 horas

IV. Materiais
Livro de Estudos online ou em Disco Compacto; ficheiros de actividades em
ICT online ou em Disco Compacto, Referncias online, materiais de auto-avaliao,
software distribuido gratuitamente.

V. Importncia do Mdulo
Teoria de Nmeros um Mdulo essencial na ajuda aos professores na percepo e
interpretao das propriedades dos nmeros. o pano de fundo para muitas
demonstraes e para muitas solues de diversas equaes matemticas. a espinha
dorsal e a principal teoria inerentes ao ensino da matemtica no nvel secundrio e um
elemento importante pelo qual se constroem e efectuam os estudos de matemtica no
nvel superior.

VI. Viso geral do Mdulo
O Mdulo Teoria de Nmeros consiste em duas unidades para as quais o formando
deve aplicar conhecimentos de Matemtica Bsica.
A primeira unidade trata das propriedades dos nmeros inteiros e de equaes diofantinas
lineares. Sucessivamente so tratadas as propriedades dos nmeros inteiros, tais como,
divisibilidade com resto, nmeros primos e a sua distribuio, a demonstrao de
Euclides, que defende a existncia de um nmero infinito de nmeros primos, o algoritmo
de Euclides e a aplicao desse algoritmo na resoluo de equaes diofantinas lineares.
Finalmente, a unidade trata dos ternos Pitagricos, do ltimo Teorema de Fermat,
aplicado para potncias de expoente maior que dois, e da demonstrao deste Teorema
por Wiles.


A segunda unidade pressupe o domnio, pelos formandos, da primeira unidade. A
segunda unidade introduz o corpo dos nmeros inteiros: mdulo p, quadrados e resduos
quadrticos, o critrio de Euler, o smbolo de Legrendre, o Lema de Gauss e a Lei de
Reciprocidade Quadrtica, o algoritmo de Euclides e a unicidade de factorizao para os
nmeros inteiros de Gauss, a aritmtica de corpos quadrticos e a sua aplicao nas
equaes diofantinas. Finalmente tratado o ltimo Teorema de Fermat aplicado para
potncias de expoente trs, a equao de Pell e as unidades em anis de nmeros
inteiros em corpos quadrticos reais.

6.1 Plano de Estudos
Unidade 1: Propriedades de nmeros inteiros e equaes diofantinas lineares
Nvel 1, Prioridade B, que pressupe o domnio pelo estudante da Matemtica Bsica 2.
Nesta unidade h a destacar:
Propriedades de nmeros inteiros; Divisibilidade com resto; Nmeros primos e a sua
distribuio; A demonstrao de Euclides, segundo a qual h um nmero infinito de
nmeros primos; O algoritmo de Euclides; Consequncias, classes de restos e os
nmeros inteiros de mdulo n; O caso do n primo; Razes primitivas e ndices; A utilizao
do algoritmo de Euclides para a resoluo de equaes diofantinas lineares; Ternos
pitagricos e o ltimo Teorema de Fermat aplicado para potncias de expoentes maiores
que dois.

Unidade 2: Teoria de congruncias e corpos quadrticos.
Nvel 2, Prioridade B, que pressupe o domnio pelo estudante da Teoria de Nmeros 1.
Nesta unidade destacam-se os seguintes contedos:
O corpo dos nmeros inteiros mdulo p; Quadrados e resduos quadrticos; O critrio de
Euler; O smbolo de Legendre; O Lema de Gauss e a Lei de Reciprociade Quadrtica;
Corpos quadrticos; Norma e trao; O algoritmo de Euclides e unicidade de factorizao
para nmeros inteiros de Gauss; Aritmtica de corpos quadrticos e a sua aplicao nas
equaes diofantinas; O ltimo Teorema de Fermat aplicado para potncias de expoente
trs; A equao de Pell e unidades em anis de nmeros inteiros em corpos quadrticos
reais.

6.2 Organizao Grfica

NMEROS INTEIROS
Norma
e
Trao
Divisibilidade,
Nmeros
Primos
Razes
Primitivas
e ndices
ltimo
Teorema
de
Fermat
Ternos
Pitagricos
Algoritmo
de
Euclides
Equaes
Diofantinas
Inteiros mod p,
Quadrados,
Resduos
Quadrticos
Critrio de
Euler,
Smbolo de
Legendre
Lema de
Gauss
Corpos
Quadrticos
e Lei de Re-
ciprocidade
Factorizao
de
Inteiros de
Gauss
Aplicao
de
Equaes
Diofantinas
e de Pell

VII. Objectivo Geral
Fornecer conhecimentos sobre as propriedades necessrias dos nmeros e sobre as
relaes entre eles, para permitir o ensino eficaz da matemtica no nvel secundrio.

VIII. Objectivos Especficos de Aprendizagem
(Objectivos de Instruo)
Unidade 1:

No fim desta unidade, os formandos devem ser capazes de:
- Demonstrar conhecimentos e habilidades inerentes aos conceitos bsicos relacionados
com as propriedades de nmeros;
- Dominar os aspectos atinentes s relaes entre os nmeros e os padres desses
nmeros;
- Ilustrar as propriedades dos nmeros inteiros e da divisibilidade com restos;
- Calcular o maior divisor comum e o menor mltiplo comum por meio da factorizao;
- Calcular o maior divisor comum usando o algoritmo de Euclides;
- Ilustrar as propriedades dos nmeros primos e a sua distribuio;
- Aplicar a demonstrao de Euclides quanto existncia de um nmero infinito de
nmeros primos;
- Calcular nmeros inteiros mdulo n, em casos de n ser um nmero primo, razes e
ndices primitivos;
- Aplicar o algoritmo de Euclides para resolver equaes diofantinas lineares;
- Ilustrar ternos pitagricos e o ltimo Teorema de Fermat;
- Analisar ternos pitagricos e o ltimo Teorema de Fermat;

Unidade 2:
No fim desta unidade, os formandos devem ser capazes de:
- Ilustrar o corpo de nmeros inteiros mdulo p, quadrados e resduos quadrticos;
- Saber dar o perfil do critrio de Euler;
- Usar o smbolo de Legendre, o Lema de Gauss e a Lei de Reciprocidade Quadrtica;
- Calcular caracteres quadrticos por meio da Lei de Reciprocidade Quadrtica;
- Definir Normas;
- Aplicar o algoritmo de Euclides na factorizao dos nmeros inteiros de Gauss;
- Explorar a aritmtica de corpos quadrticos e aplic-la na resoluo de equaes
diofantinas;
- Investigar a equao de Pell e as unidades em anis de nmeros inteiros em corpos
quadrticos reais;

IX. Teste Diagnstico
Ttulo do Teste Diagnstico: Reviso de Matemtica Bsica

9.1 Importncia do teste Diagnstico

A Matemtica Bsica o conhecimento bsico para Teoria de Nmeros, pelo que necessrio o
seu domnio.

Questes

1. Encontre o valor de x in 2
(2x + 2)
= 64
a) 3 b) 5 c) 1 d) 2

2. Resolva o sistema de equaes 3x + 2y = 22
x + y = 9
a) 7, 2 b) 1, 8 c) 4, 5 d) 6, 2

3. Resolva a equao quadrtica x
2
3x 10 = 0
a) -5, 2 b) 5, -2 c) -5, -2 d) 5, 2

4. Encontre a funo inversa dada: g(x) = 2x 3

a) g
-1
(x) = Error!
b) g
-1
(x) = Error!
c) g
-1
(x) = Error!
d) g
-1
(x) = Error!

5. Encontre o maior divisor comum de 986 e 289
a) 17 b) 58 c) 9 d) 3

6. Resolva a equao Error! = Error! Error!

a) No tem soluo b) 4 c) 2 d) 3

7. Elabore (2 )(4 + 3 )
a) 8 + b) 13 c) 11 + 2 d) 10 3
2


8. Encontre Error!
a) 6 b) 26 c) 84 d) 96

9. Evaluate
8
C
2

a) 20 b) 28 c) 16 d) 4

10. O terceiro termo de uma progresso geomtrica igual a 1 e o quinto termo igual a 16
Encontre o stimo termo
a) 4 b) 128 c) 256 d) 4096

11. Seja s= ut + at. Calcule s se u = 3, a = 10 e t = 5
a) 30 b) 60 c) 110 d) 140

12. Dada a expresso y = x
2
+ 5x 14, encontre o vrtice.
a) -2, 7 b) -7, 2 c) -2, 14 1/8 d) -2, -20 1/4

13. Ao factorizar 36j 48 transforma-se em:
a) 12(3j 4) b) 12(24j 36) c) 9(4j 7) d) 8(4j 6)

14. A soluo de Error! - 11 = - 2 igual a
a) 56 b) 64 c) 72 d) 96

15. Ao resolver a equao 6(7+y) - 2(5y-1) = 12(3y+5) - 16(y-5) a resposta ser
a) -2 b) -4 c) -3 d) 2

16. Um pau de 20 cm o mais comprido que cabe numa lata cilndrica de raio igual a 6 cm.
A altura da lata em centmetros mais prximo de:
a) 8 b) 15 c) 16 d) 9

17. Dada a expresso y = - x + 2x + 8, encontre os zeros.
a) - 2, 4 b) 2, - 4 c) 2, 4 d) -2, - 4

18.
73 cm
67 cm 65 cm
I
Q
R

O valor do ngulo Z RIQ igual a

a) 0,57

b) 55,1

c) 43

d) 67,2



19. Seja dada a sucesso7, 16, 25, 34, . O termo de ndice 56 igual a

a) 495 b) 640 c) 55 d) 502

20. Cada ngulo interior de um polgono regular igual a 140
0
. Quantos lados tem este
polgono?
a) 5 b) 9 c) 11 d) 7

9.2 Chave de Respostas

1. d 11. c
2. c 12. d
3. b 13. a
4. a 14. c
5. a 15. b
6. a 16. c
7. c 17. a
8. d 18. b
9. b 19. d
10. c 20. B

9.3 Comentrios Pedaggicos para os Formandos
O perfil com que entra o formando que determina o sucesso na percepo do Mdulo Teoria
dos Nmeros.
Teoria de Nmeros um ramo de matemtica abstracta que usa muitas notaes matemticas,
por isso, este Mdulo est construido na base da Matemtica Bsica.
O teste diagnstico um instrumento para avaliar as habilidades do formando em Matemtica
Bsica, pois este indica o nvel de preparao do estudante na rea. Assim, os estudantes
devem rever os contedos de Matemtica Bsica caso no consigam ter um bom resultado no
referido teste, bem como para consolidar os seus conhecimentos nesta rea.

X. Conceitos Chave (Pequeno Dicionrio)

1. ALGORITMO:
Um algoritmo um procedimento de resoluo de um problema num nmero finito de passos

2. NMERO INTEIRO:
Nmeros inteiros so os elementos do conjunto { -3, -2, -1, 0, 1,2,3,}

3. NMEROS PRIMOS:
Um nmero primo um nmero que tem apenas dois divisores: 1 e si prprio.

4. NMEROS PARES:
Nmeros pares so nmeros inteiros que so divisveis por 2, sem resto.

5. NMEROS MPARES:
Nmeros mpares so nmeros inteiros que ficam com resto se forem divididos por 2.

6. ALGORTMO DE EUCLIDES:
um procedimento sistemtico para encontrar o maior divisor comum de dois nmeros inteiros.
Euclides era um matemtico Grego ( 400 antes de Cristo) que desenvolveu o algoritmo

7. UMA EQUAO DIOFANTINA:
uma equao polinomial com coeficientes inteiros onde s so admitidas solues inteiras. Por
exemplo mx = k, onde m e k so nmeros inteiros e m =0, uma equao diofantina linear de
grau 1. ( As Equaes diofantinas so assim chamadas em honra ao matemtico grego Diofantos
do 3 sculo depois de Cristo)

8. LEMA, TEOREMA, COROLRIO:
Significa uma afirmao verdadeira.

9. UM NMERO INTEIRO DE GAUSS:
um nmero complexo cujas partes real e imaginria so ambas nmeros inteiros, ou seja, a + b
onde a e b so nmeros inteiros.

10. A NORMA DE UM NMERO INTEIRO DE GAUSS:
o nmero natural definido por N(a + b) = a + b

11. O MDULO DE UM NMERO INTEIRO DE GAUSS:
simplesmente o seu mdulo complexo | a + b | = a
2
+ b
2

12. O CONJUGADO DE UM NMERO COMPLEXO:
O conjugado de ( a + b ) ( a b)


XI. Leituras Obrigatrias
Leitura n 1 - Wolfram MathWorld ( visto no dia 03.11.06)
Referncia completa: http://mathworld.wolfram.com/NumberTheory.html
Resumo: Esta referncia fornece o material de leitura necessrio para aprender o bsico sobre a
Teoria de Nmeros, mas recomenda-se aos estudantes o controlo e seguimento das
demonstraes de Lemas com uma apurada e crtica ateno. Alm disso, a referncia fornece
ilustraes que capacitam o estudante em metodologias variadas de abordagem.
Importncia: A referncia capacita os estudantes em anlise da teoria de nmeros, para alm de
apresentar abordagens abstractas que muitos estudantes no conseguem visualisar. Ao longo da
leitura, o estudante tem acesso s inferncias tcnicas para Lemas, Corolrios, Teoremas e
Proposies que so usados nas demonstraes.

Leitura n 2 - Wikipdia (visto no dia 03.11.06)
Referncia completa : http://en.wikipedia.org/wiki/Number_Theory
Resumo: A Wikipdia devia ser a fonte de referncia mais prxima para a Teoria de Nmeros.
uma fonte importante qual todos os estudantes tm que aceder para perceber a matemtica
abstracta. Alm disso, a fonte fornece ao estudante argumentos que desafiaram matemticos
durante sculos.
Importncia: A fonte fornece definies, explicaes, e exemplos que estudantes no podem
encontrar em outras fontes. O facto que a wikipdia frequentemente actualizada, fornecendo,
assim, ao estudante as ltimas abordagens, argumentos abstractos, ilustraes e referncias a
outras fontes para o estudante poder conseguir outras abordagens em teoria de nmeros.

Leitura n 3 - MacTutor History of Mathematics (visto no dia 03.11.06)
Referncia completa : http://www-history.mcs.standrews.ac.uk/Indexes/Number_
Theory.html
Resumo: MacTutor uma referncia chave a ser lida se se tiver interesse ou quiser conhecer a
histria da Teoria de Nmeros.
Esta fonte relata como os teoremas, proposies, corolrios e lemas preocuparam os
matemticos durante sculos. O ltimo teorema de Fermat uma boa ilustrao de conceitos
bsicos e fceis de se perceber. Porm, a demonstrao do teorema trouxe grandes dificuldades
aos matemticos durante mais de 300 anos, desde o ano 1637 at ao ano 1995.
Importncia: A histria da matemtica como abordada em MacTutor no s fornece aspectos
histricos da teoria de nmeros mas tambm apresenta um desafio aos estudantes para a
demonstrao de teoremas, proposies, lemas e corolrios que ainda no foram
demonstrados.Para o efeito, o estudante pode adoptar estratgias como induo e reduo para
efectuar as referidas demonstraes.
Assim, a referncia apresentada til no fornecimento de uma variedade de abordagens
matemticas de que o estudante de teoria de nmeros precisa para aumentar os seus
conhecimentos e consolidar as noes em matemtica abstracta.

XII. Recursos Obrigatrios
Recurso n 1 - Mxima
Referncia completa: Uma cpia do Programa Mxima num disco que acompanha este curso.
Resumo: Os estudantes distncia so s vezes confrontados com uma matemtica difcil sem
poderem, por quaisquer meios, fazerem face a esse aspecto. A ausncia de aulas dirias onde
os estudantes estariam em contacto directo e presencial com os docentes pode criar condies
para que haja deficincias no domnio dos conhecimentos se os estudantes no possurem meios
eficazes na resoluo dos problemas matemticos com que se deparam. Esta deficincia pode
ser resolvida por meio do recurso que acompanha este curso: O Programa Mxima.
Importncia: Mxima um programa de software de fontes abertas que pode capacitar
estudantes para resolverem equaes lineares e quadrticas, sistemas de equaes, integrao
e derivao, para executar manipulaes algbricas: factorizao, simplificao,
elaborao/expanso etc.
Este recurso obrigatrio para os formandos distncia, uma vez que permite uma
aprendizagem mais rpida usando as habilidades j adquiridas no ICT.

Recurso n 2 - Graph
Referncia completa : Uma cpia de Graph num disco que acompanha este curso
Resumo: difcil desenhar grficos de funes, especialmente de funes complicadas, e ainda
mais concretamente de funes em 3 dimenses. Os formandos vo sem dvida encontrar
situaes em que precisem de fazer grficos matemticos enquanto estudam distncia. Este
curso acompanhado por um software chamado Graph para ajudar os estudantes a fazerem
grficos. Porm, necessrio que o estudante se familiarize primeiro com o software Graph para
ser capaz de us-lo.
Importncia: Graph um software dinmico de fontes abertas que fica acessvel para os
estudantes mediante o Disco Compacto dado. Este programa ajuda todos os aprendentes de
matemtica a fazerem o grfico de operaes deveras complicadas. O Graph simples de usar
desde que o estudante invista tempo para aprender a manipul-lo e til no ensino da
matemtica no nvel secundrio bem como para outras disciplinas ligadas a esta rea, pelo que,
os estudantes deviam procurar dominar este software.

XIII. Conexes teis
Conexo til n 1
Ttulo : Fermats Last Theorem (ltimo Teorema de Fermat)
URL : http:www. http://www-groups.dcs.st-and.ac.uk~history/HistTopics/Fermats
last theorem.html
Descrio: O ltimo teorema de Fermat advoga que para nenhum dos trs nmeros inteiros x,y e
z maiores que zero verdade que x
3
+ y
3
= z
3
. Apesar desta aparente simplicidade, a
demonstrao deste Teorema criou grandes dificuldades para os matemticos durante trezentos
anos, de 1637 at 1995. Porque que uma equao cbica simples de executar e perceber criou
dificuldades aos matemticos? Encontre a resposta no website.
Importncia: Ternos pitagricos foram usados desde os tempos antigos dos Babilnios e
Egpcios na indstria de construo. O matemtico Pitgoras documentou a teoria com base nos
ternos pitagricos. Porm, ele no investigou as equaes cbicas, assunto este que tanto
complicou a vida dos matemticos depois da Proposio de Fermat. A histria por detrs desta
teoria fascinante para a mente de um matemtico e um dever para os estudantes de Teoria
de Nmeros ler esta histria.

Conexo til n 2
Ttulo : Wikipedia
URL : http:www. http://en.wikipedia.org/wiki/Number_Theory
Descrio: Wikipedia o dicionrio para qualquer matemtico. um site de fontes abertas que
actualizado frequentemente. A maioria dos estudantes de Teoria de Nmeros por vezes se
deparar com a ausncia de fontes bibliogrficas, uma vez que a maioria dos livros disponveis
sobre Teoria de Nmeros englobam apenas partes ou seces do Mdulo de Teoria de Nmeros.
Esta falta de materiais de referncia pode ser colmatada pelo uso de Wikipedia. O acesso
facilitado pelo Google search.
Importncia: Dada a fcil acessibilidade ao Wikipedia, o problema de ausncia de bibliografia
bsica para a aprendizagem em matemtica e seus ramos pode ser minimizado, mas o estudante
deve dominar esta ferramenta para que realmente lhe seja til na aprendizagem.
um recurso gratuito muito til que no s resolve os problemas do estudante em eceder a
materiais de referncia mas tambm dirige os estudantes para websites relacionados, atravs do
clique em cones dados. Mais uma evidncia da utilidade deste recurso.

Conexo til n 3
Ttulo : Mathsguru
URL : http://www.bbc.co.uk/education/asguru/maths/13pure/01proof/01proof/
05induction/index.shtml
Descrio: Mathsguru um website que ajuda os estudantes a perceberem os diferentes ramos
do Mdulo da Teoria de Nmeros.
Este site pode ser facilmente acedido por meio da Procura Google e fornece informao
pormenorizada sobre as vrias questes sobre a teoria de nmeros.
O site oferece explicaes e exemplos que estudantes podem entender facilmente.
Importncia: Mathsguru fornece caminhos alternativos para assuntos relacionados com o mdulo
em estudo, fornece sugestes e solues que podem ser bastante teis para os estudantes que
no consigam obter livros capazes de apoi-los na resoluo dos problemas com os quais se
possam deparar ao longo da formao.
O site faz uma abordagem que ajuda nos clculos associados teoria de nmeros, bem como
sobre os diferentes ramos do Mdulo de Teoria de Nmeros.

Conexo til n 4
Ttulo : Mathworld Wolfram
URL : http:www. http://mathworld.wolfram.com/NumberTheory.html
Descrio: Mathworld Wolfram um website de distino cheio de solues para a teoria de
nmeros. O site fornece tanto os corolrios, lemas, bem como as proposies e as suas
demonstraes.
O acesso fcil para os estudantes por meio da Procura Google e assim fcil tambm aceder
referncia dada. Wolfram conduz os estudantes tambm para outros websites que abordam os
mesmos assuntos para melhorar a percepo dos estudantes.
Importncia: Wolfram um site til com uma aboradagem profunda sobre os novos desafios e as
novas metodologias inerentes teoria de nmeros. O site igualmente til na modelagem
matemtica e altamente recomendado para estudantes que queiram estudar teoria de nmeros
e/ou outros ramos da matemtica.
O site permite a conexo a outros websites e deste modo fornece aos estudantes informao de
que eles precisam para melhor perceberem a teoria de nmeros.

Conexo til n 5
Ttulo : Proof of Fermats last Theorem by Wiles (A demonstrao do ltimo Teorema de Fermat
por Andrew Wiles)
URL : http:www. http://www.pbs.org/wgbh/nova/proof/wiles.html
Descrio: O ltimo teorema de Fermat preocupou os matemticos durante mais que trezentos
anos, de 1637 at 1995, quando Professor Wiles conseguiu demonstr-lo.
O site relata os passos dados at ao ltimo teorema de Fermat, teorema este que muitos
matemticos do mundo tentaram formular sem xito. O prprio Wiles tentou, vrias vezes e sem
sucesso, chegar s concluses inerentes ao teorema, cujas bases surgiram das dificuldades que
ele encontrou enquanto aluno do ensino primrio. Em 1995, Wiles, entretanto Professor de
Matemtica, conseguiu realizar o seu sonho de infncia: demonstar o ltimo teorema de Fermat.
Importncia: O website d luz s dificuldades intrigantes atinentes tentativa de demostrao de
proposies matemticas e abre portas para outras proposies ainda no abordadas que
qualquer estudante pode tentar demonstrar e assim contribuir para o mundo sempre desafiante
da matemtica. importante que os estudantes saibam que nem toda a Matemtica j foi
descoberta e, por isso mesmo, eles prprios tm espao para melhorar a Matemtica
demonstrando as proposies matemticas cujas demonstraes esto pendentes desde h
muitos anos.


XIV. Actividades de aprendizagem

Actividade n 1 Ttulo: Unidade 1 (60 Horas): Propriedades do Nmeros Inteiros e
Equaes Lineares Diofantinas

Resumo da Unidade 1 (Actividades Mltiplas)
A abordagem usada neste Mdulo consiste na ligao entre as situaes do
quotidiano e a Teoria de Nmeros. Devido natureza abstracta da Teoria de
Nmeros, nos materiais referncia, h uma abordagem terico-prtica dos lemas,
teoremas, havendo tambm, nos referidos materiais, demonstraes. Os
estudantes podem ser convidados a instalar programas simples de computador
para executar clculos baseados no pensamento matemtico e nas frmulas.
No necessrio que estudantes j tenham habilidades de trabalho com
computadores para executarem as actividades.
Embora os teoremas j tenham sido enunciados, necessria a apresentao de
demonstraes, tais que podem ser encontradas nos materiais de referncia ou
encontradas em actividades de trabalho em grupo. de se salientar que este
Mdulo trata de matemtica abstracta, pelo que, as actividades do Mdulo so
organizadas volta dos aspectos ligados ao clculo na teoria de nmeros, aos
teoremas, aos lemas, s proposies, aos corolrios e s demonstraes desses.

Textos de leitura
Todos os textos de leitura para o Mdulo vm de livros de textos de Fontes
Abertas, isso significa que os autores disponibilizaram esses livros para acesso
livre (sem qualquer pagamento), e ns fornecemos cpias completas desses textos
no CD que acompanha este curso. Haver, quando se justificar, referncia a
seces especficas desses livros neste guio de estudos:

1. Elementary Number Theory, By W. Edwin Clark, University of South
Florida, 2003. (File name on CD: Elem_number_theory_Clarke)
2. Elementary Number Theory, By William Stein, Harvard University, 2005
(File name on CD: Number_Theory_Stein)
3. MIT Open Courseware, Theory of Numbers, Spring 2003, Prof. Martin
Olsson (Folder name on CD: MIT_Theory_of_Numbers)

Recursos na Internet
Esses recursos so gerais e so aplicveis ao Mdulo completo. Eles do
oportunidades para leituras adicionais e para estudos relacionados aos assuntos
do curso. Os recursos especficos da internet a serem usados neste mdulo, sero
pormenorizadamente apresentados na seco apropriada deste guio de estudos.


Requisitos para o curso
Supe-se, neste Mdulo, que os estudantes estejam familiarizados com nmeros e operaes
ligados Matemtica Bsica.
Supe-se que o estudante conhea as seguintes propriedades dos nmeros:
1) Leis de comutatitividade: p + q = q + r e pq = qp
2) Leis de associatividade: p + (q + r) = (p + q) + r = p + q + r
3) Leis de expoentes:
a) a
m
a
n
= a
m + n

b) a
m
a
n
= a
m
n

c) (a
m
)
n
= a
m
n
se m e n so diferentes de 0.
d) Error! = a
-m

e) a
0
=1 se a=0
f) a
-n
= Error!
g) aError! = Error! se n=0.

h) aError! = Error! se n=0.
i) a
m
b
m
=(ab)
m

j) Error!= Error!

4) O valor absoluto ou o mdulo |p| do nmero real p igual a:
|p| = p se p positivo e |p| = p se p negativo .

A funo mdulo d o valor numrico do input. Essa funo transforma nmeros negativos em
nmeros positivos e escrita como: y = |x| , o que se pronuncia como: y igual ao mdulo de
x.
Exemplo:
Fornea o valor de |7 - x| se x = 15.
Soluo: Se x =15 ento teremos |7 -15| = |-8| = 8.

5) Para a soluo de equaes quadrticas preciso que o estudante seja capaz de resolver
sistemas de equaes lineares e quadrticas por meio de um mtodo algbrico.

Avaliao formativa 1

Exerccio sobre expoentes

Resolva as seguintes equaes de incgnita x:
1. 4
x+2
= 8
2x

2. 2
2x+1
- 5(2
x
) +2 = 0
3. log
x
(6) =

Calcule:
4. Error!
5. log
10
(0,001)

Respostas

1. x=1
2. x=1, x = -1
3. x=36
4. Error!
5. x= -3

Notas
1) Se p for divisvel por q, escrevemos p , q. Se p no for divisvel por q, escrevemos p |;/ q
2) significa para todos, para qualquer
3) significa tal que
4) sse significa se e somente se
5) e significa elemento de
6) significa o conjunto dos nmeros inteiros
7) significa implica
8) - significa existe, h
9) significa equivalente a
10)e significa no elemento de

Sejam p,q e r nmeros inteiros. Ento:
a) (p|q . p>0 . q>0) p s q
b) p|q p|qr , r e
c) (p|q . p|r) p|(qx + ry) , x,y e
d) (p|q . q|p) p = q
e) (p|q . q|r) p|r

Demonstraes matemticas: por Induo e por Reduo
O Mdulo de Teoria de Nmeros usa frequentemente a induo matemtica e demonstraes
indirectas, ou seja, demonstraes de reduo.

Exemplo 1: Demonstrao por Induo
Demonstre por induo matemtica que 1 + 2 + + m = Error!
Demonstrao:
Passo 1: Tcnica de Induo
Demonstrar por induo matemtica significa verificar se a proposio vlida em caso de m ser
igual a 1, e depois supe-se que a proposio seja vlida em caso de m ser igual a k e verifica-se
se a proposio tambm ser vlida em caso de m ser igual a k+1. Se a resposta nestas duas
verificaes for positiva, ento a proposio vlida para todos os valores inteiros positivos
1,2,3,4,..... de m.

Passo 2: Faa a substituio de m = 1 na igualdade:
1= Error!, verdade!

Passo 3: Suponha que a frmula seja vlida se m= k
1 + 2 + + k = Error!

Passo 4: Mostre agora que a frmula vlida se m = k+1:
Mostre que 1 + 2 + + k + (k+1) = Error!.

Escreve-se:
1 + 2 + + k + (k+1) = Error! + (k+1) (segundo o Passo 3)
= Error!
= Error! (factorizao)
= Error!
= Error!
[ C.Q.D.]

Exemplo 2:
Demonstre usando a induo que para qualquer nmero inteiro positivo n verdade que:
1 +2 + 3 + 4 +. + n = Error!

Passo 1: Tcnica de Induo
Demonstrar por induo matemtica significa verificar se a proposio vlida no caso em que n
igual a 1, e depois supe-se que a proposio seja vlida no caso em que n igual a k e
verifica-se se a proposio tambm ser sempre vlida no caso em que n igual a k+1. Se a
resposta nestas duas verificaes for positiva, ento a proposio vlida para todos os valores
inteiros positivos 1,2,3,4,..... de n.

Passo 2: Faa a substituio n = 1 na igualdade:
1= Error! , verdade!

Passo 3: Suponha que a frmula seja vlida se n = k:
1 + 2 + 3 + 4
2
+ + k
2
= Error!

Passo 4: Mostre agora que a frmula tambm ser vlida se n= k+1.
1 + 2 + 3 + 4 +k
2
+ ( k + 1) = Error!
= Error!

Escreve-se
1 +2 + 3 + 4 + k
2
+ (k + 1) =

(1 + 2 + 3 + 4 +... + k) +(k + 1) = Error!+ (k+1) (passo 2)
2
= Error!
= Error!(factorizao)
= Error!
= Error! (factorizao)
[DEMONSTRADO] A demonstrao foi feita por induo matemtica.

Leia: Demonstraes de Induo Matemtica
1. Elementary Number Theory
By W. Edwin Clark, 2003, pag. 2-7

Recurso na internet
http://www.bbc.co.uk/education/asguru/maths/13pure/01proof/05induction/index.
shtml
Leia as duas pginas sobre demonstrao por induo neste website.

Avaliao Formativa 2

Exerccio de demonstrao por Induo
1. Demonstre que 1 + 2 + 2
2
+. + 2
n
= 2
n+1
1 for n 1.
2. Demonstre que 1 + 3 + 5 + 7 + + (2n 1) =n
2

3. Demonstre que a + ar + ar
2
++ ar
n
= Error! para qualquer nmero inteiro positivo n
4. Demonstre que 1
4
+ 2
4
+ 3
4
+ 4
4
+ ..... + n
4
= Error!
5. Demonstre que n < 2
n
qualquer que seja o nmero inteiro positivo n.
6. Demonstre que (ab)
n
= a
n
b
n
.
7. Demonstre que 1 + 4 + 7 + 10 + + (3n - 2) = Error!

Nmeros Pares e mpares

Actividade sobre nmeros pares e mpares

Caso 1
O que que percebe de nmeros pares e mpares?
Fornea uma maneira simples para distinguir nmeros pares de mpares.
Quantos meses no ano tm um nmero mpar de dias?
Quantos anos pares existiam entre 1960 e 2010?

Resposta
Nmeros divisveis por 2 so chamados pares e nmeros que no so divisveis por 2 so
chamados mpares.

Carto de corrente para distinguir nmeros pares de mpares:

INCIO
LEIA O
NMERO
INTEIRO
N
CALCULE
M =(N/2)x2
SEM
OLHAR
PARA
O RESTO
M =N ?
CASO SIM
ESCREVA
"N PAR"
CASO NO
ESCREVA
"N MPAR"
PARAR


Procedimento:
1. Introduza um nmero inteiro N
2. Calcule M como foi indicado
3. Faa a deciso se N par ou mpar.

A actividade uma representao por carto de corrente para distinguir nmeros pares de
mpares.
Faa uma tabela dos seus resultados:

Nmero
N

Par
mpar

Avaliao Formativa 3
Exerccio
Modifica o carto de corrente para testar se um nmero ou no divisvel por 3.

Resposta
Mude a frase M=N/2*2 em M=N/3*3. Tambm preciso mudar as frases entre aspas para
escrever as mensagens apropriadas.

Reflexo
1. Como futuro professor, como ensinaria expoentes e nmeros inteiros para que esses reflictam situaes da vida
real? Pense em abordagens prticas de ensino de nmeros inteiros que envolvam experincias dirias do aluno.
2. Rectas graduadas so usadas para ensinar clculo com nmeros inteiros positivos e negativos. Como que um
professor pode usar a recta graduada sem perder o significado real das operaes bsicas da diviso, adio
subtraco e multiplicao e a forma como essas so relacionadas com a vida real? Por exemplo, 22 = 4


Divisor
Um divisor de um nmero inteiro n, tambm chamado factor de n, um nmero inteiro que divide
n igualmente, sem deixar um resto.

Exemplo:
7 um divisor de 35 porque 35:7 = 5. Diz-se tambm que 35 divisvel por 7 ou 35 um mltiplo
de 7 ou sete divide 35 e escreve-se 7|35.

Em geral, diz-se m|n (leia: m divide n) para nmeros inteiros diferentes de zero, se existir um
nmero inteiro k tal que n = km .
Portanto, divisores podem ser negativos tal como positivos. Por exemplo, os divisores de 6 so
1,2,3,6,-1,-2,- 3,-6 mas geralmente mencionam-se apenas os divisores positivos 1,2,3 e 6.
1 e 1 so divisores de cada nmero inteiro; cada nmero inteiro um divisor de si mesmo e
cada nmero inteiro divisor de 0 .
Um divisor de n que no seja igual a 1,-1, n ou n chamado divisor no trivial; os nmeros
inteiros que tm divisores no triviais so chamados nmeros compostos e os nmeros primos
tm apenas divisores triviais.
Se a : b = c, ento a o dividendo, b o divisor e c o quociente.

O Resto para nmeros naturais.
Se a e d so nmeros naturais, com d diferente de zero, possvel mostrar que existem nmeros
inteiros nicos q e r tal que a = qd + r enquanto 0 r < d.
O nmero q chamado quociente, enquanto r chamado resto.

Exemplo:
1) Ao dividir 17 por 10, 1 o quociente e 7 o resto porque
17 = 1 10 + 7.

2)

22 ; 4 ;-20 ;5;2;
5 o quociente e 2 o resto.
3) Ao dividir 42 por 7, 6 o quociente e 0 o resto, porque
42 = 7 6 + 0.

O caso de nmeros inteiros em geral.
Se a e d so nmeros inteiros, e d diferente de 0, ento um resto um nmero inteiro r tal que
exista um nmero inteiro q e a=qd + r enquanto 0s |r| < |d|
Com esta definio, h dois possveis restos:

Exemplo:
A diviso de 37 por 5 pode ser expressa como 37 = 8 (-5) +3 ou 37 = 7 (-5)+(-2).
Portanto, o resto ser 3 ou 2.

Observao: Ao dividir por d, se o resto positivo for r
1
, e o resto negativo r
2
, ento r
1
= r
2
+ d.

A operao mdulo .

A operao mdulo encontra o resto de uma diviso de um nmero por um outro.
Dados dois nmeros a e n, a mdulo n { abreviado a mod n} o resto quando se dividir a por n.
Por exemplo, 10 mod 3 igual a 1 e 12 mod 3 igual a 0, ou seja, 1 e 0 so os restos depois da
diviso.

Divisibilidade

Definio: Um nmero inteiro p divisvel por um nmero inteiro q sse existir um nmero inteiro r
tal que p = q r

O Teorema de Diviso
Sejam m e n nmeros inteiros e seja n = 0.
Existe exactamente um nico nmero inteiro q e um nico nmero inteiro r tal que
0 r < |n| e m = qn + r.
Os nmeros inteiros
a) m chamado dividendo
b) q chamado quociente
c) n chamado divisor
d) r chamado resto

Caso 1
Divide-se um terreno de 11 ha entre 5 pessoas. Qual a parcela que cada pessoa obtm? Cada
pessoa obtm um nmero inteiro e uma fraco.
Neste caso, determine o dividendo(a), o quociente(q), o divisor(b) e o resto(r).

Exemplos:
Sejam m e n nmeros inteiros, e n=0. Existe um nico nmero inteiro q e um nico nmero
inteiro r tal que 0 r < |n| e m = qn + r.
Os inteiros n q r m = qn + r
m chamado
dividendo
2 7 1 m = 7(2) + 1
q chamado
quociente
5 6 3 m = 5(6) + 3
n chamado
divisor
9 5 8 m = 9(5) + 8


Avaliao Formativa 4

TAREFA: Determinao de factores

1.Preencha esta tabela
m n Q r Soluo
7 2
7 3
7 3
7 3

Definio:
Um nmero natural que divide um outro nmero natural, num nmero exacto de vezes
chamado um factor.

Exemplos:
Factores de 24 so 1, 2, 3, 4, 6, 8, 12 e 24.
Factores de 15 so 1, 3, 5 e 15.

Avaliao Formativa 5

Exerccio sobre factores
Quais so os factores de:
1. 20
2. 28
3. 36
4. 120
5. 169
6. 180

Mltiplos comuns
Um nmero inteiro que divisvel pelos nmeros inteiros p e q chamado mltiplo comum de p e
q. Os mltiplos comuns de 2 e 3 so 0, 6, 12, 18, 24,. E os mltiplos comuns de 4 e 5
so 0,20,40,60,...

Avaliao Formativa 6

Exerccio sobre Mltiplos Comuns
Faa uma lista dos primeiros 8 mltiplos de:
1). 3 2). 7 3). 11 4). 23 5). 61 6). 138

Menor Mltiplo Comum (m.m.c.)

Uma estria no mercado.
A Dona Safia vai fazer compras no centro comercial mais prximo sua casa. Nas lojas desse
centro, tm-se medido as quantidades por meio de latas.
Ela passa por trs lojas e em cada loja usa-se um diferente tipo de lata. A Loja A usa latas de
dois litros, a loja B usa latas de 4 litros e a loja C usa latas de 5 litros.
Ela precisa de levar consigo um cesto para as suas compras tal que entre um nmero inteiro de
latas, qualquer que seja a loja onde v fazer compras. Qual o volume mnimo do cesto?

Definio
O menor mltiplo comum de p e q definido como o menor nmero inteiro positivo que divisvel
por p e q. Pode-se notar o m.m.c. de p e q como [p, q].

Exemplos:
[4, 9] = 36
[-3, 4] = 12
[7, 8] = 56

Clculo do m.m.c. usando factores primos

Exemplo: Determine o m.m.c. de 16, 24 e 840.

Passo 1: Decomponha cada nmero em factores primos:
16 = 2
4

24 = 2
3
3
840= 2
3
3 5 7

Passo 2: Escolha o expoente maior para as potncias de qualquer factor primo que aparece. No
necessrio que esses factores sejam comuns. Por exemplo, os expoentes maiores que
aparecem de 2,3 ,5 e 7 so 4,1, 1 e 1 e o m.m.c. ser 2
4
357=1680.

Exerccio do clculo do m.m.c.
Encontre o m.m.c. de
1. 18, 20 e 24
2. 30, 45 e 50
3. 252, 990 e 3150
4. 450, 2100 e 990

Divisores comuns

Definio:
Um nmero inteiro p divisor comum de q e r se p|q e p|r.

Maior Divisor Comum
Sejam dados os trs nmeros 20,24, e 28. Qual o maior nmero inteiro que pode dividir cada
um desses nmeros? Como que se pode calcular esse nmero?

Definio:
Cada dois nmeros inteiros p e q tm pelo menos um divisor positivo em comum, chamado
divisor comum. Se pelo menos um dos nmeros inteiros p e q diferente de zero, ento existe
um maior nmero inteiro d que divide p e q. Este nmero inteiro d chamado maior divisor
comum (m.d.c.) de p e q e tem-se: m.d.c.(p,q)= d.

Exemplos:
m.d.c.(6,12) = 3
m.d.c.(0,18) = (0,-18)=18
m.d.c.(9, 27) = 9
m.d.c.(14, 28) = 7

Clculo do m.d.c. usando factores primos

Exemplo:
Determine o m.d.c. de 60, 100 e 840.

Passo 1:
Decomponha cada nmero em factores primos
60 = 2 3 5
100= 2 5
840= 2
3
3 5 7

Passo 2:
Procure a potncia comum de maior expoente para cada factor primo comum. O produto dessas
potncias maiores o m.d.c.
Por exemplo, os factores primos comuns so 2 e 5. As potncias comuns de expoente maior de 2
e 5 so 2 e 5
1
. O seu produto 2
2
5
1
= 20 ser o m.d.c. de 60,100 e 840.

Avaliao Formativa 7

Exerccio de clculo do m.d.c.
Determine o m.d.c. de:
1. 540,72 e 378
2. 105,546 e 231
3. 1125 e 675

Leituras a efectuar:
1. Elementary Number Theory, por Stein, October 2005, pginas 5 -7
2. Greatest Common Divisor MIT: Units 1 & 2 Apontamentos, ambos, pginas 1-2
3. Elementary Number Theory, por W. Edwin Clark, pgina 10 -14

Avaliao Formativa 8

Exerccio de demonstrao de corolrios:
1. Para qualquer nmero inteiro m > 0 verdade que mmdc(b,c)= mdc(mb,mc)
2. If d|a, d|b, d > 0,then mdc(Error!,Error!) = Error!mdc(a,b)
Demonstre as seguintes Proposies:
1. Se mdc(a,m)= mdc(b,m)= 1 ento mdc(ab,m)=1
2. Se c|ab e mdc(b,c) =1 ento c|a

Referncia: MIT Apontamentos 7 Feb 2003 (Divisor Comum) pginas 1 e 2

Reflexo
1. Pense em exemplos prticos aplicveias ao ensino de m.d.c. e m.m.c., que alunos possam rapidamente identificar como
partes da vida diria deles.
2. A boa prtica do ensino ajuda o aluno a integrar a teoria prtica. Como que o professor pode integrar as noes e
operaes m.d.c. e m.m.c. na matemtica domstica de medies em casa?

O algoritmo de Euclides
O algoritmo de Euclides um algoritmo para determinar o maior divisor comum (m.d.c.) de dois
nmeros inteiros numa sequncia de divises com resto, comeando pelos dois nmeros dados.

Descrio do algoritmo
Sejam dados os nmeros naturais m e n. Verifique primeiro se n = 0. No caso afirmativo, m o
m.d.c.
Se no, repita o processo, agora com n e o resto depois da diviso com resto de m por n. (O
resto escreve-se como m mod n)

Teorema: Algoritmo de Euclides
H duas possibilidades:
Ou m um mltiplo de n ou existe um nmero inteiro positivo k e nmeros inteiros q
1
,q
2
,,q
k
,
r
1
,r
2
,.r
k-1
( e r
k
= 0) tal que
m= q
1
n + r
1
(0 r1 < |n| )
n= q
2
r
1
+ r
2
(0 r
2
< r
1
)

r
k-3
= q
k-1
r
k-2
+ r
k-1
(0 r
k-1
< r
k-2
)
r
k-2
= q
k
r
k1
(0 r
k
)

Exemplo: Calcule o m.d.c. de 1071 e 1029.
Euclides ( 400 antes de Cristo) desenvolveu um procedimento sistemtico para encontrar o maior
divisor comum de dois nmeros inteiros. Este procedimento chamado o algoritmo de Euclides.

a B Expresso Explicao
1071 1029 Passo 1: Ponha o maior nmero esquerda e o
menor nmero direita.
1071 1029 1071 = 10291 + 42 Passo 2: O resto da diviso de 1071 por 1029
igual a 42. Este resto posto direita e
o divisor esquerda.
1029 42 1029 = 4224 + 21 Passo 3: Repita o passo anterior, dividindo
1029 por 42, e vai obter 21 como resto.
42 21 42 = 212 + 0 Passo 4: Volte a repetir o passo 2. Porque 42
divisvel por 21, vai obter 0 como resto
e o algoritmo chegou ao seu fim.
21 0 O nmero 21 o m.d.c. procurado.
Examples: Illustration of Euclids algorithm in computing gcd

Exemplos: Ilustrao do Algoritmo de Euclides para calcular m.d.c. (Algoritmo de Diviso)
Exemplo 1 Exemplo 2
Determine o m.d.c. de 5775 e 1008 Determine o m.d.c. de 2261 e 1275
Soluo. Soluo.
m = 5775 e n = 1008. m = 2261 e n = 1275
5775 = 5 1008 + 735 2261 = 11275 + 986
1008 = 1 735 + 273 1275= 1 986 + 289
735 = 2 273 + 189 986=3 289 +119
189 = 2 84 + 21 289=2 119+51
84 = 4 21 119=2 51+17
Portanto, o m.d.c. igual a 21, ou 51 = 3 17
seja, 21 o maior nmero inteiro que divide
5775 e tambm 1008.
Portanto, o m.d.c. igual a 17.


Avaliao Formativa 9

Exerccio de clculo do m.d.c. usando o Algoritmo de Euclides
Determine em cada uma das situaes abaixo, o maior divisor comum, usando o algoritmo de Euclides
1. ( 276, 336, 396, 468, 972 )
2. ( 1387, 1292,722,836)
3. (924, 798, 1358,1827)
4. (60,84)
5. ( 190,72)

Solues:
1). 12 2). 19 3). 7 4). 12 5). 2

Avaliao Formativa 10

Exerccio
Tarefa: utilise o livro Elementary Number Theory por William Stein.
Tente resolver a questo 2.1, do exerccio 2.6 na pgina 38

1. Elementary Number Theorem, por Stein, October 2005, pginas 8 -10
2. Euclidean Algorithm & Common Multiples MIT Unit 3, pginas 1& 2
1. Elementary Number Theory, por W. Edwin Clark, pginas 1 -33

Reflexo
Compare o Algoritmo de Euclides e os passos da Diviso Longa bem conhecida. Quais so pontos comuns, quais so as
diferenas entre os dois algoritmos? Se dermos significado aos diferentes passos no Algoritmo de Euclides, esse Algoritmo vai
ficar mais concreto para os aprendentes? Invente palavras apropriadas para cada passo do Algoritmo de modo a que um
colega possa entender o algoritmo.


Nmeros primos e a distribuio desses sobre os nmeros naturais

Introduo
O conjunto dos nmeros naturais = {1,2,3,4,}e
O conjunto dos nmeros inteiros = {-2,-1,0,1,2..}

Definio: Primo e Composto
Um nmero inteiro p > 1 primo se p no tem divisores d tal que 1< d< p. Em outras palavras,
os nicos divisores positivos de p so 1 e p. Dizemos que p composto se p no for primo.
O nmero 1 nem primo nem composto. Os primeiros nmeros primos em so
2,3,5,7,11,13,17,23,29,31,37,42,43,47, e os primeiros nmeros compostos so
4,6,8,9,10,12,14,16,18,20,21,22,24,26,27,.

Definio:
Dois nmeros inteiros p e q so co-primos (primos entre si) se m.d.c.( p,q) = 1.
Theorem

Teorema
Se p composto, ento p tem um factor primo.

Exemplo:
O nmero composto 12 pode ser factorizado em factores primos ou seja 12 = 223, e
90 = 2 3 3 5

Fundamental Theorem of Arithmetic
Teorema Principal de Aritmtica
Cada nmero inteiro maior que 1 primo ou pode ser escrito como produto de nmeros primos.

Corolrio:
H equivalncia entre as trs afirmaes abaixo:
1. a e b no tm divisores prprios comuns ou seja ( n|a . n|b) n = 1.
2. o m.d.c. de a e b igual a 1, ou seja,o sub-grupo gerado por a e b todo o conjunto .
3. Existem nmeros inteiros m e n tal que ma + nb = 1.

Definio:
Se alguma dessas trs condies for satisfeita, diz-se que a e b so
co-primos (primos entre si).

Teorema:
Se a e b so co-primos (primos entre si) e a diferente de 0, ento a|bc equivalente a a|c

Demonstrao:
Suponha que a e b sejam co-primos. Seja c e e suponha que a|bc. Existem nmeros inteiros
m,n tal que ma+nb =1, e isso significa que mac + nbc = c. Agora, verdade que a|mac e a|nbc.
Portanto, a|(mac + nbc) e isso significa que a|c.
Theorem
Teorema
Suponha que p um nmero primo.
1. Se a um nmero inteiro que no um mltiplo de p, ento m.d.c.(p,a) = 1.
Em outras palavras, para qualquer nmero inteiro a verdade que m.d.c.(p,a)=p ou
m.d.c.(p,a)=1.
2. Se p|ab ento p|a ou p|b.
3. Se p|a
1
a
2
a
n
ento p divide pelo menos um desses factores a
i
. Portanto, se cada a
i
um
primo, ento p igual a um desses factores a
i
.

O Teorema da Factorizao nica

Seja a um nmero inteiro diferente de 0,1 e -1. Ento a pode ser factorizado num produto de
nmeros primos e com excepo da ordem, esta factorizao nica. Isso significa que existe
uma coleco nica de nmeros primos distintos:
p
1
,p
2
,,p
k
e nmeros inteiros positivos s
1
,s
2
,.,s
k
tal que a=p
1
s1
p
2
s2
...p
k
sk
.
{E.H Connell, 2004}

Trabalho em Grupo.
1. Analisa a demonstrao do Teorema Fundamental da Aritmtica e procura demonstr-lo em
testes.

Referncia: Demonstrao de Euclides que defende a existncia de um nmero infinito de
nmeros primos, em Stein,2005, pginas 13 e 14
2. Qual o maior nmero primo conhecido?
3. Fornea exemplos de nmeros primos da forma
a. ax + b
b. 4x - 1
4. Enuncia o Teorema sobre Nmeros Primos

Referncia: Elementary Number Theory, por William Stein,2005, pginas 15 e 18.

Resoluo de Equaes Diofantinas Lineares

Definio
Uma Equao Diofantina uma equao polinomial (por exemplo, mx = k, mx + ny = k ,etc) com
coeficientes inteiros (m e n) para a qual procuram-se apenas solues inteiras.

Equao Diofantina Linear do Primeiro Grau
exemplo de uma equao Diofantina do Primeiro Grau, a equao de uma incgnita mx = k,
onde m e k so nmeros inteiros e m=0.
A equao Diofantina linear tem uma soluo inteira, x = k/m, se k for divisvel por m.

Equaes Diofantinas em duas variveis
Essas so do tipo mx + ny = k . ( m,n e k so nmeros inteiros e m 0,n 0 )
Esta equao tem soluo se k for divisvel pelo mdc (m,n).
Ts
Teoremas
1. Dados os nmeros inteiros m =0 e n=0, existem nmeros inteiros x e y tais que x e y
satisfazem a equao Diofantina mx + ny = mdc(m,n)
2. A equao Diofantina mx+ny = k, tem a soluo inteira se e somente se mdc (m,n)
divisor de k.

Actividade: Resoluo de equaes Diofantinas

Exemplo 1: Siga bem o exemplo

Resolva a equao Diofantina
2772x + 390y = mdc(2772,390)

Soluo:
Passo 1: Aplica o algoritmo de Euclides para encontrar o mdc de 2772 e 390
==> 2772 = 7 390 + 42.( i)
==> 390 = 9 42 + 12.( ii )
==> 42 = 3 12 + 6.( iii)
O maior divisor comum igual a 6
Passo 2: Faa a substituio desse mdc na equao:2772x + 390y = 6.
Faa substituio na ordem contrria: primeiro( iii), depois (ii) e finalmente (i) para obter solues
dessa equao Diofantina.

6 = 42 3 12
= 42 3 ( 390 9 42) = 42 - 3(390)
= 42 + 27(42) - 3(390)
= 28(42) - 3(390)
= 28(2772 7 390) 3(390)
= 28 (2772) 196(390) 3(390)
= 28(2772) 199(390)
ou seja( mx + ny)
x = 28, y = -199

Exemplo 2:
7472x + 2624y = mdc(7472, 2624)
7472 = 3 _ 2624 + 80( i)
2624 = 30 _ 80 + 64( ii )
80 = 1 _ 64 + 16.. ( iii)
O mdc igual a 16
Passo 2: Faa a substituio do mdc na equao: 7472x + 2624y = 16
Faa a substituio na ordem contrria: primeiro em ( iii), depois (ii) e finalmente em (i) para obter
solues para a equao Diofantina
16 = 80 1 64
= 80 1 (2624 30 80)
= 80 - 1(2624) + 30 80
= (1)80 + 30(80) 1(2624)
= 31(80) 1(2624)
= 31(7472 3 2624) 1(2624)
= 31(7472) 93(2624) 1(2624)
= 31(7472) 94(2624)
ou seja (mx + ny)
x= 31, y = -94.

Exemplo 3:
803x + 154y = mdc(803,154)

803 = 5 154 + 33. (i)
154 = 4 33 + 22 (ii)
33 = 1 22 + 11.... (iii)
O maior divisor comum igual a 11
Passo 2: Faa a substituio do mdc na equao: 803x + 154y = 11
Faa substituio na ordem contrria: primeiro em( iii), depois em (ii) e finalmente em (i) para
obter solues da equao Diofantina
11 = 33 1 22
= 33 1(154 4 33)
= 33 -154 + 4(33)
= 5(33) 154
= 5(803 - 5(154)) 154
= 5(803) 25(154) 154
= 5(803) - 26(154)
5(803) - 26(154) = 803x + 154y
uma soluo x = 5 and y = -26


TAREFA : RESOLUO DE EQUAES DIOFANTINAS

Exerccio
Resolva as equaes Diofantinas
1. mx + ny = mdc(m,n) se m =5775, n= 1008.
2. 18203x 9077y = 17
3. 32x + 14y = 22
4. 35x + 61y =1

Solues
1. x = 11, y =-63
2. x = 17 x 742 = 12.597 y = 17 x 1486 = 25.262
3. H vrias solues: x = -33, y = 77. A soluo geral x= -33 +7i, y =
77 16i ( i =0, 1, 2, 3, 4,)
4. x=7, y= -4
(Kirch, 1974 & Clarke )


CONGRUNCIAS e NMEROS INTEIROS MDULO N
Se dois nmeros inteiros b e c cuja diferena (b-c) divisvel por um nmero inteiro m { ou seja
(b-c)m e m um nmero inteiro}, ento diz-se que b e c so congruentes mdulo m. O nmero
m que nomeia o mdulo, e a afirmaob congruente a c (mdulo m) escrita
matematicamente como
b c (mod m)
Se a diferena de b e c (b-c) no divisvel por m nos nmeros inteiros, diz-se que b no
congruente a c(mdulo m) e escreve-se b = c (mod m)
s vezes, a quantidade b chamada base, enquanto a quantidade c chamada
resduo ou resto.
( Wikipedia)

Definio: Se m =0 um nmero inteiro positivo e a, b e ento diz-se que a congruente a b
mdulo m se m|a-b.

Nota: Narelao a b (mod m), o nmero inteiro m chamado mdulo.

Trabalho em Grupo : Resoluo de equaes Diofantinas
Encontra todas as solues x, y de cada uma das seguintes equaes Diofantinas:
1. 64x +108y = 4
2. 64x + 108y = 2
3. 64x + 108y =12

Reflexo
1. Na sua prpria viso, quais so os passos essenciais para resolver equaes Diofantinas?
Qual a melhor abordagem que um professor pode adoptar na resoluo de equaes
Diofantinas?
2.Identifique as reas principais que um professor precisa de destacar ao ensinar a resoluo de
equaes Diofantinas.

Exemplos:
45 3 mod 6 ou seja m|a-b Error! = Error!

72 0 mod 12 ou seja m|a-b Error!= Error!

-27 1 mod 4

A ideia de congruncia e a notao a b(mod m) devem-se a Carl Friedrich
Gauss (1777-1855).

PROPRIEDADES DAS CONGRUNCIAS MDULO M

Se a a(mod m) e bb(mod m), ento algumas propriedades importantes das congruncias so:
1) Equivalncia: a b(mod 0) a _ b.
2) Determinao: ou a b(mod m) ou a ;/ b(mod m)
3) Reflexo: a a(mod m)
4) Simetria: a b(mod m) b a(mod m)
5) Transitividade: a b (mod m) . b c(mod m) a c (mod m)
6) a+b a+b(mod m)
7) a-b a-b(mod m)
8) ab ab(mod m)
9) a b(mod m) ka kb(mod m)
10) a b(mod m) a
n
b
n
(mod m)
11) a b ( mod m
1
) . a b(mod m
2
) a b (mod[m
1
,m
2
]), onde
[m
1
,m
2
] o menor mltiplo comum (mmc)
12) ak bk(mod m) a b (mod(Error!), onde mdc(k,m) o maior divisor comum.
13) Se a b ( mod m), ento p(a) p(b)(mod m), se p(x) um polinmio.


Theorem
Teorema
Se a,b,c e d e , ento:
1) a b (mod m) sse b a (mod m) sse b a 0 ( mod m)
2) Se a b ( mod m ) e b c, ento a c ( mod m)
3) Se a b ( mod m) e d|m, d 0, ento a b (mod d)
4) Se a b (mod m) e c 0, ento ac bc (mod mc)
5) Se a b (mod m) e c d (mod m), ento a+c b+d (mod m)
6) Se a b (mod m) e c d (mod m), ento ac bd (mod m)
Theorem (Cancellation Law)
Teorema (Lei de Cancelamento)
Seja m um mdulo fixo qualquer e suponha que ab ac (mod m).
Ento b c (mod Error!), onde d = mdc(a, m).
Se a e m so co-primos (primos entre si), ento ab ac(mod m), o que significa que
b c(mod m).

Proposies

1. Cancelamento
Se mdc(c, n)=1 e ac bc (mod n), ento a b (mod n)

2. Unicidade de solues
Se mdc(a,n)=1, ento a equao ax b(mod n) tem soluo, e a soluo nica no mdulo n.

3. Existncia de solues
A equao ax b(mod n ) tem soluo sse mdc(a,n) divisor de b.

Algortmo (Inverso Mdulo n)
Suponha que a e n so nmeros inteiros co-primos (primos entre si). O algortmo encontra um x
tal que ax 1 (mod n)
Procedimento: Use o Algoritmo de Euclides Extendido para calcular nmeros inteiros x,y tal que
ax + ny = 1

Exemplo: Encontre um nmero inteiro x tal que 37x 1(mod 101)

Soluo
37x 1 (mod 101)

Passo 1: Forme a equao
37x + 101y = 1
Passo 2: Encontre o mdc = 1 usando o Algortmo de Euclides Extendido,
101= 2 37 + 27 (i)
37 = 1 27 + 10.(ii)
27 = 2 10 +7 . (iii)
10 =1 7 + 3 (iv)
7 = 2 3 + 1.(v)
Portanto mdc(101,37) = 1
Passo 3: Elabore os passos (i) ,(ii),(iii),(iv) e finalmente(v), mas na ordem contrria;
i. 27 = 101 2(37)
ii. 10 = 37 1(27)
= 37 1[101 - 2(37)] ou seja substitui-se o valor 27 em (i) em cima.
= 37 1(101) + 2(37)
= -101 + 3(37)
iii. 7 = 27 2(10)
= 101 2(37) - 2[-101 + 3(37)]
ou seja substituem-se os valores finais 27 e 10 em (i) & (ii) em cima
= 101 - 2(37) + 2(101) 6(37)
= 3(101) - 8(37)
iv. 3 = 10 - 1(7)
= -101 + 3(37) 1[3(101) - 8(37)]
ou seja substituem-se os valores de 10 e 7 em (ii) e (iii) em cima
= -101 - 3(101) + 3(37) + 8(37)
= -4(101) + 11(37)
v. 1 = 7 2 3
= 3(101) - 8(37) - 2[-4(101) + 11(37)]
= 3(101) +8(101) 8(37) -22(37)
= 11(101) -30(37)

Logo 37x + 101y -30(37) + 11(101)

x = -30 uma soluo de 37x 1(mod 101).


Trabalho em Grupo : Resoluo de equaes Lineares mdulo n
1. Verifique a demonstrao da Lei de Cancelamento, da Unicidade e Existncia de Solues em
Stein 2005, pginas 21- 26
2. Como resolver ax 1 ( mod n)? Veja Stein 2005, pginas 29 31.
Resolva a questo 2.9 no exerccio 2.6 na pgina 39.

Classe de resduos
O nmero b na congruncia a b (mod m) chamado resto ou resduo de
a(mod m).

Resduo Comum
o valor de b, onde a b(mod m) tal que b no seja negativo e menor que m.

Resduo Mnimo
O resduo mnimo de a(mod m) o valor de b ou b-m, dependendo do n que tiver menor valor
absoluto, onde a b(mod m). Se m = 2b , e portanto b=|b-m|, ento o resduo mnimo definido
como b. A tabela abaixo ilustra os resduos comuns e mnimos para 0, 1, 2, e 3(mod 4)

n Resduo Comum (mod 4) Resduo Mnimo (mod 4)
0 0 0
1 1 1
2 2 2
3 3 1

Exemplo
Encontre 37
13
(mod 17).

Soluo
37 3
37
2
3
2
9 - 8
37
4
8113 - 4
37
8
16 -1,
Portanto 37
13
37
1+4+8
3( - 4 )( -1) 12(mod 17).

SISTEMA REDUZIDO DE RESDUOS
Qualquer sistema de (n) nmeros inteiros, onde (n) a funo de tociente, que representa
todos as classes residuais co-primas com n, chama-se sistema reduzido de resduos.

CLASSES RESIDUAIS
As classes resduais de uma funo f(x) mod n so todos os possveis valores do resduo f(x)
(mod n).

Exemplo:
As classes residuais para x (mod 6) so { 0,1,3,4} pois
0 0 (mod 6)
1 1 (mod 6)
2 4 (mod 6)
3 3 (mod 6)
4 3 (mod 6)
5 1 (mod 6), so todos os resduos possveis.
Um sistema completo de resduos um conjunto de nmeros inteiros que contm um nico
elemento de cada classe, portanto {0,1,9,16} podia ser um sistema completo de resduos para x
(mod 6).
( Wolfram MathWorld )

Definies
1) Se a b (mod m), ento b chama-se resduo de a mod m.
2) Um conjunto { x
1
, x
2
, x
3
,.. x
m
} chama-se sistema completo de resduos mdulo m se
ne - x
i
[ n x
i
(mod m)]
3) A classe de congruncia (a classe de resduos) de n(mod m) o conjunto {n+mx|xe }.
4) Um sistema reduzido de resduos (mod m) um conjunto de nmeros inteiros r
i
tal que
mdc(r
i
,m)=1 tal que para qualquer nmero inteiro n co-primo com m exista r
i
tal que n = r
i

(mod m).

A FUNO DE EULER
Definio: Funo aritmtica ( f )
Uma funo aritmtica uma funo cujo domnio o conjunto de nmeros inteiros positivos.

Definio: Funo multiplicativa
Uma funo G multiplicativa se G (pq) = G (p) G (q) para quaisquer p e q que so co-primos, e
G completamente multiplicativa se G(pq)=G(p)G(q) para todos os nmeros inteiros positivos p e
q.


Definio: Funo de Euler ( Funo de tociente)
O smbolo (phi) usado para representar a funo de Euler.
Para p>1, (p) indica o nmero de nmeros inteiros positivos menores que p que so co-primos a
p.

Exemplo: (15)= 8 ou seja h 8 nmeros inteiros positivos, 1,2,4,7, 8,11, 13, 14 menores que 15
que so co-primos a 15. Se se combina que (1) = 1, ento uma funo aritmtica.
Esta funo chamada funo de Euler ou funo do Tociente
(Leonhard Euler 1701 1783, matemtico suio)

Propriedades da funo
1. Para qualquer nmero primo p, (p) = p -1
2. multiplicativa ou seja (pq) =(p) (q) se p e q so co-primos.Theorem

Teorema
(m) o nmero de classes residuais distintas mdulo m que so co-primos a m, ou seja, o
nmero de r , 0 s r < m, que so co-primos a m.

Fermats Little Theorem
Pequeno Teorema de Fermat
Se p um nmero primo e a qualquer nmero inteiro, ento
1. a
p
a(mod p).
2. Se a e p so co-primos, ento a
p-1
1(mod p).
Theorem
Teorema
O sistema de congruncias
x a(mod m)
x b(mod n)
tem solues se e somente se mdc(m, n) for divisor de b a. Caso exista uma soluo x
0
ento o
nmero x tambm soluo se e somente se x x
0
(mod[m,n]), onde
[ m, n] o menor mltiplo comum de m e n.
(Kirch, 1974 )

1. Elementary Number Theorem, por Stein, Outubro 2005,
pginas 21- 37
2. Tente resolver o exerccio na pgina 38 No. 2.1,2.2,2.4(b)
3. Congruences MIT Units 5 e 6, pginas 1 & 2 em cada
4. Elementary Number Theory, por W. Edwin Clark, pginas 58 - 80


TRABALHO EM GRUPO:
1. Demonstre o Teorema: ax ay(mod m) sse x y (mod mdc(a,m)m)

2. Demonstre a Proposio: Se b c (mod m), ento mdc(b,m) mdc(c,m).
Referncia: MIT notes, Congruences 21 Feb 2003, pginas 1e 2.

RAZES PRIMITIVAS Uma raz primitiva de um nmero primo p um nmero inteiro g tal que g
(mod p) tem ordem p 1 mdulo p.
Em geral, se mdc(g,n)=1 { g e n so co-primos} e se g tem ordem (n) mdulo n onde (n) a
funo de tociente,ento g uma raz primitiva de n.
Se n tiver uma raz primitiva, ento n tem exactamente [ (n)] dessas razes primitivas, o que
significa que se p um nmero primo, ento existem exactamente
(p-1) razes primitivas no congruentes de p. Para
n=1,2,3,., os primeiros poucos valores de [ (n)] so 1,1,1,1,2,1,2,2,2,2,4,2,4,2,4,4,8.
n tem uma raz primitiva se n for da forma 2,4,p
a
ou 2p
a
, onde p primo mpar e a 1. Os
primeiros nmeros n para os quais existem razes primitivas so
2,3,4,5,6,7,8,9,10,11,13,14,17,18,19,22,.., portanto o nmero de razes primitivas de
n,n=1,2,.so 0,1,1,1,2,1,2,0,2,2,4,0,4,. A raz primitiva menor para os primeiros nmeros
primos so
1,2,2,3,2,2,3,2,5,2,3,2,6,3,5,2,2,2..

Tabela das razes primitivas dos primeiros nmeros n para quais uma raz primitiva existe.
N g(n)
2 1
3 2
4 2
5 2,3
6 5
7 3,5
9 2,5
10 3,7
11 2,6,7,8
13 2,6,7,11

As razes primitivas maiores para n=1,2, so 0,1,2,3,5,5,0,5,7,8,0,11,
(Wolfram Mathworld)

Seja m um nmero inteiro positivo. Seja a qualquer nmero inteiro positivo co-primo a m e seja k
o menor nmero inteiro positivo tal que a
k
1 (mod m). O nmero k chamado ordem de a
mdulo m.

Exemplo:
7 tem ordem 2 mdulo 4 pois 7 1 (mod 4)
Theorems

Teoremas
1) Se k ordem de a mdulo m, ento k divisor de (m).
2) Para qualquer nmero primo p existem exactamente (p 1) razes mdulo p primitivas no
congruentes entre si.
3) Se p for qualquer nmero primo e g uma raz primitiva mdulo p, ento as potncias g,
g
2
,.,g
p-1
formam um sistema reduzido de resduos mdulo p.
4) Seja m qualquer nmero inteiro maior que 1, as razes primitivas existem mdulo m se e
somente se m=2, m=4, m=p
n
, m=2p
n
onde p um nmero primo mpar.

Trabalho em grupo: Estudo da demonstrao do teorema sobre razes primitivas.
Certifique-se que seja capaz de demonstrar esse teorema durante os exames.
Referncia: Elementary Number Theorem, por Stein, Outubro 2005, pgina 36.

Ternos Pitagricos

A Histria de ternos pitagricos
O estudo de ternos pitagricos comeou muito tempo antes da era de Pitgoras. Os babilnios e
Egpcios antigos usaram os ternos.

Ternos Pitagricos.
Figura 1: Tringulo Pitagrico

a
b
c

a
2
+ b
2
= c
2
Exemplos de Ternos Pitagricos

3
2
+ 4
2
= 5
2

5
2
+ 12
2
= 13
2

8
2
+ 15
2
= 17
2

28
2
+ 45
2
= 53
2

Tabela 1:

Nmero do terno a mpar b par c mpar Equao
1 3 4 5 3
2
+4
2
=5
2
2 5 12 13 5
2
+12
2
=13
2

3 7 24 25 7
2
+24
2
=25
2

4 9 40 41 9
2
+40
2
=41
2

5 11 60 61 11
2
+60
2
=61
2
6 15 8 17 15
2
+8
2
=17
2
7 21 20 29 21
2
+20
2
=29
2
8 33 56 65 33
2
+56
2
=65
2

9 45 28 53 45
2
+28
2
=53
2


TERNOS PITAGRICOS PRIMITIVOS

Definio:
Um terno pitagrico primitivo um terno de nmeros (a,b,c) tal que a, b e c no tm factores
comuns e satisfazem a
2
+ b
2
= c
2

Observaes sobre Ternos Pitagricos ( ver tabela 1)
Um dos nmeros a e b mpar e o outro par e parece que c sempre mpar.
Tomando a para ser mpar e b para ser par, ento para a
2
+ b
2
= c
2

podemos encontrar a da igualdade a
2
= c
2
b
2
= (c b) ( c + b).

Exemplos
3,4,5 ==> 3
2
= (5
2
4
2
)=(5 4)(5 + 4) = 1 9 = 1
2
3
2

5,12,13 ==> 5
2
= (13
2
12
2
)=(13 12)(13 + 12) = 1 25 = 1
2
5
2

7,24,25 ==> 7
2
= (25
2
24
2
)=(25 24)(25 + 24) = 1 49 = 1
2
7
2

15,8,17 ==> 15
2
= (17
2
8
2
)=(17 8)(17 + 8) = 9 25 = 3
2
5
2

A partir dessas observaes, parece que
1. (c b) e (c + b) so sempre quadrados de nmeros primos mpares
2. (c b) e (c + b) no tm factores comuns.

Ternos Pitagricos e a Circunferncia da Unidade
Seja dado a
2
+ b
2
= c
2
, Divide ambos os membros por c
2
==> Error! + Error! = 1
Conclui-se que o par de nmeros racionais (Error!,Error!) satisfaz a equao x + y = 1 que
descreve a circunferncia de raio 1 e centro (0,0) no plano cartesiano.
2 2

Lista de Ternos Pitagricos

(a,b,c) (a,b,c) (a,b,c) (a,b,c)
3,4,5 64,1023,1025 84,13,85 96,2303,2305
5,12,13 68,285,293 84,187,205 100,621,629
7,24,25 63,1155,1157 84,437,445 100,2499,2501
9,40,41 72,65,97 84,1763,1765
15,8,17 72,1295,1297 88,1935,1937
21,20,29 76,1443,1445 92,525,533
45,28,53 80,39,89 92,2115,2117
63,16,65 80,1599,1601 96,247,265

O ltimo Teorema de Fermat
As equaes Diofantinas x + y = z e x
2
+ y
2
= z
2
tm um nmero infinito de solues.
No ano 1637, Fermat afirmou que impossvel escrever um cubo positivo como soma
de dois cubos positivos, x
3
+ y
3
= z
3
ou uma quarta potncia positiva como soma de duas quartas
potncias positivas x
4
+ y
4
= z
4
ou o facto de qualquer potncia positiva ser a soma de duas
potncias positivas de igual expoente ou seja, ele escreveu que a equao Diofantina x
n
+ y
n
= z
n

no tem solues positivas se n 3.
A demonstrao desta afirmao deixou-se esperar por 358 anos at o ano 1993, quando
Andrew Wiles apresentou uma demonstrao desafiadora. Levou mais cinco anos para a
demonstrao ser confirmada.

Actividade na Internet (ltimo acesso a todas as fontes a 03.11.06)
Explore a histria da demonstrao do ltimo teorema de Fermat no arquivo MacTutor
da Universidade de St. Andrews na Esccia, Reino Unido.

O Teorema e a sua demonstrao:
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Fermat's_last_theorem.
html

Pierre de Fermat:
http://www-history.mcs.st-andrews.ac.uk/Biographies/Fermat.html

Andrew Wiles:
http://www-history.mcs.st-andrews.ac.uk/Biographies/Wiles.html

Entrevista de Andrew Wiles com Nova Magazine:
http://www.pbs.org/wgbh/nova/proof/wiles.html

Unidade 2 ( 60 Horas): Teoria de Congruncias e Corpos Quadrticos
Sumrio da Unidade 2: (Actividades Mltiplas)
O sucesso na aprendizagem da unidade dois da teoria de nmeros pressupe o domnio da
unidade um. Esta unidade ilustra o campo de nmeros inteiros, quadrados e resduos
quadrticos.

Ser introduzido o smbolo de Legendre, o Lema de Gauss e a Lei da Reciprocidade Quadrtica.
Esta unidade analisa os corpos quadrticos e aplica o Algortmo de Euclides para nmeros
inteiros de Gauss e mostra que existe um Teorema de Factorizao nica para esses nmeros.
Esta unidade analisa tambm a aritmtica de corpos quadrticos e a sua aplicao em equaes
Diofantinas, e finalmente trata da equao de Pell e de unidades em anis de nmeros inteiros
em corpos quadrticos reais.
A unidade tem uma organizao com actividades mltiplas para os estudantes e tem avaliaes
formativas depois de cada sub-tema.

O corpo dos nmeros inteiros mdulo p, quadrados e resduos quadrticos
Definio
Se x
n
= a(mod m) tem soluo, onde a e m so co-primos, ento a chamado
resduo de potncia de expoente n mdulo m.
Se

esta congruncia no tiver soluo, ento a chamado no-resduo de potncia de expoente
n mdulo m.

1. Solving equations Modulo Primes, MIT- 14- Notes, pginas 1 & 2
2. More on solving equations , modulo primes, MIT Unit 15, pp 1 & 2.
3. Quadratic Residue Symbol, MIT 16- Notes, pginas 1 & 2.

Reciprocidade Quadrtica, a Lei da Reciprocidade Quadrtica e o Smbolo de
Legendre
Definio:
A equao linear a b (mod n) tem soluo se e somente se mdc(a,n) for divisor de
b.
A reciprocidade quadrtica procura um critrio para verificar se a equao
ax + bx + c 0 (mod n) tem soluo.

Definio:
Seja p um nmero primo e haja um nmero inteiro a que no seja divisvel por p, esse nmero
inteiro resduo quadrtico mdulo p se a for quadrado mdulo p; se no, a chamado um no-
resduo quadrtico.

Definio: O smbolo de Legendre
Seja p um nmero primo mpar e seja a um nmero inteiro co-primo a p.
Define-se: Error! = Error!

Chamamos a esse smbolo Error! o smbolo de Legendre. Esta notao bem comum nas
literatures embora tambm seja a notao para a dividido por p.
Observe: Error! depende apenas de a (mod p), e faz sentido definir Error! para a e /p
como Error! para qualquer representante Error! em da classe de a.

O smbolo de Legendre de 2.

Definio
Seja p um nmero primo mpar.
Ento Error! = Error!


Trabalho em Grupo :Verificao da demonstrao
1. Afirmao de Legendre em Number Theory por Stein pgina 67
2. Reciprocidade Quadrtica em Number Theory por Stein pgina
68 72


Critrio de Euler, Lema de Gauss e a Lei de Reciprocidade Quadrtica

Critrio de Euler
Seja p um nmero primo mpar e seja a um nmero inteiro no divisvel por p. Euler usou a
existncia de razes primitivas para mostrar que Error! congruente a a mdulo p.
(p-1)/2

Critrio de Euler: Error! 1 se e somente se a 1 (mod p)
(p-1)/2

Lema de Gauss
Seja p um nmero primo mpar e seja a um nmero inteiro no igual a 0 ( mod p). Forme os
nmeros a, 2a, 3a,, (p-1)a e reduza esses mdulo p para que o resduo fique no intervalo ]-
(p-1)/2,(p-1)/2[.
Seja j o nmero de nmeros negativos no conjunto obtido. Ento Error! = (1) .
j

Trabalho em Grupo : Estudo da demonstrao do:
1. Critrio de Euler, Number Theory por Stein pgina 62.
2. Lema de Gauss, Number Theory por Stein pgina 64.
3. Reciprocidade Quadrtica usando somas de Gauss, Number Theory
por Stein pgina 71.

1. Solving Equations Modulo Primes MIT Unit14, pginas 1& 2
2. More on quadratic Residues, MIT Units17,18,19,& 20, pginas 1 e 2 cada
3. Elementary Number Theory, por Stein, Outubro 2005, pp 59 72
Responda s questes 4.1, 4.2 na pgina 74
1. Elementary Number Theory, por W. Edwin Clark, pgina 24 - 25

Determinao do caracter quadrtico pela Lei de Reciprocidade QuadrticaTheorems

Teoremas
1. Seja p um nmero primo mpar e seja a co-primo a p, ento 2 um resduo quadrtico para
todos os nmeros primos da forma 8n 1; 2 um no-resduo quadrtico para todos os nmeros
primos da forma 8n 3.
2. Se p um nmero primo e mdc(a,p) = 1, ento a congruncia ax
2
+ bx + c 0 (mod p) tem no
mximo duas solues mdulo p no congruentes entre si.

1. Solving Equations Modulo Primes, MIT Units 14,17,18,19 & 20 pp 1 e 2 cada.
2. Elementary Number Theory, por Stein,Out 2005, pginas 59-72

A Equao de Pell e Unidades em Anis de Nmeros Inteiros em Corpos
Quadrticos Reais

Equao de Pell
A equao Diofantina x
2
qy
2
= 1 (q 0) chamada equao de Pell. Nesta equao, q um
nmero inteiro positivo e so impressionantes os valores inteiros positivos de x e y que
satisfazem a equao. Apenas supomos que q seja um nmero inteiro positivo portanto em 1 no
existe a diferena de quadrados porque q no quadrado.

Soluo Fundamental da Equao de Pell
Seja q um nmero inteiro positivo no quadrado. Vamos indicar como soluo positivada
equao de Pell qualquer par de nmeros inteiros positivos x
0
e y
0
tal que x
0
2
qy
0
2
= 1.
Se

a equao tem alguma soluo com nmeros inteiros diferentes de zero x
0
e y
0
, ento a
equao tem uma soluo positiva, nomeadamente |x
0
| , |y
0
|. A soluo positiva x
1
, y
1
que
minimiza a quantidade x
1
+ qy
1
chamada Soluo Fundamental da Equao de Pell.
A tabela abaixo fornece as solues obtidas por Computador da equao de Pell x
2
qy
2
= 1
para nmeros inteiros no-quadrados q que satisfazem 1 < q 52.

Q x y q x y q x y q x y
2 3 2 18 17 4 32 17 3 46
24335 3588
3 2 1 19 170 39 33 23 4 47 48 7
5 9 4 20 9 2 34 35 6 48 7 1
6 5 2 21 55 12 35 6 1 50 99 14
7 8 3 22 197 42 37 73 12 51 50 7
8 3 1 23 24 5 38 37 6 52 649 90
10 19 6 24 5 1 39 25 4
11 10 3 26 51 10 40 19 3
12 7 2 27 26 5 41 2049 320
13 649 180 28 127 24 42 13 2
14 15 4 29 9801 1820 43 3482 531
15 3 8 31 1520 273 45 161 24

TeoremaTheorem
Seja x
1
, y
1
a soluo fundamental da equao de Pell (para q dado).
Ento x, y soluo positiva se e somente se
x+ y q =(x + y
1 1
q )
n

para algum nmero positivo n.

Exemplo de resoluo de uma Equao de Pell
Resolva a equao Diofantina x - 5y=1

Soluo

Passo 1: A

equao Diofantina chamada equao de Pell, por exemplo x -qy=1.
Passo 2: Da tabela acima sobre as solues fundamentais da equao de Pell, observamos que
se q = 5, ento x = 9, e y = 4. Esta a soluo fundamental da Equao de Pell.
Passo 3: Do Teorema acima sabemos que a equao de Pell tem um nmero infinito de solues.
Substituindo q = 5, x = 9 e y = 4, obtemos:
(9 + 4 5) = 161 + 72 5 e
(9 + 4 5) = (9 + 4 5)(161 + 72 5) = 2889 + 1292 5
As duas solues positivas seguintes so x = 161, y = 72 e x = 2889, y =
1292


Exerccio sobre a Soluo de Equaes de Pell
Encontre todas as solues positivas de:
1. x - 2y = 1
2. x - 3y = 1

Solues
1. (3,2), (17,12), (99,70).so as primeiras solues.
2. (2,1), (7,4), (26,151) so as primeiras solues.

1. Solving Equations Modulo Primes, MIT Units 14,17,18,19 &
20, pp 1 e 2 cada.
2. Elementary Number Theory, por Stein, Outubro 2005, pp 59-72

XV. Sntese do Mdulo
No fim deste mdulo espera-se que os estudantes conheam as propriedades dos nmeros
inteiros, a divisibilidade de nmeros inteiros, os nmeros primos e a sua distribuio. A aplicao
do algortmo de Euclides na divisibilidade forma o pano de fundo que conduz a solues de
equaes lineares Diofantinas. Espera-se que os estudantes sejam capazes de resolver
equaes lineares Diofantinas usando o Algortmo de Euclides e que conheam profundamente
os ternos pitagricos e a sua relao com o Teorema de Fermat.
A unidade um da Teoria de Nmeros contm vrios exemplos ilustrativos que estudantes podem
seguir sem dificuldade. Recomenda-se que estudantes realizem as avaliaes formativas dadas
para avaliar o seu progresso na percepo do contedo.
Os estudantes deviam procurar aceder ao material recomendado disponvel nos CDs, aos
materiais anexados de fontes abertas e aos websites recomendados. Mais ainda, encoraja-se o
estudante a ler na ntegra o contedo desses materiais para poder responder s questes
colocadas depois de cada assunto.
A unidade dois do mdulo leva os estudantes a uma abordagem sobre os resduos, as suas
propriedades e a reciprocidade quadrtica. O critrio de Euler e a notao do smbolo de
Legendre so importantes. Os estudantes devem ser capazes de definir a Norma sobre os
resduos e a sua aplicao na factorizao nica dos nmeros inteiros de Gauss, bem como
demonstrar lemas sobre nmeros inteiros de Gauss.
Esta unidade tem vrias actividades de aprendizagem para estimular a aprendizagem e
aconselha-se os estudantes a dominarem o contedo dos vrios sub-temas e a auto-avaliar-se
pelas avaliaes formativas. O insucesso na resposta s avaliaes formativas deve ser um
indicador da necessidade de reviso do sub-tema antes de progredir para outros sub-temas.
Em todo o mdulo sobre Teoria de Nmeros, as actividades foram formuladas para permitir uma
aprendizagem fcil. As tarefas dadas nas diferentes actividades exigem que o leitor demonstre
um nvel alto de competncia em habilidades em TICs. Os objectivos de aprendizagem esto
bem formulados no incio do mdulo e guiam o estudante no cumprimento das expectativas do
mdulo.
A ltima parte do mdulo trata a equao de Pell que exige que estudantes projectem as suas
habilidades adquiridas em equaes de Pell para perceber esta forma especial da equao
Diofantina.
A avaliao sumativa ser usada para avaliar o domnio do mdulo por parte do estudante.
Recomenda-se os estudantes que revejam o mdulo antes da avaliao sumativa final.

XVI. Avaliao Sumativa

Avaliao Sumativa ( Responda Quaisquer das TRS Perguntas- 60%)

1. Use o Algortmo de Euclides para calcular o mdc de
(i) m= 25 174, n=42 722
(ii) m=7472, n=2464
(iii) m=455, n=1235

2. Demonstre por induo que:
(i). 1
3
+ 2
3
+ 3
3
+ 4
3
+ ..+ n
3
= Error!

(ii). a+ar+ar
2
++ar
n
= Error!, se n>0
3. a). Mostre a Lei de Cancelamento: Se mdc(c,n)=1 e ac bc ( mod n),
ento a b (mod n)
b) Resolva 17x 1(mod 61)

4. A tabela abaixo mostra algumas solues fundamentais da Equao de Pell.

Valor de q Valor de x Valor de y
6 5 2
10 19 6
14 15 4
Use essa tabela para resolver as equaes seguintes de Pell:
x
2
6y
2
=1
x
2
14y
2
=1

5. Resolva x e y na equao Diofantina
2261x+1275y= mdc(2261,1275).

XVII. Referncias

Elementary Number Theory, por W. Edwin Clark, Universidade de South Florida,
2003
Notes on Algebraic Numbers, por Robin Chapman, 2002
Algebra and Number theory, por A. Baker, University of Glasgow,2003
http://www.pbs.org/wgbh/nova/proof/wiles.html
Prime factorization, por William Stein, Havard University,2001
Lecture notes, por William Stein, Havard University, 2001
Elementary Number Theory, By Allan M. Kirch, Intext Educational Publishers,
New York, 1974.
Elements of Abstract & Linear Algebra, By E.H Connell, Coral Gables, Florida,
USA.
MIT Open Courseware, Theory of Numbers, Spring 2003, Prof. Martin Olsson
http://www-groups.dcs.st-and.ac.uk~history/HistTopics/Fermats last theorem.
html
http://www.bbc.co.uk/education/asguru/maths/13pure/01proof/01proof/
05induction/index.shtml
http://en.wikipedia.org/wiki/Number_Theory

XVIII. Resultados dos Estudantes

Nome do ficheiro EXCEL: Mathematics Number Theory Student Records

XIX. Principal Autor do Mdulo

Mr. Paul Chege ( B.Ed(Sc), M.Ed )
Contacto: paulamoud@yahoo.com
O autor do mdulo formador de professores na Universidade Amoud, Borama, Repblica da
Somalilndia.
Foi formador de professores em Kenya, na Repblica de Seychelles, e na Somlia.
Esteve envolvido em aces de Formao e Consolidao de Conhecimentos em Matemtica e
Cincias nos nveis secundrio e superior no programa da Agncia Japonesa de Cooperao
Internacional (JICA, sigla inglesa) em quinze pases africanos.
casado e tem trs filhos.

XX. Estrutura do Ficheiro

Nome do Mdulo (ficheiro WORD) : Teoria Matemtica de Nmeros ( Word)
Nome de todos os outros ficheiros (WORD, PDF, PPT, etc.) para o mdulo.
1. Resultados dos Estudantes em Teoria de Nmeros ( Excel)
2. Guio de Correco para a Avaliao Sumativa ( Word)
3. Number Theory Lecture Notes por Stein ( PDF)
4. Elementary Number Theory Textbook por Clarke (PDF)
5. Number Theory Textbook por Stein (PDF)
6. MIT-Theory of Numbers Lecture Notes and Exams ( PDF)

Teoria de Números: Propriedades Fundamentais

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Teoria de Números: Propriedades Fundamentais

Uploaded by

Copyright:

Available Formats

0 UniversidadeVirtualAfricana

You might also like