注意条件意味着A是可逆的.再利用等式
(E 0 *(A a =(A a
-a^TA^(-1) 1) a^T b) 0 b-a^TA^(-1)a)
其中E是单位阵.注意到第一个矩阵是可逆的,因此
第二个矩阵可逆等价于等式右边矩阵可逆,等价于b-a^TA^(-1)a不等于0.