まず、与えられた式を展開します。
ab(a+b)+bc(b+c)+ca(c+a)+3abc=a2b+ab2+b2c+bc2+c2a+ca2+3abc 次に、この式を整理して因数分解します。
与えられた式は、対称式であることに注目します。そこで、a,b,c に関する基本的な対称式を使って整理することを考えます。 a2b+ab2+b2c+bc2+c2a+ca2+3abc=(a+b)(b+c)(c+a) この式が正しいことを証明するために、右辺を展開してみます。
(a+b)(b+c)(c+a)=(ab+ac+b2+bc)(c+a)=abc+a2b+ac2+a2c+b2c+ab2+bc2+abc=a2b+ab2+b2c+bc2+c2a+ca2+2abc ここで元の式に戻り、
ab(a+b)+bc(b+c)+ca(c+a)+3abc=a2b+ab2+b2c+bc2+c2a+ca2+3abc=(a2b+ab2+b2c+bc2+c2a+ca2+2abc)+abc=(a+b)(b+c)(c+a)+abc ただし、この変形は間違いです。正しい変形は以下のようになります。
ab(a+b)+bc(b+c)+ca(c+a)+3abc=a2b+ab2+b2c+bc2+c2a+ca2+3abc =a2b+ab2+abc+b2c+bc2+abc+c2a+ca2+abc =ab(a+b+c)+bc(a+b+c)+ca(a+b+c) =(a+b+c)(ab+bc+ca)