AB 的行数 即 A 的行数,
AB 的列数 即 B 的列数
所以 AB=BA 时,A 的行数 (AB的行数) 等于B的行数(BA的行数),B的列数等于A 的列数
又因为 AB有意义,所以 A 的列数等于B的行数
所以 A,B是同阶方阵