证明:对任一非零n维列向量x考虑Cx是否为零向量.若C可逆,则 Cx≠0,否则等式两边左乘C^-1即得x=0.由A正定得 (Cx)'A(Cx)>0即 x'C'ACx > 0故 C'AC 是正定矩阵,(1)得证.若C为实n×n矩阵,则由A正定知 (Cx)'A(Cx)>=0即 x'C'ACx >= 0故 C'AC 是半正定矩阵.
用Gauss消去法做如果想不明白的话就设C是上三角矩阵,然后硬算
不懂