Now that you are familiar with the determinant of matrices of size , you will know its definition for square matrices of any size.
You'll even derive a general formula for the determinant of any matrix of size . In addition, you'll identify some of the matrices whose determinant is very easy to calculate. Get ready to practice a lot!
The building blocks
You already know that the determinant of a matrix is . Maybe it's easy to grasp but not so easy to remember.
A good tip is to think about it in terms of the diagonals of the matrix. The determinant is just the product of its forward diagonal minus the product of its backward diagonal:
But what about the determinant of larger matrices? The focus here will be to define the determinant of matrices through the determinant of several matrices. And you'll use just the same strategy to define the determinant of any matrix in terms of the determinant of several matrices.
Before you go any further on this road, you need to know a bit of terminology.
The protagonists: minors and cofactors
In order to define the determinant of a larger matrix, you are going to start extracting smaller sub-matrices from it.
Let's take a square matrix of size and assume that you've already defined the determinant for matrices of size .
The -minor of , denoted as , is the determinant of the matrix that you obtain by deleting the -th row and -th column of .
Let's illustrate this with a matrix of size :
For example, the minor of is the determinant of the matrix that results from eliminating the first row and first column of :
In turn, the minor of is the determinant of the matrix that results from eliminating the second row and the third column of A.
Let's see the last ingredient you need. The determinant has a certain "alternation" behavior. This is a very particular quality and is manifested in the fact that you need to slightly alter the minors by multiplying them by a simple factor. In some cases, this factor is simply and in the rest is . The -cofactor of is:
This means that the factor of the is when is even, and when it is odd. In the previous example, the factor of is then and the factor of is . Thus and
You can visualize the behavior of this factor as if it were a chessboard. White entries have a factor of while dark entries have a factor of
The determinant of any square matrix
Now that you're familiar with cofactors, it's time to take the next step. Let's combine them all. We define the cofactor expansion along the -th row of as the linear combination of the cofactors of the entries of -th row, using the entries of that row as the coefficients (notice that are all the entries of the -th row of ):
Let's continue with the matrix from the previous section:
For example, the cofactor expansion along the first row from is:
If you calculate the expansion of the other two rows, you will notice that the result is the same! You can even define the cofactor expansion along the -th column in a similar way (here that are all the entries of the -th column of ):
Try to calculate the expansion along each column of the example matrix. Not only are they all the same, but their value is the same as the common value of the row expansions! This is more than a coincidence and is in fact true for any matrix. For this reason, we define the determinant of a matrix as any of these expansions!
If is a square matrix of size , then define its determinant as the value of its expansion along any row or column.
The important thing about the definition is that after having defined the determinant for matrices of size you can extend its definition for those of size , but then this definition is used for those of size and so on.
So, you can find the determinant of any square matrix of size by expanding along any row or column, and you will always have the same result. For example, if you choose the first row, then:
That's a pretty hard number to memorize. But you can remember it with a trick similar to the one you used for matrices of size . The positive terms are the products of the possible diagonals of the matrix, while the negative terms are the products of the possible backward diagonals:
Putting theory to work
Let's see some examples. What better than starting with the simplest matrices, the upper triangular matrices? They only have zeros below their diagonal. For instance:
Their determinant is extremely easy to calculate, it's simply the product of its main diagonal! Actually, the same result holds for lower triangular matrices (those that only have zeros below their diagonal), no matter how big they are.
Proof
The case the result is obvious: .
The trick of the proof is that we can always expand by cofactors with respect to the first column. Since it only has one entry other than 0, its determinant is simply the first entry multiplied by its cofactor.
In general, for any , having proved the result for , we can easily extend it for . This technique is called mathematical induction. Let's see it in action. If the result holds for , then for :
Here's a little shortcut: if the matrix is upper triangular and one of its diagonal entries is , then its determinant is .
Let's end up with a slightly larger matrix, say :
Remember that to calculate the determinant, you can expand along any row or column you want. The best strategy is to choose one that has a lot of 's, as this will reduce the number of cofactors you have to calculate. If you look closely, the second column has a lot of zeros, so it's a good candidate:
Great, now there is only one determinant to solve for a matrix of size . If you define:
Then . But now, which is the best row or column to expand along? Undoubtedly the fourth row, since it has zeros.
Now there are determinants of size . You can either use the explicit formula or expand across its third line (because it has a ).
For the first one:
And for the second one:
Thus, . Finally,
Conclusion
Let's take a square matrix of size
-
The -minor of , denoted as , is the determinant of the matrix that you obtain by deleting the -th row and -th column of .
-
The -cofactor of is .
-
The cofactor expansion along the -th row of is .The cofactor expansion along the -th column of is .
-
The determinant of is the value of its expansion along any row or column.
-
The determinant of a matrix of size is .
-
The determinant of a triangular matrix is the product of its diagonal.