Re:>600 tr(A)はいつでもAの固有値の和になる。(重複度が2以上の場合は、重複の数だけ足す。)