Suppose $X$ is an $n \times p$ matrix, $Y$ is a $ p \times n $ matrix and $A$ is an $n \times n$ matrix, all under the field of real numbers.
Suppose $A$ is invertible and define $W=I+YA^{-1}X$ as a $ p \times p $ matrix under the field of reals.
Prove that if $W$ is invertible then so is $A+XY$ and $(A+XY)^{-1} = A^{-1} - A^{-1}XW^{-1}YA^{-1}$.
Prove that if $W$ is not invertible than neither is $A+XY$.
For the first proof I was thinking about multiplying both sides by $A+XY$ on both sides, but I got lost throughout that computation. I wanted to show that $I=I$.
And for the second proof is it sufficient to explain that the equation relies on $W$ inverse?