Symmetric Matrices and Quadratic Forms
Use an orthonormal eigenbasis to classify quadratic energy and optimization models.
Builds on Complex Numbers and Oscillatory Modes
The bigger question: Which directions keep their identity as a system evolves?
On this page
A stronger diagonalization theorem
Every real symmetric matrix has real eigenvalues and an orthonormal eigenvector basis. Thus with . This is the spectral theorem. Orthogonal coordinate changes preserve lengths and angles, unlike general basis changes.
A quadratic form is . Its value depends only on the symmetric part , so symmetric matrices capture all real quadratic forms. In eigen-coordinates , it becomes .
Visual guide
- Quadratic-form contour
Worked example: classify an energy
For , eigenvalues are and . Its quadratic form becomes in diagonal coordinates. It is strictly positive for every nonzero vector, so is positive definite.
All positive eigenvalues mean positive definite; all nonnegative mean positive semidefinite. Mixed positive and negative eigenvalues mean indefinite. A zero eigenvalue creates a flat direction, so nonnegative alone is insufficient for strict positivity.
Try it yourself.
Choose an answer and explain your reasoning to yourself. Use a hint if you get stuck.
Hint 1 · Find a starting point
Use an orthonormal eigenbasis.
Hint 2 · Take the next step
The quadratic form becomes a sum of positive eigenvalues times squared coordinates.
Show the reasoning
Answer: It is strictly positive.
At least one coordinate is nonzero, so the weighted sum is positive: A is positive definite.
Before moving on: what would make one of the other answers wrong? Saying why is part of understanding.
Worked example: an optimization model
Consider with symmetric positive definite . Its gradient is . The unique critical point solves , and it is the global minimizer because
For and , the minimizer is . If were indefinite, a stationary point would not be a minimum.
This connects linear systems to spring energies, least squares and second-derivative tests. In least squares, is always positive semidefinite and becomes positive definite exactly when has independent columns.
Practice
- Classify .
- Classify .
- Why is for every real ?
Show worked solutions
- Positive semidefinite, not definite, because the vertical direction has zero quadratic value.
- Indefinite: the coordinate directions give values of opposite signs.
- It equals .
Pause before the next idea.
Can you explain how the visualization connects to this lesson’s goal? If a step still feels uncertain, put this lesson on your review list and try the check again another day.