For $a, b, c$ with $a+b+c=0$ prove $\frac15\sum a^5=\frac13\sum a^3\cdot\frac12\sum a^2$ and $\frac17\sum a^7=\frac15\sum a^5\cdot\frac12\sum a^2$ Consider the following problem:

Problem. Suppose that real numbers $a$, $b$ and $c$ satisfy the condition $a+b+c=0$. Prove the following identities:
$$
\frac{a^5+b^5+c^5}{5}=\frac{a^3+b^3+c^3}{3}\cdot\frac{a^2+b^2+c^2}{2},
\\
\frac{a^7+b^7+c^7}{7}=\frac{a^5+b^5+c^5}{5}\cdot\frac{a^2+b^2+c^2}{2}.
$$

Perhaps, the shortest solution I can think of is as follows: plug $c=-a-b$ into the equation but instead of expanding everything use the following identities
$$
(a+b)^3-a^3-b^3=3ab(a+b),
\\
(a+b)^5-a^5-b^5=5ab(a+b)(a^2+ab+b^2),
\\
(a+b)^7-a^7-b^7=7ab(a+b)(a^2+ab+b^2)^2.
$$
However, these identies are coming out of nowhere and moreover, in order to prove them one still needs to do some computations.

Question. Is it possible to solve this problem in a "smart" way (i.e. avoiding computations and preferrably elementary since it is almost a high school problem)? Any other solutions are also welcome.

Comment. It should be also noted that it is unclear (at least for me) how those identies were invented. It seems there is no nice similar identities for $\frac{a^p+b^p+c^p}{p}$ for $p$ other than 2, 3, 5, 7.

This is a problem about elementary symmetric functions. Let
$$s_1=a=b+c$$
$$s_2=ab+bc+ac$$
$$s_3=abc$$
Now assuming that $s_1=a+b+c=0$ we show that
\begin{equation*}
\begin{aligned}
-\frac{a^2+b^2+c^2}{2}&=s_2=ab+bc+ca\\
\frac{a^3+b^3+c^3}{3}&=s_3=abc\\
-\frac{a^4+b^4+c^4}{4}&=-\frac{1}{2}s_2^2=-\frac{(a^2+b^2+c^2)^2}{2}\\
\frac{a^5+b^5+c^5}{5}&=-s_2s_3\\
-\frac{a^6+b^6+c^6}{6}&=-\frac{1}{2}s_3^2+\frac{1}{3}s_2^3\\
-\frac{a^7+b^7+c^7}{7}&=s_2^2s_3\\
\end{aligned}
\end{equation*}
And the results follow.
The calculational scheme for deriving the above equalities is
to note that
$$\ln (1+ax)=ax-\frac{a^2}{2}x^2+\frac{a^3}{3}x^3+\cdots $$
and adding,
$$\ln (1+ax)(1+bx)(1+cx)=
(a+b+c)x-\frac{a^2+b^2+c^2}{2}x^2+
\frac{a^3+b^3+c^3}{3}x^3+\cdots $$
on the other hand,
$$(1+ax)(1+bx)(1+cx)= 1+s_1x+s_2x^2+s_3x^3$$
so we have under the assumption that $s_1=0$,
$$\ln (1+s_2x^2+s_3x^3)=(s_2x^2+s_3x^3)-\frac{1}{2}
(s_2x^2+s_3x^3)^2+\frac{1}{3}(s_2x^2+s_3x^3)^3\cdots $$
from which the above equalities follow easily by equating the coefficients of the two power series.
In particular this shows that every $\frac{a^n+b^n+c^n}{n}$ is a polynomial in $n=2,3$ assuming $s_1=0$.
