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

(Aritmética: Números primos – primos de Mersenne)

Seja p um número natural, p > 1. Mostre que

    se 2^p-1 é primo, então p é primo.​


gabrielcguimaraes: Sim
Lukyo: Mas é sempre verdade que se a^2 = b^2, então a = b?
gabrielcguimaraes: Não
Lukyo: Não, pois podem ser um o oposto do outro (sinal trocado)
Lukyo: o que vem antes do "então" é verdadeiro, mas a conclusão não é necessariamente verdadeira
Lukyo: Mas você concorda comigo que mesmo que o número não seja raiz, eu posso calcular o P desse número?
Lukyo: P(x) = (x - a)*Q(x) + R(a), seja "a" raiz ou não
Lukyo: Eu fiz questão de escrever R(a) porque o resto da divisão por (x - a) é um para cada valor de a.
Lukyo: Acabei de postar. Gostaria que praticasse demonstrar proposições do tipo "se.. então"
gabrielcguimaraes: Ótimo. Hora de treinar

Soluções para a tarefa

Respondido por gabrielcguimaraes
1

Temos que demonstrar que se 2^p - 1 é primo, p não pode ser composto.

Nesse caso, tratando p como composto, temos que p pode ser escrito como:

p = nm, com n > 1 e m > 1

Portanto:

2^p - 1\\= 2^{mn} - 1\\= (2^m)^n - 1\\= y^n - 1

"Se um polinômio P(y) tem como uma de suas raízes y = a, então P(y) é divisível por (y - a)"

Sendo "a" uma das soluções:
a^n - 1 = 0\\a^n = 1\\a = 1

Então:
y^n - 1 = (y - 1) \cdot q_y

Ou seja, para que, com p composto, 2^p - 1 seja primo, (y - 1) \cdot q_y deve ser primo. Será demonstrado a seguir que (y-1) não pode ser 1 e tampouco y^n-1 :

(y-1) = 1 somente com y = 2. Mas como y = 2^m, e m > 1, logo 2^m > 2, ou também, y > 2.

E quanto à outra afirmação:
1 < n\\m < mn\\2^m < (2^m)^n\\2^m - 1 < (2^m)^n - 1\\(y -1 ) < (y^n - 1)

Logo, se 2^p - 1 é primo, p é primo.


Lukyo: No caso desse Teorema é um se é somente se, ou seja, vale o condicional no sentido contrário: Se o polinômio é divisível por (x - a), então a é raiz.
Lukyo: "se e somente se"
gabrielcguimaraes: Ok, inicialmente eu estava pensando neste sentido:
"Se um polinômio tem uma raíz a, então..."
No fim das contas não está gramaticalmente tão distante, apesar do tão distinto significado.
Lukyo: Pesquise Teorema do Resto e Teorema de D'Alembert para polinômios
gabrielcguimaraes: O D'Alembert não é este em questão?
Lukyo: Ali na sua resposta, quando você escreve (y - 1) * k, aquele k na verdade é em função de y (pois é um polinômio)
gabrielcguimaraes: Ok, tenho que me retirar com certa urgência, porém quando retornar eu arrumo.
Lukyo: Sim, mas para vc ver as abordagens de como ele é enunciado e demonstrado de outras formas
gabrielcguimaraes: Já dei uma olhada em um vídeo para cada um desses teoremas. Os vídeos disseram o mesmo que já aprendi aqui.
gabrielcguimaraes: Teria alguma atividade simples na manga para finalizar o dia?
Perguntas interessantes