Page 1 of 1

An equality with matrices

Posted: Sat Jan 21, 2017 9:52 pm
by Riemann
Let $A, B$ be $3 \times 3$ matrices with real entries. Prove that

$$A - \left ( A^{-1} +\left ( B^{-1} - A \right )^{-1} \right )^{-1} = ABA$$

provided all the inverses appearing on the left hand side exist.

Re: An equality with matrices

Posted: Fri Nov 06, 2020 6:50 am
by Tolaso J Kos
Let $A, B$ be elements of an arbitrary associative algebra with unit. Then:

\begin{align*}
\left ( A^{-1} +\left ( B^{-1} - A \right )^{-1} \right )^{-1} &= \left ( A^{-1} \left ( B^{-1} - A \right )\left ( B^{-1} - A \right )^{-1} + A^{-1} A \left ( B^{-1} - A \right )^{-1} \right )^{-1} \\
&=\left ( A^{-1} \left ( \left ( B^{-1} - A \right ) +A \right )\left ( B^{-1} -A \right )^{-1} \right )^{-1} \\
&= \left ( A^{-1} B^{-1} \left ( B^{-1} -A \right )^{-1} \right )^{-1}\\
&= \left ( B^{-1}-A \right ) BA \\
&= A - ABA
\end{align*}