Thread: Proof with transpose - I think this is right

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.)

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)