In mathematics, the binomial inverse theorem is useful for expressing matrix inverses in different ways.
If A, U, B, V are matrices of sizes p×p, p×q, q×q, q×p, respectively, then
provided A and B + BVA−1UB are nonsingular. Nonsingularity of the latter requires that B−1 exist since it equals B(I+VA—1UB) and the rank of the latter cannot exceed the rank of B.
Since B is invertible, the two B terms flanking the parenthetical quantity inverse in the right-hand side can be replaced with (B−1)−1, which results in
This is the Woodbury matrix identity, which can also be derived using matrix blockwise inversion.
A more general formula exists when B is singular and possibly even non-square:
Formulas also exist for certain cases in which A is singular.
First notice that
Now multiply the matrix we wish to invert by its alleged inverse:
which verifies that it is the inverse.
So we get that if A−1 and exist, then exists and is given by the theorem above.