证明$A^TAX = A^Tb$有公共解

这是很有趣的一道推断题，结合考察很多有趣的结论。

首先我们需要明确，$A^Tb$是一个向量，因此，待证的结论本质是：非齐次方程组有解。

因此，问题化为求证：

$r(A^TA) = r(A^TA|A^Tb)$

那么如何思考求证这个命题呢？

我们想，如果$A^Tb$可以是由$A^T$的列向量表示，那么问题是否可以简单化？

因为我们特别证过：$A^TA,A是等秩的。$因此，可以考虑对$A^T,A^TA$列分块。