De fato, 4 é solução imediata. Agora precisamos provar que não existem outras soluções do tipo 4k, então suponha n=4k, k>1.
[tex3]4(4k-1)!+4 \equiv 0[/tex3]
, e isso é suficiente pra provar que 4k divide 4k-1 fatorial, pois então ao expandir o fatorial, teremos no início um fator 2, e em algum momento iremos passar pelo fator 2k, e o produto resulta em 4k. Isso só dá problema pra k=1, pois o fator 2 é igual ao fator 2k, e acaba não ocorrendo a divisibilidade, mas em todos os outros casos, dá tudo certo.
[tex3]4(4k-1)!+4 \equiv 4 \ (mod \ 4k)[/tex3]
Estou com dificuldade com uma questão da lista de matemática discreta da faculdade. Faço ciência da computação.
Eu não consigo entender de jeito maneiro como se faz o raciocínio dessa questão....
Última msg
Ah! Entendi, muito obrigado.
Eu fiquei sem saber para onde ir quando vi essa questão, o método de resolução dela não é nem um pouco imediato para mim.
Mostrar que para n inteiro 3n^2-1 nunca é um quadrado
Última msg
vc pode olhar o módulo 3 e notar que não existe inteiro x tal que x^2\equiv-1\equiv2(\mod3)
dai se supor x^2=3n^2-1\implies x^2\equiv2(\mod3) que não tem solução inteira, absurdo.