O Teorema de Fermat: um problema em aberto?

Margarida Mendes Lopes Departamento de Matem atica da FCUL

tica radical [O Teorema de Fermat: um [1]2000 matema problema em aberto?]1

N ao, n ao e um problema em aberto. Foi nalmente demonstrado na u ltima d ecada do s eculo XX, recorrendo a m etodos geom etricos. Anal o que e o ( ultimo) teorema de Fermat? O que tem a ver com Geometria? O teorema de Fermat e a arma c ao feita por Fermat : Para todo o n 3 n ao existem n umeros naturais a, b, c tais que an + bn = cn . Esta arma c ao cou conhecida como o u ltimo teorema de Fermat. Em rigor deveria ser conhecida como a conjectura de Fermat dado que n ao existiu nenhuma demonstra c ao at e aos nais do s eculo XX. Este problema capturou a imagina c ao de muitos e as tentativas inPalestra proferida no dia 6 de Abril de 2000, integrada no ciclo 2000 matem atica radical do Departamento de Matem atica da Faculdade de Ci encias da Universidade de Lisboa. Este texto e uma vers ao expandida de um texto publicado no volume 60 da revista Educa c ao e Matem atica (Novembro - Dezembro de 2000).

frut feras de demonstra c ao levaram a grandes avan cos no conhecimento da Matem atica. Aconselha-se o leitor que queira saber os detalhes (por vezes quase romanescos) da longa hist oria das tentativas de demonstra c ao deste teorema a ler o bel ssimo livro de Simon Singh [1]. Qual e anal a rela c ao com a geometria? Talvez se compreenda melhor se pensarmos na origem deste teorema. Veio de uma observa c ao feita por Fermat (1601-1665) na margem da tradu c ao feita para Latim por Bachet do Tratado de Aritm etica de Diofanto. Ao lado da passagem que apresentava as solu c oes naturais da equa c ao x2 + y 2 = z 2 (ou seja a forma geral de todos os ternos pitag oricos) Fermat escreveu que para n 3 n ao existiam tais solu c oes e acrescentou (em Latim) Tenho uma demonstra c ao admir avel mas esta margem e demasiado pequena para a conter. Fermat tinha feito, al em desta, muitas outras arma c oes e observa c oes na sua c opia do Tratado de Aritm etica. Depois da morte de Fermat o seu lho publicou uma edi c ao do tratado de Aritm etica com todas estas anota c oes e assim passou para a posteridade o ultimo teorema de Fermat. A rela c ao com os ternos pitag oricos aponta j a para uma rela c ao com a geometria. De facto uma das formas de resolver o problema da determina c ao de todos os ternos pitag oricos e exactamente atrav es da geometria. Com efeito da equa c ao x2 + y 2 = z 2 podemos passar 2 2 a equa ` c ao x +y = 1 e o problema transforma-se em determinar z2 z2 os pontos do plano (a, b) pertencentes ` a circunfer encia C de raio 1 e centro em (0, 0) tais que a e b se escrevem como quociente de dois n umeros inteiros ou seja tais que a e b s ao n umeros racionais. O ponto P := (0, 1) e um desses pontos. P pertence ` a recta denida por x = 0 e esta recta intersecta a circunfer encia noutro ponto de coordenadas racionais, o ponto (0, 1). Qualquer outra recta r a passar por P e da forma y = mx + 1, onde m e um n umero real e e f acil que o outro ponto onde a recta r intersecta a circunfer encia e racional se e s o se m for tamb em um n umero racional. Inversamente se Q := (a, b) for outro ponto qualquer de coordenadas racionais de C a recta que passa por P e Q e da forma y = mx + 1, onde o 1 declive m = b e um n u mero racional. Assim temos uma forma a geom etrica de determinar todos os pontos de coordenadas racionais de C tomando as intersec c oes de C com as rectas que passam por P

e t em declive racional. Poder-se-ia pensar que o mesmo tipo de processo aplicado agora n ao ` circunfer a encia mas ` a curva denida por x n + y n = 1 possibilitaria uma resolu c ao do teorema de Fermat mas tal n ao acontece. Ainda hoje se discute se Fermat teria de facto uma demonstra c ao. No entanto o ponto sobre o qual n ao h a discuss ao e que Fermat n ao podia ter a demonstra c ao apresentada por Andrew Wiles durante os anos 90. De facto o que Wiles demonstrou (parcialmente), utilizando muitas t ecnicas s o descobertas no s eculo XX , foi a conjectura de Taniyama-Shimura formulada nos anos 50, da qual decorre o teorema de Fermat. Andrew Wiles e um matem atico ingl es estabelecido nos Estados Unidos e especialista num ramo da matem atica chamado Geometria Aritm etica, que estuda problemas de teoria de n umeros usando t ecnicas geom etricas. Mais concretamente Wiles e um especialista em curvas el pticas. As curvas el pticas s ao curvas denidas no plano o por uma equa c ao polinomial do 3 grau a duas inc ognitas e uma curva el ptica diz-se racional se os coecientes desta equa c ao forem n umeros racionais. Uma classe importante destas curvas e formada pelas curvas que s ao denidas no plano por uma equa c ao do tipo y 2 = ax3 + bx2 + cx + d com a = 0, a, b, c, d n umeros racionais e onde o polin omio P3 (x) = ax3 + bx2 + cx + d tem tr es ra zes distintas (reais ou n ao). A conjectura de Taniyama-Shimura, formulada durante os anos 50, diz que todas as curvas el pticas racionais est ao associadas a formas modulares. As formas modulares s ao objectos anal ticos muito complicados e aparentemente nada tendo a ver com geometria. Muito imprecisamente as formas modulares s ao fun c oes complexas denidas por s eries de pot encias e que gozam de v arias simetrias especiais. Esta conjectura foi formulada originalmente por Taniyama, um matem atico japon es, baseada no facto de ter conseguido associar a algumas curvas el pticas uma forma modular. Mais tarde o seu amigo e colega Goto Shimura mostrou que a cada forma modular estava associada uma curva el ptica racional. No entanto o problema de saber se a cada curva el ptica racional estava associada uma forma modular permaneceu em aberto. 3

Nos anos 80 o matem atico alem ao G. Frey estudou as propriedades das curvas denidas por equa c oes da forma y 2 = x(x A)(x B ), com A, B n umeros inteiros, em fun c ao da diferen ca A B = C . Em particular considerou as curvas (chamadas posteriormente curvas de Frey) y 2 = x(x an )(x + bn ) obtidas a partir de uma hipot etica solu c ao inteira de an + bn = cn , para n > 2. S o existiria uma destas curvas se a conjectura de Fermat n ao fosse verdade. Frey vericou que cada uma destas curvas, se existisse, teria propriedades estranhas, muito diferentes de outras curvas el pticas. Em 1985 num congresso em Oberwolfach, na Floresta Negra, apresentou os seus resultados sobre estas curvas e conjecturou que n ao estavam associada a uma forma modular (abreviadamente n ao eram modulares). O americano Ken Ribet come cou a trabalhar nesta conjectura tendo nalmente em 1986 mostrado que de facto as curvas de Frey n ao eram modulares. O resultado de Ribet mostrava que se o teorema de Fermat fosse falso ent ao a conjectura de Taniyama-Shimura tamb em era falsa. O sonho de inf ancia de Wiles tinha sido demonstrar o teorema de Fermat. Crescendo tinha abandonado esse sonho e tinha-se dedicado as curvas el ` pticas. Quando Wiles ouviu falar do resultado de Ribet viu uma estrada para realizar o seu sonho. Abandonando todos os outros projectos durante sete anos dedica-se a tentar demonstrar a conjectura de Taniyama-Shimura e nalmente em Junho de 1993, em Cambridge, apresenta a demonstra c ao da conjectura de TaniyamaShimura para uma larga classe de curvas el pticas racionais, incluindo as curvas el pticas denidas por equa c oes do tipo y 2 = x(x r)(x s) com r, s inteiros primos entre si tais que rs(r s) e div sivel por 16. Esta classe em particular inclu ria as curvas de Frey se existissem. Como Ribet tinha mostrado que as curvas de Frey, se existissem, n ao eram modulares, conclu a-se que as curvas de Frey n ao existiam e portanto tamb em n ao existiam solu c oes inteiras das equa c oes an + n n b = c , para n > 2, tal como Fermat tinha armado. 4

Esta demonstra c ao de Wiles utilizava muitas t ecnicas matem aticas recentes de v arias areas da Matem atica e era extremamente complexa. Durante os meses seguintes a demonstra c ao foi vericada por v arios especialistas, mas foi descoberta uma falha. A demonstra c ao continuava v alida para uma grande classe de curvas el pticas que, no entanto, n ao inclu a as curvas de Frey. Portanto o resultado de Wiles, embora continuando a ser importante, n ao demonstrava o teorema de Fermat. Wiles tornou a concentrar-se no problema. Com o aux lio do seu antigo aluno Richard Taylor e utilizando um caminho anteriormente abandonado conseguiu demonstrar em Setembro de 1994 o resultado para a classe de curvas el pticas que inclu ria a curva de Frey, fechando assim nalmente a saga do Teorema de Fermat. A demonstra c ao e muito complexa tendo sido publicada em dois artigos, [2], [3], e dada a diversidade de t ecnicas sosticadas utilizadas poss velmente s o existem 20 ou 30 matem aticos no mundo capazes de a compreender completamente. Wiles fez 40 anos em 1994 e ` a data do Congresso Internacional de Matem atica em Agosto de 1994 n ao tinha ainda corrigido a falha na sua demonstra c ao, pelo que n ao chegou a receber a medalha Fields (o equivalente ao pr emio Nobel para matem atica mas que s o pode ser atribu do a matem aticos que ainda n ao tenham 40 anos). No entanto no Congresso Internacional seguinte em 1998, em Berlim foilhe atribu do um pr emio especialmente criado para ele. A demonstra c ao do teorema de Fermat encerrou um cap tulo na hist oria da Matem atica mas n ao e uma conclus ao. Talvez seja ainda mais importante por ser o come co de um novo e excitante cap tulo. Em primeiro lugar o resultado de Wiles deu um novo animo ao estudo da conjectura de Taniyama-Shimura, que foi nalmente demonstrada em 1999 para todas as curvas el pticas por C.Breuil, F. Diamond, B. Conrad e R.Taylor. Em segundo lugar v arios dos m etodos usados por Wiles t em sido aprofundados e aplicados frutuosamente ` a resolu c ao de outros problemas em aberto. Finalmente a conjectura (agora teorema) de Taniyama-Shimura e a primeira pedra s olida de uma vasta teoria, conhecida como o programa de Langlands, proposta nos anos 60 pelo matem atico canadiano Robert Langlands. Essencialmente o programa de Langlands e a procura de unica c ao de v arias teorias 5

matem aticas, n ao muito diferente das teorias unicadoras procuradas em F sica. S o nos resta esperar que este novo cap tulo n ao leve tanto tempo a ser conclu do como o anterior. Bibiliografia [1] S. Singh, A solu c ao do u ltimo teorema de Fermat, Ed. Rel ogio dAgua, 1988. [2] A. Wiles, Modular elliptic curves and Fermats Last Theorem, Ann. Math. II Ser. 141 (1995), 443-551. [3] R. Taylor, A. Wiles, Ring-theoretic properties of certain Hecke algebras, Ann. Math. II Ser. 141 (1995), 553-572. o AMS 2000: 11G05 11D41 11F11 Classificac a
Margarida Mendes Lopes Departamento de Matem atica, Faculdade de Ci encias Campo Grande, Edif cio C1, 3o piso, 1749-016 Lisboa mmlopes@lmc.fc.ul.pt