与えられた等式の左辺を変形して、0になることを示します。
まず、左辺を展開します。
ab(a+b)+bc(b+c)+ca(c+a)+3abc=a2b+ab2+b2c+bc2+c2a+ca2+3abc 次に、この式を因数分解します。
a2b+ab2+b2c+bc2+c2a+ca2+3abc=(a+b)(b+c)(c+a) ここで、a+b+c=0 より、a+b=−c, b+c=−a, c+a=−b となります。 これらを上記の式に代入すると、
(a+b)(b+c)(c+a)=(−c)(−a)(−b)=−abc したがって、与えられた式は以下のようになります。
ab(a+b)+bc(b+c)+ca(c+a)+3abc=−abc+3abc=2abc ここで、最初の展開に誤りがありました。正しくは以下の通りです。
a2b+ab2+b2c+bc2+c2a+ca2+3abc=(a+b)(b+c)(c+a) a+b+c=0 より、a+b=−c, b+c=−a, c+a=−b が成り立ちます。 (a+b)(b+c)(c+a)=(−c)(−a)(−b)=−abc したがって、
ab(a+b)+bc(b+c)+ca(c+a)+3abc=0 ab(a+b)+bc(b+c)+ca(c+a)=−abc−3abc ab(a+b)+bc(b+c)+ca(c+a)=a2b+ab2+b2c+bc2+c2a+ca2=−abc−3abc ab(a+b)+bc(b+c)+ca(c+a)+3abc=(a+b+c)(ab+bc+ca)−abc+3abc=(0)(ab+bc+ca)=−abc−3abc a2b+ab2+abc+abc+b2c+abc=0 a2b+ab2+b2c+bc2+c2a+ca2+3abc=0 a+b+c=0なので、c=−(a+b) ab(a+b)+bc(b+c)+ca(c+a)+3abc=ab(a+b)+b(−(a+b))(b−a−b)+a(−(a+b))(−a−b+a)+3ab(−(a+b)) =ab(a+b)+b(−a−b)(−a)+a(−a−b)(−b)−3ab(a+b) =a2b+ab2+a2b+ab2+a2b+ab2−3a2b−3ab2=0