Linear Algebra, Interactive EditionXYZ Homework Edition

⇩ Download ▾

5.1 The Directions a Matrix Cannot Turn

Take the 3×33 \times 3 matrix AA whose rows are (2,1,0)(2, 1, 0), (1,2,0)(1, 2, 0), and (0,0,1)(0, 0, -1). Fed a vector 𝐯\mathbf{v}, it hands back A𝐯A\mathbf{v} pointing somewhere else — for almost every 𝐯\mathbf{v}. This section is a hunt for the exceptions: the directions AA cannot turn.

The figure plots AA as a field of arrows. At each grid point (x,y,z)(x, y, z), an arrow shows A(x,y,z)A(x, y, z), computed componentwise as (2x+y,x+2y,z)(2x + y, \; x + 2y, \; -z), and the arrows are colored by length — dark purple for short, yellow for long. Threaded through the field are four straight lines through the origin: solid red along (1,1,0)(1, 1, 0), solid blue along (1,1,0)(1, -1, 0), solid green along the zz-axis, and a dashed gray line along the xx-axis. Three of them are genuinely special. One is a decoy.

A cube-shaped grid of small arrows for the vector field F(x) = Ax, colored by magnitude from dark purple (short) to yellow (long). Four straight lines run through the origin: a solid red line along the direction (1, 1, 0), a solid blue line along (1, -1, 0), a solid green line along the z-axis, and a dashed gray line along the x-axis. Arrows sitting on the red, blue, and green lines point exactly along those lines; arrows on the dashed gray line point noticeably off it.Explore in 3D (opens in a new tab)
The vector field F(𝐱)=A𝐱F(\mathbf{x}) = A\mathbf{x} for the matrix with rows (2,1,0)(2, 1, 0), (1,2,0)(1, 2, 0), (0,0,1)(0, 0, -1), with arrows colored by length. Four candidate lines pass through the origin: red along (1,1,0)(1, 1, 0), blue along (1,1,0)(1, -1, 0), green along the zz-axis, and a dashed gray decoy along the xx-axis.

Explore the figure

  1. Orbit slowly. Most arrows point off whatever line they sit near — the matrix is turning those vectors. On which of the four marked lines do the arrows lie exactly along the line itself?
  2. Zoom in on the dashed gray line near (1,0,0)(1, 0, 0) and read the field formula there: F(1,0,0)=(2,1,0)F(1, 0, 0) = (2, 1, 0). The arrow visibly leaves the xx-axis — that is why this line is drawn dashed. Looking special is not being special; the field is the test.
  3. On each line that passes the test, note whether the arrows point outward (away from the origin, with the position vector) or inward (back toward it). One of the three solid lines disagrees with the other two.
  4. Now use the colors. At equal distances from the origin, the red line carries the long yellow arrows, roughly three times the position vector; the blue line's arrows match the position vector in length; the green line's match it too — but reversed. Three lines, three different stretch factors.

Naming what you found

A nonzero vector 𝐯\mathbf{v} with A𝐯=λ𝐯A\mathbf{v} = \lambda\mathbf{v} is an eigenvector of AA, and the scalar λ\lambda is its eigenvalue. The equation says exactly what you hunted for: the line through 𝐯\mathbf{v} is invariant — AA may stretch, shrink, or flip vectors on it, but cannot turn them off it. The arrows encode λ\lambda: outward means λ>0\lambda > 0, inward means λ<0\lambda < 0, and the length ratio is |λ||\lambda|. Check the three catches by arithmetic: A(1,1,0)=(3,3,0)=3(1,1,0)A(1, 1, 0) = (3, 3, 0) = 3\,(1, 1, 0), so λ=3\lambda = 3 on the red line; A(1,1,0)=(1,1,0)A(1, -1, 0) = (1, -1, 0), so λ=1\lambda = 1 on the blue line — invariant pointwise, the field there merely restating each position; and A(0,0,1)=(0,0,1)=1(0,0,1)A(0, 0, 1) = (0, 0, -1) = -1\,(0, 0, 1), so λ=1\lambda = -1 on the green line. The inward green arrows are not a failure of invariance — they are the visual signature of a negative eigenvalue. The decoy fails outright: A(1,0,0)=(2,1,0)A(1, 0, 0) = (2, 1, 0) is no multiple of (1,0,0)(1, 0, 0).

Observation found these lines; algebra can find them blind. Rearranged, the eigenvector equation says (AλI)𝐯=0(A - \lambda I)\mathbf{v} = \mathbf{0} has a nonzero solution — which, by the last chapter, happens exactly when AλIA - \lambda I collapses: det(AλI)=0\det(A - \lambda I) = 0. That determinant, as a function of λ\lambda, is the characteristic polynomial.

3+L+3·L2L3-3 + L + 3 \cdot L^{2} - L^{3}
det(A − λI), computed ✓ Computed · mojocas 0.1.0 ✓ Agrees with the text det(A − λI), computed, computed exactly by mojocas 0.1.0, and confirmed to agree with the result stated in the text.

The characteristic polynomial of the same matrix the figure draws, expanded by a computer algebra system rather than by hand — and checked against the factored form worked out above. Its roots are the three stretch factors you read off the arrows: 33 on red, 11 on blue, 1-1 on green. (LL stands for λ\lambda.)

1,1,3-1,\; 1,\; 3
The eigenvalues, certified ✓ Computed · mojocas 0.1.0 ✓ Agrees with the text The eigenvalues, certified, computed exactly by mojocas 0.1.0, and confirmed to agree with the result stated in the text.

The same three numbers again — but this time the computer algebra system starts from the matrix itself, extracts the complete set of eigenvalues, and certifies each one's algebraic multiplicity along the way. All three are simple, listed here in ascending order, and they agree with the roots worked out above: the inward flip on green, the pointwise fix on blue, the outward triple stretch on red.

An original work of XYZ Homework, built around interactive XYZ 3D figures. Its chapter sequence is aligned to Interactive Linear Algebra (Margalit & Rabinoff, Georgia Tech, GNU FDL); this work is original, copies nothing from it, and is not affiliated with or endorsed by its authors. License: CC-BY-NC-SA-4.0.

These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or ADA Title II. Every page is built against an automated accessibility gate, and the published editions will meet ADA Title II requirements when they release in late September 2026. If something is unusable, please tell us.