El número real formula_9 es una de la raíces de la ecuación de segundo grado formula_10.