MATEMTICAS ELEMENTALES

Recordemos que este periodo abarca un enorme periodo de tiempo, alrededor de 2000
aos, desde los siglos VI-V a.C. hasta el siglo XVI.
En el ao 529 el emperador Justiniano cerr las escuelas griegas, pese a lo cual la
ciencia griega sigui presentando una cierta unidad. En el siglo VII el pensamiento
cientfico griego, ampliamente difundido, si bien no produce ya obras originales, se
encuentra ampliamente confrontado a otras tradiciones. En estas condiciones surgen los
rabes, creando un imperio tan extenso como sorprendente. Las condiciones de vida
econmicas y polticas que se formaron, favorecieron el desarrollo de las matemticas,
exigido por las necesidades del Estado, la irrigacin, las construcciones, el comercio y
la artesana, desarrollndose en el arsenal de los matemticos rabes, muchos
procedimientos de clculo y algortmos especiales.
En el continente europeo, las matemticas no tienen tan antiguo origen como en
muchos pases del Medio y Lejano Oriente, alcanzando slo xitos notorios en la poca
del Medievo desarrollado y especialmente en el Renacimiento.

Imperio Musulmn

Europa Medieval y Renacimiento

IMPERIO MUSULMN. Durante el primer siglo del Imperio Musulmn no se

produjo ningn desarrollo cientfico, ya que los rabes, no haban conseguido el
impulso intelectual necesario, mientras que el inters por el saber en el resto del mundo,
haba desaparecido casi completamente. Fue a partir de la segunda mitad del siglo VIII,
cuando comenz el desenfrenado proceso de traducir al rabe todas las obras griegas
conocidas. Se fundaron escuelas por todo el Imperio, entre las que destaca Bait AlHikma (Casa de la Sabidura). Entre los miembros de esta escuela destaca un nombre
propio Mohammed ibn-Musa Al-Khowarizmi que escribi ms de media docena de
obras matemticas y astronmicas, dos de las cuales han tenido especial importancia en
la historia. La primera de ellas est basada en una traduccin rabe de Brahmagupta y
en la que se da una reproduccin exacta del sistema de numeracin hind, lo que ha
originado la creencia popular de que nuestro sistema de numeracin procede del rabe.
El "nuevo" sistema de numeracin vino a ser conocido como "el de Al-Khowarizmi" y a
travs de deformaciones lingsticas deriv en "algorismi" y despus en algoritmo,
trmino que, actualmente, posee un significado mucho ms amplio. Igualmente, a travs
del titulo de su obra ms importante, el Hisab al-jabr wa-al-muqabala, nos ha
transmitido otro nombre mucho ms popular, la palabra "lgebra". En esta obra se
estudian seis tipos de ecuaciones cuadrticas, as como un sin fin de elementos griegos.
Con posterioridad a Al-Khuwarizmi se desarrollaron infinidad de procedimientos de
clculo y algoritmos especiales, entre ellos: - obtencin del nmero pi con 17 cifras
exactas mediante polgonos inscritos y circunscritos en la circinferencia realizada por
Kashi (s. XV). Despus de ms de 150 aos, en 1593, en Europa, Vite encontr slo
nueve cifras exactas. Hubo que esperar a fines del siglo XVI y comienzos del XVII para
repetir el clculo de Kashi. - clculo de races por el mtodo conocido actualmente

como de Ruffini-Horner, posiblemente como resultado de la estrecha colaboracin con

los matematicos chinos. Adems fue advertida y expresada la serie del desarrollo
binomial y fue tambin enunciada la tabla de coeficientes binomiales. - extraccin
aproximada de races, utilizando la interpolacin lineal. - sumacin de progresiones
aritmticas y geomtricas.
Asimismo, en virtud de la frecuente aplizacin en los clculos de las irracionalidades, el
lmite entre los nmeros racionales y los irracionales comenz a difuminarse,
amplindose la concepcin de nmero real positivo. La idea de una concepcin nica
del nmero real obtuvo pues, en el oriente Medio cierto perfeccionamiento. Los trabajos
algebraicos rabes entre los siglos IX-XV adems de la resolucin de ecuaciones de
primer y segundo grado, incluan tambin las ecuaciones cbicas. A estas ltimas
conducan diferentes tipos de problemas como la divisin de la esfera por un plano, la
triseccin del ngulo, la bsqueda del lado de un polgono regular de 9 lados... Otra
direccin en la resolucin de ecuaciones cbicas, se basaba en la obtencin de la imagen
geomtrica de la raz positiva, por medio de la interseccin de secciones cnicas,
convenientemente elegidas. Sin embargo el gran defecto del lgebra de esta poca era la
ausencia de una simbologa, lo que contuvo el desarrollo del lgebra. Adems de la
separacin del lgebra, el rasgo caracterstico ms importante de las matemticas rabes
fue la formacin de la trigonometra. En relacin con los problemas de astronoma,
confeccionaron tablas de las funciones trigonomtricas con gran frecuencia y alto grado
de exactitud, tanto en trigonometra plana como esfrica. Entre las obras geomtricas
destacan las de Omar Khayyam (s. XVI) y Nasir Edin (s. XIII), directamente
influenciadas por las obras clsicas, pero a las que contribuyeron con distintas
generalizaciones y estudios crticos, como los relativos al axioma euclideano del
paralelismo, que pueden considerarse como estudios precursores de la geometra no
euclideana.

EUROPA MEDIEVAL Y EL RENACIMIENTO. En el continente europeo, las

matemticas no tienen un origen tan antiguo como en muchos pases del Lejano y
Medio Oriente, alcanzando slo xitos notorios en la poca del medievo desarrollado y
especialmente en el Renacimiento. El punto de arranque de las matemticas en Europa
fue la creacin de los centros de enseanza. Con anterioridad, tan solo algunos monjes
se dedicaron a estudiar las obras de ciencias naturales y matemticas de los antiguos.
Uno de los primeros centros de enseanza fue organizado en Reims (Francia) por
Gerberto (Silvestre II) (940-1003). Fua posiblemente el primero en Europa que ense
el uso de los numerales hind-arbigos. Sin embargo hubo que esperar a que los
musulmanes rompieran la barrera lingstica, hacia el siglo XII, para que surgiera una
oleada de traducciones que pusieran en marcha la maquinaria matemtica. El trabajo de
los traductores fue sensacional. As Gerardo de Cremona (1114-1187) tradujo del rabe
ms de 80 obras. Durante el siglo XIII surgi la figura de Leonardo de Pisa (1180-1250)
ms conocido como Fibonacci. Alrededor del ao 1202 escribi su clebre obra "Liber
Abaci" (el libro del baco), en el que se encuentran expuestos: el clculo de nmeros
segn el sistema de numeracin posicional; operaciones con fracciones comunes,
aplicaciones y clculos comerciales como la regla de tres simple y compuesta, la
divisin proporcional, problemas sobre la determinacin de calidad de las monedas;
problemas de progresiones y ecuaciones; races cuadradas y cbicas... Fibonacci qued
inmortalizado por la famosa "sucesin de Fibonacci" y el famoso problema de los

conejos. Otra obra importante fue el "Practica Geometriae" dedicada a resolver

problemas geomtricos, especialmente medida de reas de polgonos y volmenes de
cuerpos. Otro contemporneo, aunque no tan excepcionalmente dotado fue Jordano
Nemorarius (1237-?) a quien debemos la primera formulacin correcta del problema del
plano inclinado. El profesor parisino Nicole Oresmes (1328-1382) generaliz el
concepto de potencia, introduciendo los exponentes fraccionarios, las reglas de
realizacin de las operaciones con ellos y una simbologa especial, anticipndose de
hecho a la idea de logaritmo. En una de sus obras lleg a utilizar coordenadas
rectangulares, aunque de forma rudimentaria, para la representacin grfica de ciertos
fenmenos fsicos.
Ya en el siglo XV, poca de las grandes navegaciones, la trigonometra fue separada de
la astronoma, alzndose como ciencia independiente de la mano de Regiomontano
(1436-1474), que trat de una manera sistemtica todos los problemas sobre la
determinacin de tringulos planos y esfricos.
Regiomontano enriqueci adems el concepto de nmero, introduciendo los radicales y
las operaciones con ellos, ampliando as las posibilidades de resolucin de ecuaciones.
Nicolo Tartaglia (1500-1557), Fiore y Scipin del Ferro (1456-1474) desarrollaron
frmulas para la bsqueda de ecuaciones de tercer grado.
Pero fue Jernimo Cardano (1501-1576) quien introdujo un mtodo regular de
resolucin de ecuaciones de tercer y cuarto grado en su obra "Ars Magna". En esta obra
se expresan diversos teoremas que relacionan races y coeficientes, as como la
divisibilidad de un polinomio por factores (x-x1), donde x1 es raz del polinomio.
Asimismo en esta obra se establece un notable cambio desde el lgebra literal al lgebra
simblica.
Fue Franois Vite (1540-1603) quien dio un sistema nico de smbolos algebraicos
consecuentemente organizado, gracias al cual result por primera vez posible, la
expresin de ecuaciones y sus propiedades mediante frmulas generales. Vite
estableci en todo momento, una fuerte conexin entre los trabajos trigonomtricos y
algebraicos, de forma que de igual manera que se le considera el creador del lgebra
lineal, se le podra considerar como uno de los padres del enfoque analtico de la
trigonometra, esto es, la goniometra. Para hacer ms fciles los clculos, los
matemticos desarrollaron ciertos procedimientos en los que, el papel fundamental lo
jugaban determinadas relaciones trigonomtricas, lo que llev a la confeccin de
numerosas tablas trigonomtricas. En la elaboracin de tablas trabajaron, por ejemplo,
Coprnico (1473-1543) y Kepler (1571-1630). Semejantes mtodos se utilizaban tan
frecuentemente que recibieron el nombre de "prostaferticos". Ellos fueron utilizados
por los matemticos de Oriente Medio, Vite, Tycho Brahe, Wittich, Brgi y muchos
otros.
Estos mtodos siguieron utilizndose incluso despus de la invencin de los logaritmos
a comienzos del siglo XVII, aunque sus fundamentos, basados en la comparacin entre
progresiones aritmticas y geomtricas, comenzaron a fraguarse mucho antes. En 1614
fue publicada por John Neper (1550-1617) la obra "Canonis mirifici logarithmorum
descriptio" y en ella las primeras tablas de logaritmos de funciones trigonomtricas.
Aos ms tarde, en estrecha colaboracin con Henry Briggs (1561-1630) desarrollaron
el sistema logartmico decimal. La teora de las funciones logartmicas fue
seguidamente desarrollada, alcanzando su culminacin en los trabajos de Leonard Euler.
Junto a estos avances cientfico-matemticos comenzaron a desarrollarse las primeras
mquinas de clculo.

NACIMIENTO: HASTA VI-V a.C.

El concepto de nmero surgi como consecuencia de la necesidad prctica de contar
objetos. Inicialmente se contaban con ayuda de los medios disponibles: dedos, piedras...
(basta recordar por ejemplo, que la palabra clculo deriva de la palabra latina calculus
que significa contar con piedras). La serie de nmeros naturales era, obviamente,
limitada, pero la conciencia sobre la necesidad de ampliar el conjunto de nmeros
representa ya una importante etapa en el camino hacia la matemtica moderna.
Paralelamente a la ampliacin de los nmeros se desarroll su simbologa y los sistemas
de numeracin, diferentes para cada civilizacin.
Estudiaremos cuatro culturas o civilizaciones, localizadas en esta misma pgina:

Antigua Civilizacin Egipcia

Mesopotamia o Antigua Babilonia

China Antigua

India Antigua

Grecia Clsica

ANTIGUA CIVILIZACIN EGIPCIA. La informacin disponible sobre la

civilizacin desarrollada a lo largo del Nilo es, lo suficientemente fiable, como para ser
considerada la primera civilizacin que alcanz un cierto desarrollo matemtico.
Nuestros conocimientos sobre las matemticas del Antiguo Egipto se basan
principalmente en dos grandes papiros de carcter matemtico y algunos pequeos
fragmentos, as como en las inscripciones en piedra encontradas en tumbas y templos.
Desarrollaron el llamado "sistema de numeracin jeroglfico", que consista en
denominar cada uno de los "nmeros clave" (1, 10, 100, 1000...) por un smbolo (palos,
lazos, figuras humanas en distintas posiciones...). Los dems nmeros se formaban
aadiendo a un nmero u otro del nmero central uno o varios de estos nmeros clave.
Un sistema de numeracin posterior a ste, pero de similares caractersticas sera el
sistema de numeracin romano. Tambin crearon fracciones, pero slo como divisores
de la unidad, esto es, de la forma 1/n; el resto de fracciones se expresaban siempre como
combinaciones de estas fracciones. Aparecen tambin los primeros mtodos de
operaciones matemticas, todos ellos con carcter aditivo, para nmeros enteros y
fracciones.
Algebraicamente se resuelven determinadas ecuaciones de la forma x+ax=b donde la
incgnita x se denominaba "montn". En geometra los avances en el clculo de reas y
volmenes, encontraron, por ejemplo, para el rea del crculo un valor aproximado del
nmero pi de 3'1605. Sin embargo el desarrollo geomtrico adolece de falta de teoremas
y demostraciones formales. Tambin encontramos rudimentos de trigonometra y
nociones bsicas de semejanza de tringulos.

MESOPOTAMIA O ANTIGUA BABILONIA. Bajo esta denominacin se engloban

los Estados situados entre el Tigris y el Eufrates y que existieron desde el ao 2000 a.C.
hasta el ao 200 a.C. Actualmente la informacin sobre esta civilizacin (en cuanto a
matemticas se refiere) es mucho mayor que la existente sobre la civilizacin egipcia,
debido a que en lugar de papiros, utilizaban escritura cuneiforme sobre tablillas de
arcilla, mucho ms resistentes al paso del tiempo. De las ms de 100.000 tablillas
conservadas, slo 250 tienen contenidos matemticos y de ellas apenas 50 tienen texto.
Al igual que sucede con los papiros, las tablillas contienen nicamente problemas
concretos y casos especiales, sin ningn tipo de formulacin general, lo que no quiere
decir que no existiera, pues es evidente, que tales colecciones de problemas no pudieron
deberse al azar.
Utilizaron el sistema de numeracin posicional sexagesimal, carente de cero y en el que
un mismo smbolo poda representar indistintamente varios nmeros que se
diferenciaban por el enunciado del problema. Desarrollaron un eficaz sistema de
notacin fraccionario, que permiti establecer aproximaciones decimales
verdaderamente sorprendentes. Esta evolucin y simplificacin del mtodo fraccionario
permiti el desarrollo de nuevos algoritmos que se atribuyeron a matemticos de pocas
posteriores, baste como ejemplo el algoritmo de Newton para la aproximacin de races
cuadradas.
Desarrollaron el concepto de nmero inverso, lo que simplific notablemente la
operacin de la divisin.
Encontramos tambin en esta poca los primeros sistemas de dos ecuaciones con dos
incgnitas; pero sin duda la gran aportacin algebraica babilnica se centra en el campo
de la potenciacin y en la resolucin de ecuaciones cuadrticas, tanto es as que llegaron
a la solucin para ecuaciones de la forma x2+px=q, p>0, q>0 y tambin ax2+bx=c
mediante el cambia de variable t=ax. Efectuaron un sin fin de tabulaciones que
utilizaron para facilitar el clculo, por ejemplo de algunas ecuaciones cbicas. El
dominio en esta materia era tal, que incluso desarrollaron algortmos para el clculo de
sumas de progresiones, tanto aritmticas como geomtricas. Su capacidad de
abstraccin fue tal que desarrollaron muchas de las que hoy se conocen como
ecuaciones diofnticas, algunas de las cuales estn ntimamente unidas con conceptos
geomtricos, terreno ste, en el que tambin superaron a la civilizacin egipcia,
constituyendo los problemas de medida el bloque central en este campo: rea del
cuadrado, del crculo (con una no muy buena aproximacin de pi igual a 3), volmenes
de determinados cuerpos, semejanza de figuras, e incluso hay autores que afirman que
esta civilizacin conoca el teorema de Pitgoras aplicado a problemas particulares,
aunque no, obviamente, como principio general.

CHINA ANTIGUA. Aunque la civilizacin china es cronolgicamente comparable a

las civilizaciones egipcia y mesopotmica, los registros existentes son bastante menos
fiables. La primera obra matemtica es "probablemente" el Chou Pei (horas solares)
1200 a.C.? y junto a ella la ms importante es "La matemtica de los nueve libros" o de
los nueve captulos. Esta obra, de carcter totalmente heterogneo, tiene la forma de
pergaminos independientes y estn dedicados a diferentes temas de carcter
eminentemente prctico formulados en 246 problemas concretos, a semejanza de los

egipcios y babilnicos y a diferencia de los griegos cuyos tratados eran expositivos,

sistemticos y ordenados de manera lgica. Los problemas resumen un compendio de
cuestiones sobre agricultura, ingeniera, impuestos, clculo, resolucin de ecuaciones y
propiedades de tringulos rectngulos.
El sistema de numeracin es el decimal jeroglfico. Las reglas de las operaciones son las
habituales, aunque destaca como singularidad, que en la divisin de fracciones se exige
la previa reduccin de stas a comn denominador. Dieron por sentado la existencia de
nmeros negativos, aunque nunca los aceptaron como solucin a una ecuacin. La
contribucin algebraica ms importante es, sin duda, el perfeccionamiento alcanzado en
la regla de resolucin de sistemas de ecuaciones lineales. Para todos los sistemas se
establece un mtodo genrico de resolucin muy similar al que hoy conocemos como
mtodo de Gauss, expresando incluso los coeficientes en forma matricial,
tranformndolos en ceros de manera escalonada. Inventaron el "tablero de clculo",
artilugio consistente en una coleccin de palillos de bamb de dos colores (un color para
expresar los nmeros positivos y otro para los negativos) y que podra ser considerado
como una especie de baco primitivo.
Esta orientacin algortmica de las matemticas en la China Antigua, se mantiene hasta
mediados del siglo XIV debido fundamentalmente a las condiciones socio-econmicas
de esta sociedad. Con el desarrollo del "mtodo del elemento celeste" se culmin el
desarrollo del lgebra en China en la edad media. Este mtodo, desarrollado por Chou
Shi Hi, permita encontrar races no slo enteras, sino tambin racionales, e incluso
aproximaciones decimales para ecuaciones de la forma Pn(x)=a4x4+a3x3+a2x2+a1x+ao .
El mtodo del elemento celeste es equivalente al que en Occidente denominamos
"mtodo de Horner", matemtico que vivi medio siglo ms tarde. Otro gran logro de la
poca medieval fue la suma de progresiones desarrollado por Chon Huo (s. XI) y Yang
Hui (s.XIII). Unido a estas sumas de progresiones se establecieron elementos slidos en
la rama de la combinatoria, construyendo el llamado "espejo precioso" de manera
similar al que hoy conocemos como tringulo de Tartaglia o Pascal.
No se puede decir que la geometra fuese el punto fuerte de la cultura china, limitndose
principalmente a la resolucin de problemas sobre distancias y semejanzas de cuerpos.
Aproximadamente a mediados del siglo XIV comenz en China un largo periodo de
estancamiento.

INDIA ANTIGUA. Son muy escasos los documentos de tipo matemtico que han
llegado a nuestras manos, pese a tener constancia del alto nivel cultural de esta
civilizacin. Aun ms que en el caso de China, existe una tremenda falta de continuidad
en la tradicin matemtica hind y al igual que ocurra con las tres civilizaciones
anteriores, no existe ningn tipo de formalismo terico. Los primeros indicios
matemticos se calculan hacia los siglos VIII-VII a.C, centrndose en aplicaciones
geomtricas para la construccin de edificios religiosos y tambin parece evidente que
desde tiempos remotos utilizaron un sistema de numeracin posicional y decimal. Fue,
sin embargo, entre los siglos V-XII d.C cuando la contribucin a la evolucin de las
matemticas se hizo especialmente interesante, destacando cuatro nombres propios:
Aryabhata (s.VI), Brahmagupta (s.VI), Mahavira (s. IX) y Bhaskara Akaria (s.XII). La

caracterstica principal del desarrollo matemtico en esta cultura, es el predominio de

las reglas aritmticas de clculo, destacando la correcta utilizacin de los nmeros
negativos y la introduccin del cero, llegando incluso a aceptar como nmeros validos
las nmeros irracionales. Profundizaron en la obtencin de reglas de resolucin de
ecuaciones lineales y cuadrticas, en las cuales las races negativas eran interpretadas
como deudas. Desarrollaron tambin, sin duda para resolver problemas astronmicos,
mtodos de resolucin de ecuaciones diofnticas, llegando incluso a plantear y resolver
(s.XII) la ecuacin x2=1+ay2, denominada ecuacin de Pelt. Como resumen acabaremos
diciendo que en la historia de la India se encuentran suficientes hechos que ponen en
evidencia la existencia de relaciones polticas y econmicas con los estados griegos,
egipcios, rabes y con China. Matemticamente se considera indiscutible la procedencia
hind del sistema de numeracin decimal y las reglas de clculo.

GRECIA La actividad intelectual de las civilizaciones desarrolladas en Egipto y

Mesopotamia, ya haba perdido casi todo su impulso mucho antes que comenzara la Era
Cristiana, pero a la vez que se acentuaba este declive, surgan con una fuerza
indescriptible nuevas culturas a lo largo de todo el Mediterrneo; y de entre ella, la
cultura helnica fue la principal abanderada en el terreno cultural. Tanto es as, que las
civilizaciones anteriores a la Antigua Grecia se conocen como culturas prehelnicas.
El helenismo nunca logr la unidad, ni en su poca de mximo apogeo ni cuando fue
amenazado con la destruccin. Ahora bien, en menos de cuatro siglos, de Tales de
Mileto a Euclides de Alejandra, y lo hayan querido o no los pensadores griegos, rivales
de ciudades o de escuelas, construyeron un imperio invisible y nico cuya grandeza
perdura hasta nuestros das. Este logro inslito se llama MATEMTICAS.
Salvo excepciones, los productores se agrupaban en escuelas. En los matemticos de
esta poca los problemas prcticos relacionados con las necesidades de clculos
aritmticos, mediciones y construcciones geomtricas continuaron jugando un gran
papel. Sin embargo, lo novedoso era, que estos problemas poco a poco se desprendieron
en una rama independiente de las matemticas que obtuvo la denominacin de
"logstica". A la logstica fueron atribuidas: las operaciones con nmeros enteros, la
extraccin numrica de races, el clculo con la ayuda de dispositivos auxiliares, clculo
con fracciones, resolucin numrica de problemas que conducen a ecuaciones de 1er y 2
grado, problemas prcticos de clculo y constructivos de la arquitectura, geometra,
agrimensura, etc...
Al mismo tiempo ya en la escuela de Pitgoras se advierte un proceso de recopilacin
de hechos matemticos abstractos y la unin de ellos en sistemas tericos. As por
ejemplo, de la aritmtica fue separada en una rama independiente la teora de nmeros,
es decir, el conjunto de conocimientos matemticos que se relacionan con las
propiedades generales de las operaciones con nmeros naturales. En esta poca ya
resultaban conocidos los mtodos de sumacin de progresiones aritmticas simples. Se
estudiaban cuestiones sobre la divisibilidad de los nmeros; fueron introducidas las
proporciones aritmticas, geomtricas y armnicas y diferentes medias: la aritmtica, la
geomtrica y la armnica. Junto a la demostracin geomtrica del teorema de Pitgoras
fue encontrado el mtodo de hallazgo de la serie ilimitada de las ternas de nmeros
"pitagricos", esto es, ternas de nmeros que satisfacen la ecuacin a2+b2=c2.

En este tiempo transcurrieron la abstraccin y sistematizacin de las informaciones

geomtricas. En los trabajos geomtricos se introdujeron y perfeccionaron los mtodos
de demostracin geomtrica. Se consideraron, en particular: el teorema de Pitgoras, los
problemas sobre la cuadratura del crculo, la triseccin de un ngulo, la duplicacin del
cubo y la cuadratura de una serie de reas (en particular las acotadas por lneas curvas).
Se descubri de manera tajante la irracionalidad, demostrando, por ejemplo, la
irracionalidad de la raz cuadrada de 2 por la va de reduccin al absurdo. Este
descubrimiento de la irracionalidad condujo inevitablemente a la elaboracin de la
teora de la divisibilidad.
La etapa siguiente se caracteriza por la necesidad de crear una teora matemtica general
tanto para los nmeros racionales como para los irracionales. Paralelamente, al
ampliarse el nmero de magnitudes medibles, debido a los nmeros irracionales, se
origin una reformulacin de la geometra, dando lugar al lgebra geomtrica. Esta
nueva rama inclua entre otros conceptos el mtodo de anexin de reas, el conjunto de
proposiciones geomtricas que interpretaban las cantidades algebraicas, divisin urea,
expresin de la arista de un poliedro regular a travs del dimetro de la circunferencia
circunscrita. Sin embargo, el lgebra geomtrica estaba limitada a objetos de dimensin
no mayor que dos, siendo inaccesibles los problemas que conducan a ecuaciones de
tercer grado o superiores, es decir, se hacan imposibles los problemas que no
admitieran solucin mediante regla y comps. La historia sobre la resolucin de los tres
problemas geomtricos clsicos (sobre la cuadratura del crculo, la triseccin de un
ngulo, la duplicacin del cubo) est llena de ancdotas, pero lo cierto es que como
consecuencia de ellos surgieron, por ejemplo, las secciones cnicas, clculo aproximado
del nmero pi, el mtodo de exhaucin como predecesor del clculo de lmites o la
introduccin de curvas trascendentes. Asimismo, el surgimiento de la irracionalidad
condicion la necesidad de creacin de una teora general de las relaciones, teora cuyo
fundamento inicial lo constituy el algoritmo de Euclides.
Construccin axiomtica de las Matemticas. Las primeras teoras matemticas que
se abstrajeron de los problemas concretos o de un conjunto de problemas de un mismo
tipo, crearon las condiciones necesarias y suficientes para el reconocimiento de la
autonoma y especificidad de las matemticas.
El carcter abstracto del objeto de las matemticas y los mtodos de demostracin
matemtica establecidos, fueron las principales causas para que esta ciencia se
comenzara a exponer como una ciencia deductiva, que a partir de unos axiomas,
presenta una sucesin lgica de teoremas. Las obras en las cuales, en aquella poca se
exponan los primeros sistemas matemticos de denominaban "Elementos". Se
encuentran elementos pertenecientes a muchos autores, sin embargo todos ellos han
quedado relegados a un segundo plano tras una de las obras matemticas ms
impresionante de la historia: Los Elementos de Euclides. "Los Elementos", como
denominaremos a esta obra a partir de ahora, estn constituidos por trece libros, cada
uno de los cuales consta de una sucesin de teoremas. A veces se aaden otros dos, los
libros 14 y 15 que pertenecen a otros autores pero por su contenido, estn prximos al
ltimo libro de Euclides.
Mtodos infinitesimales. En la construccin de las teoras matemticas en la Grecia
Antigua, muy temprano se especfico una clase especfica de problemas para la solucin

de los cuales, era necesario investigar los pasos al lmite, los procesos infinitos, la
continuidad ...
Algunos grupos de cientficos antiguos buscan la salida de estas dificultades en la
aplicacin a la matematica de las ideas filosficas atomicistas. El ejemplo ms notable
lo constituye Demcrito. Igualmente florecieron teoras totalmente contrarias a esta
concepcin. Tengamos en cuenta, por ejemplo, las paradojas de Zenn. Otro de los
mtodos ms antiguos de este gnero es el mtodo de exhaucin, atribuido a Euxodo y
aplicable al clculo de reas de figuras, volmenes de cuerpos, longitud de curvas,
bsqueda de subtangentes... Con el mtodo se demuestra la unicidad del lmite, pero no
se soluciona el problema sobre la existencia de lmite; aun as se considera la primera
forma del mtodo de lmites.
Los mtodos infinitesimales en la Antigua Grecia, sirvieron de punto de partida para
muchas investigaciones de los matemticos de los siglos XVI y XVII. particularmente
se estudiaban los mtodos de Arqumedes, en especial aquellos referidos al clculo de
volmenes. El propio Leibniz escribi que "estudiando los trabajos de Arqumedes
cesas de admirar los xitos de los matemticos actuales".
Durante la poca de Euclides y Arqumedes, las matemticas cambiaron fuertemente,
tanto en su forma como en su contenido, haciendo el proceso de formacin de nuevas
teoras ms pausado, hasta llegar a interrumpirse. Entre las nuevas teoras desarrolladas
ocupa el primer lugar la teora de las secciones cnicas, que surgi de las limitaciones
del lgebra geomtrica. El inters hacia las secciones cnicas creci a medida que
aumentaban la cantidad de problemas resueltos con su ayuda. Sin duda, la obra ms
completa, general y sistemtica de las secciones cnicas se debe a Apolonio de Perga.
Estos tres ltimos matemticos citados, Euclides, Arqumedes y Apolonio, sobresalieron
por encima de todos los de su tiempo y sus obras son las que han hecho que se
denomine como "Edad de Oro" de la matemtica al periodo comprendido entre los aos
300 y 200 a.C. Tras ellos se entr en un lento declive de forma que los resultados
perdieron generalidad, hacindose cada vez ms particulares y especiales.
En la poca del dominio romano destaca la evolucin en problemas de clculo, siendo
necesario sealar la "Mtrica" de Hern de Alejandra, formulada en forma de recetario
de reglas: regla de extraccin de races cuadradas y cbicas; clculo de reas y
volmenes; y en especial la conocida frmula de Hern para calcular el rea del
tringulo conocidos los tres lados. Igualmente son destacables los mtodos de Diofanto
que encontr soluciones a ms de 50 clases diferentes de ecuaciones, generalmente de
segundo grado, denominadas ecuaciones diofnticas. La fase final se caracteriza por la
aparicin de "comentaristas" que comentaban las obras clsicas, signo evidente del
descenso de creatividad. Entre ellos citaremos a Gmines de Rodas (100 a.C), Teon de
Alejandra (s. IV), Pappo de Alejandra (s. IV), Proclo (s.V) y Eutoquio (s. VI).
Resumiremos afirmando que las matemticas de la Antigua Grecia, representan uno de
los primeros ejemplos del establecimiento de las matemticas como ciencia,
desarrollndose en su seno, dentro de ciertos lmites, los elementos de las ciencias
matemticas ulteriores: lgebra, anlisis infinitesimal, geometra analtica, mecnica
terica y el mtodo axiomtico.

MATEMTICAS DE LAS VARIABLES:

SIGLOS XVI, XVII Y XVIII

Estudiaremos independientemente cada uno de estos siglos:

Siglo XVI
Siglo XVII
Siglo XVIII

SIGLO XVI
A finales del siglo XVI, Europa Occidental haba recuperado ya, la mayor parte de las
obras matemticas ms importantes de la antigedad que se han conservado hasta
nuestros das. Por otra parte, el lgebra rabe, haba sido asimilada y superada,
introduciendo un cierto simbolismo y la trigonometra, se haba convertido en una
disciplina independiente. La poca estaba ya casi madura, para llevar a cabo ciertos
avances que superaran las contribuciones tanto antiguas, como medievales y
renacentistas. Pero la transicin del Renacimiento al mundo moderno, se hizo tambin a
travs de un considerable nmero de figuras intermedias: Galileo, Cavalieri, Briggs,
Neper, Kepler y Vite entre otros.

SIGLO XVII
Durante el siglo XVII cambi la forma de existencia de las matemticas. En sustitucin
de los solitarios entusiastas, aparecieron las organizaciones cientficas como las
Academias de Londres y Pars, comenzando la organizacin de las instituciones y
sociedades cientficas, que se convirtieron en una forma fructfera de trabajo en equipo
de los cientficos. Tambin comenzaron durante este siglo las publicaciones peridicas.
Sin embargo se produjo un cambio muy importante en la concepcin de las
matemticas, complementando el estudio de los nmeros y dems magnitudes
constantes, con el estudio de los movimientos y transformaciones. En este siglo es
cuando tienen comienzo todas o casi todas las disciplinas matemticas:

Geometra Analtica.
Mtodos Integrales.

Mtodos Diferenciales.

Anlisis Infinitesimal.

Clculo de Probabilidades.

Geometra Analtica: En los trabajos de Ren Descartes (1596-1650) y Pierre de

Fermat (1601-1655), comenz a fraguarse la geometra analtica como un mtodo de

expresin de las relaciones numricas de las dimensiones, formas y propiedades de los

objetos geomtricos, utilizando esencialmente el mtodo de coordenadas. La ltima
parte de la famosa obra de Descartes "Discurso del Mtodo" denominada "Gometrie",
detalla en su comienzo, instrucciones geomtricas para resolver ecuaciones cuadrticas,
centrndose seguidamente en la aplicacin del lgebra a ciertos problemas geomtricos.
Analiza tambin curvas de distintos rdenes, para terminar en el tercer y ltimo libro
que compone la obra, con la construccin de la teora general de ecuaciones, llegando a
la conclusin de que el nmero de races de una ecuacin es igual al grado de la misma,
aunque no pudo demostrarlo. Prcticamente la totalidad de la Gometrie est dedicada a
la interrelacin entre el lgebra y la geometra con ayuda del sistema de coordenadas.
Simultneamente con Descartes, Pierre de Fermat desarroll un sistema anlogo al de
aqul. Las ideas de la geometra analtica, esto es, la introduccin de coordenadas
rectangulares y la aplicacin a la geometra de los mtodos algebraicos, se concentran
en una pequea obra: "Introduccin a la teora de los lugares planos y espaciales".
Aquellos lugares geomtricos representados por rectas o circunferencias se
denominaban planos y los representados por cnicas, especiales. Fermat abord a la
tarea de reconstruir los "Lugares Planos" de Apolonio, describiendo alrededor de 1636,
el principio fundamental de la geometra analtica: "siempre que en una ecuacin final
aparezcan dos incgnitas, tenemos un lugar geomtrico, al describir el extremo de uno
de ellos una lnea, recta o curva".
Utilizando la notacin de Vite, represent en primer lugar la ecuacin Dx=B, esto es,
una recta. Posteriormente identific las expresiones xy=k2; a2+x2=ky;
x2+y2+2ax+2by=c2; a2-x2=ky2 con la hiprbola, parbola circunferencia y elipse
respectivamente. Para el caso de ecuaciones cuadrticas ms generales, en las que
aparecen varios trminos de segundo grado, aplic rotaciones de los ejes con objeto de
reducirlas a los trminos anteriores. La extensin de la geometra analtica al estudio de
los lugares geomtricos espaciales, la realiz por la va del estudio de la interseccin de
las superficies espaciales por planos. Sin embargo, las coordenadas espaciales tambin
en l estn ausentes y la geometra analtica del espacio qued sin culminar. Lo que s
est totalmente demostrado, es que la introduccin del mtodo de coordenadas deba
atribuirse a Fermat y no a Descartes, sin embargo su obra no ejercio tanta influencia
como la Gometrie de Descartes, debido a la tardanza de su edicin y al engorroso
lenguaje algebraico utilizado.
El desarrollo posterior de la geometra analtica, mostr que las ideas de Descartes sobre
la unificacin del lgebra y geometra no pudo realizarse sino que siguieron un camino
separado aunque relacionado. L. Euler dio a la geometra analtica un aspecto prximo
al actual, dedicando a esto el segundo tomo de "Introduction al anlisis" (1748). Le
precedi slo Clairaut (1713-1765) que extendi la geometra analtica al espacio
tridimensional mediante la introduccin de un sistema de tres ejes coordenados
rectangulares. La denominacin geomtrica analtica fue introducida por primera vez
por el matemtico francs S. F. Lacroix (1764-1848) a finales del siglo XVIII.
El surgimiento de la geometra analtica, aliger sustancialmente la formacin del
anlisis infinitesimal y se convirti en un elemento imprescindible para la construccin
de la mecnica de Newton, Lagrange y Euler, significando la aparicin de las
posibilidades para la creacin del anlisis de variables.

Mtodos Integrales: Al comienzo, estos mtodos se elaboraban, acumulaban e

independizaban en el transcurso de la resolucin de problemas sobre el clculo de
volmenes, reas, centros de gravedad... formndose como mtodos de integracin
definida. El primero de los mtodos publicado fue el de las operaciones directas con
infinitesimales actuales. Apareci en el ao 1615 en las obras de Kepler. Para la
demostracin matemtica de las leyes de Kepler fue necesario utilizar las magnitudes
infinitesimales. Sin embargo, fue en su obra "Nueva esteriometra de toneles de vino..."
donde expuso su mtodo de utilizacin de magnitudes infinitesimales y los fundamentos
para la sumacin de estos. Muchos cientficos dedicaron sus trabajos al
perfeccionamiento del lado operativo de esta empresa, y a la explicacin racional de los
conceptos que surgan sobre esto. La mayor fama la adquiri la geometra de los
indivisibles, creada por Cavalieri, pensado como un mtodo universal de la geometra.
Este mtodo fue creado para la determinacin de las medidas de las figuras planas y
cuerpos, los cuales se representaban como elementos compuestos de elementos de
dimensin menor. As, las figuras constan de segmentos de rectas paralelas y los
cuerpos de planos paralelos. Sin embargo, este mtodo era incapaz de medir longitudes
de curvas, ya que los correspondientes indivisibles (los puntos) eran adimensionales.
Pese a ello, la integracin definida en forma de cuadraturas geomtricas, adquiri fama
en la primera mitad del siglo XVII, debido a la gran cantidad de problemas que podan
resolver. Las ideas que incluyen elementos de integracin definida abarcaban hacia los
aos 60 del siglo XVII amplias clases de funciones algebraicas y trigonomtricas. Era
necesario slo un impulso, la consideracin total de los mtodos desde un punto de vista
nico, para cambiar radicalmente toda la problemtica de integracin y crear el clculo
integral.

Mtodos Diferenciales: En las matemticas del siglo XVII junto a los mtodos
integrales, se formaron tambin los mtodos diferenciales, dando sus primeros pasos en
la resolucin de problemas. Tales problemas eran en aquella poca de tres tipos:
determinacin de las tangentes a las curvas, bsqueda de mximos y mnimos de
funciones y bsqueda de las condiciones de existencia de races mltiples de las
ecuaciones algebricas. En el transcurso de este siglo los problemas diferenciales, aun
se resolvan por los mtodos ms diversos. veamos algunos casos. Ya en la escuela de
Galileo, para la bsqueda de tangentes y normales a las curvas, se aplicaban
simultneamente los mtodos cinemticos, considerando diferentes lanzamientos y
movimientos complejos, determinando la tangente en cualquier punto de la trayectoria.
Torricelli, admirador de Galileo, estudi las trayectorias parablicas que siguen los
proyectiles disparados desde un punto fijo con velocidad inicial constante, pero con
ngulos de elevacin sobre la horizontal variables, descubriendo que la envolvente de
todas esas parbolas era otra parbola, la llamada parbola de seguridad. Al pasar de la
ecuacin de la distancia a la de la velocidad, ambas en funcin del tiempo, y
recprocamente, se dio cuenta Torricelli del carcter inverso que presentan los
problemas de cuadraturas en determinacin de tangentes. Sin embargo, su muerte
repentina a los 39 aos, trunc lo que poda haber sido la invencin del clculo
infinitesimal. La exposicin sistemtica del mtodo y sus aplicaciones ms importantes
las dio Roberval en 1640. La acumulacin de los mtodos del clculo diferencial
adquiri su forma ms clara en Fermat, quien resolvi el problema de la determinacin
de los valores extremales de una funcin f(x). Tambin est prximo al clculo
diferencial su mtodo de bsqueda de las tangentes a las curvas algebraicas, si bien las

funciones estudiadas eran polinmicas.

Hacia mediados del siglo XVII se acumul una reserva lo suficientemente grande de
recursos de resolucin de problemas, actualmente resolubles mediante le diferenciacin.
Sin embargo, no haban sido aun separados la operacin especfica de diferenciacin y
los conceptos equivalentes a los de derivada y diferencial.
El anlisis matemtico se formaba en los dominios y en los trminos del lgebra, la
geometra, la mecnica, formadas ya entonces como ciencias. As, cada nuevo clculo
matemtico siempre atraviesa un periodo de formacin en los lmites del ya existente
sistema de ciencias matemticas, utilizando sus recursos.

Anlisis Infinitesimal: La aparicin del anlisis infinitesimal fue la culminacin de un

largo proceso, cuya esencia matemtica interna consisti en la acumulacin y
asimilacin terica de los elementos del clculo diferencial e integral y la teora de las
series. Para el desarrollo de este proceso se contaba con: el lgebra; las tcnicas de
clculo; introduccin a las matemticas variables; el mtodo de coordenadas; ideas
infinitesimales clsicas, especialmente de Arqumedes; problemas de cuadraturas;
bsqueda de tangentes... Las causas que motivaron este proceso fueron, en primer
trmino, las exigencias de la mecnica, la astronoma y la fsica. En la resolucin de
problemas de este gnero, en la bsqueda de problemas generales de resolucin y en la
creacin del anlisis infinitesimal tomaron parte muchos cientficos: Kepler, Galileo,
Cavalieri, Torricelli, Pascal, Walis, Roberval, Fermat, Descartes, Barrow, Newton,
Leibniz, Euler,...
La ltima etapa del desarrollo del anlisis infinitesimal, fue el establecimiento de la
relacin e inversibilidad mutua entre las investigaciones diferenciales e integrales, y a
partir de aqu la formacin del clculo diferencial e integral. Este ltimo surgi como
una parte independiente de las matemticas, casi simultneamente en dos formas
diferentes: en la forma de teora de fluxiones de Newton y bajo la forma del clculo de
diferenciales de G.W. Leibniz.
Teora de fluxiones: En el mtodo de fluxiones se estudian las magnitudes variables,
introducidas como abstraccin de las diferentes formas del movimiento mecnico
continuo. Estas magnitudes variables se consideran cantidades que van fluyendo o
"fluentes". Despus se introducen las velocidades de la corriente de los fluentes, esto es,
las derivadas con relacin al tiempo. Ellas se denominan fluxiones, que a su vez son
tambin variables y poseen tambin sus fluxiones y as sucesivamente. Los smbolos de
la primera, segunda... fluxiones, si el fluente se designa por y sern,
Para el clculo de las velocidades instantneas, es decir, de las fluxiones, se exigan
variaciones infinitesimales de los fluentes, denominados por Newton momentos. El
smbolo del momento tiempo es 0; el momento del fluente "y" se escribe
., es decir,
el producto de la velocidad instantnea por el momento tiempo. En esencia, el momento
del fluente es su diferencial. Con esta teora se resuelven dos problemas fundamentales:
- determinacin de la velocidad de movimiento en un momento de tiempo dado, segn
un camino dado. De otro modo: determinacin de la relacin entre las fluxiones dada la
relacin entre los fluentes. - dada la velocidad de movimiento determinar el camino

recorrido en un tiempo dado. En trminos matemticos, determinar la relacin entre los

fluentes dada la relacin entre las fluxiones. El primer problema, llamado problema
directo, representa el problema de la diferenciacin implcita de funciones y obtencin
de la ecuacin diferencial, que expresa las leyes fundamentales de la naturaleza. El
segundo, llamado problema inverso, es el problema de la integracin de las ecuaciones
diferenciales.
Clculo de los diferenciales: en el plano puramente matemtico el clculo de Leibniz se
form bajo las siguientes premisas:
1. Problemas de sumacin de series y la utilizacin de los sistemas de diferencias
finitas.
2. Resolucin de problemas sobre tangentes, el tringulo de Pascal y el paso
gradual de las relaciones entre elementos finitos a arbitrarios y despus
infinitesimales.
3. Problemas inversos de tangentes, sumacin de diferencias infinitamente
pequeas, descubrimiento de la inversibilidad mutua entre los problemas
diferenciales e integrales.
l lleg a la idea sobre el smbolo "d" (abreviatura de la palabra "diferencia") para la
designacin de diferencias infinitesimales. Igualmente represent la integral como suma
de "todas" las ordenadas, que son una cantidad infinita y lo escribi con el smbolo
omny. Ms tarde incorpor el smbolo
inicial de la palabra Summa. Posteriormente
aclar la necesidad de perfeccionar el smbolo integral, incluyendo en l, el smbolo de
diferencial del argumento
. Se formularon reglas de diferenciacin de las
magnitudes de las magnitudes constantes, de la suma, diferencia, producto, cociente,
potencia y raz de funciones. Los diferenciales se interpretaron incialmente como
magnitudes proporcionales al incremento instantneo de la magnitud. Verdaderamente,
ms tarde, los diferenciales se definieron como diferencias infinitesimales. Los estudios
sobre clculo diferencial e integral se publicaron en 1684 y 1686 respectivamente. En
trabajos posteriores de Leibniz se abarca, en esencia, todas las partes del clculo
diferencial e integral obteniendo, por ejemplo, la regla de diferenciacin de la funcin
exponencial general, y la frmula de diferenciacin mltiple del producto. Generaliz
tambin el concepto de diferencial al caso de exponente fraccionario y negativo.

Mediante el nuevo clculo los matemticos de finales de siglo y comienzos del XVIII
lograron resolver un nmero, que creca rpidamente, de importantes problemas
difciles y prcticos. Estos xitos prcticos y la elaboracin del clculo, alcanzaron tal
nivel, que a finales de siglo (1696), apareci el primer manual de clculo diferencial y
sus aplicaciones a la geometra; "Anlisis Infinitesimal" de G.F. L'Hopital. Un extenso
lugar en las obras sobre historia de las matemticas de esta poca, estuvo marcado por la
disputa en la prioridad del descubrimiento del clculo diferencial e integral, por parte de
Newton o Leibniz; descubrimiento que, como se ha demostrado posteriormente tuvo
lugar de forma simultnea e independiente

El lgebra sigui rompiendo su hermandad con la geometra, fortalecindose el aparato

simblico literal, alcanzando gran desarrollo la teora de ecuaciones. La teora de
nmeros se enriqueci con las famosas investigaciones de Fermat. En particular a l
pertenece el conocido "Gran teorema de Fermat". En el ao 1665 B. Pascal formul el
principio de induccin matemtica.

Teora de Probabilidades: La teora de probabilidades, en relacin con los problemas

con los que se tomaban las investigaciones combinatorias, a mediados del siglo XVII
entr en el estadio de formacin como ciencia. Las consideraciones probabilsticas, en
las cuales las ideas intuitivas sobre el grado de posibilidad lgica se complementaba con
los clculos de frecuencia terica, comenzaron a aparecer en el siglo XVI, pero slo en
las obras de Pascal, Fermat y Huygens comenz a entrar en uso en relacin con el
problema de la reparticin de los sueldos, el concepto de esperanza matemtica. Al
parecer, en el mismo final del siglo XVII Jo. Bernouilli descubri la forma ms simple
de la ley de los nmeros generales (publicado en el ao 1713).

SIGLO XVIII
Durante el siglo XVIII la elaboracin cientfica y matemtica se centr casi
exclusivamente en Europa. Gradualmente fue creciendo el papel de los centros
superiores de enseanza, hacindose particularmente notable hacia finales de siglo con
la revolucin francesa.
Se podra decir que el siglo XVIII fue un tramite entre los siglos XVII, cuando se
inventaron la geometra analtica y el clculo infinitesimal y el siglo XIX, origen del
rigor matemtico y espectador de lujo del brillante florecimiento de la geometra.
Los matemticos ms importantes de la poca fueron casi todos franceses: Monge,
Lagrange, D'Alembert, Laplace, legendre, Carnot y Condorcet. las dos grandsimas
excepciones a esta lista fueron Euler y Gauss.
El concepto de anlisis infinitesimal se complet de nuevos hechos, encontrando las
operaciones de diferenciacin e integracin aplicaciones a una cada vez mayor gama de
funciones, dando lugar al anlisis funcional y dentro de l, al clculo de variaciones
como una de las partes ms importantes del anlisis matemtico moderno.
Comentar, por ltimo, que una revisin del desarrollo de las matemticas en el siglo
XVIII sera incompleta sin nombrar los trabajos tericos realizados en el terreno de la
probabilidad.
La elaboracin cientfica de los problemas matemticos se concentr casi
exclusivamente en los pases de Europa.
Junto a la formacin de los fundamentos del anlisis matemtico -el clculo diferencial
e integral- hacia comienzos de siglo surgieron resultados tambin en sus ramas
superiores: la teora de ecuaciones diferenciales y el clculo de variaciones. La teora de

las ecuaciones diferenciales ordinarias obtuvo un desarrollo sistemtico, comenzando

con los trabajos de Jo. Bernoulli y J. Ricatti. Los mtodos del clculo aritmtico se
enriquecieron con la aparicin de los logaritmos. Sobre la base de la ampliacin del
concepto de funcin al campo complejo y de la amplia aplicacin del desarrollo de
funciones en serie, comenz a crearse la teora de funciones de variable compleja. Se
complet igualmente, el conjunto de las disciplinas geomtricas y, adems de la ya
desarrollada geometra analtica, se formaba a finales de siglo la geometra descriptiva y
se profundizaba en el estudio de la perspectiva. Estudiemos por separado el desarrollo
de estas disciplinas:

Anlisis Infinitesimal
Anlisis Matemtico.

Clculo Diferencial.
Clculo Integral.
Ecuaciones Diferenciales
Clculo de Variaciones.

Desarrollo de la Geometra.

Geometra Analtica.
Geometra Diferencial.
Geometra Descriptiva y Proyectiva.
Anlisis Numrico.

Teora de Probabilidades.

o
o
o

o
o
o

Anlisis Infinitesimal: El problema de la creacin de la teora de funciones se convirti

en el problema preliminar del anlisis infinitesimal. El concepto de funcin tena dos
aspectos: la funcin como correspondencia y la funcin como expresin analtica. Los
xitos prcticos del anlisis infinitesimal, impulsaron a los cientficos a poner ms
atencin a este tratamiento del concepto de funcin, el cual permita operar con
funciones concretas. Fue en el transcurso de los aos 30 y 40, en lo fundamental gracias
a Euler, cuando se elabor, sistematiz y clasific la teora de las funciones elementales
analticas. La experiencia seal a los matemticos que todas las funciones conocidas,
eran desarrollables mediante series de potencias. Igualmente se crearon las premisas
para la teora de funciones de variable compleja.
Uno de los rasgos ms caractersticos del anlisis infinitesimal en el siglo XVIII era la
poca claridad de sus conceptos primarios, la imposibilidad de explicar racionalmente la
validez de las operaciones introducidas. Las ideas de los creadores del anlisis en esta
materia no se distinguan ni por su constancia ni por su determinacin. Tanto Newton
como Leibniz llevaron a cabo un conjunto de intentos de explicar sus clculos, sin
lograr xito. Entre los numerosos esfuerzos por encontrar una fundamentacin rigurosa
al anlisis infinitesimal, destacan los de Euler y D'Alembert. Segn Euler, el concepto
fundamental no es el de diferencial, sino el de derivada; en lo que se refiere a los

infinitesimales o diferenciales, ellos son simplemente ceros exactos. Pero esta teora de
Euler no pudo ser reconocida como satisfactoria pues se limitaba a enmascarar los pasos
reales al lmite, los cuales prcticamente se llevaban a cabo en la diferenciacin de
funciones. D'Alembert por su parte, pona objeciones a la teora de los ceros de Eules y
sostena que la notacin de los diferenciales no es ms que una manera vaga de hablar,
que depende para su justificacin del lenguaje de los lmites. Sin embargo, la teora de
los lmites del siglo XVIII, no obtuvo el reconocimiento de la mayora de sus
contemporneos. El trabajo ms serio que revel la posibilidad total del clculo
diferencial algebraico y que determin su destino fue el gran trabajo de Lagrange,
"Teora de las funciones analticas...". Demostr que toda funcin y=f(x+h) puede ser
desarrollada en serie de potencias en la forma f(x+h)=f(x)+ph+qh2+rh3... excepto en
determinados valores del argumento. Las series de potencias fueron pues, utilizadas
para la aproximacin de cualquier funcin por polinomios. Adems dedujo la frmula
del resto y el teorema del valor medio. Los coeficientes del desarrollo polinmico
fueron definidos por Lagrange como derivadas sucesivas. Pero sigui sin resolver el
concepto de lmite y las operaciones con series carecan de fundamento, al realizarse sin
el estudio de la convergencia de la serie. Semejantes dificultades existieron durante
mucho tiempo, hasta que a finales del siglo XIX fue creado el "aparato delta, epsilon"
de la teora de lmites.

Anlisis Matemtico: La riqueza real del anlisis acumulada durante el siglo XVIII es
tremenda. Veamos algunas de sus particularidades.

Clculo Diferencial: el clculo diferencial conserv una estrecha relacin con el clculo
de diferencias finitas, originado en los trabajos de Fermat, Barrow, Wallis y Newton
entre otros. As en 1711 Newton introdujo la frmula de interpolacin de diferencias
finitas de una funcin f(x); frmula extendida por Taylor al caso de infinitos trminos
bajo ciertas restricciones, utilizando de forma paralela el clculo diferencial y el clculo
en diferencias finitas. El aparato fundamental del clculo diferencial era el desarrollo de
funciones en series de potencias, especialmente a partir del teorema de Taylor,
desarrollndose casi todas las funciones conocidas por los matemticos de la poca.
Pero pronto surgi el problema de la convergencia de las serie, que se resolvi en parte
con la introduccin de trminos residuales, as como con la transformacin de series en
otras que fuesen convergentes. Junto a las series de potencias se incluyeron nuevos tipos
de desarrollos de funciones, como son los desarrollos en series asintticas introducidos
por Stirling y Euler. La acumulacin de resultados del clculo diferencial transcurri
rpidamente, acumulando casi todos los resultados que caracterizan su estructura actual.
Por ejemplo Euler demostr que en df(x,y)=Pdx+Qdy las derivadas parciales deben
satisfacer la condicin

Clculo Integral: los logros en este terreno pertenecieron inicialmente a J.Bernoulli,

quien escribi el primer curso sistemtico de clculo integral en 1742. Sin embargo, fue

Euler quien llev la integracin hasta sus ltimas consecuencias, de tal forma que los
mtodos de integracin indefinida alcanzaron prcticamente su nivel actual. El clculo
de integrales de tipos especiales ya a comienzos de siglo, conllev el descubrimiento de
una serie de resultados de la teora de las funciones especiales. Entre ellas citaremos las
funciones gamma y beta, el logaritmo integral o las funciones elpticas. Tambin se
desarroll el mtodo de las sustituciones complejas.
Ecuaciones Diferenciales: la teora de las ecuaciones diferenciales ordinarias se haba
desarrollado ya considerablemente antes de esta poca, pero el problema ms difcil de
la resolucin de ecuaciones en derivadas parciales era entonces un campo abierto para
los pioneros. El problema de la integracin de ecuaciones diferenciales, en su inicio, se
presentaba como parte de un problema ms general: el problema inverso del anlisis
infinitesimal. Adems cada una de las ecuaciones estaba justificada por la existencia de
un problema concreto, no existiendo a principios de siglo una teora general, con lo que
la va utilizada, fue la de resolver clases de ecuaciones lo ms amplias posibles. Los
primeros intentos de resolucin se centraron en las ecuaciones diferenciales lineales,
advirtindose resultados notables ya en los aos 20 con los trabajos de Ricatti, Golbach,
Bernoulli y Leibniz. En el ao 1743 Euler public el mtodo de resolucin de una
ecuacin diferencial lineal homogneo de cualquier orden, mediante la sustitucin y=ekx
o similares. D'Alembert encontr en 1766 que la solucin general de una ecuacin no
homognea lineal, es igual a la suma de cierta solucin particular y la solucin general
de la correspondiente ecuacin homognea. Junto a las ecuaciones diferenciales
ordinarias, fueron encontradas las soluciones de ciertas ecuaciones en derivadas
parciales, llevadas a cabo especialmente por Euler y D'Alembert. As, las ecuaciones
diferenciales en derivadas parciales de segundo orden surgieron preferentemente en el
curso de resolucin de problemas fsicos, entre los que cabe sealar el problema de la
cuerda, que conduce a la ecuacin: resuelta por Euler. Fue a finales de los 70 cuando
Lagrange estableci la forma de obtener soluciones singulares, as como la
interpretacin de las mismas como la familia de envolventes de las curvas integrales. El
estudio de estas familias de curvas integrales y la solucin de problemas sobre la
bsqueda de trayectorias envolventes e isogonales dio lugar a la aparicin de una nueva
rama dentro de la geometra: la geometra diferencial.
En resumen, el aparato del anlisis matemtico en el transcurso del siglo XVIII se
desarroll con rapidez extraordinaria tomando una forma y un volumen prximo al
actual. La diferenciacin y tambin la integracin mediante funciones elementales
fueron, en lo fundamental concluidas. Las ecuaciones diferenciales tanto las ordinarias
como en derivadas parciales, poco a poco, se convirtieron en una parte importantsima
del anlisis matemtico, en su tratamiento algortmico-operativo. Junto a la elaboracin
de los mtodos de resolucin de clases independientes de ecuaciones se formaron los
elementos de la teora general.

Clculo de Variaciones: El clculo de variaciones surgido en este siglo, recibi en los

trabajos de Euler y Lagrange la forma de una teora matemtica rigurosa, posibilitando
la resolucin de un gran nmero de problemas de carcter prctico, referidos a la
determinacin de los extremos de las funciones y que no admitan resolucin con los
medios del recientemente aparecido anlisis infinitesimal. Entre estos problemas
citaremos el de la braquistcrona, el problema isoperimtrico o el de las lneas

geodsicas sobre las superficies.

El primer mtodo general de resolucin de problemas de variaciones, fue elaborado en
una serie de trabajos de Euler durante los aos 1726 a 1744, presentando la primera
formulacin general de un problema de variaciones unidimensionales en 1735. Cuatro
aos despus, este mtodo fue generalizado, publicando ya en 1744, el que podramos
considerar como primer libro de la historia sobre clculo de variaciones. En el libro de
Euler se citan ms de 60 ejemplos que ilustran las posibilidades del nuevo mtodo. En
ellos se demuestra el valor prctico del clculo y se establece su estrecha relacin con la
mecnica y la fsica. El objetivo de este mtodo general era la bsqueda de lneas curvas
para las cuales cierta magnitud prefijable, alcanza su valor mximo o mnimo. Pese a la
practicidad del mtodo, ste adoleca de cierta falta de rigor sobre todo en cuestiones
relacionadas con los pasos al lmite.
La situacin cambi como consecuencia de la puesta en comn de ideas por parte de
Euler y Lagrange, al comunicar ste ltimo, el mtodo general analtico de clculo de la
variacin de la integral, mediante la integracin por partes. Este mtodo se basaba en la
introduccin de la variacin de una funcin y en la extensin a las variaciones de las
reglas del clculo diferencial. Lagrange fue, adems, el primero en sealar la posibilidad
de utilizar la segunda variacin para diferenciar el tipo de extremal encontrado. Con
posterioridad esta posibilidad fue convertida en condicin por Legendre y K. Jacobi (s.
XIX) y reafirmada por Weierstrass en 1879.

Desarrollo de la Geometra: Prcticamente todas las ramas clsicas de la geometra,

excluyendo slo las geometras no euclideanas, se formaron en este siglo. Se trata de las
geometras analtica, diferencial, descriptiva y proyectiva, as como numerosos trabajos
sobre los fundamentos de la geometra. Entre los diferentes problemas y mtodos de la
geometra, tuvieron gran significado las aplicaciones geomtricas del clculo
infinitesimal. De ellas surgi y se desarroll la geometra diferencial, la ciencia que
ocup durante el siglo XVIII el lugar central en al sistema de las disciplinas
geomtricas.

Geometra Analtica: bajo esta denominacin se considera aquella parte de la geometra

donde se estudian las figuras y transformaciones geomtricas dadas por ecuaciones
algebraicas.
Las puertas a esta rama fueron abiertas, ya en el siglo XVII por Descartes y Fermat,
pero slo incluan problemas planos. Hubo de ser Newton quien en 1704 diera un paso
importante al publicar la obra, "Enumeracin de las curvas de tercer orden",
clasificando las curvas segn el nmero posible de puntos de interseccin con una recta,
obteniendo un total de 72 tipos de curvas, que se podan representar por ecuaciones de
cuatro tipos. Si designamos ax3+bx2+cx+d=A, entonces las soluciones indicadas sern:
xy2+ey=A ; xy=A ; y2=A ; y=A. Sin embargo, lo verdaderamente importante de esta
obra fue el descubrimiento de las nuevas posibilidades del mtodo de coordenadas,
definiendo los signos de las funciones en los cuatro cuadrantes.
Con posterioridad a Newton, las curvas de tercer orden fueron estudiadas por Stirling,
Maclaurin, Nicolle, Maupertius, Braikenridge, Steiner, Salmon, Silvestre, Shall,
Clebsch y otros. Fue Euler quien, en 1748, sistematiz la geometra analtica de una
manera formal. En primer lugar expuso el sistema de la geometra analtica en el plano,

introduciendo adems de las coordenadas rectangulares en el espacio, las oblicuas y

polares. En segundo lugar, estudi las transformaciones de los sistemas de coordenadas.
Tambin clasific las curvas segn el grado de sus ecuaciones, estudiando sus
propiedades generales. En otros apartados de sus obras trat las secciones cnicas, las
formas cannicas de las ecuaciones de segundo grado, las ramas infinitas y asintticas
de las secciones cnicas y clasific las curvas de tercer y cuarto orden, demostrando la
inexactitud de la clasificacin newtoniana. Tambin estudi las tangentes, problemas de
curvaturas, dimetros y simetras, semejanzas y propiedades afines, interseccin de
curvas, composicin de ecuaciones de curvas complejas, curvas trascendentes y la
resolucin general de ecuaciones trigonomtricas. Todo estos aspectos se recogen en el
segundo tomo de la obra "Introduccin al anlisis..." que Euler dedic exclusivamente a
la geometra analtica.
En la segunda mitad del siglo se introdujeron slo mejoras parciales, pues en lo
fundamental, la geometra analtica ya estaba formada. Destacaremos entre otros los
nombres de G. Monge, Lacroix y Menier.

Geometra diferencial: esta disciplina matemtica se encarga del estudio de los objetos
geomtricos, o sea, las curvas, superficies etc... Su singularidad consiste en que
partiendo de la geometra analtica utiliza mtodos del clculo diferencial.
A comienzos de siglo ya haban sido estudiados muchos fenmenos de las curvas planas
por medio del anlisis infinitesimal, para pasar posteriormente a estudiar las curvas
espaciales y las superficies. Este traspaso de los mtodos de la geometra bidimensional
al caso tridimensional fue realizado por Clairaut. Sin embargo, su obra fue eclipsada,
como casi todo en esta poca, por los trabajos de Euler. El primer logro de Euler en este
terreno, fue la obtencin de la ecuacin diferencial de las lneas geodsicas sobre una
superficie, desarrollando a continuacin una completa teora de superficies,
introduciendo entre otros el concepto de superficie desarrollable. A finales de siglo, es
desarrollo de esta rama entr en un ligero declive, debido principalmente a la pesadez y
complejidad del aparato matemtico.

Geometra descriptiva y proyectiva: los mtodos de la geometra descriptiva surgieron

en el dominio de las aplicaciones tcnicas de la matemtica y su formacin como
ciencia matemtica especial, se culmin en los trabjos de Monge, cuya obra en este
terreno qued plasmada en el texto "Gometrie descriptive". En la obra se aclara, en
primer lugar, el mtodo y objeto de la geometra descriptiva, prosiguiendo a
continuacin, con instrucciones sobre planos tangentes y normales a superficies curvas.
Analiza en captulos posteriores la interseccin de superficies curvas y la curvatura de
lneas y superficies.
El perfeccionamiento de carcter particular y la elaboracin de diferentes mtodos de
proyeccin contituyeron el contenido fundamental de los trabajos sobre geometra
proyectiva en lo sucesivo. La idea del estudio de las propiedades proyectivas de los
objetos geomtricos, surgi como un nuevo enfoque que simplificara la teora de las
secciones cnicas. Las obras de Desargues y Pascal resuelven este problema y sirven de
base a la nueva geometra.

Anlisis Numrico: La independencia de lgebra y geometra (en contra de las ideas de

Descartes) se determin ya a comienzos de siglo, cuando en 1707 vio la luz la
"Aritmtica Universal" de Newton. En ella el lgebra se expona en estrecha relacin
con el desarrollo de los mtodos de clculo, relegando las cuestiones geomtricas al
dominio de las aplicaciones. La esencia de la obra consiste en reducir cualquier
problema a la formacin de una ecuacin algebraica, cuya raz es la solucin del
problema. Culmina el libro con los resultados de la teora general de ecuaciones y
adems la resolucin grfica de stas, mediante la construccin geomtrica de las races.
Este famoso tratado contiene las frmulas, para las sumas de las potencias de las races
de una ecuacin algebraica, frmulas conocidas habitualmente como "identidades de
Newton". Aparece tambin un teorema que permite determinar el nmero de races
reales de un polinomio, as como una regla para determinar una cota superior de las
races positivas.
Despus de la Aritmtica Universal de Newton, surgieron una serie de monografas,
especialmente centradas en los procedimientos de resolucin numrica de ecuaciones,
elaboradas por Halley, Lagrange, Fourier y Maclaurin entre otros.
En 1768 apareci la "Aritmtica Universal" de Euler, dictada por ste cuando ya estaba
ciego. En ella se analizan un sin fin de resultados: se generalizan las reglas de
resolucin de problemas aritmticos; se desarrolla el aparato simblico-literal del
lgebra; se aclaran las operaciones con nmeros, monomios, radicales y complejos; se
introducen los logaritmos; se dan las reglas de extraccin de las races de nmeros y de
expresiones algebraicas polinomiales; se introducen las serie como medio de expresin
de las funciones racionales fraccionarias y binomiales con exponentes fraccionarios y
negativos de una potencia; se introducen los nmeros poligonales, las proporciones y
progresiones, las fracciones decimales peridicas y se estudian los mtodos de
resolucin de ecuaciones algebraicas.
As, en esencia, el lgebra se convirti en la ciencia sobre las ecuaciones algebraicas. En
ella se inclua adems, la elaboracin del aparato simblico-literal necesario para la
resolucin de tales ecuaciones. Tambin se profundiz en el concepto de nmero,
producindose de una manera definitiva la admisin de los nmeros irracionales.
Igualmente se profundiz en las reglas de operaciones con nmeros imaginarios y
complejos, pero siempre bajo la premisa de la obtencin de races de ecuaciones.
Fue tambin Euler quien se ocup de una manera definitiva de lo que hoy en da
conocemos como teora de nmeros. Comenz estudiando los teoremas de Fermat, para
desarrollar a continuacin todos los aspectos de esta teora, preferentemente utilizando
mtodos aritmticos y algebraicos, rehuyendo en la medida de lo posible del anlisis
infinitesimal. A l debemos la actual teora de congruencias, a la que lleg tras extensos
trabajos sobre la divisibilidad y tras introducir el concepto de raz primitiva segn el
mdulo m.
No de menor importancia que la teora de congruencias fueron sus trabajos sobre
problemas de anlisis diofntico, para cuyas necesidades elabor y fundament la teora
de las fracciones continuas. Asimismo elabor los mtodos analticos para la resolucin
de problema de la distribucin de nmeros primos, en la serie de los nmeros naturales
y tambin para una serie de problemas aditivos. El primero de estos problemas fue
tratado tambin por Legendre y Chebyshev. Para el segundo de los problemas, donde se
estudia el desarrollo de los nmeros grandes en sumandos menores, cabe destacar junto
a Euler los nombres de Waring y Lagrange.
La teora de nmeros en el siglo XVIII, se convirti pues, en una rama independiente,

sintetizada en los trabajos de Euler, Lagrange, Legendre y Lambert entre otros,

definindose prcticamente los principales problemas y direcciones.

Teora de Probabilidades: La teora de probabilidades debe ms a Laplace que a

ningn otro matemtico. Desde1774 escribi muchos artculos sobre el tema y los
resultados obtenidos los incorpor y organiz en su obra "Teora Analtica de las
Probabilidades" publicada en 1812. Sin embargo el primero de los resultados tericos en
esta rama fue, al parecer, la demostracin realizada por Moivre en 1730 del teorema
local del lmite central.
El problema del clculo de probabilidades sobre la base de observaciones en diferentes
aspectos, tambin fue tratado por D.Bernoulli, Euler, Simpson y Condorcet, siendo uno
de los resultados ms importantes las frmulas de Bayes publicadas en 1764. Junto a
esto Legendre, Laplace y Gauss elaboraron el mtodo de mnimos cuadrados.
Todo el aparato matemtico que permiti desarrollar la teora de probabilidades est
extrado del anlisis combinatorio, disciplina iniciada por Leibniz y Ja. Bernoulli.
Posteriormente se introdujo la teora de lmites disminuyendo el peso especfico de los
mtodos combinatorios.

MATEMTICAS CONTEMPORNEAS

SIGLO XIX
El siglo XIX merece ser llamado ms que ningn otro periodo anterior la edad de Oro
de la Matemtica. Los progresos realizados durante este siglo superan con mucho, tanto
en calidad como en cantidad, la produccin reunida de todas las pocas anteriores. este
siglo fue tambin, con la excepcin de la poca Heroica de la Antigua Grecia, el ms
revolucionario de la historia de la Matemtica.
Las particularidades del nuevo periodo se manifiestan ya nada ms comenzar el siglo.
En lgebra hay que tener en cuenta los trabajos de Abel y Galois sobre la resolucin de
ecuaciones algebraicas en radicales. Ellos promovieron a un primer lugar en el lgebra
una serie de conceptos generales muy abstractos, entre los cuales merece el primer lugar
el concepto de grupo.
El descubrimiento en los aos 20-30 por Lobachevski y tambin por J. Bolyai y Gauss
de los hechos fundamentales de la geometra hiperblica no euclideana y en los aos 6070 la bsqueda de sus interpretaciones, provocaron en el sistema de ciencias
geomtricas transformaciones de carcter revolucionario. El sistema de disciplinas que
forman parte del anlisis matemtico, sufri en sus fundamentos una muy profunda
reconstruccin sobre la base de la creada teora de lmites y la teora del nmero real. A
finales de siglo, los recursos del anlisis se complementaban con lo que ya se ha venido
a llamar aparato epsilon, delta. Junto a este desarrollo del anlisis matemtico clsico, se
separaron de l disciplinas matemticas independientes: la teora de ecuaciones
diferenciales, la teora de funciones de variable real y la teora de funciones de variable
compleja. Antes de estudiar estos aspectos ms detalladamente citemos tres rasgos que
tienen un carcter general para la mayora de las ciencias matemticas:

1. En primer lugar debe tenerse en cuenta la ampliacin del contenido del objeto de
las matemticas, debido fundamentalmente a las exigencias crecientes de las
ciencias afines.
2. En segundo lugar la necesidad de fundamentar las matemticas en su conjunto,
producindose una revisin crtica de los conceptos primarios y afirmaciones.
3. La tercera particularidad es la ampliacin considerable del campo de
aplicaciones, condicionado por el aumento de posibilidades del aparato del
anlisis matemtico.

lgebra Moderna.

Teora General de Ecuaciones Algebraicas.

Teora de Grupos.
lgebra Lineal.
Anlisis Matemtico.

Teora de Lmites.
Teora de Funciones.
Teora de Nmero Real y Teora de Conjuntos.
Teora de las funciones de variable compleja.

Transformacin de la geometra.

o
o
o

o
o
o

lgebra Moderna: El lgebra moderna es un campo extraordinariamente amplio y

ramificado en el que se recogen un gran nmero de disciplinas cientficas e
independientes cuyo objeto comn son las operaciones algebraicas, las cuales
representan abstracciones lejanas de las operaciones del lgebra elemental.

Teora General de las Ecuaciones algebraicas: Este fue el problema fundamental del
lgebra durante el siglo XIX, entendindose como la bsqueda de las races de la
ecuacin con ayuda de operaciones racionales y la operacin de la extraccin de la raz.
En este poca se introdujeron una serie de conceptos, entre ellos el concepto de grupo,
que yacen en la base del lgebra moderna. Tengamos en cuenta los trabajos de K.F.
Gauss, N.H. Abel y E. Galois, relativos a la demostracin de la no resolubilidad en
radicales de las ecuaciones de grado mayor que cinco y la creacin de la teora de
Galois.
Karl Friedrich Gauss hizo sus primeros descubrimientos en lgebra siendo muy joven,
advirtiendo ya en 1796 la relacin entre la bsqueda de races de la ecuacin xn-1=0 y la
divisin de la circunferencia en partes iguales. Tres aos ms tarde demostraba el
teorema fundamental del lgebra, dando en 1815, 1816 y 1849 tres nuevas
demostraciones. Recordemos que la primera formulacin de este teorema, sin
demostrar, fue la dada por Descartes. para la demostracin de este teorema necesit
construir los campos de desarrollo de los polinomios.
Otro de los notables descubrimientos algebraicos de comienzo de siglo es la
demostracin de la irresolubilidad en radicales de las ecuaciones de quinto grado. Por

este camino llev P. Ruffini sus investigaciones a finales del siglo XVIII, pero el primer
xito real lo obtuvo Niels Henrik Abel. Tras esto, Abel realiz investigaciones
fundamentales en el campo de la teora de funciones analticas, e investig una serie de
funciones especiales como las elpticas e hiperblicas. Pero Abel no pudo dar un criterio
general de resolubilidad en radicales de las ecuaciones con coeficientes numricos. Sin
embargo, la solucin a este problema no se hizo esperar largamente y se debe a Evaristo
Galois.
El objeto fundamental de sus investigaciones fue el determinar cuando son resolubles
mediante radicales las ecuaciones polinmicas.El aparato algebraico introducido tuvo,
sin embargo, una significacin que sala de los marcos del problema indicado. Su idea
del estudio de la estructura de los campos algebraicos y la comparacin con ellos de la
estructura de los grupos de un nmero finito de sustituciones, fue la base fructfera del
lgebra moderna. la teora actual de Galois, se ha convertido en una disciplina
matemtica compleja y ramificada, que incluye un amplio material sobre las relaciones
entre las propiedades de las ecuaciones, los nmeros algebraicos y los grupos.

Teora de Grupos: Galois y Ruffini introdujeron de forma independiente el concepto

de grupo. En la primera mitad del siglo XIX, los resultados de la teora de grupo
jugaron un papel auxiliar, especialmente en la teora de las ecuaciones algebraicas,
formndose, predominantemente, la teora de los grupos finitos.
Posteriormente, ya en los aos 50, en trabajos de Cayley y otros, comenzaron a aparecer
definiciones abstractas ms generales de grupo. este proceso se aceler desde el ao
1870 con los trabajos de C. Jordan, quien hizo un resumen de los resultados de la teora
de grupos finitos en su aplicacin a la teora de nmeros, teora de funciones y
geometra algebraica.
A finales de siglo, aparecieron las primeras aplicaciones de la teora de grupo,
resolvindose, por ejemplo, el problema de la clasificacin de todas las redes cristalinas
espaciales gracias a los trabajos de E.S Fiedorov . Los grupos discretos finitos, a los que
pertenecen los grupos de Fiedorov, obtuvieron extensin en la teora de los espacios
multidimensionales en relacin con la teora de los poliedros regulares en stos.
Posteriormente se plante la investigacin de los grupos infinitos, tanto discretos como
continuos y tambin sobre la creacin de un aparato de clculo adaptado a las
necesidades de la teora de grupo. los logros fundamentales sobre estas cuestiones
pertenecen a los discpulos de C. Jordan, F. Klein y S. Lie.
En la confluencia de los siglos XIX y XX la teora de grupos se ramific
desmesuradamente, formando el ncleo del lgebra actual. Ella se compone de una serie
de teoras altamente desarrolladas: los grupos finitos, los grupos discretos infinitos, los
grupos continuos, entre ellos los grupos de Lie.
Los mtodos tericos de grupos penetraron en una serie de disciplinas matemticas y
sus aplicaciones. Los descubrimientos de De Broglie, Schrdinger, Dirac y otros, en la
mecnica cuntica y en la teora de la estructura de la materia mostraron que la fsica
moderna debe apoyarse en la teora de los grupos continuos, en particular en la teora de
la representacin de grupos por operadores lineales, la teora de los caracteres y otras
elaboradas por Cartan, H. Weyl y otros cientficos. Pas medio siglo desde los trabajos
de Gauss, Abel y Galois y el centro de gravedad en las investigaciones algebraicas se
traslad a la teora de grupos, subgrupos, anillos, estructuras. En al lgebra comenz el
periodo de las matemticas modernas.

lgebra Lineal: La historia del lgebra del siglo XIX quedara incompleta si no
atendisemos a la formacin del lgebra lineal, surgida de la teora de los sistemas de
ecuaciones lineales y relacionada con la teora de determinantes y matrices. Durante la
segunda mitad de siglo se realizaron investigaciones muy importantes de la teora de los
invariantes de las ecuaciones. En este camino del desarrollo, creci la teora de las
formas que encontr aplicacin adems de en el lgebra, en la teora de nmeros, la
geometra diferencial, la geometra algebraica y la mecnica.

Anlisis Matemtico: El anlisis matemtico, hacia el siglo XIX se convirti en un

sistema de disciplinas ramificado y sigui ocupando un lugar central en las
matemticas. El flujo inagotable de nuevos resultados tericos y el campo de
aplicaciones el cual se ampla continuamente, condicionaron el que en la estructura
general de las matemticas ocuparan un lugar especial, principalmente, las disciplinas
analticas.
Las ecuaciones diferenciales se convirtieron en el medio operativo fundamental del
anlisis. El aparato del anlisis matemtico en este siglo era un conjunto de
procedimientos y mtodos de solucin de numerosos problemas que creca rpidamente.
Todos estos mtodos aun podan dividirse en tres grandes grupos, constituidos en el
clculo diferencial, el clculo integral y la teora de ecuaciones diferenciales que
rpidamente se independizaba de este ltimo. Los contornos de la teora en formacin
de funciones de variable compleja, la teora de las funciones especiales... se delineaban
aun lentamente.

Teora de Lmites: Uno de los lugares centrales del anlisis lo ocupa el concepto de
lmite. Sobre l se apoya todo el aparato de las demostraciones infinitesimales. los
matemticos del siglo XVIII probaron un conjunto de procedimientos para fundamentar
el anlisis infinitesimal, pero la insatisfactorio de casi todos estos mtodos se hizo
rpidamente evidente.
A finales del siglo XVIII y principios del XIX era ms que evidente la necesidad de
costruccin de la teora de lmites como base del anlisis matemtico y una
reconstruccin radical de este ltimo. Este proceso de reconstruccin se revel
claramente en los aos veinte de este siglo, sobre todo en los trabajos de Agustn-Luis
Cauchy y en sus famosas conferencias, las cuales fueron publicadas en tres libros:
"Curso de anlisis" (1821); "Resumen de conferencias sobre el clculo de
infinitesimales" (1823) y "Conferencias sobre aplicaciones del anlisis a la geometra"
(dos tomos 1826,1828). Estos libros tienen una importancia especial, porque en ellos
por primera vez, el anlisis matemtico se construye sucesivamente sobre la teora de
lmites. El primero de los libros est dedicado al estudio de las funciones elementales,
tanto de variable real como compleja, incluyendo el estudio de las series infinitas.
Asimismo se introduce por primera vez, una magnitud infinitesimal como una variable
cuyo lmite es igual a cero. Expuso tambin la cuestin de la convergencia de las series,
as como sus criterios de convergencia. En el segundo de los libros se expone el clculo

diferencial e integral de funcin de variable real, destacando la aparicin de una

demostracin analtica de existencia de integral definida de una funcin continua.

Teora de Funciones: En la primera mitad de siglo se realiz una investigacin

profunda de los fundamentos del anlisis matemtico, utilizando los mtodos y
resultados de la teora de conjuntos y la teora de funciones de variable real.
Los mritos principales en este rama, corresponden a Bernard Bolzano, aunque sus
resultados fundamentales vieran la luz despus de su muerte. ya en 1817, Bolzano
formul y demostr el teorema de que si un conjunto de nmeros reales est acotado
entonces tiene extremo, adelantndose en cuarenta aos a Weierstrass.
Igualmente se adelant a Cauchy en el estudio del criterio de convergencia de
sucesiones y dio una definicin rigurosa de continuidad de funciones. Estudi
profundamente las propiedades de las funciones continuas y demostr en relacin con
stas una serie de notables teoremas, destacando el denominado teorema de Bolzano:
una funcin continua toma todos los valores comprendidos entre su mximo y su
mnimo.
Tambin ampli la clase de curvas continuas, aplicando el mtodo de acumulacin de
singularidades y obtuvo, entre otras funciones originales, la funcin que no tiene
derivada en ningn punto y conocida actualmente como funcin de Bolzano. En otra de
sus obras "Paradoja del Infinito" encontramos las bases de la posterior teora de
conjuntos.

Teoras de Nmero Real y Teora de Conjuntos: En el ao 1872 surgieron una serie

de trabajos, escritos por G. Cantor, R. Dedekind, K. Weierstrass, E. Heine y Ch. Meray
cuyo nico objetivo era el de dotar de una teora rigurosa al nmero real, problema ste
considerado vital para una correcta fundamentacin del anlisis.
As Dedekind defini el nmero real como una cortadura en el conjunto de los nmeros
racionales, dando al conjunto de los nmeros reales una interpretacin geomtrica en
forma de lnea recta.
Cantor, por su parte, identific al nmero real con una sucesin convergente de nmeros
racionales. La creacin de la teora de conjuntos infinitos y los nmeros transfinitos
pertenece tambin a G. Cantor. l demostr la no equivalencia de los conjuntos de
nmeros racionales y reales. Durante los aos 1879 a 1884 elabor de forma sistemtica
la teora de conjuntos, introduciendo el concepto de potencia de un conjunto, el
concepto de punto lmite, de conjunto derivado...
La teora general de las potencias de conjuntos, las transformaciones y operaciones
sobre conjuntos y las propiedades de los conjuntos ordenados constituyeron
fundamentalmente la teora abstracta de conjuntos. Las cuestiones de fundamentacin
de la teora de conjuntos, junto con la investigacin de los lmites de su aplicacin se
convirtieron durante el siglo XX en una ciencia especial, la "lgica matemtica", la cual
forma una parte importante de los fundamentos de las matemticas modernas.
El campo de aplicacin del anlisis matemtico creci rpidamente merced a un sin fin
de investigadores de los mtodos matemticos de la fsica y la mecnica: Green, Stokes,
Thomson, Hamilton, Maxwell... Entre estas aplicaciones cabe destacar la creacin del
aparato analtico para la investigacin de los fenmenos electromagnticos, la teora

matemtica de la conductividad del calor, o la construccin del aparato matemtico de

la nueva mecnica.

Teora de las funciones de Variable Compleja: La teora actual de las funciones

de variable compleja abarca un amplio dominio de las matemticas, hacindose difcil
enumerar todas sus ramificaciones. Consideremos en primer lugar las premisas
acumuladas hasta este momento.
El concepto de nmero imaginario y despus complejo se conoca desde tiempos
remotos, introduciendo con posterioridad el conjunto de operaciones.
Durante los siglos XVII y XVIII se establecieron, ya de una forma significativa, un
conjunto de importantes aplicaciones de los nmeros complejos en diversas ramas de la
ciencia. Sin embargo todos los resultados en esta materia se entremezclaban sin la
formulacin de una concepcin nica.
En el siglo XIX lleg el momento de crear la teora general de las funciones de variable
compleja. Esta etapa de la historia, ya en el siglo XIX, se caracteriz por la introduccin
de definiciones precisadas de los conceptos fundamentales. Ante todo se trat del
surgimiento de las interpretaciones geomtricas del concepto de nmero complejo.
Un tratamiento terico lo suficientemente general de la cuestin surgi inicialmente, en
los trabajos de Gauss y despus en los de Cauchy. En 1831 Gauss public un trabajo
sobre la teora de los residuos bicuadrticos donde expuso la fundamentacin terica y
la interpretacin geomtrica de los nmeros complejos, dndoles por primera vez la
denominacin que se ha conservado hasta nuestros das. En una carta de Gauss al
astrnomo y matemtico Bessel, escrita en 1811 y publicada en 1880 daba la
interpretacin precisa de los nmeros imaginarios, la definicin de integral en el plano
complejo, el teorema integral, (conocido actualmente como teorema de Cauchy) y el
desarrollo de una funcin analtica en series de potencias. de estos aspectos merece
especial atencin la integracin en el plano complejo, ya que la utilizacin de las
variables complejas en los clculos de integrales definidas difciles ejerci una
grandsima influencia sobre el desarrollo de la teora de funciones de variable compleja.
Laplace acudi a la interpretacin en variable compleja, desarrollando el mtodo de
resolucin de ecuaciones lineales en diferencias y diferenciales, conocido bajo la
denominacin de transformada de Laplace. sta y otras transformadas similares,
permitieron resolver de forma efectiva muchos problemas de electrotecnia,
hidrodinmica, mecnica y conductividad trmica entre otros. Fue precisamente esta
presin de los problemas prcticos, lo que llev a la necesidad de elaborar una teora de
funciones de variable compleja y a estudiar sus relaciones con las dems partes del
anlisis infinitesimal.
El cumplimiento de esta tarea fue realizado fundamentalmente por Cauchy. Sus
primeros trabajos publicados en 1825, tuvieron como objetivo aplicar las magnitudes
imaginarias al clculo de integrales definidas, formulando el teorema integral. Durante
los aos siguientes 1826-1829 cre la teora de los residuos, desarrollndola en aos
posteriores y buscando nuevas aplicaciones. Junto a los trabajos de Cauchy surgieron
otros muchos sobre la teora de funciones de variable compleja, entre los que cabe
mencionar los realizados por Abel, Jacobi, Laurent y Liouville.
Durante los aos 40 qued superado el aislamiento de las ideas sobre funciones de
variable compleja, merced sobre todo a los trabajos de B. Rieman (1826-1866) en los
cuales aparecan amplias analogas que vinculaban esta teora con otros campos de las

matemticas.
Los resultados fundamentales de Rieman aparecen en sus obras "Fundamentos de la
teora general de funciones de variable compleja" (1851) y en "Teora de las funciones
de Abel" (1857). Entre los problemas analizados por Rieman citaremos el de en qu
medida las funciones analticas se determinan por sus condiciones en la frontera. Otro
punto de desarrollo fue la interpretacin geomtrica de los nmeros complejos y de las
funciones de variable compleja, desarrollando las denominadas "superficies de
Rieman". tambin investig diversas clases de funciones que satisfacan ecuaciones
diferenciales lineales con coeficientes algebraicos. Partiendo de las ideas de Rieman
surgieron gran cantidad de trabajos cuyos autores elaboraron diferentes aspectos de la
teora de funciones de variable compleja.
Otra direccin en el desarrollo de la teora de funciones de variable compleja,
denominada analtica se form en los trabajos de Weierstrass (1815-1897), quien
elabor un sistema de fundamentacin lgica apoyndose en la rigurosa teora de los
nmeros reales, como un medio en el cual funcionan todos los conceptos y mtodos
fundamentales.
As, en este poca, la mayora de las investigaciones sobre el tema, se realizaban en el
plano de desarrollo de una de las tres direcciones: la teora de las funciones diferenciales
de Cauchy, las ideas geomtricas y fsicas de Rieman y la direccin analtica de
Weierstrass. Fue a finales de siglo y a comienzos del siglo XX cuando se unificaron
conceptos, creando una concepcin nica general de la teora de funciones de variable
compleja.

Transformacin de la Geometra: La geometra hacia comienzos del siglo XIX

representaba ya un amplio complejo de disciplinas surgidas del anlisis y
generalizaciones de los datos sobre las formas espaciales de los cuerpos. Junto a las
partes elementales, se incluyeron en la geometra casi todas aquellas partes que la
conforman actualmente.
La geometra analtica realiz un gran camino de desarrollo y determin su lugar como
parte de la geometra que estudia las figuras y transformaciones dadas por ecuaciones
algebraicas con ayuda del mtodo de coordenadas utilizando los mtodos del lgebra.
La geometra diferencial se caracteriz por la utilizacin de los conceptos y mtodos del
clculo diferencial, lo que conllev relaciones estables con el anlisis matemtico y con
numerosos problemas aplicados.
Una de las caractersticas principales de la geometra que se desarroll durante la
segunda mitad del siglo XIX, fue el entusiasmo con que los matemticos estudiaron una
gran variedad de transformaciones. De ellas, las que se hicieron ms populares fueron
las que constituyen el grupo de transformaciones que definen la denominada geometra
proyectiva. Los mtodos aparentemente detenidos en su desarrollo desde la poca de
Desargues y Pascal, de estudio de las propiedades de las figuras invariantes respecto a la
proyeccin, se conformaron en los aos 20 del siglo XIX en una nueva rama de la
geometra: la geometra proyectiva, merced sobre todo a los trabajos de J. Poncelet.
Otro aspecto esencial durante este siglo fue el desarrollo de las geometras no
euclideanas. Podramos considerar fundador de esta geometra al matemtico ruso
Nicolai Ivanovich Lobachevski (1792-1856). Su obra mostraba que era necesario

revisar los conceptos fundamentales que se admitan sobre la naturaleza de la

matemtica, pero ante el rechazo de sus contemporneos tuvo que desarrollar sus ideas
en solitario aislamiento.
El punto de partida de las investigaciones de Lobachevski sobre geometra no
euclideana fue el axioma de las paralelas de Euclides, sin demostracin durante siglos.
Lobachevski, que inicialmente intent demostrar dicho axioma, rpidamente se dio
cuenta que ello era imposible, sustituyendo dicho axioma por su negacin: a travs de
un punto no contenido en una recta se puede trazar ms de una paralela que yace en el
mismo plano que la primera.
El ao 1826 puede considerarse como la fecha de nacimiento de esta geometra no
euclideana o lobachevskiana, siendo en ese ao cuando el autor present muchos de los
trabajos que avalaban la nueva teora. En 1829 Janos Bolyai (1802-1860) lleg a la
misma conclusin a la que haba llegado Lobachevski. E incluso el mismo Gauss que
apoyaba y elogiaba a escondidas, nunca de forma pblica, los trabajos de Bolyai y
Lobachevski, es posible que mantuviera los mismos puntos de vista pero los call por
temor a comprometer su reputacin cientfica. La geometra no euclideana continu
siendo durante varias dcadas un aspecto marginal de la matemtica, hasta que se
integr en ella completamente gracias a las concepciones extraordinariamente generales
de Rieman.