线性代数中俩非齐次方程同解条件