Matemticas de la simetra

BAJO CONSTRUCCION ESTE ES U N TRABAJO QUE APENAS HA C OMENZADO

MIRCOLES, 14 DE DICIEMBRE DE 2011

Un problema clsico del lgebra

ARCHIVO DEL BLOG

2011 (17)
diciembre (17)
Indice
Un problema clsico del lgebra

Cuando un estudiante de enseanza media tiene su primer contacto con el

lgebra, generalmente es expuesto a un problema sencillo como el siguiente:

Matemticas sin nmeros

Los grupos cclicos
Subgrupos

"Encontrar un nmero tal que si lo multiplicamos por cinco y le sumamos

veinte nos d treinta".

Grupos numricos

El nmero, desconocido an, es identificado con la variable de incgnita x, con

Los grupos de permutacin

lo cual el problema es enunciado simblicamente de la siguiente manera:

Los trasladados (cosets)

5x + 20 = 30

Los subgrupos normales

Las series de composicin

Aunque este problema es sencillo y se puede resolver mentalmente, muchos

El cubo de Rubik

otros problemas que se ven posteriormente en los estudios del lgebra no lo

Los grupos Galois

La imposibilidad de una frmula
quntica

son, razn por la cual se enuncia un problema introductorio de este tipo con
fines didcticos.
La ecuacin algebraica que tenemos arriba es lo que se llama una ecuacin

El producto de dos grupos

de primer grado, porque la incgnita x est elevada a un exponente de uno

Generadores de grupos. Grafos

de Cayley

(1) en la ecuacin. En su formulacin ms general, usando smbolos para

Desarrollos posteriores

siguiente manera;

Referencias de inters

representar los coeficientes numricos, generalmente se representa de la

ax + b = 0
La solucin de este tipo de ecuaciones era ya conocida desde tiempos que

DATOS PERSONALES

predatan a la era Cristiana. La frmula general para resolver una ecuacin de

primer grado como la de arriba es:
x = -b/a

A RM A N DO M AR T NE Z T LL E Z
V ER TO D O M I P ER F I L

Obsrvese que, si se conocen los coeficientes, la aplicacin de la frmula

requiere que se lleve a cabo nicamente una divisin de los coeficientes.
El siguiente paso en la escala ascendente de complejidad es la ecuacin de
segundo grado, una ecuacin que se enuncia en un problema de una manera

como la siguiente:
"Dada la siguiente ecuacion
x + 15x - 8 = 0
encontrar los valores de x para los cuales se cumple la ecuacin."
La ecuacin algebraica que tenemos arriba es lo que se llama una ecuacin
de segundo grado o ecuacin cuadrtica, porque la incgnita est
elevada a un exponente mximo de dos (2) en la ecuacin. Las soluciones a la
ecuacin cuadrtica, no mediante alguna frmula sino mediante
manipulaciones geomtricas (el lgebra an no se haba inventado) ya eran del
conocimiento de los Babilonios unos 1,700 aos A.C. Los textos de los
Babilonios indican que ellos saban resolver ecuaciones cuadrticas usando
una "receta de cocina" concebida por algn genio matemtico de la poca
mediante la cual se reformulaba el problema de modo tal que dijera:
encontrar dos nmeros, dados su suma y su producto. Llamando a
los nmeros s y p, y suponiendo que x+y=s y xy=p, la "receta de cocina" (o, en
nuestra terminologa moderna, el algoritmo de solucin) era la siguiente:
(1) Tomar la mitad de s.
(2) Elevar al cuadrado el resultado.
(3) De lo que se obtenga, substraer p.
(4) Sacar la raz cuadrada del resultado.
(5) Sumar esto a la mitad de s para obtener una de las soluciones. La otra es s
menos este nmero.
Por ejemplo, si la suma es 8 y el producto es 15, entonces los pasos sucesivos
dan 4, 16, 1, 1, 3 y 8-3=5. As, los dos nmeros buscados son 5 y 3.
Posterioremente, las ecuaciones de segundo grado fueron estudiadas de modo
ms sistemtico por el matemtico al-Khawarizmi (780-850 D.C.), de cuyo
nombre deriva precisamente la palabra algoritmo (el procedimiento para
resolver un problema mediante una secuencia ordenada de pasos siguiendo
una "receta de cocina") y de cuya obra al-Jabr deriva la palabra lgebra. Es
de notar que el manejo del tema dado por al-Khawarizmi a las ecuaciones
cuadrticas es un asunto algo pesado en virtud de que sus proposiciones y
demostraciones eran enunciadas usando palabras sin recurrir a smbolos
algebraicos (los cuales an no haban sido inventados ni siquiera por l),
adems de que todos sus argumentos son expuestos recurriendo a la
geometra.
En la formulacin ms general de la ecuacin cuadrtica, usando smbolos
para representar los coeficientes numricos, generalmente se representa de la
siguiente manera;
ax + bx + c = 0

La frmula general para resolver una ecuacin de segundo grado cuando se

conocen los coeficientes a, b y c, es la siguiente:

Es importante observar que la solucin a la ecuacin cuadrtica general

requiere la extraccin de la raz cuadrada de una funcin de los coeficientes
conocida como el discriminante, b-4ac. La derivacin de esta frmula se
muestra a continuacin:

Resueltas mediante frmulas las ecuaciones de primer grado y segundo grado,

el siguiente paso lgico en la escala de complejidad era la resolucin tambin
mediante alguna frmula o frmulas de las ecuaciones cbicas o de tercer
grado, generalmente expresadas de la siguiente manera:
ax3 + bx + cx + d = 0
Pese a su deceptiva sencillez, el problema de resolver esta ecuacin fue un reto
muy duro por largo tiempo para los algebristas ms diestros en los tiempos del
Renacimiento. Las frmulas para la resolucin exacta de la ecuacin cbica
general fueron publicadas en 1545 por Girolamo Cardano (1501-1576) en su
libro Ars Magna. Adems de la solucin algebraica de las ecuaciones cbicas,
Cardano public en su Ars Magna una frmula general para la solucin de
ecuaciones de cuarto grado:
ax4 + bx3 + cx + dx + e = 0

como la siguiente:
x4 - 8x + 6 = 9
La resolucin de la ecuacin cbica general mediante el uso de frmulas tiene
una historia interesante con acusaciones de plagio que involucran a Niccol
Fontana (1500-1557), mejor conocido como "Tartaglia" ("el Tartamudo"), uno
de los mejores matemticos de la poca del Renacimiento. De acuerdo con la
historia, Tartagila fue el primero en obtener frmulas para la resolucin de la
ecuacin cbica general. Cuando se enter de ello, Cardano convenci a
Tartaglia de que le revelara su secreto para resolver las ecuaciones cbicas
bajo la promesa de que el secreto sera conservado siempre, aunque de
cualquier manera el procedimiento de solucin fue publicado el el Ars Magna
por Cardano quien argument haber obtenido la solucin cbica de otra
persona con la cual no estaba comprometido en pacto de confidencialidad. Es
por esto que la solucin mediante frmulas de la ecuacin cbica es conocida
hoy como el mtodo Tartagia-Cardano, ya que aunque haya sido Tartaglia
quien descubri dichas frmulas por vez primera, fue Cardano quien las di a
conocer al mundo entero al publicarlas en su libro. Y en cuanto a la resolucin
de la ecuacin general de cuarto grado mediante el uso de frmulas, esta fue
lograda por un estudiante de Cardano, Ludovico Ferrari, la que fue includa en
el Ars Magna como el pinculo del lgebra tradicional.
Se agregar aqu que la solucin Tartaglia-Cardano mediante frmulas
generales aplicadas a los coeficientes de una ecuacin cbica requiere la
extraccin de races cbicas. Y en lo que respecta a la solucin general a la
ecuacin general de cuarto grado lograda porLudovico Ferrari, esta requiere la
extraccin de races cuartas.
Si las soluciones de una ecuacin pueden ser obtenidas a partir de sus
coeficientes mediante las operaciones usuales de la aritmtica (suma, resta,
multiplicacin y divisin) y la extraccin de races (cuadradas, cbicas,
cuartas, etc.), por una larga costumbre histrica se dice que la ecuacin es
soluble por radicales.
Resueltas mediante frmulas las ecuaciones de primero, segundo, tercero y
cuarto grado, el siguiente paso lgico en la escala de complejidad era la
bsqueda de alguna frmula o frmulas para resolver de la ecuacin general
de quinto grado o ecuacin quntica:
ax5 + bx4 + cx3 + dx + ex + f = 0
Para lograr la solucin de la ecuacin general de quinto grado, las diversas
tcnicas usadas para la solucin de ecuaciones de tercero y cuarto grado
fueron sistematizadas en los tiempos de Cardano para que pudieran ser
aplicadas a las ecuaciones de quinto grado. Pero aqu los mejores matemticos
de la poca se toparon con enormes dificultades, dificultades que eclipsaban
incluso los problemas que se tuvieron que enfrentar para la resolucin de la
ecuacin cbica. Y el problema no pareca ser uno de simple complejidad. Por
alguna razn hasta entonces desconocida, la ecuacin de quinto grado resista
tenazmente todo tipo de intentos para obtener una frmula general o una

serie de frmulas generales para la resolucin de dicha ecuacin,

entendindose por esto una frmula maestra que proporcionase las soluciones
recurriendo nicamente a las operaciones usuales de suma, resta,
multiplicacin, divisin y extraccin de races (cuadradas, cbicas, etc.)
llevadas a cabo sobre los coeficientes de la ecuacin.
Despus de 300 aos de bsquedas infructuosas, los matemticos empezaron
a sospechar que tales formulas no existan. Pero esto era tan solo una sospecha
que poda ser descartada si mediante algn procedimiento ingenioso alguien
lograba descubrir esas frmulas que se resistan a ser descubiertas. Y
precisamente en una poca en la que la geometra de Euclides empezara a
desmoronarse de su pedestal como la nica geometra posible (mis lectores
pueden consultar aqu mi bitcora "Geometras no-Euclideanas"), un joven
matemtico francs logr resolver el problema, y en el camino para la
resolucin del problema invent un campo nuevo de las matemticas, invent
las matemticas de la simetra, invent la teora de grupos, la cual a la larga
tendra una aplicacin mucho ms extensa que la resolucin de este problema
clsico del lgebra.
P U B L I C A D A S P O R A RM A ND O M A R T N EZ T L L EZ A L A / S 2 3: 4 0

N O H AY C O M E N TA R I O S :
Publicar un comentario en la entrada

Entrada ms reciente

Pgina principal

Suscribirse a: Enviar comentarios (Atom)

Entrada antigua