Proof of the rank-trace theorem

· John Cook · Sept. 5, 2026, 5:22 p.m.
Math linear algebra mathematics linear algebra rank-trace theorem Proofs
Summary
This blog post presents a proof of the rank-trace theorem for real symmetric matrices, building upon previous discussions related to its motivation and applications. It includes a terse proof involving the diagonalization of the matrix.
Read full post on www.johndcook.com →
AUTHOR
Sponsored
Zulip logo Zulip
Organized team chat for people who take work seriously. Topic-based threading keeps conversations focused.
Try Zulip
Become a sponsor →