sábado, 17 de março de 2018

TEORIA DOS NUMEROS

Question book-4.svg Esta página ou secção cita fontes fiáveis e independentes, mas que não cobrem todo o conteúdo, o que compromete a verificabilidade (desde fevereiro de 2012). Por favor, insira mais referências no texto. Material sem fontes poderá ser removido.
—Encontre fontes: Google (notícias, livros e acadêmico)

Quando arranjamos os números naturais em uma espiral e destacamos os números primos, observamos um intrigante e não totalmente explicado padrão, chamado espiral de Ulam.
A teoria dos números é o ramo da matemática pura que estuda propriedades dos números em geral, e em particular dos números inteiros, bem como a larga classe de problemas que surge no seu estudo.

Índice
1 História
1.1 Alvorecer da aritmética
1.2 Características
1.3 Subdivisões
2 Sobre a teoria elementar dos números
3 Propriedades dos números primos
3.1 Teorema de Euclides
3.2 Conjectura de Goldbach
4 Algoritmos eficientes para a aritmética básica
5 Ver também
6 Notas
7 Referências
8 Bibliografia
História

A teoria de números deriva-se da antiga aritmética grega de Diofanto.[1]

Primeira edição de Disquisitiones Arithmeticae, de Carl Friedrich Gauss.
Alvorecer da aritmética
A primeira descoberta histórica de natureza aritmética é um fragmento de uma tabela: a tábua de argila quebrada Plimpton 322 (Larsa, Mesopotâmia, cerca de 1800 a.C.) contém uma lista de "ternos pitagóricos", ou seja, inteiros {\displaystyle \scriptstyle (a,b,c)} \scriptstyle (a,b,c) tais que {\displaystyle \scriptstyle a^{2}+b^{2}=c^{2}} \scriptstyle a^2+b^2=c^2. Os ternos são muitos e bastante elevados para terem sido obtidos pela força bruta. A posição sobre a primeira coluna diz: "O takiltum da diagonal que foi subtraído de tal forma que a largura ..." [2]


A tábua Plimpton 322
O layout da tabela sugere [3] que foi construída por meio do que equivale, na linguagem moderna, à identidade

{\displaystyle \left({\frac {1}{2}}\left(x-{\frac {1}{x}}\right)\right)^{2}+1=\left({\frac {1}{2}}\left(x+{\frac {1}{x}}\right)\right)^{2},} \left(\frac{1}{2} \left(x - \frac{1}{x}\right)\right)^2 + 1 =
\left(\frac{1}{2} \left(x + \frac{1}{x}\right)\right)^2,
que está implícita nos exercícios rotineiros dos antigos babilônios.[4] Se algum outro método foi utilizado,[5] os ternos foram inicialmente construídos e depois reordenados por {\displaystyle c/a} c/a, presumivelmente para uso real como uma "tabela", ou seja, com vista às suas aplicações.

Nós não sabemos o que essas aplicações podem ter sido, ou se poderia ter havido qualquer uma; a astronomia babilônica, por exemplo, realmente floresceu só mais tarde. Tem sido sugerido, ao invés disso, que a tabela fosse uma fonte de exemplos numéricos para problemas escolares.[6][nota 1]

Características

Pierre de Fermat, um dos mais famosos teoristas dos números.
O termo “aritmética” é também utilizado para se referir à teoria dos números. Esse é um termo antigo, que não é mais tão popular como já foi. A teoria dos números foi também chamada de aritmética superior, mas esse termo também caiu em desuso. Entretanto, esse termo ainda aparece nos nomes de objetos matemáticos relacionados (funções aritméticas, aritmética de curvas elípticas, teorema fundamental da aritmética). Esse sentido do termo aritmética não deve ser confundido ou com aritmética elementar, ou com o ramo da lógica que estuda aritmética de Peano como um sistema formal. Os matemáticos que trabalham na área de teoria dos números são chamados teoristas dos números.

Tradicionalmente, a teoria dos números é o ramo da matemática pura que se preocupa com as propriedades dos números inteiros e que envolve muitos problemas que são facilmente compreendidos mesmo por não-matemáticos. A disciplina veio a ocupar-se com uma classe mais vasta de problemas que surgiram naturalmente do estudo dos números inteiros.

Subdivisões
A teoria dos números pode ser subdividida em vários campos, de acordo com os métodos que são usados e das questões que são investigadas, a saber:

Teoria elementar dos números: utiliza somente os métodos elementares da aritmética para a verificação e comprovação das propriedades essenciais do conjunto dos números inteiros e em particular as propriedades dos números primos;
Teoria analítica dos números: utiliza a análise real e análise complexa, especialmente para estudar as propriedades dos números primos;
Teoria algébrica dos números: utiliza álgebra abstrata e estuda os números algébricos;
Teoria geométrica dos números: utiliza métodos geométricos, algébricos e analíticos.
Sobre a teoria elementar dos números
Normalmente, o primeiro contacto com a teoria dos números é por meio da teoria elementar dos números. Através desta disciplina podem ser introduzidas propriedades bastante interessantes e notáveis dos números inteiros, mas, que ao serem propostas como questões a serem resolvidas, ou teoremas a serem provados, são geralmente de difícil solução ou comprovação. Estas questões estão ligadas basicamente a três tipos de pesquisas, a saber:

Estudos específicos sobre as propriedades dos números primos;
Estudos envolvendo a pesquisa de algoritmos eficientes para a aritmética básica;
Estudos sobre a resolução de equações diofantinas.
Estas questões directamente ligadas ao estudo do conjunto dos números inteiros e o seu subconjunto: o conjunto dos números naturais.

A título de ilustração, alguns dos muitos problemas que podem ser focalizados nestas três áreas da teoria elementar dos números são, a seguir, rapidamente comentados.

Propriedades dos números primos
Wikilivros
O wikilivro Teoria de números tem uma página sobre Teorema de Euclides
Teorema de Euclides
"Existe uma quantidade infinita de números primos."
Euclides demonstrou este teorema da seguinte forma:

Sabe-se que os números inteiros são primos ou múltiplos de primos.

Isso é facilmente verificado quando factorizamos um número inteiro em números primos.

Exs: 8 = 2*2*2; 10 = 5*2; 42 = 3*2*7. (lembrando que 2, 3, 5 e 7 são inteiros primos).

Para um número inteiro qualquer "M" temos a sua decomposição em factores primos (fatoração ou factorização) da seguinte forma: (P' * P" * P"' * ...), onde P é um número primo qualquer que faz parte de sua factorização. E sabe-se que nenhum dos números primos que compõem a factorização de M, integram a factorização de M+1. Isso significa que dois números inteiros consecutivos possuem factorizações totalmente diferentes.

A jogada de mestre de Euclides foi que:

Suponhamos que os números primos sejam finitos. Então existe um número hipotético X cuja decomposição em factores primos é a multiplicação de todos os primos existentes (P' * P" * P"' * ...). Sendo assim o número seguinte X+1 não possui na sua factorização nenhum dos primos citados na decomposição em factores do seu antecessor X. Logo X+1 é outro primo ou múltiplo de um primo que não está na lista de primos.

Assim, Euclides provou por 'Absurdo' que o conjunto dos números primos é infinito.

Conjectura de Goldbach
Ver artigo principal: Conjectura de Goldbach
"Pode-se exprimir os números pares, maiores que 2, como a soma de dois números primos?"[7]
Esta é a denominada Conjectura de Goldbach, formulada em 1746 e até hoje não provada, apesar de ter sido verificada para números da ordem de 4*10^14.

Quantos números primos terminam com o dígito 7? Seriam infinitos? São 664579 os números primos menores que 10 milhões, sendo que os números primos que terminam em 1, 3, 7 e 9 respectivamente são 166104, 166230, 166211 e 166032, isto corresponde a 24.99%, 25.01%, 25.01% e 24.98% deste total de números. O que isto sugere?

Há infinitos pares de números denominados primos gêmeos: números primos que diferem um do outro de apenas duas unidades, como (3 ; 5), (71 ; 73) ou (1000000007; 1000000009)?

Algoritmos eficientes para a aritmética básica
Muitas das modernas aplicações que estão a ser levadas a efeito no campo da criptografia dependem de algumas das propriedades dos números inteiros e dos números primos. No entanto, as aplicações aritméticas envolvendo as propriedades dos números inteiros estão directamente relacionadas com a capacidade de se resolver dois problemas fundamentais:

o problema do teste para verificar se o número é primo;
o problema da decomposição em factores primos.
Aparentemente são problemas de simples solução, até que passem a envolver numerais com dezenas e até centenas de dígitos.

Ver também
Wikilivros
O Wikilivros tem um livro chamado Teoria de números
Aritmética
Notas
 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?" não tem que ter a mesma resposta que a pergunta "que problemas a tabela estabelece?" A primeira pode ser respondida de forma mais satisfatória por inversos multiplicativos, como sugerido pela primeira vez há meio século, e a segunda por algum tipo de problema com triângulos retângulos (Robson 2001, p. 202).

Robson discorda da noção de que o autor que produziu Plimpton 322 (que teve de "trabalhar para viver", e não pertencia a uma "classe média desocupada") poderia ter sido motivado por sua própria "curiosidade despreocupada" na ausência de um "mercado para uma nova matemática". (Robson 2001, pp. 199-200)

Referências
 Jean-Paul Collette (1985), Historia de las matemáticas (volúmenes 1 y 2). Tradução de Alfonso Casal, Madrid: Siglo XXI Editores S.A. ISBN 84-323-0526-4
 Neugebauer & Sachs 1945, p. 40. O termo takiltum é problemático. Robson prefere a tradução "Os quadrados realizados da diagonal a partir do qual 1 é tomado, de modo que o lado mais curto aparece ..." Robson 2001, p. 192
 Robson 2001, p. 189. Outras fontes dão a fórmula moderna {\displaystyle \scriptstyle (p^{2}-q^{2},2pq,p^{2}+q^{2})} \scriptstyle (p^2-q^2,2pq,p^2+q^2). Van der Waerden dá tanto a fórmula moderna quanto a que equivale à forma preferida por Robson (van der Waerden 1961, p. 79)
 van der Waerden 1961, p. 184.
 Neugebauer (Neugebauer 1969, pp. 36-40) discute a tabela em detalhes e menciona, de passagem, o método de Euclides em notação moderna (Neugebauer 1969, p. 39).
 Friberg 1981, p. 302.
 ieeta.pt Goldbach conjecture verification. Acessado em 10/01/2012.
Bibliografia
Friberg, Jöran (agosto de 1981). «Methods and traditions of Babylonian mathematics: Plimpton 322, Pythagorean triples and the Babylonian triangle parameter equations». Elsevier. Historia Mathematica. 8 (3): 277–318. doi:10.1016/0315-0860(81)90069-0
Neugebauer, Otto E. (1969). The exact sciences in antiquity corrected reprint of the 1957 ed. New York: Dover Publications. ISBN 978-0-486-22332-2
Neugebauer, Otto E.; Sachs, Abraham Joseph; Götze, Albrecht (1945). Mathematical cuneiform texts. Col: American Oriental Series. 29. [S.l.]: American Oriental Society etc.
Robson, Eleanor (2001). «Neither Sherlock Holmes nor Babylon: a reassessment of Plimpton 322» (PDF). Elsevier. Historia Mathematica. 28 (28): 167–206. doi:10.1006/hmat.2001.2317
van der Waerden, Bartel L.; Dresden, Arnold (trans) (1961). Science Awakening. Vol. 1 or Vol 2. New York: Oxford University Press

Nenhum comentário:

Postar um comentário