Ecuación algebraica
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0b/Sextic_equation.png/220px-Sextic_equation.png)
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]
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
- La ecuación F+G=G es equivalente a la ecuación F = 0.
- F/G = 0 es equivalente a la ecuación F = 0
- FG = 0 es equivalente a las dos ecuaciones F= 0 y G = 0.
- La ecuación Fn = 0 es consecuencia de la ecuación F=0, donde n es entero positivo mayor que 2.
- 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]- Número algebraico
- Ecuación cúbica
- Ecuación cuártica
- Número complejo
- Teoría de Galois
- Ecuación diofántica
Referencias
[editar]- ↑ Concordado con Sullivan en Precálculo, quien habla de ceros de un polinomio
- ↑ A.G. Kurosch: Ecuaciones algebraicas de grados arbitrarios.
- ↑ Kurosch. Op. cit.
- ↑ A. G. Kurosch: Álgebra superior. Editorial Mir Moscú varias ediciones
- ↑ Álgebra superior de Lehmann
- ↑ Kurosch. Op. cit. pág 22
- ↑ Cotejados con Álgebra superior de Albert Adrian y Análisis Matemático de Haaser- La Salle-Sulivan
- ↑ Uspensky. Libro mencionado
- ↑ Sullivan, J. (2006). «Polinomios y funciones racionales». Álgebra y Trigonometria (7ª edición). Pearson Educación. p. 374. ISBN 9789702607366.
- ↑ Tsipkin: Manual de matemáticas
- ↑ Gustafson. álgebra intermedia. ISBN 970-686-553-5
- ↑ Alfhors: Complex Variable
- ↑ Leithold. Álgebra superior
- ↑ Sullivan. Op. cit.
- ↑ Kúrosch: Álgebra superior
- ↑ Charles Lehman. Álgebra superior
- ↑ Sullivan: obra rferida