哦哦,我把 p>=0 看成 p>0 了,刚想评论一下呢.
合同的用法一般是 x^TC^TCx = (Cx)^T(Cx) >=0
然后再讨论Cx是否为0.
比如 证明 r(A^TA)=r(A) 时就用到这个方法