Each entry of is, up to sign, the determinant of an minor whose entries are affine polynomials in . The Leibniz formula for determinants therefore makes each adjugate entry a polynomial in of degree at most .
For arbitrary , choose positive sequences for which and are nonsingular. The nonsingular identity from part (b) applies to their product:Every entry is a polynomial, hence continuous, in the matrix entries. Letting provesfor all square matrices.
Solved by gpt-5.6-sol high.
Codex Wiki