UNIVERSIDADE FEDERAL DO PAR INSTITUTO DE CINCIAS EXATAS E NATURAIS FACULDADE DE MATEMTICA

Juliana Matos do Nascimento

UM TEOREMA DE LAGRANGE

BELM - PA 2013

UNIVERSIDADE FEDERAL DO PAR INSTITUTO DE CINCIAS EXATAS E NATURAIS FACULDADE DE MATEMTICA

Juliana Matos do Nascimento

Trabalho de Concluso de Curso apresentado Faculdade de Matemtica da Universidade Federal do Par como requisito parcial para obteno do ttulo de Licenciada Plena em Matemtica. Orientador: Prof. Dr. Joo Cludio Brandemberg Quaresma.

BELM - PA 2013

CERTIFICADO DE AVALIAO

JULIANA MATOS DO NASCIMENTO

UM TEOREMA DE LAGRANGE
Trabalho de Concluso de Curso apresentado Faculdade de Matemtica da Universidade Federal do Par como requisito parcial para obteno do ttulo de Licenciada Plena em Matemtica, julgado pela seguinte banca examinadora:

Orientador : Prof. Dr. Joo Cludio Brandemberg Quaresma. Faculdade de Matemtica, UFPA

Prof. Msc. Adam Oliveira da Silva Faculdade de Matemtica, UFPA

Prof. Dra . Celsa Hermnia de Melo Maranho Faculdade de Matemtica, UFPA

DATA DA AVALIAO:

CONCEITO:

 Andra Filgueiras Matos, a razo do meu viver.

Agradecimentos
Agradeo primeiramente Andra, minha me, por todo seu amor, dedicao e por sempre me dar o apoio necessrio para que eu continuasse no curso, mesmo quando no havia mais foras e nem vontade para seguir em frente. Ao Hermes Matos, meu irmo querido e amado, por alegrar a minha vida. Ao Vicente Azulay, meu pai, por ser um bom pai. A todos os meus parentes que direta ou indiretamente contriburam com a minha educao, em especial s minhas avs Marialba Matos e Jlia Azulay, minha tia Alcia Matos e aos meus padrinhos Walter Azulay e Ana Helena. Agradeo ao meu orientador, Joo Cludio Brandemberg, pela escolha do tema, por todas as suas valiosas contribuies para a concluso deste trabalho, por sua compreenso e serenidade, mesmo nos momentos de maior tenso, tornando esta experincia praticamente tranquila. Aos professores Adam Silva e Celsa Maranho, por participarem da banca deste trabalho e por suas contribuies. esta instituio por me proporcionar um ensino de qualidade atravs de seus grandes mestres, contribuindo tambm para o meu desenvolvimento pessoal. Rosinha Souza por sempre ser uma boa amiga. s pessoas que tornaram minha passagem no curso de Matemtica mais divertida e amena: Elisangela Samara, por sempre se dispor a ajudar, no somente na elaborao deste trabalho, mas com uma conversa animada ou visitas em minha casa. Helen Rodrigues, por sua ajuda nos trabalhos e por sua companhia agradvel. Ao meu ex-namorado Igor Coimbra, por toda a ajuda prestada no comeo da nossa amizade e durante o perodo de namoro e ao Ubirajara Nascimento, Bruna Nascimento e Jssica Sirotheau. Aos meus cachorrinhos Rex, Dudu, os gatos Cheirosa e Lorinho, pelas madrugadas em claro ao meu lado.

Resumo
Consiste em apresentar a demonstrao do Teorema de Lagrange para a representao de inteiros positivos como soma de quatro quadrados inteiros, seguido de sua biograa, na qual inclui suas etapas de matemtico a conde, alm de abordar dois temas que auxiliaram na demonstrao do teorema principal. Tais temas so: a representao de inteiros positivos como soma de dois e de trs quadrados inteiros. A escolha do tema deve-se principalmente pelo fato de buscar mostrar a importncia de Lagrange e suas contribuies para o desenvolvimento da Teoria dos Nmeros, alm de ter sido co-criador do Clculo das Variaes de Euler. O problema principal, presente na maior parte do trabalho, encontrar solues inteiras para equaes diofantinas que caracterizam soma de dois, trs e quatro quadrados e tambm mostrar as condies necessrias para que um nmero inteiro possa ser escrito como soma de dois e de trs quadrados inteiros. Os mtodos utilizados para a demonstrao do Teorema de Lagrange foram as abordagens dos dois temas citados e a exposio dos teoremas referente a estes temas, alm da utilizao de identidades descobertas por Euler que foram de grande valia para que Lagrange conclusse sua demonstrao.

Palavras-chave: Teoria dos Nmeros - Soma de quadrados - Lagrange

Contedo
Introduo 1 Uma breve biograa de Lagrange
1.1 A juventude de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 1.1.2 1.1.3 1.2.1 1.2.2 1.2.3 1.2.4 1.3.1 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . O Problema dos Isopermetros . . . . . . . . . . . . . . . . . . . . . Lagrange e as Equaes Diferenciais . . . . . . . . . . . . . . . . . . Lagrange e a Teoria dos Nmeros . . . . . . . . . . . . . . . . . . .

1 2
2 5 6 7 8 9

1.2 A Passagem por Berlim . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Anlise Algbrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Mecnica Celeste . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Equaes Diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . 13 O Perodo Napolenico . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.3 O Conde Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2 Soma de Dois e de Trs Quadrados

2.1.1 2.1.2

19

2.1 Soma de Dois Quadrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Algumas evidncias sobre soma de dois quadrados inteiros . . . . . 19 Os teoremas necessrios . . . . . . . . . . . . . . . . . . . . . . . . 21

2.2 Soma de Trs Quadrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

3 Soma de Quatro Quadrados Consideraes Finais Referncias

30 34 36

Introduo
Este trabalho surgiu atravs da vontade de obter maior conhecimento acerca das obras e da vida de um dos maiores matemticos do sculo XVIII, juntamente com a ideia de expor uma de suas vrias contribuies matemtica, mais especicamente, Teoria dos Nmeros. O Teorema de Lagrange leva o seu nome por ter sido o primeiro a provar que qualquer inteiro positivo pode ser expresso como soma de quatro quadrados inteiros. Enunciado por Bachet, em 1621 e quinze anos aps "provado"por Fermat, que no publicou sua demonstrao. Finalmente, em 1770, Lagrange publica a primeira demonstrao baseada em um dos trabalhos de seu grande mestre: Euler. Os conceitos que abordaremos so os da teoria dos nmeros. Utilizaremos, principalmente, noes de congruncia e divisibilidade em conjunto com algumas noes de resduos quadrticos, justamente com o intuito de estimular o leitor a conhecer e a investigar mais sobre a disciplina Teoria dos Nmeros. O trabalho dividido em trs captulos: O primeiro composto da biograa de Joseph Louis Lagrange, onde apresentaremos sua trajetria como matemtico e citaremos suas principais obras; o segundo trata exclusivamente de representao de inteiros como soma de dois e de trs quadrados inteiros e as "caractersticas"dos nmeros que podem ser escritos dessas duas formas e o ltimo captulo a demonstrao do teorema principal. Toda a composio do trabalho alicerada em obras de autores referenciados na disciplina Teoria dos Nmeros como David Burton (2005), Emil Grosswald (1985)e na obra Lagrange. La Elegancia Matemtica de Venancio Pardo Rego (2003).

Captulo 1 Uma breve biograa de Lagrange

Neste captulo, seguimos a sequncia da obra de Rego (2003).

1.1

A juventude de Lagrange

Joseph Louis Lagrange (1736-1813) nasceu em 25 de janeiro de 1736 em Turim, noroeste da Itlia. Fora registrado com o nome Giuseppe Ludovico Lagrangia. Sua origem francesa veio de seu bisav parisiense, capito da cavalaria francesa, que ento serviu ao Rei da Sardenha, Carlos Manuel II, onde morou e casou, tornando-se membro da rica famlia Conti em Turim. A famlia de Lagrange tinha uma situao nanceira favorvel. Seu pai, Giuseppe Francesco Ludovico, era tesoureiro do exrcito sardenho. Casou-se com Teresa Grosso, de famlia tambm rica e tiveram onze lhos, dos quais, somente um irmo e Lagrange, o lho mais novo, sobreviveram. Seu pai perdeu quase toda a fortuna da famlia em suas especulaes nanceiras, o que contribuiu para que Lagrange se dedicasse aos estudos, principalmente matemtica. No mesmo ano do nascimento de Lagrange, o matemtico suo Euler publicou uma obra importante para a fsica, a Mechanica sive motus scientia analytice exposita (Mecnica ou cincia do movimento exposta de modo analtico. Anos mais tarde, Lagrange e Euler tornaram-se amigos e, assim como Euler, Lagrange tambm dedicou-se aos estudos das aplicaes da anlise mecnica, tornando-se to reconhecido quanto Euler. Lagrange mostrou interesse pelos trabalhos de Arquimedes e de Euclides. Sua famlia desejava que seguisse a carreira da docncia ou da advocacia, mas ao conhecer uma das obras do astrnomo ingls Edmond Halley (1656-1742) se encantou 2

a ponto de dedicar-se profundamente matemtica e em pouqussimo tempo, de maneira solitria, conseguiu dominar a anlise moderna. Seu primeiro contato com grandes matemticos como Newton, Leibniz, Bernoulli, Euler e Clairaut foi aps ter contato com a obra Instituzioni analitiche de Maria Gaetana Agnesi (1718-1799). Em 1753, inicia suas investigaes sobre a anlise matemtica e a partir da inicia sua carreira brilhante. No ano seguinte, com 18 anos, estuda o Methodus de Euler e o problema dos isopermetros presente neste livro. Lagrange desenvolveu um clculo formal sobre a analogia entre o binmio de Newton e as derivadas sucessivas de um produto de duas funes e a partir da, fez questo de que chegasse ao conhecimento de Euler, que fazia parte da Academia de Cincias de Berlim, seu feito. Aps a publicao, Lagrange descobriu que seus resultados circulavam entre as correspondncias de Joahann Bernoulli e Leibniz o que o aborreceu bastante, principalmente pelo fato de haver possibilidade de desconana acerca da verdadeira autoria do trabalho e Euler poderia desconar disso. Mesmo com esses acontecimentos, Lagrange no se intimidou, pelo contrrio, empenhouse ainda mais a m de que todas as dvidas sobre a originalidade dos seus trabalhos cessassem e alm disso, desejava que suas obras chegassem s mos de Euler, o grande matemtico da poca. Lagrange estudou a obra de Euler (Methodus Inveniendi Lineas Curvas Maximi Mi-

nimive proprietate gaudentes sive solutio problematis isoperimatrici Latissimo Sensu Acceptl) (1744) que, at ento, somente o autor tinha domnio, pois se tratava de um novo
ramo da matemtica (clculo das variaes, denominada pelo prprio Euler). Ainda aos 18 anos, Lagrange obtm um resultado para o antigo problema da tautcrona (ou iscrona) atravs de mtodos puramente analticos pois, at ento, s haviam resultados geomtricos sobre o problema. Alm disso, Lagrange se props a resolver problemas concretos atravs dos clculos variacionais de Euler e a desenvolver um mtodo mais geral e elegante. No dia 12 de agosto de 1755, Lagrange envia uma carta a Euler com a resoluo analtica do problema da iscrona, dando origem ao mtodo variacional, assunto este inserido no clculo variacional de Euler. O dito trabalho fora publicado anos mais tarde, em 1762, sob o ttulo Essai d'une nouvelle mthode pour detrminer les mxima et minima 3

des formules integrles indfnies (Ensaio sobre um mtodo para determinar os mximos
e mnimos das funes integrais indenidas). E aos 19 anos, Lagrange j era considerado o co-fundador do clculo variacional. O clculo variacional de Euler e Lagrange tem aplicao na matemtica, fsica e na economia. Euler ainda tinha algumas limitaes nos desenvolvimentos de mtodos variacionais, pois tratava-se de um ramo novo na matemtica, mas Lagrange ps m essas limitaes atravs de um trabalho com o desenvolvimento do mtodo de Euler de maneira formal e elegante. O dito trabalho fora enviado a Euler e junto dele, a esperana de ser reconhecido por sua originalidade. E isso aconteceu. Euler percebeu a superioridade dos mtodos de Lagrange e o incentivou para que desenvolvesse ainda mais seu trabalho. Aps o reconhecimento pelo matemtico suo da genialidade de Lagrange, a sociedade matemtica da poca tambm reconheceu sua grande capacidade e seus feitos. Euler sabia reconhecer as qualidades de algum e, com isso, foi considerado o padrinho de Lagrange, que passou a ganhar notoriedade devido ao apreo do seu mestre. Aps seu primeiro grande trabalho, Lagrange se viu atrado a resolver o problema da trajetria descrita por uma partcula sob a ao de uma fora central, presente na obra Methodus inveniendi... de Euler. O resultado obtido foi equivalente segunda lei de Newton, com a vantagem de poder trabalhar com um grande sistema de partculas independente de saber ou no as foras que nelas atuam, mas sendo necessrio conhecer a energia cintica e potencial. Esse resultado e seu desenvolvimento, como nos anteriores, fora enviado a Euler que dessa vez no se satisfez em dar somente o reconhecimento a Lagrange, mas tratou de convencer o presidente da Academia de Cincias de Berlim a oferecer uma vaga de matemtico a Lagrange na dita Academia. Mesmo com condies de trabalho inferiores s condies que Euler props em Berlim, Lagrange recusou a oferta, com o argumento de que deveria amadurecer mais como matemtico em Turim e no viver sombra de seu padrinho Euler. Com apenas 20 anos, em 2 de setembro de 1753, Lagrange foi eleito membro estrangeiro da Academia de Cincias de Berlim. Com todos esses fatos ocorrendo em sua vida, Lagrange cria uma sociedade cientca em Turim que, anos mais tarde, transforma-se na Academia de Cincias de Turim (1783). A Sociedade conta com uma revista editada em francs e em latim denominada Miscellanea Taurinensia ou Melnges, cuja funo era publicar os trabalhos de Lagrange, alm de trabalhos de outros matemticos. 4

Durante trs anos como membro estrangeiro da Academia de Berlim, Lagrange estuda os problemas fsicos da propagao do som no ar, o problema da corda vibrante, integrao de equaes diferenciais em derivadas parciais surgidos a partir desses dois problemas fsicos.
1.1.1 O Problema da Corda Vibrante

Por muito tempo, matemticos como Euler, Bernoulli e D'Alembert estudaram os deslocamentos de uma corda que vibra em funo do tempo e da distncia. Porm, o jovem Lagrange tambm se props a dedicar-se a esse problema. Euler e D'Alembert desenvolveram de forma independente suas proezas, mas chegaram aos mesmos resultados: uma equao diferencial em derivadas parciais. Mas D'Alembert encontrou a equao correta da corda vibrante, chamada equao de ondas unidimensional. Enquanto Daniel Bernoulli, D'Alembert e Euler procuravam denir se eram as funes contnuas, descontnuas, ambas ou uma arbitrria que satisfazem a equao da corda vibrante, Lagrange, em 1759, publica seu trabalho sobre a propagao do som: Recherches

sur la nature et la propagation du son (Investigaes sobre a natureza e a propagao do

som), onde faz consideraes como as que o ar um meio elstico e estudou a propagao do som no ar a partir da mecnica dos sistemas de partculas elsticas. Mas mesmo assim, chegou aos mesmos resultados de Euler e D'Alembert, e, alm disso, concluiu que qualquer curva inicial satisfaz a equao da corda vibrante, independente da sua continuidade e da sua periodicidade. Seu desenvolvimento da expresso geral da equao da corda vibrante chega prximo da descoberta das Sries de Fourier. Em meio s controvrsias, Lagrange levou vantagem, pois estreitou sua relao com Euler e passou a se corresponder com D'Alembert, que virou seu melhor amigo. Aos 23 anos, Lagrange era considerado um grande matemtico como os demais de sua poca. No seu trabalho Investigaes sobre a natureza..., contribui para o desenvolvimento das equaes de ondas cilndricas e esfricas. Aps os resultados obtidos sobre a propagao do som no ar, Euler, Lagrange e Bernoulli aplicaram suas teorias prtica. Analisaram os sons de diversos instrumentos nas mais variadas formas geomtricas e comprovaram muitos dos resultados obtidos. Algumas equaes diferenciais obtidas a partir dos sons dos instrumentos, tinham grau elevado e 5

isso dicultava a integrao utilizando somente os conhecimentos da poca, dessas equaes. Os trabalhos realizados por Lagrange sobre a propagao do som no ar, foram publicados na edio do seu Miscellanea, volume II e depois incorporados na sua obra Mecnica

Analtica.
1.1.2 O Problema dos Isopermetros

Nas correspondncias entre Euler e Lagrange, um dos problemas que apareciam com frequncia era o dos isopermetros. Euler conseguiu demonstrar o problema, mas Lagrange se props a resolv-lo de forma analtica, j que Euler envolveu na sua resoluo conceitos geomtricos e analticos, e enviou seus resultados a Euler, que se mostrou satisfeito por saber que algum, alm dele, pde solucionar um problema que h tempos ele trabalhava e ainda armou que s publicaria seus resultados quando Lagrange publicasse os seus, para que tambm obtivesse o mrito que provavelmente teriam. Aps a publicao de Lagrange, Euler publicou seus resultados e, alm disso, mencionou Lagrange como pea principal para completar a soluo do problema dos isopermetros. Lagrange j havia se tornado conhecido no mundo cientco de Turim, mas sua situao permanecia a mesma. Seus 5 anos de trabalho como matemtico foram proporcionais s horas sem sono devido a tanta dedicao. Sua m alimentao contribuiria para que no futuro tivesse complicaes. Um outro importante trabalho desenvolvido por Lagrange foi o de encontrar a superfcie com rea mnima, onde suas fronteiras encontram-se xas. Euler encontrou um caso especial de superfcie mnima: a catenide. Lagrange desenvolveu uma equao para determinar a superfcie mnima que foi nomeada equao das superfcies mnimas de Lagrange, publicado no volume II do Miscellanea

Taurinensia.
Entre 1760 e 1766, Lagrange dedica-se ao estudo da teoria das equaes diferenciais e mecnica celeste. Neste ltimo tema, as ideias originais so de Euler, publicadas no seu artigo Princpios do movimento dos uidos (1752), onde o objetivo principal do artigo era encontrar a equao do uxo uniforme de um uido ideal.

1.1.3

Lagrange e as Equaes Diferenciais

As equaes diferenciais surgiram no sculo XVII. Ao resolver problemas de fsica, Newton, Huygens e os irmos Bernoulli, j faziam uso das equaes diferenciais que, na primeira metade do sculo XVIII, virou uma disciplina matemtica. Euler j tinha bastante domnio dessa disciplina e em uma de suas obras, resolveu equaes diferenciais lineares homogneas de grau n com coecientes constantes e, em um trabalho posterior, desenvolveu mais tcnicas para resolver equaes diferenciais ordinrias. Dando continuidade ao trabalho de Euler, Lagrange estudou equaes com coecientes variveis e descobriu que a soluo de uma equao linear homognea com coecientes variveis, uma soma de solues independentes cujas solues dependentes so, cada uma delas, multiplicadas por uma constante arbitrria. Dentre seus importantes trabalhos, dois artigos sobre mecnica celeste, onde so utilizadas aplicaes para as leis da gravitao universal, foram premiados na Academia de Cincias de Paris. O primeiro prmio, recebido em 1764, foi devido ao seu artigo que tratava sobre a pequena oscilao da Lua em relao ao alinhamento com a Terra. O segundo prmio recebido, em 1762, fora oferecido atravs de um concurso para quem conseguisse resolver o problema dos trs corpos que consiste em analisar perturbaes oscilatrias de um astro relacionadas com a atrao entre outros corpos celestes. O princpio utilizado em seu primeiro trabalho (Princpio da Mnima Ao), foi utilizado como base para sua obra posterior, Mecnica Analtica. Aps dez anos de trabalho, Lagrange pde nalmente respirar os ares de Paris e Londres e descansar, com seus gastos custeados pelo Rei da Sardenha. Em Paris, Lagrange foi acolhido por diversos matemticos e lsofos iluministas como, Diderot, Voltaire, Clairaut, Condocert e Marie, mas Lagrange conheceu pessoalmente quem ele j esperava h algum tempo: D'Alembert. Desse momento, at a morte de D'Alembert, houve uma grande amizade entre os dois matemticos. Lagrange tinha, alm de Euler, D'Alembert como seu admirador. A grande inuncia e apoio que Lagrange teve, seja no mundo cientco, seja no mundo social ou poltico, foi imprescindvel para que se tornasse um dos maiores matemticos da histria e tudo isso ocorreu tambm por causa da sua personalidade amvel, embora no concordasse com algumas opinies relacionadas poltica ou religio, mas sempre manteve o respeito em seus pronunciamentos sobre esses assuntos. 7

Foi em Paris que suas enfermidades apareceram, em consequncia da sua m alimentao e das noites em claro. Lagrange teve um problema biliar e recebeu os cuidados de D'Alembert. Aps melhorar, Lagrange partiu de volta Turim, mas antes passou por Genebra. Algum tempo depois, a Academia de Cincias de Paris lanou outro problema sobre corpos celestes com a inteno de que, justamente Lagrange, conseguisse resolv-lo, j que o matemtico estava familiarizado com o tema. E foi o que realmente aconteceu. O desao consistia em encontrar uma soluo para o problema dos n corpos, para
n = 6 e tratava sobre a atrao entre os quatro satlites de Jpiter, pois naquela poca

no tinha conhecimento que Jpiter possui mais de vinte satlites. A grande questo explorada o fato de que o sistema de gravitao de Jpiter pode ser comparado com o sistema solar, de uma forma reduzida. Lagrange chegou a resultados satisfatrios, embora no tenha conseguido resolver o problema para n = 6. Os cinco prmios recebidos da Academia de Cincias de Paris foram referentes mecnica celeste. Seus trabalhos sobre mecnica celeste e equaes diferenciais foram publicados no Volume III do Miscellanea Taurinensia. Em 1755, Lagrange tomou conhecimento, atravs de D'Alembert, que o Rei Frederico estava disposto a substituir Euler por D'Alembert no cargo de diretor da seo de matemtica da Academia de Cincias de Berlim, mas o matemtico no aceitou a oferta, alegando que os conhecimentos de Euler eram insubstituveis, mas falou ao rei sobre Lagrange e Frederico ofereceu o posto a Lagrange que tambm recusou, pois jamais passaria por cima do mestre que tanto lhe ajudou. Algumas semanas mais tarde, Euler pediu demisso do seu posto de diretor mas, antes disso, recomendou ao rei que pusesse Lagrange no seu lugar e o rei aceitou, enviando novamente a proposta ao matemtico, que dessa vez aceitou o convite. Em outubro, Lagrange chega Berlim e dois meses depois, no dia 6 de novembro de 1766, toma posse de seu cargo.

1.2

A Passagem por Berlim

O rei Frederico recebeu Lagrange com muito entusiasmo, o que no foi motivo para o matemtico de Turim se empolgar, pois Lagrange j tinha conhecimento do tratamento 8

concedido a Euler aps o rei tomar antipatia pelo "ciclope suo", apelido recebido pelo rei aps Euler perder a viso de um dos olhos antes de car totalmente cego. Euler considerava a Rssia como seu pas de adoo e partiu para a corte rival de Catarina II, na Rssia. O rei Frederico II tinha inuncia francesa em sua educao, e simpatizava com os ideais loscos. Tornou-se amigo de Diderot e Voltaire, alm de D'Alembert. As funes de Lagrange eram a leitura de uma memria mensal publicadas de tempos em tempos no Compndio da Academia de Berlim, alm da direo dos trabalhos matemticos produzidos na Academia. Como no tinha funo docente, a etapa em Berlim fora a mais produtiva em toda a sua carreira matemtica, chegando a produzir mais de cento e cinquenta memrias, pois passou tambm a ter uma vida mais regrada com horrios xos para produzir seus trabalhos e para alimentar-se regularmente. Onze meses aps sua chegada em Berlim, casou-se com sua prima Vittoria Conti, dividindo opinies, pois acreditava-se que seu matrimnio inuenciaria na produo de suas obras. Mas, segundo o prprio matemtico, seu casamento era apenas por convenincia e para receber cuidados de uma esposa dedicada.
1.2.1 Lagrange e a Teoria dos Nmeros

Lagrange teve um papel muito importante na Teoria dos Nmeros, pois resolveu vrios teoremas que ainda estavam em aberto por anos, alguns at por sculos, como por exemplo, a equao de Pell, que Euler, por muito tempo, havia tentando resolver:
x2 Ay 2 = 1

com A, x, y Z, y = 0, A = b2 e b Z, utilizando o algoritmo das fraes contnuas. Lagrange agradeceu os esforos do matemtico suo que, sem eles, seria difcil chegar a uma soluo do problema. Em 1770, Euler lana sua obra lgebra que, segundo Lagrange, a nica coisa interessante presente na obra um tratado sobre equaes diofantinas. Aps a traduo, que estava em alemo, Lagrange inseriu notas na obra que continham demonstraes interessantes sobre dois teoremas que ele seria o primeiro a provar. Uma dessas demonstraes, presente em seu Memrias de Berlim (1770), consistia em 9

encontrar as solues inteiras da equao diofantina 1

2 2 2 n = x2 1 + x2 + x3 + x4

(1.1)

que Euler tentou provar sem sucesso. O segundo teorema, cuja demonstrao foi publicada em uma de suas memrias da Academia de Cincias de Berlim, diz o seguinte:

Teorema 1.2.1. Se p um primo, ento (p 1)! + 1 mltiplo de p.2

Em 17775, Lagrange funda a teoria das formas quadrticas binrias. Outros importantes resultados demonstrados por Lagrange foram:

Teorema 1.2.2. Uma congruncia de grau m

Axm + Bxm1 + Cxm2 + + M x + N 0(modp)

onde p primo e (A, p) = 1, no pode ser resolvida por mais de m maneiras diferentes ou no pode ter mais de m razes incongruentes mdulo p.
e

Teorema 1.2.3. Se um nmero pode ser representado por uma forma binria, por exemplo
N = ax2 + bxy + cy 2

Ento N pode ser representado por formas equivalentes por meio de mudana de variveis da forma
x = x + y y = x + y

Em Berlim, seu ltimo trabalho em teoria dos nmeros foi o artigo intitulado: Sobre

alguns problemas de anlise diofantina (1771). Anos mais tarde, j em Paris, publicou o
1 A equao (1.1) ser o teorema principal demonstrado neste trabalho. 2 Enunciado pela primeira vez por Edward Waring (1734-1793), cuja demonstrao encontra-se no livro
[4] de Jos Plnio de Oliveira dos Santos.

10

trabalho sobre fraes contnuas: Ensaio de anlise numrica sobre a transformao de

fraes.
1.2.2 Anlise Algbrica

Entre 1767 e 1777, Lagrange estudou problemas que envolvessem resoluo de equaes. Seus trabalhos neste perodo foram: um ensaio sobre o melhoramento do mtodo de Cramer para eliminao de parmetros na resoluo de sistemas de equaes lineares (1769), Sobre a resoluo de equaes numricas (1769), Apndice memria sobre a

resoluo de equaes numricas (1770), neste ltimo, verica que somente os nmeros
irracionais quadrticos podem ser representados por fraes contnuas peridicas. Nas duas outras obras, Lagrange aplica o mtodo das fraes contnuas. Tambm em 1770, Lagrange lana o trabalho Novo mtodo para resolver as equaes literais por meio de

sries, sugerido pelo matemtico Lambert, j que havia dado incio a um trabalho com o
mesmo tema. Em sua memria, Lagrange analisa as solues de equaes de grau m, tal que
2 m 4, m Z, utilizando mtodos de resolues por meio de radicais e tambm

armou que equaes de grau n, com n > 4. n Z, so impossveis de resolver atravs de radicais. Embora equaes de grau superior a quatro no possam ser solveis atravs de radicais, muitas equaes de grau arbitrrio podem ser resolvidas dessa maneira. Cabia agora investigar as condies para que uma equao pudesse ou no ser resolvida por meio de radicais. Atravs dos estudos dessas condies, que Lagrange pde disseminar a teoria dos grupos de permutao ou grupos de substituio. Lagrange ainda publicou mais duas memrias sobre resoluo de equaes algbricas. A primeira, Sobre a forma das razes imaginrias das equaes (1773), tratava sobre sua demonstrao (dada primeiramente por Euler e D'Alembert) sobre a equao polinomial
f (x) = 0 com coecientes reais ou complexos, cuja equao admite pelo menos uma raiz

real ou complexa, mas Lagrange no conseguiu dar uma prova completa. Sua segunda memria,Investigaes sobre a determinao do nmero de razes imaginrias nas equaes

literais, era um complemento da primeira.

11

1.2.3

Mecnica Celeste

Durante sua vida em Berlim, Lagrange tambm publicou memrias no campo da mecnica celeste, alm de participar de premiaes da Academia de Cincia de Paris sobre este tema. Seu primeiro trabalho em Berlim, nesta rea, foi Investigaes sobre o movimento de

um corpo que atrado para dois centros xos (1767), constitudo por uma generalizao
dos trabalhos de Euler referentes mecnica celeste. Ainda em 1767, Lagrange foi convidado a participar de um concurso na Academia de Cincias de Paris, que aconteceria no ano seguinte. D'Alembert o convidou, pois tinha conhecimento que se tratava de um assunto que Lagrange dominava (A teoria da Lua), mas Lagrange no aceitou, pois Euler tambm concorreria ao prmio e o matemtico de Turim no queria concorrer com seu mestre. No concurso de 1770, Lagrange tambm no concorreu, devido a uma enfermidade, mas publicou um trabalho intitulado Memria sobre a passagem de Vnus em 3 de junho

de 1769, que envolve astronomia pura. J em 1772, participa do concurso com o trabalho: Ensaio sobre o problema dos trs corpos, inovador pois, at ento, s havia conhecimento
sobre os resultados do problema dos dois corpos. Mesmo no mostrando solues gerais para o problema dos trs corpos, Lagrange obteve resultados particulares muito interessantes que serviram de base para estudos futuros por George William Hill (1838-1924) e Jules-Henri Poincar (1854-1912). Por deciso unnime, Lagrange e Euler ganham o prmio de cinco mil libras, cada um. Em 1774, a Academia de Cincias de Paris ofereceu outra premiao. A problemtica era: A possibilidade de explicao sobre a equao secular da Lua pela atrao de todos os

corpos celestes ou pelo efeito da no-esfericidade da Terra e da Lua. Lagrange participou

com o trabalho: Sobre a equao secular da Lua, que lhe rendeu outro prmio. Entre 1776 e 1782, as memrias de Lagrange sobre o estudo da mecnica celeste, estiveram presentes em artigos da Academia de Cincias de Paris e na Academia de Cincias de Berlim. Em 1780, participa de mais outra premiao com o trabalho Investigaes sobre a

teoria das perturbaes que os cometas podem sofrer pela ao dos planetas, conseguindo
o prmio duplo de quatro mil libras. Esta foi sua ltima participao em premiaes, pois no voltaria mais a concorrer em outro concurso. 12

Em 1782, publica uma obra Teoria da oscilao da Lua e de outros fenmenos que

dependem da forma esfrica do planeta, sobre a oscilao da Lua, que na verdade uma
edio melhorada de sua primeira obra publicada ainda em Turim, sobre o assunto referente.
1.2.4 Equaes Diferenciais

Alm dos problemas presentes em mecnica geral e mecnica celeste, existiam os problemas solveis atravs de equaes diferenciais. Para estes problemas, Lagrange utilizava alguns mtodos de resoluo, at perceber que alguns problemas fsicos necessitavam de mtodos mais especcos de resoluo utilizando equaes diferenciais. Lagrange e Euler se propuseram a pesquisar profundamente o estudo das equaes diferenciais que matemticos do sculo seguinte deram continuidade. Suas produes em Berlim sobre este tema ocorreram entre 1768 e 1787. Em 1783, foi criada a Academia de Cincias de Turim e a revista Recueil de l'Academia, inspiradas nos trabalhos de Lagrange durante sua etapa em Turim: a Sociedade Cientca de Turim e a Miscellanea Taurinensia. Na Academia de Cincias de Turim, Lagrange foi nomeado presidente de honra, devido todas suas conquistas no meio cientco da Europa e como agradecimento, Lagrange enviou um trabalho sobre clculo diferencial para ser publicado na Recueil de l'Academia. Seus trabalhos foram precursores de estudos que formaram hoje as equaes elpticas. Em 1773, Lagrange publica um trabalho Sobre a integrao das equaes em derivadas

parciais de primeira ordem, sendo complementado com o trabalho publicado em 1779, Em relao diferentes problemas de anlise relacionados teoria das integrais particulares,
onde mostra um mtodo encontrado para integrar equaes lineares em derivadas parciais de primeira ordem. Seu outro trabalho de 1785, Mtodo geral para integrar equaes

no-lineares em derivadas parciais de primeira ordem, consiste em reduzir o problema de

integrar a equao no linear do tipo
q Q(x, y, z, p) = 0

13

ao de integrar uma equao linear do tipo

Qp p p p + + (Q pQp ) Qx pQz = 0 x y z

Estes trabalhos podem ser considerados como o estudo mais aprofundado do sculo XVIII sobre equaes diferenciais de primeira ordem em derivadas parciais. Ainda em Berlim, Lagrange publica trabalhos sobre equaes diferenciais ordinrias de ordem superior, onde mostra mtodos de variao de parmetros ou variao de constantes referentes ao estudo das perturbaes dos movimentos dos planetas. Seus dois ltimos trabalhos durante a passagem por Berlim, coincidiram com a redao da sua grande obra Mecnica Analtica. O primeiro trabalho consiste num estudo mais aprofundado sobre mecnica dos uidos e o segundo foi uma continuao do trabalho publicado em Turim sobre transmisso de som e equaes de ondas. Depois de Newton, Lagrange foi um dos maiores matemticos a estudar com anco temas sobre mecnica. Seu interesse por geometria era pouco, porm, seu amigo Monge conseguiu encant-lo com sua Geometria Diferencial. Em 1775, publicou um artigo Solues analticas de alguns

problemas sobre as pirmides triangulares, onde as resolues utilizadas constituem hoje

a lgebra pura, como os determinantes, quadrado de um determinante, matriz ortogonal, entre outros. No dia 15 de setembro de 1782, Lagrange termina de redigir o seu Mecnica Analtica. Entre cartas a D'Alembert e Euler, possvel perceber a preocupao de Lagrange em relao ao futuro de suas produes pois seus estudos j haviam sido bastante explorados e, caso no se criassem novas vertentes matemticas, seu trabalho teria que ser abandonado. Lagrange j estava com 45 anos e seus nveis de produo cientca decaram no s pela idade, mas pelo fato de sua esposa encontrar-se gravemente enferma. Embora no muito empolgado no incio com o seu casamento com Vittoria, Lagrange passou a sentir carinho pela esposa com quem conviveu por 13 anos. Em meados de 1783, Vittoria morre e Lagrange entra em depresso, afastando-se de todos. No mesmo ano, Lagrange sofre duas perdas irreparveis. No dia 18 de setembro, morre Euler, seu mestre e amigo (mesmo sem nunca conhec-lo pessoalmente). No dia 29 de outubro, morre seu amigo D'Alembert que antes de morrer encoraja Lagrange a no desistir de seu trabalho. Euler e Lagrange construam a parte mais importante da matemtica do sculo XVIII, alm de desenvolverem as obras de Newton. 14

Aps isso, Lagrange recebeu propostas, inclusive da Academia de Cincias de Turim, para sair de Berlim, mas recusou o convite, pois sentia muita gratido por Frederico II, que sempre lhe tratou bem e valorizou seu trabalho, alm do mais, Lagrange vivia em um dos maiores beros da cincia da poca. Mas em agosto de 1786, Frederico II morre, deixando seu sobrinho Guilherme II no poder. Guilherme no se importava com a evoluo da cincia, alm de ter antipatia por qualquer assunto relacionado Frana. Dessa vez Lagrange se viu fortemente tentado a sair de Berlim e assim o fez, quando recebeu a proposta para um cargo na Academia de Cincias de Paris do rei Lus XVI. Para Lagrange, a situao seria proveitosa, pois a Academia de Cincias de Paris era referncia da cincia europia, teria tambm a companhia de seus amigos Laplace e Legendre. Outro motivo seria a sua descendncia francesa, da qual Lagrange sempre deixou claro. Embora alguns cientistas da poca tenham se prejudicado em razo da situao que ocorria na Prssia, o mesmo no aconteceu com Lagrange que teve direito a uma penso at o ano de 1792, pois houve mudanas no cenrio poltico da Prssia. No entanto, o contrato rmado com a Academia de Cincias de Paris se manteve-se at a sua morte. No dia 18 de maio de 1787, Lagrange parte rumo Paris, levando lembranas dos vinte e um anos de trabalho realizados em Berlim.

1.3

O Conde Lagrange

Em julho de 1787, Lagrange chega em Paris e no mesmo ms, no dia 29, ingressou como veterano aposentado da Academia de Cincias, j que, desde maio de 1772, membro estrangeiro. Lagrange estava totalmente diferente da poca de sua primeira visita em Paris. Encontravase triste. Dos amigos presentes em sua primeira visita, somente Marie e Condocert estavam vivos. Pde conhecer pessoalmente seus amigos de correspondncia Legendre e Laplace e fez amizade com Lavoisier, Carnot, Coloumb, Delambre e Monge. Lavoisier e a rainha Antonieta cuidaram de Lagrange e mantiveram-no longe de alvoroos, j que encontrava-se triste e desmotivado at mesmo com a matemtica. Em sua mala trouxe a obra Mecnica Analtica a m de edit-la. A edio foi feita por Joseph-Franois Marie (1738-1801) e lanada no comeo de 1788, sendo muito elogiada.

Mecnica Analtica dividida em duas partes: Esttica e Dinmica e em cada uma

15

destas duas partes h subsees sobre corpos slidos e uidos. A obra consiste em resolver questes presentes na mecnica atravs de mtodos puramente analticos, utilizando somente conceitos algbricos e alm disso, Lagrange desenvolveu equaes para a resoluo dos problemas presentes. At ento, no havia um princpio geral da mecnica sobre um nmero qualquer de foras em um sistema mecnico qualquer, mas Lagrange conseguiu este feito com o seu

Princpio das Velocidades Virtuais ou Princpio dos Deslocamentos Virtuais, enunciado

pela primeira vez por Johann Bernoulli, em 1717. Durante os embates polticos que ocorriam na Frana durante o sculo XVIII, Lavoisier e Condocert morrem. Lagrange foi nomeado presidente da Comisso para a Unicao das Medidas, impulsionando a adoo do sistema mtrico decimal, contrariando os defensores do sistema de base 12. O astrnomo Pierre-Charles Lemonnier (1715-1799), amigo de Lagrange, tinha uma lha que, ao saber da melancolia do matemtico de Turim, se comoveu e o pediu em casamento. No dia 13 de maio de 1792, Rene-Franoise Adlaide Lemonnier (1767-1833) e Lagrange casaram-se, devolvendo a ele a vontade de trabalhar e produzir. Porm, no dia 21 de janeiro de 1793, Lus XVI e Maria Antonieta no dia 17 de outubro do mesmo ano, foram executados. No dia 8 de agosto de 1793, a Conveno Nacional exige o fechamento das academias, alegando no haver necessidade de "sbios"e aps trs meses, Lavoisier e Laplace so mandados embora da Comisso de Pesos e Medidas, mas Lagrange estranhamente mantido em seu cargo. No ms seguinte, o Comit de Bem Estar Pblico ordenou que estrangeiros de pases inimigos fossem deportados, alm de terem seus bens apreendidos. Preocupados por Lagrange ter mantido uma grande amizade com o rei Frederico, alm de ter mantido uma boa relao com Maria Antonieta, os amigos de Lagrange o propuseram que o mesmo voltasse Berlim, mas receberam uma resposta negativa. Ento, Lavoisier, que tinha inuncia poltica, intercede por Lagrange a um dos membros da Comisso do Bem Estar para que o matemtico permanea em seu cargo e seu pedido aceito. Infelizmente, Condocert comete suicdio no dia 24 de maro de 1794 e Lavoisier, o amigo que tanto lhe ajudou, foi guilhotinado no dia 8 de maio do mesmo ano. 16

Em julho de 1794, o clima encontra-se mais ameno, devido morte dos comandantes da poca do Terror. As produes cientcas voltam a todo vapor. No dia 30 de outubro de 1794, criada a l'cole Normale com a nalidade de proporcionar um ensino uniforme, alm de formar professores e mestres. Lagrange foi designado para desempenhar a funo de professor principal e Laplace, professor adjunto. No dia 11 de maro de 1794, foi fundada a l'cole Centrale des Travaux Publics que, aps certo perodo, foi renomeada para cole Polytechinique, sendo prestigiada at hoje. L, Lagrange ensinou anlise at 1799. Devido a extino das academias durante a poca do Terror, foi criado o Instituto Nacional, em 27 de setembro de 1795, e Lagrange foi nomeado presidente da primeira classe do diretrio que envolvia as cincias fsicas e matemticas. Embora Lagrange no tivesse tanto entusiasmo para a carreira docente, pois estava h mais de trinta anos sem lecionar, ensinava seus alunos de Paris de maneira muito disciplinada. Suas notas de aula tambm eram repletas de novas descobertas. Com isso, Lagrange as utilizou para lanar mais um artigo (As lies elementares sobre matemtica distribudas

na l'cole Normale ). Um de seus resultados envolvendo aproximao de funes foi o

mtodo chamado Interpolador de Lagrange. No ano de 1797, Lagrange lana seu trabalho Teoria das Funes Analticas, uma verso melhorada do seu trabalho de 1792 com o mesmo tema. Nele, Lagrange desenvolve conceitos sobre teoria das funes contribuindo com seu formalismo algbrico para o clculo diferencial e integral. Um teorema muito importante presente nesta obra o

Teorema do Valor Mdio do clculo diferencial. Em 1801, Lagrange complementa

esta obra atravs de um tratado (Lies sobre o clculo de funes ) onde adianta alguns estudos sobre equaes diferenciais ordinrias e geometria diferencial.
1.3.1 O Perodo Napolenico

Entre 1796 e 1798, Napoleo Bonaparte toma o poder do Norte da Itlia das mos dos austracos que, at ento, a governavam. Os franceses sempre tiveram orgulho por ter Lagrange em seu meio cientco e o domnio de Piamonte inuenciou mais ainda na permanncia de Lagrange no Instituto Nacional e, alm disso, foi nomeado professor de 17

anlise da l'cole Polytechinique. No dia 9 de novembro de 1799, o general Napoleo toma o poder da Frana, iniciando uma nova forma de poder: Consulado, de 1799 1804 e Imprio, de 1804 1815. Muitos matemticos apoiavam Napoleo, pois este era a favor do desenvolvimento das cincias. Monge, Laplace e Fourier, j eram seus amigos de longa data. Para Napoleo, Lagrange era considerado a "mais altas das pirmides das cincias matemticas", alm de oferecer ao matemtico sua mais sincera amizade e respeito. Durante a ltima dcada de vida de Lagrange, suas produes diminuram. Seus dois ltimos trabalhos foram uma segunda edio do Mecnica Analtica publicada em 1811 e o Tratado sobre resoluo das equaes numricas de grau arbitrrio (uma compilao de suas obras dos anos de 1769 e 1770 sobre o mesmo tema), publicada em 1798. Em 1808, o imperador Napoleo nomeia Lagrange conde do imprio. Alm de Lagrange, Monge, Laplace e Carnot foram nomeados para o mesmo cargo. Lagrange j tinha mais de 70 anos, sem lhos, mas com sucessores na matemtica, como Cauchy e Gauss. Este ltimo correspondia-se atravs de cartas com Lagrange. J Cauchy teve a oportunidade de conhecer Lagrange pessoalmente. Em meados de abril de 1813, Lagrange encontra-se enfermo e recebe a ltima visita de seus amigos e dois dias aps essa visita, no dia 10 de abril de 1813, morre, aos 77 anos. Seus restos mortais encontram-se no Panteo ao lado de grandes personagens da histria. Lagrange recebeu homenagens em diversas universidades do reino da Itlia, enquanto que no reino da Prssia nada foi feito, devido aos conitos entre a Frana.

18

Captulo 2 Soma de Dois e de Trs Quadrados

Neste captulo seguimos Burton (2005) e Grosswald (1985).

2.1

Soma de Dois Quadrados

Dado um inteiro m > 0, tal que m pode ser representado por

m = x2 + y 2

(2.1)

queremos encontrar as solues inteiras da equao diofantina acima. Alguns nmeros (quadrados perfeitos) podem ser facilmente vericados como soma de dois quadrados, levando em considerao que o nmero zero pode ser elevado ao quadrado. Por exemplo:
4 = 22 + 02 , 9 = 32 + 02 e 16 = 42 + 02
2 mas nmeros da forma m = x2 1 + 0 no so interessantes para mostrarmos, j que recaem

na representao de inteiros como um quadrado apenas e outros so clssicos ternos pitagricos como: 25 = 42 + 32 , 102 = 62 + 82 e 132 = 122 + 52 .
2.1.1 Algumas evidncias sobre soma de dois quadrados inteiros

Determinar se a equao diofantina (2.1) tem soluo no ser uma tarefa simples, para isso, reuniremos uma srie de lemas e teoremas para que saibamos identicar quais nmeros inteiros positivos podem ser representados como soma de dois quadrados e como encontrar suas solues inteiras para os termos x e y . 19

Um lema importante mostrado por Diofanto (325-409 a.C) o seguinte:

Lema 2.1.1.
(a2 + b2 ) (c2 + d2 ) = (ac + bd)2 + (ad bc)2 = (ac bd)2 + (ad + bc)2

(2.2)

Demonstrao. (a2 + b2 ) (c2 + d2 ) = a2 c2 + a2 d2 + b2 c2 + b2 d2 = a2 c2 + 2abcd + b2 d2 +

a2 d2 2abcd + b2 c2 = (ac + bd)2 + (ad bc) = (ac bd)2 + (ad + bc)2

A identidade (2.2) nos mostra que dados m = a2 + b2 e n = c2 + d2 , se dois nmeros inteiros positivos so representados como soma de dois quadrados, ento o seu produto tambm ser uma soma de dois quadrados. Por exemplo,
5 = 22 + 12

e
13 = 32 + 22

65 = 5 13 = (22 + 12 ) (32 + 22 ) = (2 3 + 1 2)2 + (2 2 1 3)2 = (6 + 2)2 + (4 3)2 = 82 + 12 = (2 3 1 2)2 + (2 2 + 1 3)2 = (6 2)2 + (4 + 3)2 = 42 + 72

Muitos matemticos como Mohamed Ben Alhocain (Sc. X), Leonardo de Pisa (conhecido como Fibonacci, 1175-1230), Vieta (1540-1603) e Xylander (Sc. XVI) estudaram o problema (2.1). Bachet (1581-1638) tambm fez algumas observaes sobre o referido problema, mas quem aparentemente declarou condies corretas e sucientes para a solubilidade em nmeros inteiros da equao diofantina m = x2 + y 2 foi Girard (1595-1632). 20

Tais condies so:

m tem que ser um quadrado (quando m2 = m2 + 02 ); ou um primo p 1(mod 4); ou um produto de tais nmeros (evidente em (2.2));

Exemplo: 4 5 = 20 = (22 + 02 ) (22 + 12 ) = 42 + 22 . Podemos perceber que a declarao principal de Girard e que queremos mostrar a de que um primo p mpar s pode ser representado como soma de dois quadrados se, e somente se, p 1(mod 4). Vejamos o exemplo do nmero 17 = 42 + 12 que um primo da forma p = 4k + 1, e
11 que no pode ser expresso como soma de dois quadrados, pois no satisfaz a condio

estabelecida. Provavelmente de forma independente, Fermat (1601-1665) tambm fez uma armao sobre representao de inteiros como soma de dois quadrados. A condio seria que se
m da forma m = 4k + 1, ento, quando dividido pelo seu maior fator, o quociente no

poderia conter qualquer primo q 3(mod 4). Embora Fermat tenha armado em suas cartas a Descartes e Mersenne que possua uma "prova irrefutvel", nunca houve nenhuma publicao de sua autoria de uma demonstrao sobre esta armao.
2.1.2 Os teoremas necessrios

Segundo David Burton (2005) e Emil Grosswald (1985), so necessrios alguns resultados para vericarmos se um inteiro positivo pode ou no ser expresso como soma de dois quadrados.

Teorema 2.1.2. Se n 3(mod 4), tal que n Z + , ento no existem inteiros a e b,

tais que n = a2 + b2 . Demonstrao. Seja a um inteiro qualquer. Temos que a = 2k ou a = 2k 1 e isso implica
que a2 = 4k 2 ou a2 = 4(k 2 k ) + 1, ou seja, a2 0(mod 4) ou a2 1(mod 4), logo, para qualquer inteiro b, temos que a2 + b2 0, 1 ou 2(mod 4). O que nos faz concluir que nenhum inteiro que representado como soma de dois quadrados da forma 4k + 3.

21

Agora provaremos a declarao de Girard, que diz que qualquer primo p s pode ser representado como soma de dois quadrados se p 1(mod 4), para isso, teremos que provar primeiramente um lema do matemtico noruegus Axel Thue (1863-1922) e este lema necessita do Princpio da Casa dos Pombos ou Princpio da Gaveta de Dirichlet (1805-1859).

Denio (Dirichlet). Princpio da Casa dos Pombos ou Princpio da Gaveta: Dados n

objetos e m gavetas, tal que n > m, ento se colocarmos os n objetos nas m gavetas, pelo menos uma gaveta conter mais de um objeto. Em termos mais matemticos, o princpio arma que se um conjunto n a unio de
m subconjuntos e se n > m, ento um subconjunto tem mais de um elemento.

Lema 2.1.3 (Lema de Thue). Sejam a, p Z+ e (a, p) = 1, ento a congruncia

ax y (mod p) admite uma soluo x0 , y0 , tal que 0 < |x | < p 0 0 < |y | < p
0

Demonstrao. Seja k =

p + 1 e considere o conjunto de inteiros p, o Princpio da Casa dos

S = {ax y |0 x k 1, 0 y k 1}

Como ax y assume k 2 > p possveis valores, pois k >

Pombos garante que pelo menos dois membros de S devem ser congruentes mdulo p e digamos que esses nmeros sejam ax1 y1 e ax2 y2 . Ento
ax1 y1 ax2 y2 (mod p) a(x1 x2 ) y1 y2 (mod p).

Seja x0 = x1 x2 e y0 = y1 y2 , segue que x0 e y0 fornecem uma soluo para a congruncia ax y (mod p). Se x1 = x2 , ento y1 y2 ser divisvel por p, o que implica
y1 = y2 , mas (x1 , y1 ) e (x2 , y2 ) so diferentes, uma contradio. Se y1 = y2 ento a(x1 x2 )

ser divisvel por p, o que tambm uma contradio, pois a e p so primos entre si, caso no fossem, p dividiria (x1 x2 ) e x1 = x2 , o que no pode acontecer. Logo
0 < |x | k 1 < p 0 0 < |y | k 1 < p
0

(BURTON, 2005) Com estes resultados, vamos demonstrar o Teorema de Girard, embora tal resultado 22

muitas vezes seja referido como teorema de Fermat, mas a primeira prova foi dada por Euler.

Teorema 2.1.4 (Girard, Euler). Um nmero p primo e mpar, expresso como uma
soma de dois quadrados se, e somente se, p 1(mod 4) Demonstrao. Suponha que p pode ser escrito como uma soma de dois quadrados, ou
seja, p = a2 + b2 . Como p primo, ento p a e p b. (Se p | a ento p | b2 , e assim p | b levando contradio que p2 | p). Logo, pela teoria das congruncias lineares, existe um inteiro c, tal que:
bc 1(mod p)

O que implica dizer que bc = pk + 1, onde k Z. Mdulo p, a relao (ac)2 + (bc)2 = pc2 torna-se:
(ac)2 + (bc)2 = pc2 (ac)2 + (pk + 1)2 = pc2 (ac)2 + (p2 k 2 + 2pk + 1) = pc2 (ac)2 = pc2 (p2 k 2 + 2pk + 1) (ac)2 = p(c2 pk 2 2k ) 1 (ac)2 (1)(mod p)

fazendo (1) um resduo quadrtico de p, no caso em que p 1(mod 4) o que implica que (utilizando o smbolo de Legendre) ento a congruncia
ax y (mod p) a2 1(mod p), como (1) resduo quadrtico, por hiptese, de p 1(mod 4), 1 p = 1. Supondo que a um inteiro tal que

tem uma soluo x0 , y0 , para que a concluso do lema de Thue seja vlida. Temos como resultado
2 2 2 2 x2 0 a x0 (ax0 ) y0 (mod p)

23

ou
2 x2 0 + y0 0(mod p)

ou seja
2 x2 0 + y0 = kp

para k Z tal que k 1. Na medida em que 0 < |x0 | < demonstrao. Considerando a2 = (a)2 , temos o seguinte corolrio:

p e 0 < |y0 | <

p, obtemos

2 2 2 0 < x2 0 + y0 < 2p, o que implica dizer que k = 1. Logo, x0 + y0 = p, o que conclui a

Corolrio 2.1.5. Qualquer primo p da forma 4k + 1, tem somente uma representao

como soma de dois quadrados inteiros, independente da ordem e do sinal dos elementos da soma. Demonstrao. Suponha que p = a2 + b2 = c2 + d2 , onde a, b, c, d Z+ . Reescrevemos,
a2 d2 b2 c2 = p(d2 b2 ) 0(mod p), ento ad bc(mod p) ou ad bc(mod p). Como a, b, c e d so todos menores do que p, ento ad bc = 0

ou
ad + bc = p

Se a segunda igualdade se mantm, ento, ac = bd, pois

p2 = (a2 + b2 )(c2 + d2 ) = (ad + bc)2 + (ac bd)2 = p2 + (ac bd)2

e assim, ac bd = 0. O que resulta que

ad = bc ou ac = bd

24

Suponha que ad = bc, ento a|bc, com (a, b) = 1, o que implica que a|c; digamos que
c = ka. Ou seja, ad = bc = b(ka), logo d = bk . Mas p = c2 + d2 = k 2 a2 + b2 k 2 = k 2 (a2 + b2 )

o que implica que k = 1. Neste caso, temos que a = c e b = d. Analogamente, utilizando os mesmo argumentos, ac = bd implicar que a = d e b = c. Em qualquer um dos casos, as representaes do primo p sero idnticas. Podemos perceber que qualquer primo p 1(mod 4) pode ser escrito como soma de dois quadrados em oito formas. Por exemplo, para p = 5, temos:
5 = 22 + 12 = (2)2 + 12 = 22 + (1)2 = (2)2 + (1)2 = 12 + 22 = (1)2 + 22 = 12 + (2)2 = (1)2 + (2)2

Mas nenhuma dessas oito representaes diferem devido ordem de seus termos ou pelo sinal deles. Logo, as representaes no so distintas. Alguns nmeros, que no so primos, mas da forma 4k +1 no podem ser representados como soma de dois quadrados inteiros, como o nmero 21. Para sabermos quais so esses nmeros, veremos mais uma condio.

Teorema 2.1.6. Seja m = n2 0 n, , onde n livre de quadrados, ou seja, no existe um

primo p tal que p2 divida n, ento a equao diofantina m = x2 + y 2 tem soluo se, e somente se n no tem fatores primos da forma 4k + 3. Demonstrao. Primeiramente vamos supor que n no tem fatores primos da forma 4k +3.
2 Se n = 1, ento m = n2 0 + 0 que soma de dois quadrados. Se n > 1, ento n pode ser

escrito como n = p1 p2 pr , pois n livre de quadrados, onde os pr s podem ser iguais a 2 ou da forma 4k + 1. Pelo teorema 2.1.4 4k + 1, pode ser escrito como soma de dois quadrados e 2 tambm pode ser escrito como soma de dois quadrados. Pelo lema 2.2, o produto de dois inteiros que representado como soma de dois quadrados igual soma de dois quadrados. Deste modo, podemos multiplicar os fatores primos de n de modo que
n = a2 + b2 . Como m = n2 0 n, isso implica que
2 2 2 2 2 2 2 2 m = n2 0 (a + b ) = n0 a + n0 b = (n0 a) + (n0 b)

25

que soma de dois quadrados. Agora assumiremos que m = x2 + y 2 = n2 0 n. Supondo que n > 1, e seja p um fator primo de n. Se (x, y ) = d, ento, existe t, r Z, tais que x = rd e y = td e (r, t) = 1. Ento,
d2 (r2 + t2 ) = n2 0n

como n livre de quadrados, ento d2 |n2 0 . Logo

r2 + t2 = n2 0 2 d n = sp

(2.3)

para s positivo. A equao (2.3) mostra-nos que

r2 + t2 0(mod p)

(2.4)

Agora a condio (r, t) = 1 implica que devemos ter r ou t relativamente primo com
p. Suponhamos que (r, p) = 1, ento existem inteiros r e r tais que r r + rp = 1

ou
r r 1(mod p)

(2.5)

Agora, multiplicando a equao (2.4) por (r )2 , teremos:

(r )2 (r2 + t2 ) 0 (r )2 (mod p) (r r)2 + (tr )2 0(mod p)

(2.6)

mas de 2.5, temos que

(r r)2 12 (mod p) (r r)2 = pk + 1

(2.7)

26

onde k Z. Substituindo 2.7 em 2.6, temos:

pk + 1 + (tr )2 0(mod p) (tr )2 + 1 = ps pk (tr )2 + 1 0(mod p) 1 = 1, ou seja, 1 resduo quadrtico de p e isso s ocorre no p caso em que p = 2 ou p da forma 4k + 1. Ento n0 no possui fatores da forma 4k + 3.

onde s Z. Ento

Teorema 2.1.7. Seja m Z + , ento m s ser representado como uma soma de dois
quadrados se, e somente se, todo fator primo de m da forma q 3(mod 4) tiver expoente par. Exemplo: 245 = 72 5 = 142 + 72
2l2 k2 2ls kr 1 Demonstrao. Se assumirmos que m da forma 2f pk 1 p2 pr q2 qs , com

pj 1(mod 4) e qj 3(mod 4), todos primos. Como sabemos, 2 = (12 + 12 ) e todos

os primos da forma 4k + 1 podem ser representados como soma de dois quadrados e

2ls 2 2 2 ls + 02 , que uma soma de dois quadrados. Pelo = qj ) o que quer dizer que qj qj = (qj

lema (2.1), um produto de nmeros representados por soma de dois quadrados uma soma de dois quadrados, ento m pode ser representado como uma soma de dois quadrados se qualquer primo da forma 4k + 3 estiver elevado ao quadrado.
Agora, assumiremos que m = x2 + y 2 . Seja (x, y ) = d, temos que x = x1 d e
2 y = y1 d (com (x1 , y1 ) = 1), ento, m = (x1 d)2 + (y1 d)2 = d2 (x12 + y1 ) = d2 m1 , onde 2 m1 = x2 1 + y1 . Agora, dado um q primo da forma 4k + 3, tal que, ao decompormos m em

fatores primos q tenha um expoente mpar. Ento temos que q |m1 , mas q x1 e q y1 .
2 Como y1 x2 1 (mod q ), pelos estudos de resduos quadrticos, temos que:

2 Se y1 x2 1 (mod q )

x2 1 q

2 y1 . q

Como
q x1 x2 1 q = 1, logo
2 y1 q

1(mod 4).

1 q

2 y1 , mas q

1 q

= 1 q

27

Da segue que q 1(mod 4), o que uma contradio.

2.2

Soma de Trs Quadrados

Como est evidente, alguns nmeros inteiros positivos no podem ser expressos como soma de dois quadrados. Tendo em vista esta impossibilidade, fora preciso criar um outro modo para representar inteiros como soma de quadrados. Desta vez, utilizaremos a soma de trs quadrados inteiros e, assim como na seo que trata sobre soma de dois quadrados, enunciaremos algumas condies para que um inteiro positivo possa ou no ser expresso como soma de trs quadrados. Abaixo, temos alguns exemplos de nmeros que no podem ser expressos como soma de dois quadrados, mas so como soma de trs:
14 = 32 + 22 + 12 , 11 = 32 + 12 + 12 e 67 = 72 + 32 + 32

Para darmos incio ao nosso breve estudo sobre representao de inteiros positivos como soma de trs quadrados, enunciaremos o seguinte teorema:

Teorema 2.2.1. A equao diofantina m = x2 + y2 + z 2 (x, y, z Z e m Z + ), tem

soluo se, e somente se, m no da forma 4n (8k + 7), onde n 1 e k 0.
Primeiramente vamos provar o seguinte teorema:

Teorema 2.2.2. Nenhum inteiro positivo da forma 8k + 7, k Z, pode ser escrito como
soma de trs quadrados. Demonstrao. Mdulo 8, o nmero inteiro a congruente a 0, 1, 2, 3, 4, 5, 6 ou 7 (Pela
teoria das congruncias), logo, a2 0, 1 ou 4(mod 8), ento, a2 + b2 + c2 0, 1, 2, 3, 4, 5 ou 6(mod 8), para a, b, c Z. Portanto, impossvel a representao de um inteiro positivo da forma 8k + 7 como soma de trs quadrados inteiros.

Demonstrao. (Teorema (2.2.1)): Seja a um inteiro. Mdulo 4, temos que a 0 ou

1, logo, para que x2 + y 2 + z 2 seja da forma 4n (8k + 7), temos que ter x, y e z pares, ento x = 2x1 , y = 2y1 e z = 2z1 , assim:

28

2 2 x2 + y 2 + z 2 = 4n (8k + 7) = 4(x2 1 + y1 + z1 )

= 4n1 (8k + 7)

Como n 1, ento, se tivermos n 1 1, implicaria que 8k + 7 poderia ser escrito como soma de trs quadrados, o que uma contradio, como foi mostrado anteriormente. Logo, o nmero 4n (8k + 7) no pode ser escrito como soma de trs quadrados inteiros.

Alguns exemplos de nmeros que no podem ser representados como soma de trs quadrados:
7 = 8 0 + 7 e 60 = 41 (8 1 + 7) Observao: A "volta"deste teorema (mostrar que se

um inteiro m no for da forma 4n (8k + 3) ento m pode ser representado como soma de trs quadrados) no trivial e exige conceitos nada elementares, como gneros de classes, gneros binrios e at ternrios. Por esta razo, vamos suprimir esta demonstrao neste trabalho. Diferentemente do caso de multiplicao entre dois nmeros representados como soma de dois quadrados e que veremos no prximo captulo a multiplicao de dois nmeros representados como soma de quatro quadrados, o produto de dois nmeros representados como soma de trs quadrados no uma soma de trs quadrados. Vejamos o exemplo:
3 = 12 + 12 + 12 e 5 = 22 + 12 + 02

Seu produto
3 5 = 15 7(mod 8) que, como vimos, no tem representao como soma de trs

quadrados. De fato, os nmeros m 3(mod 8) e n 5(mod 8) podem ser representados como soma de trs quadrados. Pela teoria das congruncias, seu produto m n 7(mod 8), logo m n no pode ser representado como soma de quadrados.

29

Captulo 3 Soma de Quatro Quadrados

Para a demonstrao do Teorema de Lagrange, seguimos a obra de Burton (2005) e artigos da internet. No captulo anterior, vimos que nem todos os inteiros positivos podem ser escritos como soma de dois e de trs quadrados, como por exemplo o nmero
7. Por isso, houve a necessidade de ampliar os conceitos de representao de inteiros

como soma de quadrados. H muito tempo, Bachet de Mziriac mencionou que "todo

inteiro positivo representvel como soma de quatro quadrados inteiros". Diofanto nunca
mencionou publicamente este teorema, mas suas consideraes sobre representao de inteiros positivos como soma de dois e de trs quadrados puderam ser interpretadas por Bachet e Xylander como uma indicao de conhecimento da representatividade de inteiros como soma de quatro quadrados. Ainda que Bachet tenha enunciado o teorema sobre soma de quatro quadrados, o mesmo no conseguiu exibir uma demonstrao geral, apenas mostrou por induo que o teorema era vlido para inteiros de 1 at 325. Alguns matemticos tentaram demonstrar, sem sucesso, o teorema mencionado por Bachet, entre eles, Descartes e Euler. Fermat armou ter uma prova baseada no seu mtodo da descida, mas nunca a tornou pblica. Euler fez armaes relevantes sobre o teorema descrito e em uma carta de 1730 para Goldbach armou que a maior diculdade estava em mostrar que nmeros da forma n2 + 7 podem ser escritos como soma de quatro quadrados. Finalmente, o primeiro matemtico a vericar este teorema, como mencionado no Captulo 1, foi Lagrange. Assim, vamos buscar a demonstrao deste teorema devido a Lagrange sobre a repre30

sentao de inteiros positivos como soma de quatro quadrados. Primeiramente utilizaremos um lema e trs teoremas que sero a base do Teorema de Lagrange.

Lema 3.0.3 (Euler). Se os inteiros m e n so expressos como soma de quatro quadrados,

ento o seu produto m n tambm uma soma de quatro quadrados.
2 2 2 2 2 2 2 Ou seja, se m = a2 1 + a2 + a3 + a4 e n = b1 + b2 + b3 + b4 , ento

2 2 2 2 2 2 2 m n = ( a2 1 + a2 + a3 + a4 )(b1 + b2 + b3 + b4 )

= (a1 b1 + a2 b2 + a3 b3 + a4 b4 )2 + (a1 b2 a2 b1 + a3 b4 a4 b3 )2 + (a1 b3 a2 b4 a3 b1 + a4 b2 )2 + (a1 b4 + a2 b3 a3 b2 a4 b1 )2

Para vericarmos a validade deste lema, basta multiplicarmos os termos e compararmos os resultados. Utilizaremos o outro seguinte resultado:

Teorema 3.0.4 (Euler). Seja p um primo mpar. Ento a congruncia

x2 + y 2 + 1 0(mod p) tem uma soluo x0 , y0 , onde 0 x0 , y0

p1 . 2

Demonstrao. A ideia considerar os dois seguintes conjuntos

S1 = 1 + 0 ,1 + 1 ,1 + 2 , ,1 +
2 2 2

p1 2

S2 =

0 , 1 , 2 , ,

p1 2

Podemos perceber que no existem dois elementos em S1 que sejam congruentes mdulo
2 p. Ou seja, no existe 1 + x2 1 1 + x2 (mod p), com x1 = x2 , pois se existisse, teramos 2 2 2 x2 1 x2 (mod p) x1 x2 0(mod p) e (x1 + x2 )(x1 x2 ) 0(mod p), e teramos

x1 x2 (mod p) ou x1 x2 (mod p). Este ltimo caso s seria possvel se x1 = x2 , o

que uma contradio. Do mesmo modo, no existem dois elementos em S2 que sejam congruentes mdulo p. S1 e S2 contm 2 1 + em S2 . Logo, existem x0 , y0 tais que
2 1 + x2 0 y0 (mod p)

da Casa dos Pombos, algum inteiro em S1 deve ser congruente mdulo p a algum inteiro

p1 2

= p + 1 inteiros e pelo Princpio

31

com 0 x0 , y0

p1 . 2

Teorema 3.0.5. Se p um primo mpar, ento existe um nmero k, tal que 1 k < p e
kp seja soma de quatro quadrados.

Demonstrao. Segue do Teorema (3.0.4) que a congruncia 1 + x2 y 2 (mod p) tem

soluo x0 , y0 < . Portanto,
p 2

2 2 2 x2 0 + y0 + 1 + 0 = kp,

0 < kp <

p2 p 2 + + 1 < p2 4 4

(3.1)

ento, k < p.

Teorema 3.0.6. Qualquer primo p pode ser escrito como a soma de quatro quadrados.
Demonstrao. Consideraremos p = 2 pois, para p = 2, temos
2 = 1 2 + 1 2 + 02 + 02

Sem perda de generalidade, assumiremos p > 2 e, seja k o menor inteiro positivo, tal que
kp = x2 + y 2 + z 2 + w2

Pelos dois teoremas anteriores, tal k existe e, alm disso, 1 k < p. Nosso objetivo mostrar que k = 1. Para isso, faremos as seguintes armaes:

Armao 1: k mpar.
Prova : Assumimos que k seja par, ento x, y , z e w so todos pares, todos mpares ou
dois pares e dois mpares, pois par2 = par e mpar2 = mpar. Arrumando os termos, temos x + y e z + w pares. Ento,
1 (kp) = 2 xy 2
2

x+y 2

zw 2

z+w 2

(3.2)

todos os termos entre parnteses so inteiros e como x + y = 2l x y = 2l 2y = 2(l y ), que tambm par. Da mesma forma, z + w par. Isso mostra-nos a representao de levando-nos uma contradio. 32
k 2 p como soma de quatro quadrados inteiros, contrariando a minimalidade de k e

Armao 2: k = 1
Prova: Assumiremos k = 1.
A Armao 1 implica que k 3. Ento, existem a, b, c, d Z, tais que
ax by cz e d w(mod k )

(3.3)

com 0 |a|, |b|, |c|, |d| < Assim,

k . (Para encontrarmos a, por exemplo, temos que x 2 k k r(mod k ), com 0 r k 1. Considere a = r se r < e a = r k , se r > ). 2 2

a2 + b2 + c2 + d2 = nk

(3.4)

para algum n 0. Ou seja,

0 nk < 4 k 2
2

= k2 n < k

Alm disso, n = 0, caso contrrio, a = b = c = b = 0 e 3.3 implicaria que k dividiria cada

x, y, z, w e ainda, k 2 |kp k |p, o que uma contradio, pois 1 < k < p.

Concluso: 0 < n < k.

facilmente vericado que
k 2 np = (kp)(kn) = (x2 + y 2 + z 2 + w2 )(a2 + b2 + c2 + d2 ) = r2 + s2 + t2 + u2

onde
r = xa + yb + zc + wd a2 + b2 + c2 + d2 0(mod k ) s = xb ya + zd wc ab ba + cd dc 0(mod k ) t = xc yd za + wa ac bd + cd dc 0(mod k ) u = xd + yc zd wa ad + bc cd da 0(mod k )

A primeira equivalncia assegurada por 3.3 e a segunda por 3.4. Portanto,

33

r s t u 0(mod k ) e segue que np = r k

2

s k

t k

u k

onde os termos entre parnteses so inteiros. Desde que 0 < n < k , isso contradiz a nossa minimalidade escolhida para k . Portanto, k = 1. Para nalizar, temos k = 1 e segue que nosso primo p pode ser expresso como
p = x2 + y 2 + z 2 + w 2

(3.5)

como queramos.

Agora temos suporte para mostrar o teorema principal deste trabalho.

Teorema 3.0.7 (O Teorema de Lagrange). Qualquer inteiro n Z + pode ser representado

como soma de quatro quadrados, ou seja, a equao diofantina
n = a2 + b 2 + c 2 + d 2

tem soluo inteira, considerando que qualquer a, b, c, d possa ser igual a zero. Demonstrao. Consideraremos n > 1. Sabendo que n pode ser decomposto em fatores
primos, temos que n = p1 p2 pr , onde os pi s so primos. Pelo Teorema (3.0.6), qualquer primo pode ser escrito como soma de quatro quadrados e pelo Lema (3.0.3), o produto de p1 p2 pr uma soma de quatro quadrados, ento, n uma soma de quatro quadrados.

34

Consideraes Finais
Percebemos no decorrer do trabalho que Lagrange foi merecidamente considerado um dos maiores matemticos do sculo XVIII pois, alm deste problema, conseguiu conjecturar novos problemas e provar muitas outras questes que levaram dezenas e at centenas de anos para serem concludas, sem falar nas suas obras valiosssimas que enriqueceram ainda mais os campos da mecnica, fsica, astronomia e claro, da matemtica. No poderamos deixar de citar a contribuio de Euler para a ascenso de Lagrange e para a demonstrao do "Teorema dos quatro quadrados". Suas obras, seu reconhecimento e sua inuncia foram fundamentais para que Lagrange se tornasse a "mais alta pirmide da matemtica". Durante o trabalho percebemos tambm que demonstrar o Teorema de Lagrange, apesar da aparente simplicidade do problema, requer recursos e conceitos mais aprofundados em teoria dos nmeros que s surgiram anos aps o seu enunciados e da entendemos um dos motivos da demonstrao ter sido dada mais de cem anos aps sua conjectura. A utilizao de conceitos sobre representao de inteiros positivos como soma de dois e de trs quadrados inteiros foi crucial para a concluso deste trabalho, j que o nosso teorema principal utiliza alguns mtodos propostos nos teoremas da representao de inteiros positivos como soma de dois quadrados e resolvemos inclu-los para permitir que o leitor acompanhe o desenvolvimento da construo das hipteses sobre representao de inteiros positivos como soma de quadrados e tambm para auxiliar no entendimento do Teorema de Lagrange. Enfatizamos aqui, as grandes observaes de Lagrange teoria dos nmeros que, com absoluta certeza, foi um dos protagonistas no desenvolvimento da Teoria dos Nmeros.

35

Referncias
[1] BURTON, David M., Elementary Number Theory, 6a ed. [Nova Iorque] McGraw-Hill. [2005]. [2] GROSSWALD, Emil., Representations of Integers as a Sum of Squares, 1a ed. [Nova Iorque] Springer-Verlag. [1985]. [3] REGO, Venancio P., Lagrange. la Elegancia Matemtica. 1 ed. [Espanha] NIVOLA libros y ediciones. [2003]. [4] SANTOS, Jos Plnio de Oliveira, Introduo Teoria dos Nmeros. 2 ed. [Rio de Janeiro] Instituto de Matemtica Pura e Aplicada. [1998]. [5] SEVERINO, Mike e SWICEGOOD, Grant, Class Notes: Linear Algebra with an

Introduction to Quadratic Forms over Fields

Disponvel em: <http://www.math.umt.edu/mckinnie/f10/notes/09012010.pdf> Data de acesso: 23, nov. 2013. [6] TIJDEMAN, Robert, Combinatorial and Analytic Number Theory [2007] Disponvel em: <http://www.math.leidenuniv.nl/~hnkeln/seminarium/ multiplicatieve_functies.pdf> Data de acesso: 23, nov. 2013. [7] VELANI, Sanju Number Theory Disponvel em: <http://www.mathematik.uni-kl.de/~taylor/PDF/York/NumberTheory. pdf> Data de acesso: 23, nov. 2013.

36