证:充分性.对任意X != 0 (不等于),有 X'AX = X'(C'C)X = (CX)'(CX) >= 0.(非负性)所以二次型是半正定的.必要性.由二次型是半正定的,其标准形为 x1^2+x2^2+...+xr^2.即对应有正交矩阵P满足 P^(-1)AP = diag(1,1,...,1...