Todo mundo conhece o teorema de Pitágoras: $3^2+4^2=5^2$. Existem infinitos trios de inteiros assim, como $5,12,13$ e $8,15,17$. E com cubos? Existem inteiros positivos com $a^3+b^3=c^3$? E com quartas potências? A nota na margem A página do problema II.8 na edição de 1670 da Aritmética de Diofanto. Logo abaixo do problema vem a “Observatio Domini Petri de Fermat”: a nota da margem, impressa pelo filho de Fermat.Diofanto, ed. Samuel de Fermat (1670) · Wikimedia Commons · domínio público Por volta de 1637, lendo o problema de Diofanto sobre dividir um quadrado em dois quadrados, Fermat escreveu na margem do livro, em latim: