1

HISTORIA DE LAS MATEMTICAS

Matemticas, estudio de las relaciones entre cantidades, magnitudes y propiedades, y de las
operaciones lgicas utilizadas para deducir cantidades, magnitudes y propiedades desconocidas.
En el pasado las matemticas eran consideradas como la ciencia de la cantidad, referida a las
magnitudes (como en la geometra), a los nmeros (como en la aritmtica), o a la generalizacin
de ambos (como en el lgebra). Hacia mediados del siglo XIX las matemticas se empezaron a
considerar como la ciencia de las relaciones, o como la ciencia que produce condiciones
necesarias. Esta ltima nocin abarca la lgica matemtica o simblica ciencia que consiste en
utilizar smbolos para generar una teora exacta de deduccin e inferencia lgica basada en
definiciones, axiomas, postulados y reglas que transforman elementos primitivos en relaciones y
teoremas ms complejos.
Trataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo histrico.
En realidad, las matemticas son tan antiguas como la propia humanidad: en los diseos
prehistricos de cermica, tejidos y en las pinturas rupestres se pueden encontrar evidencias del
sentido geomtrico y del inters en figuras geomtricas. Los sistemas de clculo primitivos estaban
basados, seguramente, en el uso de los dedos de una o dos manos, lo que resulta evidente por la
gran abundancia de sistemas numricos en los que las bases son los nmeros 5 y 10.
Las matemticas en la antigedad
Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio a.C., en
Babilonia y Egipto. Estas matemticas estaban dominadas por la aritmtica, con cierto inters en
medidas y clculos geomtricos y sin mencin de conceptos matemticos como los axiomas o las
demostraciones.
Los primeros libros egipcios, escritos hacia el ao 1800 a.C., muestran un sistema de numeracin
decimal con distintos smbolos para las sucesivas potencias de 10 (1, 10, 100), similar al sistema
utilizado por los romanos. Los nmeros se representaban escribiendo el smbolo del 1 tantas
veces como unidades tena el nmero dado, el smbolo del 10 tantas veces como decenas haba
en el nmero, y as sucesivamente. Para sumar nmeros, se sumaban por separado las unidades,
las decenas, las centenas de cada nmero. La multiplicacin estaba basada en duplicaciones
sucesivas y la divisin era el proceso inverso.
Los egipcios utilizaban sumas de fracciones unidad (:), junto con la fraccin , para expresar todas
las fracciones. Por ejemplo, era la suma de las fracciones y . Utilizando este sistema, los egipcios
fueron capaces de resolver problemas aritmticos con fracciones, as como problemas algebraicos
elementales. En geometra encontraron las reglas correctas para calcular el rea de tringulos,
rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y, por supuesto,
pirmides. Para calcular el rea de un crculo, los egipcios utilizaban un cuadrado de lado . del
dimetro del crculo, valor muy cercano al que se obtiene utilizando la constante pi (3,14).
El sistema babilnico de numeracin era bastante diferente del egipcio. En el babilnico se
utilizaban tablillas con varias muescas o marcas en forma de cua (cuneiforme); una cua sencilla
representaba al 1 y una marca en forma de flecha representaba al 10 (vase tabla adjunta). Los
nmeros menores que 59 estaban formados por estos smbolos utilizando un proceso aditivo,
como en las matemticas egipcias. El nmero 60, sin embargo, se representaba con el mismo
smbolo que el 1, y a partir de ah, el valor de un smbolo vena dado por su posicin en el nmero
completo. Por ejemplo, un nmero compuesto por el smbolo del 2, seguido por el del 27 y
terminado con el del 10, representaba 2 602 + 27 60 + 10. Este mismo principio fue ampliado a
la representacin de fracciones, de manera que el ejemplo anterior poda tambin representar 2
60 + 27 + 10 (\), o 2 + 27 (\) + 10 (\)-2. Este sistema, denominado sexagesimal (base 60),
resultaba tan til como el sistema decimal (base 10).
2
Con el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les permitieron
encontrar las races positivas de cualquier ecuacin de segundo grado. Fueron incluso capaces de
encontrar las races de algunas ecuaciones de tercer grado, y resolvieron problemas ms
complicados utilizando el teorema de Pitgoras. Los babilonios compilaron una gran cantidad de
tablas, incluyendo tablas de multiplicar y de dividir, tablas de cuadrados y tablas de inters
compuesto. Adems, calcularon no slo la suma de progresiones aritmticas y de algunas
geomtricas, sino tambin de sucesiones de cuadrados. Tambin obtuvieron una buena
aproximacin de f.
Las matemticas en Grecia
Los griegos tomaron elementos de las matemticas de los babilonios y de los egipcios. La
innovacin ms importante fue la invencin de las matemticas abstractas basadas en una
estructura lgica de definiciones, axiomas y demostraciones. Segn los cronistas griegos, este
avance comenz en el siglo VI a.C. con Tales de Mileto y Pitgoras de Samos. Este ltimo ense
la importancia del estudio de los nmeros para poder entender el mundo. Algunos de sus
discpulos hicieron importantes descubrimientos sobre la teora de nmeros y la geometra, que se
atribuyen al propio Pitgoras.
En el siglo V a.C., algunos de los ms importantes gemetras fueron el filsofo atomista Demcrito
de Abdera, que encontr la frmula correcta para calcular el volumen de una pirmide, e
Hipcrates de Cos, que descubri que el rea de figuras geomtricas en forma de media luna
limitadas por arcos circulares son iguales a las de ciertos tringulos. Este descubrimiento est
relacionado con el famoso problema de la cuadratura del crculo (construir un cuadrado de rea
igual a un crculo dado). Otros dos problemas bastante conocidos que tuvieron su origen en el
mismo periodo son la triseccin de un ngulo y la duplicacin del cubo (construir un cubo cuyo
volumen es dos veces el de un cubo dado). Todos estos problemas fueron resueltos, mediante
diversos mtodos, utilizando instrumentos ms complicados que la regla y el comps. Sin
embargo, hubo que esperar hasta el siglo XIX para demostrar finalmente que estos tres problemas
no se pueden resolver utilizando solamente estos dos instrumentos bsicos.
A finales del siglo V a.C., un matemtico griego descubri que no existe una unidad de longitud
capaz de medir el lado y la diagonal de un cuadrado, es decir, una de las dos cantidades es
inconmensurable. Esto significa que no existen dos nmeros naturales m y n cuyo cociente sea
igual a la proporcin entre el lado y la diagonal. Dado que los griegos slo utilizaban los nmeros
naturales (1, 2, 3), no pudieron expresar numricamente este cociente entre la diagonal y el lado
de un cuadrado (este nmero, f, es lo que hoy se denomina nmero irracional). Debido a este
descubrimiento se abandon la teora pitagrica de la proporcin, basada en nmeros, y se tuvo
que crear una nueva teora no numrica. sta fue introducida en el siglo IV a.C. por el matemtico
Eudoxo de Cnido, y la solucin se puede encontrar en los Elementos de Euclides. Eudoxo,
adems, descubri un mtodo para demostrar rigurosamente supuestos sobre reas y volmenes
mediante aproximaciones sucesivas.
Euclides, matemtico y profesor que trabajaba en el famoso Museo de Alejandra, tambin escribi
tratados sobre ptica, astronoma y msica. Los trece libros que componen sus Elementos
contienen la mayor parte del conocimiento matemtico existente a finales del siglo IV
a.C., en reas tan diversas como la geometra de polgonos y del crculo, la teora de nmeros, la
teora de los inconmensurables, la geometra del espacio y la teora elemental de reas y
volmenes.
El siglo posterior a Euclides estuvo marcado por un gran auge de las matemticas, como se puede
comprobar en los trabajos de Arqumedes de Siracusa y de un joven contemporneo, Apolonio de
Perga. Arqumedes utiliz un nuevo mtodo terico, basado en la ponderacin de secciones
infinitamente pequeas de figuras geomtricas, para calcular las reas y volmenes de figuras
obtenidas a partir de las cnicas. stas haban sido descubiertas por un alumno de Eudoxo
llamado Menaechmo, y aparecan como tema de estudio en un tratado de Euclides; sin embargo,
3
la primera referencia escrita conocida aparece en los trabajos de Arqumedes. Tambin investig
los centros de gravedad y el equilibrio de ciertos cuerpos slidos flotando en agua. Casi todo su
trabajo es parte de la tradicin que llev, en el siglo XVII, al desarrollo del clculo. Su
contemporneo, Apolonio, escribi un tratado en ocho tomos sobre las cnicas, y estableci sus
nombres: elipse, parbola e hiprbola. Este tratado sirvi de base para el estudio de la geometra
de estas curvas hasta los tiempos del filsofo y cientfico francs Ren Descartes en el siglo XVII.
Despus de Euclides, Arqumedes y Apolonio, Grecia no tuvo ningn gemetra de la misma talla.
Los escritos de Hern de Alejandra en el siglo I d.C. muestran cmo elementos de la tradicin
aritmtica y de medidas de los babilonios y egipcios convivieron con las construcciones lgicas de
los grandes gemetras. Los libros de Diofante de Alejandra en el siglo III d.C. continuaron con
esta misma tradicin, aunque ocupndose de problemas ms complejos. En ellos Diofante
encuentra las soluciones enteras para aquellos problemas que generan ecuaciones con varias
incgnitas. Actualmente, estas ecuaciones se denominan diofnticas y se estudian en el anlisis
diofntico.
Las matemticas aplicadas en Grecia
En paralelo con los estudios sobre matemticas puras hasta ahora mencionados, se llevaron a
cabo estudios de ptica, mecnica y astronoma. Muchos de los grandes matemticos, como
Euclides y Arqumedes, tambin escribieron sobre temas astronmicos. A principios del siglo II
a.C., los astrnomos griegos adoptaron el sistema babilnico de almacenamiento de fracciones y,
casi al mismo tiempo, compilaron tablas de las cuerdas de un crculo. Para un crculo de radio
determinado, estas tablas daban la longitud de las cuerdas en funcin del ngulo central
correspondiente, que creca con un determinado incremento. Eran similares a las modernas tablas
del seno y coseno, y marcaron el comienzo de la trigonometra. En la primera versin de estas
tablas las de Hiparco, hacia el 150 a.C. los arcos crecan con un incremento de 7 , de 0 a
180. En tiempos del astrnomo Tolomeo, en el siglo II d.C., la maestra griega en el manejo de los
nmeros haba avanzado hasta tal punto que Tolomeo fue capaz de incluir en su Almagesto una
tabla de las cuerdas de un crculo con incrementos de que, aunque expresadas en forma
sexagesimal, eran correctas hasta la quinta cifra decimal.
Mientras tanto, se desarrollaron otros mtodos para resolver problemas con tringulos planos y se
introdujo un teorema que recibe el nombre del astrnomo Menelao de Alejandra para calcular
las longitudes de arcos de esfera en funcin de otros arcos. Estos avances dieron a los
astrnomos las herramientas necesarias para resolver problemas de astronoma esfrica, y para
desarrollar el sistema astronmico que sera utilizado hasta la poca del astrnomo alemn
Johannes Kepler.
Las matemticas en la edad media
En Grecia, despus de Tolomeo, se estableci la tradicin de estudiar las obras de estos
matemticos de siglos anteriores en los centros de enseanza. El que dichos trabajos se hayan
conservado hasta nuestros das se debe principalmente a esta tradicin. Sin embargo, los
primeros avances matemticos consecuencia del estudio de estas obras aparecieron en el mundo
rabe.
Las matemticas en el mundo islmico
Despus de un siglo de expansin en la que la religin musulmana se difundi desde sus orgenes
en la pennsula Arbiga hasta dominar un territorio que se extenda desde la pennsula Ibrica
hasta los lmites de la actual China, los rabes empezaron a incorporar a su propia ciencia los
resultados de "ciencias extranjeras". Los traductores de instituciones como la Casa de la Sabidura
de Bagdad, mantenida por los califas gobernantes y por donaciones de particulares, escribieron
versiones rabes de los trabajos de matemticos griegos e indios.
4
Hacia el ao 900, el periodo de incorporacin se haba completado y los estudiosos musulmanes
comenzaron a construir sobre los conocimientos adquiridos. Entre otros avances, los matemticos
rabes ampliaron el sistema indio de posiciones decimales en aritmtica de nmeros enteros,
extendindolo a las fracciones decimales. En el siglo XII, el matemtico persa Omar Jayyam
generaliz los mtodos indios de extraccin de races cuadradas y cbicas para calcular races
cuartas, quintas y de grado superior. El matemtico rabe Al-JwDrizm-; (de su nombre procede la
palabra algoritmo, y el ttulo de uno de sus libros es el origen de la palabra lgebra) desarroll el
lgebra de los polinomios; al-Karayi la complet para polinomios incluso con infinito nmero de
trminos. Los gemetras, como Ibrahim ibn Sinan, continuaron las investigaciones de Arqumedes
sobre reas y volmenes. Kamal al-Din y otros aplicaron la teora de las cnicas a la resolucin de
problemas de ptica. Los matemticos Habas al-Hasib y Nasir ad-Din at-Tusi crearon
trigonometras plana y esfrica utilizando la funcin seno de los indios y el teorema de Menelao.
Estas trigonometras no se convirtieron en disciplinas matemticas en Occidente hasta la
publicacin del De triangulis omnimodis (1533) del astrnomo alemn Regiomontano.
Finalmente, algunos matemticos rabes lograron importantes avances en la teora de nmeros,
mientras otros crearon una gran variedad de mtodos numricos para la resolucin de ecuaciones.
Los pases europeos con lenguas latinas adquirieron la mayor parte de estos conocimientos
durante el siglo XII, el gran siglo de las traducciones. Los trabajos de los rabes, junto con las
traducciones de los griegos clsicos fueron los principales responsables del crecimiento de las
matemticas durante la edad media. Los matemticos italianos, como Leonardo Fibonacci y Luca
Pacioli (uno de los grandes tratadistas del siglo XV en lgebra y aritmtica, que desarrollaba para
aplicar en el comercio), se basaron principalmente en fuentes rabes para sus estudios.
Las matemticas durante el renacimiento
Aunque el final del periodo medieval fue testigo de importantes estudios matemticos sobre
problemas del infinito por autores como Nicole Oresme, no fue hasta principios del siglo XVI
cuando se hizo un descubrimiento matemtico de trascendencia en Occidente. Era una frmula
algebraica para la resolucin de las ecuaciones de tercer y cuarto grado, y fue publicado en 1545
por el matemtico italiano Gerolamo Cardano en su Ars magna. Este hallazgo llev a los
matemticos a interesarse por los nmeros complejos y estimul la bsqueda de soluciones
similares para ecuaciones de quinto grado y superior. Fue esta bsqueda la que a su vez gener
los primeros trabajos sobre la teora de grupos a finales del siglo XVIII y la teora de ecuaciones
del matemtico francs variste Galois a principios del XIX.
Tambin durante el siglo XVI se empezaron a utilizar los modernos signos matemticos y
algebraicos. El matemtico francs Franois Vite llev a cabo importantes estudios sobre la
resolucin de ecuaciones. Sus escritos ejercieron gran influencia en muchos matemticos del siglo
posterior, incluyendo a Pierre de Fermat en Francia e Isaac Newton en Inglaterra.
Avances en el siglo XVII
Los europeos dominaron el desarrollo de las matemticas despus del renacimiento.
Durante el siglo XVII tuvieron lugar los ms importantes avances en las matemticas desde la era
de Arqumedes y Apolonio. El siglo comenz con el descubrimiento de los logaritmos por el
matemtico escocs John Napier (Neper); su gran utilidad llev al astrnomo francs Pierre Simon
Laplace a decir, dos siglos ms tarde, que Neper, al reducir el trabajo de los astrnomos a la
mitad, les haba duplicado la vida.
La ciencia de la teora de nmeros, que haba permanecido aletargada desde la poca medieval,
es un buen ejemplo de los avances conseguidos en el siglo XVII basndose en los estudios de la
antigedad clsica. La obra Las aritmticas de Diofante ayud a Fermat a realizar importantes
descubrimientos en la teora de nmeros. Su conjetura ms destacada en este campo fue que no
existen soluciones de la ecuacin a
n
+ b
n
= cn con a, b y c enteros positivos si n es mayor que 2.
5
Esta conjetura, conocida como ltimo teorema de Fermat, ha generado gran cantidad de trabajos
en el lgebra y la teora de nmeros.
En geometra pura, dos importantes acontecimientos ocurrieron en este siglo. El primero fue la
publicacin, en el Discurso del mtodo (1637) de Descartes, de su descubrimiento de la
geometra analtica, que mostraba cmo utilizar el lgebra (desarrollada desde el renacimiento)
para investigar la geometra de las curvas (Fermat haba hecho el mismo descubrimiento pero no
lo public). El Discurso del mtodo, junto con una serie de pequeos tratados con los que fue
publicado, ayud y fundament los trabajos matemticos de Isaac Newton hacia 1660. El segundo
acontecimiento que afect a la geometra fue la publicacin, por el ingeniero francs Grard
Desargues, de su descubrimiento de la geometra proyectiva en 1639. Aunque este trabajo fue
alabado por Descartes y por el cientfico y filsofo francs Blaise Pascal, su terminologa
excntrica y el gran entusiasmo que haba causado la aparicin de la geometra analtica retras el
desarrollo de sus ideas hasta principios del siglo XIX, con los trabajos del matemtico francs Jean
Victor Poncelet.
Otro avance importante en las matemticas del siglo XVII fue la aparicin de la teora de la
probabilidad a partir de la correspondencia entre Pascal y Fermat sobre un problema presente en
los juegos de azar, el llamado problema de puntos. Este trabajo no fue publicado, pero llev al
cientfico holands Christiaan Huygens a escribir un pequeo folleto sobre probabilidad en juegos
con dados, que fue publicado en el Ars coniectandi (1713) del matemtico suizo Jacques
Bernoulli. Tanto Bernoulli como el francs Abraham De Moivre, en su Doctrina del azar de 1718,
utilizaron el recin descubierto clculo para avanzar rpidamente en su teora, que para entonces
tena grandes aplicaciones en pujantes compaas de seguros.
Sin embargo, el acontecimiento matemtico ms importante del siglo XVII fue, sin lugar a dudas, el
descubrimiento por parte de Newton de los clculos diferencial e integral, entre 1664 y 1666.
Newton se bas en los trabajos anteriores de dos compatriotas, John Wallis e Isaac Barrow, as
como en los estudios de otros matemticos europeos como Descartes, Francesco Bonaventura
Cavalieri, Johann van Waveren Hudde y Gilles Personne de Roberval. Unos ocho aos ms tarde,
el alemn Gottfried Wilhelm Leibniz descubri tambin el clculo y fue el primero en publicarlo, en
1684 y 1686. El sistema de notacin de Leibniz es el que se usa hoy en el clculo.
Situacin en el siglo XVIII
Durante el resto del siglo XVII y buena parte del XVIII, los discpulos de Newton y Leibniz se
basaron en sus trabajos para resolver diversos problemas de fsica, astronoma e ingeniera, lo
que les permiti, al mismo tiempo, crear campos nuevos dentro de las matemticas. As, los
hermanos Jean y Jacques Bernoulli inventaron el clculo de variaciones y el matemtico francs
Gaspard Monge la geometra descriptiva. Joseph Louis Lagrange, tambin francs, dio un
tratamiento completamente analtico de la mecnica en su gran obra Mecnica analtica (1788),
en donde se pueden encontrar las famosas ecuaciones de Lagrange para sistemas dinmicos.
Adems, Lagrange hizo contribuciones al estudio de las ecuaciones diferenciales y la teora de
nmeros, y desarroll la teora de grupos. Su contemporneo Laplace escribi Teora analtica
de las probabilidades (1812) y el clsico Mecnica celeste (1799-1825), que le vali el
sobrenombre de el Newton francs.
El gran matemtico del siglo XVIII fue el suizo Leonhard Euler, quien aport ideas fundamentales
sobre el clculo y otras ramas de las matemticas y sus aplicaciones. Euler escribi textos sobre
clculo, mecnica y lgebra que se convirtieron en modelos a seguir para otros autores
interesados en estas disciplinas. Sin embargo, el xito de Euler y de otros matemticos para
resolver problemas tanto matemticos como fsicos utilizando el clculo slo sirvi para acentuar la
falta de un desarrollo adecuado y justificado de las ideas bsicas del clculo. La teora de Newton
estaba basada en la cinemtica y las velocidades, la de Leibniz en los infinitsimos, y el
tratamiento de Lagrange era completamente algebraico y basado en el concepto de las series
6
infinitas. Todos estos sistemas eran inadecuados en comparacin con el modelo lgico de la
geometra griega, y este problema no fue resuelto hasta el siglo posterior.
Las matemticas en el siglo XIX
En 1821, un matemtico francs, Augustin Louis Cauchy, consigui un enfoque lgico y apropiado
del clculo. Cauchy bas su visin del clculo slo en cantidades finitas y el concepto de lmite. Sin
embargo, esta solucin plante un nuevo problema, el de la definicin lgica de nmero real.
Aunque la definicin de clculo de Cauchy estaba basada en este concepto, no fue l sino el
matemtico alemn Julius W. R. Dedekind quien encontr una definicin adecuada para los
nmeros reales, a partir de los nmeros racionales, que todava se ensea en la actualidad; los
matemticos alemanes Georg Cantor y Karl T. W. Weierstrass tambin dieron otras definiciones
casi al mismo tiempo. Un problema ms importante que surgi al intentar describir el movimiento
de vibracin de un muelle estudiado por primera vez en el siglo XVIII fue el de definir el
significado de la palabra funcin. Euler, Lagrange y el matemtico francs Joseph Fourier
aportaron soluciones, pero fue el matemtico alemn Peter G. L. Dirichlet quien propuso su
definicin en los trminos actuales.
Adems de fortalecer los fundamentos del anlisis, nombre dado a partir de entonces a las
tcnicas del clculo, los matemticos del siglo XIX llevaron a cabo importantes avances en esta
materia. A principios del siglo, Carl Friedrich Gauss dio una explicacin adecuada del concepto de
nmero complejo; estos nmeros formaron un nuevo y completo campo del anlisis, desarrollado
en los trabajos de Cauchy, Weierstrass y el matemtico alemn Bernhard Riemann. Otro
importante avance del anlisis fue el estudio, por parte de Fourier, de las sumas infinitas de
expresiones con funciones trigonomtricas. stas se conocen hoy como series de Fourier, y son
herramientas muy tiles tanto en las matemticas puras como en las aplicadas. Adems, la
investigacin de funciones que pudieran ser iguales a series de Fourier llev a Cantor al estudio de
los conjuntos infinitos y a una aritmtica de nmeros infinitos. La teora de Cantor, que fue
considerada como demasiado abstracta y criticada como "enfermedad de la que las matemticas
se curarn pronto", forma hoy parte de los fundamentos de las matemticas y recientemente ha
encontrado una nueva aplicacin en el estudio de corrientes turbulentas en fluidos.
Otro descubrimiento del siglo XIX que se consider abstracto e intil en su tiempo fue la geometra
no eucldea. En esta geometra se pueden trazar al menos dos rectas paralelas a una recta dada
que pasen por un punto que no pertenece a sta. Aunque descubierta primero por Gauss, ste
tuvo miedo de la controversia que su publicacin pudiera causar. Los mismos resultados fueron
descubiertos y publicados por separado por el matemtico ruso Nikoli Ivnovich Lobachevski y
por el hngaro Jnos Bolyai. Las geometras no eucldeas fueron estudiadas en su forma ms
general por Riemann, con su descubrimiento de las mltiples paralelas. En el siglo XX, a partir de
los trabajos de Einstein, se le han encontrado tambin aplicaciones en fsica.
Gauss es uno de los ms importantes matemticos de la historia. Los diarios de su juventud
muestran que ya en sus primeros aos haba realizado grandes descubrimientos en teora de
nmeros, un rea en la que su libro Disquisitiones arithmeticae (1801) marca el comienzo de la
era moderna. En su tesis doctoral present la primera demostracin apropiada del teorema
fundamental del lgebra. A menudo combin investigaciones cientficas y matemticas. Por
ejemplo, desarroll mtodos estadsticos al mismo tiempo que investigaba la rbita de un
planetoide recin descubierto, realizaba trabajos en teora de potencias junto a estudios del
magnetismo, o estudiaba la geometra de superficies curvas a la vez que desarrollaba sus
investigaciones topogrficas.
De mayor importancia para el lgebra que la demostracin del teorema fundamental por Gauss fue
la transformacin que sta sufri durante el siglo XIX para pasar del mero estudio de los
polinomios al estudio de la estructura de sistemas algebraicos. Un paso importante en esa
direccin fue la invencin del lgebra simblica por el ingls George Peacock. Otro avance
destacado fue el descubrimiento de sistemas algebraicos que tienen muchas propiedades de los
7
nmeros reales. Entre estos sistemas se encuentran las cuaternas del matemtico irlands William
Rowan Hamilton, el anlisis vectorial del matemtico y fsico estadounidense Josiah
Willard Gibbs y los espacios ordenados de n dimensiones del matemtico alemn Hermann
Gnther Grassmann. Otro paso importante fue el desarrollo de la teora de grupos, a partir de los
trabajos de Lagrange. Galois utiliz estos trabajos muy a menudo para generar una teora sobre
qu polinomios pueden ser resueltos con una frmula algebraica.
Del mismo modo que Descartes haba utilizado en su momento el lgebra para estudiar la
geometra, el matemtico alemn Felix Klein y el noruego Marius Sophus Lie lo hicieron con el
lgebra del siglo XIX. Klein la utiliz para clasificar las geometras segn sus grupos de
transformaciones (el llamado Programa Erlanger), y Lie la aplic a una teora geomtrica de
ecuaciones diferenciales mediante grupos continuos de transformaciones conocidas como grupos
de Lie. En el siglo XX, el lgebra se ha aplicado a una forma general de la geometra conocida
como topologa.
Tambin los fundamentos de las matemticas fueron completamente transformados durante el
siglo XIX, sobre todo por el matemtico ingls George Boole en su libro Investigacin sobre las
leyes del pensamiento (1854) y por Cantor en su teora de conjuntos. Sin embargo, hacia finales
del siglo, se descubrieron una serie de paradojas en la teora de Cantor. El matemtico ingls
Bertrand Russell encontr una de estas paradojas, que afectaba al propio concepto de conjunto.
Los matemticos resolvieron este problema construyendo teoras de conjuntos lo bastante
restrictivas como para eliminar todas las paradojas conocidas, aunque sin determinar si podran
aparecer otras paradojas es decir, sin demostrar si estas teoras son consistentes. Hasta
nuestros das, slo se han encontrado demostraciones relativas de consistencia (si la teora B es
consistente entonces la teora A tambin lo es). Especialmente preocupante es la conclusin,
demostrada en 1931 por el lgico estadounidense Kurt Gdel, segn la cual en cualquier sistema
de axiomas lo suficientemente complicado como para ser til a las matemticas es posible
encontrar proposiciones cuya certeza no se puede demostrar dentro del sistema.
Las matemticas actuales
En la Conferencia Internacional de Matemticos que tuvo lugar en Pars en 1900, el matemtico
alemn David Hilbert expuso sus teoras. Hilbert era catedrtico en Gotinga, el hogar acadmico
de Gauss y Riemann, y haba contribuido de forma sustancial en casi todas las ramas de las
matemticas, desde su clsico Fundamentos de la geometra (1899) a su Fundamentos de la
matemtica en colaboracin con otros autores. La conferencia de Hilbert en Pars consisti en un
repaso a 23 problemas matemticos que l crea podran ser las metas de la investigacin
matemtica del siglo que empezaba. Estos problemas, de hecho, han estimulado gran parte de los
trabajos matemticos del siglo XX, y cada vez que aparecen noticias de que otro de los "problemas
de Hilbert" ha sido resuelto, la comunidad matemtica internacional espera los detalles con
impaciencia.
A pesar de la importancia que han tenido estos problemas, un hecho que Hilbert no pudo imaginar
fue la invencin del ordenador o computadora digital programable, primordial en las matemticas
del futuro. Aunque los orgenes de las computadoras fueron las calculadoras de relojera de Pascal
y Leibniz en el siglo XVII, fue Charles Babbage quien, en la Inglaterra del siglo XIX, dise una
mquina capaz de realizar operaciones matemticas automticamente siguiendo una lista de
instrucciones (programa) escritas en tarjetas o cintas. La imaginacin de Babbage sobrepas la
tecnologa de su tiempo, y no fue hasta la invencin del rel, la vlvula de vaco y despus la del
transistor cuando la computacin programable a gran escala se hizo realidad. Este avance ha
dado un gran impulso a ciertas ramas de las matemticas, como el anlisis numrico y las
matemticas finitas, y ha generado nuevas reas de investigacin matemtica como el estudio de
los algoritmos. Se ha convertido en una poderosa herramienta en campos tan diversos como la
teora de nmeros, las ecuaciones diferenciales y el lgebra abstracta. Adems, el ordenador ha
permitido encontrar la solucin a varios problemas matemticos que no se haban podido resolver
anteriormente, como el problema topolgico de los cuatro colores propuesto a mediados del siglo
XIX. El teorema dice que cuatro colores son suficientes para dibujar cualquier mapa, con la
8
condicin de que dos pases limtrofes deben tener distintos colores. Este teorema fue demostrado
en 1976 utilizando una computadora de gran capacidad de clculo en la Universidad de Illinois
(Estados Unidos).
El conocimiento matemtico del mundo moderno est avanzando ms rpido que nunca. Teoras
que eran completamente distintas se han reunido para formar teoras ms completas y abstractas.
Aunque la mayora de los problemas ms importantes han sido resueltos, otros como las hiptesis
de Riemann siguen sin solucin. Al mismo tiempo siguen apareciendo nuevos y estimulantes
problemas. Parece que incluso las matemticas ms abstractas estn encontrando aplicacin.

ARITMETICA
Aritmtica, literalmente, arte de contar. La palabra deriva del griego arithmHtikH, que combina dos
palabras: arithmos, que significa nmero, y technH, que se refiere a un arte o habilidad.
Los nmeros usados para contar son los naturales o enteros positivos. Se obtienen al aadir 1 al
nmero anterior en una serie sin fin. Las distintas civilizaciones han desarrollado a lo largo de la
historia diversos tipos de sistemas numricos. Uno de los ms comunes es el usado en las
culturas modernas, donde los objetos se cuentan en grupos de 10. Se le denomina sistema en
base 10 o decimal.
En el sistema en base 10, los enteros se representan mediante cifras cada una de las cuales
representa potencias de 10. Tomemos el nmero 1.534 como ejemplo. Cada cifra de este nmero
tiene su propio valor segn el lugar que ocupa; estos valores son potencias de 10 crecientes hacia
la izquierda. El valor de la primera cifra es en unidades (aqu 4 1); el de la segunda es 10 (aqu 3
10, o 30); el valor del tercer lugar es 10 10, o 100 (aqu 5 100, o 500), y el valor del cuarto
lugar es 10 10 10, o 1.000 (aqu 1 1.000, o 1.000).
Definiciones fundamentales
La aritmtica se ocupa del modo en que los nmeros se pueden combinar mediante adicin,
sustraccin, multiplicacin y divisin. Aqu la palabra nmero se refiere tambin a los nmeros
negativos, irracionales, algebraicos y fracciones. Las propiedades aritmticas de la suma y la
multiplicacin y la propiedad distributiva son las mismas que las del lgebra.
Adicin
La operacin aritmtica de la adicin (suma) se indica con el signo ms (+) y es una manera de
contar utilizando incrementos mayores que 1. Por ejemplo, cuatro manzanas y cinco manzanas se
pueden sumar ponindolas juntas y contndolas a continuacin de una en una hasta llegar a 9. La
adicin, sin embargo, hace posible calcular sumas ms fcilmente. Las sumas ms sencillas
deben aprenderse de memoria. En aritmtica, es posible sumar largas listas de nmeros con ms
de una cifra si se aplican ciertas reglas que simplifican bastante la operacin.
Sustraccin
La operacin aritmtica de la sustraccin (resta) se indica con el signo menos (-) y es la operacin
opuesta, o inversa, de la adicin. De nuevo, se podra restar 23 de 66 contando al revs 23 veces
empezando por 66 o eliminando 23 objetos de una coleccin de 66, hasta encontrar el resto, 43.
Sin embargo, las reglas de la aritmtica para la sustraccin nos ofrecen un mtodo ms sencillo
para encontrar la solucin.
9
Nmeros negativos
El clculo de la sustraccin aritmtica no es difcil siempre que el sustraendo sea menor que el
minuendo. Sin embargo, si el sustraendo es mayor que el minuendo, la nica manera de encontrar
un resultado para la resta es la introduccin del concepto de nmeros negativos.
La idea de los nmeros negativos se comprende ms fcilmente si primero se toman los nmeros
ms familiares de la aritmtica, los enteros positivos, y se colocan en una lnea recta en orden
creciente hacia el sentido positivo. Los nmeros negativos se representan de la misma manera
empezando desde 0 y creciendo en sentido contrario. La recta numrica que se muestra a
continuacin representa los nmeros positivos y negativos:

Para poder trabajar adecuadamente con operaciones aritmticas que contengan nmeros
negativos, primero se ha de introducir el concepto del valor absoluto. Dado un nmero cualquiera,
positivo o negativo, el valor absoluto de dicho nmero es su valor sin el signo. As, el valor
absoluto de +5 es 5, y el valor absoluto de -5 es tambin 5. En notacin simblica, el valor
absoluto de un nmero cualquiera a se representa |a| y queda definido as: el valor absoluto de a
es a si a es positivo, y el valor absoluto de a es -a si a es negativo.
Multiplicacin
La operacin aritmtica de la multiplicacin se indica con el signo por (). Algunas veces se utiliza
un punto para indicar la multiplicacin de dos o ms nmeros, y otras se utilizan parntesis. Por
ejemplo, 3 4, 3 4 y (3)(4) representan todos el producto de 3 por 4. La multiplicacin es
simplemente una suma repetida. La expresin 3 4 significa que 3 se ha de sumar consigo mismo
4 veces, o tambin que 4 se ha de sumar consigo mismo 3 veces. En ambos casos, la respuesta
es la misma. Pero cuando se multiplican nmeros con varias cifras estas sumas repetidas pueden
ser bastante tediosas; sin embargo, la aritmtica tiene procedimientos para simplificar estas
operaciones.
Divisin
La operacin aritmtica de la divisin es la operacin recproca o inversa de la multiplicacin.
Usando como ejemplo 12 dividido entre 4, la divisin se indica con el signo de dividir (12:4), una
lnea horizontal (0) o una raya inclinada (12/4).
La divisin es la operacin aritmtica usada para determinar el nmero de veces que un nmero
dado contiene a otro. Por ejemplo, 12 contiene a 4 tres veces; por eso 12 dividido entre 4 es 3, o 0
es 3.
La mayor parte de las divisiones se pueden calcular a simple vista, pero en muchos casos es ms
complicado y se necesita un procedimiento conocido como divisin larga.
Teora de los divisores
Antes de pasar a las fracciones, se deben mencionar algunos detalles sobre otras clases de
nmeros. Un nmero par es aqul que es divisible por 2. Un nmero impar es aqul que no es
divisible por 2. Un nmero primo es cualquier entero positivo mayor que 1 y que slo es divisible
por s mismo y por 1. Algunos ejemplos de nmeros primos son 2, 3, 5, 7, 11, 13, 17, 19 El nico
nmero primo par es el 2. Los enteros que no son primos se denominan compuestos, y todos se
pueden expresar como producto de nmeros primos.
10
Teorema fundamental de la aritmtica
"Todo entero mayor que 1 y que no sea un nmero primo es igual al producto de un y slo un
conjunto de nmeros primos". Este teorema fue demostrado por primera vez por el matemtico
alemn Carl Friedrich Gauss. Dado un cierto nmero, por ejemplo 14, el teorema dice que se
puede escribir de manera nica como el producto de sus factores primos, en este caso 14 =
2 7. De la misma manera, 50 = 2 5 5 = 2 52. El menor mltiplo y el mayor divisor comn a
varios nmeros se pueden calcular utilizando sus descomposiciones en factores primos.
Mnimo comn mltiplo
El mnimo comn mltiplo (m.c.m.) de dos o ms nmeros es el menor nmero que puede ser
dividido exactamente por todos y cada uno de ellos. El m.c.m. contiene el mayor nmero de todos
los factores primos que aparecen en cada uno de los nmeros dados. Por ejemplo, para encontrar
el m.c.m. de tres nmeros 27, 63 y 75, primero se descomponen en factores: 27 = 33,
63 = 32 7, y 75 = 3 52. El m.c.m. debe contener al menos los factores 33, 7 y 52; por tanto, 33 7
52 = 4.725 es el menor nmero que se puede dividir exactamente entre 27, 63 y 75.
Mximo comn divisor
El mayor factor comn a un conjunto dado de nmeros es su mximo comn divisor (m.c.d.). Por
ejemplo, dados 9, 15 y 27, el m.c.d. es 3, que se encuentra fcilmente examinando la
descomposicin en factores de cada uno de los nmeros: 9 = 32, 15 = 3 5, 27 = 33; el nico factor
que aparece en los tres nmeros es 3.
Fracciones
Los nmeros que representan partes de un todo se denominan nmeros racionales, fracciones o
quebrados. En general, las fracciones se pueden expresar como el cociente de dos nmeros
enteros a y b:

Una fraccin est en su forma reducida o cannica si el numerador y el denominador no tienen un
factor comn. Por ejemplo, ( no est en su forma reducida pues ambos, 6 y 8, son divisibles por 2:
( = (2 3)/ (2 4); sin embargo, ! es una fraccin en su forma cannica.
Existen dos tipos de fracciones, propias e impropias. Una fraccin propia es aquella en la que el
numerador es menor que el denominador; , -* y 1 son todas ellas fracciones propias. Una
fraccin impropia es aquella en que el numerador es mayor que el denominador; , -+ y ) son
fracciones impropias. Las fracciones impropias se pueden convertir en nmeros mixtos o en
enteros (por ejemplo, = 1 -+ = -2, y ) = 2) si se divide el numerador por el denominador y el resto
se expresa como una fraccin del denominador.
Decimales
El concepto de valores posicionales se puede extender para incluir a las fracciones. En vez de
escribir , o dos dcimos, se puede utilizar una coma decimal (,) de manera que 0,2 representa
tambin a la fraccin. Del mismo modo que las cifras a la izquierda de la coma representan las
unidades, decenas, centenas, aqullas a la derecha de la coma representan los lugares de las
dcimas (), centsimas (), milsimas (1/1.000) y as sucesivamente. Estos valores posicionales
siguen siendo potencias de 10, que se escriben como 10-1, 10-2, 10-3 En general, un nmero
como 5.428,632 se denomina quebrado o fraccin decimal, y 0,632 representa
11


Este nmero se lee como: "cinco mil cuatrocientos veintiocho coma seiscientos treinta y dos".

GEOMETRIA
Geometra (del griego geR, 'tierra'; metrein, 'medir'), rama de las matemticas que se ocupa de las
propiedades del espacio. En su forma ms elemental, la geometra se preocupa de problemas
mtricos como el clculo del rea y dimetro de figuras planas y de la superficie y volumen de
cuerpos slidos. Otros campos de la geometra son la geometra analtica, geometra descriptiva,
topologa, geometra de espacios con cuatro o ms dimensiones, geometra fractal, y geometra no
eucldea.
Geometra demostrativa primitiva
El origen del trmino geometra es una descripcin precisa del trabajo de los primeros gemetras,
que se interesaban en problemas como la medida del tamao de los campos o el trazado de
ngulos rectos para las esquinas de los edificios. Este tipo de geometra emprica, que floreci en
el Antiguo Egipto, Sumeria y Babilonia, fue refinado y sistematizado por los griegos. En el siglo VI
a.C. el matemtico Pitgoras coloc la piedra angular de la geometra cientfica al demostrar que
las diversas leyes arbitrarias e inconexas de la geometra emprica se pueden deducir como
conclusiones lgicas de un nmero limitado de axiomas, o postulados. Estos postulados fueron
considerados por Pitgoras y sus discpulos como verdades evidentes; sin embargo, en el
pensamiento matemtico moderno se consideran como un conjunto de supuestos tiles pero
arbitrarios.
Un ejemplo tpico de los postulados desarrollados y aceptados por los matemticos griegos es la
siguiente afirmacin: "una lnea recta es la distancia ms corta entre dos puntos". Un conjunto de
teoremas sobre las propiedades de puntos, lneas, ngulos y planos se puede deducir lgicamente
a partir de estos axiomas. Entre estos teoremas se encuentran: "la suma de los ngulos de
cualquier tringulo es igual a la suma de dos ngulos rectos", y "el cuadrado de la hipotenusa de
un tringulo rectngulo es igual a la suma de los cuadrados de los otros dos lados" (conocido
como teorema de Pitgoras). La geometra demostrativa de los griegos, que se ocupaba de
polgonos y crculos y de sus correspondientes figuras tridimensionales, fue mostrada
rigurosamente por el matemtico griego Euclides, en su libro Los elementos. El texto de Euclides,
a pesar de sus imperfecciones, ha servido como libro de texto bsico de geometra hasta casi
nuestros das.
Primeros problemas geomtricos
Los griegos introdujeron los problemas de construccin, en los que cierta lnea o figura debe ser
construida utilizando slo una regla de borde recto y un comps. Ejemplos sencillos son la
construccin de una lnea recta dos veces ms larga que una recta dada, o de una recta que divide
un ngulo dado en dos ngulos iguales. Tres famosos problemas de construccin que datan de la
poca griega se resistieron al esfuerzo de muchas generaciones de matemticos que intentaron
resolverlos: la duplicacin del cubo (construir un cubo de volumen doble al de un determinado
cubo), la cuadratura del crculo (construir un cuadrado con rea igual a un crculo determinado) y la
triseccin del ngulo (dividir un ngulo dado en tres partes iguales). Ninguna de estas
construcciones es posible con la regla y el comps, y la imposibilidad de la cuadratura del crculo
no fue finalmente demostrada hasta 1882.
12
Los griegos, y en particular Apolonio de Perga, estudiaron la familia de curvas conocidas como
cnicas y descubrieron muchas de sus propiedades fundamentales. Las cnicas son importantes
en muchos campos de las ciencias fsicas; por ejemplo, las rbitas de los planetas alrededor del
Sol son fundamentalmente cnicas.
Arqumedes, uno de los grandes cientficos griegos, hizo un considerable nmero de aportaciones
a la geometra. Invent formas de medir el rea de ciertas figuras curvas as como la superficie y el
volumen de slidos limitados por superficies curvas, como paraboloides y cilindros. Tambin
elabor un mtodo para calcular una aproximacin del valor de pi (), la proporcin entre el
dimetro y la circunferencia de un crculo y estableci que este nmero estaba entre 3 10/70 y 3
10/71.
Geometra analtica
La geometra avanz muy poco desde el final de la era griega hasta la edad media. El siguiente
paso importante en esta ciencia lo dio el filsofo y matemtico francs Ren Descartes, cuyo
tratado El Discurso del Mtodo, publicado en 1637, hizo poca. Este trabajo fragu una conexin
entre la geometra y el lgebra al demostrar cmo aplicar los mtodos de una disciplina en la otra.
ste es un fundamento de la geometra analtica, en la que las figuras se representan mediante
expresiones algebraicas, sujeto subyacente en la mayor parte de la geometra moderna.
Otro desarrollo importante del siglo XVII fue la investigacin de las propiedades de las figuras
geomtricas que no varan cuando las figuras son proyectadas de un plano a otro. Un ejemplo
sencillo de geometra proyectiva queda ilustrado en la figura 1. Si los puntos A, B, C y a, b, c se
colocan en cualquier posicin de una cnica, por ejemplo una circunferencia, y dichos puntos se
unen A con b y c, B con c y a, y C con b y a, los tres puntos de las intersecciones de dichas lneas
estn en una recta. De la misma manera, si se dibujan seis tangentes cualesquiera a una cnica,
como en la figura 2, y se trazan rectas que unan dos intersecciones opuestas de las tangentes,
estas lneas se cortan en un punto nico. Este teorema se denomina proyectivo, pues es cierto
para todas las cnicas, y stas se pueden transformar de una a otra utilizando las proyecciones
apropiadas, como en la figura 3, que muestra que la proyeccin de una circunferencia es una
elipse en el otro plano.



13




Modernos avances
La geometra sufri un cambio radical de direccin en el siglo XIX. Los matemticos Carl Friedrich
Gauss, Nikoli Lobachevski, y Jnos Bolyai, trabajando por separado, desarrollaron sistemas
coherentes de geometra no eucldea. Estos sistemas aparecieron a partir de los trabajos sobre el
llamado "postulado paralelo" de Euclides, al proponer alternativas que generan modelos extraos y
no intuitivos de espacio, aunque, eso s, coherentes.
Casi al mismo tiempo, el matemtico britnico Arthur Cayley desarroll la geometra para espacios
con ms de tres dimensiones. Imaginemos que una lnea es un espacio unidimensional. Si cada
uno de los puntos de la lnea se sustituye por una lnea perpendicular a ella, se crea un plano, o
espacio bidimensional. De la misma manera, si cada punto del plano se sustituye por una lnea
perpendicular a l, se genera un espacio tridimensional. Yendo ms lejos, si cada punto del
espacio tridimensional se sustituye por una lnea perpendicular, tendremos un espacio
tetradimensional. Aunque ste es fsicamente imposible, e inimaginable, es conceptualmente
slido. El uso de conceptos con ms de tres dimensiones tiene un importante nmero de
aplicaciones en las ciencias fsicas, en particular en el desarrollo de teoras de la relatividad.
Tambin se han utilizado mtodos analticos para estudiar las figuras geomtricas regulares en
cuatro o ms dimensiones y compararlas con figuras similares en tres o menos dimensiones. Esta
geometra se conoce como geometra estructural. Un ejemplo sencillo de este enfoque de la
geometra es la definicin de la figura geomtrica ms sencilla que se puede dibujar en espacios
con cero, una, dos, tres, cuatro o ms dimensiones. En los cuatro primeros casos, las figuras son
los bien conocidos punto, lnea, tringulo y tetraedro respectivamente. En el espacio de cuatro
dimensiones, se puede demostrar que la figura ms sencilla est compuesta por cinco puntos
como vrtices, diez segmentos como aristas, diez tringulos como caras y cinco tetraedros. El
tetraedro, analizado de la misma manera, est compuesto por cuatro vrtices, seis segmentos y
cuatro tringulos.


14
Otro concepto dimensional, el de dimensiones fraccionarias, apareci en el siglo XIX. En la dcada
de 1970 el concepto se desarroll como la geometra fractal.

GEOMETRIA ANALITICA
Geometra analtica, rama de la geometra en la que las lneas rectas, las curvas y las figuras
geomtricas se representan mediante expresiones algebraicas y numricas usando un conjunto de
ejes y coordenadas. Cualquier punto del plano se puede localizar con respecto a un par de ejes
perpendiculares dando las distancias del punto a cada uno de los ejes. En la figura 1, el punto A
est a 1 unidad del eje vertical (y) y a 4 unidades del horizontal (x). Las coordenadas del punto A
son por tanto 1 y 4, y el punto queda fijado dando las expresiones x = 1, y = 4. Los valores
positivos de x estn situados a la derecha del eje y, y los negativos a la izquierda; los valores
positivos de y estn por encima del eje x y los negativos por debajo. As, el punto B de la figura 1
tiene por coordenadas x = 5, y = 0. En un espacio tridimensional, los puntos se pueden localizar de
manera similar utilizando tres ejes, el tercero de los cuales, normalmente llamado z, es
perpendicular a los otros dos en el punto de interseccin, tambin llamado origen.

En general, una lnea recta se puede representar siempre utilizando una ecuacin lineal en dos
variables, x e y, de la forma ax + by + c = 0. De la misma manera, se pueden encontrar frmulas
para la circunferencia, la elipse y otras cnicas y curvas regulares. La geometra analtica se ocupa
de dos tipos clsicos de problemas. El primero es: dada la descripcin geomtrica de un conjunto
de puntos, encontrar la ecuacin algebraica que cumplen dichos puntos. Siguiendo con el ejemplo
anterior, todos los puntos que pertenecen a la lnea recta que pasa por A y B cumplen la ecuacin
lineal x + y = 5; en general, ax + by = c. El segundo tipo de problema es: dada una expresin
algebraica, describir en trminos geomtricos el lugar geomtrico de los puntos que cumplen dicha
expresin. Por ejemplo, una circunferencia de radio 3 y con su centro en el origen es el lugar
geomtrico de los puntos que satisfacen x2 + y2 = 9. Usando ecuaciones como stas, es posible
resolver algebraicamente esos problemas geomtricos de construccin, como la biseccin de un
ngulo o de una recta dados, encontrar la perpendicular a una recta que pasa por cierto punto, o
dibujar una circunferencia que pasa por tres puntos dados que no estn en lnea recta. La
geometra analtica ha tenido gran importancia en el desarrollo de las matemticas pues ha
unificado los conceptos de anlisis (relaciones numricas) y geometra (relaciones espaciales). El
estudio de la geometra no eucldea y de las geometras de espacios con ms de tres dimensiones
no habra sido posible sin un tratamiento analtico. Del mismo modo, las tcnicas de la geometra
analtica, que hacen posible la representacin de nmeros y expresiones algebraicas en trminos
geomtricos, han ayudado al clculo, la teora de funciones y otros problemas de las matemticas
avanzadas.
15
ALGEBRA
lgebra, 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. La aritmtica, sin embargo, no es capaz de
generalizar las relaciones matemticas, como el teorema de Pitgoras, que dice que en un
tringulo rectngulo el rea del cuadrado de lado la hipotenusa es igual a la suma de las reas de
los cuadrados de lado los catetos. La aritmtica slo da casos particulares de esta relacin (por
ejemplo, 3, 4 y 5, ya que 32 + 42 = 52). El lgebra, por el contrario, puede dar una generalizacin
que cumple las condiciones del teorema: a2 + b2 = c2. Un nmero multiplicado por s mismo se
denomina cuadrado, y se representa con el superndice 2. Por ejemplo, la notacin de 3 3 es 32;
de la misma manera, a a es igual que a2.
El lgebra clsica, que se ocupa de resolver ecuaciones, utiliza smbolos en vez de nmeros
especficos y operaciones aritmticas para determinar cmo usar dichos smbolos. El lgebra
moderna ha evolucionado desde el lgebra clsica al poner ms atencin en las estructuras
matemticas. Los matemticos consideran al lgebra moderna como un conjunto de objetos con
reglas que los conectan o relacionan. As, en su forma ms general, una buena definicin de
lgebra es la que dice que el lgebra es el idioma de las matemticas.
Historia
La historia del lgebra comenz en el antiguo Egipto y Babilonia, donde fueron capaces de
resolver ecuaciones lineales (ax = b) y cuadrticas (ax2 + bx = c), as como ecuaciones
indeterminadas como x2 + y2 = z2, con varias incgnitas. Los antiguos babilonios resolvan
cualquier ecuacin cuadrtica empleando esencialmente los mismos mtodos que hoy se
ensean. Tambin fueron capaces de resolver algunas ecuaciones indeterminadas.
Los matemticos alejandrinos Hern y Diofante continuaron con la tradicin de Egipto y Babilonia,
aunque el libro Las aritmticas de Diofante es de bastante ms nivel y presenta muchas
soluciones sorprendentes para ecuaciones indeterminadas difciles. Esta antigua sabidura sobre
resolucin de ecuaciones encontr, a su vez, acogida en el mundo islmico, en donde se le llam
"ciencia de reduccin y equilibrio". (La palabra rabe al-jabru que significa reduccin, es el origen
de la palabra lgebra). En el siglo IX, el matemtico al-JwDrizm-; escribi uno de los primeros
libros rabes de lgebra, una presentacin sistemtica de la teora fundamental de ecuaciones,
con ejemplos y demostraciones incluidas. A finales del siglo IX, el matemtico egipcio Abu Kamil
enunci y demostr las leyes fundamentales e identidades del lgebra, y resolvi problemas tan
complicados como encontrar las x, y, z que cumplen
x + y + z = 10, x2 + y2 = z2, y xz = y2.
En las civilizaciones antiguas se escriban las expresiones algebraicas utilizando abreviaturas slo
ocasionalmente; sin embargo, en la edad media, los matemticos rabes fueron capaces de
describir cualquier potencia de la incgnita x, y desarrollaron el lgebra fundamental de los
polinomios, aunque sin usar los smbolos modernos. Este lgebra inclua multiplicar, dividir y
extraer races cuadradas de polinomios, as como el conocimiento del teorema del binomio. El
matemtico, poeta y astrnomo persa Omar Khayyam mostr cmo expresar las races de
ecuaciones cbicas utilizando los segmentos obtenidos por interseccin de secciones cnicas,
aunque no fue capaz de encontrar una frmula para las races. La traduccin al latn del lgebra
de al-JwDrizm- fue publicada en el siglo XII. A principios del siglo XIII, el matemtico italiano
Leonardo Fibonacci consigui encontrar una aproximacin cercana a la solucin de la ecuacin
cbica x3 + 2x2 + cx = d. Fibonacci haba viajado a pases rabes, por lo que con seguridad utiliz
el mtodo arbigo de aproximaciones sucesivas.
A principios del siglo XVI los matemticos italianos Scipione del Ferro, Tartaglia y Gerolamo
Cardano resolvieron la ecuacin cbica general en funcin de las constantes que aparecen en la
16
ecuacin. Ludovico Ferrari, alumno de Cardano, pronto encontr la solucin exacta para la
ecuacin de cuarto grado y, como consecuencia, ciertos matemticos de los siglos posteriores
intentaron encontrar la frmula de las races de las ecuaciones de quinto grado y superior. Sin
embargo, a principios del siglo XIX el matemtico noruego Niels Abel y el francs variste Galois
demostraron la inexistencia de dicha frmula.
Un avance importante en el lgebra fue la introduccin, en el siglo XVI, de smbolos para las
incgnitas y para las operaciones y potencias algebraicas. Debido a este avance, el Libro III de la
Geometra (1637), escrito por el matemtico y filsofo francs Ren Descartes se parece bastante
a un texto moderno de lgebra. Sin embargo, la contribucin ms importante de Descartes a las
matemticas fue el descubrimiento de la geometra analtica, que reduce la resolucin de
problemas geomtricos a la resolucin de problemas algebraicos. Su libro de geometra contiene
tambin los fundamentos de un curso de teora de ecuaciones, incluyendo lo que el propio
Descartes llam la regla de los signos para contar el nmero de races verdaderas (positivas) y
falsas (negativas) de una ecuacin. Durante el siglo XVIII se continu trabajando en la teora de
ecuaciones y en 1799 el matemtico alemn Carl Friedrich Gauss public la demostracin de que
toda ecuacin polinmica tiene al menos una raz en el plano complejo (vase Nmero: Nmeros
complejos).
En los tiempos de Gauss, el lgebra haba entrado en su etapa moderna. El foco de atencin se
traslad de las ecuaciones polinmicas al estudio de la estructura de sistemas matemticos
abstractos, cuyos axiomas estaban basados en el comportamiento de objetos matemticos, como
los nmeros complejos, que los matemticos haban encontrado al estudiar las ecuaciones
polinmicas. Dos ejemplos de dichos sistemas son los grupos y las cuaternas, que comparten
algunas de las propiedades de los sistemas numricos, aunque tambin difieren de ellos de
manera sustancial. Los grupos comenzaron como sistemas de permutaciones y combinaciones
(vase Combinatoria) de las races de polinomios, pero evolucionaron para llegar a ser uno de los
ms importantes conceptos unificadores de las matemticas en el siglo XIX. Los matemticos
franceses Galois y Augustin Cauchy, el britnico Arthur Cayley y los noruegos Niels Abel y Sophus
Lie hicieron importantes contribuciones a su estudio. Las cuaternas fueron descubiertas por el
matemtico y astrnomo irlands William Rowan Hamilton, quien desarroll la aritmtica de los
nmeros complejos para las cuaternas; mientras que los nmeros complejos son de la forma a +
bi, las cuaternas son de la forma a + bi + cj + dk.
Despus del descubrimiento de Hamilton el matemtico alemn Hermann Grassmann empez a
investigar los vectores. A pesar de su carcter abstracto, el fsico estadounidense J. W. Gibbs
encontr en el lgebra vectorial un sistema de gran utilidad para los fsicos, del mismo modo que
Hamilton haba hecho con las cuaternas. La amplia influencia de este enfoque abstracto llev a
George Boole a escribir Investigacin sobre las leyes del pensamiento (1854), un tratamiento
algebraico de la lgica bsica. Desde entonces, el lgebra moderna tambin llamada lgebra
abstracta ha seguido evolucionando; se han obtenido resultados importantes y se le han
encontrado aplicaciones en todas las ramas de las matemticas y en muchas otras ciencias.
Smbolos y trminos especficos
Entre los smbolos algebraicos se encuentran nmeros, letras y signos que representan las
diversas operaciones aritmticas. Los nmeros son, por supuesto, constantes, pero las letras
pueden representar tanto constantes como variables. Las primeras letras del alfabeto se usan para
representar constantes y las ltimas para variables.
Operaciones y agrupacin de smbolos
La agrupacin de los smbolos algebraicos y la secuencia de las operaciones aritmticas se basa
en los smbolos de agrupacin, que garantizan la claridad de lectura del lenguaje algebraico.
17
Entre los smbolos de agrupacin se encuentran los parntesis ( ), corchetes [ ], llaves { } y rayas
horizontales tambin llamadas vnculos que suelen usarse para representar la divisin y las
races, como en el siguiente ejemplo:

Los smbolos de las operaciones bsicas son bien conocidos de la aritmtica: adicin (+),
sustraccin (-), multiplicacin () y divisin (:). En el caso de la multiplicacin, el signo
normalmente se omite o se sustituye por un punto, como en a b. Un grupo de smbolos
contiguos, como abc, representa el producto de a, b y c. La divisin se indica normalmente
mediante rayas horizontales. Una raya oblicua, o virgulilla, tambin se usa para separar el
numerador, a la izquierda de la raya, del denominador, a la derecha, en las fracciones. Hay que
tener cuidado de agrupar los trminos apropiadamente. Por ejemplo, ax + b/c - dy indica que ax y
dy son trminos separados, lo mismo que b/c, mientras que (ax + b)/(c - dy) representa la
fraccin:

Prioridad de las operaciones
Primero se hacen las multiplicaciones, despus las divisiones, seguidas de las sumas y las restas.
Los smbolos de agrupacin indican el orden en que se han de realizar las operaciones: se hacen
primero todas las operaciones dentro de un mismo grupo, comenzando por el ms interno. Por
ejemplo:

Otras definiciones
Cualquier expresin que incluya la relacin de igualdad (=) se llama ecuacin. Una ecuacin se
denomina identidad si la igualdad se cumple para cualquier valor de las variables; si la ecuacin
se cumple para ciertos valores de las variables pero no para otros, la ecuacin es condicional. Un
trmino es una expresin algebraica que slo contiene productos de constantes y variables;
2x, -a, s4x, x2(2zy)3 son algunos ejemplos de trminos. La parte numrica de un trmino se
denomina coeficiente. Los coeficientes de cada uno de los ejemplos anteriores son 2, -1, y 8 (el
ltimo trmino se puede escribir como 8x2(zy)3).
Una expresin que contiene un solo trmino se denomina monomio, dos trminos, binomio y tres
trminos, trinomio. Un polinomio es una suma (o diferencia) finita de trminos. Por ejemplo, un
polinomio de n-simo grado en su forma general se expresa como:

En este contexto, el grado es el mayor exponente de las variables en un polinomio. Por ejemplo, si
el mayor exponente de la variable es 3, como en ax3 + bx2 + cx, el polinomio es de tercer grado.
Del mismo modo, la expresin x
n
+ x
n-1
+ xn-2 es de n-simo grado.
Una ecuacin lineal en una variable es una ecuacin polinmica de primer grado, es decir, una
ecuacin de la forma ax + b = 0. Se les llama ecuaciones lineales porque representan la frmula
de una lnea recta en la geometra analtica.
18
Una ecuacin cuadrtica en una variable es una ecuacin polinmica de segundo grado, es decir,
de la forma ax2 + bx + c = 0.
Un nmero primo es un entero (nmero natural) que slo se puede dividir exactamente por s
mismo y por 1. As, 2, 3, 5, 7, 11 y 13 son todos nmeros primos.
Las potencias de un nmero se obtienen mediante sucesivas multiplicaciones del nmero por s
mismo. El trmino a elevado a la tercera potencia, por ejemplo, se puede expresar como aaa o
a3.
Los factores primos de un cierto nmero son aquellos factores en los que ste se puede
descomponer de manera que el nmero se puede expresar slo como el producto de nmeros
primos y sus potencias. Por ejemplo, los factores primos de 15 son 3 y 5. Del mismo modo, como
60 = 22 3 5, los factores primos de 60 son 2, 3 y 5.
Operaciones con polinomios
Al hacer operaciones con polinomios, se asume que se cumplen las mismas propiedades que para
la aritmtica numrica. En aritmtica, los nmeros usados son el conjunto de los nmeros
racionales. La aritmtica, por s sola, no puede ir ms lejos, pero el lgebra y la geometra pueden
incluir nmeros irracionales, como la raz cuadrada de 2 y nmeros complejos. El conjunto de
todos los nmeros racionales e irracionales constituye el conjunto de los nmeros reales.
Propiedades de la adicin
A1. La suma de dos nmeros reales a y b cualesquiera es otro nmero real que se escribe a + b.
Los nmeros reales son uniformes para las operaciones de adicin, sustraccin, multiplicacin y
divisin; esto quiere decir que al realizar una de estas operaciones con nmeros reales el
resultado es otro nmero real.
A2. Cualquiera que sea la forma en que se agrupan los trminos de la adicin, el resultado de la
suma es siempre el mismo: (a + b) + c = a + (b + c). Es la llamada propiedad asociativa de la
adicin.
A3. Dado un nmero real a cualquiera, existe el nmero real cero (0) conocido como elemento
neutro de la adicin, tal que a + 0 = 0 + a = a.
A4. Dado un nmero real a cualquiera, existe otro nmero real (-a), llamado elemento simtrico
de a (o elemento recproco de la suma), tal que a + (-a) = 0.
A5. Cualquiera que sea el orden en que se realiza la adicin, la suma es siempre la misma: a +
b = b + a. Es la llamada propiedad conmutativa de la adicin.
Cualquier conjunto de nmeros que cumpla las cuatro primeras propiedades se dice que forma un
grupo. Si adems el conjunto cumple A5, se dice que es un grupo abeliano o conmutativo.
Propiedades de la multiplicacin
Para la multiplicacin se cumplen propiedades similares a las de la adicin. Sin embargo, hay que
prestar especial atencin a los elementos neutro y recproco, M3 y M4.
M1. El producto de dos nmeros reales a y b es otro nmero real, que se escribe ab o ab.
19
M2. Cualquiera que sea la forma de agrupar los trminos de la multiplicacin, el producto es
siempre el mismo: (ab)c = a(bc). Es la llamada propiedad asociativa de la multiplicacin.
M3. Dado un nmero real a cualquiera, existe el nmero real uno (1) llamado elemento neutro de
la multiplicacin, tal que a(1) = 1(a) = a.
M4. Dado un nmero real a distinto de cero, existe otro nmero (a-1 o 1/a), llamado elemento
inverso (o elemento recproco de la multiplicacin), para el que a(a-1) = (a-1)a = 1.
M5. Cualquiera que sea el orden en que se realiza la multiplicacin, el producto es siempre el
mismo: ab = ba. Es la llamada propiedad conmutativa de la multiplicacin.
Un conjunto de elementos que cumpla estas cinco propiedades se dice que es un grupo abeliano,
o conmutativo, para la multiplicacin. El conjunto de los nmeros reales, excluyendo el cero
pues la divisin por cero no est definida es un grupo conmutativo para la multiplicacin.
Propiedad distributiva
Otra propiedad importante del conjunto de los nmeros reales relaciona la adicin y la
multiplicacin de la forma siguiente:
D1. a(b + c) = ab + ac
D2. (b + c)a = ba + ca
Un conjunto de elementos con una relacin de igualdad, en el que se definen dos operaciones
(como la adicin y la multiplicacin) que cumplan las propiedades de la adicin, A1 a A5, las
propiedades de la multiplicacin, M1 a M5, y la propiedad distributiva, D1 y D2, constituye un
cuerpo conmutativo.
Multiplicacin de polinomios
El siguiente ejemplo es el producto de un monomio por un binomio:

Este mismo principio multiplicar cada trmino del primer polinomio por cada uno del segundo
se puede ampliar directamente a polinomios con cualquier nmero de trminos. Por ejemplo, el
producto de un binomio y un trinomio se hace de la siguiente manera:

Una vez hechas estas operaciones, todos los trminos de un mismo grado se han de agrupar,
siempre que sea posible, para simplificar la expresin:

Factorizacin de polinomios
Dada una expresin algebraica complicada, resulta til, por lo general, el descomponerla en un
producto de varios trminos ms sencillos. Por ejemplo, 2x3 + 8x2y se puede factorizar, o
reescribir, como 2x2(x + 4y). El encontrar los factores de un determinado polinomio puede ser
20
materia de simple inspeccin o se puede necesitar el uso de tanteos sucesivos. Ciertos
polinomios, sin embargo, no se pueden factorizar utilizando coeficientes reales y son llamados
polinomios primos.
Algunas factorizaciones conocidas aparecen en los ejemplos siguientes.





Para factorizar suele ser til agrupar primero; aquellos trminos que sean similares se agrupan
como en el siguiente ejemplo, cuando sea posible:

Mximo comn divisor
Dado un polinomio, suele ser importante determinar el mayor factor comn a todos los trminos del
polinomio. Por ejemplo, en la expresin 9x3 + 18x2, el nmero 9 es un factor de ambos trminos, lo
mismo que x2. Tras su factorizacin se obtiene 9x2(x + 2), y 9x2 es el mximo comn divisor de
todos los trminos del polinomio original (en este caso un binomio). De la misma manera, en el
trinomio 6a2x3 + 9abx + 15cx2, el nmero 3 es el mayor submltiplo comn a 6, 9 y 15, y x es el
mayor factor de la variable comn a los tres trminos. Por tanto, el mximo comn divisor del
trinomio es 3x.
Mnimo comn mltiplo
Encontrar el mnimo comn mltiplo es til para poder hacer ciertas operaciones con fracciones
algebraicas. El procedimiento es similar al usado para realizar estas operaciones con fracciones
ordinarias en aritmtica. Para poder combinar dos o ms fracciones, los denominadores deben ser
iguales; la forma ms directa de obtener un denominador comn es multiplicar todos los
denominadores entre s. Por ejemplo:

21
Pero puede ocurrir que bd no sea el mnimo comn denominador. Por ejemplo:

Sin embargo, 18 es slo uno de los posibles denominadores comunes; el mnimo comn
denominador es 6:

En lgebra, el problema de encontrar el mnimo comn mltiplo es similar. Dadas varias
expresiones, su mnimo comn mltiplo es aquella expresin con el menor grado y los menores
coeficientes que se puede dividir exactamente por cada una de ellas. As, para encontrar un
mltiplo comn a los trminos 2x2y, 30x2y2, 9ay3, basta con multiplicar las tres expresiones entre
s y es fcil demostrar que (2x2y)(30x2y2)(9ay3) se puede dividir exactamente por cada uno de los
tres trminos; sin embargo, ste no es el menor de los mltiplos comunes. Para determinar cul es
el mnimo, cada uno de los trminos se ha de descomponer en sus factores primos. Para los
coeficientes numricos, 2, 30 y 9, los factores primos son 2, 2 3 5 y 3 3 respectivamente; el
mnimo comn mltiplo de los coeficientes debe ser por tanto 2 3 3 5, o 90, que es el producto
de la mnima cantidad de factores necesaria para obtener un mltiplo comn. De la misma manera,
como la constante a slo aparece una vez, debe ser un factor. En cuanto a las variables, se
necesitan x2 e y3; por tanto, el mnimo comn mltiplo de los tres trminos es 90ax2y3. Esta
expresin se puede dividir exactamente por cada uno de los trminos.
Resolucin de ecuaciones
Dada una ecuacin, el lgebra se ocupa de encontrar sus soluciones siguiendo el concepto
general de identidad a = a. Siempre que se apliquen las mismas operaciones aritmticas o
algebraicas en ambos lados de la ecuacin la igualdad se mantiene inalterada. La estrategia
bsica es despejar la incgnita en un lado de la igualdad y la solucin ser el otro lado. Por
ejemplo, para resolver la siguiente ecuacin lineal con una incgnita

los trminos que contienen la variable se despejan en un lado y las constantes en el otro. El
trmino 3x se puede eliminar del lado derecho mediante sustraccin; 3x se ha de restar del lado
izquierdo al mismo tiempo:

Despus se resta el nmero 6 de ambos lados:

Para despejar la x en el lado izquierdo se dividen ambos lados de la ecuacin por 2:

y la solucin es por tanto: x = 3. Para comprobar este resultado basta con sustituir el valor x = 3 en
la ecuacin original:
22

Resolucin de ecuaciones cuadrticas
Dada una ecuacin de segundo grado o cuadrtica en su forma general:

hay diversas posibilidades para resolverla dependiendo de la naturaleza especfica de la ecuacin
en cuestin. Si la ecuacin se puede factorizar, la solucin es inmediata. Por ejemplo:

Primero se escribe la ecuacin en su forma general

que se puede factorizar como:

La igualdad slo se cumple cuando uno de los factores es cero, es decir, cuando x = 5 o x = -2.
stas son las soluciones de la ecuacin, que de nuevo se pueden verificar mediante sustitucin.
Si a primera vista no se encuentra un modo directo de factorizar la ecuacin, puede existir otra
alternativa. Por ejemplo, en la ecuacin

la expresin 4x2 + 12x se podra factorizar como un cuadrado perfecto si fuera 4x2 + 12x + 9, que
equivale a (2x + 3)2. Esto se puede conseguir fcilmente sumando 9 al lado izquierdo de la
ecuacin. La misma cantidad debe sumarse, por supuesto, al lado derecho:


que se reduce a


o


y
23

pues h tiene dos valores. La primera ecuacin da la solucin x = (restando 3 de ambos lados:
2x = 1, y dividiendo ambos lados por 2: x = ). La segunda ecuacin da x = -7/2. Ambas
soluciones se pueden verificar como antes, sustituyendo los valores en cuestin en la ecuacin
original. Esta forma de resolucin se suele denominar mtodo del cuadrado perfecto. En
general, cualquier ecuacin cuadrtica de la forma

se puede resolver utilizando la frmula cuadrtica. Para cualquier ecuacin de este tipo las dos
soluciones de x estn dadas por la frmula:

Por ejemplo, para encontrar las races de

primero se pone la ecuacin en su forma general:

Por tanto, a = 1, b = -4 y c = 3. Estos valores se sustituyen en la frmula cuadrtica:

Sistemas de ecuaciones
En lgebra, lo normal es que haya que resolver no una sino varias ecuaciones al mismo tiempo. El
problema es encontrar el conjunto de todas las soluciones que cumplen todas las ecuaciones
simultneamente. El conjunto de ecuaciones que deben resolverse se denomina sistema de
ecuaciones y para resolverlo se pueden usar tcnicas especficas del lgebra. Por ejemplo,
dadas las dos ecuaciones lineales con dos incgnitas


hay un sistema sencillo: la variable y se despeja en la ecuacin (2) dando y = 5 - 2x; este valor de
y se sustituye en la ecuacin (1):

24

As el problema se reduce a una ecuacin lineal con una sola incgnita x, obtenindose


o


de donde

Si este valor se sustituye en cualquiera de las ecuaciones originales (1) o (2), se obtiene que

Otro mtodo ms rpido para resolver un sistema de ecuaciones es, en este caso, multiplicar
ambos lados de la ecuacin (2) por 4, con lo que queda:

Si ahora se resta la ecuacin (1) de la (2), entonces 5x = 10, o x = 2. Este procedimiento genera
otro avance en las matemticas, las matrices. La teora de matrices nos ayuda a obtener
soluciones para cualquier conjunto de ecuaciones lineales con cualquier nmero de incgnitas.

3000 A.C.-
2500 A.C.
Los textos de matemtica ms antiguos que se poseen
proceden de Mesopotamia, algunos textos cuneiformes tienen
ms de 5000 aos de edad.
Se inventa en China el baco, primer instrumento mecnico
para calcular.
Se inventan las tablas de multiplicar y se desarrolla el clculo
de reas.
1600 A.C
aprox.
El Papiro de Rhind, es el principal texto matemtico egipcio, fu
escrito por un escriba bajo el reinado del rey hicso Ekenenre
Apopi y contiene lo esencial del saber matemtico de los
egipcios. Entre estos, proporciona unas reglas para clculos de
adiciones y sustracciones de fracciones, ecuaciones simples de
primer grado, diversos problemas de aritmtica, mediciones de
superficies y volumenes.
entre 600 y
300 A.C.
La matemtica griega es conocida gracias a un prlogo
histrico escrito en el siglo V D.C. por el filsofo Proclo. Este
25
texto nombra a los gemetras griegos de aquel perodo, pero
sin precisar la naturaleza exacta de sus descubrimientos.
Del 550 al
450 A.C.
Se establece la era pitagrica. Pitgoras de Samos, personaje
semilegendario creador de un gran movimiento metafsico,
moral, religioso y cientfico. El saber geomtrico de los
pitagricos estaba en la geometra elemental, donde destaca el
famoso Teorema de Pitgoras, el cual fue establecido por su
escuela y donde la tradicin de los pitagricos llev a
atribuirselo a su maestro. Con respecto a la aritmtica el saber
de los pitagricos era enorme. Fueron los primeros en analizar
la nocin de nmero y en establecer las relaciones de
correspondencia entre la aritmtica y la geometra. Definieron
los nmero primos, algunas progresiones y precisaron la teora
de las proporciones. Los pitagricos propagaban de que todo
poda expresarse por medio de nmeros, pero luego tuvieron
que aceptar que la diagonal de un cuadrado era inconmesurable
con el lado del cuadrado.
Hacia el
460 A.C
El mercader Hipcrates de Quos, se convirti en el primero en
redactar unos Elementos, es decir, un tratado sistemtico de
matemticas.
alrededor
de 406 a
315 A.C.
El astrnomo Eudoxo, establece una Teora de la Semejanza.
276-194
A.C.
El matemtico griego Eratstenes ide un mtodo con el cual
pudo medir la longitud de la circunferencia de la tierra.
300-600
Los hindes conocen el sistema de numeracin babilnica por
posicin y lo adaptan a la numeracin decimal, creando as el
sistema decimal de posicin, que es nuestro sistema actual.
1100
Omar Khayyam desarrolla un mtodo para dibujar un segmento
cuya longitud fuera una raz real positiva de un polinomio
cbico dado.
1525
El matemtico alemn Christoff Rudolff emplea el smbolo
actual de la raz cuadrada