Teoria dos nmeros

Quando arranjamos os nmeros naturais em uma espiral e destacamos os nmeros primos, observamos um intrigante e no totalmente explicado padro, chamado espiral de Ulam.

A teoria dos nmeros o ramo da matemtica pura que

estuda propriedades dos nmeros em geral, e em particular dos nmeros inteiros, bem como a larga classe de
problemas que surge no seu estudo.

1
1.0.1

Histria

A teoria de nmeros deriva-se da antiga aritmtica grega de

Diofanto.[1]

Alvorecer da aritmtica

A primeira descoberta histrica de natureza aritmtica

um fragmento de uma tabela: a tbua de argila quebrada
Plimpton 322 (Larsa, Mesopotmia, cerca de 1800 a.C.)
contm uma lista de "ternos pitagricos", ou seja, inteiros
(a,b,c) tais que a2 +b2 =c2 . Os ternos so muitos e bastante
elevados para terem sido obtidos pela fora bruta. A posio sobre a primeira coluna diz: O takiltum da diagonal
que foi subtrado de tal forma que a largura ... [2]

dos por c/a , presumivelmente para uso real como uma

tabela, ou seja, com vista s suas aplicaes.
Ns no sabemos o que essas aplicaes podem ter sido,
ou se poderia ter havido qualquer uma; a astronomia
babilnica, por exemplo, realmente oresceu s mais
tarde. Tem sido sugerido, ao invs disso, que a tabela
fosse uma fonte de exemplos numricos para problemas
escolares.[6][nota 1]

O layout da tabela sugere [3] que foi construda por meio

do que equivale, na linguagem moderna, identidade

1.1 Caractersticas

(1 (
))2
( (
))2
1
+ 1 = 12 x + x1
,
2 x x

O termo aritmtica tambm utilizado para se referir teoria dos nmeros. Esse um termo antigo, que
que est implcita nos exerccios rotineiros dos antigos no mais to popular como j foi. A teoria dos nbabilnios.[4] Se algum outro mtodo foi utilizado,[5] os meros foi tambm chamada de aritmtica superior, mas
ternos foram inicialmente construdos e depois reordena- esse termo tambm caiu em desuso. Entretanto, esse
1

1 HISTRIA

Primeira edio de Disquisitiones Arithmeticae, de Carl Friedrich Gauss.

Pierre de Fermat, um dos mais famosos teoristas dos nmeros.

matemtica pura que se preocupa com as propriedades dos nmeros inteiros e que envolve muitos problemas que so facilmente compreendidos mesmo por nomatemticos. A disciplina veio a ocupar-se com uma
classe mais vasta de problemas que surgiram naturalmente do estudo dos nmeros inteiros.

1.2 Subdivises

A tbua Plimpton 322

termo ainda aparece nos nomes de objetos matemticos

relacionados (funes aritmticas, aritmtica de curvas
elpticas, teorema fundamental da aritmtica). Esse sentido do termo aritmtica no deve ser confundido ou com
aritmtica elementar, ou com o ramo da lgica que estuda aritmtica de Peano como um sistema formal. Os
matemticos que trabalham na rea de teoria dos nmeros so chamados teoristas dos nmeros.
Tradicionalmente, a teoria dos nmeros o ramo da

A teoria dos nmeros pode ser subdividida em vrios

campos, de acordo com os mtodos que so usados e das
questes que so investigadas, a saber:
Teoria elementar dos nmeros: utiliza somente os
mtodos elementares da aritmtica para a vericao e comprovao das propriedades essenciais do
conjunto dos nmeros inteiros e em particular as
propriedades dos nmeros primos;
Teoria analtica dos nmeros: utiliza a anlise real
e anlise complexa, especialmente para estudar as
propriedades dos nmeros primos;

3.2

Conjectura de Goldbach

Teoria algbrica dos nmeros: utiliza lgebra abs- compem a factorizao de M, integram a factorizao
trata e estuda os nmeros algbricos;
de M+1. Isso signica que dois nmeros inteiros consecutivos possuem factorizaes totalmente diferentes.
Teoria geomtrica dos nmeros: utiliza mtodos geA jogada de mestre de Euclides foi que:
omtricos, algbricos e analticos.
Suponhamos que os nmeros primos sejam nitos. Ento existe um nmero hipottico X cuja decomposio
2 Sobre a teoria elementar dos n- em factores primos a multiplicao de todos os primos
existentes (P' * P * P"' * ...). Sendo assim o nmero
meros
seguinte X+1 no possui na sua factorizao nenhum dos
primos citados na decomposio em factores do seu anteNormalmente, o primeiro contacto com a teoria dos n- cessor X. Logo X+1 outro primo ou multiplo de um
meros por meio da teoria elementar dos nmeros. primo que no est na lista de primos.
Atravs desta disciplina podem ser introduzidas propriedades bastante interessantes e notveis dos nmeros intei- Assim, Euclides provou por 'Absurdo' que o conjunto dos
ros, mas, que ao serem propostas como questes a serem nmeros primos innito.
resolvidas, ou teoremas a serem provados, so geralmente
de difcil soluo ou comprovao. Estas questes esto
3.2 Conjectura de Goldbach
ligadas basicamente a trs tipos de pesquisas, a saber:
1. Estudos especcos sobre as propriedades dos
nmeros primos;
2. Estudos envolvendo a pesquisa de algoritmos ecientes para a aritmtica bsica;
3. Estudos sobre a resoluo de equaes diofantinas.

"Pode-se exprimir os nmeros pares, maiores

que 2, como a soma de dois nmeros primos?"[7]
Esta a denominada Conjectura de Goldbach, formulada
em 1746 e at hoje no provada, apesar de ter sido vericada para nmeros da ordem de 4*10^14.

Estas questes directamente ligadas ao estudo do conQuantos nmeros primos terminam com o dgito 7? Sejunto dos nmeros inteiros e o seu subconjunto: o conriam innitos? So 664579 os nmeros primos menores
junto dos nmeros naturais.
que 10 milhes, sendo que os nmeros primos que termiA ttulo de ilustrao, alguns dos muitos problemas que nam em 1, 3, 7 e 9 respectivamente so 166104, 166230,
podem ser focalizados nestas trs reas da teoria elemen- 166211 e 166032, isto corresponde a 24.99%, 25.01%,
tar dos nmeros so, a seguir, rapidamente comentados. 25.01% e 24.98% deste total de nmeros. O que isto sugere?

3
3.1

Propriedades dos nmeros primos

H innitos pares de nmeros denominados primos gmeos: nmeros primos que diferem um do outro de
apenas duas unidades, como (3 ; 5), (71 ; 73) ou
(1000000007; 1000000009)?

Teorema de Euclides
"Existe uma quantidade innita de nmeros primos."

4 Algoritmos ecientes para a aritmtica bsica

Euclides demonstrou este teorema da seguinte forma:

Muitas das modernas aplicaes que esto a ser levadas
Sabe-se que os nmeros inteiros so primos ou mltiplos
a efeito no campo da criptograa dependem de algumas
de primos.
das propriedades dos nmeros inteiros e dos nmeros priIsso facilmente vericado quando factorizamos um n- mos. No entanto, as aplicaes aritmticas envolvendo
mero inteiro em nmeros primos.
as propriedades dos nmeros inteiros esto directamente
Exs: 8 = 2*2*2; 10 = 5*2; 42 = 3*2*7. (lembrando que relacionadas com a capacidade de se resolver dois problemas fundamentais:
2, 3, 5 e 7 so inteiros primos).
Para um nmero inteiro qualquer M temos a sua decomposio em factores primos (fatorao ou factorizao) da seguinte forma: (P' * P * P"' * ...), onde P
um nmero primo qualquer que faz parte de sua factorizao. E sabe-se que nenhum dos nmeros primos que

1. o problema do teste para vericar se o nmero

primo;
2. o problema da decomposio em factores primos.

8 BIBLIOGRAFIA

Aparentemente so problemas de simples soluo, at

que passem a envolver numerais com dezenas e at centenas de dgitos.

Ver tambm
Aritmtica

Notas

[1] Robson 2001, p. 201 Isso controverso. Veja en:

Plimpton 322. O artigo de Robson escrito polemicamente (Robson 2001, p. 202) com o objetivo de talvez
[...] tirar [Plimpton 322] do seu pedestal (Robson 2001,
p. 167); ao mesmo tempo, conclui-se que
[...] a pergunta como a tabela foi calculada?" no tem que ter a mesma resposta
que a pergunta que problemas a tabela estabelece?" A primeira pode ser respondida de
forma mais satisfatria por inversos multiplicativos, como sugerido pela primeira vez h
meio sculo, e a segunda por algum tipo de
problema com tringulos retngulos (Robson
2001, p. 202).
Robson discorda da noo de que o autor que produziu
Plimpton 322 (que teve de trabalhar para viver, e no
pertencia a uma classe mdia desocupada) poderia ter
sido motivado por sua prpria curiosidade despreocupada na ausncia de um mercado para uma nova matemtica. (Robson 2001, pp. 199-200)

Referncias

[1] Jean-Paul Collette (1985), Historia de las matemticas

(volmenes 1 y 2). Traduo de Alfonso Casal, Madrid:
Siglo XXI Editores S.A. ISBN 84-323-0526-4
[2] Neugebauer & Sachs 1945, p. 40. O termo takiltum problemtico. Robson prefere a traduo Os quadrados realizados da diagonal a partir do qual 1 tomado, de modo
que o lado mais curto aparece ... Robson 2001, p. 192
[3] Robson 2001, p. 189. Outras fontes do a frmula moderna (p2 q2 ,2pq,p2 +q2 ) . Van der Waerden d tanto a
frmula moderna quanto a que equivale forma preferida
por Robson (van der Waerden 1961, p. 79)
[4] van der Waerden 1961, p. 184.
[5] Neugebauer (Neugebauer 1969, pp. 36-40) discute a tabela em detalhes e menciona, de passagem, o mtodo de
Euclides em notao moderna (Neugebauer 1969, p. 39).
[6] Friberg 1981, p. 302.
[7] ieeta.pt Goldbach conjecture verication. Acessado em
10/01/2012.

8 Bibliograa
Friberg, Jran. (August 1981). Methods and
traditions of Babylonian mathematics: Plimpton
322, Pythagorean triples and the Babylonian triangle parameter equations. Historia Mathematica
8 (3): 277318. Elsevier. DOI:10.1016/03150860(81)90069-0.
Neugebauer, Otto E.. The exact sciences in antiquity.
corrected reprint of the 1957 ed. New York: Dover
Publications, 1969. ISBN 978-0-486-22332-2
Neugebauer, Otto E.; Sachs, Abraham Joseph;
Gtze, Albrecht. Mathematical cuneiform texts.
[S.l.]: American Oriental Society etc., 1945. vol.
29.
Robson, Eleanor. (2001). "Neither Sherlock Holmes nor Babylon: a reassessment of Plimpton 322".
Historia Mathematica 28 (28): 167206. Elsevier.
DOI:10.1006/hmat.2001.2317.
van der Waerden, Bartel L.; Dresden, Arnold
(trans). Science Awakening. New York: Oxford
University Press, 1961. vol. Vol. 1 or Vol 2.

Fontes, contribuidores e licenas de texto e imagem

9.1

Texto

Teoria dos nmeros Fonte: http://pt.wikipedia.org/wiki/Teoria_dos_n%C3%BAmeros?oldid=42258054 Contribuidores: Jorge~ptwiki,

Faxel, Manuel Anastcio, LeonardoG, Marcelo Reis, Osias, LeonardoRob0t, Diotti, Nuno Tavares, NTBot, Getbot, RobotQuistnix, Reiartur, Yurik, YurikBot, Ccero, MalafayaBot, Salgueiro, He7d3r, Thijs!bot, Rei-bot, Escarbot, JAnDbot, EuTuga, Der kenner, TXiKiBoT,
Tumnus, VolkovBot, SieBot, Aginomor, Synthebot, Shambau, GOE, Kaktus Kid, Raafael, Alexandrepastre, PixelBot, Carlos Maurcio,
Ruy Pugliesi, Vitor Mazuco, Numbo3-bot, Luckas-bot, Nallimbot, Jonathan Malavolta, Vanthorn, Salebot, ArthurBot, Matemago, Xqbot,
Rubinbot, Darwinius, LucienBOT, RibotBOT, Faustino.F, Alch Bot, Dinamik-bot, FMTbot, EleferenBot, EmausBot, ZroBot, Braswiki,
ChuispastonBot, Duduzimm, MerlIwBot, Flaviamissi, AvocatoBot, Garsd, Prima.philosophia, Addbot, RodrigoAndradet e Annimo: 39

9.2

Imagens

Ficheiro:Diophantus-cover.jpg Fonte: http://upload.wikimedia.org/wikipedia/commons/6/60/Diophantus-cover.jpg Licena: Public

domain Contribuidores: ? Artista original: ?
Ficheiro:Disqvisitiones-800.jpg Fonte: http://upload.wikimedia.org/wikipedia/commons/e/e3/Disqvisitiones-800.jpg Licena: Public
domain Contribuidores: ? Artista original: ?
Ficheiro:Magnifying_glass_01.svg Fonte: http://upload.wikimedia.org/wikipedia/commons/3/3a/Magnifying_glass_01.svg Licena:
CC0 Contribuidores: ? Artista original: ?
Ficheiro:NoFonti.svg Fonte: http://upload.wikimedia.org/wikipedia/commons/b/b5/NoFonti.svg Licena: CC BY-SA 2.5 Contribuidores: Image:Emblem-important.svg Artista original: RaminusFalcon
Ficheiro:Nuvola_apps_edu_mathematics-p.svg Fonte:
http://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licena: GPL Contribuidores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Ficheiro:Pierre_de_Fermat.png Fonte: http://upload.wikimedia.org/wikipedia/commons/4/4b/Pierre_de_Fermat.png Licena: Public
domain Contribuidores: ? Artista original: ?
Ficheiro:Plimpton_322.jpg Fonte: http://upload.wikimedia.org/wikipedia/commons/c/c2/Plimpton_322.jpg Licena: Public domain
Contribuidores: image copied from http://www.math.ubc.ca/~{}cass/courses/m446-03/pl322/pl322.html Artista original: photo author
unknown
Ficheiro:Portal.svg Fonte: http://upload.wikimedia.org/wikipedia/commons/c/c9/Portal.svg Licena: CC BY 2.5 Contribuidores:
Portal.svg
Artista original: Portal.svg: Pepetps
Ficheiro:Symbol_question.svg Fonte: http://upload.wikimedia.org/wikipedia/commons/e/e0/Symbol_question.svg Licena: Public domain Contribuidores: ? Artista original: ?
Ficheiro:Ulam_1.png Fonte: http://upload.wikimedia.org/wikipedia/commons/6/69/Ulam_1.png Licena: CC-BY-SA-3.0 Contribuidores: Transferido de en.wikipedia para o Commons. Artista original: Grontesca em Wikipdia em ingls
Ficheiro:Wikibooks-logo.svg Fonte: http://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licena: CC BY-SA
3.0 Contribuidores: Obra do prprio Artista original: User:Bastique, User:Ramac et al.

9.3

Licena

Creative Commons Attribution-Share Alike 3.0