两方程组解完全相同则为同解方程组。 若 Ax=0,Bx=0 同解,则: 可互相把解带入到对方方程组里面; r(A)=r(B)=r([AB]) (三秩相同) 格拉姆矩阵 Gram matrix 当Ax=b无解时 A⊺Ax0=A⊺b x0是最佳近似解