Es una ecuación polinómica de diversas variables y coeficientes enteros cuyas soluciones han de ser números enteros. Fermat enunció un teorema relacionado con esta ecuación para números mayores que tres o iguales, la ecuación carece de soluciones enteras.