Más en general, vamos a A∈Mn(K)A∈Mn(K) donde KK es un campo con char(K)=0char(K)=0 (podemos generalizar esta condición) . Entonces
AA no tiene múltiples valores propios en ˉK¯K, la clausura algebraica de KK, IFF
discrim(det(A−xI),x)≠0discrim(det(A−xI),x)≠0 donde discrim(P,x)discrim(P,x) es el discriminante del polinomio PP con respecto al xx.
cf. https://en.wikipedia.org/wiki/Discriminant
Ejemplo. Deje a∈R. La verdadera matriz A=(−93−32844−76−746992−72a99−31−2272967) 4 complejo distintos autovalores IFF
discrim(det(A−xI),x)=104185835672256a5+45369178665625008a4+20868533919078853824a3+4464564616463758516336a2+553796534057255432000352a−56405327830695680670639360≠0.
En particular, si a≈61.403389758845937922, A admite la doble autovalor ≈99.417913129590713400.