这是显然的么.
方程组有解当且仅当r(a,b)=r(a),
从而你现在无解,从而r(a,b)>r(a),或者r（a,b）