Sejam p₁, p₂ números naturais primos. Mostre que existe [tex]r \in \{1,\:2,\:\dots,\:p_1-1\}[/tex] tal que
[tex]p_2 \not\equiv r \pmod {p_1}[/tex]
Para todo p₂ < p₁.
────────────────────
Com o intervalo de r que foi dado, é evidente que não pode ser adicionado ou subtraído a r algum múltiplo de p₁. Desse modo, p₂ somente pode ser congruente a si mesmo, mod p₁. E como r contém "1", e 1 não é primo, logo:
[tex]p_2 \not\equiv 1 \pmod {p_1}[/tex]
Para qualquer p₂, demonstrando o solicitado.
2 votes Thanks 1
Lukyo
Poderia colocar que o enunciado é {1. 2,... p1 - 1} por favor?
gabrielcguimaraes
Dei uma alterada poderosa na resposta, eu não a achava muito satisfatória. Espero que esteja melhor agora.
Lista de comentários
Verified answer
Correção do enunciado:
Sejam p₁, p₂ números naturais primos. Mostre que existe [tex]r \in \{1,\:2,\:\dots,\:p_1-1\}[/tex] tal que
[tex]p_2 \not\equiv r \pmod {p_1}[/tex]
Para todo p₂ < p₁.
────────────────────
Com o intervalo de r que foi dado, é evidente que não pode ser adicionado ou subtraído a r algum múltiplo de p₁. Desse modo, p₂ somente pode ser congruente a si mesmo, mod p₁. E como r contém "1", e 1 não é primo, logo:
[tex]p_2 \not\equiv 1 \pmod {p_1}[/tex]
Para qualquer p₂, demonstrando o solicitado.