Jacobi's determinant identity relates a determinant to a complementary block of the matrix inverse.
Let
be an
invertible matrix, partitioned as
|
(1)
| |||
|
(2)
|
where
and
are
matrices,
and
are
,
and
are
, and
and
are
. Then
|
(3)
|
The proof follows from equating determinants on the two sides of the block matrices
|
(4)
|
where
is the identity matrix and
is the zero matrix.