If you have these facts available, they will give you a much shorter proof of the first identity:
det(AB)=det(A)det(B)
det(A^t)=det(A)
Hello everyone. I've got a proof done. May someone please just do a scan of the proof to see if it's correct?
Prove:
is nonsingular
and
The problem says (in its "given") that A and B are invertible. (There's nothing else "given.") Hence,
and
by the property that
by the property that and the associativity of matrix multiplication.
Then, multiply both sides by to obtain
since the inverses cancel out to get I. This also proves that there exists an inverse for the AB transposed matrix.
(On an actual problem I'd be more explicit in my steps, though, perhaps splitting up the associativity and (AB)T => BTAT into two steps.)