Como Vadim mostró, con m=an rendimientos
n+a2|a3n+1
Esto implica que
a^5 - 1 \equiv a^5 + a^3 n - a^3n - 1 \equiv 0 \pmod{a^2 + n}
Esto sugiere inmediatamente el uso de n = a^5 - a^2 - 1, como en Vadim de la solución. La ventaja es que no necesitas hacer cualquier tipo de conjeturas, o expandir el producto.
De hecho, desde el a^5 - 1 = (a-1)(a^4+a^3+a^2+a+1), también podría utilizar
n = a^4 + a^3 + a + 1
Esto también muestra cómo caracterizar todas las soluciones. Empezar con cualquier número entero positivo a, calcular los factores de a^5-1 que son mayores de a^2, lo que determina el valor de n.
Nota: Porque queremos que n a ser positivo, ninguno de los otros factores (con coeficientes enteros) trabajará para generar una familia de soluciones.