Teora de ecuaciones

variste Galois da una condicin necesaria y suficiente para la resolucin de una ecuacinpolinmica con el
lgebra, respondiendo as a una interrogante planteada desde haca milenios.
En matemticas, la teora de ecuaciones es un conjunto de trabajos cuyo objetivo principal
es la resolucin de ecuaciones algebraicas
Nota 1
o equivalentes.
Nota 2
Tal ecuacin se escribe
del modo siguiente:
Nota 3


donde X designa la incgnita,.
Nota 4
Un nmero que verifica la ecuacin se
llama raz o solucin.
1

La teora de ecuaciones es una expresin frecuentemente utilizada en historia de
ciencias.
2
Su estudio remonta a los primeros textos matemticos conocidos;
Nota 5
este primer
acercamiento consista en resolver ecuaciones en las que
el grado del polinomio es estrictamente menor que cinco. Durante el Renacimiento y con el
estudio de lasecuaciones cbicas, nuevos tipos nmeros son introducidos, inicialmente
calificados de imaginarios, y despus nmeros complejos. Ms tarde, estos nmeros
intervendrn en la resolucin de ecuaciones de segundo grado.
A partir de la edad moderna, el polinomio es considerado tambin unafuncin. Este
tratamiento ofrece mtodos para determinar el nmero deraces reales, para localizarlas, y
tambin permite construir mtodos de aproximacin tan precisos como se desee. Uno de sus
logros es el llamado teorema fundamental del lgebra, segn el cual una funcin polinmica
no-constante admite al menos un cero en los nmeros complejos.
Una perspectiva adoptada en el XX, consiste en estudiar el menor conjunto de nmeros
estable por las cuatro operaciones y que contiene a la vez coeficientes y races de una
ecuacin dada. Este es el enfoque de la teora llamada de Galois. Ofrece una condicin
necesaria y suficiente para saber si una ecuacin polinmica se resuelve por las tcnicas
descritas anteriormente, en caso contrario, deben aplicarse aproximaciones desarrolladas en
anlisis matemtico. Hasta el siglo XIX, la teora de ecuaciones se confunde con el lgebra,
ms tarde, y gracias a la teora de Galois principalmente, el lgebra se extiende para tomar en
cuenta nuevas interrogantes. Esta teora es el origen de vastos dominios de las matemticas,
como lateora de grupos, la teora de anillos, la teora de cuerpos o incluso la geometra
algebraica.
Observacin: Cuando no se precisa, el trmino teora de ecuaciones designa
generalmente
Nota 6
las ecuaciones polinmicas.
3
Por otra parte, existen numerosas
ecuaciones que, sin ser algebraicas, tambin forman parte de una teora. El uso
requiere que se precise la naturaleza de la ecuacin considerada, como en la
expresin teora de las ecuaciones diferenciales.
4
No existe una teora nica que se
aplique a todo tipo de ecuaciones, pues forman un conjunto muy heterogneo.
ndice
[ocultar]
1 Primeros desarrollos
o 1.1 Egipto y Babilonia
o 1.2 lgebra rabe
2 Geometra al servicio del lgebra
3 El siglo XVI en Europa
o 3.1 Difusin desde Italia
o 3.2 Teora de las ecuaciones moderna
4 Vase tambin
5 Fuentes
o 5.1 Notas
6 Bibliografa
7 Notas II
Primeros desarrollos[editar]
Egipto y Babilonia[editar]
Tan atrs como se remontan a los textos conocidos de matemticas se encuentran
cuestiones que, adaptadas al lenguaje actual, se expresan en forma de ecuaciones
algebraicas. En un papiro del antiguo Egipto se lee: Cundo el escriba te dice que 10 son
los 2/3 y 1/10
5
se traducir como 2/3x + 1/10x = 10. En tanto, los babilonios estudiaron
en particular problemasque corresponden a ecuaciones de segundo grado. Su lenguaje
era geomtrico, el valor que se busca, que actualmente denominamos x, se
denominaba lado y x
2
cuadrado, pero su formulacin a menudo es puramente
algebraica. Se puede leer, sobre una tablilla de arcilla: He sumado 7 veces el lado de mi
cuadrado y 11 veces el rea: 6 15,
Nota 7
para describir, en la numeracin sexagesimal
utilizada por los babilonios, la ecuacin 11x
2
+ 7x = 6x60 + 15 = 375. El sentido
geomtrico de la suma de un rea y de una longitud es ambigua, sin embargo ningn
comentario no sostiene una interpretacin puramente algebraica de la cuestin (los
nmeros multiplicados y sumados). No se desarroll ninguna herramienta algebraica, as
como tampoco existi ninguna incgnita que se pueda determinar con la ayuda de un
mtodo de clculo. Los egipcios resolvieron la ecuacin del primer grado por tanteo, con
la ayuda del mtodo de la falsa posicin y los babilonios disponan de algoritmos sin otra
justificacin que la emprica, es decir que finalmente el valor encontrado es la solucin
buscada.
Se tuvo que esperar ms de dos milenios para encontrar un esbozo de una verdadera
teora. Fue desarrollada de forma independiente por tres culturas matemticas: Grecia,
la civilizacin rabe y la India. Diofanto, un matemtico del siglo III, formaliza la arithme,
una letra que l define de la siguiente manera:
6
El nmero que posee una cantidad
indeterminada de unidades se llamar arithme, y su marca distintiva es . Como aclaro
ms adelante el arithme se suma y se multiplica; la inversa del arithme multiplicada por el
bicuadrado del arithme da el cubo de la arithme.
7
Esto significa, en lenguaje actual, la
inversa de x multiplicada por x
4
y que el resultado es igual a x
3
. Este paso permite una
verdadera formulacin matemtica de la ecuacin y, sobre todo, una forma de resolverlo.
En el siglo VIII, antes de que la obra de Diofanto fuera traducido al rabe,
8
el matemtico
de origen persa Al-Khwarazm desarroll una idea anloga. Su incgnita se llamaba
say.
9
Una vez ms, el nuevo formalismo ofrece un medio de resolucin de la ecuacin.
R. Rashed comenta al respecto: [Con Al-Khwarazm] la nocin base es la nocin de
ecuacin, que puede cubrir una clase infinita de problemas, geomtricos o aritmticos: la
unidad ya no es el objeto sino que lo es la operacin misma.
10
La misma idea tambin
est presente en el matemtico indioBhaskara II y queda recogida en su obra
titulada Bjagaita.
11

lgebra rabe[editar]
A menudo se considera que el matemtico Al-Khwarazm fue el fundador de la rama de
las matemticas llamada lgebra. Desde el punto de vista de la etimologa, el ttulo de su
tratado sobre las ecuaciones: Kitab al-jabr wa al-muqabala utiliza el trmino al-jabr,
que ha derivado en la palabra lgebra. En rabe, al-jabr indica transformar una
sustraccin de un miembro en una adicin al otro miembro,
12
con el objetivo de obtener
nicamente los coeficientes positivos. Por ejemplo: 2x
2
+ 100 - 20x = 58, siguiendo este
procedimiento, se transforma en 2x
2
+ 100 = 58 + 20x. Dahan-
Dalmedico y Peiffer precisan que el trabajo de Al Khwarazm se puede concretar en el
nacimiento de una teora referente a las ecuaciones cuadrticas, as como en el conjunto
de los nmeros positivos (casi siempre racionales), teora que implica todava algunas
lagunas.
13
No es slo la etimologa lo que justifica esta adjudicacin a Al Khwarazm
puesto que l se interes por todas las ecuaciones de segundo grado, mientras que
Diofanto slo intent resolver algunos casos particulares, con soluciones de enteros o
racionales. Al Khwarazm desarroll un proceso ms sistemtico, el objeto de su tratado
es ofrecer un mtodo que permita encontrar con certeza una solucin de la ecuacin, si
sta existe.
Los progresos en teora de ecuaciones no se detienen con Al Khwarazm. l representa el
origen de una escuela matemtica que se desarrolla a lo largo de varios siglos. Su
discpulo Abu Kamil disipa una primera limitacin. Al principio, las ecuaciones que se
estudian son casi siempre con coeficientes racionales; Abu Kamil generaliz el estudio de
los coeficientes irracionales.
13
La concepcin inicial del nmero en los rabes es heredada
de los griegos y se limita a las fracciones. Los tamaos inconmensurables, que
corresponden a nuestros irracionales, son proporciones entre longitudes pero no poseen
el estatus de nmero. Al Khwarazm los denomin gidr asamm, que significa raz muda
o ciega.
13
Dos siglos ms tarde, para matemticos como Omar Khayyam, las fracciones y
las proporciones inconmensurables son tratadas en los clculos de la misma manera. Los
dos conceptos se denominan al-Adad, que significa nmero (los racionales se designan
por el trmino al-Adad al muntiqa y los irracionales al-Adad al-suma), y la diferencia
es ms que filosfica.
14

Posteriormente se desarrollaron herramientas especficas que permitieron un clculo ms
sencillo de las multiplicaciones de polinomios. As-Samawal logr desarrollar con ello una
representacin cercana al concepto moderno de polinomio formal.
Geometra al servicio del lgebra[editar]
Artculos principales: Geometra analtica y Productos notables.
La geometra, y particularmente la de los Elementos de Euclides, juega un papel
fundamental en esta lgebra naciente. En el caso de una ecuacin de segundo grado y
despus de dividir entre el coeficiente del monomio de segundo grado, el monomio del
segundo grado puede ser visto como el rea de un cuadrado cuyo lado es la incgnita que
se busca. En el caso de la ecuacin de primer grado, se interpreta el trmino del primer
grado como el rea de un rectngulo cuyas dimensiones son la incgnita y el coeficiente
del monomio, la constante se interpreta como el rea un cuadrado perfectamente
determinado. Este enfoque permite a Euclides resolver problemas de primer y segundo
grado.
15
El enfoque del anlisis de los rabes es diferente puesto que intentan resolver
una ecuacin, en este caso particular, del segundo grado. Sin embargo el ncleo de la
demostracin es el mismo: un anlisis de una configuracin geomtrica, construida sobre
la base de ungnomon. De manera metdica, el estudio del gnomon permite establecer las
tres identidades notables fuente de la resolucin de las ecuaciones del segundo grado.
El enfoque utilizado para extender la teora naciente de las ecuaciones en la ecuacin
cbica tambin es geomtrico, pero esta vez con herramientas un poco diferentes. Al
Khayyam se fij que es posible interpretar la raz de la ecuacin cbica como
la abscisa de la interseccin de una circunferencia y de una parbola, lo que muestra ya el
uso de lo que se dir ms tarde como una referencia cartesiana y permitir observar la
posible existencia de varias soluciones.
16
Dos siglos ms tarde, aprovechando los
progresos tanto algebraicos como geomtricos, Nasser-ad-Din at-tosa desarroll diversas
herramientas en el marco de la ecuacin cbica. El discriminante le posibilit conocer la
existencia de races positivas en ciertas situaciones,
17
la derivacin formal le permiti
localizar las races y obtener un mtodo numrico, que es una variante de lo que se
denominamtodo de Ruffini-Horner, el cual permite obtener una aproximacin de la raz
con una precisin tan grande como se quiera.
El siglo XVI en Europa[editar]
Difusin desde Italia[editar]
Artculo principal: Ecuacin de tercer grado

Gerolamo Cardanogeneraliz la frmula deTartaglia, en esta generalizacin usa los nmeros
imaginarios para resolver casos que hasta entonces se calificaban de irreductibles.
A principios del siglo XVI, a travs de los textos de Fibonacci e, incluso, la Summa de
Arithmetica, Geometra, Proportioni te Proportionalit (Venecia, 1494) de Luca Pacioli, la
ciencia y la cultura de influencia italiana tuvieron acceso a la esencia del saber rabe. Los
matemticos de entonces se apasionaron por el lgebra y, sobre todo, por un problema
que haba quedado abierto: encontrar un mtodo general y exacto de resolucin de la
ecuacin cbica. Por la expresin exacta, se entiende una forma diferente de una
sucesin que converge hacia la raz. Estos matemticos buscaron una expresin anloga
a la de Al Khawarizmi o a la de Savasorda por la de segundo grado que, con la ayuda de
races cuadradas o cbicas, llegara a dar la solucin.
El spera competicin que rein entre los diferentes matemticos estimul a los
candidatos y promovieron la aparicin de ideas nuevas. Scipione del Ferro, en relacin a
la ecuacin X
3
+ aX = b, encontr como frmula de resolucin:


La frmula debera suscitar el asombro de la poca.
Nota 8
Un clculo algebraico en aquella
poca todava deba quedar justificado por un soporte geomtrico. Un nmero coge su
justificacin de una longitud, de un rea o de un volumen. El signo no tiene sentido ms
que si una longitud se sustrae de una ms grande. En la solucin que propone del Ferro,
se recorta una longitud de otra longitud ms pequea.
Nota 9
En esa poca, el objetivo era
superar desafos, es decir, resolver ecuaciones particulares;
18
el rigor del mtodo importa
poco, en tanto que finalmente sea posible verificar el resultado reemplazando en la
ecuacin x por la presunta solucin.
Todava se segua sin resolver una cuestin: Cmo resolver la ecuacin X
3
+ a = bX?
Esta vez, el mtodo pareca impracticable ya que el tamao negativo que aparece debera
corresponder a la superficie de un cuadrado (en el sentido geomtrico del
trmino). Tartaglia, uno de los especialistas de la poca en la materia, calific la ecuacin
de irreductible. Fue finalmente Cardano quien encuentra la solucin; bastaba con no
detener los clculos. Estos extraos trminos acabaron por desaparecer.
19
Por ejemplo,
aplicando identidades notables como:
20


Con estas aportaciones, se franquea una nueva etapa. Si bien el significado preciso de la
expresin -1 qued misteriosa, se descubri la idea de hacer referencia a un conjunto de
nmeros ms grandes para resolver una cuestin de la teora de ecuaciones. En 1540, un
alumno de Cardano, Ludovico Ferrari, resolvi la ecuacin de cuarto grado.
21
Bombelli
propuso un formalismo que admita la existencia de nmeros negativos e imaginarios. Su
influencia, comprobable por los comentarios de Steven o la correspondencia
entre Leibnitz y Huygens, fue duradera.
22

Teora de las ecuaciones moderna[editar]
El comienzo de una verdadera teora de ecuaciones se atribuye generalmente a Vite,
matemtico francs de finales del siglo XVI.
23
Si bien todava se niega a incorporar los
avances de Bombelli es decir, los nmeros negativos y los nmeros imaginarios,
obtiene tres resultados fundamentales que se pueden resumir en el uso de letras para
representar variables y coeficientes y los sistemas de coordenadas. El resultado ms
celebrado es probablemente lo que l llamaba la lgica especiosa y que actualmente se
califica de clculo utilizando letras. Vite categoriz en dos grupos el uso de las letras en
matemticas:
24

En relacin al lgebra, el uso de las letras se extiende y se perfecciona en Europa en
el transcurso del siglo XVI,
25
pero ya exista en la obra de Diofanto: una letra se suma
o se multiplica y juega el papel de incgnita en una ecuacin. En geometra, este uso
ha sido habitual ya desde la antigedad, una letra designa un tamao o un objeto no
especificado, un punto, una recta, una distancia entre dos puntos sobre una figura,
etc. Los principios generales de resolucin de las ecuaciones no podan ser
establecidos ms que con la ayuda de la geometra, como el uso de gnomones para
lasidentidades notables, despus ilustrados con ejemplos de ecuaciones polinmicas
con coeficientes numricos, que Vite consider que pertenecan a la lgica de los
nmeros.
Vite introduce una segunda categora de letras para los coeficientes. Estos son
tambin valores que se consideran como fijados, incluso si no se les conoce, es el
que ahora se llama un parmetro. Transportando al lgebra una antigua costumbre
geomtrica, Vite crea la lgica especiosa. Este nuevo enfoque significa considerar
una ecuacin como una expresin del tipo: ax
2
+ bx = c; de hecho, poder resolver esta
ecuacin es poder ser capaz de resolver todas las ecuaciones de segundo grado. Un
nico caso general de lgica especiosa permite tratar un sinfn de casos particulares
procedentes de la lgica de los nmeros.
La segunda aportacin de Vite consiste en el desarrollo de un lenguaje simblico que
permita expresar de forma ms simple cualquier expresin polinmica. Las ideas de Vite
permitieron una expresin ms lmpida que la de sus predecesores. Su vocabulario, en
parte, ha resultado lo suficientemente moderno; de hecho, a l se le debe la incorporacin
de los trminos coeficiente y polinomio. Este formalismo permiti expresar los
primeros resultados generales, en el sentido de que son independientes del grado del
polinomio, como la relacin entre los coeficientes y las races de un polinomio. El sistema
de notaciones de Vite es retomado por Fermat y Descartes para convertirse, en palabras
de Nicolas Bourbaki, en un sistema que con pocas diferencias, es el que utilizamos
actualmente. Estos trabajos permiten una inversin de la jerarqua matemtica. Hasta
Vite, la teora de las ecuaciones era necesariamente una emanacin de la geometra. El
nico mtodo genrico de demostracin se basaba en la obra Elementos de Euclides, y
los clculos claves, tales como las identidades notables, que se establecan con la ayuda
de consideraciones geomtricas. El clculo con letras permiti liberar el lgebra de estas
restricciones. Gracias a Descartes, el lgebra, con la implementacin de una referencia
cartesiana, se convirti en una mquina que permiti demostrar teoremas geomtricos. Es
una extensin de la lgica, desprovista de toda significacin por s misma, pero
indispensable para el manejo de las cantidades, y, en cierto sentido, ms fundamental
incluso que la geometra.
Teora de Galois

variste Galois (18111832)
En matemticas, la teora de Galois es una coleccin de resultados que conectan lateora de
cuerpos con la teora de grupos. La teora de Galois tiene aplicacin a diversos problemas de
la teora de cuerpos, y que gracias a este desarrollo, pueden ser reducidos a problemas ms
sencillos de la teora de grupos. La teora de Galois debe su nombre al matemtico
francs variste Galois (1811-1832), fallecido a la edad de 20 aos.
ndice
[ocultar]
1 Aplicaciones de la teora de Galois
2 El enfoque de la teora de Galois usando el grupo de permutaciones
o 2.1 Primer ejemplo: ecuacin cuadrtica
o 2.2 Segundo ejemplo
3 Grupos solubles y solucin por radicales
4 El problema inverso de Galois
5 Vase tambin
6 Referencias
7 Bibliografa
Aplicaciones de la teora de Galois[editar]
El nacimiento de la teora de Galois estuvo motivada por el intento de responder a la siguiente
cuestin:
Por qu no existe una frmula para la resolucin de ecuaciones polinmicas de
quinto grado (o superior) en trminos de los coeficientes del polinomio, usando
operaciones algebraicas (suma, resta, multiplicacin, divisin) y la extraccin de races
(races cuadradas, cbicas, etc); tal como existe para las ecuaciones de segundo,
tercer y cuarto grado?
El teorema de Abel-Ruffini que es parte de la teora de Galois, da una respuesta a esta
pregunta. La teora de Galois proporciona no slo una elegante respuesta a esta cuestin,
sino que tambin explica en detalle por qu es posible resolver ecuaciones de grado
inferior al quinto, y por qu las soluciones son expresables mediante operaciones
algebraicas y extraccin de races.
Adems la teora de Galois proporciona respuestas a problemas clsicos de la
constructibilidad mediante regla y comps. De hecho, la teora de Galois establece cundo
es posible construir una cierta longitud proporcional a una dada, y gracias a eso pueden
responderse a las siguientes preguntas:
Qu polgonos regulares son construibles mediante regla y comps?
Por qu no es posible la triseccin de un ngulo?
El enfoque de la teora de Galois usando el grupo de
permutaciones[editar]
Si tenemos un polinomio puede suceder que algunas de sus races estn digamos
que "conectadas" mediante varias ecuaciones algebraicas, que cumplan dichas
races. Por ejemplo, puede suceder que para dos de las races, digamos A y B, la
ecuacin A
2
+ 5B
3
= 7 sea cierta. La idea central de la teora de Galois es el
considerar aquellas permutaciones (o arreglos) de las races que tengan la
propiedad de que cualquier ecuacin algebraica satisfecha por ellas sea
satisfecha tambin tras la permutacin o el arreglo. Es importante sealar que nos
restringimos a ecuaciones algebraicas cuyos coeficientes son nmeros
racionales. (Se pueden especificar ciertos cuerpos para los coeficientes, pero en
los ejemplos de abajo sern los nmeros racionales los que usemos.)
El conjunto de tales permutaciones formarn un grupo de permutaciones, tambin
llamado Grupo de Galois del polinomio (sobre los nmeros racionales). Un
ejemplo:
Primer ejemplo: ecuacin cuadrtica[editar]
Sea la ecuacin cuadrtica

Mediante el uso de la frmula para la ecuacin cuadrtica sabemos que sus
dos races son


Algunas de las ecuaciones algebraicas que satisfacen A y B son


En cada una de estas ecuaciones es claro que si
intercambiamos los papeles de A y B obtenemos ecuaciones
vlidas. Pero adems esto es cierto, aunque menos obvio,
para cualquier ecuacin algebraica que satisfacen A y B.
Para probarlo se requiere de la teora de los polinomios
simtricos.
Concluimos que el grupo de Galois del
polinomio consiste en dos permutaciones: la
identidad que deja A y Bquietas, y la transposicin, que
intercambia A y B. Como grupo, es isomorfo al grupo
cclico de orden dos, denotado Z/2Z.
Podramos plantear la objecin de que existe esta otra
ecuacin satisfecha por A y B:

pero que no es cierta cuando intercambiamos los
papeles. Sin embargo hemos de observar que no nos
importa pues sus coeficientes no son
racionales; es irracional.
De forma parecida podemos hablar de cualquier
polinomio cuadrtico ,
donde a, b y c son nmeros racionales.
Si el polinomio tiene slo una raz, por
ejemplo , entonces el
grupo de Galois es trivial; esto es, contiene slo a la
permutacin identidad.
Si tiene dos distintas races racionales, por
ejemplo , el
grupo es de nuevo trivial.
Si tiene dos races irracionales (inclusive el caso en el que ambas son nmeros complejos),
entonces el grupo de Galois contiene dos permutaciones, como en el ejemplo anterior.
Segundo ejemplo[editar]
Considrese el siguiente polinomio:
,
que puede escribirse tambin como:

Deseamos describir el grupo de Galois de este polinomio, nuevamente sobre el cuerpo de
los nmeros racionales. El polinomio tiene cuatro races:




Existen 4! = 24 maneras de permutar estas cuatro races, pero no todas estas permutaciones
son miembros del grupo de Galois. Los miembros del grupo de Galois debe preservar
cualquier ecuacin algebraica con coeficientes racionales A, B, C yD. Una de dichas
ecuaciones es por ejemplo:
.
Ya que puesto que
,
la permutacin
(A, B, C, D) (A, B, D, C)
no est permitda, porque transforma la ecuacin vlida A + D = 0 en la ecuacin
invlida A + C = 0.
Otra ecuacin que las races satisfacen es:
.
Esto excluira ms permutaciones, como por ejemplo:
(A, B, C, D) (A, C, B, D).
Continuando de esta manera, podemos encontrar que slo las permutaciones que satisfacen
las dos ecuaciones anteriores simultneamente son:
(A, B, C, D) (A, B, C, D)
(A, B, C, D) (C, D, A, B)
(A, B, C, D) (B, A, D, C)
(A, B, C, D) (D, C, B, A),
y por tanto el grupo de Galois es isomorfo al grupo de Klein.
Grupos solubles y solucin por radicales[editar]
Se dice que una raz se puede expresar en radicales si es elemento de un cuerpo K tal
que donde
. Una ecuacin polinomial es
soluble por radicales si todas sus races se pueden expresar en radicales.
1
Con la teora de
Galois podemos derivar el siguiente teorema:
El polinomio f(x) (en el cuerpo F) es soluble por radicales si y slo si su
grupo de Galois es soluble.
2