INTRODUCCION Agebra, rama de as matemtcas en a que se usan
etras para representar reacones artmtcas. A gua que en a artmtca, as operacones fundamentaes de gebra son adcn, sustraccn, mutpcacn, dvsn y ccuo de races. La artmtca, sn embargo, no es capaz de generazar as reacones matemtcas, como e teorema de Ptgoras, que dce que en un trnguo rectnguo e rea de cuadrado que tene como ado a hpotenusa es gua a a suma de as reas de os cuadrados cuyos ados son os catetos. La artmtca so da casos partcuares de esta reacn (por e|empo, 3, 4 y 5, ya que 32 + 42 = 52). E gebra, por e contraro, puede dar una generazacn que cumpe as condcones de teorema: a2 + b2 = c2. E gebra csca, que se ocupa de resover ecuacones, utza smboos en vez de nmeros especcos y operacones artmtcas para determnar cmo usar dchos smboos. E gebra moderna ha evouconado desde e gebra csca a poner ms atencn en as estructuras matemtcas. Los matemtcos consderan a gebra moderna como un con|unto de ob|etos con regas que os conectan o reaconan. As, en su forma ms genera, se dce que e gebra es e doma de as matemtcas. 2. HISTORIA La hstora de gebra comenz en e antguo Egpto y Babona, donde fueron capaces de resover ecuacones neaes (ax = b) y cuadrtcas (ax2 + bx = c), as como ecuacones ndetermnadas como x2 + y2 = z2, con varas ncgntas. Los antguos babonos resovan cuaquer ecuacn cuadrtca empeando esencamente os msmos mtodos que hoy se ensean. Los matemtcos ae|andrnos Hern y Dofante contnuaron con a tradcn de Egpto y Babona, aunque e bro Las artmtcas de Dofante es de bastante ms nve y presenta muchas soucones sorprendentes para ecuacones ndetermnadas dfces. Esta antgua sabdura sobre resoucn de ecuacones encontr, a su vez, acogda en e mundo smco, en donde se a am "cenca de reduccn y equbro". (La paabra rabe a-abr que sgnca `reduccn', es e orgen de a paabra gebra). En e sgo IX, e matemtco a-|warzm escrb uno de os prmeros bros rabes de gebra, una presentacn sstemtca de a teora fundamenta de ecuacones, con e|empos y demostracones ncudas. A naes de sgo IX, e matemtco egpco Abu Kam enunc y demostr as eyes fundamentaes e dentdades de gebra, y resov probemas tan compcados como encontrar as x, y, z que cumpen x + y + z = 10, x2 + y2 = z2, y xz = y2. En as cvzacones antguas se escrban as expresones agebracas utzando abrevaturas so ocasonamente; sn embargo, en a edad meda, os matemtcos rabes fueron capaces de descrbr cuaquer potenca de a ncgnta x, y desarroaron e gebra fundamenta de os ponomos, aunque sn usar os smboos modernos. Esta gebra ncua mutpcar, dvdr y extraer races cuadradas de ponomos, as como e conocmento de teorema de bnomo. E matemtco, poeta y astrnomo persa Omar Khayyam mostr cmo expresar as races de ecuacones cbcas utzando os segmentos obtendos por nterseccn de seccones cncas, aunque no fue capaz de encontrar una frmua para as races. La traduccn a atn de Agebra de a-|warzm fue pubcada en e sgo XII. A prncpos de sgo XIII, e matemtco taano Leonardo Fbonacc consgu encontrar una aproxmacn cercana a a soucn de a ecuacn cbca x3 + 2x2 + cx = d. Fbonacc haba va|ado a pases rabes, por o que con segurdad utz e mtodo arbgo de aproxmacones sucesvas. A prncpos de sgo XVI os matemtcos taanos Scpone de Ferro, Tartaga y Geroamo Cardano resoveron a ecuacn cbca genera en funcn de as constantes que aparecen en a ecuacn. Ludovco Ferrar, aumno de Cardano, pronto encontr a soucn exacta para a ecuacn de cuarto grado y, como consecuenca, certos matemtcos de os sgos posterores ntentaron encontrar a frmua de as races de as ecuacones de qunto grado y superor. Sn embargo, a prncpos de sgo XIX e matemtco noruego Nes Abe y e francs varste Gaos demostraron a nexstenca de dcha frmua. Un avance mportante en e gebra fue a ntroduccn, en e sgo XVI, de smboos para as ncgntas y para as operacones y potencas agebracas. Debdo a este avance, e Lbro III de a Geometra (1637), escrto por e matemtco y sofo francs Ren Descartes se parece bastante a un texto moderno de gebra. Sn embargo, a contrbucn ms mportante de Descartes a as matemtcas fue e descubrmento de a geometra anatca, que reduce a resoucn de probemas geomtrcos a a resoucn de probemas agebracos. Su bro de geometra contene tambn os fundamentos de un curso de teora de ecuacones, ncuyendo o que e propo Descartes am a rega de os sgnos para contar e nmero de races verdaderas (postvas) y fasas (negatvas) de una ecuacn. Durante e sgo XVIII se contnu traba|ando en a teora de ecuacones y en 1799 e matemtco aemn Car Fredrch Gauss pubc a demostracn de que toda ecuacn ponmca tene a menos una raz en e pano compe|o (vase Nmero (matemtcas): Nmeros compe|os). En os tempos de Gauss, e gebra haba entrado en su etapa moderna. E foco de atencn se trasad de as ecuacones ponmcas a estudo de a estructura de sstemas matemtcos abstractos, cuyos axomas estaban basados en e comportamento de ob|etos matemtcos, como os nmeros compe|os, que os matemtcos haban encontrado a estudar as ecuacones ponmcas. Dos e|empos de dchos sstemas son os grupos y as cuaternas, que comparten agunas de as propedades de os sstemas numrcos, aunque tambn deren de eos de manera sustanca. Los grupos comenzaron como sstemas de permutacones y combnacones (vase Combnatora) de as races de ponomos, pero evouconaron para egar a ser uno de os ms mportantes conceptos uncadores de as matemtcas en e sgo XIX. Los matemtcos franceses Gaos y Augustn Cauchy, e brtnco Arthur Cayey y os noruegos Nes Abe y Sophus Le hceron mportantes contrbucones a su estudo. Las cuaternas fueron descubertas por e matemtco y astrnomo rands Wam Rowan Hamton, quen desarro a artmtca de os nmeros compe|os para as cuaternas; mentras que os nmeros compe|os son de a forma a + b, as cuaternas son de a forma a + b + c| + dk. Despus de descubrmento de Hamton, e matemtco aemn Hermann Grassmann empez a nvestgar os vectores. A pesar de su carcter abstracto, e fsco estadoundense |. W. Gbbs encontr en e gebra vectora un sstema de gran utdad para os fscos, de msmo modo que Hamton haba hecho con as cuaternas. La ampa nuenca de este enfoque abstracto ev a George Booe a escrbr Investgacn sobre as eyes de pensamento (1854), un tratamento agebraco de a gca bsca. Desde entonces, e gebra moderna -tambn amada gebra abstracta- ha segudo evouconando; se han obtendo resutados mportantes y se e han encontrado apcacones en todas as ramas de as matemtcas y en muchas otras cencas. Vdeos reaconados