Systems of Linear Equations
This chapter establishes the foundational principles for solving systems of linear equations, a cornerstone of linear algebra. Mastery of Gaussian Elimination and determinants is critical for subsequent advanced topics and frequently assessed in examinations for its direct application in problem-solving.
---
Chapter Contents
|
| Topic |
|---|-------| | 1 | Gaussian Elimination | | 2 | Determinants |---
We begin with Gaussian Elimination.
Part 1: Gaussian Elimination
Gaussian elimination is a fundamental algorithm for solving systems of linear equations by systematically transforming the system's augmented matrix into row echelon form. This process allows for straightforward determination of solution existence and uniqueness.
---
Core Concepts
1. Systems of Linear Equations and Augmented Matrices
We define a system of linear equations as a set of linear equations involving the same variables. An augmented matrix represents such a system by combining the coefficient matrix and the constant terms.
A system of linear equations in variables is given by:
The augmented matrix for a system of linear equations is formed by appending the column vector to the coefficient matrix .
Worked Example:
Consider the system of equations:
Step 1: Identify coefficients and constants.
> The coefficients are and constants are .
Step 2: Construct the augmented matrix.
>
Answer: The augmented matrix is .
:::question type="MCQ" question="Which of the following is the correct augmented matrix for the system of equations:
" options=["
","
","
","
"] answer="
" hint="The augmented matrix combines coefficients and constants, separated by a vertical line." solution="The system is and .
The coefficients of are 1 and 3.
The coefficients of are -2 and 1.
The constants are 5 and -1.
Thus, the augmented matrix is formed by placing the coefficients on the left of the bar and constants on the right.
>
This matches the first option."
:::
---
2. Elementary Row Operations
Elementary row operations (EROs) are fundamental transformations applied to the rows of an augmented matrix that do not change the solution set of the corresponding system of linear equations.
The three types of elementary row operations are:
- Row Swap: Interchanging two rows ().
- Row Scaling: Multiplying a row by a non-zero scalar (, where ).
- Row Addition: Adding a scalar multiple of one row to another row ().
Worked Example:
Consider the matrix:
Step 1: Apply the ERO .
>
Step 2: Apply the ERO to the new matrix.
>
Step 3: Apply the ERO to the new matrix. (Using original for context, or the current ). Let's use the matrix from Step 2.
>
>
Answer: The resulting matrix after the operations is .
:::question type="MCQ" question="Given the matrix , which sequence of elementary row operations transforms into a matrix where the element in the position is 0?" options=["","","","None of the above"] answer="" hint="The element in the position is 2. To make it 0, subtract a multiple of the first row from the second row." solution="The element in the position is 2.
We want to perform an operation to make this element 0.
Option A: .
The new second row will be .
The element in the position becomes 0.
Option B: . This swaps the rows, placing 2 in and 1 in , so the element is still 1, not 0.
Option C: . This scales the second row, making the element , not 0.
Therefore, is the correct operation.
>
"
:::
---
3. Row Echelon Form (REF)
Gaussian elimination aims to transform an augmented matrix into Row Echelon Form (REF) using elementary row operations.
A matrix is in row echelon form if it satisfies the following conditions:
- All non-zero rows are above any rows of all zeros.
- The leading entry (pivot) of each non-zero row is to the right of the leading entry of the row above it.
- All entries in a column below a leading entry are zero.
Worked Example:
Transform the following matrix into Row Echelon Form:
Step 1: Swap and to get a non-zero leading entry in .
>
Step 2: Make the leading entry of equal to 1 (optional, but good practice). .
>
Step 3: Eliminate the entry below the leading 1 in . .
>
Step 4: Make the leading entry of equal to 1. .
>
Step 5: Eliminate the entry below the leading 1 in . .
>
Step 6: Make the leading entry of equal to 1. .
>
Answer: The matrix in Row Echelon Form is .
:::question type="MCQ" question="Which of the following matrices is in Row Echelon Form (REF)?" options=["
","
","
","
"] answer="
" hint="Check the conditions for REF: non-zero rows above zero rows, leading entries move right, zeros below leading entries." solution="Let's check each option against the REF conditions:
The leading entry of (1 in column 2) is to the left of the leading entry of (1 in column 3). This violates condition 2.
All conditions are met. Leading entries are 1s, they move to the right, and all entries below leading entries are zero. This is also in RREF.
The row of all zeros () is not at the bottom. This violates condition 1.
The leading entry of (1 in column 1) is to the left of the leading entry of (1 in column 2). This violates condition 2.
Therefore, only the second option is in Row Echelon Form."
:::
---
4. Reduced Row Echelon Form (RREF)
Gauss-Jordan elimination further transforms the matrix from REF into Reduced Row Echelon Form (RREF). This form simplifies back-substitution.
A matrix is in reduced row echelon form if it satisfies the conditions for REF, plus:
- Each leading entry is 1.
- Each column containing a leading entry has zeros everywhere else.
Worked Example:
Transform the following matrix into Reduced Row Echelon Form:
(This is the REF matrix from the previous example.)
Step 1: Use to create zeros above its leading 1 (in column 5).
and .
>
>
Step 2: Use to create zeros above its leading 1 (in column 3).
.
>
Answer: The matrix in Reduced Row Echelon Form is .
:::question type="MCQ" question="Which of the following matrices is in Reduced Row Echelon Form (RREF)?" options=["
","
","
","
"] answer="
" hint="Check all RREF conditions, especially that columns with leading entries have zeros elsewhere." solution="Let's check each option against the RREF conditions:
This matrix satisfies all REF conditions. The leading entries are 1s. Column 1 (pivot for ) has zeros below it. Column 2 (pivot for ) has zeros above and below it. This matrix is in RREF.
The leading entry in is 1 in column 2. The entry above it in column 2 is 0. However, the element is 1, not 0. This is in REF, but not RREF because the column with a leading entry (column 2) does not have zeros everywhere else (it's fine, the 1 in (2,3) is not in a pivot column). But it's not RREF because the leading entry in is not the only non-zero entry in its column and the leading entry in (at (1,1)) is not the only non-zero entry in its column above it. The definition states 'Each column containing a leading entry has zeros everywhere else'. Column 2 contains a leading entry (1 at (2,2)), but the entry (1,2) is 0, which is correct. The matrix is in RREF. My initial thought process was incorrect for this option. Let's re-evaluate.
Okay, let's re-evaluate option 2 carefully.
- Condition 1 (REF): All non-zero rows are above zero rows. (Met)
- Condition 2 (REF): Leading entry of each non-zero row is to the right of the leading entry of the row above it. (Met: (1,1) then (2,2))
- Condition 3 (REF): All entries in a column below a leading entry are zero. (Met)
- Condition 4 (RREF): Each leading entry is 1. (Met)
- Condition 5 (RREF): Each column containing a leading entry has zeros everywhere else.
- Column 1 (leading entry 1 at (1,1)): All other entries are 0. (Met)
- Column 2 (leading entry 1 at (2,2)): All other entries are 0. (Met)
So option 2 is in RREF. This implies there might be multiple correct answers or I misjudged option 1.
Let's re-check option 1:
- Condition 1 (REF): Met.
- Condition 2 (REF): Met.
- Condition 3 (REF): Met.
- Condition 4 (RREF): Met.
- Condition 5 (RREF):
- Column 1 (leading entry 1 at (1,1)): All other entries are 0. (Met)
- Column 2 (leading entry 1 at (2,2)): All other entries are 0. (Met)
So option 1 is also in RREF.
This means the question is flawed if it's MCQ asking for the RREF matrix. It should be MSQ. I need to make sure my questions have only one correct answer for MCQ. Let's adjust the options.
Let's make option 2 NOT RREF. Change to something that violates RREF.
Original Options:
1.
(RREF)
2.
(RREF)
3.
(REF, but not RREF because (1,2) is not 0, and column 2 is not a pivot column, so it's fine. But (1,2) is non-zero and not a pivot. This is RREF. Let's re-examine RREF rules. Ah, 'Each column containing a leading entry has zeros everywhere else.' Column 1 has a leading entry, (1,1), and is all zeros elsewhere. Column 3 has a leading entry (2,3), and is all zeros elsewhere. Column 2 does not have a leading entry. So this is RREF too!)
My understanding of RREF for question generation might be slightly off. Let's be very precise:
1. All non-zero rows are above any rows of all zeros.
2. The leading entry (pivot) of each non-zero row is to the right of the leading entry of the row above it.
3. All entries in a column below a leading entry are zero.
4. Each leading entry is 1.
5. Each column containing a leading entry has zeros everywhere else (above and below).
Let's re-check based on this strict definition:
1.
- Pivots: (1,1), (2,2). Both are 1.
- Column 1 (pivot): (1,1) is 1, (2,1)=0, (3,1)=0. OK.
- Column 2 (pivot): (2,2) is 1, (1,2)=0, (3,2)=0. OK.
- All other REF conditions met. This IS RREF.
2.
- Pivots: (1,1), (2,2). Both are 1.
- Column 1 (pivot): (1,1) is 1, (2,1)=0, (3,1)=0. OK.
- Column 2 (pivot): (2,2) is 1, (1,2)=0, (3,2)=0. OK.
- All other REF conditions met. This IS RREF.
3.
- Pivots: (1,1), (2,3). Both are 1.
- Column 1 (pivot): (1,1) is 1, (2,1)=0, (3,1)=0. OK.
- Column 3 (pivot): (2,3) is 1, (1,3)=0, (3,3)=0. OK.
- All other REF conditions met. This IS RREF.
This is problematic. I cannot have three RREF options for an MCQ. I need to make them clearly NOT RREF.
New options for RREF question:
A)
(Not RREF: (1,2) should be 0)
B)
(RREF - Identity matrix)
C)
(RREF - Pivots (1,1) and (2,3). Column 1 has zeros elsewhere. Column 3 has zeros elsewhere. This is RREF. Still two RREF options.)
Okay, I will ensure only one option is RREF.
Let's use a simpler example for the question.
Revised Question for RREF:
:::question type="MCQ" question="Which of the following matrices is in Reduced Row Echelon Form (RREF)?" options=["
","
","
","
"] answer="
" hint="Check all RREF conditions, especially that columns with leading entries have zeros everywhere else." solution="Let's check each option against the RREF conditions:
1.
This matrix is in REF, but not RREF because the leading entry in (at (2,2)) has a non-zero entry above it (2 at (1,2)). Also, the leading entry in (at (3,3)) has non-zero entries above it (3 at (1,3) and 4 at (2,3)).
2.
This matrix satisfies all RREF conditions. Each leading entry is 1, and each column containing a leading entry has zeros everywhere else.
3.
This matrix is in RREF. My previous analysis was correct for this one. This means I need to make one of the other options clearly not RREF.
4.
This matrix is in RREF.
This is still problematic for an MCQ. I must select one answer. I will stick to the simplest RREF for the answer, and make the others clearly not.
Let's make option 1 and 3 not RREF.
Option 1: Already not RREF.
Option 3: Make it not RREF.
Option 4: Make it not RREF.
Final attempt for RREF question options:
A)
(Not RREF: (1,2) should be 0)
B)
(RREF - Identity matrix)
C)
(Not RREF: (2,3) is non-zero, but column 3 is not a pivot column. This is RREF. The condition is 'Each column containing a leading entry has zeros everywhere else'. Column 2 has a leading entry (2,2). It's fine for (2,3) to be non-zero. So this is RREF.)
Okay, I am overthinking the RREF question generation. I will pick one RREF matrix, and for the other options, I will introduce clear violations like non-zero entries above a pivot, or pivots not being 1, or rows of zeros not at the bottom. The identity matrix is always RREF and is a safe bet for the answer.
Let's use the current question and make sure ONLY one is RREF.
The current options are:
1.
(REF, NOT RREF) - Good.
2.
(RREF) - This will be the answer.
3.
(RREF) - Problematic. I need to change this. Let's make it REF but not RREF.
Change to:
(This is RREF too. Let's make it not REF. Swap rows 2 and 3:
Not REF. Or make it so a pivot column has non-zero above.
This is REF, not RREF (1,2) is non-zero).
4.
(RREF) - Problematic.
Okay, I will make the options extremely clear. Only one RREF.
Revised RREF question:
:::question type="MCQ" question="Which of the following matrices is in Reduced Row Echelon Form (RREF)?" options=["
","
","
","
"] answer="
" hint="A matrix in RREF must have leading 1s, zeros everywhere else in pivot columns, and pivots moving right with zero rows at the bottom." solution="Let's check each option against the RREF conditions:
1.
This matrix is not in RREF because the leading entry in (at (2,2)) has a non-zero entry above it (2 at (1,2)). For RREF, all entries in a pivot column must be zero except for the pivot itself.
2.
This matrix satisfies all RREF conditions. Each leading entry is 1, and each column containing a leading entry has zeros everywhere else. This is the identity matrix, which is always in RREF.
3.
This matrix is not in RREF because the row of all zeros is not at the bottom (it doesn't have a row of all zeros, but the leading entry of (1 at (3,2)) is to the left of the leading entry of (1 at (2,3)). This violates the pivot-right condition for REF.
4.
This matrix is not in RREF because the leading entry of (1 at (2,1)) is to the left of the leading entry of (1 at (1,2)). This violates the pivot-right condition for REF.
Therefore, only the second option is in Reduced Row Echelon Form."
:::
---
5. Solving Systems using Gaussian Elimination (Unique Solution)
Once an augmented matrix is in REF or RREF, the system can be solved using back-substitution (from REF) or direct reading (from RREF). A unique solution exists if there is a pivot position in every column corresponding to a variable.
Worked Example:
Solve the system of equations using Gaussian Elimination:
Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Continue to REF.
>
Step 4: Perform back-substitution.
From : .
From : .
From : .
Answer: The unique solution is .
:::question type="NAT" question="Solve the following system of equations for :
" answer="1" hint="Convert to an augmented matrix and use Gaussian elimination to find . Then provide the value of ." solution="Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Continue to REF.
>
Step 4: Continue to REF.
>
Step 5: Perform back-substitution.
From : .
From : .
From : .
Wait, there was a mistake in my manual calculation for .
.
Let's re-check the question's answer. The question's answer is 1. My calculation is 29.
Let's trace again.
Original problem:
Augmented matrix:
:
:
:
.
This is correct.
Matrix in REF:
Back substitution:
. (Correct)
. (Correct)
. (Correct)
The provided `answer="1"` for the question is incorrect based on my derivation. I will update the answer to `29`. It's crucial for the answer and solution to match.
Final check of the question and my solution for :
Question asks for . My solution gives . The answer should be .
Answer: 29"
:::
---
6. Inconsistent Systems (No Solution)
A system of linear equations has no solution if, during Gaussian elimination, a row in the augmented matrix transforms into a form where the coefficient part is all zeros, but the constant term is non-zero. This corresponds to an equation like , where .
Worked Example:
Determine if the following system has a solution:
Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Continue to REF.
>
Step 4: Continue to REF.
>
The last row corresponds to the equation , which has a solution . This system is not inconsistent. My example needs to be truly inconsistent. Let me pick a different example or adjust this one.
Let's modify the example to be inconsistent:
Consider the system:
Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Observe the result.
> The second row corresponds to the equation , or . This is a contradiction.
Answer: The system is inconsistent and has no solution.
:::question type="MCQ" question="Which of the following augmented matrices in Row Echelon Form indicates an inconsistent system of linear equations?" options=["
","
","
","
"] answer="
" hint="An inconsistent system will have a row representing where ." solution="Let's analyze each option:
This matrix represents a system with a unique solution ().
This matrix represents a system with infinitely many solutions (one free variable, ).
The last row of this matrix represents the equation , or . This is a contradiction, indicating that the system has no solution.
This matrix represents a system with infinitely many solutions (two free variables, and ).
Therefore, the third option indicates an inconsistent system."
:::
---
7. Consistent Dependent Systems (Infinite Solutions)
A system has infinitely many solutions if, after reducing the augmented matrix to REF, there are fewer pivot positions (leading 1s) than variables, and no row represents a contradiction (). The variables corresponding to columns without pivots are called free variables.
Worked Example:
Solve the system of equations:
Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Continue to REF.
>
Step 4: Continue to REF.
>
Step 5: Convert to RREF (optional, but makes expressing solutions easier).
>
Step 6: Express the solution.
From : .
From : .
Here, is a free variable. Let , where .
Answer: The solution set is for any real number .
:::question type="MCQ" question="Consider the system of equations represented by the following augmented matrix in RREF:
Which of the following describes the solution set?" options=["Unique solution","No solution","Infinitely many solutions with one free variable","Infinitely many solutions with two free variables"] answer="Infinitely many solutions with two free variables" hint="Count the number of variables and the number of pivot positions." solution="The augmented matrix is in RREF:
There are 4 variables () and 2 pivot positions (in columns 1 and 3, corresponding to and ).
The number of free variables is the number of variables minus the number of pivot positions: .
Since there are free variables and no inconsistent rows (), the system has infinitely many solutions.
The free variables are and .
From : .
From : .
Let and .
Then , , , .
This confirms infinitely many solutions with two free variables.
Thus, the system has infinitely many solutions with two free variables."
:::
---
8. Homogeneous Systems
A homogeneous system of linear equations is one where all the constant terms are zero. Such systems always have at least one solution, the trivial solution where all variables are zero. Non-trivial solutions exist if there are free variables.
A system of linear equations is homogeneous if the constant vector is the zero vector.
Worked Example:
Solve the homogeneous system:
Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Express the solution.
The matrix is in RREF. There is one pivot variable () and two free variables ().
From : .
Let and , where .
Answer: The solution set is for any real numbers . This system has infinitely many non-trivial solutions in addition to the trivial solution .
:::question type="MSQ" question="Which of the following statements are true about a homogeneous system of linear equations ?" options=["It always has at least one solution.","It can have no solution.","It has infinitely many solutions if there are free variables.","If , it has only the trivial solution."] answer="It always has at least one solution.,It has infinitely many solutions if there are free variables.,If , it has only the trivial solution." hint="Recall the definition of a homogeneous system and how the number of solutions is determined by pivots and rank." solution="Let's analyze each statement:
Therefore, statements 1, 3, and 4 are true."
:::
---
Advanced Applications
Gaussian elimination can be used to analyze systems with parameters, determining conditions for unique, no, or infinite solutions.
Worked Example:
For what values of does the following system have (a) a unique solution, (b) no solution, (c) infinitely many solutions?
Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Continue to REF.
>
Step 4: Simplify the last entry in .
.
The augmented matrix in REF is:
>
Step 5: Analyze for different solution types based on the last row.
The last row corresponds to the equation .
(a) Unique solution: A unique solution exists if there are no free variables and no inconsistent rows. Here, the third column does not have a pivot, so is a free variable. This system can never have a unique solution.
(b) No solution: This occurs if is false, i.e., .
This means and .
In this case, the last row becomes , which is a contradiction.
(c) Infinitely many solutions: This occurs if is true, i.e., .
This means or .
In these cases, the last row becomes , which is consistent. Since there is a free variable (), there will be infinitely many solutions.
Answer:
(a) Unique solution: Never.
(b) No solution: and .
(c) Infinitely many solutions: or .
:::question type="MCQ" question="For what value of does the following system have no solution?
" options=["","","",""] answer="" hint="Form the augmented matrix and reduce it to REF. Look for a condition where ." solution="Step 1: Write the augmented matrix.
>
Step 2: Apply EROs to get to REF.
>
Step 3: Continue to REF.
>
Step 4: Analyze for no solution.
The last row is , which means the system is always consistent. There are no values of for which this system has no solution.
My example for the question needs to yield an inconsistent case for a specific value of .
Let me modify the question or the solution.
Let's modify the system to make it inconsistent for some .
Consider:
(changed constant in 3rd equation)
Step 1: Augmented matrix.
>
Step 2: EROs.
>
Step 3: Continue to REF.
>
Step 4: Analyze for no solution.
The last row corresponds to , or . This is a contradiction.
This means the system is always inconsistent, regardless of . This is not what the question is asking for.
I need a system where on the right.
New example for the question:
This is similar to my worked example for inconsistent systems.
Let's make sure the options are relevant.
Consider this system:
Step 1: Augmented matrix.
>
Step 2: EROs.
>
Step 3: Analyze for no solution.
The second row corresponds to .
The third row is .
For the system to have no solution, the equation must be a contradiction. This happens if , because then it becomes , or , which is false.
If , then , and we would have infinitely many solutions (with as a free variable).
So, the system has no solution when .
This matches the provided options and desired logic.
Answer: "
:::
---
Problem-Solving Strategies
When solving systems with parameters, always reduce the augmented matrix to Row Echelon Form. The conditions for unique, no, or infinite solutions will emerge from the last non-zero row(s) and the presence of free variables. Pay close attention to expressions that can become zero or non-zero based on the parameter.
---
Common Mistakes
❌ Mistake: Forgetting to apply an ERO to the constant column in an augmented matrix.
✅ Correct approach: Every elementary row operation must be applied across the entire row, including the augmented part.
❌ Mistake: Confusing REF and RREF conditions, especially regarding zeros above leading entries.
✅ Correct approach: In RREF, every column containing a leading entry must have zeros everywhere else (above and below the leading entry). In REF, only zeros below the leading entry are required.
❌ Mistake: Incorrectly interpreting a row of zeros in REF/RREF.
✅ Correct approach: A row like implies inconsistency if and infinite solutions if (provided other rows don't yield a unique solution). A row like always indicates a consistent system, potentially with free variables.
---
Practice Questions
:::question type="MCQ" question="Which of the following operations is NOT an elementary row operation?" options=["Multiplying a row by a non-zero scalar.","Adding a multiple of one row to another row.","Swapping two rows.","Multiplying a row by zero."] answer="Multiplying a row by zero." hint="Elementary row operations must be reversible to preserve the solution set of the system." solution="The three elementary row operations are:
Multiplying a row by zero would eliminate that row, potentially changing the rank of the matrix and altering the solution set in a non-reversible way. Thus, it is not an elementary row operation."
:::
:::question type="NAT" question="After applying Gaussian elimination, an augmented matrix for a system of 3 equations in 3 variables () is in Row Echelon Form as:
What is the value of ?" answer="4" hint="Use back-substitution starting from the last row." solution="The system of equations represented by the matrix is:
Step 1: From equation (3), we have .
Step 2: Substitute into equation (2):
Step 3: Substitute and into equation (1):
The value of is 4."
:::
:::question type="MSQ" question="Consider the augmented matrix of a system of linear equations that has been reduced to Row Echelon Form:
Which of the following statements are true about the solution to this system?" options=["The system has a unique solution.","The system is consistent.","There are two free variables.","The variable is a free variable."] answer="The system is consistent.,There are two free variables." hint="Identify pivot variables and free variables. Check for consistency." solution="Let the variables be .
The matrix is:
Therefore, statements 2 and 3 are true."
:::
:::question type="NAT" question="Determine the value of for which the following system has infinitely many solutions:
" answer="2" hint="Reduce the augmented matrix to REF. For infinitely many solutions, you need a row of zeros on both sides of the bar in the coefficient matrix, and no inconsistent rows." solution="Step 1: Write the augmented matrix.
>
Step 2: Apply EROs.
>
Step 3: Continue to REF.
>
>
Step 4: Analyze for infinitely many solutions.
For infinitely many solutions, the last row must represent and there must be free variables. This requires the coefficient to be zero.
.
Wait, let's re-check my example.
If , the matrix is:
Here, is a free variable, so there are infinitely many solutions.
So is the answer.
My solution and answer do not match. The question asks for such that the system has infinitely many solutions. My derivation yields . The provided answer is .
Let's check for .
If , the matrix is:
This system has a unique solution: , , .
So results in a unique solution, not infinitely many.
The question or the answer needs to be corrected. I will correct the answer to .
Answer: 3"
:::
:::question type="MCQ" question="A system of linear equations is represented by an augmented matrix . If, after Gaussian elimination, is reduced to an REF where the last row is , what can be concluded about the system?" options=["It has a unique solution.","It has infinitely many solutions.","It is inconsistent.","It is a homogeneous system."] answer="It is inconsistent." hint="A row of zeros on the left side of the bar and a non-zero on the right side indicates a contradiction." solution="The row corresponds to the equation , or simply . This is a false statement (a contradiction). When Gaussian elimination leads to a contradiction, the system of linear equations has no solution. Such a system is called inconsistent.
- A unique solution would have a pivot in every variable column and no inconsistent rows.
- Infinitely many solutions would have free variables and no inconsistent rows.
- A homogeneous system has all constant terms equal to zero."
---
Summary
|
| Concept | Expression |
|---|----------------|------------| | 1 | Augmented Matrix | | | 2 | Elementary Row Operations | , , | | 3 | Row Echelon Form (REF) | Leading entries move right, zeros below pivots, zero rows at bottom. | | 4 | Reduced Row Echelon Form (RREF) | REF + leading entries are 1s, zeros everywhere else in pivot columns. | | 5 | Unique Solution | Pivot in every variable column in REF, no inconsistent rows. | | 6 | No Solution (Inconsistent) | A row like with in REF. | | 7 | Infinite Solutions (Consistent Dependent) | Fewer pivots than variables, no inconsistent rows in REF. | | 8 | Homogeneous System () | Always consistent (trivial solution ). Non-trivial solutions if free variables exist. |---
What's Next?
This topic connects to:
- Matrix Inverses: Gaussian elimination (specifically Gauss-Jordan) can be used to find the inverse of a matrix by augmenting it with the identity matrix .
- Determinants: The value of the determinant can indicate whether a system has a unique solution (non-zero determinant) or not (zero determinant).
- Vector Spaces and Subspaces: The solution set of a homogeneous system forms a null space, which is a vector subspace.
- Linear Transformations: Understanding how systems of equations relate to mapping vectors in one space to another.
---
Proceeding to Determinants.
---
Part 2: Determinants
Determinants are scalar values associated with square matrices, providing crucial information about matrix invertibility, linear independence of column/row vectors, and the scaling factor of linear transformations. We utilize determinants to solve systems of linear equations and characterize matrix properties.
---
Core Concepts
1. Definition for Small Matrices
For a square matrix , its determinant, denoted or , is a scalar value calculated from its elements. We begin with and matrices.
For ,
When to use: Calculating determinants for matrices.
Worked Example: Calculate the determinant of .
Step 1: Apply the determinant formula.
>
Step 2: Simplify the expression.
> $
\det(A) = 6 - 4
\det(A) = 2
<div class=…" style="color:#cc0000">Answer:
<div class="callout-box my-4 p-4 rounded-lg border bg-purple-500/10 border-purple-500/30">
<div class="flex items-center gap-2 font-semibold mb-2">
<span>📐</span>
<span>Determinant of a 3x3 Matrix (Sarrus' Rule)</span>
</div>
<div class="prose prose-sm max-w-none"><p>For <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi><mo>=</mo><mrow><mo fence="true">[</mo><mtable rowspacing="0.16em" columnalign="center center center" columnspacing="1em"><mtr><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>a</mi></mstyle></mtd><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>b</mi></mstyle></mtd><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>c</mi></mstyle></mtd></mtr><mtr><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>d</mi></mstyle></mtd><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>e</mi></mstyle></mtd><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>f</mi></mstyle></mtd></mtr><mtr><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>g</mi></mstyle></mtd><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>h</mi></mstyle></mtd><mtd><mstyle scriptlevel="0" displaystyle="false"><mi>i</mi></mstyle></mtd></mtr></mtable><mo fence="true">]</mo></mrow></mrow><annotation encoding="application/x-tex">A = \begin{bmatrix} a & amp; b & amp; c \\ d & amp; e & amp; f \\ g & amp; h & amp; i \end{bmatrix}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:3.6em;vertical-align:-1.55em;"></span><span class="minner"><span class="mopen"><span class="delimsizing mult"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:2.05em;"><span style="top:-4.05em;"><span class="pstrut" style="height:5.6em;"></span><span style="width:0.667em;height:3.600em;"><svg xmlns="http://www.w3.org/2000/svg" width="0.667em" height="3.600em" viewBox="0 0 667 3600"><path d="M403 1759 V84 H666 V0 H319 V1759 v0 v1759 h347 v-84<br>H403z M403 1759 V0 H319 V1759 v0 v1759 h84z"/></svg></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.55em;"><span></span></span></span></span></span></span><span class="mord"><span class="mtable"><span class="col-align-c"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:2.05em;"><span style="top:-4.21em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">a</span></span></span><span style="top:-3.01em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">d</span></span></span><span style="top:-1.81em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.03588em;">g</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.55em;"><span></span></span></span></span></span><span class="arraycolsep" style="width:0.5em;"></span><span class="arraycolsep" style="width:0.5em;"></span><span class="col-align-c"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:2.05em;"><span style="top:-4.21em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">b</span></span></span><span style="top:-3.01em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">e</span></span></span><span style="top:-1.81em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">h</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.55em;"><span></span></span></span></span></span><span class="arraycolsep" style="width:0.5em;"></span><span class="arraycolsep" style="width:0.5em;"></span><span class="col-align-c"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:2.05em;"><span style="top:-4.21em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">c</span></span></span><span style="top:-3.01em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.10764em;">f</span></span></span><span style="top:-1.81em;"><span class="pstrut" style="height:3em;"></span><span class="mord"><span class="mord mathnormal">i</span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.55em;"><span></span></span></span></span></span></span></span><span class="mclose"><span class="delimsizing mult"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:2.05em;"><span style="top:-4.05em;"><span class="pstrut" style="height:5.6em;"></span><span style="width:0.667em;height:3.600em;"><svg xmlns="http://www.w3.org/2000/svg" width="0.667em" height="3.600em" viewBox="0 0 667 3600"><path d="M347 1759 V0 H0 V84 H263 V1759 v0 v1759 H0 v84 H347z<br>M347 1759 V0 H263 V1759 v0 v1759 h84z"/></svg></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.55em;"><span></span></span></span></span></span></span></span></span></span></span></span>,<br><div class="math-display"><span class="katex-display"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mo>=</mo><mi>a</mi><mo stretchy="false">(</mo><mi>e</mi><mi>i</mi><mo>−</mo><mi>f</mi><mi>h</mi><mo stretchy="false">)</mo><mo>−</mo><mi>b</mi><mo stretchy="false">(</mo><mi>d</mi><mi>i</mi><mo>−</mo><mi>f</mi><mi>g</mi><mo stretchy="false">)</mo><mo>+</mo><mi>c</mi><mo stretchy="false">(</mo><mi>d</mi><mi>h</mi><mo>−</mo><mi>e</mi><mi>g</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\det(A) = a(ei - fh) - b(di - fg) + c(dh - eg)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">a</span><span class="mopen">(</span><span class="mord mathnormal">e</span><span class="mord mathnormal">i</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal" style="margin-right:0.10764em;">f</span><span class="mord mathnormal">h</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">b</span><span class="mopen">(</span><span class="mord mathnormal">d</span><span class="mord mathnormal">i</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal" style="margin-right:0.10764em;">f</span><span class="mord mathnormal" style="margin-right:0.03588em;">g</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">c</span><span class="mopen">(</span><span class="mord mathnormal">d</span><span class="mord mathnormal">h</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">e</span><span class="mord mathnormal" style="margin-right:0.03588em;">g</span><span class="mclose">)</span></span></span></span></span></div><br>This can be visualized as:<br><div class="math-display"><span class="katex-display"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mrow><mo stretchy="false">(</mo><mi>a</mi><mi>e</mi><mi>i</mi><mo>+</mo><mi>b</mi><mi>f</mi><mi>g</mi><mo>+</mo><mi>c</mi><mi>d</mi><mi>h</mi><mo stretchy="false">)</mo><mo>−</mo><mo stretchy="false">(</mo><mi>c</mi><mi>e</mi><mi>g</mi><mo>+</mo><mi>a</mi><mi>f</mi><mi>h</mi><mo>+</mo><mi>b</mi><mi>d</mi><mi>i</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(aei + bfg + cdh) - (ceg + afh + bdi)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mopen">(</span><span class="mord mathnormal">a</span><span class="mord mathnormal">e</span><span class="mord mathnormal">i</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.8889em;vertical-align:-0.1944em;"></span><span class="mord mathnormal">b</span><span class="mord mathnormal" style="margin-right:0.10764em;">f</span><span class="mord mathnormal" style="margin-right:0.03588em;">g</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">c</span><span class="mord mathnormal">d</span><span class="mord mathnormal">h</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mopen">(</span><span class="mord mathnormal">ce</span><span class="mord mathnormal" style="margin-right:0.03588em;">g</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.8889em;vertical-align:-0.1944em;"></span><span class="mord mathnormal">a</span><span class="mord mathnormal" style="margin-right:0.10764em;">f</span><span class="mord mathnormal">h</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">b</span><span class="mord mathnormal">d</span><span class="mord mathnormal">i</span><span class="mclose">)</span></span></span></span></span></div><br><strong>When to use:</strong> Calculating determinants for <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mn>3</mn><mo>×</mo><mn>3</mn></mrow><annotation encoding="application/x-tex">3 \times 3</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.7278em;vertical-align:-0.0833em;"></span><span class="mord">3</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">×</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.6444em;"></span><span class="mord">3</span></span></span></span></span> matrices. Not generalizable to <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>n</mi><mo>×</mo><mi>n</mi></mrow><annotation encoding="application/x-tex">n \times n</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6667em;vertical-align:-0.0833em;"></span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">×</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.4306em;"></span><span class="mord mathnormal">n</span></span></span></span></span>.</p></div>
</div>
Worked Example: Calculate the determinant of .
Step 1: Apply Sarrus' Rule.
>
\det(B) = 1(0 - 24) - 2(0 - 20) + 3(0 - 5)
\det(B) = 1(-24) - 2(-20) + 3(-5)
\det(B) = -24 + 40 - 15
\det(B) = 16 - 15
\det(B) = 1
:::question…" style="color:#cc0000">Answer:
:::question type="MCQ" question="What is the determinant of the matrix ?" options=["-7","-5","0","5"] answer="-7" hint="Use Sarrus' Rule or cofactor expansion along any row or column." solution="Step 1: Apply Sarrus' Rule for a matrix.
>
\det(M) = 2(-1 - 0) + 1(-3 - 2) + 0(0 - 1)
\det(M) = 2(-1) + 1(-5) + 0
\det(M) = -2 - 5
\det(M) = -7
:::
---
2. Cofactor Expansion (Laplace Expansion)
The determinant of an matrix can be computed by cofactor expansion along any row or column. This method is generalizable for any square matrix.
<div class="callout-box my-4 p-4 rounded-lg border bg-blue-500/10 border-blue-500/30">
<div class="flex items-center gap-2 font-semibold mb-2">
<span>📖</span>
<span>Minor and Cofactor</span>
</div>
<div class="prose prose-sm max-w-none"><p>Let <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span></span></span></span></span> be an <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>n</mi><mo>×</mo><mi>n</mi></mrow><annotation encoding="application/x-tex">n \times n</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6667em;vertical-align:-0.0833em;"></span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">×</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.4306em;"></span><span class="mord mathnormal">n</span></span></span></span></span> matrix. The <strong>minor</strong> <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msub><mi>M</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub></mrow><annotation encoding="application/x-tex">M_{ij}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.9694em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.10903em;">M</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.109em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span></span></span></span></span> of the element <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msub><mi>a</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub></mrow><annotation encoding="application/x-tex">a_{ij}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.7167em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span></span></span></span></span> is the determinant of the <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo stretchy="false">(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo stretchy="false">)</mo><mo>×</mo><mo stretchy="false">(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(n-1) \times (n-1)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mopen">(</span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord">1</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">×</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mopen">(</span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">−</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord">1</span><span class="mclose">)</span></span></span></span></span> matrix obtained by deleting the <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>i</mi></mrow><annotation encoding="application/x-tex">i</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6595em;"></span><span class="mord mathnormal">i</span></span></span></span></span>-th row and <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>j</mi></mrow><annotation encoding="application/x-tex">j</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.854em;vertical-align:-0.1944em;"></span><span class="mord mathnormal" style="margin-right:0.05724em;">j</span></span></span></span></span>-th column of <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span></span></span></span></span>. The <strong>cofactor</strong> <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msub><mi>C</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub></mrow><annotation encoding="application/x-tex">C_{ij}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.9694em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span></span></span></span></span> of <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msub><mi>a</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub></mrow><annotation encoding="application/x-tex">a_{ij}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.7167em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span></span></span></span></span> is defined as <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msub><mi>C</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub><mo>=</mo><mo stretchy="false">(</mo><mo>−</mo><mn>1</mn><msup><mo stretchy="false">)</mo><mrow><mi>i</mi><mo>+</mo><mi>j</mi></mrow></msup><msub><mi>M</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub></mrow><annotation encoding="application/x-tex">C_{ij} = (-1)^{i+j} M_{ij}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.9694em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1.1108em;vertical-align:-0.2861em;"></span><span class="mopen">(</span><span class="mord">−</span><span class="mord">1</span><span class="mclose"><span class="mclose">)</span><span class="msupsub"><span class="vlist-t"><span class="vlist-r"><span class="vlist" style="height:0.8247em;"><span style="top:-3.063em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">i</span><span class="mbin mtight">+</span><span class="mord mathnormal mtight" style="margin-right:0.05724em;">j</span></span></span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.10903em;">M</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.109em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span></span></span></span></span>.</p></div>
</div>
<div class="callout-box my-4 p-4 rounded-lg border bg-purple-500/10 border-purple-500/30">
<div class="flex items-center gap-2 font-semibold mb-2">
<span>📐</span>
<span>Cofactor Expansion</span>
</div>
<div class="prose prose-sm max-w-none"><p>The determinant of <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span></span></span></span></span> can be calculated by expanding along the <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>i</mi></mrow><annotation encoding="application/x-tex">i</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6595em;"></span><span class="mord mathnormal">i</span></span></span></span></span>-th row:<br><div class="math-display"><span class="katex-display"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mo>=</mo><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msub><mi>a</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub><msub><mi>C</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub><mo>=</mo><msub><mi>a</mi><mrow><mi>i</mi><mn>1</mn></mrow></msub><msub><mi>C</mi><mrow><mi>i</mi><mn>1</mn></mrow></msub><mo>+</mo><msub><mi>a</mi><mrow><mi>i</mi><mn>2</mn></mrow></msub><msub><mi>C</mi><mrow><mi>i</mi><mn>2</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mi>a</mi><mrow><mi>i</mi><mi>n</mi></mrow></msub><msub><mi>C</mi><mrow><mi>i</mi><mi>n</mi></mrow></msub></mrow><annotation encoding="application/x-tex">\det(A) = \sum_{j=1}^{n} a_{ij} C_{ij} = a_{i1}C_{i1} + a_{i2}C_{i2} + \cdots + a_{in}C_{in}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:3.0652em;vertical-align:-1.4138em;"></span><span class="mop op-limits"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:1.6514em;"><span style="top:-1.8723em;margin-left:0em;"><span class="pstrut" style="height:3.05em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">j</span><span class="mrel mtight">=</span><span class="mord mtight">1</span></span></span></span><span style="top:-3.05em;"><span class="pstrut" style="height:3.05em;"></span><span><span class="mop op-symbol large-op">∑</span></span></span><span style="top:-4.3em;margin-left:0em;"><span class="pstrut" style="height:3.05em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">n</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.4138em;"><span></span></span></span></span></span><span class="mspace" style="margin-right:0.1667em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.8333em;vertical-align:-0.15em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">i</span><span class="mord mtight">1</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">i</span><span class="mord mtight">1</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.8333em;vertical-align:-0.15em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">i</span><span class="mord mtight">2</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">i</span><span class="mord mtight">2</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.6667em;vertical-align:-0.0833em;"></span><span class="minner">⋯</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.8333em;vertical-align:-0.15em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">in</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">in</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.15em;"><span></span></span></span></span></span></span></span></span></span></span></div><br>Or by expanding along the <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>j</mi></mrow><annotation encoding="application/x-tex">j</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.854em;vertical-align:-0.1944em;"></span><span class="mord mathnormal" style="margin-right:0.05724em;">j</span></span></span></span></span>-th column:<br><div class="math-display"><span class="katex-display"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mo>=</mo><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msub><mi>a</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub><msub><mi>C</mi><mrow><mi>i</mi><mi>j</mi></mrow></msub><mo>=</mo><msub><mi>a</mi><mrow><mn>1</mn><mi>j</mi></mrow></msub><msub><mi>C</mi><mrow><mn>1</mn><mi>j</mi></mrow></msub><mo>+</mo><msub><mi>a</mi><mrow><mn>2</mn><mi>j</mi></mrow></msub><msub><mi>C</mi><mrow><mn>2</mn><mi>j</mi></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mi>a</mi><mrow><mi>n</mi><mi>j</mi></mrow></msub><msub><mi>C</mi><mrow><mi>n</mi><mi>j</mi></mrow></msub></mrow><annotation encoding="application/x-tex">\det(A) = \sum_{i=1}^{n} a_{ij} C_{ij} = a_{1j}C_{1j} + a_{2j}C_{2j} + \cdots + a_{nj}C_{nj}</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:2.9291em;vertical-align:-1.2777em;"></span><span class="mop op-limits"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:1.6514em;"><span style="top:-1.8723em;margin-left:0em;"><span class="pstrut" style="height:3.05em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">i</span><span class="mrel mtight">=</span><span class="mord mtight">1</span></span></span></span><span style="top:-3.05em;"><span class="pstrut" style="height:3.05em;"></span><span><span class="mop op-symbol large-op">∑</span></span></span><span style="top:-4.3em;margin-left:0em;"><span class="pstrut" style="height:3.05em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight">n</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:1.2777em;"><span></span></span></span></span></span><span class="mspace" style="margin-right:0.1667em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">ij</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.9694em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mtight">1</span><span class="mord mathnormal mtight" style="margin-right:0.05724em;">j</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mtight">1</span><span class="mord mathnormal mtight" style="margin-right:0.05724em;">j</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.9694em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mtight">2</span><span class="mord mathnormal mtight" style="margin-right:0.05724em;">j</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mtight">2</span><span class="mord mathnormal mtight" style="margin-right:0.05724em;">j</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.6667em;vertical-align:-0.0833em;"></span><span class="minner">⋯</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">+</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.9694em;vertical-align:-0.2861em;"></span><span class="mord"><span class="mord mathnormal">a</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:0em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">nj</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.07153em;">C</span><span class="msupsub"><span class="vlist-t vlist-t2"><span class="vlist-r"><span class="vlist" style="height:0.3117em;"><span style="top:-2.55em;margin-left:-0.0715em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mtight"><span class="mord mathnormal mtight" style="margin-right:0.05724em;">nj</span></span></span></span></span><span class="vlist-s"></span></span><span class="vlist-r"><span class="vlist" style="height:0.2861em;"><span></span></span></span></span></span></span></span></span></span></span></div><br><strong>When to use:</strong> For general <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>n</mi><mo>×</mo><mi>n</mi></mrow><annotation encoding="application/x-tex">n \times n</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6667em;vertical-align:-0.0833em;"></span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">×</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.4306em;"></span><span class="mord mathnormal">n</span></span></span></span></span> matrices, especially useful when a row or column has many zeros.</p></div>
</div>
Worked Example: Calculate the determinant of using cofactor expansion along the first row.
Step 1: Identify elements and their corresponding cofactors .
>
C_{11} = (-1)^{1+1} \det\begin{bmatrix} 1 & 4 \\ 5 & 2 \end{bmatrix} = 1((1)(2) - (4)(5)) = 2 - 20 = -18
C_{12} = (-1)^{1+2} \det\begin{bmatrix} 3 & 4 \\ 0 & 2 \end{bmatrix} = -1((3)(2) - (4)(0)) = -1(6 - 0) = -6
C_{13} = (-1)^{1+3} \det\begin{bmatrix} 3 & 1 \\ 0 & 5 \end{bmatrix} = 1((3)(5) - (1)(0)) = 15 - 0 = 15
\det(A) = a_{11}C_{11} + a_{12}C_{12} + a_{13}C_{13}
\det(A) = 1(-18) + 2(-6) + 0(15)
\det(A) = -18 - 12 + 0
\det(A) = -30
:::questi…" style="color:#cc0000">Answer:
:::question type="NAT" question="Compute the determinant of the matrix ." answer="20" hint="Expand along the row or column with the most zeros to simplify calculations." solution="Step 1: Choose to expand along the third row, as it contains many zeros.
>
\det(B) = 0 \cdot C_{31} + 0 \cdot C_{32} + 2 \cdot C_{33} + 0 \cdot C_{34}
\det(B) = 2 \cdot C_{33}
>" style="color:#cc0000">Step 2: Calculate the cofactor .
>
>
C'_{22} = (-1)^{2+2} \det\begin{bmatrix} 4 & 0 \\ 1 & 1 \end{bmatrix} = 1((4)(1) - (0)(1)) = 4
Step 4: Substitute back into the expression for .
>
\det(B) = 8
>
>
Let's re-calculate carefully:
>
>
= 4(1 \cdot 1 - 3 \cdot 0) - 0 + 0
= 4(1) = 4
…" style="color:#cc0000">So .
Then .
There must be an error in my mental calculation or the provided answer for the question. Let's re-do the problem from scratch.
Matrix .
Expand along Row 3:
.
.
.
Expand along Row 1:
.
So, .
The provided answer is '20'. Let me double check my expansion.
Matrix .
Expand along column 2:
.
.
.
Expand along row 2:
M_{22} = 0 \cdot C & #x27;_{21} + 2 \cdot C & #x27;_{22} + 0 \cdot C & #x27;_{23} = 2 \cdot C & #x27;_{22}.
C & #x27;_{22} = (-1)^{2+2} \det \begin{bmatrix} 4 & amp; 0 \\ 1 & amp; 1 \end{bmatrix} = (4 \cdot 1 - 0 \cdot 1) = 4.
So .
And .
It seems my calculation consistently yields 8. Let me try expanding along Column 4 for one final check.
.
.
.
Expand along column 2:
M_{24} = 0 \cdot C & #x27;_{12} + 0 \cdot C & #x27;_{22} + 0 \cdot C & #x27;_{32} = 0.
So .
.
.
Expand along row 3:
M_{44} = 0 \cdot C & #x27; & #x27;_{31} + 0 \cdot C & #x27; & #x27;_{32} + 2 \cdot C & #x27; & #x27;_{33}.
C & #x27; & #x27;_{33} = (-1)^{3+3} \det \begin{bmatrix} 4 & amp; 0 \\ 2 & amp; 1 \end{bmatrix} = (4 \cdot 1 - 0 \cdot 2) = 4.
So .
Therefore, .
All expansions give 8. The problem's answer '20' must be incorrect for the given matrix. I will use 8 as the correct answer.
Let's re-write the solution for 8.
"Step 1: Choose to expand along the third row, as it contains many zeros.
>
\det(B) = 0 \cdot C_{31} + 0 \cdot C_{32} + 2 \cdot C_{33} + 0 \cdot C_{34}
\det(B) = 2 \cdot C_{33}
>" style="color:#cc0000">Step 2: Calculate the cofactor .
>
>
= 4((1)(1) - (3)(0))
= 4(1)
= 4
>
\det(B) = 8
I will use 8 as the answer.
---
Chapter Summary
<div class="callout-box my-4 p-4 rounded-lg border bg-red-500/10 border-red-500/30">
<div class="flex items-center gap-2 font-semibold mb-2">
<span>❗</span>
<span>Systems of Linear Equations — Key Points</span>
</div>
<div class="prose prose-sm max-w-none"><p> Gaussian elimination systematically transforms an augmented matrix into row echelon form or reduced row echelon form to determine system consistency and the nature of its solution set (unique, infinite, or no solution).<br> A system of linear equations <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi><mi>x</mi><mo>=</mo><mi>b</mi></mrow><annotation encoding="application/x-tex">Ax=b</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span><span class="mord mathnormal">x</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.6944em;"></span><span class="mord mathnormal">b</span></span></span></span></span> is consistent if and only if the rank of the coefficient matrix <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span></span></span></span></span> equals the rank of the augmented matrix <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo stretchy="false">[</mo><mi>A</mi><mi mathvariant="normal">∣</mi><mi>b</mi><mo stretchy="false">]</mo></mrow><annotation encoding="application/x-tex">[A|b]</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mopen">[</span><span class="mord mathnormal">A</span><span class="mord">∣</span><span class="mord mathnormal">b</span><span class="mclose">]</span></span></span></span></span>.<br> For a consistent system, the number of free variables (columns without a pivot position) determines the multiplicity of solutions: zero free variables for a unique solution, and one or more free variables for infinitely many solutions.<br> Homogeneous systems (<span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi><mi>x</mi><mo>=</mo><mn>0</mn></mrow><annotation encoding="application/x-tex">Ax=0</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span><span class="mord mathnormal">x</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.6444em;"></span><span class="mord">0</span></span></span></span></span>) are always consistent, possessing at least the trivial solution (<span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>x</mi><mo>=</mo><mn>0</mn></mrow><annotation encoding="application/x-tex">x=0</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.4306em;"></span><span class="mord mathnormal">x</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.6444em;"></span><span class="mord">0</span></span></span></span></span>). Non-trivial solutions exist if and only if the rank of <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span></span></span></span></span> is less than the number of variables.<br> Determinants are scalar values associated with square matrices, serving as a critical indicator of matrix invertibility: a square matrix <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal">A</span></span></span></span></span> is invertible if and only if <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mo mathvariant="normal">≠</mo><mn>0</mn></mrow><annotation encoding="application/x-tex">\det(A) \neq 0</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel"><span class="mrel"><span class="mord vbox"><span class="thinbox"><span class="rlap"><span class="strut" style="height:0.8889em;vertical-align:-0.1944em;"></span><span class="inner"><span class="mord"><span class="mrel"></span></span></span><span class="fix"></span></span></span></span></span><span class="mspace nobreak"></span><span class="mrel">=</span></span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.6444em;"></span><span class="mord">0</span></span></span></span></span>.<br> Key properties of determinants, such as <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mi>B</mi><mo stretchy="false">)</mo><mo>=</mo><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>B</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\det(AB) = \det(A)\det(B)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mord mathnormal" style="margin-right:0.05017em;">B</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.1667em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal" style="margin-right:0.05017em;">B</span><span class="mclose">)</span></span></span></span></span>, <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><msup><mi>A</mi><mi>T</mi></msup><mo stretchy="false">)</mo><mo>=</mo><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\det(A^T) = \det(A)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1.0913em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord"><span class="mord mathnormal">A</span><span class="msupsub"><span class="vlist-t"><span class="vlist-r"><span class="vlist" style="height:0.8413em;"><span style="top:-3.063em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mathnormal mtight" style="margin-right:0.13889em;">T</span></span></span></span></span></span></span></span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span></span></span></span></span>, and <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>k</mi><mi>A</mi><mo stretchy="false">)</mo><mo>=</mo><msup><mi>k</mi><mi>n</mi></msup><mi>det</mi><mo></mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\det(kA) = k^n \det(A)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal" style="margin-right:0.03148em;">k</span><span class="mord mathnormal">A</span><span class="mclose">)</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">=</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord"><span class="mord mathnormal" style="margin-right:0.03148em;">k</span><span class="msupsub"><span class="vlist-t"><span class="vlist-r"><span class="vlist" style="height:0.6644em;"><span style="top:-3.063em;margin-right:0.05em;"><span class="pstrut" style="height:2.7em;"></span><span class="sizing reset-size6 size3 mtight"><span class="mord mathnormal mtight">n</span></span></span></span></span></span></span></span><span class="mspace" style="margin-right:0.1667em;"></span><span class="mop">det</span><span class="mopen">(</span><span class="mord mathnormal">A</span><span class="mclose">)</span></span></span></span></span> for an <span class="math-inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>n</mi><mo>×</mo><mi>n</mi></mrow><annotation encoding="application/x-tex">n \times n</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6667em;vertical-align:-0.0833em;"></span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2222em;"></span><span class="mbin">×</span><span class="mspace" style="margin-right:0.2222em;"></span></span><span class="base"><span class="strut" style="height:0.4306em;"></span><span class="mord mathnormal">n</span></span></span></span></span> matrix, are essential for efficient calculation and theoretical understanding.</p></div>
</div>
---
Chapter Review Questions
:::question type="MCQ" question="For what value of does the following system of linear equations have no solution?
\begin{aligned}
x + y + z &= 1 \\
x + 2y + 3z &= 4 \\
2x + 3y + (a+1)z &= 6
\end{aligned}
\begin{pmatrix} 1 & 1 & 1 & | & 1 \\ 1 & 2 & 3 & | & 4 \\ 2 & 3 & a+1 & | & 6 \end{pmatrix}
\begin{pmatrix} 1 & 1 & 1 & | & 1 \\ 0 & 1 & 2 & | & 3 \\ 0 & 1 & a-1 & | & 4 \end{pmatrix}
\begin{pmatrix} 1 & 1 & 1 & | & 1 \\ 0 & 1 & 2 & | & 3 \\ 0 & 0 & a-3 & | & 1 \end{pmatrix}
Thus, .
The final answer is ."
:::
:::question type="NAT" question="Calculate the determinant of the matrix ." answer="24" hint="For a triangular matrix (upper or lower), the determinant is the product of its diagonal entries." solution="The given matrix is an upper triangular matrix. For any triangular matrix, its determinant is the product of its diagonal entries.
\det(A) = (1)(4)(6) = 24
:…" style="color:#cc0000">The final answer is ."
:::
:::question type="MCQ" question="Let and be matrices such that and . What is ?" options=["","","",""] answer="" hint="Recall the determinant properties: , , , and ." solution="Using the properties of determinants:
Given and are matrices, .
\begin{aligned}
\det(2A^T B^{-1}) &= \det(2A^T) \det(B^{-1}) \\
&= (2^3 \det(A^T)) \left(\frac{1}{\det(B)}\right) \\
&= (8 \det(A)) \left(\frac{1}{\det(B)}\right) \\
&= (8 \times 2) \left(\frac{1}{-3}\right) \\
&= 16 \times \left(-\frac{1}{3}\right) \\
&= -\frac{16}{3}
\end{aligned}
:::
:::question type="NAT" question="What is the sum of all possible values of for which the following homogeneous system has non-trivial solutions?
\begin{aligned}
(k-1)x + 2y &= 0 \\
3x + ky &= 0
\end{aligned}
The coefficient matrix is:
A = \begin{pmatrix} k-1 & 2 \\ 3 & k \end{pmatrix}
\det(A) = (k-1)(k) - (2)(3) = k^2 - k - 6
k^2 - k - 6 = 0
(k-3)(k+2) = 0
The question asks for the sum of all possible values of :
3 + (-2) = 1
$$
The final answer is ."
:::
---
What's Next?
Building on the foundational concepts of solving linear systems and understanding matrix properties, your next steps in Linear Algebra will delve into more abstract structures. You'll explore Vector Spaces, where the solution sets of homogeneous systems form subspaces, and develop a deeper understanding of Linear Independence, Span, and Basis. These concepts are crucial for understanding the geometry of linear transformations and will eventually lead to Eigenvalues and Eigenvectors, where determinants play a central role in finding characteristic polynomials.