Codex Wiki OurBigBook logoOurBigBook.comSite Source code
By the real spectral theorem, a real symmetric matrix has an orthogonal diagonalization
Writing gives
This is nonnegative for every exactly when every . Thus the quadratic-form and eigenvalue definitions of a positive semidefinite matrix agree.
When is positive semidefinite, define
This matrix is symmetric and positive semidefinite, and its square is , so it is the principal square root of a positive semidefinite matrix.
For nonsingular , the matrix is symmetric and
for every nonzero . Thus is positive definite, and
exists and is nonsingular. Let . Since is symmetric,
Hence is an orthogonal matrix and
the polar decomposition of an invertible real matrix.
In three dimensions, stretches or contracts along three mutually perpendicular eigenvector directions by its positive eigenvalues. The orthogonal map is then applied: it is a rotation when , and a rotation combined with a reflection when .
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 7A
  2. Paper 1
  3. Ia
  4. 2021
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home