まず、(a+b−c)(ab−bc−ca) を展開します。 a(ab−bc−ca)=a2b−abc−ca2 b(ab−bc−ca)=ab2−b2c−abc −c(ab−bc−ca)=−abc+bc2+c2a したがって、
(a+b−c)(ab−bc−ca)=a2b−abc−ca2+ab2−b2c−abc−abc+bc2+c2a 整理すると、
(a+b−c)(ab−bc−ca)=a2b+ab2+bc2+c2a−a2c−b2c−3abc a2b+ab2+bc2+c2a−a2c−b2c−3abc+abc=a2b+ab2+bc2+c2a−a2c−b2c−2abc さらに整理します。式を因数分解することを試みますが、簡単に因数分解できる形ではありません。
a2b+ab2+bc2+c2a−a2c−b2c−2abc =a2(b−c)+a(b2−2bc+c2)+bc(c−b) =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) =−(c−b)(a+b)(a−c) =(a+b)(c−a)(c−b) =−(a+b)(a−c)(b−c)