（AB-BA）^T = B^TA^T - A^TB^T
= (-B)A-A(-B)= -BA + AB = AB - BA
所以 AB-BA是对称矩阵