Bom o número a ser calculado (o qual designamos por

)só pode ser constante ,pois o conjunto que goza da propriedade

é não-enumerável .Agora convenhamos,caso

não fosse constante não seria uma tarefa simples obter a,b,c particulares tais que

coincide com uma das alternativas ,o que acha ?
Só para confirmar se

é constante vamos desenvolver esta expressão .
Da hipótese

(1) ,podemos obter algumas relações :
![0= 0^2=(a+b+c)^2 = a^2+b^2+c^2 + 2(ab +ac +bc) = a^2+b^2+c^2 + 2(a[b+c] +bc) 0= 0^2=(a+b+c)^2 = a^2+b^2+c^2 + 2(ab +ac +bc) = a^2+b^2+c^2 + 2(a[b+c] +bc)](/latexrender/pictures/055937247bc3c96362c7f2acacfb93ea.png)
,logo

e assim ,

(2) .
Elevando a expressão em destaque ao quadrado podemos obter uma expressão análoga àquela antes de "logo " ,basta trocar a,b,c respectivamente por

e preservar as estruturas algébricas ,obtendo
![(a^2+b^2+c^2 )^2 =a^4+b^4+c^4 + 2(a^2[b^2+c^2] +b^2c^2) = 4(a^2-bc)^2 (a^2+b^2+c^2 )^2 =a^4+b^4+c^4 + 2(a^2[b^2+c^2] +b^2c^2) = 4(a^2-bc)^2](/latexrender/pictures/834052e412540b91949f192883079f6d.png)
e daí ,
![\boxed{a^4+b^4+c^4 = 4(a^2-bc)^2 - 2(a^2[b^2+c^2] +b^2c^2)} \boxed{a^4+b^4+c^4 = 4(a^2-bc)^2 - 2(a^2[b^2+c^2] +b^2c^2)}](/latexrender/pictures/6725950c1dda96a4079412b0385e47f8.png)
(3) .
Tudo isto até agora só para conseguir um dos fatores do numerador . Prosseguindo

(4) e
assim

(5) .
Infelizmente meu tempo esgotou , só poderei tentar terminar amanha .De qualquer forma se quiser tentar concluir .