OIM

OIM 1992 4

Sean $(a_n)$ y $(b_n)$ dos sucesiones de números enteros tales que:
  1. $a_0=0$ y $b_0=8$.
  2. Para toda $n \geq 0$, $a_{n+2}=2a_{n+1}-a_{n}+2$, $b_{n+2}=2b_{n+1}-b_{n}$.
  3. $a_{n}^{2}+b_{n}^{2}$ es un cuadrado perfecto para toda $n\ge 0$.
Encuentra al menos dos valores de la pareja $(a_{1992},b_{1992})$.

Solución
Regreso a OIM 1992