怎样利用线性代数判断解的存在情况