Hola estoy practicando alguna teoría de números y me he encontrado con el siguiente problema,
Supongamos que$n \geq 1$ es un entero impar que divide$a^2 - 1$ para un número entero$a > 1$. Pruebalo,
ps
Ahora sé que el$$n = \gcd(a-1, n)\gcd(a+1, n)$ si$\gcd(a-1, a+1) = 1$ es par y$a$ si$2$ es extraño y creo que esto es relevante pero no puedo resolver el problema. Realmente no tengo ni idea de por dónde empezar, ni siquiera la ayuda con eso sería genial.
Gracias