LINEAR-ALGEBRA Β· Unit 17 Β· Video 2 Β· Interactive Practice

Three Axioms Are All You Need

IKey Formulas

Statement Name Role
det⁑[…; t r; …]=t det⁑[…; r; …]\det[\ldots;\, t\,\mathbf{r};\, \ldots] = t\,\det[\ldots;\, \mathbf{r};\, \ldots] Axiom 1 β€” Linearity in each row Starting assumption
Swapping two rows flips the sign of det⁑\det Axiom 2 β€” Sign Flip Starting assumption
det⁑(I)=1\det(I) = 1 Axiom 3 β€” Normalization Starting assumption
Two equal rows β‡’det⁑=0\Rightarrow \det = 0 Property 4 Derived from Axioms 1 + 2
Elimination preserves det⁑\det Property 5 Derived from Axiom 1 + Property 4
Zero row β‡’det⁑=0\Rightarrow \det = 0 Property 6 Derived from Axiom 1

IIVisualization 1 β€” Equal Rows Collapse the Area

For a 2Γ—22\times 2 matrix, det⁑\det is the signed area of the parallelogram its two rows span.

πŸ’‘ Swapping two equal rows leaves the matrix unchanged yet must flip the sign (Axiom 2), so det⁑=βˆ’det⁑\det = -\det β€” forcing det⁑=0\det = 0 (Property 4).

IIIVisualization 2 β€” Elimination Shears, Area Holds

Replacing Row 2 with RowΒ 2βˆ’β„“β€‰RowΒ 1\text{Row 2} - \ell\,\text{Row 1} shears the parallelogram β€” but does its signed area change?

πŸ’‘ The tip of Row 2 slides parallel to Row 1, so its height above that base β€” and therefore the area β€” never moves. This is Property 5.

IVVisualization 3 β€” Elimination vs. Scaling

One of these row operations leaves det⁑\det fixed; the other multiplies it by kk β€” which is which?

πŸ’‘ Gaussian elimination uses only the operation that preserves det⁑\det, so a matrix keeps its determinant all the way down to triangular form.

VQuiz Questions

Question 1

Consider the matrix A=[413413257]A = \begin{bmatrix} 4 & 1 & 3 \\ 4 & 1 & 3 \\ 2 & 5 & 7 \end{bmatrix}. What is det⁑(A)\det(A)?

βœ… Correct! Identical rows force the determinant to zero (Property 4).

❌ Not quite. Look carefully at rows 1 and 2 β€” they're identical. What does Property 4 tell us?

Show solution

Solution:

Rows 1 and 2 are both [4, 1, 3][4,\, 1,\, 3] β€” they are identical.

By Property 4: if a matrix has two equal rows, det⁑=0\det = 0.

Proof recap: Swapping the two identical rows gives the same matrix, so det⁑(A)\det(A) is unchanged. But Axiom 2 says any swap flips the sign: det⁑(A)=βˆ’det⁑(A)\det(A) = -\det(A). Therefore 2det⁑(A)=02\det(A) = 0, giving det⁑(A)=0\det(A) = \boxed{0}.

No computation needed β€” the property gives the answer instantly.

Question 2

You know that det⁑(A)=5\det(A) = 5. You perform the elimination step: Row 3 ←\leftarrow Row 3 βˆ’4β‹…- 4 \cdot Row 1. What is the determinant of the resulting matrix?

βœ… Correct! Elimination preserves the determinant regardless of the multiplier.

❌ Not quite. You may be confusing elimination with row scaling. Elimination subtracts a multiple of one row from another β€” the determinant doesn't change.

❌ Not quite. Property 5 says elimination preserves the determinant exactly. The multiplier value doesn't matter.

Show solution

Solution:

The operation "Row 3 ←\leftarrow Row 3 βˆ’4β‹…- 4\cdot Row 1" is an elimination step β€” subtracting a multiple of one row from another.

By Property 5, elimination preserves the determinant for any value of β„“\ell:

det⁑(Aβ€²)=det⁑(A)=5\det(A') = \det(A) = \boxed{5}

Common mistake: Confusing this with row scaling (4β‹…4 \cdot Row), which would multiply det by 4 to give 20. But elimination subtracts a multiple β€” it doesn't scale.

Question 3

True or False: A matrix with a zero row has determinant zero because we can write the zero row as 0β‹…[1,1,…,1]0 \cdot [1, 1, \ldots, 1] and factor out the 00 using Axiom 1 (linearity).

βœ… Correct! Property 6 follows directly from the scalar part of Axiom 1 (linearity).

❌ Not quite. Think about what the scalar part of linearity does: det[...; t r; ...] = t det[...; r; ...]. What happens when t = 0?

Show solution

Solution: True

This is exactly the proof of Property 6. Rewrite the zero row as 0β‹…[1,1,1]0 \cdot [1, 1, 1]:

det⁑[row10row3]=det⁑[row10β‹…[1,1,1]row3]=0β‹…det⁑[row1[1,1,1]row3]=0\det\begin{bmatrix} \text{row}_1 \\ \mathbf{0} \\ \text{row}_3 \end{bmatrix} = \det\begin{bmatrix} \text{row}_1 \\ 0 \cdot [1,1,1] \\ \text{row}_3 \end{bmatrix} = 0 \cdot \det\begin{bmatrix} \text{row}_1 \\ [1,1,1] \\ \text{row}_3 \end{bmatrix} = 0

The scalar part of Axiom 1 pulls the 00 out front, and 00 times anything is 00.

Question 4

Starting with A=[3154]A = \begin{bmatrix} 3 & 1 \\ 5 & 4 \end{bmatrix} where det⁑(A)=7\det(A) = 7, you perform two operations in sequence:

  1. Elimination: Row 2 ←\leftarrow Row 2 βˆ’2β‹…- 2 \cdot Row 1
  2. Scaling: Row 2 ←3β‹…\leftarrow 3 \cdot Row 2

What is the determinant of the final matrix?

βœ… Correct! Elimination keeps det = 7, then scaling by 3 gives 3 Γ— 7 = 21.

❌ Not quite. Elimination preserves det, but the scaling step changes it. What does Axiom 1 say about multiplying a row by a scalar?

❌ Not quite. Only one of the two operations changes the determinant. Which one?

❌ Not quite. Apply each step separately: elimination preserves det, scaling multiplies det by the scale factor.

Show solution

Solution:

Apply each operation step by step:

Step 1 β€” Elimination (Row 2 ←\leftarrow Row 2 βˆ’2β‹…- 2\cdot Row 1):

By Property 5, elimination preserves the determinant: det⁑=7\det = 7.

New Row 2: [5βˆ’2(3),β€…β€Š4βˆ’2(1)]=[βˆ’1,β€…β€Š2][5 - 2(3),\; 4 - 2(1)] = [-1,\; 2].

Step 2 β€” Scaling (Row 2 ←3β‹…\leftarrow 3\cdot Row 2):

By Axiom 1 (scalar part), multiplying a row by kk multiplies det⁑\det by kk:

det⁑=3Γ—7=21\det = 3 \times 7 = 21

Verification: Final matrix =[31βˆ’36]= \begin{bmatrix} 3 & 1 \\ -3 & 6 \end{bmatrix}, so det⁑=3(6)βˆ’1(βˆ’3)=18+3=21\det = 3(6) - 1(-3) = 18 + 3 = \boxed{21} βœ“

Solved: 0 / 4