a3+b3+c3−3abcの因数分解を2つの段階に分けて導出します。
まずは(a+b+c)3を展開します。
(a+b+c)3=(a+b+c)(a+b+c)2=(a+b+c)(a2+b2+c2+2ab+2bc+2ca)=a3+b3+c3+3a2b+3ab2+3b2c+3bc2+3c2a+3ca2+6abc=a3+b3+c3+(3a2b+3ab2+3abc)+(3b2c+3bc2+3abc)+(3c2a+3ca2+3abc)−3abc=a3+b3+c3+3ab(a+b+c)+3bc(a+b+c)+3ca(a+b+c)−3abc=a3+b3+c3−3abc+(a+b+c)(3ab+3bc+3ca)
次に上の結果をもとにa3+b3+c3−3abcの因数分解を導出します。
a3+b3+c3−3abc=(a+b+c)3−(a+b+c)(3ab+3bc+3ca)=(a+b+c){(a+b+c)2−(3ab+3bc+3ca)}=(a+b+c){(a2+b2+c2+2ab+2bc+2ca)−(3ab+3bc+3ca)}∴a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)