Parece ser cierto para todos los $n$ de 1 a 100. Alguien me puede ayudar a encontrar una prueba o un contraejemplo?
Si es cierto, mi conjetura es que se sigue de clásicos ya conocidos los resultados, pero estoy teniendo problemas para ver.
En algunos casos, los factores primos congruentes con 1 mod 3 son relativamente grandes, por lo que no es tan simple como "son todos divisibles por 7" ni nada de eso.
Es interesante si se puede probar que un número entero de un cierto formulario debe tener un primer factor de cierta forma, sin necesariamente ser capaz de encontrar de forma explícita.
EDITADO PARA AÑADIR: parece que no podría ser más pasando aquí!
$n^2-1$ usualmente tiene un factor primo congruente con 1 mod 2 (no si n=3, aunque!)
$n^3-1$ siempre tiene un factor primo congruente con 1 mod 3
$n^4-1$ siempre tiene un factor primo congruente con 1 mod 4
$n^5-1$ parece tener siempre un factor primo congruente con 1 mod 5.
Con respecto a $n^2-1$: Si $n>3$, $n^2-1=(n-1)(n+1)$ es un producto de dos números que se diferencian por la 2, que no pueden ser potencias de 2, si son más grandes que 2 y 4. Por tanto, al menos uno de $n-1,n+1$ es divisible por un extraño prime.
Con respecto a $n^4-1$: Si $n>1$, factor de $n^4-1$$(n+1)(n-1)(n^2+1)$. Pretendemos que, de hecho, cada primer factor de $n^2+1$ es de 2 o es congruente con 1 mod 4. Si $p$ es una extraña primer que divide $n^2+1$, $-1$ es un cuadrado mod $p$, pero los impares, números primos para que $-1$ es un cuadrado mod $p$ son precisamente los números primos congruentes con 1 mod 4. Queda sólo para mostrar que la $n^2+1$ no puede ser una potencia de 2. Si $n$ es incluso eso es obvio, y si $n=2k+1$ es impar, entonces $n^2+1=(2k+1)^2+1=4k^2+4k+2$ es 2 más que un múltiplo de 4.
Con respecto a $n^5-1$, no tengo pruebas, pero se basa en experimentar con una docena de números, me conjetura de que, en realidad, cada primer factor de $n^4+n^3+n^2+n+1$ es 5 o es 1 más que un múltiplo de 5.