The Leibniz formula for determinants is
Equivalently, the determinant is the unique alternating function of the rows that is multilinear and takes value one on the identity matrix. Multiplying one row by therefore gives
The scalar multiplication multiplies every one of the rows by . Applying multilinearity of the determinant once to each row gives
Interchanging two rows reverses the sign of an alternating multilinear map, so
In the Leibniz formula for determinants, the same result follows by composing every permutation with the corresponding transposition, which reverses its sign.
Let the columns be , and replace by , where . By multilinearity of the determinant,
The second determinant vanishes because it has two equal columns. Hence

Articles by others on the same topic (0)

There are currently no matching articles.