O ÚLTIMO TEOREMA

DE FERMAT
Prof. Wilker Lima
UEPB
Setembro – 2009
 Enunciado do Teorema
 (UTF) A equação xn+yn = zn, para todo
n ϵ N com n>2, não possui soluções
inteiras não-nulas;
 Equivalentemente, se a equação
xn+yn = zn, para todo n ϵ N com n>2,
possuir soluções inteiras, então
x∙y∙z=0
xn +yn = 1 e n=5
 Início do problema
 Pitágoras (≈570 a.C. ≈490);
 Samos (Grécia);
 Nas suas viagens, aprendeu técnicas
matemáticas com egípcios e babilônios;
 Irmandade Pitagórica
•Escola criada no sul da Itália;

•Era composta de mais de 500 seguidores;

• Cada adepto devia doar tudo o que tinha

para um fundo comum, e se alguém
quisesse partir, receberia o dobro do que
tinha doado e uma lápide seria erguida em
sua memória;

• Escola igualitária e incluía várias irmãs.

•Cada membro era forçado a jurar que nunca revelaria ao mundo exterior
qualquer uma de suas descobertas;

• Comunidade religiosa, onde um dos ídolos era o Número.

 Pitágoras e os Números Perfeitos
 Um número perfeito é um número inteiro para o qual a
soma de todos os seus divisores positivos próprios
(excluindo ele mesmo) é igual ao próprio número.
 Exemplos: o número 6 tem como divisores próprios os
números 1,2 e 3 e portanto é um número perfeito
porque 1+2+3=6. O número perfeito seguinte é 28, já
que seus divisores próprios são 1,2,4,7 e 14 e
28=1+2+4+7+14.
 Algumas culturas já conheciam a perfeição de 6 e 28.
Eles já haviam observado que a Lua orbita a Terra a
cada 28 dias e acreditavam que Deus teria criado o
mundo em 6 dias.
Pentagrama
 Números Amigáveis de Pitágoras
 Dizemos que números são amigáveis quando a soma dos divisores próprios
de um número forem iguais ao outro número.
 Os pitagóricos tinham feito a descoberta extraordinária de que 220 e 284
são números amigáveis.
 Divisores de 220: 1,2,4,5,10,11,20,22,44,55 e 110
1+2+4+5+10+11+20+22+44+55+110 = 284
 Divisores de 284: 1,2,4,71 e 142
1+2+4+71+142 = 220
 Antigos teóricos notaram que, no
Gênesis, Jacó deu 220 cabras para Esaú.
Eles acreditavam que o número de
cabras, a metade de um par amigável,
era uma expressão do amor de Jacó por
Esaú.
 Pitágoras e os Números Perfeitos
Pitágoras percebeu que os números perfeitos são iguais à soma de uma
sucessão números naturais.
= 2¹ (2²-1)
6=1+2+3
= 2² (2³-1)
28= 1+2+3+4+5+6+7
= 24 (25-1)
496 = 1+2+3+4+5+6+7+8+...+30+31
= 26 (27-1)
8.128 = 1+2+3+4+5+6+7+...+126+127
...

Conjectura: não existem números ligeiramente excessivos.

Euclides
 Famoso Teorema
 Teorema de Pitágoras: em qualquer triângulo retângulo, a soma dos
quadrados dos catetos é igual ao quadrado da hipotenusa.
 Além de nos fornecer uma equação que é válida para todos
os triângulos retângulos, também define o ângulo reto. Por
sua vez, o ângulo reto define a perpendicularidade e a
perpendicularidade define as dimensões – comprimento ,
largura e altura – do espaço onde vivemos, ou seja, define a
própria estrutura do nosso mundo tridimensional.
 Uma demonstração do TP
Por semelhança de triângulos,

Pela figura,

Ou seja, . Multiplicando tudo por c, temos

 Pierre de Fermat (1601-1665)
 Matemático (amador) francês;
 Contribuiu significativamente para as leis físicas e probabilísticas;
 Na geometria analítica, Fermat mostrou a equação geral da reta,
circunferência e de algumas cônicas.
 Considerado o pai do Cálculo Diferencial e Integral;
 Seu principal hobby era a teoria dos números.
 Descobertas de Fermat
 Fermat descobriu que o número 26 é o único número que está
entre um quadrado e um cubo.
25<26<27 → 52 < 26 < 33
 Descobriu que, se p é um número primo então, para qualquer
inteiro a, temos que ap-a é divisível por p.
(Pequeno Teorema de Fermat)
Como consequência imediata do PTF, mostre que,
para qualquer n ϵ N , n5 –n é divisível por 30.
 Qualquer n é primo se e somente se, 2n - 2 é divisível por n
inteiro maior que 1.
 Se p primo e a não divisível por p então ap-1 - 1 é divisível por
p.
 Descobertas de Fermat

 Todo primo da forma 4n+1 pode ser escrito de uma única

maneira como soma de dois quadrados.
 Todo inteiro positivo é a soma de no máximo quatro
quadrados perfeitos.
 Todo número inteiro é soma de, no máximo, 3 números
triangulares, ou no máximo 4 números quadráticos, ou no
máximo 5 números pentagonais e assim por diante. Esse
problema foi demonstrado por Cauchy.
O Último teorema de Fermat (UTF)

x2 + y2 = z2 (Pitágoras)
x3 + y3 = z3
x4 + y4 = z4
x5 + y5 = z5
.
.
.

xn + yn = zn, com n>2

 As observações de Fermat

 “É impossível para um cubo ser escrito como a soma de dois

cubos ou uma quarta potência ser escrita como uma soma de
dois números elevados a quatro, ou, em geral, para qualquer
número que seja elevado a uma potência maior do que dois
ser escrito como a soma de duas potências semelhantes.”
 “Eu tenho uma demonstração realmente maravilhosa para
esta proposição, mas esta margem é muito estreita para
contê-la.”
 Mas foi comprovado que Fermat mostrou realmente que o
teorema era válido para n=4.
 Euler (1707-1783)
 Matemático e físico suíço, considerado
um dos melhores e mais produtivos
matemáticos de todos os tempos;
 Foi professor de Fisiologia na faculdade
de Medicina de São Petersburgo,
dedicou-se à astronomia, criou a teoria
dos grafos, trabalhou em Cartografia,...
 Demonstrou vários problemas de teoria
dos números criados por Fermat;
 Conseguiu demonstrar o último teorema
de Fermat para o caso n=3.
 Alguns trabalhos de Euler
 Todos os números perfeitos pares são da
forma dada por Euclides, 2n-1(2n – 1), onde
2n – 1 é primo;
 Em qualquer poliedro, o número de Faces
mais o número de Vértices é igual ao número
de Arestas mais 2, ou seja, F+V=A+2;
 O número de Euler (e) tem um valor
aproximado de 2,71828. É a base dos
logaritmos neperianos e define-se como o
limite de (1+1/n)n quando n tende para
infinito. Chama-se de e em homenagem à
Euler;
 Melhorou o pequeno teorema de Fermat
através de uma função chamada função ɸ
de Euler.
 Carl Friedrich Gauss (1777-1855)
 Matemático, astrônomo e físico alemão;
 É considerado o maior gênio da história da
Matemática. Seu QI foi estimado em torno
de 240.
 Aos 10 anos de idade demonstrou a
equação que define a soma dos termos de
uma progressão aritmética.
 Com 15 anos, mostrou que o número de primos
que são menores ou iguais ao número natural x é
aproximadamente dado pela integral ao lado
 Na sua tese de doutorado, provou o teorema
fundamental da álgebra, que afirma que
qualquer polinômio complexo de grau maior ou
igual à 1 possui pelo menos uma raiz.
 Sem contribuições para o U.T.F.
 Sophie Germain (1776-1831)
 Matemática francesa com contribuições
fundamentais à teoria dos números e à
teoria da elasticidade.
 Sua curiosidade pela Matemática surgiu ao
ler sobre a vida de Arquimedes.
 Aos 18 anos, assumiu a identidade de um
ex-aluno, Monsieur Le Blanc, para estudar
na École Polytechnique.
 Definiu o número primo p de Sophie se
2p+1 também for primo. Como exemplo, o
número primo 5 é de Sophie, pois
5∙2+1=11 também é primo.
 Desenvolveu um argumento elegante para
demonstrar o UTF para n’s iguais a esses
primos de Sophie.
 Lamé e Cauchy
 Gabriel Lamé (1795-1870), matemático francês,
tem grande contribuição nas coordenadas
curvilíneas e nas curvas elípticas;
 Modificando o método de Sophie Germain,
Lamé demonstrou o UTF para n=7;
 Augustin-Louis Cauchy (1789-1857) foi um
matemático francês;
 Demonstrou o teorema de Fermat que afirmava Lamé
que todo número inteiro positivo é a soma de
três triângulos, quatro quadrados, cinco
pentágonos, seis hexágonos, etc;
 O artigo de Cauchy sobre Integrais definidas
com limites de números complexos deu início a
sua grande carreira. Este trabalho publicado
apenas em 1927 tinha cerca de 180 páginas.
Cauchy
 Lamé e Cauchy
 Porém, tanto Cauchy quanto Lamé erraram em
afirmar que haviam demonstrado o UTF. Ambos
permitiram a entrada de números imaginários
nas suas demonstrações, e erraram em tentar
aplicar o Teorema Fundamental da Aritmética.
Esse erro foi encontrado por Kummer.

Lamé

Cauchy
 Ernst Kummer
 Ernst Eduard Kummer(1810-1893) foi um
matemático e físico alemão.
 Ao abordar o Último Teorema de Fermat,
Kummer viu-se indo pelo mesmo caminho inútil
que Cauchy e Lamé tinham ido.
 Inventou os chamados Números Ideais para
que tentar atacar o UTF;
 Em 1850, Kummer conseguiu demonstrar o
UTF para todos os primos menores do que 100,
ou seja, mostrou que o teorema é válido para
n≤100.
 Mas logo depois afirmou que o último teorema
de Fermat não poderia ser provado usando
apenas a matemática até então criada.
 Évariste Galois (1811-1832)
 Matemático francês, determinou a condição
necessária e suficiente para que um
polinômio pudesse ser resolvido por raízes;
 Criador da chamada Teoria dos Grupos;
 Escreveu sua teoria na última noite de sua
curta vida;
 Morreu num duelo com a idade de 20 anos;
 Seu trabalho foi reconhecido somente após
de 10 anos .
 Paul Wolfskehl
 Paul Friedrich Wolfskehl (1856-1906), nascido
em Darmstadt, era um empresário com
interesses em matemática;
 Matemático por formação, sempre foi obstinado
em demonstrar o UTF;
 Encontrou um erro no argumento de Kummer
para os trabalhos de Lamé e Cauchy;
 No seu testamento destinou 100.000 marcos (o
equivalente a 1.000.000 libras em dinheiro de
hoje) para a primeira pessoa a provar o Último
Teorema de Fermat.
 Fundamentos Lógicos
 Kurt Gödel (1906-1978) foi um matemático
austríaco, naturalizado americano.
 Seu trabalho mais famoso é o Teorema da
Incompletude, o qual afirma que qualquer
sistema axiomático suficiente para incluir a
aritmética dos números inteiros não pode
ser simultaneamente completo e
consistente. Isto significa que se o sistema
é auto-consistente, então existirão
proposições que não poderão ser nem
comprovadas nem negadas por este
sistema axiomático. E se o sistema for
completo, então ele não poderá validar a si
mesmo — seria inconsistente.
 Exemplo de uma incompletude
 Em uma cidade, o barbeiro só faz a
barba de quem não faz a própria barba.
Quem faz a barba do barbeiro?
... e com o uso de computadores?
 Euler afirmou que

não possui soluções inteiras não-negativas.

 Naom Elkies, Harvard, descobriu que

 Equações Elípticas
 Tratam-se de equações da forma

com

Possuem esse nome porque eram usadas para medir o perímetro de

elipses e os comprimentos das órbitas dos planetas.

Essas equações foram originalmente estudadas pelos antigos

matemáticos gregos, incluindo Diofante.
 Formas Modulares
 Formas modulares são funções no plano complexo que
são desordenadamente simétricas.
 Satisfazem a tantas simetrias internas que sua mera
existência parece um acidente.
 Taniyama - Shimura
 Os matemáticos japoneses Yutaka Taniyama e Goro
Shimura fizeram a seguinte afirmação

Conjectura de Taniyama-Shimura: toda equação elíptica é

uma forma modular.

Shimura (1930-)
Taniyama (1927-1958)
 Gerhard Frey
 Gerhard Frey (1944) é um matemático alemão
conhecido por seu trabalho em teoria dos
números.
 Em 1985, contribuiu fortemente na proposição
que afirma que o UTF está ligado diretamente
à Conjectura de Taniyama-Shimura, resultado
esse que foi provado em 1986 pelo professor
da Universidade de Berkeley, Ken Ribet.

Taniyama-Shimura → UTF

Ken Ribet
 Andrew Wiles
•Andrew Wiles (1953) é um matemático britânico,
professor na Universidade de Princeton.

•A odisséia de Wiles começou em 1986, quando

Ken Ribet, inspirado por uma idéia de Gerhard
Frey, mostrou que o UTF resultaria como uma
conseqüência da conjectura de Taniyama-Shimura,
pois cada uma das equações elípticas poderia ser
parametrizada por formas modulares. Sendo
menos singular que o UTF, a conjectura de
Shimura-Taniyama é mais ampla pois envolve
idéias bastante fundamentais da teoria dos
números. Ninguém tinha qualquer idéia de como
demonstrá-la.
 Andrew Wiles
•Trabalhando em absoluto segredo e
compartilhando seu progresso apenas com Katz,
também professor de Matemática em Princeton,
Wiles desenvolveu a prova da conjectura de
Taniyama-Shimura, e a partir dela o UTF. A prova é
árdua e introduz muitas idéias novas. Em junho de
1993, sem anunciar os tópicos com antecedência,
agendou três palestras no Instituto Newton.

•Nos meses seguintes, o manuscrito da

demonstração circulou somente entre um pequeno
número de matemáticos.

•A primeira versão da prova dependia da

construção de um sistema de Euler e este aspecto
mostrou ser bastante complicado resultando numa
versão final da demonstração diferente da original.
Esta dificuldade foi superada com a colaboração de
Richard Taylor, seu ex-aluno.