---
title: "Symmetric Matrices and the Spectral Theorem"
description: "A real symmetric matrix has real eigenvalues and an orthonormal eigenbasis. That single fact is behind quadratic forms, covariance matrices and principal axes."
canonical: https://lightmysky.com/learn/mathematics/symmetric-matrices-and-the-spectral-theorem-mt_sdQv4m7Nbk
source: https://lightmysky.com/learn/mathematics/symmetric-matrices-and-the-spectral-theorem-mt_sdQv4m7Nbk.md
retrieved: 2026-09-12
---

> **Agent view.** This is the Markdown twin of the page, for tools and assistants.
> When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md
> API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md
> Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt
> Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json
> Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`.

# Symmetric Matrices and the Spectral Theorem

A real symmetric matrix has real eigenvalues and an orthonormal eigenbasis. That single fact is behind quadratic forms, covariance matrices and principal axes.

Subject: Mathematics · Area: Linear Algebra · Ages 20 to 21
Page: https://lightmysky.com/learn/mathematics/symmetric-matrices-and-the-spectral-theorem-mt_sdQv4m7Nbk

## Ready when they can

- Diagonalise a symmetric matrix with an orthogonal matrix
- Classify a quadratic form from the signs of its eigenvalues
- Explain why symmetry forces eigenvectors for distinct eigenvalues to be orthogonal

## Lesson: Symmetric matrices and their right angle axes

A real symmetric matrix has real eigenvalues and an orthonormal eigenbasis. That single fact unlocks the spectral decomposition: A equals Q times D times Q transpose, where Q is orthogonal and D holds the real eigenvalues. Follow the usual pipeline on a symmetric two by two: solve the characteristic equation, then find each eigenspace. For symmetric input the pipeline always succeeds.

**Example.** Diagonalise the symmetric matrix with rows (5, 2) and (2, 8). Its trace is 13 and its determinant is 40 minus 4, which is 36. The characteristic equation is lambda squared minus 13 lambda plus 36 equals 0, with roots 9 and 4. Both are real, as symmetry promises. Normalise the two eigenvectors and stack them as Q, and you hold the spectral decomposition in your hands.

Symmetry also forces eigenvectors for distinct eigenvalues to be orthogonal. Dot the two eigenvectors from the example and you get zero, which is no accident: a short argument shows distinct eigenvalues always give perpendicular directions. That is why Q can be orthogonal at all. The same signs then classify quadratic forms: all positive eigenvalues bowl upward, all negative bowl downward, and mixed signs saddle.

**Tip.** This one fact powers covariance matrices and principal axes, so learn to reproduce the orthogonality argument from memory. And always normalise before stacking Q: only then is the transpose the true inverse and the factorisation genuinely spectral.

**Recap.** Symmetry gives real eigenvalues with perpendicular directions, stacked into Q with the values in D.

## Practice

14 questions on this page, each with its working shown.

## Needs first

- [The Gram-Schmidt Process](https://lightmysky.com/learn/mathematics/the-gram-schmidt-process-mt_nkp231EA_E)
- [Eigenvalues and Eigenvectors](https://lightmysky.com/learn/mathematics/eigenvalues-and-eigenvectors-mt_TVqqaw11qa)

## Opens up

- [States as Vectors: Dirac Notation and the State Space](https://lightmysky.com/learn/science/states-as-vectors-dirac-notation-and-the-state-space-mt_9g0aNMxQ8M)
- [Hartree-Fock and What a Basis Set Decides](https://lightmysky.com/learn/science/hartree-fock-and-what-a-basis-set-decides-mt_EYSTCPuRNx)
- [Iterative Methods for Large Linear Systems](https://lightmysky.com/learn/mathematics/iterative-methods-for-large-linear-systems-mt_FKkxKYVGYJ)
- [Classifying Second-Order PDEs and What the Type Decides](https://lightmysky.com/learn/mathematics/classifying-second-order-pdes-and-what-the-type-decides-mt_hlQWbd1kzR)
- [Principal Components and Dimensionality Reduction](https://lightmysky.com/learn/computing/principal-components-and-dimensionality-reduction-mt_l-9XHg_ChZ)
- [Compact Self-Adjoint Operators and the Spectral Theorem](https://lightmysky.com/learn/mathematics/compact-self-adjoint-operators-and-the-spectral-theorem-mt_P_Jr9LWFQj)
- [Observables as Hermitian Operators and Their Spectra](https://lightmysky.com/learn/science/observables-as-hermitian-operators-and-their-spectra-mt_TXCN8uiWqs)
- [Degenerate Perturbation Theory and the Variational Method](https://lightmysky.com/learn/science/degenerate-perturbation-theory-and-the-variational-method-mt_uov0PZ8vqy)
- [First-Order Perturbation Theory](https://lightmysky.com/learn/science/first-order-perturbation-theory-mt_UsbiiQFOAt)
- [The Singular Value Decomposition](https://lightmysky.com/learn/mathematics/the-singular-value-decomposition-mt_UsUZbM9VRK)