设 是线性无关方正组ax=b的一个特解,是ax=0的基础解析证明 线性无关