x−a1+x−b1+x−c1=0
(x−a)(x−b)(x−c)(x−b)(x−c)+(x−a)(x−c)+(x−a)(x−b)=0
(x−b)(x−c)+(x−a)(x−c)+(x−a)(x−b)=0
x2−bx−cx+bc+x2−ax−cx+ac+x2−ax−bx+ab=0
3x2−2(a+b+c)x+ab+bc+ca=0
x=3(a+b+c)±(a+b+c)2−3(ab+bc+ca)
判別式D=(a+b+c)2−3(ab+bc+ca)=a2+b2+c2+2ab+2bc+2ca−3(ab+bc+ca)
=a2+b2+c2−(ab+bc+ca)
ここで高専の数学1 p.83 練習問題76.(2)の問題から
a2+b2+c2≧(ab+bc+ca) が成り立つ
またa=b=cより
判別式D>0となり2つの異なる実数解を持つ事が分かる