问题
问答题
证明n元非齐次线性方程组Ax=b有解的充分必要条件是ATx=0的解全是bTx=0的解.
答案
参考答案:因为方程组Ax=b有解,设α是Ax=b的一个解,即Aα=b,即
bT=(Aα)T=αTAT.
若η是ATx=0的任一个解,则ATη=0,那么
bTη=αTATη=αT0=0,
即η是bTη=0的解.
(充分性)因为ATx=0的解全是bTx=0的解,所以ATx=0 与[*]同解.
那么[*]即r(A)=r(A,b),因此方程组Ax=b有解.