LINEAR-ALGEBRA ยท Unit 18 ยท Video 3 ยท Interactive Practice

Why Every Tridiagonal Matrix of Ones Has a Determinant of 1, 0, or โˆ’1

IKey Formulas

Formula Name Description
detโก(An)=detโก(Anโˆ’1)โˆ’detโก(Anโˆ’2)\det(A_n) = \det(A_{n-1}) - \det(A_{n-2}) Determinant recurrence Cofactor expansion reduces to two previous terms
detโก(A1)=1,โ€…โ€Šโ€…โ€Šdetโก(A2)=0\det(A_1) = 1, \;\; \det(A_2) = 0 Initial values Seeds for the recurrence
1,โ€…โ€Š0,โ€…โ€Šโˆ’1,โ€…โ€Šโˆ’1,โ€…โ€Š0,โ€…โ€Š1,โ€…โ€Š1,โ€…โ€Š0,โ€…โ€Šโ€ฆ1,\; 0,\; {-1},\; {-1},\; 0,\; 1,\; 1,\; 0,\; \ldots Period-6 cycle The sequence repeats every 6 terms
detโก(An)\det(A_n) determined by nโ€Šmodโ€Š6n \bmod 6 Modular lookup One division replaces full determinant computation

IIVisualization 1 โ€” The Tridiagonal Matrix of Ones

Ones fill the diagonal and its two neighbors, zeros everywhere else โ€” how large can its determinant get?

๐Ÿ’ก This sparsity is exactly what makes cofactor expansion collapse to two terms โ€” the recurrence in Visualization 2.

IIIVisualization 2 โ€” The Recurrence Builds the Sequence

Each determinant is the previous one minus the one before it โ€” so the values cycle 1,0,โˆ’1,โˆ’1,0,11, 0, -1, -1, 0, 1.

๐Ÿ’ก With only three possible values and each term fixed by the previous two, the sequence is forced to repeat โ€” here, every 66 terms.

IVVisualization 3 โ€” Modular Arithmetic Lookup

Because the sequence has period 66, one division nโ€Šmodโ€Š6n \bmod 6 replaces computing the whole determinant.

๐Ÿ’ก One division settles any nn โ€” even nn in the thousands โ€” with no determinant computation at all.

VQuiz Questions

Question 1

Using the recurrence detโก(An)=detโก(Anโˆ’1)โˆ’detโก(Anโˆ’2)\det(A_n) = \det(A_{n-1}) - \det(A_{n-2}) with initial values detโก(A1)=1\det(A_1) = 1 and detโก(A2)=0\det(A_2) = 0, what is detโก(A5)\det(A_5)?

โœ… Correct! det(Aโ‚…) = det(Aโ‚„) โˆ’ det(Aโ‚ƒ) = (โˆ’1) โˆ’ (โˆ’1) = 0.

โŒ Not quite. Carefully apply the recurrence three times: first find det(Aโ‚ƒ), then det(Aโ‚„), then det(Aโ‚…).

Show solution

Solution:

Apply the recurrence step by step from the initial values:

detโก(A3)=detโก(A2)โˆ’detโก(A1)=0โˆ’1=โˆ’1\det(A_3) = \det(A_2) - \det(A_1) = 0 - 1 = -1

detโก(A4)=detโก(A3)โˆ’detโก(A2)=โˆ’1โˆ’0=โˆ’1\det(A_4) = \det(A_3) - \det(A_2) = -1 - 0 = -1

detโก(A5)=detโก(A4)โˆ’detโก(A3)=โˆ’1โˆ’(โˆ’1)=โˆ’1+1=0\det(A_5) = \det(A_4) - \det(A_3) = -1 - (-1) = -1 + 1 = 0

The answer is 0.

Question 2

The recurrence for the determinant of the tridiagonal matrix of ones resembles the Fibonacci recurrence. Which is the correct formula?

โœ… Correct! Cofactor expansion along row 1 puts a minus sign on the second term.

โŒ Not quite. The cofactor of the (1,2)(1,2) entry carries a negative sign from the checkerboard pattern โ€” this is Fibonacci with subtraction.

Show solution

Solution:

Expand detโก(An)\det(A_n) along the first row. Row 1 of AnA_n is (1,1,0,0,โ€ฆ,0)(1, 1, 0, 0, \ldots, 0):

  • First entry (a11=1a_{11} = 1, positive cofactor sign): contributes +detโก(Anโˆ’1)+\det(A_{n-1}) because the remaining submatrix is exactly Anโˆ’1A_{n-1}.
  • Second entry (a12=1a_{12} = 1, negative cofactor sign): the corresponding minor reduces (after expanding its first column) to detโก(Anโˆ’2)\det(A_{n-2}), contributing โˆ’detโก(Anโˆ’2)-\det(A_{n-2}).
  • All remaining entries are 0 and contribute nothing.

Therefore: detโก(An)=detโก(Anโˆ’1)โˆ’detโก(Anโˆ’2)\det(A_n) = \det(A_{n-1}) - \det(A_{n-2})

This is like Fibonacci (fn=fnโˆ’1+fnโˆ’2f_n = f_{n-1} + f_{n-2}) but with subtraction instead of addition.

Question 3

What is detโก(A100)\det(A_{100})?

Hint: The determinant sequence has period 6. Compute 100โ€Šmodโ€Š6100 \bmod 6 and look up the cycle table:

nโ€Šmodโ€Š6n \bmod 6 1 2 3 4 5 0
detโก(An)\det(A_n) 1 0 โˆ’1 โˆ’1 0 1

โœ… Correct! 100 mod 6 = 4, and cycle position 4 gives det = โˆ’1.

โŒ Not quite. First compute 100 รท 6 = 16 remainder 4, then look up position 4 in the cycle table.

Show solution

Solution:

Compute 100โ€Šmodโ€Š6100 \bmod 6:

100=16ร—6+4โŸน100โ€Šmodโ€Š6=4100 = 16 \times 6 + 4 \qquad \Longrightarrow \qquad 100 \bmod 6 = 4

Look up position 4 in the cycle table:

nโ€Šmodโ€Š6n \bmod 6 1 2 3 4 5 0
detโก(An)\det(A_n) 1 0 โˆ’1 โˆ’1 0 1

detโก(A100)=โˆ’1\boxed{\det(A_{100}) = -1}

No row operations needed โ€” just one division and a table lookup on a 100ร—100 matrix!

Question 4

True or False: The determinant sequence must eventually become periodic because each det(A_n) can only be -1, 0, or 1, giving at most 9 possible consecutive pairs. By the pigeonhole principle, a pair must eventually repeat, which forces the entire future sequence to repeat.

โœ… Correct! The pigeonhole principle guarantees periodicity โ€” with only 9 possible consecutive pairs, a repeat must occur within the first 10 terms.

โŒ Not quite. Consider: with finitely many possible consecutive pairs and a deterministic recurrence, what must eventually happen?

Show solution

Solution: True.

Here is the complete reasoning:

  1. Bounded values: Each determinant is one of {โˆ’1,0,1}\{-1, 0, 1\} โ€” just 3 possible values.
  2. Two-term dependence: detโก(An)=detโก(Anโˆ’1)โˆ’detโก(Anโˆ’2)\det(A_n) = \det(A_{n-1}) - \det(A_{n-2}), so each term depends only on the two preceding terms.
  3. Finite pairs: There are at most 3ร—3=93 \times 3 = 9 possible consecutive pairs (detโก(Anโˆ’1),detโก(Anโˆ’2))(\det(A_{n-1}), \det(A_{n-2})).
  4. Pigeonhole principle: Within at most 10 consecutive terms, some pair of adjacent values must repeat.
  5. Deterministic future: Once a pair repeats, the recurrence is deterministic โ€” every subsequent term is forced to match, creating a permanent cycle.

Specifically, (detโก(A6),detโก(A7))=(1,1)=(detโก(A0),detโก(A1))(\det(A_6), \det(A_7)) = (1, 1) = (\det(A_0), \det(A_1)), confirming the cycle length is exactly 6.

Solved: 0 / 4