Consideramos la sucesión de números enteros $(x_n)$ tal que
$x_0=2$, $x_1=3$ y $x_{n+2}=7x_{n+1}-x_n+280$ para todo $n\geq 0$.
Demostrar que para todo entero positivo $n$ la suma de los divisores positivos del número $x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626$ es divisible por $24$.
Sean $1=d_1<...<d_k=n$ los divisores de $n$. Notar que $d_id_{k+1-i}\equiv -1\pmod{24}$ de donde ese producto es congruente a $-1$ módulo $3$ y $8$.
Notar que si (como $d_i$ es coprimo con $3$) $d_i\equiv 1,-1\pmod{3}$, entonces necesariamente $d_{k+1-i}\equiv -1,1\pmod{3}$ respectivamente, de donde $d_i +d_{k+1-i}\equiv 0\pmod{3}$.
Análogamente (como $d_i$ es coprimo con $8$), si $d_i\equiv 1,3,5,7\pmod{8}$ se chequea a mano que $d_{k+1-i}\equiv -1,-3,-5,-7\pmod{8}$ respectivamente, de donde $d_i +d_{k+1-i}\equiv 0\pmod{8}$.
Además, notemos que siempre podemos agrupar las parejas, ya que $k$ debe ser par. En efecto, si fuera impar, entonces $n$ debería ser cuadrado perfecto, pero los restos cuadráticos módulo $3$ son $0,1$, y $n\equiv -1\pmod{3}$, absurdo.
Luego, la demo del lema queda completa.
Viendo la sucesión módulo $3$:
$$x_0\equiv 2,~x_1\equiv 0,~x_2\equiv 2,~x_3\equiv 0,~x_4\equiv 2,~x_5\equiv 0, ~\ldots~~~\pmod{3}$$
y como $x_{n+2}\equiv x_n$ para $n=0,1$, entonces la sucesión tiene ciclo de largo $2$.
En particular:
$$x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv 2\equiv -1\pmod{3}$$ ya que alguno de los números $x_i$ o $x_{i+1}$ es congruente a $0$ módulo $3$ $\forall ~i \in \mathbb{Z}^+$.
Viendo la sucesión módulo $8$:
$$x_0\equiv 2,~x_1\equiv 3,~x_2\equiv 3,~x_3\equiv 2,~x_4\equiv 3,~x_5\equiv 3, ~\ldots~~~\pmod{8}$$
y como $x_{n+3}\equiv x_n$ para $n=0,1,2$, entonces la sucesión tiene ciclo de largo $3$.
En particular:
$$x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv 3\cdot 3 + 2\cdot 3 + 2\cdot 3 + 4\equiv 15\equiv -1\pmod{8}$$ ya que siempre tomamos exactamente un producto de dos $3$'s consecutivos y dos productos de $2$ por $3$.
Pero, como $x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv -1 \pmod{3}, \pmod{8}$, y $3$ y $8$ son coprimos, entonces $$x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv -1\pmod{24}$$ de donde por el lema podemos demostrar lo pedido, completando la solución.
Sean $1=d_1<...<d_k=n$ los divisores de $n$. Notar que $d_id_{k+1-i}\equiv -1\pmod{24}$ de donde ese producto es congruente a $-1$ módulo $3$ y $8$.
Notar que si (como $d_i$ es coprimo con $3$) $d_i\equiv 1,-1\pmod{3}$, entonces necesariamente $d_{k+1-i}\equiv -1,1\pmod{3}$ respectivamente, de donde $d_i +d_{k+1-i}\equiv 0\pmod{3}$.
Análogamente (como $d_i$ es coprimo con $8$), si $d_i\equiv 1,3,5,7\pmod{8}$ se chequea a mano que $d_{k+1-i}\equiv -1,-3,-5,-7\pmod{8}$ respectivamente, de donde $d_i +d_{k+1-i}\equiv 0\pmod{8}$.
Además, notemos que siempre podemos agrupar las parejas, ya que $k$ debe ser par. En efecto, si fuera impar, entonces $n$ debería ser cuadrado perfecto, pero los restos cuadráticos módulo $3$ son $0,1$, y $n\equiv -1\pmod{3}$, absurdo.
Luego, la demo del lema queda completa.
Viendo la sucesión módulo $3$:
$$x_0\equiv 2,~x_1\equiv 0,~x_2\equiv 2,~x_3\equiv 0,~x_4\equiv 2,~x_5\equiv 0, ~\ldots~~~\pmod{3}$$
y como $x_{n+2}\equiv x_n$ para $n=0,1$, entonces la sucesión tiene ciclo de largo $2$.
En particular:
$$x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv 2\equiv -1\pmod{3}$$ ya que alguno de los números $x_i$ o $x_{i+1}$ es congruente a $0$ módulo $3$ $\forall ~i \in \mathbb{Z}^+$.
Viendo la sucesión módulo $8$:
$$x_0\equiv 2,~x_1\equiv 3,~x_2\equiv 3,~x_3\equiv 2,~x_4\equiv 3,~x_5\equiv 3, ~\ldots~~~\pmod{8}$$
y como $x_{n+3}\equiv x_n$ para $n=0,1,2$, entonces la sucesión tiene ciclo de largo $3$.
En particular:
$$x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv 3\cdot 3 + 2\cdot 3 + 2\cdot 3 + 4\equiv 15\equiv -1\pmod{8}$$ ya que siempre tomamos exactamente un producto de dos $3$'s consecutivos y dos productos de $2$ por $3$.
Pero, como $x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv -1 \pmod{3}, \pmod{8}$, y $3$ y $8$ son coprimos, entonces $$x_nx_{n+1}+x_{n+1}x_{n+2}+x_{n+2}x_{n+3}+626\equiv -1\pmod{24}$$ de donde por el lema podemos demostrar lo pedido, completando la solución.
Una demo del lema sin separar en casos (créditos a @Brunzo):
$d_i+d_{k+1-i}=d_i+\frac{-1}{d_i}=\frac{d_i^2-1}{d_i}$.
Pero $d_i$ es coprimo con $24$, y es fácil ver (chequear) que, para todo coprimo con $24$, su cuadrado es $1$ módulo $24$. Luego, al ser $d_i$ y $24$ coprimos, $\frac{d_i^2-1}{d_i}\equiv 0(24)$. Como $-1$ no es residuo cuadrático módulo $24$, cada divisor de $n$ tiene su pareja distinta a sí mismo.