Use the Leibniz definition of the determinant:
For the permuted-column matrix, . Reindex the sum by . The sign of a permutation is multiplicative, so . It follows directly that
For the matrix transpose, the products in its determinant are . Set to obtain , and use . This proves . These facts also show that equal columns, or equal rows by transposition, force the determinant to be zero: exchanging the equal pair leaves the matrix unchanged but changes the determinant's sign.
Let be the matrix obtained by deleting row and column , with the empty determinant taken as one for . Define the cofactor and the adjugate matrix by . Grouping the Leibniz sum according to the column chosen in row gives the cofactor expansion : deleting that row and its chosen column leaves a permutation of entries, with sign factor . Therefore
When this is . When it is the cofactor expansion along row of the matrix formed by replacing that row with row ; its remaining minors are unchanged, and its two equal rows give determinant zero. The column version proves the other product in the same way. Thus the adjugate identity is
For the real matrices , let . The determinant definition makes this a real polynomial of degree of a polynomial at most . Since is invertible, the allowed converse implies , so is not the zero polynomial. It has at most real roots of a polynomial. Choose a real outside those roots; the adjugate argument proves that is invertible.
Finally write the given complex similarity transformation as . The relation , with real, yields and by comparing real and imaginary parts. Choose the preceding and put . Then , so
This proves real similarity from complex similarity by constructing a real intertwiner, rather than requiring or separately to be invertible.

Articles by others on the same topic (0)

There are currently no matching articles.