Números de Fermat: uma conjectura e um contraexemplo
Os matemáticos sempre sonharam com uma fórmula que só produzisse números primos. Em 1640, Fermat achou que tinha encontrado uma.
Cinco primos seguidos Fermat estudou os números da forma
$$F_n=2^{2^n}+1.$$O expoente é uma potência de 2: $1,2,4,8,16,\ldots$ Calculando os primeiros:
$$F_0=3,\quad F_1=5,\quad F_2=17,\quad F_3=257,\quad F_4=65\,537.$$Os cinco são primos. Verificar $65\,537$ à mão, testando divisores até sua raiz quadrada, já dava trabalho. Fermat escreveu a Frénicle de Bessy que estava convencido de que todos os números dessa forma eram primos, embora admitisse não ter uma demonstração.