まず、式を展開します。
ab(a+b)+bc(b+c)+ca(c+a)+3abc=a2b+ab2+b2c+bc2+c2a+ca2+3abc 次に、同類項をまとめ、整理します。今回は同類項がないため、このまま進みます。
a2b+ca2+ab2+b2c+bc2+c2a+3abc=(b+c)a2+(b2+c2+3bc)a+b2c+bc2 さらに、b2c+bc2をbc(b+c)と因数分解します。 (b+c)a2+(b2+c2+3bc)a+bc(b+c) (b+c)a2+(b2+2bc+c2+bc)a+bc(b+c) (b+c)a2+((b+c)2+bc)a+bc(b+c) (b+c)a2+(b+c)2a+bca+bc(b+c) (b+c)a2+(b+c)2a+abc+bc2 (b+c)a2+((b+c)2+bc)a+bc(b+c) 全体を(b+c)でくくり出すことを考えます。 ((b+c)a+bc)(a+(b+c)) =(a+b)(b+c)(c+a) a2b+ab2+b2c+bc2+c2a+ca2+3abc=(a+b)(b+c)(c+a) となることを確認します。 (a+b)(b+c)(c+a)=(a+b)(bc+c2+b2+bc)=(a+b)(b2+c2+2bc)=(a+b)(b+c)2 (a+b)(bc+c2+b2+ab)=abc+ac2+ab2+a2b+b2c+bc2+b3+ab2 別の方法を試します。
a2b+ab2+b2c+bc2+c2a+ca2+3abc=(a+b+c)(ab+bc+ca)−abc+3abc=(a+b+c)(ab+bc+ca)+2abc (a+b)(b+c)(c+a)=(a+b)(bc+c2+b2+ab)=abc+ac2+ab2+a2b+b2c+bc2+b3+ab2 (a+b+c)(ab+bc+ca)=a2b+abc+a2c+ab2+b2c+abc+abc+bc2+ac2=a2b+a2c+ab2+b2c+bc2+ac2+3abc