r为何值,{?x1 x2-x3=0}齐次线性性方程组只有零解