Problema
(Indicado a partir do 8º ano do E. F.)
Sabendo que os números inteiros a,b,c satisfazem à relação a+b+c=0, mostre que o número 2(a4+b4+c4) é um quadrado perfeito.
Solução
Vamos elevar ao quadrado a expressão a+b+c=0. Assim, teremos a seguinte sequência de igualdades equivalentes:
(a+b+c)2=(0)2a2+b2+c2+2(ab+ac+bc)=0a2+b2+c2=−2(ab+ac+bc)(a2+b2+c2)2=(−2(ab+ac+bc))2a4+b4+c4+2(a2b2+a2c2+b2c2)=4(a2b2+a2c2+b2c2+2a2bc+2ab2c+2abc2)a4+b4+c4=2a2b2+2a2c2+2b2c2+8abc(a+b+c)a4+b4+c4=2a2b2+2a2c2+2b2c22(a4+b4+c4)=a4+b4+c4+2a2b2+2a2c2+2b2c22(a4+b4+c4)=(a2+b2+c2)2.
Como k=a2+b2+c2 é um número natural, segue que
2(a4+b4+c4)=k2, com k∈N,
e, portanto, o número 2(a4+b4+c4) é, de fato, um quadrado perfeito.
Solução elaborada pelos Moderadores do Blog.
Participaram da discussão do problema os seguintes Clubes: Einstens do Leonor II; Math Error; Os Pitagóricos.