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

(Aritmética: Números primos – divisibilidade)

Sejam n,\,p números naturais. Mostre que

     se (n+1)^p-n^p é primo, então p é primo.​

─────

Dica: Use a técnica de redução ao absurdo, ou demonstre a implicação contrapositiva.​

Soluções para a tarefa

Respondido por gabrielcguimaraes
2

Demonstraremos a seguir que se p não é primo, então (n+1)^p - n^p tampouco é primo.
Se p é composto, então ele pode ser escrito como:
p = mk

Com m e k ambos naturais diferentes de 1. Disso se pode concluir também que:
m \geq 2\\k \geq 2\\

Então:
(n+1)^p - n^p\\= (n+1)^{mk} - n^{mk}\\= x^k - y^k

De acordo com o Teorema de D'Alembert, um polinômio P(x) é divisível por x-a sempre quando a é uma das raízes do polinômio. Evidentemente, se y=x então y é uma das raízes:
q(x-y) = x^k - y^k

Como demonstrado na tarefa neste link*, x-y = x^k - y^k somente quando k\leq 1, que, em nossa atividade, como k \geq 2, nos diz que q \neq 1. Temos também que x-y \neq 1, pois (n+1)^m - n^m, com m\geq 2 não pode resultar em 1, o que significa que q(x-y) é composto. Logo, com p composto, nunca se pode chegar a (n+1)^p - n^p primo, então se esta expressão é um primo, p também é primo.

* https://brainly.com.br/tarefa/53304919


Lukyo: Logo q > 1. Então, como x - y > 1 e q > 1, temos q(x - y) composto.
gabrielcguimaraes: Hmmmm
gabrielcguimaraes: Agora que você falou de binômios, eu não havia conseguido fazer aquela atividade lá, mas quanto li a resposta do Nit vi que utilizava a propriedade:
(n+1 p) = (n p) + (n p-1)
Como se demonstra um cara desses?
Lukyo: Verificação direta pela definição. Escreva em notação usando fatoriais (combinações simples), e vc vai ver que do lado direito chega-se por igualdade ao lado esquerdo. É como igualdade é uma equivalência, vale a volta também (igualdade é uma relação de equivalência, logo é simétrica)
Lukyo: Essa é conhecida como a relação de Stifel para coeficientes binomiais
gabrielcguimaraes: Consegui fazer a demonstração. É realmente mágico.
Lukyo: Para falar a verdade utilizá-la diminui o comprimento da sua resposta, mas ela não é essencial para demonstrar aquela proposição por indução Finita. Se você recorrer aos fatoriais como eu falei, obtém o mesmo resultado
gabrielcguimaraes: Eu havia tratado os fatoriais como produtos de outros dois fatoriais, não como somas... por isso não estava chegando a lugar algum na atividade.
Lukyo: Tudo bem, toda tentativa é válida, inclusive nelas observamos até o que não estamos buscando encontrar
Lukyo: Várias soluções de problemas matemáticos surgiram na tentativa de resolver outro problema que aparentemente nada tinha a ver com o primeiro, mas no fundo estão fortemente relacionados
Perguntas interessantes