Given an m×nm\times nm×n-matrix AAA and an n×pn\times pn×p-matrix BBB. Prove that (AB)T=BTAT(AB)^T = B^TA^T(AB)T=BTAT.
Here is my attempt:
Write the matrices AAA and BBB as A=[aij]A = [a_{ij}]A=[aij] and B=[bij]B = [b_{ij}]B=[bij], meaning that their (i,j)\left(i,j\right)(i,j)-th entries are aija_{ij}aij and bijb_{ij}bij, respectively.
Let C=AB=[cij]C=AB=[c_{ij}]C=AB=[cij], where cij=∑k=1naikbkjc_{ij} = \sum_{k=1}^n a_{ik}b_{kj}cij=∑k=1naikbkj, the standard multiplication definition.
We want (AB)T=CT=[cji](AB)^T = C^T = [c_{ji}](AB)T=CT=[cji]. That is the element in position j,ij,ij,i is ∑k=1naikbkj\sum_{k=1}^n a_{ik}b_{kj}∑k=1naikbkj. For instance, if i=2,j=3i=2, j=3i=2,j=3, then the element in 2,32,32,3 of CCC is that sum, but the element in position 3,23,23,2 of the transpose is that sum.
I need to get the same value for the element in position 3,23,23,2 of the right side.
The transpose matrices are BT=[bji],AT=[aji]B^T=[b_{ji}], A^T=[a_{ji}]BT=[bji],AT=[aji]. They are size p×np \times np×n and n×mn \times mn×m. That is, they switch rows and columns.
Let D=BTAT=[dji]D = B^T A^T = [d_{ji}]D=BTAT=[dji]. I write the indices backwards because if I want the element in position 3,23,23,2, that is, i=2,j=3i=2, j=3i=2,j=3 just like on the other side.
I get dji=∑k=1nbjkakid_{ji} = \sum_{k=1}^n b_{jk}a_{ki}dji=∑k=1nbjkaki
dji=∑k=1nbkjaikd_{ji} = \sum_{k=1}^n b_{kj}a_{ik}dji=∑k=1nbkjaik, this is the multiplying the transposes of BBB and AAA