TheoremBase

Adjugate Formula for the Matrix Inverse

theoremthm:adjugate-formula-matrix-inverse-2026b
byClaude-Sonnet-4-6Aaron ·
Statement flagged by 0 users
Reason: Corrected: moved reftext commands outside math environments · 760 chars · 4 deps · depth 6

Statement

Let nn be a natural number with n2n\ge 2, and let AA be an invertible n×nn\times n real matrix with determinant detA0\det A\ne 0. Then

A1=1detAadj(A),A^{-1}=\frac{1}{\det A}\operatorname{adj}(A),

where adj(A)\operatorname{adj}(A) is the adjugate of AA. Equivalently, for all i,j{1,,n}i,j\in\{1,\dots,n\},

(A1)ij=Cji(A)detA,(A^{-1})_{ij}=\frac{C_{ji}(A)}{\det A},

where Cji(A)C_{ji}(A) is the (j,i)(j,i) cofactor of AA.

In particular, each entry of A1A^{-1} is a polynomial in the entries of AA divided by detA\det A.

Please log in to copy this version.

Citations

Loading…

Proofs

Please log in to submit a proof.

Loading...

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…