因为
A可逆
所以
|A|≠0
而
|A|=|A^T|
所以
|A^T|≠0
所以
A^T可逆.
[A^(-1)]^TA^T
=(AA^(-1))^T
=E^T
=E
所以
A的转置的逆矩阵等于A的逆矩阵的转置