这是很有趣的一道推断题,结合考察很多有趣的结论。
首先我们需要明确, ATb 是一个向量,因此,待证的结论本质是:非齐次方程组有解。
因此,问题化为求证:
r(ATA)=r(ATA|ATb)
那么如何思考求证这个命题呢?
我们想,如果 ATb 可以是由 AT 的列向量表示,那么问题是否可以简单化?
因为我们特别证过: ATA,A是等秩的。 因此,可以考虑对 AT,ATA 列分块。
这是很有趣的一道推断题,结合考察很多有趣的结论。
首先我们需要明确, ATb 是一个向量,因此,待证的结论本质是:非齐次方程组有解。
因此,问题化为求证:
r(ATA)=r(ATA|ATb)
那么如何思考求证这个命题呢?
我们想,如果 ATb 可以是由 AT 的列向量表示,那么问题是否可以简单化?
因为我们特别证过: ATA,A是等秩的。 因此,可以考虑对 AT,ATA 列分块。