Creo que te refieres a [matemáticas] p ^ 2 -1 [/ matemáticas], y la prueba no es demasiado difícil. Comenzamos factorizando la expresión en [matemáticas] (p + 1) (p-1) [/ matemáticas]. De los tres números [matemática] p-1, p, p + 1 [/ matemática], uno de ellos debe ser un múltiplo de 3, ya que cada tres números consecutivos contienen un múltiplo de 3. No puede ser [matemática] p [/ math], porque es primo, entonces es [math] p-1 [/ math] o [math] p + 1 [/ math]. De cualquier manera, [matemáticas] (p + 1) (p-1) [/ matemáticas] será un múltiplo de 3.
Observe también que [math] p-1 [/ math] y [math] p + 1 [/ math] deben ser pares, ya que [math] p [/ math] es un primo mayor que 3 y, por lo tanto, impar. Además, uno de ellos debe ser un múltiplo de 4, ya que para dos números pares consecutivos uno será un múltiplo de 4. Eso significa [matemática] p + 1 [/ matemática] y [matemática] p-1 [/ matemática] multiplicar juntos a un múltiplo de 8.
Ponga estas dos piezas juntas y tenemos que [matemáticas] p ^ 2-1 [/ matemáticas] es un múltiplo de 8 y un múltiplo de 3, también conocido como un múltiplo de 24.
Ahora, ¿puedes demostrar que para [matemáticas] p \ ge 7 [/ matemáticas] que [matemáticas] p ^ 4-1 [/ matemáticas] es un múltiplo de 240?
- ¿Cómo podemos demostrar que cada número se puede escribir como una suma de diferentes potencias (negativas o positivas) de tres?
- ¿Cuál es la prueba de la afirmación, ‘Un programa escrito en cálculo lambda mecanografiado siempre termina’?
- Geometría: ¿Cuál es la prueba de que todos los ángulos en un triángulo suman 180 grados?
- ¿La correspondencia de Curry-Howard se aplica a modelos de cómputo que no se parecen al cálculo Lambda simplemente escrito? Si es así, ¿qué tipo de lógica corresponde a las máquinas de Turing y el cálculo Lambda sin tipo?
- Con respecto a la naturaleza de la verdad, ¿se puede probar que 2 + 2 = 4?