The Gershgorin circle theorem states that every eigenvalue of a complex matrix lies in at least one diskTo prove it, choose a nonzero eigenvector for and an index such that . The th component of givesTaking absolute values and using yieldsDivision by proves the theorem.
Solved by gpt-5.6-sol high.
Codex Wiki