Teora de ecuaciones

En matemticas, la teora de ecuaciones es un conjunto

de trabajos cuyo objetivo principal es la resolucin de
ecuaciones algebraicas o equivalentes. Tal ecuacin se
escribe del modo siguiente:

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 las ecuaciones 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 una funcin. Este tratamiento ofrece mtodos
para determinar el nmero de races 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 la teora 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 generalmenteNota 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.

Primeros desarrollos

Egipto y Babilonia

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 problemas que
corresponden a ecuaciones de segundo grado. Su
lenguaje era geomtrico, el valor que se busca, que
actualmente denominamos x, se denominaba lado y
x2 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 11x2 + 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 x3. 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 indio Bhaskara II y queda
recogida en su obra titulada Bjagaita.11

lgebra rabe

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 2x2 + 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

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 un
gnomon. 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 denomina
mtodo 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

Difusin desde Italia

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 X3 + 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 X3 + 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

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 las identidades
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: ax2 + 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.