Ou seja, [tex]p \mid n[/tex]. Porém isso não deveria acontecer, visto que [tex]n[/tex] é primo e que [tex]p \neq n[/tex]. Portanto, se a congruência do enunciado é verdadeira, [tex]n[/tex] não pode ser primo, então se [tex]n[/tex] é primo, a congruência do enunciado não é verdadeira:
Lista de comentários
Verified answer
a)
Com [tex]k = 11q + 5[/tex] :
[tex]n = 2k + 1\\= 2(11q +5) + 1\\= 22q +10 + 1\\= 22q + 11\\= 11(2q + 1)\\11 \mid n[/tex]
A não ser que [tex]q[/tex] seja igual a 0, [tex]n[/tex] não pode ser primo.
[tex]k[/tex] não pode ser da forma [tex]11q+5[/tex] e [tex]n[/tex] ser primo, simultaneamente.
b)
Vamos supor o contrário, que existe [tex]k[/tex] tal que:
[tex]k \equiv \cfrac{p-1}{2} \pmod p[/tex]
Então:
[tex]2k \equiv p-1 \pmod p\\2k + 1\equiv p \pmod p\\2k + 1 \equiv 0 \pmod p[/tex]
Ou seja, [tex]p \mid n[/tex]. Porém isso não deveria acontecer, visto que [tex]n[/tex] é primo e que [tex]p \neq n[/tex]. Portanto, se a congruência do enunciado é verdadeira, [tex]n[/tex] não pode ser primo, então se [tex]n[/tex] é primo, a congruência do enunciado não é verdadeira:
[tex]k \not \equiv \cfrac{p-1}{2} \pmod p[/tex]