# Determinants via row reduction ## Introduction In this section we will first consider the effect of row operations on the value of a determinant. This leads the way to a more efficient way to compute $n\times n$-determinants. It also leads the way to two very important properties of determinants, namely ## How row operations affect a determinant We have seen in {numref}`Sec:DeterminantsViaCofactors` that the cofactor expansion of an $n \times n$-determinant works best using a row (or a column) with many, preferably $n-1$, zeros. When solving a linear system, or finding the inverse of a matrix, we have seen how to create zeros via row reduction. The important thing: row reducing an augmented matrix does not alter the solution(s) of the corresponding linear system. The next proposition describes the effects of row operations on a determinant. ::::::{prf:proposition} How row operations affect a determinant :label: Prop:DetRowReduction:RowOps For the determinant of an $n\times n$-matrix $A$ the following rules apply.
  1. If a row of $A$ is scaled with a factor $c$, the determinant is scaled with a factor $c$.
  2. If a multiple of one row of $A$ is added to another row, the determinant does not change.
  3. When two rows of $A$ are swapped, the determinant changes sign.
:::::: We postpone the proof until the end of this section and first look at examples and a few consequences. ::::::{prf:example} :label: Ex:DetRowReduction:RowOps The following identities show what happens with a $3\times 3$-determinant when
  1. the second row is scaled with a factor $c$: $$ \left|\begin{array}{rrr} a_{11} & a_{12} & a_{13} \\ ca_{21} & ca_{22} & ca_{23} \\ a_{31} & a_{32} & a_{33} \end{array} \right| = c \left|\begin{array}{rrr} a_{11} &a_{12} &a_{13} \\ a_{21} &a_{22} &a_{23} \\ a_{31} &a_{32} &a_{33} \end{array} \right|. $$
  2. the first row is added $(-k)$ times to the third row: $$ \left|\begin{array}{lll} a_{11} &a_{12} &a_{13} \\ a_{21} &a_{22} &a_{23} \\ a_{31}-ka_{11} &a_{32}-ka_{12} &a_{33}-ka_{13} \end{array} \right| = \left|\begin{array}{rrr} a_{11} &a_{12} &a_{13} \\ a_{21} &a_{22} &a_{23} \\ a_{31} &a_{32} &a_{33} \end{array} \right|. $$
  3. the first and the third row are swapped: $$ \left|\begin{array}{rrr} a_{31} &a_{32} &a_{33} \\ a_{21} &a_{22} &a_{23} \\ a_{11} &a_{12} &a_{13} \end{array} \right| = - \left|\begin{array}{rrr} a_{11} &a_{12} &a_{13} \\ a_{21} &a_{22} &a_{23} \\ a_{31} &a_{32} &a_{33} \end{array} \right|. $$
:::::: Note that these properties can be expressed using elementary matrices (cf. {numref}`Sec:MatrixOps`) . ::::::{prf:example} :label: Ex:DetRowReduction:ElementaryMatrices Let $A$ be an arbitrary $4\times 4$-matrix, and $E_1, E_2$ and $E_3$ the elementary matrices corresponding to the row operations in {prf:ref}`Ex:DetRowReduction:RowOps`. So $$ E_1 = \left(\begin{array}{cccc} 1 & 0 & 0 & 0 \\ 0 & c & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right) , \quad E_2 = \left(\begin{array}{cccc} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ -k & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right) , \quad E_3 = \left(\begin{array}{cccc} 0 & 0 & 0 & 1 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 1 & 0 & 0 & 0 \end{array} \right) . $$ Then we have $$ \det{(E_1A)} = c \det{A}, \quad \det{(E_2A)} = \det{A}, \quad \det{(E_3A)} = -\det{A}. $$ Since $$ \det{E_1} = c, \quad \det{E_2} = 1, \quad \det{E_3} = -1, $$ we see that in all three cases we have that :::{math} :label: Eq:DetRowReduction:ElementaryMatrices \det{(E_iA)} = \det{E_i} \cdot \det{A}. ::: Since every row operation can be performed using the product with an elementary matrix, a consequence of {prf:ref}`Prop:DetRowReduction:RowOps` is that Equation {eq}`Eq:DetRowReduction:ElementaryMatrices` holds for *any* product of an elementary $n \times n$-matrix $E$ with an arbitrary $n \times n$-matrix $A$. These are the basics for the general product rule we will see later, which states that $$ \operatorname{det}(AB) = \operatorname{det}(A) \operatorname{det} (B) $$ for _arbitrary_ $n\times n$-matrices $A$ and $B$. :::::: The next two examples illustrate the practical use of the three rules involving row operations. ::::::{prf:example} :label: Ex:DetRowReduction:DetByRowRed1 $$ \left|\begin{array}{rrr} 5 & 10 & 15 \\ 3 & 8 & 6 \\ 2 & -2 & 5 \end{array} \right|\stackrel{(1)}{=} 5 \left|\begin{array}{rrr} 1 & 2 & 3 \\ 3 & 8 & 6 \\ 2 & -2 & 5 \end{array} \right|\stackrel{(2)}{=} 5 \left|\begin{array}{rrr} 1 & 2 & 3 \\ 0 & 2 & -3 \\ 0 & -6 & -1 \end{array} \right|\stackrel{(3)}{=} 5 \cdot 1 \cdot \left|\begin{array}{rr} 2 & -3 \\ -6 & -1 \end{array} \right|. $$ The steps involved are:
  1. take out a factor $5$ from the first row.
  2. subtract the first row $3$ times from the second row and $2$ times from the third row (or: add it $(-3)$ times and $(-2)$ times respectively).
  3. expand along the first column.
Evaluating the $2\times 2$-determinant at the end leads to the answer $-100$. Can you describe the row operations and cofactor expansions in the following computation? $$ \begin{array}{rcl} \left|\begin{array}{rrrr} 3 & 2 & 4 & 3 \\ 1 & 2 & 3 & -1 \\ 4&3&8&2 \\ 2&5&7&-4 \end{array} \right|&=& \left|\begin{array}{rrrr} 0 & -4 & -5 & 6 \\ 1 & 2 & 3 & -1 \\ 0 & -5 & -4 & 6 \\0 &1 & 1 & -2 \end{array} \right|= (-1)\cdot \left|\begin{array}{rrr} -4 & -5 & 6 \\ -5 & -4 & 6 \\ 1 & 1 & -2 \end{array} \right| \\ &=& (-1)\cdot \left|\begin{array}{rrr} 0 & -1 & -2 \\ 0 & 1 & -4 \\ 1 & 1 & -2 \end{array} \right|= - \left|\begin{array}{rr} -1 & -2 \\ 1 & -4 \end{array} \right| = -6. \end{array} $$ :::::: ::::::{prf:remark} :label: Rem:DetRowReduction:ColumnOperations Because of {prf:ref}`Prop:DetCofactors:DetTranspose` that states $$ \det{A} = \operatorname{det}\big(A^T\big), $$ every rule involving row operations may be transformed into a rule about column operations. It is here that computing a determinant differs strikingly from the reduction of a (for instance augmented) matrix to an echelon matrix. Another, more subtle difference is that a row operation applied to a matrix leads to an **equivalent** matrix, which we denote by the symbol $\sim$, whereas row or column operations on a determinant give **equal values** all the time. So then we write $=$. Note that in Rule i. of {prf:ref}`Prop:DetRowReduction:RowOps` the factor $c$ may be zero. This is also a slight difference to the scaling operation we used when row reducing a matrix. There the scaling factor must be *non-zero*. :::::: In the next example column operations are used. ::::::{prf:example} :label: Ex:DetRowReduction:DetByRowRed2 $$ \left|\begin{array}{rrrr} 1 & 1 & 1 & -1 \\ 2 & 4 & 5 & 3 \\4 & 5 & 2 & -1 \\ 5 & 7 & 4 & -2 \end{array} \right|= \left|\begin{array}{rrrr} 1 & 0 & 0 & 0 \\ 2 & 2 & 3 & 5 \\4 & 1 & -2 & 3 \\ 5 & 2 & -1 & 3 \end{array} \right|= \left|\begin{array}{rrr} 2 & 3 & 5 \\ 1 & -2 & 3 \\ 2 & -1 & 3 \end{array} \right|= \ldots $$ And do you see what is happening here? $$ \left|\begin{array}{rrrr} 1 & 2 & 3 & 4 \\ -2 & 2 & 0 & 0 \\ -1 & 0 & 1 & 0 \\ -5 & 0 & 0 & 5 \end{array} \right|= \left|\begin{array}{rrrr} 10& 2 & 3 & 4 \\ 0 & 2 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 5 \end{array} \right|= 10 \left|\begin{array}{rrrr} 2 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 5 \end{array} \right|= 100. $$ :::::: An interesting consequence of rule iii. of {prf:ref}`Prop:DetRowReduction:RowOps` is the following. ::::::{prf:corollary} :label: Cor:DetRowReduction:EqualRows If a matrix $A$ has two equal rows (or columns), then $\det{A} = 0$. :::::: ::::::{admonition} Proof of {prf:ref}`Cor:DetRowReduction:EqualRows` :class: tudproof Suppose the $i$-th and the $j$-th row of $A$ are equal, and let $\det{A} = d$. Let $B$ be the matrix $A$ with the $i$-th and $j$-th row interchanged. On the one hand, $B = A$, so $$ \det{B} = \det{A} = d, $$ on the other hand, because of {prf:ref}`Prop:DetRowReduction:RowOps`, Rule iii., we have $$ \det{B} = -\det{A} = -d. $$ We may conclude $d = -d$, which is only possible if $$ d = \det{A} = 0. $$ :::::: ## Determinants versus invertibility With the knowledge built so far we can show the important property that was already hinted at in {numref}`Sec:DeterminantsViaCofactors`. ::::::{prf:theorem} :label: Thm:DetRowReduction:Invertibility For any square matrix $A$: $$ A \,\,\text{is invertible} \quad \iff \quad \det{A} \neq 0. $$ :::::: The proof is -- we think -- quite instructive. (However, feel free to skip it.) ::::::{admonition} Proof of {prf:ref}`Thm:DetRowReduction:Invertibility` :class: tudproof, dropdown In the previous section we have already seen that the statement is true for triangular matrices. Now suppose $A$ is any $n \times n$-matrix. Via row reduction $A$ can be brought to echelon form $F$, and for a square matrix the echelon form is an upper-triangular matrix (with possibly zeros on the diagonal). From {prf:ref}`Prop:DetCofactors:InvertibleTriangular` we know that for a triangular matrix $F$ we have '$F$ is invertible' is equivalent to '$\det{F} \neq 0$'. The row operations transforming $A$ to $F$ can be performed by multiplications with elementary matrices $E_1, \ldots, E_k$. We have seen (Equation {eq}`Eq:DetRowReduction:ElementaryMatrices` in {prf:ref}`Ex:DetRowReduction:ElementaryMatrices`) that $$ \det{(E_iA)} = \det{E_i} \cdot \det{A}. $$ Furthermore, the determinant of an elementary matrix is non-zero. Namely, for a row scaling it is equal to $c$, for a row swap it is equal to $(-1)$, and for adding a multiple of a row to another row it is equal to $1$. Hence, if $m$ of the row operations are row scalings and $\ell$ of the row operations are row swaps, then $$ \det{\left(E_kE_{k-1}\cdots E_1A\right)}= c_1\cdots c_m \cdot (-1)^{\ell} \det{A} = \alpha \det{A}, $$ with $\alpha = c_1\cdots c_m \cdot (-1)^{\ell} \neq 0$. So if $E_kE_{k-1}\cdots E_1A = F$, where $F$ is an echelon matrix, we see that $$ \det{A} \neq 0 \quad \iff \quad \det{F}\neq 0. $$ We conclude that $$ A \,\text{is invertible} \,\,\iff\,\, F \,\text{is invertible} \,\,\iff\,\, \det{F} \neq 0\,\,\iff\,\, \det{A} \neq 0. $$ :::::: ::::::{prf:theorem} :label: Thm:DetRowReduction:ProductRule For two $n\times n$-matrices $A$ and $B$ it always holds that $$ \det{(AB)} = \det{A}\cdot\det{B}. $$ :::::: The idea of the proof is to break it down to products of the form $\det{(EA)} = \det{E}\cdot\det{A}$, where $E$ is an elementary matrix (Equation {eq}`Eq:DetRowReduction:ElementaryMatrices`). For more details you open the proof below. ::::::{admonition} Proof of {prf:ref}`Thm:DetRowReduction:ProductRule` :class: tudproof, dropdown We already know that the identity holds if $A$ is an elementary matrix. It will also hold if $A$ is not invertible, as in that case $AB$ is also not invertible, and we know that the determinant of any non-invertible matrix is zero. So then $$ \det{(AB)} = 0 = \det{A}\cdot\det{B}. $$ Hence suppose that the matrix $A$ is invertible. In that case (cf. {prf:ref}`Thm:MatrixInv:InvertibilityCharacterizations`) $A$ can be written as a product of elementary matrices. $$ A = E_1E_2\ldots, E_k. $$ So then, step by step we find that $$ \begin{array}{rl} \det{A}\!\! &\!\! = \det{(E_1E_2\cdots E_k)} = \det{(E_1(E_2\cdots E_k))} = \\ & \!\! = \det{E_1} \det{(E_2\cdots E_k)} = \cdots = \det{E_1} \det{E_2} \cdots \det{E_k}, \end{array} $$ and also $$ \begin{array}{rl} \det{(AB)} \!&\!\! = \det{(E_1E_2\cdots E_kB)} = \det{E_1} \det{(E_2\cdots E_kB)} \\ & \vdots \\ & = \det{E_1} \det{E_2} \cdots \det{E_k} \det{B} \\ & = \det{A}\det{B}. \end{array} $$ :::::: ::::::{prf:corollary} :label: Cor:DetRowReduction:DetOfInverse If the matrix $A$ is invertible, then $\operatorname{det}\big(A^{-1}\big)= \dfrac{1}{\det{A}}$. :::::: ::::::{admonition} Proof of {prf:ref}`Cor:DetRowReduction:DetOfInverse` :class: tudproof We can combine the three properties
  1. $AA^{-1} = I$
  2. $\det{(AA^{-1})} = \det{A}\det{\left(A^{-1}\right)}$
  3. $\det{I} = 1$
as follows: $$ \operatorname{det}(A)\operatorname{det}(A^{-1}) = \operatorname{det}(AA^{-1}) = \operatorname{det}(I) = 1, $$ so indeed $$ \operatorname{det}\left(A^{-1}\right) = \dfrac{1}{\operatorname{det}(A)}. $$ :::::: ::::::{exercise} :label: Exc:DetRowReduction:PropNonProp For each of the following statements decide whether they are true or false. In case true, give an argument, in case false, give a counterexample.
  1. For each $n \times n$-matrix $A$ it holds that $$ \operatorname{det}\big(A^k\big)= \big(\det{A}\big)^k. $$
  2. For each two $n \times n$-matrices $A$ and $B$ it holds that $$ \det{(A+B)} = \det{A}+\det{B}. $$
  3. For each $n \times n$-matrix $A$ and each real number $k$ it holds that $$ \det{(kA)} = k^n\det{A}. $$
  4. For each $n \times n$-matrix $A$ it holds that $$ \det{(-A)} = -\det{A}. $$
:::::: ::::::{admonition} Solution to {numref}`Exc:DetRowReduction:PropNonProp` :class: solution, dropdown We treat the statements one by
  1. Is it true that for each $n \times n$-matrix $A$ it holds that $\operatorname{det}\big(A^k\big)= \big(\det{A}\big)^k$? This is true, and follows from repeatedly using the property $\det(AB) = \det(A)\det(B)$. Namely, $$ \det(A^k) = \det(AAA \cdots A) = \det(A)\det(A)\det(A)\cdots\det(A). $$
  2. Is it true that for each two $n \times n$-matrices $A$ and $B$ it holds that $$ \det{(A+B)} = \det{A}+\det{B}? $$ This statement is false. A trivial counterexample is given by $A = B = I_n$, for $n \geq 2$. Namely, for these matrices we see that $$ \det{A} + \det{B} = 1 + 1 = 2 \neq \det{(A+B)} = \det{(2I)} = 2^n. $$
  3. Is it true that for each $n \times n$-matrix $A$ and each real number $k$ it holds that $$ \det{(kA)} = k^n\det{A}\,? $$ This is true. One way to prove it is to write $kA = (kI)A$, where $$ kI = \begin{pmatrix}k & 0 & 0 &\cdots & 0 \\ 0 & k & 0 &\cdots & 0 \\ 0 & 0 & k &\cdots & 0 \\ \vdots & \vdots &\vdots & \ddots & \vdots \\ 0 & 0 & 0 &\cdots & k \end{pmatrix}. $$ So we find $$ \det{(kA)} = \det{(kI)}\cdot\det{(A)} = k^n \det{(A)}. $$
  4. Is it true that $\operatorname{det}(-A)= -\det{(A)}$ for each $n \times n$-matrix $A$? This is not true in general. Taking $k = -1$ in the previous statement we see that $$ \det{(-A)} = \det{(-1)A} = (-1)^n\det{(A)}. $$ A specific example: for $A = I$ it holds that $$ \operatorname{det} (-A) = \begin{vmatrix} -1 & 0 \\ 0 & -1 \end{vmatrix} = (-1)^2 \begin{vmatrix} 1 & 0 \\ 0 & 1 \end{vmatrix} = \begin{vmatrix} 1 & 0 \\ 0 & 1 \end{vmatrix} = \operatorname{det} (A). $$
:::::: We will conclude this section, for the interested reader, with a proof of the properties of {prf:ref}`Prop:DetRowReduction:RowOps`. In fact we will prove the column version, and we add one related rule that will be of use both immediately in the proof and also later on. ::::::{prf:proposition} :label: Prop:DetRowReduction:SumofCols Suppose $A$ is an $n\times n$-matrix for which the $k$-th column is the sum of two vectors in $\R^n$. So $$ \vect{a}_k = \vect{b} +\vect{c}. $$ Then :::{math} :label: Eq:DetExtras:SumofCols \begin{array}{l} \det{(\vect{a}_1 \,\, \cdots \,\, \vect{b}+\vect{c} \,\, \cdots \,\, \vect{a}_n)} = \\ \qquad \qquad \qquad \det{(\vect{a}_1 \,\, \cdots \,\, \vect{b} \,\, \cdots \,\, \vect{a}_n)} + \det{(\vect{a}_1 \,\, \cdots \,\, \vect{c} \,\, \cdots \,\, \vect{a}_n)}. \end{array} ::: :::::: Click on the symbol to the right below for the proof of {prf:ref}`Prop:DetRowReduction:RowOps` and {prf:ref}`Prop:DetRowReduction:SumofCols`. ::::::{admonition} Proof of {prf:ref}`Prop:DetRowReduction:RowOps` and {prf:ref}`Prop:DetRowReduction:SumofCols` :class: tudproof, dropdown For typographical reasons we will prove the three rules stated as column operations. For an $n \times n$-matrix $$ A = (\vect{a}_1 \,\,\vect{a}_2 \,\,\cdots\,\,\vect{a}_j \,\,\cdots\,\,\vect{a}_k \,\,\cdots\,\, \vect{a}_n) $$ the rules can then be formulated as :::{paren-list} :start: 1 - $\det{(\vect{a}_1 \, \vect{a}_2 \, \cdots \, c \vect{a}_k \, \cdots \, \vect{a}_n)} = c \det{A}$. - $\det{(\vect{a}_1 \, \cdots \, \vect{a}_k \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_n)} = - \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_k \, \cdots \, \vect{a}_n)}$. - $\det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_k + c\vect{a}_j \, \cdots \, \vect{a}_n)} = \det{A}$. ::: So, let us consider them one by one. :::{paren-list} :start: 1 - If a column is scaled with a factor $c$, then the determinant is also scaled with a factor $c$. ::: Suppose $\tilde{A}$ is the result of scaling the $k$-th column of $A$ with a factor $c$. Then expanding $\det(\tilde{A})$ along its $k$-th column, keeping in mind that $\tilde{a}_{ik} = c {a}_{ik}$ and $\tilde{A}_{ik} = {A}_{ik}$, yields $$ \operatorname{det}\big(\tilde{A}\big)= \sum_{i=1}^n (-1)^{i+k} \tilde{a}_{ik}\det{\tilde{A}_{ik}} =\sum_{i=1}^n (-1)^{i+k} c {a}_{ik}\det{{A}_{ik}}. $$ If we take out the constant factor $c$ we see that $$ \operatorname{det}\big(\tilde{A}\big) = c\sum_{i=1}^n (-1)^{i+k} {a}_{ik}\det{{A}_{ik}} = c \det{A}. $$ {prf:ref}`Prop:DetRowReduction:SumofCols` is proved in much the same way as rule (1) by expansion along the $k$-th column. :::{paren-list} :start: 2 - The proof of the swapping rule is more involved. ::: One way to set about is We will consider the swapping of the first two columns in complete detail. Let $\bar{\bar{A}}$ be the result of swapping the first two columns of the matrix $A$. The crucial thing to note here is that, for each value of $i$, $$ \bar{\bar{a}}_{i2} = a_{i1} \quad \text{and} \quad \bar{\bar{A}}_{i2}= A_{i1}. $$ To make this explicit for a $4\times 4$-matrix: $$ \begin{array}{ccc} A = \left(\begin{array}{rrrr} a_{11} &a_{12} &a_{13} &a_{14} \\ a_{21} &a_{22} &a_{23} &a_{24} \\ a_{31} &a_{32} &a_{33} &a_{34} \\ a_{41} &a_{42} &a_{43} &a_{44} \end{array} \right) & \Longrightarrow & \bar{\bar{A}} = \left(\begin{array}{rrrr} a_{12} &a_{11} &a_{13} &a_{14} \\ a_{22} &a_{21} &a_{23} &a_{24} \\ a_{32} &a_{31} &a_{33} &a_{34} \\ a_{42} &a_{41} &a_{43} &a_{44} \end{array} \right) \\ \Big\Downarrow && \Big\Downarrow \\ A_{3,1} = \left(\begin{array}{rrr} a_{12} &a_{13} &a_{14} \\ a_{22} &a_{23} &a_{24} \\ a_{42} &a_{43} &a_{44} \end{array} \right) &= & \bar{\bar{A}}_{3,2} = \left(\begin{array}{rrr} a_{12} &a_{13} &a_{14} \\ a_{22} &a_{23} &a_{24} \\ a_{42} &a_{43} &a_{44} \end{array} \right) . \end{array} $$ Expanding $\det(\bar{\bar{A}})$ along its second column yields $$ \operatorname{det}\big(\bar{\bar{A}} \big)= \sum_{i=1}^n (-1)^{i+2} \bar{\bar{a}}_{i2}\operatorname{det}\big(\bar{\bar{A}}_{i2} \big)= \sum_{j=1}^n (-1)^{i+2} {a}_{i1}\operatorname{det}\big({A}_{i1}\big). $$ Noting that $(-1)^{i+2} = (-1)\cdot (-1)^{i+1}$ and taking out one factor $(-1)$ from the sum yields $$ \operatorname{det}\big(\bar{\bar{A}}\big)= - \sum_{i=1}^n (-1)^{i+1} {a}_{i1}\operatorname{det}\big({A}_{i1}\big)= - \operatorname{det}\big({A}\big). $$ The same argument works for the interchanging of two arbitrary consecutive columns. And the argument can even be generalised for two columns that are not necessarily neighbours. The notation with many indices becomes hard to read though. As stated the swapping of two arbitrary columns can be accomplished via an odd number of 'consecutive swaps', so then the determinant changes sign an odd number of times. And for an odd number $n$ we have that $(-1)^n = -1$. In fact, to swap columns $i$ and $j$, with $i < j$, we need $j-i$ neighbour swaps to move column $i$ to position $j$, and $j-i-1$ swaps to move (the original) column $j$ to position $i$, which gives a total of $n = 2(j-i)+1$ swaps. For instance, to interchange column $2$ and column $5$ in a $5 \times 5$-matrix the $(j-i) + (j-i-1) = 3+2 =5$ neigbour swaps can be visualised as follows $$ \begin{array}{rl} \left|\begin{array}{ccccc} a_{11} & \class{blue}{a_{12}} & a_{13} & a_{14} & \class{red}{a_{15}} \\ a_{21} & \class{blue}{a_{22}} & a_{23} & a_{24} & \class{red}{a_{25}} \\ \vdots & \class{blue}{\vdots} & \vdots & \vdots & \class{red}{\vdots} \\ \vdots & \class{blue}{\vdots} & \vdots & \vdots & \class{red}{\vdots} \\ a_{51} & \class{blue}{a_{52}} & a_{53} & a_{54} & \class{red}{a_{55}} \end{array}\right| = & - \left|\begin{array}{ccccc} a_{11} & a_{13} & \class{blue}{a_{12}} & a_{14} & \class{red}{a_{15}} \\ a_{21} & a_{23} & \class{blue}{a_{22}} & a_{24} & \class{red}{a_{25}} \\ \vdots & \vdots & \class{blue}{\vdots} & \vdots & \class{red}{\vdots} \\ \vdots & \vdots & \class{blue}{\vdots} & \vdots & \class{red}{\vdots} \\ a_{51} & a_{53} & \class{blue}{a_{52}} & a_{54} & \class{red}{a_{55}} \end{array}\right| = \\[2ex] + \left|\begin{array}{ccccc} a_{11} & a_{13} & a_{14} & \class{blue}{a_{12}} & \class{red}{a_{15}} \\ a_{21} & a_{23} & a_{24} & \class{blue}{a_{22}} & \class{red}{a_{25}} \\ \vdots & \vdots & \vdots & \class{blue}{\vdots} & \class{red}{\vdots} \\ \vdots & \vdots & \vdots & \class{blue}{\vdots} & \class{red}{\vdots} \\ a_{51} & a_{53} & a_{54} & \class{blue}{a_{52}} & \class{red}{a_{55}} \end{array}\right| = & - \left|\begin{array}{ccccc} a_{11}& a_{13} & a_{14} & \class{red}{a_{15}} & \class{blue}{a_{12}} \\ a_{21} & a_{23} & a_{24} & \class{red}{a_{25}} & \class{blue}{a_{22}} \\ \vdots & \vdots & \vdots & \class{red}{\vdots} & \class{blue}{\vdots} \\ \vdots & \vdots & \vdots & \class{red}{\vdots} & \class{blue}{\vdots} \\ a_{51} & a_{53} & a_{54} & \class{red}{a_{55}} & \class{blue}{a_{52}} \end{array}\right| = \\[2ex] + \left|\begin{array}{ccccc} a_{11} & a_{13} & \class{red}{a_{15}} & a_{14} & \class{blue}{a_{12}} \\ a_{21} & a_{23} & \class{red}{a_{25}} & a_{24} & \class{blue}{a_{22}} \\ \vdots & \vdots & \class{red}{\vdots} & \vdots & \class{blue}{\vdots} \\ \vdots & \vdots & \class{red}{\vdots} & \vdots & \class{blue}{\vdots} \\ a_{51} & a_{53} & \class{red}{a_{55}} & a_{54} & \class{blue}{a_{52}} \end{array}\right| =& -\left|\begin{array}{ccccc} a_{11} & \class{red}{a_{15}}& a_{13} & a_{14} & \class{blue}{a_{12}} \\ a_{21} & \class{red}{a_{25}}& a_{23} & a_{24} & \class{blue}{a_{22}} \\ \vdots & \class{red}{\vdots}& \vdots & \vdots & \class{blue}{\vdots} \\ \vdots & \class{red}{\vdots}& \vdots & \vdots & \class{blue}{\vdots} \\ a_{51} & \class{red}{a_{55}}& a_{53} & a_{54} & \class{blue}{a_{52}} \end{array}\right| \end{array} $$ Lastly we have to prove :::{paren-list} :start: 3 - If the multiple of one column of $A$ is added to another column, the determinant does not change. ::: First Rule (2) implies, as in {prf:ref}`Cor:DetRowReduction:EqualRows`, that a determinant with two equal columns has the value $0$. We then proceed as follows for Rule (3): $$ \begin{array}{l} \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_k + c\vect{a}_j \, \cdots \, \vect{a}_n)} = \\ \quad = \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_k \, \cdots \, \vect{a}_n)} + \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, c \vect{a}_j \,\cdots \, \vect{a}_n)} \\ \quad = \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_k \, \cdots \, \vect{a}_n)} + c \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_n)}\\ \quad = \det{(\vect{a}_1 \, \cdots \, \vect{a}_j \, \cdots \, \vect{a}_k \, \cdots \, \vect{a}_n)} + 0. \end{array} $$ This settles all matters. :::::: ## Grasple exercises ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/b34a791a-3f42-4d10-9952-f6f5699a68fb?id=104164 :label: grasple_exercise_5_3_1 :dropdown: :description: Effects of row operations on a $3\times3$-determinant. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/1d3924d9-ea34-4a89-8b7c-33e385d144ba?id=104312 :label: grasple_exercise_5_3_2 :dropdown: :description: Effects of row operations on a $3\times3$-determinant. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/1fcb337d-f906-423a-acd5-8d8c69d4d04b?id=93158 :label: grasple_exercise_5_3_3 :dropdown: :description: Effects of row and column operations on a $3\times3$-determinant. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/cabb663b-7b86-4215-81aa-0a3da91a5688?id=103719 :label: grasple_exercise_5_3_4 :dropdown: :description: Effects of several operations on a $4\times4$-determinant. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/1354915d-4cf4-4559-8ac2-68573807199d?id=103702 :label: grasple_exercise_5_3_5 :dropdown: :description: Effects of a several operations on a $4\times4$-determinant. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/63ac7c7c-c195-4b76-be9b-e8764f6dde1b?id=104023 :label: grasple_exercise_5_3_6 :dropdown: :description: Effects of row and/or column operations on a $4\times4$-determinant. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/882506bb-6a5e-479f-b095-bb5b95be2467?id=104166 :label: grasple_exercise_5_3_7 :dropdown: :description: To compute a $3\times3$-determinant using row reduction. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/993b010f-3351-4b98-b9b7-1d04c1c959be?id=93143 :label: grasple_exercise_5_3_8 :dropdown: :description: To compute a $4\times4$-determinant with quite a few zeros. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/2d51357d-e56d-4de5-a882-493a795fd222?id=93144 :label: grasple_exercise_5_3_9 :dropdown: :description: To compute a $4\times4$-determinant via reduction and expansion. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/9974012a-1ac9-439f-919f-2647be1ba4ba?id=92965 :label: grasple_exercise_5_3_10 :dropdown: :description: To compute a 'random' $5\times5$-determinant with entries in $\{-2,-1,0,1,2\}$. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/4a01fc67-0acc-44aa-9ba2-18c1accae720?id=93145 :label: grasple_exercise_5_3_11 :dropdown: :description: Computing a structured $5\times5$-determinant in a 'smart' way. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/f2e09cfe-9d88-4f7b-a295-bad7feda89e5?id=93150 :label: grasple_exercise_5_3_12 :dropdown: :description: Finding a parameter such that a determinant has a prescribed value. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/35bff21c-6434-4e4a-b154-965de08479c0?id=93146 :label: grasple_exercise_5_3_13 :dropdown: :description: Checking linear (in)dependence of $\vect{a}_1,\vect{a}_2,\vect{a}_3$ in $\mathbb{R}^3$ via determinants. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/7c4c18ba-96ba-432a-97b0-0a269a0a9f55?id=93147 :label: grasple_exercise_5_3_14 :dropdown: :description: Checking linear (in)dependence of $\vect{a}_1,\vect{a}_2,\vect{a}_3,\vect{a}_4$ in $\mathbb{R}^4$ via determinants. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/5deab9d8-20f3-4b59-b54e-3b61c981c8c7?id=93148 :label: grasple_exercise_5_3_15 :dropdown: :description: Checking invertibility of a matrix $A$ via $\det(A)$. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/c3f025b5-2ca4-48cb-a1f9-4e144c8bc258?id=93149 :label: grasple_exercise_5_3_16 :dropdown: :description: Finding a parameter $h$ (in a matrix $A$) such that $A$ is invertible. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/a5713d1f-696b-42e5-ab74-553eec26b00b?id=93151 :label: grasple_exercise_5_3_17 :dropdown: :description: To find $\det(PBP^{-1})$, for given $P$ and $B$. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/9ab31fa4-6686-4865-8d43-602dc1fe670e?id=93152 :label: grasple_exercise_5_3_18 :dropdown: :description: To combine several rules of determinants for a product involving three matrices $A$, $B$ and $C$. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/9ae9228f-ab17-4853-9995-e38e16d87c22?id=93153 :label: grasple_exercise_5_3_19 :dropdown: :description: To find $\det\left(A^k\right)$, for a given matrix $A$. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/8db6831f-2671-443a-af64-799d1d0d9179?id=93154 :label: grasple_exercise_5_3_20 :dropdown: :description: To find $\det\left(kA^{-1}B^T\right)$, for matrices $A$ and $B$. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/116e83e9-1db7-47ce-a2f3-ad398aee0201?id=93155 :label: grasple_exercise_5_3_21 :dropdown: :description: What can $\det (A)$ be, if $A^2 = kA$? :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/821d81b1-2cec-4fa4-b4a7-b1f9c32d6e06?id=93156 :label: grasple_exercise_5_3_22 :dropdown: :description: What about $\det(A+B) = \det(A) + \det(B)$? :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/5b89a008-2e3d-48a5-a764-0b1b6a3ec4dc?id=93157 :label: grasple_exercise_5_3_23 :dropdown: :description: True or false? $\det(A) = 0 \iff A$ has a row that is a multiple of another row. :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/e0bfbb0c-002f-485f-9b2f-5249938b6e40?id=93162 :label: grasple_exercise_5_3_24 :dropdown: :description: What happens to $\det(A)$ if the last column of $A$ becomes the first? :::::: ::::::{grasple} :iframeclass: dark-light :url: https://embed.grasple.com/exercises/41f5ca17-ab3e-4487-b5fa-ee325cae85aa?id=93164 :label: grasple_exercise_5_3_25 :dropdown: :description: What happens to $\det(A)$ if the order of the rows is reversed? :::::: At the end a non-Grasple exercise. ::::::{exercise} :label: Exc:DetRowReduction:EqualRows Give an alternative proof of {prf:ref}`Cor:DetRowReduction:EqualRows` using Rule i. and Rule ii. of {prf:ref}`Prop:DetRowReduction:RowOps`. :::::: ::::::{admonition} Solution to {numref}`Exc:DetRowReduction:EqualRows` :class: solution, dropdown Suppose $A$ is a matrix with two equal rows, say row $i$ and row $j$ are equal. If we subtract the $i$-th row from the $j$-th row, we get a matrix $A_2$ with $j$-th row equal to zero, and with $\det(A_2) = \det(A)$. If we take the factor $0$ out, we see that $\det(A_2) = 0$. For instance, with a $4\times 4$-matrix with equal second and fourth row we would have $$ \begin{vmatrix} a_{11} & a_{12} & a_{13} & a_{14} \\ \class{blue}{a_{21}} & \class{blue}{a_{22}} & \class{blue}{a_{23}} & \class{blue}{a_{24}} \\ a_{31} & a_{32} & a_{33} & a_{34} \\ \class{blue}{a_{21}} & \class{blue}{a_{22}} & \class{blue}{a_{23}} & \class{blue}{a_{24}} \end{vmatrix} = \begin{vmatrix} a_{11} & a_{12} & a_{13} & a_{14} \\ a_{21} & a_{22} & a_{23} & a_{24} \\ a_{31} & a_{32} & a_{33} & a_{34} \\ \class{blue}0 & \class{blue}0 &\class{blue} 0 & \class{blue}0 \end{vmatrix}. $$ Expansion of the last determinant across its fourth row yields the value $0$. ::::::