Let Suppose is obtained from by row operation
- Scale a row. if then
- Exchange a row then
- Add a row then
Proofs
Proving Scalability
by multilinearity
Proving Exchangability
by Alternating
Proving Additivity
Let MβMnΓnβ(R) Suppose Mβ² is obtained from M by row operation
det(Mβ²)=det(R1β,β¦,Ξ»Riβ,β¦,Rnβ) by multilinearity =Ξ»det(R1β,β¦,Riβ,β¦,Rnβ)
det(Mβ²)=det(R1β,β¦,Rjβ,β¦,Riβ,β¦,Rnβ) =βdet(R1β,β¦,Riβ,β¦,Rjβ,β¦Rnβ) by Alternating
det(Mβ²)=det(R1β,β¦,Rjβ+Ξ»Riβ,β¦,Rnβ) =det(R1β,β¦,Rjβ,β¦,Rnβ)+Ξ»det(R1β,..,Riβ,β¦,Rnβ) =det(M)