res.md

设齐次线性方程组$Ax=0$，若$R(A)=r<n$，则基础解系恰含$n-r$个解向量，并且任意$n-r$个线性无关的解向量均可构成一个基础解系

证明

显然，懒得证.jpg