充要條件為每個特徵值的幾何重數等於代數重數（即有 n 個線性獨立特徵向量）；幾何重數恆 ≤ 代數重數。