If $a+b+c=0$ prove that $ 3(a^2+b^2+c^2) \times (a^5+b^5+c^5) = 5(a^3+b^3+c^3) \times (a^4+b^4+c^4) $ 
If $a+b+c=0$, for $a,b,c \in\mathbb R$, prove
$$ 3(a^2+b^2+c^2) \times (a^5+b^5+c^5) = 5(a^3+b^3+c^3) \times (a^4+b^4+c^4) $$

I made this question as a more difficult (higher degree) version of this question. My idea was that algebraic brute force methods are easy to distinguish from more sophisticated ones if the degree of the terms in the question is higher.
The question was specifically made using the method from my answer to the linked question.

Let's define
$$S_n=a^n+b^n+c^n$$
and consider the generating function
$$F(t)=\sum_{n=0}^\infty S_nt^n=\frac1{1-at}+\frac1{1-bt}+\frac1{1-ct}.$$
Using $a+b+c=0$ gives
$$(1-at)(1-bt)(1-ct)=1+pt^2+qt^3$$
for some $p$ and $q$, and
$$F(t)=\frac{3+pt^2}{1+pt^2+qt^3}.$$
From this we expand as a power series
$$F(t)=(3+pt^2)(1-(pt^2+qt^3)+(pt^2+qt^3)^2-\cdots)
=3-2pt^2-3qt^3+2p^2t^4+5pqt^5+\cdots$$
and now you can read off this, and several other identities...
