Ideia principal
Analisar separadamente os casos:
- valores pequenos
- n≥2, distinguindo a paridade
Passo 1 — Testando valores iniciais
Caso n=0
04+40=0+1=1(na˜o eˊ primo)
Caso n=1
14+41=1+4=5(primo)
Passo 2 — Caso n≥2
Vamos analisar separando em dois casos.
Caso 1: n par
Se n=2k, então:
n4=(2k)4=16k4e
4n=42k=(22)2k=24kAmbos os termos são múltiplos de 16, então:
n4+4n≡0(mod16)Logo, para n≥2 par:
- o número é par
- é maior que 2
⇒na˜o eˊ primo
Caso 2: n ímpar n>1
Para n ímpar, escrevemos:
n=2k+1
Ideia principal
Utilizar a Identidade de Sophie Germain, já demonstrada na teoria:
a4+4b4=(a2+2b2+2ab)(a2+2b2−2ab)
Reescrevendo a expressão
Observe que:
4n=4⋅4n−1Como n é ímpar, n−1 é par:
4n−1=(22n−1)4Assim:
n4+4n=n4+4⋅(22n−1)4
Aplicando a identidade
Tomando:
a=neb=22n−1temos:
n4+4n=(n2+2b2+2nb)(n2+2b2−2nb)
Substituindo (b)
Como:
b2=2n−1obtemos:
n4+4n=(n2+2⋅2n−1+2n⋅22n−1)(n2+2⋅2n−1−2n⋅22n−1)
Análise dos fatores
Para n>1:
- o primeiro fator é maior que 1
- o segundo fator também é maior que 1 (para n≥3)
Logo:
n4+4né produto de dois números maiores que 1.
Conclusão
Para n ímpar e n>1, a expressão é composta.
Insight
A identidade de Sophie Germain é extremamente útil para fatorar expressões do tipo:
a4+4b4Muito comum em problemas de:
- olimpíadas
- teoria dos números
- fatorações avançadas