ATRACTOR

Pierre de Fermat (1601-1665), jurista de profissão, foi um matemático que ficou conhecido em particular pelo seu trabalho na teoria dos números. O famoso "Último Teorema de Fermat" afirma que não há solução para a equação \(x^{n}+y^{n}=z^{n}\), se \(n\) for um inteiro maior do que \(2\) e \((x, y,z)\) naturais (inteiros \(> 0\)).

No seu exemplar da "Aritmética" de Diofanto, Fermat escreve numa margem aquele enunciado e diz que tem uma demonstração, mas que ela não cabe na margem. Esta conjectura ficou por demonstrar e constituiu um verdadeiro desafio para os matemáticos ao longo dos tempos, apesar de parecer simples e o enunciado ser fácil de entender. Ao longo destes séculos, houve inúmeras pessoas que anunciaram terem demonstrado a conjectura, mas foram sendo encontrados erros, na maior parte dos casos bastante grosseiros.

Até que, em Junho de 1993, Andrew Wiles, matemático inglês a trabalhar na Universidade de Princeton (Estados Unidos), apresenta, no famoso seminário anual de matemática em Cambridge, o que considera ser a demonstração do último teorema de Fermat, resultado de um trabalho de 7 anos. Mas é descoberta uma falha nessa demonstração, que ocupava aproximadamente 200 páginas. Com a colaboração de Richard Lawrence Taylor, da Universidade de Cambridge (no Reino Unido), Wiles consegue corrigir o erro e em Outubro de 1994 apresenta essa correcção. Fica assim concluída a demonstração do chamado último teorema de Fermat, cerca de 350 anos após ter sido enunciado. É curioso que este resultado, mesmo antes de provado, tenha sido sempre conhecido pela designação de último teorema de Fermat em vez de última conjectura de Fermat, como teria sido mais natural.

O applet permite-nos uma leitura geométrica desse enunciado. No applet mostra-se uma superfície que é a representação gráfica dos pontos da forma \((x,y,z)\) em que \(x^{n}+y^{n}=z^{n}\), com \(n\) natural *, e um plano horizontal (formado pelos pontos \((x,y,0)\), no qual estão ainda desenhadas a branco as linhas que correspondem a \(x\) inteiro e as que correspondem a \(y\) inteiro. Os vértices dos quadrados brancos são, pois, precisamente os pontos do plano com ambas as coordenadas inteiras. Na superfície, está desenhada a amarelo uma das curvas de nível**, de altura inteira \(z\) é aqui considerada a altura). A curva de nível é modificável no applet - ver Ajuda-Fermat. Vê-se também no applet a projecção da curva de nível no plano horizontal. Estão ainda marcados os pontos da superfície que têm todas as coordenadas inteiras, e linhas verticais unindo-os às respectivas projecções no plano horizontal. Inicialmente, \(n\) é igual a \(2\) e o applet tem o seguinte aspecto:

Os pontos marcados na superfície representam as soluções inteiras (ou só as inteiras positivas, no caso de estar seleccionada a opção ) da equação \(x^{n}+y^{n}=z^{n}\), com \(n\) natural. Repare-se que os referidos pontos são precisamente aqueles que estão numa curva de nível de altura inteira e se projectam num vértice de um quadrado branco do plano. Dito por outras palavras, cada solução inteira da equação anterior corresponde a um vértice de um quadrado branco por onde passar uma das curvas amarelas (projecção de uma curva de nível de altura inteira).

Nota: Nas figuras assinaladas com , se passar o rato por cima verá um gif animado.

Para \(n = 4\) e \(Limite=3.0\)

Tanto os pontos como as linhas podem ser de cor cinzenta ou preta. Os pontos cinzentos são as soluções em que pelo menos uma das coordenadas é zero. Para qualquer \(n\) natural, a equação \(x^{n}+y^{n}=z^{n}\) tem uma infinidade de soluções desse tipo, por exemplo \((a,0,a)\), com \(a\) natural. Daí que, para qualquer \(n\) natural, encontram-se sempre pontos e as respectivas linhas a cor cinza. No entanto, tal facto não contradiz o enunciado do teorema de Fermat, pois estes pontos, embora sejam soluções inteiras da equação \(x^{n}+y^{n}=z^{n}\), não têm as coordenadas todas positivas. Experimente seleccionar a opção do menu ,a superfície ficará representada para valores positivos, e repare que assim nunca haverá pontos e linhas a cor cinza.

Para \(n = 3\) e \(Limite = 4\).

Os pontos de cor preta representam as soluções inteiras em que todas as coordenadas são diferentes de zero, isto é, o ponto preto está numa curva de nível de altura inteira e projecta-se no vértice de um quadrado branco, que não esteja no plano \(x=0\) nem no plano \(y=0\). De acordo com o teorema de Fermat, só existem pontos pretos quando \(n =2\).

Curva de nível de altura \(5\), para \(n = 2\).