因为C可逆,所以对于任意的非零向量x,存在非零向量y,是的x=Cy从而有,x^TAx=(Cy)^TA(Cy)=y^TC^TACy=y^TEy=y^Ty>0,即证