(1)有唯一解,下面先证必要性,设系数矩阵为A,增广矩阵为B,则
方程组(1)有唯一解,则r(A)=r(B)=2,因而|B|=0,即
=3(a+b+c)[(a一b)2+(b一c)2+(c一a)2]=0由已知3条直线不相同,从而(a一b)2+(b一c)2+(c一a)2≠0,因此a+b+c=0至此,必要性得证;再证充分性,由于a+b+c=0,则|B|=0,因此r(B)≤2,又因为
是Ax=0的非零解,其中
因此|A|=0,即|A|=一3(a+b+c)[(a一b)2+(b一c)2+(c一a)2],由于(a一b)2+(b一c)2+(c一a)2≠0,知a+b+c=0(2)充分性:由方程组
的三个方程相加,并结合a+b+c=0,知上述方程等价于以下方程组
由于