まず、与えられた式を展開します。
a(b−c)2=a(b2−2bc+c2)=ab2−2abc+ac2 b(c−a)2=b(c2−2ac+a2)=bc2−2abc+ba2 c(a−b)2=c(a2−2ab+b2)=ca2−2abc+cb2 したがって、
\begin{align*}
& a(b-c)^2 + b(c-a)^2 + c(a-b)^2 + 8abc \\
&= (ab^2 - 2abc + ac^2) + (bc^2 - 2abc + ba^2) + (ca^2 - 2abc + cb^2) + 8abc \\
&= ab^2 - 2abc + ac^2 + bc^2 - 2abc + a^2b + a^2c - 2abc + b^2c + 8abc \\
&= a^2b + a^2c + b^2a + b^2c + c^2a + c^2b - 6abc + 8abc \\
&= a^2b + a^2c + b^2a + b^2c + c^2a + c^2b + 2abc \\
\end{align*}
次に、上記の式を因数分解することを考えます。
a2b+a2c+b2a+b2c+c2a+c2b+2abc =a2(b+c)+a(b2+c2+2bc)+bc(b+c) =a2(b+c)+a(b+c)2+bc(b+c) =(b+c)(a2+a(b+c)+bc) =(b+c)(a2+ab+ac+bc) =(b+c)[a(a+b)+c(a+b)] =(b+c)(a+b)(a+c) =(a+b)(b+c)(c+a)