正定値の条件

正定値行列と実ベクトルについて、が正定値となる必要十分条件は？

とコレスキー分解して、を評価か？

なんて式がててきた。予想と違う、もう少しきれいな式が出てくると思っていた。