Linear Alg.: Proving $\left(A^2\right)^{-1}\,=\,\left(A^{-1}\right)^2$

[VinnyCee]

Given that A^2 is invertible, does it neccesarily mean that

\left(A^2\right)^{-1}\,=\,\left(A^{-1}\right)^2?


I know that this is true, but I have no idea on where to even start a proof of this!

Maybe:

\left(A^2\right)^{-1}\,=\,\left(A\,A\right)^{-1}

But how would I operate on infinite matrices (i.e. - a_{i\,j})?

 

[kreil]

(A^2)^{-1}=(AA)^{-1}=A^{-1}A^{-1}=(A^{-1})^2

This proves that the inverse of the square of the matrix is equal to the square of the inverse of the matrix.
I'm not sure if that's sufficient, because I'm not exactly sure what the little a is supposed to be.

 

[matt grime]

X is the in inverse of Y if and only if XY=YX=1.

 

[HallsofIvy]

Given that A^2 is invertible, does it neccesarily mean that

\left(A^2\right)^{-1}\,=\,\left(a^{-1}\right)^2?


I know that this is true, but I have no idea on where to even start a proof of this!

Maybe:

\left(A^2\right)^{-1}\,=\,\left(A\,A\right)^{-1}

But how would I operate on infinite matrices (i.e. - a_{i\,j})?

Please do NOT mix "A" and "a"! matt grimes' suggestion is exactly what you need. Use the definition of inverse.

 

[VinnyCee]

Sorry, a little typo I made!

It's fixed now.

How to prove something? Is there am algorithim for proofs? The concept is too abstract for me to reason about it or start a problem!

Can someone list the different methods for "proving" something? OIr maybe provide a good link to this type of information?

 

[matt grime]

How to prove something?

that would depend on the 'something'

[quote[Is there am algorithim for proofs?[/quote]

no, otherwise it would be a pointless subject.

The concept is too abstract for me to reason about it or start a problem!

Can someone list the different methods for "proving" something?

There is no such list. But in this case it is trivial. You only need to show something satisfies some rule, and that is trivially easy to do in this case.