Consider the generic \(2\times 2\) matrix \(A\) and the “mixed up” version \(A_{\mathrm{mix}}\text{:}\)
\begin{align*}
A \amp = \begin{bmatrix} a \amp b \\ c \amp d \end{bmatrix},
\amp
A_{\mathrm{mix}} \amp = \begin{abmatrix}{rr} d \amp -c \\ -b \amp a \end{abmatrix}.
\end{align*}
Recall that if the product of two square matrices is equal to \(I\text{,}\) then those matrices must be inverses of each other (Proposition 6.5.4 and Proposition 6.5.6). With this knowledge, compare equation (✶✶) with Proposition 5.5.4.
The goal of this and the next two discovery guides (along with the corresponding chapters) is to develop something similar to the results of the first discovery activity above for larger square matrices. First, we will start by extending the \(2\times 2\) formula \(a d - b c\text{.}\) This formula determines whether a \(2\times 2\) matrix is invertible or not, so we call it the determinant of the matrix.
So before attempting to compute \(\inv{A}\text{,}\) we can determine whether this attempt will be successful by looking at the matrix \(A = \begin{bmatrix} a \end{bmatrix}\) and considering the single number .
For an \(n \times n\) matrix with \(n \gt 1\text{,}\) the \(\nth[(i,j)]\) minor (denoted \(M_{ij}\)) is the determinant of the smaller submatrix obtained by removing the row and column that contain the \(\nth[(i,j)]\) entry.
The \(\nth[(i,j)]\) cofactor of a matrix (denoted \(C_{ij}\)) is defined to be the \(\nth[(i,j)]\) minor, except that we multiply it by \(-1\) when \(i+j\) is odd. That is, \(C_{ij} = (-1)^{i+j} M_{ij}\text{.}\) Compute all four cofactors (\(C_{11},C_{12},C_{21},C_{22}\)) for the matrix from Discovery 8.3. (You’ve already computed the minors, now you just need to make some of them negative.)
We now initially define the determinant of a matrix to be a combination of entries and cofactors along the first row. To compute the determinant, multiply each entry in the first row by its own cofactor, and then add all these together. For a \(2\times 2\) matrix, the formula is
\begin{equation*}
\det A = a_{11}C_{11} + a_{12}C_{12}.
\end{equation*}
Use this formula to compute the determinant of the matrix from Discovery 8.3.
Use the same sort of “cofactor expansion along the first row” as before; that is, “entry times cofactor plus entry times cofactor plus entry times cofactor …” along the first row, except now your cofactor calculations will involve \(2\times 2\) determinants.
Recall the cofactor formula: \(C_{ij} = (-1)^{i+j} M_{ij}\text{.}\) The \((-1)^{i+j}\) part will be \(1\) when \(i+j\) is even and \(-1\) when \(i+j\) is odd. In a \(2\times 2\) matrix this makes a pattern: \(\left[\begin{smallmatrix}+ \amp -\\- \amp +\end{smallmatrix}\right]\text{.}\)
Using your finding from Discovery 8.8 as appropriate, come up with simple formulas for the determinant of diagonal matrices, upper triangular matrices, and lower triangular matrices.
