方阵C 能分解成AB-BA 的形式,充分必要条件是tr C =0