No século XVII, Pierre de Fermat escreveu, na margem de um livro, que não existiam números inteiros que verificassem a equação x^n+y^n=z^n para n>2, e que tinha uma bela prova, mas que ela não cabia naquela margem. A equação parece simples (daí também o seu fascínio), mas deu dores de cabeça a muitos matemáticos durante séculos.
Já no século XX, um jovem de 10 anos de nome Andrew Willes viu o teorema (que ficou entretanto conhecido como Último Teorema de Fermat), e partilhou o fascínio que muitos matemáticos sentiam por ele. A partir desse momento, o sonho dele foi provar o Último Teorema de Fermat.
O fascinante documentário da BBC que deixo aqui em baixo conta a sua história.
Dado que a prova de Andrew Willes seria impossível no século XVII, fica, para sempre, a pergunta: teria Fermat uma prova que nunca ocorreu a ninguém, ter-se-ia enganado a si mesmo na "prova" que construiu (ou seja, a prova que tinha estava errada), ou a anotação na margem seria apenas enganar?
