增广矩阵B=(A'A,A'b)=A'(A,b),R(B)≤R(A')=R(A)
系数矩阵A'A的秩R(A'A)=R(A)≤R(B)
所以R(A)=R(B),方程组A'Ax=A'b一定有解。
比较清晰的理解方式是利用奇异值分解A=USV^T,中U和V是正交阵,S是非负的对角阵(并且可以要求S的对角元递减)。
性质1
等式两边同时加上(或减去)同一个整式,等式仍然成立。
若a=b
那么a+c=b+c
性质2
等式两边同时乘或除以同一个不为0的整式,等式仍然成立。
若a=b
那么有a·c=b·c
或a÷c=b÷c (c≠0)