正规方程为什么有解?A是一个m*n矩阵,b是一个m*1矩阵.证明正规方程((A转置)A)X=(A转置)b一定有解.