Ecuación algebraica

término matemático

En la matemática, especialmente en el álgebra superior, una ecuación algebraica de grado superior es una ecuación de la forma P(x) = 0 donde P(x) es un polinomio no nulo ni constante, con coeficientes enteros, cuyo grado se supone n ≥ 2.[1][2]​ Donde x denota un número real o complejo desconocido que la satisface, esto es, que reemplazado en P(x) da cero como resultado. Cualquier número que satisface la ecuación se llama raíz; el problema de resolver una ecuación significa hallar todas sus raíces. Cuando el grado del polinomio es n se dice que la ecuación correspondiente es de grado n.[3]

Las soluciones de una ecuación algebraica de una variable corresponden a los puntos de una curva, que «tocan o cortan» al eje horizontal.

Por ejemplo, el polinomio con coeficientes enteros.

determina la ecuación , es decir, . Las resolución de esta ecuación determina las raíces de la ecuación, las cuales se interpretan geométricamente como sigue.

La gráfica de la función polinómica es una curva, donde los ceros del polinomio, si son reales, son las abscisas de los puntos de la curva donde corta al eje Ox o es tangente al mismo.[4]​ Una ecuación de grado impar, si tiene por lo menos una raíz real. Luego un punto en Ox, (x,0) para dicha raíz.[5]

Historia

editar

Las ecuaciones algebraicas de orden superior están ya documentadas en Mesopotamia y diversas tablillas cuneiformes tratan con problemas prácticos que ofrecen la resolución de este tipo de ecuación. De hecho la solución general de ecuaciones de segundo grado con coeficientes positivos ya era conocida por los pueblos mesopotámicos. También en la matemática china se conocía desde antiguo la solución de este tipo de ecuaciones.

Tanto los matemáticos árabes como chinos, consideraron problemas particulares en los que intervenían ecuaciones cúbicas y de órdenes superiores. En la obra del matemático chino Li Chih (o Li Yeh, 1192-1279) se consideran incluso algunos problemas que involucran ecuaciones de sexto grado. Sin embargo, parece que la primera solución general y sistemática de las ecuaciones de tercer y cuarto grado fue obtenida por matemáticos italianos del siglo XVI. La solución de estas ecuaciones se podía realizar en términos de radicales. El estudio de soluciones generales llevó a estos matemáticos incluso a considerar por primera vez los números complejos, más frecuentemente en los cálculos intermedios necesarios para encontrar ciertos soluciones reales.

La ecuación quíntica (y las de grado superior a 5) no admitían soluciones generales construibles en términos de radicales por lo que su estudio fue más complicado y no se desarrollaron soluciones en términos de funciones trascendentes hasta el siglo XIX, por parte de matemáticos europeos.

Ecuaciones de una incógnita

editar

Ejemplos

editar
  • Ecuación cúbica:  , con una raíz real y dos complejas conjugadas
  • Ecuación de quinto grado:   tiene cinco raíces, tres reales y dos complejas; ninguna se puede expresar mediante radicales; caso de ecuación «irresoluble por radicales» [6]
  • Ecuación de séptimo grado:   tiene tres raíces reales, una de ellas positiva.
  • Ecuación de sexto grado:   tiene una raíz positiva y otra negativa

Contraejemplos

editar
  • Ecuaciones que no son algebraicas sobre  , por no ser sus algunos de sus coeficientes números racionales:
    •  , los coeficientes no son números enteros; se puede usar la fórmula de la ecuación completa de grado 2.
    •  , los coeficientes no son enteros; sin embargo la teoría considera que tiene tres raíces en ℂ.
Sin embargo estas ultimadas dos ecuaciones si son algebraicas sobre  , ya que sus coeficientes sí son números complejos.
  • Ecuaciones que no son algebraicas por ser trascendentes:
    •  , es una ecuación trascendente, ya que involucra una función no polinómica (en este caso la única solución real de esta ecuación es t = 0).
    •  , conlleva la función  , que no es un polinomio.[7]

Consideraciones genéricas

editar

Según los valores que asuma   surgen las ecuaciones de la forma

 
 
 
 

de grado 1, 2, 3, 4, etc. o ecuaciones lineal, cuadrática, cúbica, cuártica, etc. Se asume que el coeficiente principal   es distinto de cero; aunque ninguna condición se establece para los demás coeficientes.[8]

Resolver ecuaciones algebraicas de una sola variable es relativamente sencillo para los grados 1 y 2.

Factorización

editar

Si k es una raíz de la ecuación

 

se deduce del teorema del resto que P(x)es divisible por (x-k) y se cumple

 

donde   es un polinomio de grado n-1.

Si   es otra raíz distinta de k se obtiene

 

donde   es un polinomio de grado n-2. Y así sucesivamente.

Primer grado

editar

Segundo grado

editar

Una ecuación de segundo grado

 

no siempre admite solución sobre  , aunque sí la admite sobre su clausura algebraica (si se trata de un cuerpo de característica nula). Existen a lo sumo dos soluciones, dadas por:

 

Puede ser que alguna de las soluciones anteriores, definibles sobre la clausura algebraica no son números del cuerpo  . Por ejemplo la ecuación:

 

No admite solución sobre   pero sí la admite sobre su clausural algebraica y también sobre   (ya que contiene a la clausura algebraica de  ).

Ecuaciones de mayor grado

editar

Para ecuaciones de tercer y cuarto grado también pueden construirse las soluciones de la ecuación sobre la clausura algebraica de   mediante el método de los radicales. Esto fue anticipado por Gerolamo Cardano, Tartaglia y Lodovico Ferrari, entre otros, en el siglo XVI. Sin embargo, para grado 5 o mayor, no tiene por qué existir una solución construible mediante el método de radicales, hecho probado por Évariste Galois a principios del siglo XIX.[9]

Conversión de coeficientes

editar

Una ecuación algebraica en el cuerpo de los racionales siempre puede convertirse en una ecuación con coeficientes enteros. Por ejemplo, tomemos la ecuación de tercer grado:

 

multiplicando por tres toda la ecuación tenemos:

 

La forma estándar de este tipo de ecuación, sin embargo, tiene un coeficiente unitario al principio:

 

Si todos los otros coeficientes son enteros, entonces las raíces de la ecuación son enteros algebraicos.

Ecuaciones binomias

editar

La ecuación   tiene una raíz igual a k, para cualquier natural mayor que 1 y c, entero.

La ecuación  , detenta una raíz igual a -c para n natural par.

La ecuación   posee una raíz igual a -c para cualquier n, natural impar.

[10]

Ecuaciones vinculadas

editar
  • Si todas las soluciones de F=0 son soluciones de la ecuación G=0 se dice que esta es consecuencia de la anterior.

Por ejemplo, la ecuación

 

es consecuencia de la ecuación

 

.

En otros términos, si el conjunto solución de la ecuación F = 0 es parte del conjunto solución de la ecuación G = 0, esta es consecuencia de la ecuación F = 0.

  • Si todas las soluciones de F=0 son soluciones de la ecuación G=0 y recíprocamente se dicen que las dos ecuaciones son equivalentes.

Como ejemplo, la ecuación

 

y la ecuación

 

son equivalentes; sus conjuntos solución son iguales.

  • Se indican ciertas ecuaciones equivalentes y ecuación consecuencia de otra
  1. La ecuación F+G=G es equivalente a la ecuación F = 0.
  2. F/G = 0 es equivalente a la ecuación F = 0
  3. FG = 0 es equivalente a las dos ecuaciones F= 0 y G = 0.
  4. La ecuación Fn = 0 es consecuencia de la ecuación F=0, donde n es entero positivo mayor que 2.
  5. La ecuación Fn = Gn es equivalente a la ecuación F = G si n es impar; y equivalente a las ecuaciones F=G y F= -G si n es par.[11]

Proposiciones

editar
  • De acuerdo al Teorema fundamental del álgebra toda ecuación algebraica definida por un polinomio de grado n, tiene al menos una raíz en el conjunto ℂ de los números complejos.[12]
  • Como aplicación del TFA, toda ecuación algebraica de grado n se puede descomponer en n binomios lineales  , siendo   una raíz, que pudiera ser múltiple en algún caso.[13]

como ejemplo, la ecuación de quinto grado

 

que se factoriza en

 

que tiene una raíz tripe el 1 y dos raíces conjugadas i y -i.

  • Si una ecuación de grado n, con coeficientes reales, tiene como raíz el número complejo   entonces el conjugado de z* es también raíz de tal ecuación; siendo  .[14]​ Sea la ecuación de cuarto grado

 

una de cuyas raíes es el número complejo

  por lo tanto otra raíz, de hecho, lo es también  

  • Una ecuación algebraica, usando solo el campo de los números reales, se puede factorizar en factores lineales   y factores cuadráticos de la forma   que resulta del producto de cada par de raíces complejas.[15]​ El siguiente ejemplo

 

que puede ser factorizado como

 , el trinomio es irreduducible en el conjunto ℝ de los números reales

  • Cuando una ecuación algebraica de coeficientes racionales tiene una raíz real irracional de la forma  , entonces tiene también el número real  .[16]​ Sea la ecuación de coeficientes racionales de tercer grado

 

que tiene dos raíces reales irracionales

  y  

Otras afirmaciones

editar
  • Si una ecuación polinomial de coeficientes reales tiene grado impar no menor de 3, entonces tiene al menos una raíz real, porque las otras que serían complejas, aparecen en parejas de complejos conjugados.[17]
  • Si la ecuación algebraica

 

tiene como raíz el número racional  , entonces p es divisor de an y que es divisor de a0.

  • Si la ecuación algebraica

 

(redundando: de coeficientes enteros) tiene una raíz entera k, entonces an es divisible por k. Por ejemplo la ecuación

 

con seguridad tiene por lo menos una raíz real entera, la que tiene que ser divisor de 6. Potencialmente serían  . Precisamente el número entero 2 es una raíz, las otras dos son complejas conjugadas.

Métodos de aproximación de raíces

editar

Véase también

editar

Referencias

editar
  1. Concordado con Sullivan en Precálculo, quien habla de ceros de un polinomio
  2. A.G. Kurosch: Ecuaciones algebraicas de grados arbitrarios.
  3. Kurosch. Op. cit.
  4. A. G. Kurosch: Álgebra superior. Editorial Mir Moscú varias ediciones
  5. Álgebra superior de Lehmann
  6. Kurosch. Op. cit. pág 22
  7. Cotejados con Álgebra superior de Albert Adrian y Análisis Matemático de Haaser- La Salle-Sulivan
  8. Uspensky. Libro mencionado
  9. Sullivan, J. (2006). «Polinomios y funciones racionales». Álgebra y Trigonometria (7ª edición). Pearson Educación. p. 374. ISBN 9789702607366. 
  10. Tsipkin: Manual de matemáticas
  11. Gustafson. álgebra intermedia. ISBN 970-686-553-5
  12. Alfhors: Complex Variable
  13. Leithold. Álgebra superior
  14. Sullivan. Op. cit.
  15. Kúrosch: Álgebra superior
  16. Charles Lehman. Álgebra superior
  17. Sullivan: obra rferida