其实更为直观的理解是：AB与BA具有相同的对角线元素，因此tr(AB)=tr(BA)必然成立
ref：https://blog.csdn.net/silence1214/article/details/8632357
