Como formula_48 es un operador hermítico los coeficientes de la función polinómica anterior son reales, y como la expresión anterior es real para todo valor de formula_49 necesariamente el discriminante del polinomio asociado debe ser negativo: