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*}