由于{(a b c)(a^2 b^2 c^2)(a b c)}=0
与原式相加得:
{(a b c)(a^2 b^2 c^2)(a+b+c b+c+a c+a+b)}
=(a+b+c){(a b c)(a^2 b^2 c^2)(1 1 1)}
=(a+b+c){(1 1 1)(a b c)(a^2 b^2 c^2)}
而{(1 1 1)(a b c)(a^2 b^2 c^2)}为范德蒙德行列式等于(b-a)(c-b)(c-a)
故原式化简为:
(b-a)(c-b)(c-a)(a+b+c)=0
由题设a、b、c为互异实数
故其充要条件为(a+b+c)=0.