Changing to the Eigenbasis
If a matrix has independent eigenvectors, pack them as the columns of and their eigenvalues into the diagonal of : then . Reading right to left: translates a vector into eigen-coordinates, stretches each coordinate by its eigenvalue (the easy part), and translates back.
The matrix was never complicated — we were looking at it in the wrong basis. Consequences cascade: (powers act on eigenvalues only), , and functions of matrices (, ) are defined by applying them to the diagonal. Computing costs a diagonalization, not a hundred multiplications. A concrete case: has eigenvectors with and with . The vector is — its eigen-coordinates are . So , computed without multiplying by ; check: ✓.
A repeated eigenvalue may come with too few eigenvectors: the shear has the double eigenvalue but only one eigenvector direction — it is defective, and no basis makes it diagonal. The fix (Jordan form) adds an off-diagonal and, in differential equations, produces exactly the solutions you met with repeated characteristic roots. The two "repeated root" phenomena are one phenomenon.
Fibonacci's is the matrix iteration , so lives inside .
Diagonalizing (eigenvalues and ) yields Binet's formula — a closed form for a recursive sequence, and since , the growth rate of Fibonacci is exactly the golden ratio. Every linear recurrence yields to the same treatment: its characteristic equation is the characteristic polynomial of its companion matrix.
Compute for without multiplying any matrices.
Show the answerHide the answer
The eigenvalues come from the trace and determinant: and , so , giving and . Since , has the same trace as , the sum of the fifth powers of the eigenvalues: . To confirm, , whose diagonal adds to ✓.
Diagonalizing Step by Step
() is diagonalizable exactly when it has independent eigenvectors. Then with the eigenvectors as the columns of and the matching eigenvalues, in the same order, on the diagonal of . Distinct eigenvalues guarantee it; a repeated eigenvalue needs as many independent eigenvectors as its multiplicity. Symmetric matrices are always diagonalizable.
The equation is just the eigenvector equations side by side: column of is , and column of is . Multiplying on the right by , which exists because the columns are independent, gives . If a repeated eigenvalue has too few eigenvectors, there are not enough columns to fill an invertible , and no change of basis can make diagonal.
Diagonalize . Trace , determinant , so . For , gives ; for , gives .
So with , in matching order. , so . Check:
Now any power is immediate, for instance .
Diagonalize . Expanding along row 1, . The eigenvalue is repeated.
For : has rank , so its null space is two-dimensional — with and free — spanned by and . For : gives , : . Three independent eigenvectors, so with and . is symmetric, and its eigenvectors are even mutually perpendicular.
Is diagonalizable? Trace , determinant , so : the single eigenvalue , repeated.
has rank (row 2 is twice row 1), so its null space is one-dimensional: only the multiples of . Two independent eigenvectors would be needed; there is one. So is not diagonalizable. Had it been, would be and — but . That one-line argument settles every with a repeated eigenvalue: diagonalizable only if it is already a multiple of .
With the eigenvectors for and for , taking but pairs each vector with the wrong eigenvalue. Then , not — though it has the same trace and determinant, which is why the error slips past quick checks. Multiply back out, or at least check column by column.
Diagonalize and find a formula for .
Show the answerHide the answer
Trace , determinant , so . For : gives . For : gives . So , , , and
Check : ✓; and gives , which is ✓.
Long-Run Behavior: Powers and Differential Equations
If in an eigenbasis, then
solve and . For large the term with the largest dominates; for large , the one with the largest real part.
Both formulas decouple the system: in eigen-coordinates each component evolves on its own, multiplied by each step or growing like . To check the continuous one, differentiate: each term's derivative is , so , and at the sum is 's expansion. The coefficients come from solving once.
Let and . Trace , determinant , so . Eigenvectors: for and for .
Expand the start: , so and
The first few: , , ; check ✓. The part never changes, and the part halves and flips sign each step, so the points hop from side to side of the eigenvector line and close in on .
Solve with and . The eigen-data were found above: with and with , and .
So
Check the first equation, : the left side is , the right side is ✓; and ✓. For large the term dominates, so the solution heads off along the direction .
"Every entry is less than , so " is false. has eigenvalues (along ) and , so grows without bound. What decides decay is the size of the eigenvalues, not of the entries: exactly when every eigenvalue has .
Solve with and .
Show the answerHide the answer
From the previous Try-it, has with and with . Expand the start: gives and , so , . Then
Check: and ✓, and ✓. The part dies away and the solution lines up with .
Proofs & Why It Matters
— the inner pair cancels; induction extends to all . For the trace, use : .
Significance: this identity is how one counts closed walks in graphs (adjacency-matrix powers), computes partition functions in physics, and analyzes mixing of Markov chains — three fields, one cancellation.
Define , i.e. exponentiate each eigenvalue. Then solves — the systems topic of Differential Equations is literally this formula. Diagonalization is the load-bearing wall between the two courses.
Going Deeper: Worked Problems
Diagonalize and use it to find a formula for .
Step 1 — eigenvalues: trace , det : .
Step 2 — eigenvectors: for , gives ; for , gives .
Step 3 — , , and .
Step 4 — .
Step 5 — check : ✓. Every entry is now a formula in ; the terms dominate, along the eigenvector .
A sequence satisfies with , . Find a closed form.
Step 1 — companion matrix: .
Step 2 — its characteristic polynomial is — exactly the recurrence with in place of the shift.
Step 3 — so ; the data give and , hence , : .
Step 4 — verify : recurrence gives ; formula gives ✓. Diagonalizing the companion matrix is the "characteristic equation" method — now you know why it works.