Vanguarda da Matemtica

Fabio Lennon Marchon dos Santos

A beleza da matemtica
O ltimo Teorema de Fermat

#3

Niteri 2009

Vanguarda da Matemtica
Fabio Lennon Marchon dos Santos

Sumrio
Imaginao inquieta e paciente obstinao O ltimo Teorema de Fermat

Vanguarda da Matemtica
Fabio Lennon Marchon dos Santos

imaginao inquieta e paciente obstinao

O ltimo Teorema de Fermat

No livro de Simon Singh intitulado O ltimo teorema de Fermat acompanhamos mais de trs sculos desde a conjectura feita por Fermat at a demonstrao feita por Andrew Wiles em 1993. Segundo Singh, Fermat havia se inspirado numa cpia de Aritmtica de Diofante e nas ternas pitagricas decorrentes do Teorema de Pitgoras ( x2 + y2 = z2). Segundo o autor Fermat ficou impressionado com a variedade e a quantidade de trios pitagricos, levando-o a considerar a mudana das potncias de 2 para 3, obtendo x3 + y3 = z3. Esta pequena mudana transforma o Teorema de Pitgoras de tal maneira que, aparentemente, no se consegue nenhum trio de nmeros que solucione a equao. Fermat continuou testando novas potncias e conjecturou que para a equao xn + yn = zn (para n =3,4,5,...) no existiriam um trio de nmeros que se encaixasse perfeitamente nela. A questo desafiadora est no que Fermat escreveu na margem de sua cpia de Aritmtica, ao lado do problema 8, e que afirmava: Cubem autem in duos cubos, aut quadratoquadratum in duos quadatoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis faz est dividere Cuja traduo : impossvel para um cubo ser escrito como a soma de dois cubos ou uma quarta potncia ser escrita como uma soma de dois nmeros elevados a quatro, ou, em geral, para qualquer nmero que seja elevado a uma potncia maior do que dois ser escrito como a soma de duas potncias semelhantes. Em seguida, aps a primeira nota na margem do livro, Fermat acrescentou mais uma afirmao, e esta, de fato, intrigou os matemticos durante sculos. Ele afirmou que:

Vanguarda da Matemtica
Fabio Lennon Marchon dos Santos

Cuius rei demonstrationem mirabilem sane deexi hanc marginis exiguitas non caperet. Cuja traduo : Eu tenho uma demonstrao realmente maravilhosa para esta proposio mas esta margem muito estreita para conte-la. Este resultado ficou conhecido como o ltimo teorema de Fermat, isto porque foi o ltimo a ficar sem uma demonstrao, aguardando mais de trs sculos por algum matemtico que fosse capaz de faz-lo. Ningum jamais encontrou a demonstrao que Fermat afirmava ter encontrado, o que frustrou geraes de matemticos. Euler foi um dos matemticos que se sentiu desafiado a demonstrar a conjectura feita por Fermat. Segundo Singh, Euler provavelmente deve ter tentado mostrar que se uma das equaes no tinha soluo, ento, por extrapolao do resultado, poderia mostrar que todas as outras no teriam solues. Euler descobriu uma pista no livro Aritmtica de Fermat, onde ele havia esboado a demonstrao para n = 4 e incorporado este resultado em um outro problema. A idia apesar de incompleta indicou um caminho para Euler. A idia de Fermat para mostrar que x4 + y4 = z4 no tem solues conhecido como mtodo da descida infinita. Singh descreve este mtodo da seguinte maneira: De modo a provar que no existem solues para a equao x4 + y4 = z4 , Fermat comeou presumindo que existisse uma soluo hipottica x = X1, y = Y1 e z = Z1. Examinando as propriedades de (X1,Y1,Z1), Fermat poderia demonstrar que, se esta soluo hipottica existisse, ento existiria uma soluo menor (X2,Y2,Z2). E, ao analisar esta segunda soluo, Fermat poderia mostrar a existncia de uma soluo ainda menor (X3,Y3,Z3), e assim por diante. Assim, diminuindo cada vez mais os nmeros (as possveis solues), em algum momento x, y e z deixariam de ser nmeros inteiros e, portanto, seria uma soluo impossvel. Euler conseguiu utilizar o mtodo da descida infinita para n =3 e mostrar que no havia solues inteiras que satisfizesse a equao, esta foi a primeira vitria sobre o ltimo teorema de Fermat em 100 anos. Veja o que Singh fala a respeito da tarefa realizada por Euler na busca da demonstrao para n =4:

Vanguarda da Matemtica
Fabio Lennon Marchon dos Santos

Mas para fazer com que a prova de Fermat para n = 4 cobrisse tambm o caso de n = 3, Euler teve que incorporar um conceito bizarro, conhecido como nmeros imaginrios, uma entidade que fora descoberta pelos matemticos europeus do sculo XVI. Aqui percebemos a confluncia dos conceitos matemticos tendo uma estranha inter-relao entre o teorema de pitgoras, a teoria dos nmeros, os nmeros complexos e a resoluo de equaes. Notemos que a motivao a resoluo de problemas, um desafio ou simplesmente a busca da verdade matemtica. Segundo o autor: No passado outros matemticos tentaram adaptar o mtodo de Fermat de descida infinita para resolver outros casos, alm de n = 4, mas cada uma dessas tentativas de estender a prova levara a brechas na lgica. Euler mostrou que, incorporando-se o nmero imaginrio i em sua prova, ele poderia tapar os buracos na demonstrao e forar o mtodo da descida infinita a funcionar para o caso n =3. Aps os avanos feitos por Euler, surgiu a seguinte idia na comunidade matemtica, a de demonstrar que o ltimo teorema de Fermat deveria ser demonstrado para os valores de n primos, pois assim, todos os outros valores seriam mltiplos dos casos primos e estariam demonstrados implicitamente. Perceba que para 4< n <20 , seria necessrio demonstrar apenas para os valores de n na seqncia (5,7,11,13,17,19), ou seja: x5 + y5 = z5; x7 + y7 = z7; x11 + y11 = z11; etc. Na lenta evoluo em busca da demonstrao do ltimo teorema de Fermat encontramos Legendre e Dirichlet que, separadamente, provaram que para n=5 a equao no possua solues. Gabriel Lam demonstrou o caso para n =7. Cauchy foi vencido pelo desfio de demonstrar este teorema e, como ele, muitos outros foram derrotados nesta batalha. Apenas em 23 de junho de 1993, utilizando tcnicas modernas da teoria dos nmeros e muita matemtica avanada, que o matemtico Andrew Wiles finalmente obteve uma demonstrao para o teorema. Um especialista em resolver problemas deve ser dotado de duas qualidades incompatveis uma imaginao inquieta e uma paciente obstinao. (Howard W. Eves)