>>531
半正値は半正定値の間違い？

まあ何にせよ固有値がすべてゼロの対称行列がゼロ行列に限ることは、
対称行列が直交行列で対角化できることから簡単にわかる。