Replacing row $i$ by $R_i+cR_j$, with $i\ne j$, preserves the determinant. By multilinearity, the new determinant is the old determinant plus $c$ times a determinant having two equal rows; the second term is zero. This is the determinant-preserving step in Gaussian elimination.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.