OIM

OIM 2003 6

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