Por lo que la instrucción que tengo que probar es el siguiente $P(n)=n^3 -n$ es divisible por $3$.
Ahora tengo que probar esto con inducción hacia atrás para todos los números negativos, pero ya he hecho la misma cosa, pero con la "recta" de inducción para todos los números positivos.
Qué necesito para empezar desde el caso de $P(n+1)$ e ir de allí a $P(1)$ o $P(-1)$?
Del mismo modo:
$\begin{align} P(n+1) & = (n+1)^3 - (n+1) \\ & = n^3 + 3\cdot n^2 + 3 \cdot n + 1 - n + 1 \\ & = 3n(n+1) + n^3 - n \end{align}$
$\text{I.H.: So let's suppose the above statement holds for any}$ $n \in \mathbb { Z_0^{-}} $
Entonces ya no sé cómo continuar.
Para el 2nd parte tengo que demostrar que el caso de los números negativos directamente de la siguiente manera fuera de los casos positivos.
No sé cómo conseguir que esta parte porque no estoy seguro de que el caso anterior.
Por favor, ayúdenme.