Discriminante
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Quadratic_eq_discriminant.svg/220px-Quadratic_eq_discriminant.svg.png)
Enálgebra,eldiscriminantede unpolinomioes una cierta expresión de loscoeficientesde dicho polinomio que es igual a cerosi y solo siel polinomio tieneraícesmúltiples en elplano complejo.
Por ejemplo, el discriminante del polinomio cuadrático
- es.
El discriminante del polinomio cúbico
- es.
Este concepto también se aplica si el polinomio tiene coeficientes en uncuerpoque no está contenido en los números complejos. En este caso, el discriminante se anula si y solo si el polinomio tiene raíces múltiples en sucuerpo de descomposición.
El concepto de discriminante ha sido generalizado a otrasestructuras algebraicasademás de los polinomios, incluyendosecciones cónicas,formas cuadráticasycuerpos de números algebraicos.Los discriminantes en lateoría de números algebraicosestán fuertemente relacionados y contienen información sobreramificaciones.De hecho, los tipos de ramificación están relacionados con tipos más abstractos de discriminantes, lo que convierte esta idea algebraica en capital en muchas aplicaciones.
El discriminante de un polinomio
[editar]El discriminante de los polinomios cuadráticos
[editar]Elpolinomio cuadráticotiene discriminante,que es la cantidad bajo el signo de la raíz cuadrada en la fórmula de la solución de laecuación de segundo grado.Dados los números realesse tiene:
- Si,entoncestiene dos raíces reales distintas,y su representación cruza el eje de las abscisas dos veces.
El discriminante de los polinomios cúbicos
[editar]El polinomio cúbicotiene discriminante.
Caso general
[editar]El discriminante del polinomio general
es, hasta cierto factor, igual aldeterminantede la matriz (2n− 1)×(2n− 1) (Véase también:matriz de Sylvester)
El determinante de esta matriz se conoce como laresultantedey,notación.El discriminantedeviene dado por
- .
Por
El discriminante del polinomio de cuarto grado se obtiene a partir de su determinante dividiéndolo por.
De forma equivalente, el discriminante es igual a
donder1,...,rnson las raícescomplejas(contando sumultiplicidad) del polinomiop(x):
Esta segunda expresión clarifica queptiene raíz múltiple si y solo si el discriminante es cero (la raíz múltiple puede ser compleja).
El discriminante puede definirse para polinomios en cuerpos arbitrarios de la misma manera. La fórmula que involucra las raícesri igue siendo válida; las raíces tienen que tomarse en un cuerpo de descomposición del polinomio.
Discriminante de una sección cónica
[editar]Para unasección cónicadefinida por el polinomio real:
- ax2+bxy+cy2+dx+ey+f= 0,
el discriminante es igual a
- b2− 4ac,
y determina laformade la sección cónica. Si el discriminante es menor a 0, la ecuación describe unaelipseo unacircunferencia.Si el discriminante es igual a 0, la ecuación describe unaparábola.Si por el contrario es mayor a cero, la ecuación describe unahipérbola.Esta fórmula no funciona en los casos en que el polinomio ya se ha factorizado.
Discriminante de una forma cuadrática
[editar]Hay una generalización de las formas cuadráticasQsobre cualquier cuerpoKdecaracterística≠ 2. Pueden expresarse como la suma de términos
- aiLi2
donde los términosLison formas lineales y 1 ≤i≤ndondenes el número de variables. Entonces eldiscriminantees el producto deai,tomado enK/K2,y está bien definido. Una forma más invariante de decir lo mismo es que es el determinante de unamatriz simétricaparaQ.