\(\textrm{Probar que no existe $a \in \mathbb{Z}$ tal que el resto de dividir $a^3+1$ por $a^2-1$ sea $a-8$}\).
Yo opté por primero probar algo mas fuerte: sabiendo que todo número es congruente a su resto, módulo algo, voy a probar el caso más general:
Yo se que \(a^2 - 1 = (a+1)(a-1)\), entonces \(a \equiv b \pmod{a^2 -1} \iff a \equiv b \pmod{a+1} \land a \equiv b \pmod{a-1}\).
También es fácil ver que una raíz de \(a^3 + 1\) es -1, entonces puedo dividir los polinomios para quedarme con que \(a^3 + 1 = (a+1)(a^2 - a +1)\).
Pero entonces
Reemplazando
\(8^3 + 1 = 513\), pero \(8^2 -1 = 63\), y \(513 = 63 \times 8 + 9\), y por la unicidad del resto, no puede ser 9 y 0 al mismo tiempo.
Por lo tanto, el caso general nos dijo que, si existe, tenía que estar en \(\{1, -1, 3, -3, 9, -9\}\), el caso particular nos dijo que \(a \ge 8\), y probamos a mano que 9 no vale.
Por lo tanto, no existe tal \(a\).
Firma
Por qué los poetas usan integrales?
Porque Riemann.