>>641
2次形式x^T A x = x^T C^T C x = (C x)^T (C x) > 0 (C x≠0)となるので、
　 「Cが正則である」
⇔「任意のxに対してC x = 0⇔x=0」
⇔「x^T A x > 0 (x≠0)」
⇔「Aが正定である」
となることが分かる。