Matemática, perguntado por Lukyo, 3 meses atrás

Mostre que para todo p primo, p ≥ 5

     p² ≡ 1 (mod 24).

Gentileza explicar claramente o passo a passo para a resolução desta tarefa. Obrigado.​

Soluções para a tarefa

Respondido por lucascaua005
11

Oláa (✿◠‿◠)

-------------------------------------------------------------------------------------------------------------

Bem, a prova mais fácil que posso usar, sem envolver diretamente teoria dos números, é pensar que como está envolvendo congruência (módulo no caso), então nada mais é do que uma divisão, ou seja, quando temos

p^2 \equiv 1 (\mod 24) nada mais é que 24 | p^2-1 (24 dividindo p²-1).

Então, o que acontece, dos três números consecutivos p−1, p, p+1, um deles deve ser divisível por 3; Além disso, como os vizinhos de p são números pares consecutivos, um deles deve ser divisível por 2 e o outro por 4, então seu produto é divisível por 3⋅2⋅4=24 - e, claro, podemos descartar p desde é primo, e esses fatores não podem vir dele.

Espero ter ajudado, e é issoo


Lukyo: No caso, você fatorou p² − 1 como sendo = (p − 1) · (p + 1), é isso?
lucascaua005: Indiretamente sim né, porque se eu escrever da forma que escreveste (fatorado), vou ter que p deve ser 1 ou 2 (mod 3), então temos um fator de 3 no produto.
lucascaua005: Eu não fatorei, eu usei a ideia de consecutivos e desenvolvi em cima disso. Mas por fatoração vc consegue também, é até o caminho mais comum também, por fatorar.
Lukyo: Desculpe, denunciei sem querer
Lukyo: Entendi, pelo fato de p ser primo, o fator 3 não pode vir dele, e sim de ou do p − 1 ou do p + 1. Obrigado!
lucascaua005: ;-; não faz mal kk ter denunciado, eu entendo
lucascaua005: de nada!!
Respondido por EinsteindoYahoo
7

Pequeno teorema de Fermat  ..p é primo e  a é um número inteiro

a^p ≡a (mod p)

a^p- a ≡ (mod p) ...significa que a^p - a é divisível por p

a² ≡ a (mod 2) ==>para a não divisível por p  ==> a-1  é divisível por 2

a³ ≡ a (mod 3) ==> para a não divisível por p  ==> a²-1  é divisível por 3

Não queremos para 'a' números  múltiplos de 2 e 3, queremos para 'a'

primos maiores do que > 3  , ou seja, a>=5 , ficamos com p²>24 , evitando  assim encontrar múltiplos de 2 ou 3

## observe a²-1=(a-1)*(a²-1) ==>é divisível por 2 e 3 ==> 6

podemos afirmar que a²≡ 1(mod 24) para a ≥ 5 é verdadeiro

a²≡ 1(mod 24) para a ≥ 7   ==> p² ≡ 1 (mod 24) para p ≥ 5


rodriguessantosmarci: Obrigada . Me ajudou muitona atividade
Perguntas interessantes