2012-11-14 行列 math [A, [A, B] ] = O ならば [A, B] はべき零.証明.[A, [A, B]n-1 B] = [A, B]n より,tr [A, B]n = 0. //