帮忙看下这个证明n元二次型xTAx正定的充要条件是存在可逆矩阵C,使A=CTC.的证明方法是否正确