线性方程组无解充分必要条件r(a) r(a,b)证明理解