>>784
つまり、ルートの中が虚数になるなら、正定値行列とも言えるわけですか?