Properties 4-6 (equal rows give det=0, elimination preserves determinant, zero row gives det=0) all follow logically from the three defining axioms.
Loading…
Property 4: two equal rows give
Reproduce the two-line swap argument that leaves the matrix unchanged while the sign reverses, and finish at .
Property 5: elimination leaves the determinant unchanged
State that subtracting times one row from another preserves the determinant, and carry the split through Properties 3B, 3A and 4 to the final equality.
Property 6: a zero row gives
Write the one-step argument that applies the scalar axiom with to the zero row, and state the resulting determinant.