OIM

Se definen las sucesiones

(a_{n})_{n \geq 0}

(b_{n})_{n \geq 0}

por:

a_{0} = 1, b_{0} = 4, a_{n + 1} = a_{n}^{2001} + b_{n}, b_{n + 1} = b_{n}^{2001} + a_{n}

Demuestre que

2003

no divide a ninguno de los términos de estas sucesiones.

• Solución
• Regreso a OIM 2003