线性代数简单题,为什么ab ^T的对角元之和等于a ^T b,a,b 都是矩阵,那个T是转置.