Material de Referencia Unidad de lgebra El Poder de la Generalizacin Primero Medio.

Miguel ngel Muoz Jara. Magster en Ciencias mencin Matemtica. Acadmico Facultad de Ciencia. Universidad de Santiago de Chile.

Coordinador rea de Matemtica. Jornada Vespertina. Facultad de Ingeniera. Universidad de Ciencias de la Informtica.

-1-

1. Introduccin.1 El lgebra se define como la parte de las ciencias matemticas que se ocupa del estudio de la cantidad como concepto global. Para representar las cantidades en trminos algebraicos se utilizan una serie de letras, smbolos, expresiones y otros signos convencionales. Desde sus remotos orgenes, arraigados en Egipto, Arabia y la India veinte siglos antes de nuestra era, el lgebra ha sido considerada un mtodo de expresin mediante smbolos de las frmulas que permiten simplificar los clculos numricos. Sin embargo, en una relativamente reestructuracin de todo el mbito de las ciencias matemticas, el lgebra ha sido levemente modificada en su concepto, por lo que en la actualidad se la considera una generalizacin que analiza las estructuras de las que estn dotados los conjuntos de elementos, cuando en ellos se definen determinadas leyes de composicin. Los diversos campos de las matemticas y de la fsica se han visto sometidos en los ltimos tiempos a una revisin desde el punto de vista algebraico, los que ha dado lugar al planteamiento de nuevos problemas. Desde el final del siglo pasado hasta nuestros das, se ha producido, pues, una sistematizacin del lgebra, en la cual han desempeado un decisivo papel matemticos tales como Steinitz, Noether, Artin y muchos otros, y que ha provocado la aparicin del lgebra abstracta contempornea.

Curso de Orientacin escolar. Matemticas. Cultural S.A. Madrid Espaa. 1997. -2-

Resea Histrica. Los inicios del lgebra se remontan al siglo XVII a.C. con los matemticos de Mesopotamia y de Babilonia. En ese entonces ellos ya saban resolver ecuaciones de primer y segundo grado. Adems resolvan tambin, algunos sistemas de ecuaciones con dos ecuaciones y dos incgnitas. Es importante sealar que en los inicios los problemas que se resolvan en la antigua Babilonia y Mesopotamia se utilizaba el lenguaje comn, de hecho este periodo de la historia del lgebra se denomina lgebra Retrica ya que los textos se escriban en lenguaje vernculo (poca paleo babilnica entre 2000 y 1600 antes de cristo) Un ejemplo clsico de esta poca se detalla a continuacin: El rea de un cuadrado ms el rea de un rectngulo de ancho 1 y el mismo largo que el lado del cuadrado es igual al doble del rea del cuadrado inicial. Cul es el lado del cuadrado? Posteriormente en el siglo XVI a.C. los egipcios desarrollaron un lgebra muy elemental que usaron para resolver problemas cotidianos que tenan que ver con la reparticin de vveres, de cosechas y de materiales. En esos tiempos los egipcios ya contaban con un mtodo para resolver ecuaciones de primer grado que denominaban el "mtodo de la falsa posicin". No tenan notacin simblica pero utilizaron el jeroglfico hau (que quiere decir montn o pila) para designar la incgnita. Alrededor del siglo I d.C. los matemticos chinos escribieron el libro Jiu zhang suan shu (que significa El Arte del clculo), en el que plantearon diversos mtodos para resolver ecuaciones de primer y segundo grado, as como sistemas de dos ecuaciones con dos incgnitas. Con su baco (suan z) tenan la posibilidad de representar nmeros positivos y negativos. En el siglo II, el matemtico griego Nicmaco de Gerasa public su Introduccin a la Aritmtica y en ella expuso varias reglas para el buen uso de los nmeros. En el siglo III el matemtico griego Diofanto de Alejandra public su Aritmtica en la cual, por primera vez en la historia de las matemticas griegas, se trataron de una forma rigurosa no slo las ecuaciones de primer grado, sino tambin las de segundo. Introdujo un simbolismo algebraico muy elemental al designar la incgnita con un signo que es la primera slaba de la palabra griega arithmos, que significa nmero. Los problemas de lgebra que propuso prepararon el terreno de lo que siglos ms

-3-

tarde sera "la teora de ecuaciones". A pesar de lo rudimentario de su notacin simblica y de lo poco elegantes que eran los mtodos que usaba, se le puede considerar como uno de los precursores del lgebra moderna. Esta etapa del lgebra se denomina lgebra Sincopada2 ya que los textos seguan siendo escritos en vernculo, pero con algunos trminos tcnicos escritos mediante abreviaturas En el siglo VII los hindes haban desarrollado ya las reglas algebraicas fundamentales para manejar nmeros positivos y negativos. En el Siglo IX. poca en la que trabaj el matemtico y astrnomo musulmn Al-Jwarizmi, cuyas obras fueron fundamentales para el conocimiento y el desarrollo del lgebra. Al - Jwarizmi investig y escribi acerca de los nmeros, de los mtodos de clculo y de los procedimientos algebraicos para resolver ecuaciones y sistemas de ecuaciones. Su nombre latinizado dio origen a la palabra algoritmo que, usada primero para referirse a los mtodos de clculos numricos en oposicin a los mtodos de clculo con baco, adquiri finalmente su sentido actual de "procedimiento sistemtico de clculo". En cuanto a la palabra lgebra, deriva del ttulo de su obra ms importante, que presenta las reglas fundamentales del lgebra, Al-jabr wal muqabala. En el siglo X vivi el gran algebrista musulmn Abu Kamil, quien continu los trabajos de AlJwarizmi y cuyos avances en el lgebra seran aprovechados en el siglo XIII por el matemtico italiano Leonardo de Pisa, mejor conocido coco Fibonacci, quien public en el ao 1202 el Liber Abaci (Tratado del baco) obra que en los siguientes tres siglos fue la fuente principal para todos aquellos estudiosos de la aritmtica y el lgebra. Durante este mismo siglo, el matemtico musulmn Abul Wafa Al Bujzani, hizo comentarios sobre los trabajos de Diofanto y Al-Jwarizmi y gracias a ellos, los europeos conocieron la Arithmetica de Diofanto.

Termino ideado por G. H. F. Nesselman en 1842. Nesselman introdujo este concepto en el texto Versuch einer Kritischen Geschichte der lgebra, 1. Teil. Die lgebra der Griechen. Berlin: G. Reimer, 1842. Tambin en ese texto habla de lgebra retrica, pero, por supuesto, sin referirse con este trmino al lgebra babilnica, cuyo corpus an no haba sido establecido

-4-

En el siglo XV, el matemtico francs Nicols Chuquet introdujo en Europa occidental el uso de los nmeros negativos, introdujo adems una notacin exponencial muy parecida a la que usamos hoy en da, en la cual se utilizan indistintamente exponentes positivos o negativos. En 1489 el matemtico alemn Johann Widmann dEger invent los smbolos "+" y "-" para sustituir las letras p y m que a su vez eran las iniciales de las palabras piu (ms) y minus (menos) que se utilizaban para expresar la suma y la resta. En 1525, el matemtico alemn Christoph Rudolff introdujo el smbolo de la raz cuadrada que usamos hoy en da. Este smbolo era una forma estilizada de la letra r de radical o raz. Entre 1545 y 1560, los matemticos italianos Girolamo Cardano y Rafael Bombelli se dieron cuenta de que el uso de los nmeros imaginarios era indispensable para poder resolver todas las ecuaciones de segundo, tercero y cuarto grado. En 1557 el matemtico ingls Robert Recorde invent el smbolo de la igualdad, =. En 1591 el matemtico francs Franois Vite desarroll una notacin algebraica muy cmoda, representaba las incgnitas con vocales y las constantes con consonantes. En 1637 el matemtico francs Ren Descartes fusion la geometra y el lgebra inventando la geometra analtica. Invent la notacin algebraica moderna, en la cual las constantes estn representadas por las primeras letras del alfabeto, a, b, c y las variables o incgnitas por las ltimas,

x, y, z . Adems Introdujo tambin la notacin exponencial que usamos hoy en da. Esta poca del
lgebra se conoce con el nombre de lgebra Simblica, la cual se desarrollo esencialmente entre los

siglos XVI y XVII y que culmino con los trabajos de Vieta y Descartes.

1.1. Personajes importantes en el desarrollo del lgebra.

En el desarrollo del lgebra existen varios personajes que realizaron aportes importantes, continuacin mencionaremos algunos de estos personajes.

-5-

Abu Jafar Mohammet ibn Mose Al Jwarizmi. Fue uno de los mejores

matemticos rabes de la Edad Media. Si bien no sabemos mucho acerca de su vida privada, conocemos a profundidad su obra matemtica que afortunadamente lleg a nosotros gracias a las traducciones al latn que de ella se hicieron durante la Edad Media y el Renacimiento. Al - Jwarizmi viv del ao 780 al 835. Naci en una ciudad llamada Jwarizm que actualmente se llama Jiva y est en Uzbekistn. Vivi en la corte del califa Abdul al - Mamn quien haba fundado una academia de ciencias que se llamaba "La Casa de la Sabidura" en la que trabajaban los mejores cientficos y matemticos, entre ellos, por supuesto, Al - Jwarizmi. De esta academia sali la primera expedicin que realizaron los rabes para calcular la circunferencia de la Tierra y en la que se realizaron varios experimentos de navegacin y observaciones astronmicas. Al - Jwarizmi fue un miembro muy activo de esta expedicin. En la "Casa de la Sabidura" se desempe como bibliotecario, matemtico y astrnomo y escribi varios textos, fundamentalmente de matemticas. El ms importante de todos ellos es, sin duda, "Al jabar wal Muqabala, que es un tratado sobre cmo plantear y resolver ecuaciones para resolver problemas de la vida cotidiana. El libro empieza as: Este inters por la ciencia, con la que Al ha dotado al califa Al - Mamn, caudillo de los creyentes, me ha animado a componer esta breve obra sobre el clculo por medio del lgebra, en la que se contiene todo lo que es ms fcil y til en aritmtica, como por ejemplo todo aquello que se requiere para calcular herencias, hacer repartos justos y sin equvocos, resolver pleitos, realizar comercio y transacciones con terceros, todo aquello en donde est implicada la agrimensura, la excavacin de pozos y canales, la geometra y varios asuntos ms. Con el paso de los siglos los matemticos reconocieron que la obra de Al - Jwarizmi era tan importante que se hicieron varias traducciones al latn, que era el idioma en el que se escriba la ciencia en la Europa de esa poca.

-6-

Diofanto Alejandra. Muy poco se sabe de la vida de Diofanto. Por referencias histricas se sabe que

vivi entre el ao 150 a.C. y el 350 d.C. La obra ms conocida de Diofanto es Aritmtica, una coleccin de 130 problemas, distribuidos en 13 libros, de los que slo se conservan 6. La mayora de los problemas son de ecuaciones lineales y cuadrticas, pero siempre con solucin positiva y racional, pues en aquella poca no tenan sentido los nmeros negativos y mucho menos los irracionales. Diofanto consider tres tipos de ecuaciones de segundo grado:
ax 2 + bx = c

ax 2 = bx + c
ax 2 + c = bx

El motivo de no considerar estas ecuaciones como una sola es que en aquella poca no exista el cero ni los nmeros negativos. Aritmtica tambin trata sobre teora de nmeros. Parece ser que Diofanto saba que ningn nmero de la forma 4n + 3 o 4n 1 puede obtenerse como la suma de dos cuadrados, ni ningn nmero de la forma 24n + 7 puede obtenerse como la suma de tres cuadrados. Diofanto introdujo smbolos para representar las cantidades desconocidas y una abreviatura para la palabra igual. Esto fue un paso muy importante hacia el lgebra simblica actual. Aritmtica ha sido un libro muy influyente en el desarrollo de la matemtica. La traduccin ms famosa es la de Bachet en 1621, que es la edicin en que Fermat hizo su clebre anotacin. Se puede considerar a Diofanto como el fundador del lgebra. Diofanto escribi otros libros, como Porismas, que se ha perdido y otro Sobre nmeros poligonales que ha llegado hasta nuestros das. Otro trabajo titulado Preliminares a los elementos de geometra, que se atribua a Heron, se cree que pertenece a Diofanto.

-7-

Tartaglia. Niccol Fontana (c. 1500-1557), matemtico italiano nacido en

Brescia. Recibi el sobrenombre de Tartaglia (tartamudo) por un defecto en el habla a consecuencia de una herida durante el saqueo de su ciudad natal por las tropas de Gastn de Foix, en 1512. l mismo cuenta que durante la toma de Brescia, en 1522, los franceses arrasaron la ciudad. Su madre, ya viuda, se refugi con sus hijos en la Catedral, donde un soldado asest al muchacho de 12 aos un golpe de espada en la mandbula. Como consecuencia de ello qued tartamudo, por lo que recibi de sus compaeros el apodo de Tartaglia, denominacin que l adopt como nombre de autor, sin ningn complejo. Fue autodidacta en las disciplinas de matemticas y cientfico-naturales. Gracias al empeo y tenacidad en los estudios pronto lleg lejos y muy joven se abri camino en Brescia y Verona como profesor de Matemticas y calculista pblico. En calidad de esto ltimo efectuaba clculos para arquitectos, ingenieros, artilleros, comerciante, astrlogos, etc. Mas tarde ejerci su profesin en Venecia, Miln y Piacenza. Tambin sobresali como traductor. A los 43 aos public una traduccin latina de Arqumedes y una edicin italiana de los "Elementos" de Euclides, conociendo cinco ediciones en 42 aos. Estudi las ecuaciones de tercer grado y problemas de mximos y mnimos. Fue el primero en resolver la ecuacin de tercer grado esto quedo de manifiesto en una de las ms enconadas polmicas que registra la historia de la Matemtica, protoganizadas por Tartaglia y Cardano: la relativa a la ecuacin de tercer grado. Los rabes haban resuelto algunas de estas ecuaciones geomtricamente, pero su estudio sistemtico corresponde a los italianos y provoc, una famosa disputa, de acuerdo con el carcter de la poca, que gustaba de los torneos y discusiones cientficas. "Al ver los problemas de tercer grado, que se proponan como desafo a principios del siglo XVI, dice Libri en su Historie des sciences mathmatiques en Italie, se comprende la importancia que se daba entonces a los descubrimientos algebraicos, siendo difcil encontrar en la historia de la Ciencia un ejemplo semejante. Las apuestas y

-8-

discusiones pblicas se sucedan sin interrupcin, interesndose en ellas todas las clases sociales, como en la antigedad se interesaban por los desafos de los poetas y los combates de los gladiadores". Aunque todava no se ha dicho la ltima palabra sobre la cuestin objeto de este trabajo, parece que los primeros problemas de tercer grado fueron propuestos a Tartaglia en 1530, estando en Brescia, por medio de Zuanne del Col, profesor de Miln, quien le pidi que resolviera estas dos cuestiones: 1. Encontrar un nmero que, multiplicado por su raz aumentada en 3, de 5; 2. Encontrar tres nmeros que se diferencien en 2 y cuyo producto sea 1000. Los que tengan conocimientos matemticos comprendern en seguida que se trata de resolver sendas ecuaciones de tercer grado, que Pacioli haba declarado imposibles, pero que Tartaglia afirm que eran resolubles. Enterado de esta actitud, Antonio del Fiore calific de impostor a Tartaglia diciendo que l conoca un mtodo emprico para resolver la ecuacin cbica que le haba enseado su maestro Escipin del Ferro, el cual lo vio probablemente en alguna obra rabe. Tartaglia contest que saba resolver las ecuaciones de tercer grado de los siguientes tipos
x3 + px = q x3 = px + q

y que la ecuacin del tipo x3 + q = px siendo p y q positivos, quedaba reducida a la primera por medio de una transformacin fcil. Fiore desafi entonces a Tartaglia y, aceptado el reto, ambos depositaron en poder de un notario cierta cantidad de dinero que ganara quien resolviera treinta problemas en el plazo mximo de cuarenta das. Tartaglia los resolvi todos en menos de dos horas y resumi sus reglas en los siguientes versos tcnicos:

-9-

Quando che'l cubo con le cose appresso se agguaglia a qualche numero discreto: trovan dui altri, diferente in esso. Dapoi terrai, questo per consueto, che'l loro produtto, sempre sia eguale al terzo cubo della cose neto; el residuo poi suo generale, delli lor lati cubi, ben sottratti varra la tua cosa principale. In el secondo, de cotesti atti; quando che'l cubo restasse lui solo, tu osserverai quest'altri contratti, del numer farai due tal part'a volo, che l'una, in l'altra, si produca schietto, el terzo cubo delle cose in stolo; delle quali poi, per commun precetto, torrai li lati cubi, insieme gionti, et co tal somma, sar ii tuo concetto; el terzio, poi de questi nostri cnti, se solve col segundo, se ben guardi che per natura son quasi congionti. Questi trovai, et non con pasi tardi nell mille cinquecent'e quatro e trenta; con fondamenti ben saldi, e gagliardi; nella citt del mar'intorno centa. Fijndonos en el primer caso, que basta para captar la regla de Tartaglia, los versos mnemotcnicos

dicen traducidos literalmente:

"Cuando el cubo con las cosas cerca, se iguala a cualquier nmero discreto, se encuentran otros dos, diferentes en eso, Despus tendrs esto por norma que su producto sea siempre igual al tercio cubo de las cosas limpio; el resto despus suyo general de sus lados el cubo bien restado vers tu cosa principal";

- 10 -

es decir, en el lenguaje matemtico moderno: Si el cubo x 3 ms un mltiplo px de la cosa, incgnita, es igual a un cierto nmero q , determinemos, por los mtodos habituales, dos nmeros y y z cuya diferencia sea q y cuyo producto sea el cubo del tercio del coeficiente de la incgnita; se extraen sus races cbicas, y, restndolas, se tiene el valor de x , valor que, como se puede comprobar, est obtenido por el mismo mtodo que suele explicarse en los tratados de lgebra. Los ltimos versos indican el lugar: Venecia, y la fecha: 1534, del descubrimiento: "Esto encontr, y no con paso tardo - en mil quinientos treinta y cuatro con fundamento slido y gallardo - en la ciudad que rodea el mar." Triunfante el matemtico de Brescia, el asunto parece que qued zanjado hasta que un ao despus lo resucit Coi enviando a Tartaglia, el 12 de septiembre de 1535, tres problemas, uno de los cuales consista en descomponer el nmero 20 en tres partes en progresin geomtrica y tales que el producto de las dos primeras sea 8, problema que Luis Ferrari, discpulo de Cardano, consigui resolver. Pas otro ao ms y, en agosto de 1536, un tal Vincenti propuso a Tartaglia el problema de encontrar un nmero que, multiplicado por su raz cuadrada aumentada en 6, d 100, problema, que, como se ve, es idntico a uno de los propuestos en 1530 por Col, quien, el 10 de diciembre del mismo ao de 1536, le plante nuevas cuestiones anlogas que no se sabe si fueron resueltas; y el asunto volvi a un punto muerto aparente, puesto que Tartaglia segua trabajando en ello, pero sin dar a conocer el resultado de sus investigaciones. . Y en 1539 entra en escena Cardano enviando a Tartaglia, con fecha 2 de enero, una carta por intermedio de un librero, en la que le dice que, conocedor del resultado de su disputa con Fiore y estando a punto de publicar una obra, quera incluir en ella la frmula de la ecuacin de tercer grado y consignar el nombre de su descubridor, por lo cual le rogaba que le comunicase todo lo que se relacionara con el asunto y muy especialmente los enunciados de los famosos treinta problemas. Tartaglia se neg a ello y entonces Cardano, irritado, le envi por el mismo conducto, el 12 de febrero de 1539, otra carta llena de reproches; pero, comprendiendo que no era ste el camino adecuado para conseguir lo que quera, cambi de tctica y, con amables palabras, le inst el 13 de marzo del mismo
- 11 -

ao a pasar unos das en Miln, donde le deca que le esperaba con impaciencia el marqus del Vasto, protector suyo y mecenas de los cientficos. Acept Tartaglia la invitacin, y el 25 de marzo se dirigi a Miln, hospedndose en casa del propio Cardano luego de saber que el marqus se haba marchado a Vigevano. El matemtico milans procur convencer por todos los medios a su colega para que le dijera el secreto de la ecuacin cbica. "Os juro sobre los Santos Evangelios, le dijo, que si me comunicis vuestros descubrimientos no los publicar jams y los anotar slo para m en cifra, a fin de que nadie pueda comprenderlos hasta despus de mi muerte." Tartaglia cedi, al fin, a tan insistentes ruegos y regres a Venecia, desde donde se carte con Cardano, 12 y 17 de mayo; 10 y 19 de julio; 4 de agosto y 18 de octubre de 1539, sobre algunos desarrollos complementarios. A travs de esta correspondencia se advierte que las relaciones entre ambos se iban enfriando, y la carta de Cardano del 5 de enero de 1540 qued ya sin respuesta. Auxiliado por su discpulo Ferrari, aqul consigui ampliar las reglas de Tartaglia, y en 1545 public su famosa Ars Magna , en cuyo primer captulo dice lo siguiente: "Escipin del Ferro, de Bolonia, encontr hace tiempo nuestro captulo verdaderamente bello y admirable Del cubo y de las cosas iguales a nmero . Tal arte, superando a toda humana sutileza y al esplendor de todo ingenio mortal, atestigua el valor de su mente, y es cosa de tanta maravilla que quien la ha inventado puede vanagloriarse de que nadie le superar. mulo suyo es mi amigo Nicols Tartaglia, de Brescia, quien, en una disputa que sostuvo con Antonio Mara del Fiore, discpulo de Escipin del Ferro, tambin lo encontr y me lo comunic a mi ruego, sin demostracin, la cual he redactado en diferentes casos con el auxilio de mi antiguo discpulo Luis Ferrari. Lo de ste va con su nombre y todo lo dems es cosa ma." Irritado por estas palabras sinuosas, Tartaglia desafi a Cardano; pero ste, deseando quedar al margen de toda disputa, se entendi con Ferrari, el cual envi a aqul desde Miln, el 10 de febrero de 1547, un cartello di sfida , proponindole una "controversia pblica en un lugar cmodo para los dos y ante

- 12 -

jueces idneos, sobre Geometra, Aritmtica y todas las disciplinas que dependen de stas", declarando estar dispuesto a hacer un depsito de doscientos escudos destinados al vencedor y dndole un plazo de treinta das para contestarle. La respuesta no se hizo esperar. Nueve das despus le escribi Tartaglia desde Venecia, aceptando; pero con la condicin de que Cardano, tomara parte en la contienda. Ferrari respondi en abril del mismo ao con otro cartel de desafo que agri la cuestin. Aparte del detalle de estar escrito en latn, con la aviesa intencin de poner en un apuro a Tartaglia, dada su poca cultura literaria, deca que durante un viaje de Miln a Florencia, el ao de 1542, y mientras descansaba en Bolonia, Anbal de la Nave haba comunicado a Cardano un cuaderno de Escipin del Ferro en el cual "estaba expuesta elegante y completamente la resolucin de la ecuacin cbica", dato de gran inters histrico puesto que permita poner en duda el derecho de prioridad de Tartaglia; pero demostraba tambin la mala fe de Cardano al ocultarlo. El 27 de abril contesta largamente Tartaglia insistiendo en que asistiera Cardano al torneo, en el que podan tomar parte, adems, todos los matemticos del mundo, y le planteaba treinta y un problemas, diecisiete de los cuales se refieren a construcciones con una sola abertura de comps, tema que haba sido tratado por Abulguafa y por Alberto Durero, y parece que tambin por Escipin del Ferro; pero as como stos utilizaban una abertura en cada caso, Tartaglia exiga que el radio fuese el mismo en todos los problemas, inspirndose, evidentemente, en consideraciones tericas. Ferrari contest el 24 de mayo con una carta plagada de injurias, presentando sus contraposiciones y planteando otros problemas, treinta y uno en total, ms complicados que los de Tartaglia, y algunos de los cuales excedan de sus recursos matemticos. Fechada el 23 de junio, y concluida de imprimir el 9 de julio siguiente, apareci la respuesta de Tartaglia, resolviendo veintisis de las treinta y una cuestiones propuestas por su rival, incluyendo las de carcter filosfico relativas a un pasaje del Timeo de Platn y otro de Aristteles, y termina su escrito con este verso:

Ogni dubbioso il parangon fa certo

- 13 -

revelador de su satisfaccin por los resultados conseguidos. El 10 de agosto public Ferrari su cuarto cartel de desafo, en el que hay muchos insultos y poca Matemtica, al cual contest Tartaglia el 30 del mismo mes resolviendo las cuestiones que haba dejado pendientes en su respuesta anterior y reiterando su deseo de que Cardano tomase parte en la discusin, adivinando, lgicamente, que ste andaba entre bastidores. El quinto cartel de Ferrari, aparecido en octubre, tiene ms inters. Empieza con una digresin de carcter jurdico acerca de las autoridades cientficas que deben dirimir la contienda, critica despus las soluciones de Tartaglia con palabras apasionadas e injustas, tras de las cuales se advierte la presencia de Cardano, y termina resolviendo algunos de los problemas propuestos por su rival el 27 de abril, es decir: que tard seis meses en dar sus soluciones, Tartaglia las dio siempre inmediatamente y ello gracias a la colaboracin de Cardano, como ste mismo afirma en su obra De Subtilitate . Tartaglia respondi diciendo que ya duraba demasiado la polmica escrita y que estaba dispuesto a dirigirse a Miln para discutir verbal y pblicamente con su adversario, aprovechando la proximidad a la capital de Lombarda de Brescia, donde se encontraba a la sazn por razones profesionales. Cerca de un ao tard Ferrari en contestar. Su respuesta, fechada el 14 de julio de 1548 es, como todas las suyas, una coleccin de improperios, y concluye haciendo un elogio de Cardano, de quien dice que tuvo la generosidad de citar a Tartaglia en su Ars Magna a propsito de la ecuacin de tercer grado, que ya haba resuelto Escipin del Ferro y conoca Antonio del Fiore. Aceptando en principio el desafo matemtico, ambas rivales llegaron a un acuerdo sobre las condiciones el da 24 de julio, citndose para el 10 de agosto en la ctedra Giardino de los recoletos de Miln. De esta famosa polmica no conocemos, desgraciadamente, ms que las referencias de uno de los contendientes: Tartaglia, lo que impide juzgarla con imparcialidad.

- 14 -

Tanto este ltimo episodio como el desarrollo del desafo, han sido diversamente interpretados, incluso por los propios historiadores de la Matemtica italiana, y, aun hace pocos aos, dos ilustres profesores: Gino Lora y Ettore Bortolotti, han adoptado posiciones opuestas: el primero en favor de Tartaglia y el segundo en defensa de Cardano. Lo que s parece fuera de toda duda es que la controversia oral degener en puerilidades en vez de aportar elementos nuevos a la teora de ecuaciones, que era la preocupacin de los matemticos de la poca, lo que no quiere decir que los cartelli di Matematica disfida fueran estriles, pues que permiten seguir con bastante aproximacin la trayectoria histrica de la resolucin de la ecuacin de tercer grado, que se puede resumir diciendo que en 1502 Pacioli la haba declarado imposible, opinin que no fue compartida por Escipin del Ferro, el cual conoca en 1515 un procedimiento emprico, tomado probablemente de los rabes; pero guard su secreto limitndose a consignarlo en un cuaderno que, a su muerte, en 1526, pas a manos de Anbal de la Nave, su sucesor en la ctedra de Bolonia, siendo probable que en esta ciudad se conociera la existencia de tan precioso documento, pues que ello explicara satisfactoriamente el motivo de los problemas que Coi y Fiore propusieron en 1530 a Tartaglia y que fueron, en realidad, los que le obligaron a trabajar sobre la ecuacin cbica, que consigui resolver en 1534 y se la comunic, en 1539, bajo previo juramento ad sacra Dei de guardar el secreto, a Cardano, quien conoci tres aos despus, junto con Ferrari, la solucin emprica de Escipin del Ferro facilitada confidencialmente por Anbal de la Nave cuando ambos, de paso para Florencia, se detuvieron en Bolonia, 1542. En posesin de este dato, Cardano, cuyo perfil moral deja mucho que desear, falt al juramento prestado y public la solucin de la ecuacin en su Ars Magna hacindola preceder de palabras que indignaron a Tartaglia, quien desafi a Cardano; pero ste no slo rehus el debate (fue su discpulo Ferrari quien, manejado por l, lo sostuvo), sino que, acosado para que asistiese a la controversia pblica, huy cobardemente de Miln a ua de caballo. Es indudable, pues, que Tartaglia fue quien resolvi la ecuacin de tercer grado tal como ha llegado a nosotros, con absoluta independencia del mtodo emprico que Escipin del Ferro consign en el cuaderno que todava no se ha encontrado a pesar de las pacientes y minuciosas bsquedas de matemticos e historiadores; pero como fue Cardano quien la dio a conocer y adems en latn, que era

- 15 -

el idioma cientfico de la poca, ha pasado a la Historia con el injusto ttulo de frmula cardnica , negndosele a Tartaglia incluso la reparacin pstuma a que tiene indudable derecho.

variste Galois3 (25 de octubre de 1811 - 31 de mayo de 1832) fue un

matemtico francs nacido en Bourg-la-Reine. Mientras an era un adolescente, fue capaz de determinar la condicin necesaria y suficiente para que un polinomio sea resuelto por radicales, dando una solucin a un problema que haba permanecido insoluble durante muchos aos. Su trabajo ofreci las bases fundamentales para la teora que lleva su nombre, una rama principal del lgebra abstracta. Fue el primero en utilizar el trmino "grupo" en un contexto matemtico. Su educacin acadmica empez a la edad de 12 aos cuando ingres en el liceo Royal de Louis-leGrand, de Pars, donde haban estudiado Robespierre y Vctor Hugo. All tuvo sus primeros escarceos de tintes polticos (un enfrentamiento con el director del internado) que se saldaron con la expulsin de varios alumnos, entre los cuales l no estaba, pero que forjaron una incipiente rebelda hacia la autoridad (especialmente un ideario antieclesistico y antimonrquico que mantuvo hasta su muerte). Durante los dos primeros aos en el Louis-le-Grand, Galois tuvo un rendimiento normal e incluso lleg a ganar algunos premios en griego y latn. Pero en tercero, su trabajo de retrica fue reprobado y tuvo que repetir curso. Fue entonces cuando Galois entr en contacto con las matemticas: tena entonces 15 aos. Siendo todava estudiante del Louis-le-Grand, Galois logr publicar su primer trabajo (una demostracin de un teorema sobre fracciones continuas peridicas) y poco despus dio con la clave para resolver un problema que haba trado en jaque a los matemticos durante ms de un siglo (las condiciones de resolucin de ecuaciones polinmicas por radicales). Sin embargo, sus avances ms notables fueron los relacionados con el desarrollo de una teora nueva cuyas aplicaciones desbordaban con mucho los lmites de las ecuaciones algebraicas: la teora de grupos.

variste Galois. Tony Rothman en Investigacin y Ciencia. Edicin Especial: Grandes Matemticos.

- 16 -

Sin embargo, el destino no le iba a deparar muchos ms xitos. Pocos das antes de presentarse al segundo (y definitivo) examen de acceso a la cole Polytechnique, el padre de Evariste se quitaba la vida. En este contexto Galois se present y, con sus habituales maneras rebeldes y su desprecio por la autoridad, se neg a seguir las indicaciones de los examinadores al rehusar justificar sus enunciados. Y, naturalmente, fue rechazado definitivamente. Vindose obligado considerar la menos prestigiosa cole Normale, Galois se present a los exmenes de bachillerato (necesario para ser admitido) y esta vez fue aprobado gracias a su excepcional calificacin en matemticas. Galois fue admitido en la cole Normal ms o menos al mismo tiempo que sus revolucionarios trabajos sobre teora de grupos eran evaluados por la Academia de Ciencias. Sin embargo, sus artculos nunca llegaron a ser publicados en vida de Galois. Inicialmente se lo envi a Cauchy quien lo rechaz porque su trabajo tena puntos en comn con un reciente artculo publicado por Abel. Galois lo revis y se lo volvi a remitir, y en esta ocasin, Cauchy lo remiti a la academia para su consideracin; pero Fourier, el secretario vitalicio de la misma y el encargado de su publicacin, muri poco despus de recibirlo y la memoria fue traspapelada. El premio fue otorgado ex equo a Abel y a Jacobi, y Evariste acus a la academia de una farsa para desacreditarle. A pesar de la prdida de la memoria enviada a Fourier, Galois public tres artculos aquel mismo ao en el Bulletin des sciences mathmatiques, astronomiques, physiques et chimiques del Barn de Frussac. Estos trabajos presentan los fundamentos de la Teora de Galois y prueban sin lugar a dudas que el joven haba llegado ms lejos que ningn otro matemtico en el campo del lbegra relacionado con la resolucin de ecuaciones polinmicas. Aunque se trataba de un trabajo inconcluso. En la primavera de 1831, con apenas 19 aos, Galois fue detenido y encarcelado durante ms de un mes acusado de sedicin, tras un desafiante brindis en nombre del rey. Inicialmente fue absuelto, pero volvi a ser arrestado por otra actitud sediciosa en julio y esta segunda vez pas ocho meses en prisin. Durante aquel ao de 1831 Galois por fin haba redondeado las cuestiones pendientes en su trabajo y lo haba sometido a la consideracin de Poisson quien le recomend que lo presentara de nuevo a la Academia. Ms tarde, aquel mismo ao, el propio Poisson recomend a la Academia que rechazara su trabajo con la indicacin de que "sus argumentaciones no estaban ni lo suficientemente claras ni suficientemente desarrolladas para permitirles juzgar su rigor". El propio Poisson, a pesar de su enorme

- 17 -

prestigio matemtico y de sus esfuerzos, no lleg a comprender los resultados que le presentaba aquella memoria. Galois recibi la carta de rechazo en prisin. Dos das antes de su muerte, Galois fue liberado de la prisin. Los detalles que condujeron a su duelo (supuestamente a causa de un lo de faldas) no estn claros. Lo que queda para la historia es la noche anterior al evento. Evariste Galois estaba tan convencido de lo inmediato de su muerte que pas toda la noche escribiendo cartas a sus amigos republicanos y componiendo lo que se convertira en su testamento matemtico. En estos ltimos papeles describi someramente las implicaciones del trabajo que haba desarrollado en detalle y anot una copia del manuscrito que haba remitido a la academia junto con otros artculos. El 30 de mayo de 1832, a primera hora de la maana, Galois recibi un disparo en el abdomen y muri al da siguiente a las diez (probablemente de peritonitis) en el hospital de Cochin despus de rehusar los servicios de un sacerdote. Sus ltimas palabras a su hermano Alfredo fueron: "No llores! Necesito todo mi coraje para morir a la edad de 20 aos." Las contribuciones matemticas de Galois fueron publicadas finalmente en 1843 cuando Joseph Liouville revis sus manuscritos y declar que aquel joven en verdad haba resuelto el problema de Abel por otros medios que suponan una verdadera revolucin en la teora de las matemticas empleadas. El manuscrito fue publicado en el nmero de octubre de 1846 del Journal des mathmatiques pures et appliques.

- 18 -

1.2. Conceptos previos.

En esta seccin se analizaran las propiedades que satisfacen los nmeros reales, esto se realizar ya que ser de vital importancia en el trabajo posterior, por ejemplo en la resolucin de ecuaciones. Adems definiremos el concepto de potencia y sus propiedades las cuales nos sern tiles en el producto de expresiones algebraicas.

Nmeros reales.

Aceptaremos la existencia de un conjunto no vaco R , que denominaremos conjunto de los nmeros reales. Sobre l se ha definido una relacin de igualdad y dos operaciones algebraicas. La relacin de igualdad "="satisface las propiedades de:
Reflexividad: a = a Simetra: si a = b , entonces b = a . Transitividad: si a = b y b = c , entonces a = c .

En el conjunto de los nmeros reales R podemos definir dos operaciones binarias denominadas suma ( + ) y producto ( ) , las cuales se definen formalmente por El conjunto de los nmeros reales junto con las dos operaciones binarias que hemos definido es un cuerpo, es decir las operaciones binarias denominadas suma ( + ) y producto ( ) , satisfacen los siguientes axiomas de cuerpo 1. Ley Asociativa. Dados los elementos x, y, z R se tiene que:

( x + y) + z = x + ( y + z) . ( xy ) z = x( yz )

2. Ley Conmutativa. Dados los elementos x, y R se tiene que:

x+ y = y+x. xy = yx

3. Elementos Neutros: Existen dos elementos en R distintos 0,1 tales que:

- 19 -

 x + 0 = x, x 1 x = x, x

4. Elementos Inversos:

( x )( ( x) )( x + ( x) = 0 ) . ( x {0}) ( x 1 )( xx 1 = 1) .

5. Distributividad: Dados x, y, z

x( y + z ) = xy + xz .

Los siguientes teoremas enuncian las propiedades bsicas de las operaciones de adicin y multiplicaron, cuyas demostraciones sern dadas de ejercicio.

Teorema. En R el neutro aditivo y el neutro multiplicativo son nicos. Teorema. En R existe un nico elemento inverso para la suma y la multiplicacin. Teorema. Para todo a R se tiene que a 0 = 0 . Teorema. Para todo a, b R , son validas las siguientes propiedades.
1. ( a ) = a . 2. ( a )b = (ab ) . 3. a ( b ) = (ab ). .

Teorema. Para todo a, b R-{0} se tiene que:

1. a 1

( )

=a.

2. a 1b = ab 1 3. ab 1 = a 1b
1

) )

. .

4. (ab ) = a 1b 1 .

Teorema. Leyes de Cancelacin.

1. a + b = a + c b = c .

- 20 -

2. ab = ac a 0 b = c .

Teorema. ab = 0 (a = 0 b = 0 ) . Definicin. Dados a, b Teorema. Dados a, b

1. a ( b ) = a + b . 2. a b = 0 a = b . 3. a (b + c ) = a b c , definimos la diferencia de a y b por a b = a + ( b ) . se tienen las siguientes propiedades.

Definicin. Dados a, b
numero ab 1 .

, b 0 definimos le cuociente entre a y b por

a que simboliza al b

Teorema. Dados a, b, c, d
a = a. 1 1 = a 1 . a

se tienen las siguientes propiedades.

1.

2. Si a 0 entonces

3. Si a 0 entonces

a =1. a c d = bc = ad . a b c cb = . a ab c d cd = a b ab c d bc ad = . a b ab

4. Si a 0 y b 0 entonces

5. Si a 0 y b 0 entonces

6. Si a 0 y b 0 entonces

7. Si a 0 y b 0 entonces

- 21 -

8. Si a 0, b 0 y d 0 entonces

c d bc : = . a b ad

Siguiendo la representacin axiomtica asumiremos que en existe un subconjunto llamado conjunto de los nmeros reales positivos, el cual denotaremos por + , que satisface las siguientes propiedades:
P1 Es cerrado con la suma. La suma de dos nmeros reales positivos es positivo. P2 Es cerrado para la Multiplicacin. El producto de dos nmeros reales positivos es positivo. P3 Ley de Tricotoma. Dado un nmero real este es cero positivo su inverso aditivo es positivo.

- 22 -

2. Ecuaciones de Primer Grado.

En esta seccin estudiaremos la importancia de las ecuaciones de primer grado. De hecho las ecuaciones, ya sean esta de primer grado o no, nos sirven en la resolucin de problemas. Si recordamos los inicios del lgebra podemos observar que ya en el siglo XVII a.C. los matemticos de Mesopotamia y de Babilonia ya resolvan ecuaciones de primer grado para resolver problemas relacionados por ejemplo con la distribucin de vveres. Es importante sealar que los problemas a los cuales nos enfrentamos diariamente no necesariamente se resuelven va ecuaciones de primer grado, de hecho una gama importante de tipos de problemas que se resuelven en la actualidad requieren de la modelacin matemtica y del uso de computadores. Antes de iniciar nuestro estudio debemos tener en cuenta la diferencia que existe entre tres conceptos:
Igualdad. Identidad. Ecuacin.

Igualdad. En matemticas, dos expresiones son considerados iguales si tienen precisamente el

mismo valor. Esto define un predicado binario, igualdad. La lgica de predicados contiene los axiomas estndar para la igualdad que formalizan la ley de Leibniz, propuestos por el filsofo Gottfried Leibniz en el siglo XVII. La idea de Leibniz era que dos cosas son idnticas si y solamente si tienen exactamente las mismas propiedades. Entonces si a y b tienen las mismas propiedades anotamos a = b , caso contrario decimos que a no es igual a b lo cual se denota por a b , que se lee a es distinto de b . El signo Igual o =, usado para indicar una igualdad o el resultado de alguna operacin aritmtica, fue inventado en 1557 por Robert Recorde. Quien cansado de escribir "is equalle to:" emple el smbolo (= = = = = largo) en su trabajo Whetstone of Witte.

- 23 -

Identidad. Una identidad es la igualdad entre expresiones algebraicas que se verifica

numricamente para cualquier valor de las variables que intervienen.

Ejemplo. mx + nx = x ( m + n ) es una identidad en el conjunto de los nmeros reales, ya que la

igualdad se satisface para todos los valores que puedan tomar las variables x, m, n .

Es importante sealar que las identidades algebraicas son tiles para transformar una expresin algebraica en otra.
Ecuacin. Una ecuacin es toda igualdad entre dos expresiones algebraicas en la cual aparecen

algunas incgnitas, es decir cantidades desconocidas. Se denomina solucin de la ecuacin a cualquier valor que pueda(n) tomar la(s) variable(s) de la ecuacin que cumpla(n) la igualdad, es decir, a cualquier elemento del conjunto de nmeros o elementos sobre el que se plantea la ecuacin que cumpla la condicin de satisfacer la ecuacin. Es necesario sealar que es posible que ningn valor de la incgnita haga cierta la igualdad, en este caso la solucin del problema es vaca. Tambin puede suceder que todo valor posible de la incgnita satisfaga la igualdad, en este caso estamos en presencia de una igualdad. En la teora de ecuaciones algebraicas, el grado de una ecuacin corresponde a la mxima potencia a la que est elevada la incgnita algebraica de la ecuacin
Ejemplo. Si consideramos la ecuacin 3x 2 + 36 x 5 = 0 , podemos observar que es una ecuacin

de segundo grado. Como ya hemos mencionado las ecuaciones surgen para resolver problemas de la vida cotidiana. Es importante mencionar que los rabes estudiaron las ecuaciones de primer grado, de hecho un libro clsico de Studio fue un libro llamado Tratado de la cosa, y a la ciencia de hacerlo, lgebra. La cosa era la incgnita. La primera traduccin fue hecha al latn en Espaa, y como la palabra rabe la cosa suena algo parecido a la X espaola medieval (que a veces ha dado J y otra X porque su sonido era intermedio, como en Mxico/Mjico, Ximnez/Jimnez), los matemticos espaoles llamaron a la cosa X y as sigue.
- 24 -

Antes de utilizar ecuaciones de primer grado para resolver problemas de nuestro entorno, debemos tener en claro como se resuelven las ecuaciones de primer grado y si estas poseen algunas propiedades que nos sean de utilidad. Lo primero que realizaremos es definir que entendemos por la solucin de una ecuacin de primer grado.
Definicin. La solucin de una ecuacin de primer grado en una variable, en caso de existir, es el

valor de la variable que hace vlida la ecuacin.

Ejemplo. S consideramos la ecuacin 3 x 9 = 4 x 14 podemos observar por simple inspeccin

que el nmero 5 es solucin de la ecuacin ya que si reemplazamos el valor de la variable x por 5 obtenemos:
3 ( 5 ) 9 = 4 ( 5 ) 14

Es decir
15 9 = 20 14

De donde podemos observar que la igualdad es vlida

Observacin. Existen ecuaciones de primer grado que se pueden resolver por simple inspeccin Ejemplo. Si consideramos las ecuaciones:

a) x + 5 = 12 . b) 2 x = 12 . c) 2 x 3 = 7 . Podemos observar que las soluciones son respectivamente x = 7 , x = 6 y x = 5 . Existen ecuaciones de primer grado las cuales no se pueden resolver por simple inspeccin por ejemplo la ecuacin 2 x 12 ( 3 x 2 ) = 6 ( 3 6 x ) 6 . Para resolver este tipo de ecuaciones se usa un proceso que se fundamenta en la propiedad bsica para resolver ecuaciones de primer grado, la cual establece que se puede determinar una ecuacin equivalente realizando la misma operacin a ambos lados de la ecuacin. Esta propiedad nos
- 25 -

permite sumar, restar, multiplicar y dividir por un mismo nmero ambos lados de una ecuacin sin alterar la solucin de la ecuacin (Recuerda que al dividir, el divisor debe ser distinto de cero). De hecho la propiedad descrita anteriormente la podemos entender si consideramos las ecuaciones como balanzas donde cada miembro de la ecuacin esta a un lado de la balanza, as al realizar alguna operacin si deseamos que la balanza mantenga su equilibrio esta operacin se debe realizar a ambos lados de la balanza, es decir a ambos lados de la ecuacin.
Ejemplo. Si consideramos la ecuacin 2 x + 5 = 29 , la ecuacin en cuestin la podemos representar

mediante la balanza.

2 x + 5 = 29

Donde las barras representan el valor de la incgnita. Estas barras tambin se podran ver como cajitas contenedoras de bloques o calugas 4 As si quitamos del lado izquierdo de la balanza cinco bloques azules, obtenemos:

2 x < 29

Para restaurar el equilibrio en la balanza debemos quitar cinco bloques al lado derecho de la balanza, obteniendo:
4

Segn la metfora de Roberto Araya en su software Ecuaciones Mgicas de Automind. - 26 -

2 x = 24

Si reordenamos los bloques de lado derecho de la balanza obtenemos

x + x = 12 + 12

Por lo tanto de lo anterior podemos deducir que el valor de la incgnita es x = 12 . Lo realizado en el ejemplo anterior se basa fundamentalmente en la propiedad bsica para resolver ecuaciones. Observe que de la propiedad bsica para resolver ecuaciones podemos deducir que las ecuaciones satisfacen las siguientes propiedades:
Propiedad aditiva. La solucin de una ecuacin no cambia si se suma a ambos lados de la ecuacin

el mismo nmero.
Propiedad Multiplicativa. La solucin de una ecuacin no cambia si se multiplican ambos lados de

la ecuacin por el mismo nmero no nulo.

- 27 -

Ejemplo. Utilicemos las propiedades anteriores para resolver la ecuacin:

2 x 12 ( 3 x 2 ) = 6 ( 3 6 x ) 6 .

(1)

Solucin. Lo primero que realizaremos es utilizar las propiedades de distributividad de la

multiplicacin sobre la adicin, para transformar cada miembro de la ecuacin dada en uno ms sencillo de manipular. En efecto si observamos que:
2 x 12 ( 3 x 2 ) = 2 x 36 x + 24 .

(2)

y
6 ( 3 6 x ) 6 = 18 36 x .

(3)

Entonces de (2) y (3) tenemos que la ecuacin (1) es equivalente a la ecuacin:

2 x 36 x + 24 = 18 36 x

(4) (5)

La cual es equivalente ala ecuacin:

34 x + 24 = 18 36 x .

Para determinar le valor de la variable x dejaremos a un solo lado de la ecuacin todas las variables y el otro lado de la ecuacin todo lo que sea independiente de la variable. Para realizar lo descrito anteriormente primero sumaremos -24 a ambos lados de la ecuacin obteniendo:
34 x + 24 + ( 24 ) = 18 36 x + ( 24 ) .

(6)

De donde se tiene que la ecuacin (6) se transforma en:

34 x = 36 x 6 .

(7)

Para dejar todas las variables a un mismo lado de la ecuacin sumaremos 36 x a ambos lados de la ecuacin, obteniendo:
34 x + 36 x = 36 x 6 + 36 x .

(8) (9)

As de lo anterior tenemos que la ecuacin (1) es equivalente a la ecuacin:

2 x = 6 .

- 28 -

Por lo tanto para determinar de la solucin de la ecuacin (1) basta dividir por 2 ambos miembros de la ecuacin (9), es decir multiplicar por 1 ambos lados de la ecuacin (9), obteniendo que la 2

solucin de la ecuacin (1), respectivamente ecuacin (9), es:

x = 3 .

Solucin de problemas de la vida cotidiana mediante ecuaciones de primer grado. Cuando

utilizamos las matemticas para resolver problemas debemos determinar si es posible traducir el problema al lenguaje matemtico mediante la incorporacin de variables y ecuaciones que relaciones las variables involucradas en el problema. En esta seccin analizaremos un par de ejemplos en los cuales podemos utilizar ecuaciones de primer grado para resolver problemas de la vida cotidiana. En la resolucin de problemas utilizando las matemticas es importante destacar al matemtico George Plya5 quien naci en Budapest el 13 de diciembre de 1887. En un principio no se sinti especialmente atrado por las matemticas, sino por la literatura y la filosofa. Su profesor de esta ltima, el Prof. Alexander, le sugiri que siguiera cursos de fsica y de matemticas para mejorar su formacin filosfica. Este consejo marc para siempre su carrera. Las magnficas lecciones de Fsica de Lornd Etvs, y las no menos excelentes de Matemticas de Lipt Fejr influyeron decisivamente en la vida y obra de Plya. Entre los discpulos de Fejr estaban Marcel Riesz, Otto Szs, Mihaly Fekete, Gbor Szeg, Tibor Rad, y ms tarde Paul Erds y Paul Turn. Adems de las clases "regulares", Fejr se reuna con ellos en un caf de Budapest y resolva problemas mientras les contaba historias y ancdotas sobre los matemticos que haba conocido. En 1940, huyendo de Hitler, Plya y su esposa suiza (Stella V. Weber) se trasladaron a los Estados Unidos. Plya hablaba (segn l, bastante mal) adems del hngaro, alemn, francs e ingls, y
.G.Plya, The Plya Picture Album. Encounters of a mathematician. Birkhuser, 1987. A. Arvai Wieschenberg, A conversation with George Plya, en Mathematics Magazine,vol.60, no.5, Diciembre 1987, pp.265-268. M.M.Schiffer, George Plya (1887-1985), en Mathematics Magazine,vol.60, no.5, Diciembre 1987, pp.268-270 (necrolgica de Plya en la Universidad de Stanford, el 30 de octubre de 1987).
5

- 29 -

poda leer y entender algunos ms. Se instalaron en Palo Alto, California, y obtuvo trabajo en la Universidad de Stanford. Durante su larga vida, acadmica y profesional, Plya recibi numerosos premios y galardones por su excepcional trabajo sobre la enseanza de las matemticas y su importantsima obra investigadora. Cuando se le preguntaba cmo haba llegado a ser matemtico, sola decir, medio en broma, medio en serio: No era lo suficientemente inteligente para ser fsico, y demasiado para ser filsofo, as
que eleg matemticas, que es una cosa intermedia. Fue un viajero impenitente (aunque nunca

condujo automviles) que curiosamente descubri a los 75 aos de edad las comodidades de los viajes en avin, cruzando el Atlntico y el continente americano varias veces.
Observacin. Es importante sealar que el grado de dificultad de los problemas tratados en esta

seccin es de nivel medio y que ms adelante utilizaremos el mtodo de Plya para resolver problemas ms complicados utilizando ecuaciones de primer grado.
Problema 1. El 24 de febrero de 1994 se inauguro el

puente Teodoro Moscoso sobre la laguna de San Jos, Puerto Rico. El puente tiene una longitud de 2,2 kilmetros y su construccin cost US$127.000.000. El segundo da paso la mitad de vehculos que el primero y el tercer da paso una cuarta parte de los vehculos que cruzaron el primer da. Si en estos tres das usaron el puente 22.288 vehculos, cuntos vehculos pasaron cada da?
Solucin. En este momento nos surge la siguiente interrogante: Cmo resolver el problema? El

primer paso que debemos realizar es ver si podemos expresar el problema en lenguaje matemtico (es decir utilizando variables, operaciones aritmticas y relaciones entre las viables). Para resolver este primer paso, consideremos por x el nmero de vehculos que pasaron por el puente Teodoro Moscoso el primer da, as tenemos que:

- 30 -

x representa la cantidad de vehculos que cruzo el puente el segundo da. 2

x 4 representa la cantidad de vehculos que cruzo el puente el tercer da. De lo anterior podemos deducir que si el total de vehculos que cruzaron el puente durante los tres das fue de 22.288 entonces se debe cumplir que:

x+

x x + = 22.288 2 4

(1)

Observe que en este momento hemos obtenido una ecuacin de primer grado en la variable x . En este momento nos surge una segunda interrogante Cmo resolver la ecuacin (1)? Para resolver esta interrogante utilizaremos las propiedades de las operaciones aritmticas en el conjunto de los nmeros reales. Observe:
x+ x x + 2 4 1 1 = x 1 + + propiedad de distributividad 2 4 1 1 = x 1 + + propiedad de asociatividad de la adicin 2 4 3 =x 1 + 4 7 7x =x = 4 4 Observe que de (2) podemos deducir que la ecuacin (1) se transforma en: 7x = 22.288 4 (3)

( 2)

De lo anterior podemos observar que si deseamos determinar el nmero de vehculos que cruzo el puente cada da debemos determinar el valor de la variable x en la ecuacin (3). Para determinar dicho nmero observemos que si: 7x = 22.288 . 4 Entonces (Multiplicando por 4 ambos miembros de la ecuacin)

- 31 -

7 x = 4 22.288 .

Es decir
7 x = 89.152 .

As se tiene que (Dividiendo por 7 ambos miembros de la ecuacin) x= 89.152 = 12.736 7

Por lo tanto el nmero de vehculos que cruzo el puente:

El primer da cruzaron el puente 12.736 vehculos. El segundo da cruzaron el puente 6.368 vehculos. El tercer da cruzaron el puente 3.184 vehculos.

Problema 2. El colegio Saturno de la Serena ha iniciado un

programa de reciclado de vidrio y plstico y se dar un premio al estudiante que acumule ms puntos. Se asignan 20 puntos por reciclar una botella de plstico y 15 puntos por reciclar una botella de vidrio. Si Juan tiene acumulado 720 puntos y ha recolectado 9 botellas de plstico, Cuntas botellas de vidrio ha recolectado?

Solucin. Utilicemos la incgnita x para representar la cantidad de de botellas que ha recolectado

Juan, por lo tanto la cantidad de puntos asociados a la cantidad de botellas de vidrio recolectadas por Juan es:
15 x

(1)

Por otro lado sabemos que la cantidad de botellas de plstico que ha recolectado Juan es de 9 botellas, de donde podemos deducir que por concepto de reciclado de botellas de plstico Juan posee:
180

(2)

- 32 -

puntos. Por ultimo sabemos que la cantidad total de puntos que posee Juan por concepto de reciclado de botellas es de 720 puntos. De lo anterior podemos deducir que:
720 = 180 + 15 x .

(3)

Por lo tanto para determinar la cantidad de botellas de vidrio que ha reciclado Juan debemos resolver la ecuacin (3), la cual se puede resolver por simple inspeccin obteniendo que la solucin es x= 540 , es decir Juan ha reciclado 36 botellas de vidrio. 15

Problema 3. El 7 de enero de 1994 la barcaza

Morris J. Berman encallo cerca de la costa de San Juan y libero una gran cantidad de petrleo que causo una gran mancha en las playas cercana. Si la barcaza tena 252.000 galones de petrleo y liberaba 30 galones por minuto. Determine una ecuacin que represente la cantidad de galones de petrleo que retena la barcaza despus de cierta cantidad de minutos de iniciado el derrame. Cunto demora la barcaza en quedar sin reservas de petrleo?

Solucin. Para resolver este problema utilizaremos dos variables en cuestin. Denotaremos por p la
cantidad de petrleo dentro de la barcaza en un instante t despus de iniciado el derrame de petrleo y consideraremos t como una variable que representa una cierta cantidad de tiempo transcurrido, medido en minutos. Por otro lado podemos observar que si han transcurrido t minutos del inicio del derrame, entonces la cantidad de petrleo que se ha derramado es:

- 33 -

30t

(1)

As de (1) se tiene que la cantidad de petrleo que se encuentra dentro de la barcaza esta dado por: p = 252.000 30t (2)

Observe que (2) resuelve nuestro primer problema, el cual era determinar una ecuacin que representara la cantidad de galones de petrleo que retena la barcaza despus t minutos iniciado el derrame. Para determinar la cantidad de tiempo que demorara en derramarse todo el petrleo de la barcaza debemos resolver la ecuacin:
252.000 30t = 0

(3)

Observe que la ecuacin (3) posee como solucin t =

252.000 . De lo anterior podemos deducir que 30

la barcaza demorar 8.400 minutos en derramar todo el petrleo que transporta.

- 34 -

3. Lenguaje Algebraico.
Como hemos visto en la seccin anterior las ecuaciones de primer grado nos permiten resolver algunos tipos de problemas de la vida cotidiana. Lamentablemente existen un nmero no calculable de problemas que se resuelven utilizando otras ecuaciones e inecuaciones, las cuales pueden no ser necesariamente de primer grado. Adems es importante sealar que existe una gama infinita de problemas que aun no sabemos como resolver y problemas que sabemos que jams resolveremos. El inicio del lgebra, como ya lo hemos mencionado, se remontan al siglo XVII a.C. con los matemticos de Mesopotamia y de Babilonia. En ese entonces ellos ya saban resolver ecuaciones de primer y segundo grado. Adems resolvan tambin, algunos sistemas de ecuaciones con dos ecuaciones y dos incgnitas. Para entender la importancia del lgebra iniciaremos esta seccin analizando como el lgebra nos permite traducir al lenguaje matemtico los enunciados de problemas que deseamos resolver. 3.1. Traduccin de enunciados en expresiones algebraicas. Cuando deseamos utilizar las matemticas para resolver algn tipo de problema, no siempre contamos con una ecuacin o relacin matemtica que se nos permita asociar al problema o ms an que nos permita resolver el problema. De hecho lo que realizamos es entender el problema, identificamos las variables involucradas y determinamos si existen relaciones entre las variables involucradas que nos permitan entender y solucionar matemticamente el problema en cuestin. Como ya hemos mencionado, al traducir expresiones verbales al lenguaje matemtico debemos identificar las variables presentes en la situacin y las relaciones que existen entre las variables, teniendo especial cuidado en la asignacin de las variables ya que debemos asignar nombres a las variables de tal modo que los nombres asignados sean representativos de las cantidades que deseamos expresar. Las relaciones que pueden surgir en general pueden estar dadas por relaciones de igualdad como por relaciones de desigualdad. Es importante sealar que no existe una norma que nos permita traducir las relaciones en operaciones aritmticas, aunque debiramos decir formalmente operaciones algebraicas, ya que estamos trabajando con variables, ciertas palabras

- 35 -

tienen una representacin inmediata. La siguiente tabla resume algunas de las ms utilizadas y su equivalencia en el lenguaje matemtico (en el lgebra).

Enunciado Verbal
Es igual a, es lo mismo que, son iguales La suma de, sumado a, se aumenta en, ms La diferencia de, restado a, se disminuye en, menos El producto de, multiplicado por, veces, por El cociente de, dividido entre

Operacin
Adicin Diferencia Multiplicacin Divisin

Smbolo
= +

Ejemplo. Realicemos la traduccin de los siguientes enunciados al lenguaje matemtico.

La velocidad del automvil aumenta en 5 kilmetros. Si consideramos por v la velocidad del

vehiculo medida en kilmetros, se tiene que el enunciado verbal se traduce al lenguaje matemtico por:
v+5

La altura del cono es tres veces el radio del cono. Si consideramos por h la altura del cono y por

r el radio del cono, se tiene que el enunciado verbal se traduce al lenguaje matemtico por:
h = 3r

Es importante sealar que la traduccin de enunciados verbales al lenguaje matemtico es de vital importancia para la resolucin de este.

- 36 -

3.2. Una primera introduccin al lgebra En esta seccin analizaremos que es el lgebra y cual es la diferencia que existe con la aritmtica. Como se ha expuesto anteriormente, el lgebra es la rama de las matemticas en la que se usan letras para representar relaciones aritmticas. Al igual que en la aritmtica, las operaciones fundamentales del lgebra son adicin, sustraccin, multiplicacin, divisin y clculo de races.

Notacin Algebraica. En lgebra, para lograr la generalizacin, las cantidades se representan por
medio de letras, las cuales pueden representar distintos tipos de valores. Por ejemplo la letra x puede representar un valor igual a 30 como un valor distinto. Sin embargo es importante sealar que cuando resolvemos un problema y asignamos un valor determinado a una letra, este valor no puede cambiar. Los smbolos usados para representar cantidades en el lgebra son nmeros y letras. Los nmeros se utilizan para representar cantidades conocidas, las letras se utilizan para representar tanto cantidades conocidas como desconocidas. En este punto es importante sealar que las letras utilizadas para representar cantidades conocidas son por lo general las primeras letras del alfabeto, a, b, c,... , mientras que las cantidades desconocidas se representas generalmente con las ultimas letras del alfabeto, x, y, z .

Para representar distintos valores se puede utilizar una misma letra, diferencindola con el uso de comillas o subndices, por ejemplo:
a, a ', a '',.... a1 , a2 , a3 ,...

Formulas. Debido a la generalizacin en la representacin de cantidades surgen las formulas

algebraicas. Las formulas algebraicas son la representacin por medio de letras de una regla o principio general. Las frmulas algebraicas son usadas en las ciencias como Geometra, Fsica, Mecnica, Biologa, etc.

- 37 -

Ejemplo. En geometra se sabe que el rea de un trapecio es el producto de la altura del trapecio
por la semi suma de las bases de este. Por lo tanto si denominamos por A el rea del trapecio, h la altura del trapecio, b1 y b2 las bases del trapecio, entonces de la regla general tenemos:

b +b A = h 1 2 2
Signos utilizados en lgebra. En lgebra se utilizan tres tipos de signos; signos de operacin,

signos de relacin y signos de agrupacin. A continuacin daremos un detalle de los tipos de signos mencionados.
Signos de operacin. Como hemos dicho el lgebra trata del estudio de las cantidades de la

forma ms general posible. En estos trminos se tiene que el lgebra trabaja con cantidades, ya sean estas conocidas o no, de lo anterior podemos deducir que las propiedades de la operatoria realizada en aritmtica se satisfacen en lgebra.
+ es el signo de la suma el cual se lee ms. De lo anterior podemos deducir que la

expresin 2 + b se lee 2 ms b .
es el signo de la resta el cual se lee menos. As la expresin a x se lee a menos x . es el signo de la multiplicacin, que se lee por. La expresin a b se lee a por b . Es

importante sealar que el smbolo de multiplicacin entre dos factores es habitualmente reemplazado por un punto entre los factores, es decir a b = a b . Por ltimo debemos mencionar que entre factores literales o entre un factor numrico y otro literal se suele omitir el signo de multiplicacin, es decir 5abc = 5 a b c . Es importante sealar que si un producto no tiene de forma explicita el coeficiente numrico, su coeficiente numrico es la unidad. As por ejemplo a = 1a .

- 38 -

 , es el signo de divisin, el cual se lee dividido por. As la expresin a b se lee a

dividido por b . Es frecuente indicar la divisin entre dos factores separando el dividendo del divisor con una raya horizontal, por ejemplo a = a b. b

El signo de la elevacin a potencia es el exponente, el cual es un nmero pequeo colocado

arriba y a la derecha de una cantidad, la cual indica las veces que dicha cantidad, llamada base, debe multiplicar. Por ejemplo a 4 = aaaa . Es importante sealar que cuando una letra no posee exponente explcitamente, su exponente corresponde a la unidad, es decir a = a1 .

es el signo radical, y bajo este signo se coloca la cantidad a la cual se le desea extraer la raz cuadrada. Para determinar races de orden superior se coloca en el extremo superior izquierdo del signo radical un nmero pequeo que indica el orden de la raz, as por ejemplo
3

64 representa la raz cbica de 64.

Signos de relacin. Se utilizan para expresar la relacin que existe entre dos cantidades, los

signos de relacin ms usadas en el trabajo algebraico son:

= , es el signo de la igualdad el cul se lee igual a. As la expresin x = y se lee x es

igual a y .
, es el signo que indica la diferencia de dos nmeros el cul se lee distinto de. As la

expresin x y se lee x es distinto de y .

< , se lee menor que . As la expresin x < y se lee x es menor que y . > , se lee mayor que. As la expresin x > y se lee x es mayor que y . , se lee menor o igual que. As la expresin x y se lee x es menor o igual que y . , se lee mayor o igual que. As la expresin x = y se lee x es mayor o igual que y .

- 39 -

 Signos de agrupacin. Los signos de agrupacin son; el parntesis redondo

( ) , el parntesis

cuadrado

[ ] , las llaves { }

y la barra o vnculo

. Los signos de agrupacin se utilizan

para separar operaciones e indicar que la operacin colocada entre ellos se considera como un todo.
Ejemplo. Analicemos la siguiente expresin 2a ( x + y + 4 x ) , el parntesis redondo establece

que 2a no solo multiplica a x , sino que multiplica a y como a 4 x . Por lo tanto si deseamos eliminar el uso de parntesis es necesario utilizar la propiedad distributiva, obteniendo:
2a ( x + y + 4 x ) = 2ax + 2ay + 8ax

3.3. Expresin Algebraica.

Definicin6. Una de las definiciones formales de expresin algebraica es: el resultado de realizar

un nmero finito de sumas, restas, multiplicaciones, divisiones o races con un grupo de variables y nmeros reales. Es decir, una expresin algebraica es un conjunto de cantidades numricas y literales relacionadas entre si por los signos de las operaciones aritmticas y de potenciacin.
Ejemplo. Los siguientes son ejemplos de expresiones algebraicas.

3x + 2 y .
3x + 4 y 2 . 3x 2 2 y
3

3 7x . 3x 2 + 1

Observacin. A veces una expresin algebraica representa un nmero real solamente para ciertos

valores de una variable. Por ejemplo si consideramos la expresin algebraica

6

x , podemos

Adaptacin de la definicin de los libros lgebra de Baldor y lgebra elemental de Proschle. - 40 -

observar que esta expresin representa un nmero real solo si x 0 . El conjunto de los valores para los cuales una expresin algebraica representa un nmero real se denomina dominio de la variable. As, el dominio de la variable x en la expresin algebraica nmeros reales no negativos, es decir el conjunto
+

x es el conjunto de los

= {x

: x 0} = [ 0, + ) .

Definicin7. Las partes de una expresin algebraica separadas por los signos de la adicin y

sustraccin se denominan trmino algebraico, es decir un trmino algebraico es una expresin algebraica que consta de un solo smbolo o de varios smbolos no separados entre si por el signo de suma o resta.
Ejemplo. Las siguientes expresiones algebraicas son trminos algebraicas.

3xy 2 .
3

x 2 yz .

3x 2 . 2 y3

Observacin. Los elementos de un trmino algebraico son;

El coeficiente numrico de un trmino algebraico corresponde a los factores numricos del trmino algebraico. El factor literal corresponde al producto de todos los factores literales que componen el trmino algebraico.

Ejemplo. Si consideramos el trmino algebraico:

3xy 3 , se tiene que de las definiciones anteriores podemos deducir que 3 es el coeficiente numrico del termino algebraico, mientras xy 3 es el factor literal del trmino algebraico en cuestin. 3x3 y 2 z , podemos observar que: Ejemplo. Si consideramos la expresin algebraica 2
3

es el coeficiente numrico del trmino algebraico.

- 41 -

 x3 y 2 z es el coeficiente literal del trmino algebraico.

3.4. Clasificacin de las expresiones algebraicas. Las expresiones algebraicas se clasifican segn la cantidad de trminos algebraicos que la componen. Los tipos de clasificacin de las expresiones algebraicas se detallan a continuacin.
Monomio. Una expresin algebraica se denomina monomio si est formada por un solo trmino algebraico que solo contiene potencias positivas o cero de las variables involucradas. Polinomio. Una expresin algebraica que solo tiene monomios como trminos algebraicos se denomina polinomio. La potencia ms grande que aparece en un polinomio en una variable se denomina grado del polinomio.

En el conjunto de los polinomios es usual hablar de binomio como aquel polinomio que consta de dos monomios y de trinomio en el caso de polinomios que constan de tres monomios.
Ejemplo. Si consideremos la siguiente expresin algebraica:

3x3 x 2 + x + 1 , La cual es un polinomio en la variable x , podemos observar que el grado del polinomio en cuestin es 3.
Ejemplo. Observe que la siguiente expresin algebraica:

x2 + 4 x + 1, Es un trinomio. 3.5. El lgebra en la Ciencia y aplicaciones. Hasta el momento hemos definido que es una expresin algebraica. En este punto es til preguntarse: Qu representa realmente una expresin algebraica?

Adaptacin de la definicin de los libros lgebra de Baldor y lgebra elemental de Proschle. - 42 -

Para responder esta interrogante debemos dejar de ver las expresiones algebraicas solo como una coleccin de letras y nmeros unidos por signos de operaciones matemticas. De hecho una expresin algebraica es la representacin general de un nmero. Ms an las expresiones algebraicas nos permiten describir nmeros y relaciones numricas de manera genrica. Es importante sealar que al tener relaciones genricas podemos estudiar el comportamiento de las variables involucradas en relacin la genrica. Lo anterior se puede realizar reemplazando por valores concretos algunas de las variables involucradas en la relacin y analizar el comportamiento o valor de las variables restantes. A continuacin analizaremos algunos ejemplos de relaciones algebraicas en diferentes mbitos y campos de la ciencia.
Ejemplo. Si consideremos un cono de radio r y altura h se tiene

que el volumen V del cono esta dada por:

V =

r2h
3

Qu variacin sufre el volumen del cono si su altura varia de 15 a 9 centmetros y su radio varan de 6 a 8 centmetros? Observe que si el radio y la altura del cono son 15 y 6 centmetros respectivamente, obtenemos que el volumen del cono es:

V=

62 15
3

36 15
3

= 180

Mientras que si el radio y la altura del cono son 9 y 8 centmetros respectivamente, obtenemos que el volumen del cono es:

V=

82 9
3

64 9
3

= 192

- 43 -

De lo anterior podemos observar que el volumen del cono aumenta si su altura vara de 15 a 9 centmetros y su radio varia de 6 a 8 centmetros. En las futuras estaciones

Ejemplo.

espaciales se podr crear la gravedad artificial mediante la rotacin de la estacin como una centrifuga gigantesca, rotacin que producir una fuerza contra los astronautas a bordo, que no se podr distinguir de la gravedad. El promedio de rotacin N , medido en rotaciones por segundo que se necesita para producir una aceleracin de a m / seg 2 en un punto a r metros del centro de rotacin est dado por:

N=

1 2

a . r

As por ejemplo si el radio de la estacin fuese de 150 metros para determinar el nmero de rotaciones necesarias para producir el equivalente de la gravedad de la tierra (9.8 m / seg 2 ), debemos reemplazar los valores de las variables a y r por 9.8 y 150 respectivamente, obteniendo:

N=

1 2

9.8 150

Para determinar un valor aproximado utilizamos una calculadora cientfica, obteniendo: N 0, 04 .

- 44 -

Es decir para producir el equivalente de la gravedad de la tierra en una estacin de radio 150 metros, debemos hacer rotar la estacin 0, 04 rotaciones por segundo lo cual es equivalente a 2, 4 rotaciones por minuto.
Ejemplo. De acuerdo con la teora de la relatividad de Albert

Einstein, la masa m de un objeto que se mueve a velocidad v est dada por m = m0 v2 1 2 c , donde m0 es la masa del objeto en

reposo y c es la velocidad de la luz. As por ejemplo si un electrn que pesa en reposo 9.1 1031 kg y viaja a una velocidad de 0, 6c , este tendr una masa de:

m=

9,1 1031

( 0, 6c ) 1
c2

9,11031 9,1 1031 9,1 1031 = = = 1,1375 1030 . 0,8 1 0,36 0, 64

3.6. El lgebra y las regularidades numricas. En la seccin anterior hemos analizado la importancia de diversas expresiones algebraicas en distintas reas. De hecho es importante sealar, como ya lo hemos mencionado anteriormente, que el lgebra es una herramienta bastante til en la resolucin de problemas, ya que nos permite generar expresiones algebraicas que puedan describir fenmenos, aunque debemos dejar en claro que no basta con generar expresiones algebraicas para modelar un problema sino que debemos validar nuestras afirmaciones. Lamentablemente la validacin de modelos no es una cuestin trivial. En esta seccin mostraremos algunos ejemplos en os cuales el lgebra y un poco de ingenio, el cual es siempre necesario, nos permitirn resolver diferentes problemas. En la resolucin de nuestros problemas realizaremos algunas generalizaciones las cuales no sern validadas en este apunte (ya que la validacin escapa de los contenidos de este apunte), pero se indicaran materiales de

- 45 -

referencia para que el lector, si lo desea, profundice en algunas materias que le permitan validar nuestras afirmaciones. Comencemos nuestro trabajo con una breve ancdota de un muchacho de 10 aos.
Johann Friedrich Carl Gauss8, llamado por algunos el prncipe de los

matemticos, a los siete aos ingreso a su primera escuela, regentada por un hombre severo y castigador llamado Buttner. Cuando Gauss tena 10 aos fue admitido en la clase de Aritmtica, donde Buttner pregunto: Cul es la suma de los 100 sumandos que se inician con 81.297+ 91.495+ y concluyen con 100.899? Recin haba terminado de enunciar el problema cuando Gauss escribi en su pizarra un solo nmero, mientras sus compaeros trabajaron ms de una hora para llegar al resultado. Para analizar el trabajo que realiz Gauss comencemos con el siguiente problema, un poco ms sencillo.
Problema. Determinar la suma de los primeros 100 nmeros naturales, es decir calculemos la

suma:
1 + 2 + 3 + 4 + ... + 100 .

Solucin. En vez de realizar la suma anterior realicemos la siguiente suma.

[1 + 2 + 3 + 4 + ... + 100] + [1 + 2 + 3 + 4 + ... + 100] .

En este momento pareciera que hemos complicado el problema, pero si reordenamos nuestros nmeros obtenemos:

[1 + 2 + 3 + 4 + ... + 100] + [1 + 2 + 3 + 4 + ... + 100] = (1 + 100) + (2 + 99) + (3 + 98) + ... + (100 + 1) .

8

Extracto de Los Grandes Matemticos de E. T. Bell.

- 46 -

Es decir:
2 [1 + 2 + 3 + 4 + ... + 100] = (101) + (101) + (101) + ... + (101) . 144444 244444 3
100 veces

De lo anterior podemos deducir que: 100 101 = 55 101 = 5555 . 2

1 + 2 + 3 + 4 + ... + 100 =

Con el procedimiento que hemos realizado, podemos deducir una formula para la suma de los primeros n nmeros naturales, en efecto:
2 [1 + 2 + 3 + 4 + ... + n ] = [1 + n ] + + 1) 2 + ( n 1) 4 3 + ( n 2 ) + ... + (n +3 144444444 2444444444
n veces

= n ( n + 1) Es decir, 1 + 2 + 3 + 4 + ... + n = n ( n + 1) 9 . 2 (1)

Volviendo al problema planteado por Buttner, el cual es un poco ms complicada, primero observemos que:
81.495 = 81.297 + 198. 81.693 = 81.495 + 198 = 81.297 + 2 198. M 100.899 = 81.297 + 99 198.

S denominamos por s la suma que debemos determinar, obtenemos:

Aunque el procedimiento descrito no representa una demostracin formal de la formula obtenida, esta puede ser demostrada va el principio de Induccin matemtica. Vase lgebra y Trigonometra, D. Zill J. Dewar.

- 47 -

s = 81.297 + 81.495 + 81.693 + ... + 100.899 = 81.297 + [81.297 + 198] + [81.297 + 2 198] + ... + [81.297 + 99 198] Si reordenamos nuestros nmeros, obtenemos: s = 81.297 + 81.297 + ... + 81.297 14444 4 244444 3 + 198 [1 + 2 + 3 + ... + 99] 100 veces Por lo tanto si aplicamos la formula (1), obtenemos: 99 100 s = [100 81.297 ] + 198 = 9.207.810 . 2 Es importante sealar que los nmeros 81.297, 81.495,81.693,...,100.899 , forman una Progresin Aritmtica; entendiendo que una progresin aritmtica es una sucesin10 de nmeros reales tales que la diferencia de dos trminos consecutivos es siempre constante, la constante asociada a la progresin se denomina diferencia.

Problema. Consideremos la definicin de progresin aritmtica: Diremos que la sucesin de

nmeros a1 , a2 , a3 ,..., an ,... estn en progresin aritmtica si y solamente la diferencia ak +1 ak es siempre constante, k , esta diferencia constante se denomina diferencia de la progresin y se y la diferencia asociada es d . denota por d . Determinemos, si es posible, la suma de los primeros n terminar de una progresin aritmtica si se sabe que el primer trmino es a

Solucin. Primero observemos que si el primer trmino de la progresin aritmtica es a y d es la

diferencia asociada a la progresin, entonces el segundo trmino de la progresin debe ser a + d , el tercer trmino debe ser a + 2d y as sucesivamente. Por lo tanto la suma sn de los primeros n trminos de la progresin aritmtica es:

10

Entenderemos por una sucesin de nmeros resales una ley que hace corresponder a cada nmero natural un nmero real. - 48 -

sn = a + [ a + d ] + [ a + 2d ] + [ a + 3d ] + ... + a + ( n 1) d Por lo tanto si agrupamos nuestros trminos, obtenemos: sn = a + a + a + ... + a 144 244 3 + d + 2d + 3d + ... + ( n 1) d n veces = na + d 1 + 2 + 3 + ... + ( n 1) As, al aplicar la formula (1) obtenemos:

sn = a n +

( n 1) n d
2

Es decir la suma de los primeros n trminos de una progresin aritmtica de diferencia d y primer trmino a es:

a + [ a + d ] + [ a + 2d ] + ... + a + ( n 1) d = an+

( n 1) n d .
2

Problema. Determinacin del trmino general de una sucesin. En diferentes ramas de la

matemtica existen relaciones numricas, las cuales se dan en trminos de sucesiones. Uno de los problemas que surge en el estudio de las sucesiones numricas es la determinacin del trmino general, si es que este existe. Es importante sealar que la determinacin del trmino general de una sucesin no es trivial ya que existen sucesiones que no posen trminos general o no son fciles de determinar. A continuacin se mostraran algunos ejemplos de sucesiones numricas reales en las cuales se estudiara la posibilidad de determinar su trmino general.

Ejemplo. Se conocen los primeros 8 trminos de una sucesin real, los cuales se presentan a
continuacin: 1,3,5, 7,9,11,13,...
- 49 -

Es posible determinar el trmino general de la sucesin solo conociendo estos 7 primeros trmino? Antes de dar una respuesta definitiva, supongamos que el trmino general de la sucesin es an , por lo tanto tendramos:
a1 = 1 a2 = 3 = 2 2 1 a3 = 5 = 2 3 1 a4 = 7 = 2 4 1 a5 = 9 = 2 5 1 a6 = 11 = 2 6 1 a7 = 13 = 2 7 1

En este caso nos gustara asegurar que el termino general de la sucesin es an = 2n 1 , de hecho la sucesin que pose como termino general an = 2n 1 tiene efectivamente a 1, 3, 5, 7, 9, 11, 13 como los primeros siete trminos de la sucesin. Cabe hacer notar que existen una infinidad de sucesiones que tienen a 1, 3, 5, 7, 9, 11, 13 como los primeros siete trminos de la sucesin. Por ejemplo la sucesin de trmino general
xn = 2n 1 + ( n 1)( n 2 )( n 3)( n 4 )( n 5 )( n 6 )( n 7 ) .

De lo anterior podemos afirmar que dado un nmero finito de trminos de una sucesin es imposible determinar una nica sucesin que contenga a tales trminos.

Ejemplo. Consideremos la sucesin de nmeros primos11 presentados en orden creciente, cuyos

primeros 9 trminos son:

2,3,5, 7,11,13,17,19, 23,...

Lamentablemente la sucesin de nmeros primos no posee una formula general, por lo menos no descubierta hasta el momento. Los nmeros primos son de gran importancia en diversas ramas de
Un nmero natural mayor que 1.
11

p se dice primo si y solamente si: 1) los nicos divisores positivos son 1 y p . y 2) p debe ser

- 50 -

la ciencia como por ejemplo en la informtica, ya que permiten generar cdigos para realizar encriptacin de informacin12.

Ejemplo. A continuacin estudiaremos algunos tipos de nmeros figurados. Comenzaremos con

los nmeros triangulares, los cuales mostramos a continuacin.

Observe que los primeros cuatro nmeros triangulares son: T1 = 1 , T2 = 3 , T3 = 6 y T4 = 10 . Determinemos el ensimo nmero triangular, para realizar esta difcil tarea observemos que: T2 = 1 + 2 = T1 + 2 T3 = 3 + 3 = T2 + 3 T4 = 6 + 4 = T3 + 3 De donde podemos deducir que: Tn = Tn 1 + n Es decir Tn = 1 + 2 + 3 + 4 + ... + n As al utilizar la formula 1 + 2 + 3 + 4 + ... + n = Podemos deducir que: Tn = n ( n + 1) , n 2 n ( n + 1) 2

Analicemos otro tipo de nmero figurado el cual se denomina nmero cuadrado, en la siguiente figura mostramos los primeros tres nmeros cuadrados.
Toda encriptacin se encuentra basada en un Algoritmo, la funcin de este Algoritmo es bsicamente codificar la informacin para que sea indescifrable a simple vista, de manera que una letra "A" pueda equivaler a:"5x5mBwE" o bien a "xQE9fq", el trabajo del algoritmo es precisamente determinar como ser transformada la informacin de su estado original a otro que sea muy difcil de descifrar.
12

- 51 -

As podemos observar que

C1 = 1, C2 = 4, C3 = 9, C4 = 16 Pero si ponemos un poco de atencin a la siguiente figura:

Podemos deducir que existe una relacin entre los nmeros cuadrados y los nmeros triangulares, en efecto tenemos: Cn = Tn + Tn 1 , n 2 Lo cual se comprueba fcilmente, efecto: Cn = n ( n + 1) n ( n 1) + = n2 2 2

Por ltimo analicemos otro tipo de nmero figurado el cual se denomina nmero pentagonal, cuadrado, en la siguiente figura mostramos los primeros cuatro nmeros pentagonales.

De la figura anterior podemos observar que podemos observar que:

- 52 -

Pn = Pn 1 + 3n 2 Para determinar una formula general para el nmero pentagonal de orden observemos que: Pn = Pn 1 + 3n 2 = Pn 2 + 3 ( n 1) 2 + 3n 2 = Pn 3 + 3 ( n 2 ) 2 + 3 ( n 1) 2 + 3n 2 = 1 + ( 3 2 2 ) + ( 3 3 2 ) + ( 3 4 2 ) + ... + ( 3 (n 1) 2 ) + ( 3 n 2 ) = 3 1 + + ( 3 2 2 ) + ( 3 3 2 ) + ( 3 4 2 ) + ... + ( 3 (n 1) 2 ) + ( 3 n 2 ) 2 = 3 (1 + 2 + 3 + ... + n ) 2n n ( n + 1) 2n 2 3n 2 n = 2 =3 Es decir el n -esimo nmero pentagonal es: 3n 2 n . Pn = 2 Existe una relacin entre los nmeros pentagonales y los nmeros triangulares, la cual establece: Pn = 3Tn 1 + n Esta relacin proviene de un formula mas general dada por G.Bachet de Meziriac, quien public en 1621 la obra de Diofanto con interesantes apostillas sobre nmeros poligonales, que inspiraron los bellos descubrimientos de Fermat sobre la materia. Para demostrar la relacin entre los nmeros pentagonales y triangulares, recordemos que: Tn = Por lo tanto 3Tn 1 + n = 3 n ( n + 1) 2

( n 1) n + n = 3n 2 3n + 2n = 3n 2 n = P
2 2 2

Lo cual muestra nuestra afirmacin.

- 53 -

4. Operatoria de expresiones algebraicas.

En esta seccin analizaremos dos operaciones que podemos llevar a cabo con las expresiones algebraicas. Ms precisamente explicaremos que significa sumar y restar expresiones algebraicas. Antes de comenzar con nuestro trabajo introduciremos el concepto de trminos semejantes.

Definicin. Dos o ms trminos algebraicos se denominan semejantes cuando poseen la misma

parte literal.

Ejemplo. Observe que:

3ab 2 y 6a 2b no son trminos semejantes ya que las partes literales de cada trmino poseen las

mismas letras, a y b , las potencias de cada letra son diferentes en cada trmino. 2 3 x yz y 2 x3 yz son trminos semejantes ya que poseen la misma parte literal. 3

4.1. Suma de expresiones algebraicas. Recordemos que la suma o adicin en aritmtica es una operacin que tiene como objetivo reunir dos o ms cantidades, as al sumar las cantidades 2 y 3 obtenemos 2 + 3 = 5 . Por otro lado recordemos que en el conjunto de los nmeros reales no solo aprendimos a sumar cantidades positivas, sino que tambin aprendimos a sumar cantidades de distinto sigo al igual que a sumar cantidades negativas, as por ejemplo.
2 + ( 3) = 2 3 = 1 . 3 + ( 5 ) = 3 5 = 8 .

- 54 -

En lgebra tenemos que las expresiones algebraicas son representaciones de cantidades, de donde podemos deducir que la suma debiera tener las mismas propiedades que se satisfacen en aritmtica. Sin embargo en este punto tenemos el siguiente interrogante: Cmo realizamos la adicin de las expresiones algebraicas 3 x 3 y 2 x 2 ? Para resolver nuestra interrogante introduciremos la siguiente regla.

Regla general de la adicin de expresiones algebraicas. Para sumar dos o ms expresiones

algebraicas se escriben unas a continuacin de las otras separadas por el signo de la adicin, y se reducen trminos semejantes, teniendo en cuenta que la regla de los signo de la aritmtica se satisface con las expresiones algebraicas.

Observacin. Como las expresiones algebraicas representan cantidades, podemos deducir que
la adicin de expresiones algebraicas es asociativa y conmutativa.

Ejemplo. Observe que dadas las expresiones algebraicas 3x 2 + 6 xy + 3a y 5 x 2 12 xy + 6a ,

obtenemos:
2 2 2 2 3 x + 6 xy + 3a + 5 x 12 xy + 6a = 3 x + 6 xy + 3a + 5 x 12 xy + 6a

2 2 = 3 x + 5 x + [ 6 xy 12 xy ] + [ 6a + 3a ]

= 8 x 2 6 xy + 9a

Observe que para poder sumar las expresiones algebraicas lo primero que realizamos es agrupar los trminos semejantes de las expresiones algebraicas en cuestin, acto seguido reducimos trminos semejantes (Para reducir trminos semejantes sumamos los factores numricos y el resultado lo multiplicamos por el factor literal de los trminos semejantes).

- 55 -

4.2. Resta o sustraccin de expresiones algebraicas. Recordemos que la resta o diferencia en aritmtica es una operacin que tiene como objetivo; dada una suma de dos sumandos (minuendo) y uno de los sumandos (sustraendo), determinar el otro sumando. As por ejemplo.
2 3 = 1 , ya que 2 = 1 + 3 . En este caso 2 es el minuendo y 3 es uno de los sumandos.

Como ya hemos mencionado, en lgebra las expresiones algebraicas son representaciones de cantidades, de donde podemos deducir que la diferencia debiera tener las mismas propiedades que se satisfacen en aritmtica. Al igual que la adicin de expresiones algebraicas, para la resta o sustraccin de expresiones algebraicas existe una regla general, la cual se enuncia a continuacin.

Regla general de la Resta o Sustraccin de expresiones algebraicas. Para restar dos

expresiones algebraicas se escriben unas a continuacin de las otras separadas por el signo de la diferencia, y se reducen trminos semejantes, teniendo en cuenta que la regla de los signo de la aritmtica se satisface con las expresiones algebraicas.

Ejemplo. Observe que dadas las expresiones algebraicas 3x 2 + 6 xy + 3a y 5 x 2 12 xy + 6a ,

obtenemos:
2 2 2 2 3 x + 6 xy + 3a 5 x 12 xy + 6a = 3 x + 6 xy + 3a 5 x + 12 xy 6a

2 2 = 3 x 5 x + [ 6 xy + 12 xy ] + [3a 6a ]

= 2 x 2 + 18 xy 3a

Observe que para poder restar las expresiones algebraicas lo primero que realizamos cambiar el signo de sustraccin por adicin y acto seguido cambiamos los signos de los coeficientes

- 56 -

numricos de los trminos de la segunda expresin algebraica, finalmente reducimos trminos semejantes. Como ya hemos mencionado un conjunto de signos que podemos utilizar en lgebra es el conjunto de los Signos de agrupacin. Recordemos que los signos de agrupacin, el parntesis redondo el parntesis cuadrado

( ),

[ ],

las llaves

{}

y la barra o vnculo

, se utilizan para separar

operaciones e indicar que la operacin colocada entre ellos debe efectuarse primero. Analicemos el siguiente ejemplo para ver la utilidad de los parntesis en la manipulacin de expresiones algebraicas.

Ejemplo. Simplifique al mximo y reduzca trminos semejantes.

3 ( 2 x [12 x 4 xy ]) 6 x 12 x ( 4 + y ) . Para reducir trminos semejantes y reducir al mximo la expresin dada, utilizaremos las propiedades de distributividad del producto sobre la adicin; propiedad que es heredada de la aritmtica. Observe que si primero realizamos las operaciones dentro de los parntesis obtenemos:

3 ( 2 x [12 x 4 xy ]) 6 x 12 x ( 4 + y ) = 3 ( 2 x 12 x + 4 xy ) [ 6 x 48 x 12 xy ] As al reducir trminos semejantes dentro de los parntesis se tiene que:

3 ( 2 x [12 x 4 xy ]) 6 x 12 x ( 4 + y ) = 3 ( 2 x 12 x + 4 xy ) [ 6 x 48 x 12 xy ] = 3 ( 10 x + 4 xy ) [ 42 x 12 xy ]

Luego si aplicamos la propiedad de distributiva de la multiplicacin sobre la adicin obtenemos

- 57 -

3 ( 2 x [12 x 4 xy ]) 6 x 12 x ( 4 + y ) = 3 ( 2 x 12 x + 4 xy ) [ 6 x 48 x 12 xy ] = 3 ( 10 x + 4 xy ) [ 42 x 12 xy ] = 30 x + 12 xy + 42 x + 12 xy

Nuevamente si agrupamos trminos semejantes y luego deducimos se obtiene que:

3 ( 2 x [12 x 4 xy ]) 6 x 12 x ( 4 + y ) = 3 ( 2 x 12 x + 4 xy ) [ 6 x 48 x 12 xy ] = 3 ( 10 x + 4 xy ) [ 42 x 12 xy ] = 30 x + 12 xy + 42 x + 12 xy = [ 30 x + 42 x ] + {12 xy + 12 xy} = 12 x + 24 xy

Es decir: 3 ( 2 x [12 x 4 xy ]) 6 x 12 x ( 4 + y ) = 12 x + 24 xy .

Observacin. Es importante sealar que tanto en la aritmtica como en el lgebra las operaciones
de adicin, resta, multiplicacin y divisin poseen un orden jerrquico en la ejecucin cuando no existen los parntesis. De hecho las primeras operaciones que deben realizarse son la divisin y de multiplicacin y luego seguir con la suma y la resta. El siguiente ejemplo nos ilustra lo anterior.

Ejemplo.
3 12 5 + 15 3 = 3 (12 5 ) + (15 3) = 3 60 + 5 = 52

- 58 -

5. La propuesta de Plya en la resolucin de problemas.

Como ya hemos mencionado, en la resolucin de problemas utilizando las matemticas es importante destacar al matemtico George Plya quien naci en Budapest el 13 de diciembre de 1887. Obtuvo su doctorado en la Universidad de Budapest y en su disertacin para obtener el grado abord temas de probabilidad. Fue maestro en el Instituto Tecnolgico Federalen Zurich, Suiza. En 1940 lleg a la Universidad de Brown en E.U.A. y pas a la Universidad de Stanford en 1942. En sus estudios, estuvo interesado en el proceso del descubrimiento, o cmo es que se derivan los resultados matemticos. Advirti que para entender una teora, se debe conocer cmo fue descubierta. Por ello, su enseanza enfatizaba en el proceso de descubrimiento an ms que simplemente desarrollar ejercicios apropiados. Para involucrar a sus estudiantes en la solucin de problemas, generaliz su mtodo en los siguientes cuatro pasos: 1. Entender el problema. 2. Configurar un plan 3. Ejecutar el plan 4. Mirar hacia atrs Las aportaciones de Plya incluyen ms de 250 documentos matemticos y tres libros que promueven un acercamiento al conocimiento y desarrollo de estrategias en la solucin de problemas. Su famoso libro Cmo Plantear y Resolver Problemas que se ha traducido a 15 idiomas, introduce su mtodo de cuatro pasos junto con la heurstica y estrategias especficas tiles en la solucin de problemas. Otros trabajos importantes de Plya son Descubrimiento Matemtico (I y II), y Matemticas y Razonamiento Plausible (I y II). Plya, que muri en 1985 a la edad de 97 aos, enriqueci a las matemticas con un importante legado en la enseanza de estrategias para resolver problemas13.

13

Revista escolar de la olimpiada iberoamericana de matemtica. Numero 10 divertimentos. ISSN 1698-677X. - 59 -

El Mtodo de Cuatro Pasos de Plya. Este mtodo est enfocado a la solucin de problemas
matemticos, por ello nos parece importante sealar alguna distincin entre ejercicio y problema. Para resolver un ejercicio, uno aplica un procedimiento rutinario que lo lleva a la respuesta. Para resolver un problema, uno hace una pausa, reflexiona y hasta puede ser que ejecute pasos originales que no haba ensayado antes para dar la respuesta. Esta caracterstica de dar una especie de paso creativo en la solucin, no importa que tan pequeo sea, es lo que distingue un problema de un ejercicio. Sin embargo, es prudente aclarar que esta distincin no es absoluta; depende en gran medida del estadio mental de la persona que se enfrenta a ofrecer una solucin: Para un nio pequeo puede ser un problema encontrar cunto es 3 + 2. O bien, para nios de los primeros grados de primaria responder a la pregunta Cmo repartes 96 lpices entre 16 nios de modo que a cada uno le toque la misma cantidad? le plantea un problema, mientras que a uno de nosotros esta pregunta slo sugiere un ejercicio rutinario: dividir. Hacer ejercicios es muy valioso en el aprendizaje de las matemticas: Nos ayuda a aprender conceptos, propiedades y procedimientos -entre otras cosas-, los cuales podremos aplicar cuando nos enfrentemos a la tarea de resolver problemas. Como apuntamos anteriormente, la ms grande contribucin de Plya en la enseanza de las matemticas es su Mtodo de Cuatro Pasos para resolver problemas. A continuacin presentamos un breve resumen de cada uno de ellos y sugerimos la lectura del libro Cmo Plantear y Resolver Problemas de este autor (est editado por Trillas).

Paso 1: Entender el Problema.

1. Entiendes todo lo que dice? 2. Puedes replantear el problema en tus propias palabras? 3. Distingues cules son los datos?

- 60 -

4. Sabes a qu quieres llegar? 5. Hay suficiente informacin? 6. Hay informacin extraa? 7. Es este problema similar a algn otro que hayas resuelto antes?

Paso 2: Configurar un Plan.

Puedes usar alguna de las siguientes estrategias? (Una estrategia se define como un artificio ingenioso que conduce a un final). 1. Ensayo y Error (Conjeturar y probar la conjetura). 2. Usar una variable. 3. Buscar un Patrn 4. Hacer una lista. 5. Resolver un problema similar ms simple. 6. Hacer una figura. 7. Hacer un diagrama 8. Usar razonamiento directo. 9. Usar razonamiento indirecto. 10. Usar las propiedades de los Nmeros. 11. Resolver un problema equivalente. 12. Trabajar hacia atrs. 13. Usar casos 14. Resolver una ecuacin 15. Buscar una frmula. 16. Usar un modelo. 17. Usar anlisis dimensional. 18. Identificar sub-metas. 19. Usar coordenadas. 20. Usar simetra.

- 61 -

Paso 3: Ejecutar el Plan.

1. Implementar la o las estrategias que escogiste hasta solucionar completamente el problema o hasta que la misma accin te sugiera tomar un nuevo curso. 2. Concdete un tiempo razonable para resolver el problema. Si no tienes xito solicita una sugerencia o haz el problema a un lado por un momento (puede que se te prenda el foco cuando menos lo esperes!). 3. No tengas miedo de volver a empezar. Suele suceder que un comienzo fresco o una nueva estrategia conducen al xito.

Paso 4: Mirar hacia atrs.

1. Es tu solucin correcta? Tu respuesta satisface lo establecido en el problema? 2. Adviertes una solucin ms sencilla? 3. Puedes ver cmo extender tu solucin a un caso general? Comnmente los problemas se enuncian en palabras, ya sea oralmente o en forma escrita. As, para resolver un problema, uno traslada las palabras a una forma equivalente del problema en la que usa smbolos matemticos, resuelve esta forma equivalente y luego interpreta la respuesta.

Ejemplo. La Copa Intercontinental es un extinto torneo de clubes que

enfrentaba ao a ao al campen de Europa (Champions League) con el campen de Sudamrica (Copa Libertadores). Desde 1960 hasta 1979 se enfrentaron en las ciudades de los respectivos campeones continentales, y entre 1980 y 2004 se disput durante el mes de diciembre en las ciudades japonesas de Tokio (de 1980 a 2001) y Yokohama (de 2002 a 2004). Tambin es conocida como "Copa Toyota", en alusin al patrocinador del trofeo. En 2005 se reemplaz con la Copa Mundial de Clubes, que se celebra anualmente en Japn. Si hasta el ao 1995 la Copa Intercontinental se haban

- 62 -

jugado 34 veces, determine el nmero de equipos sudamericanos que ganaros hasta 1995 la Copa Intercontinental si hasta 1995 los equipos europeos ganaron 6 campeonatos menos que los equipos sudamericanos.

Solucin. Para resolver el problema usaremos el mtodo de Plya. Paso 1: Entender el Problema. Para entender el problema es necesario identificar las variables que
intervienen. En nuestro problema tenemos son el numero de equipos europeos y el numero de equipos sudamericanos que ganaron la copa intercontinental hasta 1995. Asignaremos a la variable
s el nmero de equipos sudamericanos que ganaron la copa intercontinental hasta 1995 y

asignaremos a la variable e el nmero de equipos europeos que ganaron la copa intercontinental hasta 1995.

Paso 2: Configurar un Plan. Para desarrollar un plan primero determinemos las relaciones entre
las variables que determinamos en el paso 1. En nuestro caso sabemos que hasta 1995 los equipos europeos ganaron 6 campeonatos menos que los equipos sudamericanos es decir la relacin que existe entre las variables s y e es:
s =e+6

(1)

Por otro lado sabemos que hasta 1995 se jugaron 34 finales de la copa intercontinental. As de lo anterior obtenemos una segunda relacin entre las variables s y e .
s + e = 34

(2)

As de las relaciones (1) y (2) obtenemos la ecuacin:

( e + 6 ) + e = 34

(3)

Paso 3: Ejecutar el Plan. Nuestro plan para resolver el problema ser determinar la solucin de la
ecuacin (3). Observe que la ecuacin (3) es equivalente a la ecuacin

- 63 -

2e + 6 = 34

La cual posee como solucin

e = 14

(4)

As de (4) podemos deducir que s = 20 .

Paso 4: Mirar hacia atrs. Por ltimo debemos determinar si la solucin encontrada es vlida o
no. Observe que de (4) se tiene que 14 fueron los equipos europeos que ganaron la copa intercontinental hasta 1995 y que 20 fueron los equipos sudamericanos que ganaron hasta 1995 la copa intercontinental. Adems la diferencia entre ellos es 6 unidades y la suma es igual a 34. As de lo anterior podemos deducir que nuestra solucin es vlida.

- 64 -

6. Ecuaciones de primer grado con coeficientes fraccionarios y coeficientes literales. Las ecuaciones que hemos resuelto hasta el momento no nos han presentado mucho problema, de hecho en algunos casos hemos determinado las soluciones casi por simple inspeccin. Lamentablemente en nuestro andar por el lgebra y la vida cotidiana nos encontraremos de sbito con ecuaciones mucho ms complejas. En esta seccin analizaremos dos tipos de ecuaciones de primer grado con una incgnita:
Las ecuaciones de primer grado con coeficientes fraccionarios Las ecuaciones de primer grado con coeficientes literales.

A continuacin definiremos y analizaremos en detalle el mtodo de solucin de los dos tipos de ecuaciones mencionadas

Ecuaciones de primer grado con coeficientes fraccionarios. Una ecuacin se denomina

fraccionaria cuando algunos de sus trminos o todos tienen denominador distinto de la unidad.

Ejemplo.
La ecuacin

x + 21 = 3 ( x 3) es una ecuacin fraccionaria ya que en el primer miembro de la 2 x 1 2x 4 + 21 x = es una ecuacin fraccionaria ya que todos los trminos de la 2 7 3

ecuacin la variable posee denominador distinto de la unidad.

La ecuacin

ecuacin poseen denominador distinto de la unidad. En este momento nos surge la interrogante: De que manera podemos resolver ecuaciones fraccionarias?

- 65 -

Para resolver una ecuacin fraccionaria existen dos mtodos que podemos utilizar, el mtodo de supresin de denominadores y el mtodo directo.

Mtodo de Supresin de Denominadores. El mtodo de supresin de denominadores permite

transformar una ecuacin fraccionaria en una ecuacin de coeficientes enteros. El mtodo de supresin se basa en la propiedad multiplicativa de las ecuaciones, la cual establece que la solucin de una ecuacin no cambia si se multiplican ambos lados de la ecuacin por el mismo nmero. El mtodo de supresin de denominadores es esencialmente multiplicar cada trmino de la ecuacin fraccionaria por el mnimo comn mltiplo de los denominadores de los trminos fraccionarios de la ecuacin fraccionaria, luego se realizan las simplificaciones correspondientes obteniendo una ecuacin de coeficientes enteros. Los siguientes ejemplos ilustran y clarifican el mtodo de supresin de denominadores.

Ejemplo. En cada caso determine la solucin de la ecuacin dada.

3 3 2x 1 + . ( 7 x 5) + 10 = 4 5 6

1.

Solucin. Para resolver la ecuacin en cuestin usaremos el mtodo de supresin de

denominadores. Lo primero que debemos realizar es determinar el mnimo comn mltiplo de los denominadores de los trminos fraccionarios de la ecuacin. Es decir debemos determinar el mnimo comn mltiplo de:

4,5, 6
En este caso tenemos que:
m.c.m ( 4,5, 6 ) = 60 .

As al multiplicar por 60 la ecuacin dada obtenemos la ecuacin equivalente: 3 3 2x 1 60 ( 7 x 5 ) + 10 = 60 + 6 4 5

- 66 -

La cual es equivalente a la ecuacin: 180 3 2 x 60 + ( 7 x 5) + 600 = 60 4 5 6 Al simplificar las fracciones de la ecuacin anterior obtenemos la ecuacin de coeficientes enteros:
45 ( 7 x 5 ) + 600 = 12 ( 3 2 x ) + 10

que es equivalente a la ecuacin

315 x 225 + 600 = 36 24 x + 10

La cual posee solucin x =

329 . 339

2. 4

10 x + 1 16 x + 3 = 4x 6 4

Solucin. Para resolver la ecuacin en cuestin lo primero que debemos realizar es determinar
el mnimo comn mltiplo de los denominadores de los trminos fraccionarios de la ecuacin. Es decir debemos determinar el mnimo comn mltiplo de: 4, 6 En este caso tenemos que:
m.c.m ( 4, 6 ) = 12 .

As al multiplicar por 12 la ecuacin dada obtenemos la ecuacin equivalente: 10 x + 1 16 x + 3 = 48 x 12 6 4

48 12

- 67 -

La cual es equivalente a la ecuacin:

48 2 (10 x + 1) = 48 x 3 (16 x + 3)

Al simplificar la ecuacin anterior obtenemos la ecuacin de coeficientes enteros:

48 20 x 2 = 48 x 48 x 9 ,

que es equivalente a la ecuacin

46 20 x = 9

La cual posee solucin x =

55 11 = . 20 4

Mtodo directo. El mtodo de directo para resolver ecuaciones fraccionarias consiste en resolver la
ecuacin utilizando los coeficientes fraccionarios sin transformar la ecuacin fraccionaria en una ecuacin de coeficientes enteros. Los siguientes ejemplos ilustran y clarifican el mtodo directo.

Ejemplo. En cada caso determine la solucin de la ecuacin dada.

3 3 2x 1 + . ( 7 x 5) + 10 = 4 5 6

1.

Solucin. Para resolver la ecuacin en cuestin primero aplicaremos la propiedad de

distributividad de la multiplicacin sobre la adicin, obteniendo la ecuacin equivalente: 21x 15 3 2x 1 + 10 = + . 4 4 5 5 6 La cual es equivalente a la ecuacin: 21x 2 x 3 1 15 + = + + 10 4 5 5 6 4 Al reducir trminos semejantes obtenemos la ecuacin:

- 68 -

105 x + 8 x 36 + 10 + 225 600 = 20 60 que es equivalente a la ecuacin 113x 329 = 20 60 La cual posee solucin x = 329 . 339

2. 4

10 x + 1 16 x + 3 = 4x . 6 4

Solucin. Para resolver la ecuacin en cuestin primero aplicaremos la propiedad de

distributividad de la multiplicacin sobre la adicin, obteniendo la ecuacin equivalente: 10 x 1 16 x 3 = 4x 6 6 4 4 16 x 10 x 3 1 = 4+ 4 6 4 6

4 La cual es equivalente a la ecuacin:

4 x +

Al reducir trminos semejantes obtenemos la ecuacin: 48 x + 48 x 20 x 9 48 + 2 = 12 12 que es equivalente a la ecuacin La cual posee solucin x = 55 11 = . 20 5 20 x 55 = 12 12

Observe que el mtodo que se utilice para resolver una ecuacin fraccionaria no influye en la solucin.
- 69 -

Ecuaciones de primer grado con coeficientes literales. Una ecuacin se denomina de coeficientes
literales si algunos de sus trminos o todos tienen coeficiente literal. Las ecuaciones de coeficientes literales se resuelven utilizando las mismas reglas que se utilizan para resolver ecuaciones de coeficientes numricos.

Ejemplo.
La ecuacin

ax + 21 = 3a ( x 3) es una ecuacin fraccionaria y literal ya que en el primer 2

miembro de la ecuacin la variable posee denominador distinto de la unidad y el denominador del primer trmino es literal.
La ecuacin ax b + 21ab = 4ab 2ax es una ecuacin literal ya que en ambos miembros de la

ecuacin el coeficiente de la variable x es literal. El siguiente ejemplo ilustra la resolucin de ecuaciones literales

Ejemplo. Determine la solucin de la ecuacin literal.

3a 3ab 2ax 1 + . ( 7 x 5b ) + 10ab = 4 5 6

Solucin. Para resolver la ecuacin en cuestin usaremos el mtodo de supresin de

denominadores. Lo primero que debemos realizar es determinar el mnimo comn mltiplo de los denominadores de los trminos fraccionarios de la ecuacin. Es decir debemos determinar el mnimo comn mltiplo de:

4,5, 6
En este caso tenemos que:
m.c.m ( 4,5, 6 ) = 60 .

- 70 -

As al multiplicar por 60 la ecuacin dada obtenemos la ecuacin equivalente: 3a 3ab 2ax 1 60 ( 7 x 5b ) + 10ab = 60 + 5 6 4 La cual es equivalente a la ecuacin: 180a 3ab 2ax 60 + ( 7 x 5b ) + 600ab = 60 4 5 6 Al simplificar las fracciones de la ecuacin anterior obtenemos la ecuacin de coeficientes enteros:
45a ( 7 x 5b ) + 600ab = 12 ( 3ab 2ax ) + 10

que es equivalente a la ecuacin

315ax 225ab + 600ab = 36ab 24ax + 10

As al reducir trminos semejantes obtenemos la ecuacin:

339ax + 375ab = 36ab + 10

La cual posee solucin x =

10 339ab , siempre que a 339a

{0} .

- 71 -

7. Producto de expresiones algebraicas. Recordemos que en aritmtica el producto o la multiplicacin es una operacin que se puede explicar como una manera de sumar nmeros idnticos. De hecho el resultado de la multiplicacin de nmeros se llama producto. Los nmeros que se multiplican se llaman factores o coeficientes, e individualmente como multiplicando (nmero a sumar) y multiplicador (veces que se suma el multiplicando). Aunque esta diferenciacin en algunos contextos puede ser superflua cuando en el conjunto donde est definido el producto se tiene la propiedad conmutativa de la multiplicacin. Para multiplicar expresiones algebraicas debemos tener un poco ms de cuidado, ya que lo anterior es valido cuando estamos multiplicando nmeros naturales. Sin embargo si deseamos multiplicar expresiones algebraicas, no sabemos que tipo de nmeros representan. Para evitar complicarlos en la multiplicacin de expresiones algebraicas comenzaremos definiendo la multiplicacin de monomios.

Multiplicacin de monomios. Al multiplicar dos monomios obtenemos como resultado un

monomio cuyo factor numrico es el producto de los factores numricos de los monomios dados y el factor literal se obtiene de los factores literales de los monomios dados siguiendo las leyes de potencias.

Ejemplo. Observe que si consideramos los monomios 3 x 2 y 6 xy obtenemos que el producto es:
2 2 3 3 x [ 6 xy ] = [3 6] x xy = 18 x y .

Lo anterior lo podemos visualizar pensando que los monomios en cuestin son los lados de un rectngulo y el producto representa el rea del rectngulo como se muestra en la siguiente figura.

- 72 -

Ejemplo. Observe que dados los monomios 3x 2 yz 3 y 5ax3 y obtenemos que el producto:
2 3 3 2 3 3 3 ( 5 ) 3 x yz 5ax y = ( x yz )( ax y ) 2 3 3 = [ 15] ( x x ) ( y y ) ( a z )

= 15ax 5 y 2 z 3

Observacin. Debemos sealar que en el producto de monomios el orden de los factores no altera el
producto. Adems es til mencionar que en la parte literal de un monomio las letras involucradas se ordenan siguiendo el orden del alfabeto.

Multiplicacin de polinomios por monomios. Para realizar la multiplicacin de un polinomio por

un monomio utilizamos la propiedad de distributividad, es decir multiplicamos el monomio por cada trmino del polinomio, teniendo en cuenta la regla de los signos.

Ejemplo. Si consideramos el polinomio 3 x 4 y + 5 y el monomio 7 x 2 y entonces el producto:

2 2 [ 3 x 4 y + 5] 7 x y = 7 x y [ 3 x 4 y + 5] 2 2 2 = ( 7 x y ) ( 3x ) + ( 7 x y ) ( 4 y ) + ( 7 x y ) ( 5 )

2 2 2 = 21x3 y + 28 x y + 35 x y

= 21x3 y 28 x 2 y 2 + 35 x 2 y

Multiplicacin de dos polinomios. Para realizar la multiplicacin de dos polinomios utilizamos la

propiedad de distributividad, es decir multiplicamos el primer polinomio por cada trmino del polinomio, teniendo en cuenta la regla de los signos y luego se reducen trminos semejantes si fuese necesario.

- 73 -

Ejemplo. Si consideramos los polinomios 3 x 4 y + 5 y 7 x 4 entonces el producto:

[ 3 x 4 y + 5] [ 7 x 4 ] = [ 7 x 4 ] [ 3 x 4 y + 5]
= ( 7 x )( 3 x 4 y + 5 ) + ( 4 )( 3 x 4 y + 5 ) = 21x 2 28 xy + 35 x 12 x + 16 y 20 = 21x 2 28 xy + 23 x + 16 y 20

Interpretacin geomtrica. En algunos casos los conceptos tratados, ya sean en matemticas o en

otra ciencia, pueden ser ms fciles de asimilar si podemos interpretarlos geomtricamente. A continuacin analizaremos el producto de expresiones algebraicas realizando un anlisis geomtrico.

Ejemplo. Determinemos el producto de ( x + 1)( y + 1) . Consideremos los siguientes rectngulos.

Observe que si colocamos los rectngulos dados de la siguiente forma:

- 74 -

S se completa con la pieza xy y se forma el rectngulo de rea ( x + 1)( y + 1) obtenemos:

As de la figura anterior podemos deducir que el rea de un rectngulo cuyos lados poseen magnitudes x + 1 y y + 1 es:

( x + 1)( y + 1) = xy + y + x + 1 .
Analicemos otro ejemplo.

Ejemplo. Determinemos el producto de ( 4 x z )( 4 x z ) . El siguiente cuadrado.

Si restamos z unidades a cada lado del cuadrado obtenemos la figura:

- 75 -

De donde podemos deducir que:

( 4 x z )( 4 x z ) = ( 4 x )

8 xz + z 2

Observacin. El mtodo geomtrico para determinar producto de expresiones algebraicas es til,

aunque es limitado a expresiones sencillas. En la seccin 10 volveremos a utilizar el mtodo geomtrico para analizar algunas formulas que nos sern tiles para el calculo de algunos productos de expresiones algebraicas.

Observacin. En este punto de nuestro trabajo es importante sealar que existen algunos productos
de polinomios que se pueden realizar por simple inspeccin, estos productos se denominan productos notables. Una definicin ms formal se da a continuacin.

Definicin. Se denominan productos notables a ciertos productos que cumplen reglas fijas y cuyo
resultado puede ser escrito por simple inspeccin, es decir, sin verificar la multiplicacin. Entre los productos notables ms famosos se encuentran: el cuadrado de un binomio, el cubo de un binomio, la suma por diferencia. A continuacin se describirn los productos notables antes mencionados entre otros.

Cuadrado del Binomio. Primero recordemos que toda expresin algebraica que consta de dos
trminos se denomina binomio. El producto de un binomio por s mismo recibe el nombre de cuadrado del binomio. El desarrollo de un cuadrado de binomio siempre tiene la misma estructura. Por ejemplo, el cuadrado del binomio a + b se puede obtener desarrollando la multiplicacin trmino a trmino obteniendo:

(a + b )2 = (a + b ) (a + b ) = a a + a b + b a + b b = a 2 + ab + ba + b 2 = a 2 + 2ab + b 2
Es decir:

( a + b)

= a 2 + 2ab + b 2 .

- 76 -

Observe que los trminos a y b del binomio en cuestin son representaciones generales de un nmero. Por lo tato al analizar el producto ( a + b ) , podemos deducir que su resultado tiene una
2

estructura como la siguiente:

(
Donde

+2

(1)

representa el primer trmino del binomio y

representa el segundo trmino del

binomio. Es importante sealar que la estructura anterior se mantiene si deseamos determinar el cuadrado del binomio a b , en efecto:

(a b)

= ( a b ) ( a b ) = a a a b b a + b b = a 2 ab ba + b 2 = a 2 2ab + b 2

De donde podemos deducir que:

(a + b)

= a 2 2ab + b 2

As de lo anterior tenemos que el desarrollo del cuadrado del binomio a b tiene una estructura como la siguiente:

(
Donde

(2)

representa el primer trmino del binomio y

representa el segundo trmino del

binomio si su signo. Observe que de (1) y (2) se tiene la misma estructura en el desarrollo del cuadrado del binomio, salvo el signo del segundo trmino. De lo descrito anteriormente podemos deducir una formula para desarrollar el cuadrado del binomio, la cual establece:

(3)

- 77 -

La formula anterior se puede interpretar como: El cuadrado de un binomio es igual al cuadrado del primer trmino ms (o menos) el doble del producto del primer trmino por el segundo ms el cuadrado del segundo trmino, donde el signo del segundo trmino del desarrollo del cuadrado del binomio corresponde al signo del segundo trmino del binomio. El cuadrado de un binomio de la forma a + b donde a y b son cantidades positivas se puede representar geomtricamente. En efecto si consideramos un cuadrado de arista a + b , como el de la siguiente figura:

Observe que podemos dividir las aristas del cuadrado en las magnitudes a y b obteniendo:

De la figura anterior se tiene que el rea del cuadrado de lado a + b es

( a + b)

= a 2 + 2ab + b 2 .

Suma por su diferencia. Consideremos el producto de dos binomios los cuales se forman con la
adicin de los trminos a y b , mientras que el segundo binomio se forma con la diferencia de los

- 78 -

trminos a y b , es decir deseamos realizar el producto de la suma de dos trminos a + b por su diferencia a b . Si desarrollamos el producto de los binomios anteriores obtenemos:

( a + b )( a b ) = a a a b + b a b b = a 2 b 2
De lo anterior podemos observar que el producto de la suma de dos trminos por la diferencia de los dos trminos posee una estructura de la forma:

( + )( )
de los trminos. En otras palabras se tiene que:

= 2

Es decir, la suma de dos trminos por su diferencia es equivalente a la diferencia de los cuadrados

El producto de una suma de dos trminos por su diferencia es igual al cuadrado del primer trmino menos el cuadrado del segundo trmino El producto de una suma de dos trminos por su diferencia se puede representar geomtricamente. En efecto si consideramos dos cuadrados de arista a y b respectivamente, como el de la siguiente figura:

Observe que si al cuadrado de rea a 2 le quitamos el cuadrado de rea b 2 obtenemos la siguiente figura:

- 79 -

As al reordenar la figura anterior obtenemos el rectngulo

Observe que de lo anterior tenemos que:

a 2 b 2 = ( a b )( a + b ) .

Otra forma de verificar geomtricamente la suma por diferencia es considerar un cuadrado de lado
a.

Marcamos un segmento de lado b como indica la figura, y trazamos una diagonal, obteniendo los siguientes segmentos:

- 80 -

Si recortamos la figura segn se indica en la siguiente figura:

Con las piezas azules armamos un rectngulo (ser necesario "dar vuelta" una de ellas):

Observemos que qued formado un rectngulo de lados ( a + b ) y ( a b ) de lado (a b):

- 81 -

Al comparar las reas de las dos figuras, notamos que son iguales:

Es decir hemos "demostrado" geomtricamente la identidad algebraica:

a 2 b 2 = ( a b )( a + b ) .

A continuacin presentamos una lista de productos notables con sus respectivas frmulas, las cuales pueden ser verificadas verificando los respectivos productos involucrados:

Cubo de un binomio

( a + b ) = a3 + 3a 2 b + 3ab 2 + b3 3 ( a + b ) = a3 3a 2 b + 3ab 2 b3
3

Cuadrado de un trinomio

- 82 -

( a + b + c ) = a 2 + b 2 + c 2 + 2ab + 2ac + 2bc 2 ( a + b + c ) = a 2 + b 2 + c 2 2ab 2ac + 2bc

2

Suma y resta de cubos

a 3 + b3 = ( a + b ) ( a 2 ab + b 2 ) a 3 b3 = ( a b ) ( a 2 + ab + b 2 )

Producto de dos binomios con un trmino que se repite

( x + a )( x + b ) = x 2 + ( a + b ) x + ab

- 83 -

8. Factorizacin.
En esta seccin analizaremos y desarrollaremos dos nuevos conceptos, factorizacin y productos notables. Es importante sealar que en lgebra los dos conceptos antes mencionados estn ligados, lo cual mostraremos a continuacin. Comenzaremos nuestro desarrollo de la seccin explicando que se entiende en aritmtica por el concepto factorizacin.

Definicin. En matemticas la factorizacin es la descomposicin de un objeto (por ejemplo un

nmero, una matriz o un polinomio) en el producto de otros objetos ms pequeos (factores), que al multiplicarlos todos resulta el objeto original.

Ejemplo. El nmero 21 se factoriza en nmeros primos 3 7 factores primos. Factorizar enteros en

nmeros primos se describe en el teorema fundamental de la aritmtica.

Observacin. La factorizacin de enteros para enteros grandes parece ser un problema complejo: no
se conoce ningn mtodo para resolverlo de forma rpida. Esta complejidad es aprovechada por algunos algoritmos de criptografa de clave pblica, como la RSA14. Sin embargo existen algunos criterios para determinar cuando un entero es divisible por otro, estos criterios los describiremos a continuacin. Consideremos n un nmero natural, entonces n es divisible por:
2 si su ltima cifra es par.
14

El sistema criptogrfico con clave pblica RSA es un algoritmo asimtrico cifrador de bloques, que utiliza una clave pblica, la cual se distribuye (en forma autenticada preferentemente), y otra privada, la cual es guardada en secreto por su propietario. Una clave es un nmero de gran tamao, que una persona puede conceptualizar como un mensaje digital, como un archivo binario o como una cadena de bits o bytes. Cuando se enva un mensaje, el emisor busca la clave pblica de cifrado del receptor y una vez que dicho mensaje llega al receptor, ste se ocupa de descifrarlo usando su clave oculta. Los mensajes enviados usando el algoritmo RSA se representan mediante nmeros y el funcionamiento se basa en el producto de dos nmeros primos grandes (mayores que 10100) elegidos al azar para conformar la clave de descifrado. - 84 -

 3 si la suma de todas sus cifras es divisible por 3. En esta suma, pueden descartarse las cifras 0,

3, 6 y 9.
4 si sus dos ltimas cifras (decenas y unidades) son divisibles por 4. Esto es lo mismo que

comprobar si su penltima cifra es impar y el nmero termina en 2 6, o si su penltima cifra es par y el nmero termina en 0, 4 u 8.
5 si el nmero termina en 0 5. 6 si el nmero es divisible por 2 y por 3. 7: Existen dos criterios para este nmero.

Mtodo directo. Se agrupan las cifras de tres en tres, y luego calcular la suma alterna (esto es,
cambiando el signo a cada nmero). Si el resultado es divisible por 7, el nmero es divisible por 7.

Ejemplo: n = 943 120 403 788 521 521 - 788 + 403 - 120 + 943 = 959 que es mltiplo de 7,
por lo tanto n tambin.

Mtodo recursivo Se separa el nmero en dos, donde el primero est formado por todas las
cifras salvo la ms a la derecha, y el otro formado por dicha cifra. Se multiplica el segundo nmero por 2 y se resta al primero. Si el valor absoluto del resultado es 0 o divisible por 7, el nmero entero es divisible por 7. Suele repetirse el proceso hasta obtener un nmero de una cifra y, si ste es 0 7, el nmero es divisible por 7.

Ejemplo: n = 959 (95 - (9 x 2)) 77 (7 - (7 x 2)) -7. Como termina en 7, n es divisible

por 7.
8 si el nmero formado por las tres ltimas cifras (centenas, decenas y unidades) es divisible por

6. Se puede remplazar la cifra de los miles por 0 si es par o por 1 si es impar (es decir, se puede reducir mdulo 2), y disminuir la cifra de las decenas de 4 u 8 (reducir mdulo 4).

Ejemplo: n = 345 065 186 576 576 136 que es divisible por 8, as que n tambin.

9 si la suma de todas sus cifras, descartando los 9 y los 0, es divisible por 9.

- 85 -

 10 si acaba por un 0. 11 si la suma de sus cifras que ocupan los lugares pares, menos la suma de las cifras que ocupan

los lugares impares(o viceversa) da como resultado 0 , 11 o un mltiplo de 11.

Ejemplo.: n = 2.442 = (2 + 4) - (4 + 2) = 6 - 6 = 0 (S es divisible entre 11)

12 si lo es por 3 y 4. 13: Regla parecida a la del 7: se mira si la suma alterna es divisible por 13.

Ejemplo. n = 23 410 456 970 550 550 - 970 + 456 - 410 + 23 = - 351 que es mltiplo de 13,
luego n tambin es mltiplo de 13. Existe tambin un mtodo recursivo para este nmero similar al del 7, slo que multiplicando la cifra ms a la derecha por 9 en vez de por 2.

14 si es par y divisible por 7. 15 si lo es por 3 y 5. 16 si lo es el nmero formado por sus cuatro ltimas cifras, pudindose reducir mdulo 2 la

primera (a la derecha) y mdulo 4 la segunda:

Ejemplo. n = 345 999 106 592 6592 0112 que es divisible por 16, as que n tambin.

17: Se separan los dos ltimos nmeros y se restan a la parte izquierda, antes de restar la cifra se

multiplica por 2. Si el resultado es divisible por 17, el nmero es divisible por 17.

Ejemplo. n = 871 25 2*871 - 25 = 1717 que es mltiplo de 17.

Otro mtodo consiste en multiplicar la ltima cifra de la derecha por 5, y restrselo a la parte izquierda. Si el resultado es divisible por 17, el nmero es divisible por 17.
- 86 -

Ejemplo. n = 7 08 60 25 25 - 60 + 08 - 7 - 34 que es mltiplo de 17, luego n tambin.

18 si lo es por 2 y 9. 25: si acaba en 00, 25, 50 75. 100: si acaba en 00.

Los criterios antes mencionados son consecuencia directa del teorema Un criterio universal de
divisibilidad. Este teorema fue mostrado por los profesores de la Universidad Sergio Arboleda. Sin

embargo algunos criterios pueden ser demostrados de manera sencilla.

Observacin. Es importante sealar que el concepto de demostracin en matemtica es una

sucesin coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hiptesis, permite asegurar la validez de otra premisa denominada tesis. Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin (fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin). El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso. Aunque en general no existe un procedimiento nico de demostracin de teoremas, s existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

Demostracin por contraposicin. Si debemos demostrar que una proposicin p implica una

proposicin q , a veces es ms sencillo demostrar que si q es falsa entonces p es falsa.

Demostracin por reduccin al absurdo. Del latn Reductio ad absurdum, a menudo usado

por Aristteles como un argumento lgico en el que asumimos una hiptesis y obtenemos un resultado absurdo, por lo que concluimos que la hiptesis de partida ha de ser falsa. Este mtodo es tambin conocido como prueba por contradiccin.
Por induccin. La demostracin por induccin es un razonamiento que permite demostrar una

proposicin que depende de un parmetro n que toma una infinidad de valores en el conjunto de los nmeros naturales N .

- 87 -

El esquema del razonamiento es el siguiente: Llamemos Pn la proposicin al rango n .

Se demuestra que P 1 es cierta (iniciacin de la induccin). Se demuestra que si se Pn es vlida entonces Pn +1 tambin lo es, y esto sin condicin sobre el entero natural n .

Con este procedimiento se demuestra que para todo nmero natural la proposicin Pn es vlida.

En lgebra entenderemos por factorizacin la descomposicin de una expresin algebraica en

producto de expresiones algebraicas que al realizar la multiplicacin se obtiene algebraica original. Para entender mejor la idea de factorizacin dada, comenzaremos dando ejemplos en los cuales la factorizacin de la expresin algebraica dada se realiza utilizando productos notables. la expresin

Ejemplo. Dada la expresin algebraica 4 x 2 + 12 xy + 9 y 2 , determinemos si es posible factorizarla al

mximo.

Solucin. Observe que la expresin dada se puede reescribir de la forma:

4 x 2 + 12 xy + 9 y 2 = ( 2 x ) + 2 ( 2 x ) ( 3 y ) + ( 3 y )
2 2

Es decir la expresin dada representa un cuadrado de binomio perfecto, en efecto: 4 x 2 + 12 xy + 9 y 2 = ( 2 x + 3 y )

2

Ejemplo. Factoricemos la siguiente expresin al mximo x2 +12x + 27 . Solucin. Observe que la expresin dada no se puede expresar como el cuadrado de un binomio.
Consideremos la posibilidad de que la expresin dada sea el producto de dos binomios de la forma

- 88 -

( x + a)

( x + b) .

Para determinar si es posible lo anterior debemos determinar si existen dos

nmeros reales tales que:

a + b = 12 ab = 27

Despus de una simple inspeccin podemos observa que si consideramos a = 9 y b = 3 se tiene que:
x 2 + 12 x + 27 = ( x + 9 )( x + 3)

Ejemplo. Dada la expresin algebraica 16 x 4 81y 8 , factorcela al mximo.

Solucin. Observe que la expresin dada se puede reescribir de la forma:

16 x 4 81 y 8 = ( 4 x 2 ) ( 9 y 4 )
2 2

Es decir la expresin dada es el producto de una suma por su diferencia, en efecto: 16 x 4 81y 8 = ( 4 x 2 + 9 y 4 )( 4 x 2 9 y 4 ) Sin embargo el factor 4 x 2 9 y 4 , representa a su vez el producto de una suma por su diferencia, en efecto:
4 x 2 9 y 4 = ( 2 x ) ( 3 y 2 ) = ( 2 x + 3 y 2 )( 2 x 3 y 2 )
2

Por lo tanto: 16 x 4 81y 8 = ( 4 x 2 + 9 y 4 )( 2 x + 3 y 2 )( 2 x 3 y 2 )

Ejemplo. Factoricemos la expresin 18b 2 + 3ab3 12bx . Solucin. Factorizar la expresin dada comencemos con el siguiente anlisis. Primero
determinemos si los coeficientes numricos de los trminos de la expresin algebraica dada poseen algn factor numrico en comn. 18b 2 3b3 12bx = 3 6b 2 + 3 1ab3 3 4bx

- 89 -

Podemos observar que 3 es un factor numrico comn entre los coeficientes numricos de los trminos de la expresin dada. As al utilizar la propiedad de distributividad obtenemos: 18b 2 3b3 12ax = 3 6b 2 + 3 1ab3 3 4bx
= 3 ( 6b 2 + ab3 4bx )

Lo anterior muestra una factorizacin de la expresin algebraica dada, sin embargo esta factorizacin puede ser mejorada tratando de encontrar un factor literal comn de los coeficientes literales de los trminos de la expresin algebraica. 18b 2 3b3 12bx = 3 6b 2 + 3 1ab3 3 4bx
= 3 ( 6b 2 + ab3 4ax ) = 3 ( 6bb + ab 2 b 4bx ) = 3b ( 6b + ab 2 4 x )

Por lo tanto de lo anterior podemos deducir que 18b 2 3b3 12bx = 3b ( 6b + ab 2 4 x ) .

Observacin. El procedimiento realizado anteriormente no siempre es efectivo para factorizar una

expresin algebraica, de hecho factorizar expresiones algebraicas no es una cuestin trivial.

Ejemplo. Dada la expresin algebraica x3 + 3x 2 + 3 x + 1 , factorcela al mximo como producto de

polinomios.

Solucin. A continuacin presentaremos dos formas distintas de realizar la factorizacin. Es

importante sealar que segn el tipo de lector podran existir otras formas de de realizar la factorizacin.

Forma 1. Podemos observar que la expresin dada representa un cubo de un binomio, en efecto:

(x + 1)2 = x 3 + 3x 2 + 3x + 1

- 90 -

Forma 2. En la expresin dada los coeficientes numricos y literales no poseen un factor comn
salvo la unidad. De este hecho podemos deducir que el procedimiento realizado en le ejemplo anterior no es aplicable. Sin embargo observe que:
x3 + 3 x 2 + 3x + 1 = x3 + x 2 + 2 x 2 + 2 x + x + 1

As al asociar obtenemos:
x3 + 3x 2 + 3 x + 1 = x3 + x 2 + 2 x 2 + 2 x + x + 1 = ( x3 + x 2 ) + ( 2 x 2 + 2 x ) + x + 1 = x 2 ( x + 1) + 2 x ( x + 1) + ( x + 1)

Por lo tanto si factorizamos nuestra ultima expresin por x + 1 se tiene que:

x3 + 3x 2 + 3x + 1 = ( x + 1) ( x 2 + 2 x + 1)

(1)

Observe que la factorizacin dada en (1) no es trivial, y menos se puede deducir a simple vista. Sin embargo la factorizacin dada en (2) puede ser mejorada, en efecto
x3 + 3x 2 + 3x + 1 = ( x + 1) ( x 2 + x + x + 1)

De donde podemos deducir:

x3 + 3 x 2 + 3 x + 1 = ( x + 1) ( x ( x + 1) + x + 1)

Es decir
x3 + 3 x 2 + 3 x + 1 = ( x + 1)( x + 1)( x + 1)

(2)

De (2) podemos deducir que:

x3 + 3x 2 + 3x + 1 = ( x + 1) .
3

En los siguientes ejemplos analizaremos el valor de verdad de una proposicin, la cual ser demostrada si esta es vlida. En caso de ser una proposicin falsa daremos un ejemplo donde dicha proposicin no es vlida, este ejemplo que contradice la proposicin se denomina contraejemplo

Ejemplo. Analicemos la valides de la siguiente afirmacin.

La suma de tres nmeros naturales consecutivos es un nmero divisible por 3.

- 91 -

Solucin. Denotemos por n, n + 1, n + 2 los tres nmeros naturales consecutivos que debemos sumar,
entonces al sumar los tres nmeros obtenemos:
n + ( n + 1) + ( n + 2 ) = 3n + 3 = 3 ( n + 1)

Observe que el nmero 3 ( n + 1) es mltiplo de 3, por lo tanto podemos deducir que la afirmacin dada es valida.

Ejemplo. Analicemos la validez de la siguiente afirmacin.

El producto de dos nmeros naturales impares es impar

Solucin. Para analizar la validez de la afirmacin dada, primero debemos saber que si un nmero
natural m es impar entonces:
m = 2k + 1

Para algn k {0,1, 2,3,....} . As si m, n son nmeros naturales impares se debe tener que:
m = 2k + 1, n = 2 p +1

Para algn k , p {0,1, 2,3,....} . Por lo tanto al hacer el producto entre m y n obtenemos:
m n = ( 2k + 1)( 2 p + 1) = 4kp + 2k + 2 p + 1

Es decir:
m n = 2 ( 2kp + k + p ) + 1

Por lo tanto de lo anterior podemos deducir que mn es un nmero impar, por lo tanto la afirmacin dada es vlida.

- 92 -

9. Divisin de expresiones algebraicas

En matemtica, especficamente en aritmtica, la divisin es la operacin inversa de la multiplicacin y a veces puede interpretarse como una resta repetida. En otras palabras, consiste en averiguar cuntas veces un nmero, el cual denominamos divisor, est contenido en otro nmero, el cual se denomina dividendo. En la divisin de nmeros enteros adems del dividendo y el divisor intervienen otros nmeros. As al resultado entero de la divisin se le denomina cociente y si la divisin no es exacta, es decir, el divisor no est contenido un nmero exacto de veces en el dividendo, la operacin tendr un resto o residuo. Para entender mejor lo anterior definiremos cuando un nmero entero divide a otro nmero entero.

Definicin. Sean a, b , donde a 0 . Diremos que a divide a b si y solamente si existe q

tal que:
b = aq

Adems diremos que a es el divisor, b es el dividendo y q es el cuociente.

Ejemplo. 3 divide a 123.819. En efecto observe que:

123.819 = 3 41.273

Observacin. Si a, b
tales que:

, donde a 0 , son tales que a no divide a b entonces existen q, r

b = aq + r

Donde 0 < r < a . En esta seccin analizaremos la divisin de expresiones algebraicas analizando tres tipos de divisiones importantes; la divisin de monomios, la divisin de un polinomio por un monomio y la divisin de polinomios en una variable.
- 93 -

1. Divisin de Monomios.
La divisin de monomios se basa fundamentalmente en las leyes de los exponentes es decir en la multiplicacin y divisin de potencias. La divisin entre dos monomios en dos etapas, la primera etapa consiste en la divisin de los coeficientes del dividendo y el divisor, la segunda etapa se realiza la divisin de las potencias comunes del dividendo y el divisor.

Ejemplo. Realicemos la divisin de 4 x 4 y 2 z y 16 xy . Observe que debemos determinar:

4 x4 y 2 z 16 xy

Lo cual realizaremos siguiendo las dos etapas antes mencionadas. Lo anterior lo podemos expresar matemticamente por:
4x4 y2 z 4 x4 y 2 z = 16 xy 16 xy

De donde podemos obtener: 4x4 y2 z 16 xy 4 x4 y 2 z = 16 xy 4 x4 y 2 z 16 x y

As de lo anterior se tiene que al realizar las dos etapas simultneamente, obtenemos:

4x4 y2 z 16 xy 4 x4 y2 z 16 xy 4 x4 y 2 z 16 x y 4 4 1 21 x y z 16

- 94 -

De donde podemos deducir que:

4x4 y2 z 1 = x3 y z 16 xy 4

Ejemplo. Realicemos la divisin de 20a 3 y 2 z y 16 xy . Observe que debemos determinar:

20a 3 y 2 z 16 xy

Lo cual realizaremos siguiendo las dos etapas antes mencionadas. Lo anterior lo podemos expresar matemticamente por:
20a 3 y 2 z 20 a 3 y 2 z = 16 xy 16 xy

De donde podemos obtener: 20a 3 y 2 z 16 xy 20 a 3 y 2 z = 16 xy 4 a3 z y 2 16 x y

As de lo anterior se tiene que al realizar las dos etapas simultneamente, obtenemos:

20a 3 y 2 z 16 xy 20 a 3 y 2 z 16 xy 20 a 3 z y 2 16 x y 20 3 a z x 1 y 21 16

- 95 -

De donde podemos deducir que:

20a 3 y 2 z 5 = a 3 x 1 y z 16 xy 4

2. Divisin de un polinomio por un monomio.

La divisin de un polinomio por un monomio se basa esencialmente en realizar una cierta cantidad de divisiones de monomios, esta cantidad depende del nmero de trminos del polinomio. La divisin de un polinomio por un monomio se realiza dividiendo cada trmino del polinomio por el monomio, siguiendo las reglas y pasos establecidos en el punto 1.

Ejemplo. Realicemos la divisin de polinomio 4 x 4 y 2 z + 12 xy 16 x3 por el monomio 16 xy .

Observe que debemos determinar:
4 x 4 y 2 z + 12 xy 16 x 3 16 xy

Siguiendo lo establecido anterior mente se tiene que para determinar la divisin dada debemos dividir cada trmino del polinomio por el monomio 16 xy , obteniendo:

4 x 4 y 2 z + 12 xy 16 x3 4 x 4 y 2 z 12 xy 16 x 3 = + 16 xy 16 xy 16 xy 16 xy

De lo anterior podemos deducir que:

4 x 4 y 2 z + 12 xy 16 x3 4 x 4 y 2 z 12 xy 16 x3 = + 16 xy 16 xy 16 xy 16 xy

Es decir:
4 x 4 y 2 z + 12 xy 16 x 3 1 3 3 = x yz + x 2 y 1 . 16 xy 4 4

- 96 -

Ejemplo. Realicemos la divisin de polinomio 24 x 4 y 3 + 12 x 2 y 2 16 x 3 por el monomio 4 y 2 .

Observe que debemos determinar: 24 x 4 y 3 + 12 x 2 y 2 16 x 3 4 y2

Siguiendo lo establecido anterior mente se tiene que para determinar la divisin dada debemos dividir cada trmino del polinomio por el monomio 4 y 2 , obteniendo:

24 x 4 y 3 + 12 x 2 y 2 16 x 3 24 x 4 y 3 12 x 2 y 2 16 x3 = + 4 y2 4 y2 4 y2 4 y2 De lo anterior podemos deducir que: 24 x 4 y 3 + 12 x 2 y 2 16 x 3 24 x 4 y 3 12 x 2 y 2 16 x3 = + 2 2 4 y2 4 y 4 y 4 y2 Es decir: 24 x 4 y 3 + 12 x 2 y 2 16 x 3 = 6 x 4 y + 3 x 2 4 x 3 y 2 . 2 4y

3. Divisin de polinomios.
Para realizar la divisin de dos polinomios se debe realizar un ordenamiento de los trminos de los polinomios con respecto a una variable, el ordenamiento se realiza de mayor a menor potencia de la letra escogida. A continuacin la divisin de polinomios se realiza mediante un proceso similar al de la divisin de nmeros enteros. En los siguientes puntos se ilustra el procedimiento y los pasos a seguir. a) Se divide el primer trmino del dividendo por el primer trmino del divisor, obtenindose as el primer trmino del cuociente.
- 97 -

b) Se multiplica el trmino obtenido en el cuociente, por todo el polinomio divisor obtenindose as un polinomio el cual se resta al dividendo. c) Con la diferencia obtenida se repite el proceso. Y as hasta que se obtenga un polinomio de grado menor que el dividendo. Este es el resto, y la operacin termina.

Ejemplo 1. Dividamos el polinomio p ( x ) = 12 x 3 18 x 2 + 10 por el polinomio q ( x ) = 2 x 2 + 2 .

Realizaremos la divisin paso a paso. Para realizar la divisin utilizaremos una tabla, la cual nos permitir resolver la divisin de una forma ms ordenada. Colocaremos en la primera el dividendo y en la segunda columna el divisor. 12 x 3 18 x 2 + 10 : 2 x2 + 2

Procedemos como se indic en a) y dividimos le primer trmino del polinomio 12 x 3 18 x 2 + 10 por el primer trmino del polinomio 2 x 2 + 2 para determinar el primer trmino del cuociente. Es decir realizamos la divisin: 12 x 3 = 6x 2x2 As obtenemos:

12 x3 18 x 2 + 10 :
(12 x 3 + 12 x )

2 x2 + 2

= 6 x + ...

Por lo tanto al realizar la diferencia obtenemos:

12 x3 18 x 2 + 10 :
(12 x 3 + 12 x )

2 x2 + 2

= 6 x + ...

18 x 2 12 x + 10

- 98 -

A continuacin volvemos a realizar los pasos anteriores considerando como divisor el polinomio 18 x 2 12 x + 10 y como dividendo el polinomio 2 x 2 + 2 . Por lo tanto lo primero que debemos realizar es el cuociente del primer trmino del polinomio 18 x 2 12 x + 10 y primer trmino del polinomio 2 x 2 + 2 , es decir debemos determinar: 18 x 2 = 9 2x2

As obtenemos la siguiente tabla 12 x 3 18 x 2 + 10 :

(12 x 3 + 12 x ) 18 x 2 12 x + 10 ( 18 x 2 18 )

2 x2 + 2 Paso 1

= 6 x 9 + ...

Paso 2

Por lo tanto al realizar la diferencia obtenemos:

12 x3 18 x 2 + 10 :
(12 x 3 + 12 x )

2 x2 + 2
Paso 1

= 6 x 9 + ...

18 x 2 12 x + 10
( 18 x 2 18 )
12 x + 28

Paso 2

En este paso obtenemos que le resto de la divisin es 12 x + 28 , ya que es un polinomio de menor grado que el divisor. As de lo anterior tenemos que: 12 x 3 18 x 2 + 10 = ( 2 x 2 + 2 ) ( 6 x 9 ) + ( 12 x + 28 )

- 99 -

En otras palabras se tiene que:

12 x + 28 12 x 3 18 x 2 + 10 = 6x 9 + . 2 2x + 2 2x2 + 2

Ejemplo 2. Determinemos si el polinomio

p ( x ) = x 2 3x + 2

divide al polinomio

q ( x ) = x 4 + 5 x 3 5 x 2 5 x + 6 . Realizaremos la divisin paso a paso.

Para realizar la divisin utilizaremos una tabla, la cual nos permitir resolver la divisin de una forma ms ordenada. Colocaremos en la primera el dividendo y en la segunda columna el divisor.

x 4 + 5 x3 5 x 2 5 x + 6 :

x 2 3x + 2

Procedemos como se indic en a) y dividimos le primer trmino del polinomio

x 4 + 5 x3 5 x 2 5 x + 6 por el primer trmino del polinomio x 2 3x + 2 para determinar el

primer trmino del cuociente. Es decir realizamos la divisin:
x4 = x2 2 x

As obtenemos:
x 4 + 5 x3 5 x 2 5 x + 6 : ( x 4 + 3x3 2 x 2 ) x 2 3x + 2 = x 2 + ...

Por lo tanto al realizar la diferencia obtenemos:

x 4 + 5 x3 5 x 2 5 x + 6 : ( x 4 + 3x3 2 x 2 ) x 2 3x + 2 = x 2 + ...

2 x3 3x 2 5 x + 6

- 100 -

A continuacin volvemos a realizar los pasos anteriores considerando como divisor el polinomio x 4 + 5 x 3 5 x 2 5 x + 6 y como dividendo el polinomio x 2 3x + 2 . Por lo tanto lo primero que debemos realizar es el cuociente del primer trmino del polinomio

x 4 + 5 x3 5 x 2 5 x + 6 y primer trmino del polinomio x 2 3x + 2 , es decir debemos

determinar: 2 x3 = 2x x2 As obtenemos la siguiente tabla
x 4 + 5 x3 5 x 2 5 x + 6 : ( x 4 + 3x3 2 x 2 ) x 2 3x + 2 = x 2 + 2 x + ...

Paso 1

2 x3 3x 2 5 x + 6
( 2 x3 6 x 2 + 4 x )

Paso 2

Por lo tanto al realizar la diferencia obtenemos:

x 4 + 5 x3 5 x 2 5 x + 6 : ( x 4 + 3x3 2 x 2 ) x 2 3x + 2 = x 2 + 2 x + ...

Paso 1

2 x3 3x 2 5 x + 6
( 2 x3 6 x 2 + 4 x )

Paso 2

3x 2 9 x + 6 Nuevamente debemos realizar los pasos anteriores considerando como divisor el polinomio

3x 2 9 x + 6 y como dividendo el polinomio x 2 3x + 2 . Por lo tanto lo primero que debemos

realizar es el cuociente del primer trmino del polinomio 3x 2 9 x + 6 y primer trmino del polinomio x 2 3x + 2 , es decir debemos determinar: 3x 2 =3 x2
- 101 -

As obtenemos la siguiente tabla

x 4 + 5 x3 5 x 2 5 x + 6 : ( x 4 + 3x3 2 x 2 ) x 2 3x + 2 = x2 + 2 x + 3

Paso 1

2 x3 3x 2 5 x + 6
( 2 x3 6 x 2 + 4 x )

Paso 2

3x 2 9 x + 6
( 3x 2 9 x + 6 )

Paso 3

Por lo tanto al realizar la diferencia obtenemos:

x 4 + 5 x3 5 x 2 5 x + 6 :
( x 4 + 3x3 2 x 2 )

x 2 3x + 2
Paso 1

= x2 + 2 x + 3

2 x3 3x 2 5 x + 6
( 2 x3 6 x 2 + 4 x )

Paso 2

3x 2 9 x + 6
( 3x 2 9 x + 6 )

Paso 3

0 En este paso obtenemos que le resto de la divisin es 0 y por ende podemos asegurar que
p ( x ) = x 2 3 x + 2 divide al polinomio q ( x ) = x 4 + 5 x 3 5 x 2 5 x + 6 . As de lo anterior

tenemos que:
x 4 + 5 x3 5 x 2 5 x + 6 = ( x 2 3x + 2 )( x 2 + 2 x + 3)

En otras palabras se tiene que:

x 4 + 5 x3 5 x 2 5 x + 6 = x2 + 2 x + 3 . 2 x 3x + 2

- 102 -

Referencias bibliogrficas
Bobadilla A., Gladys y Jorge Billeke G. (1997). Apuntes de Clculo 1 segunda edicin. USACH. Swokowski, E. (1974). Algebra Universitaria 6 Impresin. C.E.C.S.A.: Mxico. Baldor, A. (1999). Algebra Dcima Sptima Reimpresin. Publicaciones Cultural. Mxico. Rodrguez, J. Carballo, A. Cruz, T. Hernndez O. (2000). Razonamiento Matemtico. Fundamentos y Aplicaciones, segunda edicin. Thomson Editores internacional. Mxico. Eicholz, R. ODanffer, P. Brumfiel, Ch. Shanks, M. Fleenor, Ch. (1971). Matemtica Moderna. Fondo Educativo Interamericano. Editorial Norma. Colombia Kaufmann, J. Schwitters, K. (2002). Algebra Intermedia. Sexta Edicin. Thomson Editores internacional. Mxico. Barnet, R. Ziegler, M. Byleen K. (2000). Algebra Sexta edicion. Mc Graw Hill. Mxico. E.T Bell, Historia de las Matemticas. Fondo de la cultura Econmica. Mexico 1945. Sociedad de Matemtica de Chile, Revista del profesor de matemtica SOMACHI. Ao 1. N 2. Sociedad de Matemtica de Chile, Revista del profesor de matemtica SOMACHI. Ao 2. N 2. Sociedad de Matemtica de Chile, Revista del profesor de matemtica SOMACHI. Ao 3. N 2.

- 103 -