Comentrios Sobre o ltimo Teorema de Fermat

Esta a postagem de nmero do blog e sendo um entusiasta em nmeros, apresento a vocs alguns comentrios sobre o ltimo Teorema de Fermat de uma forma descontrada e sem muito formalismo. Quem sabe em um prximo post, eu comento sobre curvas elpticas, teorema de Tanyama-Shimura, etc. Mas para os leitores mais curiosos recomendo que leia o livro O ltimo Teorema de Fermat do Simon Singh. O ltimo Teorema de Fermat afirma que se , a equao um nmero natural maior que

no possui solues para triviais).

inteiros no-negativos (solues no-

Este problema surgiu para Fermat quando ele se encontra margem da pgina em que Diofanto estuda o problema de encontrar inteiros , e tais que e acha infinitas solues. L, Fermat escreveu o seguinte: "Por outro lado, impossvel separar um cubo em dois cubos, ou um biquadrado em dois biquadrados, ou em geral qualquer potncia maior que a segunda em potncias do mesmo grau; descobri uma demonstrao realmente maravilhosa deste fato que esta margem pequena demais para conter". Com a morte de Fermat, houve grande preocupao em preservar seu trabalho matemtico. Assim, a maioria das cartas foram publicadas, inclusive uma edio do livro de Diofanto com suas anotaes. A mais famosa destas anotaes que Fermat havia feito nas margens deste livro esta conjectura. De incio, esta conjectura no parece ter atrado tanta ateno. Mas vrias asseres foram demonstradas, especialmente aps Euler ter interessado pelo assunto, ficando apenas esta conjectura. Por isso, ela ficou conhecida como o "ltimo Teorema de Fermat" - no o ltimo a ser proposto, mas o nico que esperava uma demonstrao. Em , aps anos que Pierre de Fermat props este problema, o matemtico ingls Andrew Wiles finalmente provou a afirmao para todos os naturais. O prprio Andrew detectou um pequeno erro em sua soluo e aps dois anos, ele publica a sua verso final corrigida com mais de pginas com muita matemtica avanada. Muitos casos particulares do ltimo Teorema de Fermat foram resolvidos por grandes matemticos tais como Leonhard Euler, Lagrange, Gauss, Kummer, entre outros. O caso foi resolvido pelo prprio Fermat usando o seu mtodo de descida ao infinito. O que veremos neste post so algumas pequenas proposies fceis de provar e que esto ao alcance de todos. Como este problema mundialmente

famoso, as vezes aparecem alguns entusiastas com pouco preparo matemtico com uma falsa prova de poucas pginas. Muitos matemticos acreditam que Fermat estava errado ao dizer que possua uma demonstrao maravilhosa para o seu problema. Proposio 1: Se a expresso

no admitir solues no-triviais, ento a expresso admite. Demonstrao: De fato, suponhamos que de inteiros diferentes de Sendo que um absurdo. , segue que

com

tambm no

admite a terna . , o

e como soluo, ou seja, soluo de

Proposio 2: Se um natural, ento a equao solues, onde , e so racionais no-nulos.

, no possui

Demonstrao: Suponhamos que uma soluo da equao . Sendo , e racionais, ento

onde

para

e so inteiros no-nulos. Assim,

Multiplicando a expresso

por

, temos

de modo que o que um absurdo.

uma soluo no-trivial da equao

Proposio 3: Se dois dos trs nmeros pode ser dividido por um quarto nmero , ento todos os trs nmeros so divsiveis por . Demonstrao: Suponhamos que Assim, e . Sendo so anlogos. Assim, se , ento e sejam divisveis por , isto , e . , segue que . Os outros casos

, de modo que

onde a terna

possui os elementos dois a dois primos entre si, isto ,

Observao 1: Se tambm .

uma soluo no-trivial de

, ento

Observao 2: A terna soluo de , onde , e so dois a dois primos entre si chamada de soluo primitiva. Proposio 4: Em qualquer soluo primitiva e os outros dois so mpares. Demonstrao: Se , e so todos pares, ento de , um nmero par

contradizendo o fato que uma soluo primitiva. Se todo eles fossem mpares, ento mpar, mpar e tambm mpar. Desta forma, seria par e a identidade seria impossvel. A alternativa de ter dois nmeros pares e um mpar como soluo tambm impossvel. Logo, pelo menos um nmero deve ser par e os outros dois devem ser mpares. Desde que toda soluo da equao de pode ser reduzida a um soluo primitiva pela diviso do mximo divisor comum , o ltimo Teorema de Fermat pode ser provado mostrando que no h solues primitivas. Uma consequncia interessante da prova do ltimo Teorema de Fermat o Corolrio seguinte: Corolrio 1: irracional.

Demonstrao: Suponhamos que existem inteiros no-nulos e tal que

ou seja, Absurdo!

uma soluo no-trivial do ltimo Teorema de Fermat.

Referncia Bibliogrfica: - Gouva, Fernando Q. Em busca da "Demonstrao Maravilhosa". RPM, nmero 15, 1989. - Troung, Jack. Geometric and Discrete Mathematics.

Teoremas Interessantes Sobre Nmeros Primos

Iremos listar alguns teoremas interessantes a respeito dos nmeros primos. O primeiro devido ao francs Pierre de Fermat fundador da moderna Teoria dos Nmeros. Teorema 1: (Fermat - 1640) Um nmero primo a soma de dois quadrados perfeitos, se e somente se ele igual a ou da forma . Alm disso, um inteiro positivo a soma de dois quadrados perfeitos se e somente se, na sua forma fatorada em produtos de primos, os primos da forma , possui expoentes pares. Teorema 2: (Teorema sobre primos em progresses de Dirichlet - 1837) Para todo par de inteiros e primos entre si, existem infinitos nmeros primos na progresso aritmtica , , , , . (Em particular, existem infinitos nmeros primos da forma , da forma , etc.) Teorema 3: Existe uma constante tal que se nmeros primos menores que , ento , , , so todos

Em particular, se

so todos nmeros primos, ento

A segunda afirmao foi provada por Euler por volta de provada por Chebyshev em . Teorema 4: (Chebyshev - 1852) Se entre e .

e a primeira foi

, ento existe pelo menos um primo

Observao 1: Este teorema era conhecido como postulado de Bertrand, porque J. Bertrand verificou sua veracidade para todos menores que milhes em . Teorema 5: (Teorema do Nmero Primo) Seja menores ou iguais a . Ento o nmero de primos

Se o ensimo nmero primo, ento conjecturado por Gauss em , quando ele tinha

. Este resultado foi anos de idade.

Observao 2: Este teorema devido a J. Hadamard e Ch. de la Vall Poussin, enunciado independente por esses dois matemticos. Teorema 6: (Teorema sobre os primos gmeos de Brun - 1919) A srie dos recprocos dos primos gmeos esta entre uma soma finita ou forma uma srie infinita convergente, isto ,

Como referncia geral a este resultado, recomendamos o livro F undamentals of Number Theory de William J. Le Veque, publicada pela Dover. O Maior Nmero Primo Conhecido

Em , o projeto GIMPS (Great Internet Mersenne Prime Search) achou o maior nmero primo dado por

Este primo tem em torno de milhes de dgitos. Na figura abaixo est alguns de seus dgitos, sendo que milhes de dgitos foram omitidos no meio.

Este um exemplo de um primo de Mersenne, o qual da forma

O primeiro primo de Mersenne e o prximo todos os nmeros nesta forma so primos, por exemplo, primo.

. Mas nem que no

Assim, para achar os primos de Mersenne temos que aumentar e verificar se possui apenas a unidade e ele mesmo como fatores primos. A utilidade de conhecer grandes nmeros primos est nas transaes financeiras que usa o sistema RSA para criptografar os dados bancrios. Referncia Bibliogrfica: Post baseado no artigo Largest Know Prime: , publicado no site http://www.squarecirclez.com/blog/ em 22/06/2009.