Rev.R.Acad.Cienc.Exact.Fs.Nat.

(Esp)
Vol. 104, N. 1, pp 61-79, 2010
XI Programa de Promocin de la Cultura Cientfica y Tecnolgica
RIGOR YDEMOSTRACIN EN MATEMTICAS
FERNANDO BOMBAL GORDN *
* Real Academia de Ciencias Exactas, Fsicas y Naturales. Valverde 22, 28004 Madrid. Facultad de Matemticas. Universidad
Complutense. 28040 Madrid.
1. INTRODUCCIN
Todo texto matemtico que se precie contiene una
serie de palabras significativas, como Teorema, Lema,
Proposicin o Corolario, que preceden una serie de
enunciados ms o menos ininteligibles. Despus
aparece la palabra mgica: Demostracin, encabe-
zando una serie de argumentos ms o menos miste-
riosos, que suelen terminar en un rotundo Q.E.D.
Si estamos examinando un trabajo de investigacin
muy especializado, los lectores que no pertenezcan a
esa especialidad (que puede ser toda la Humanidad,
salvo 10 o 12 personas), no entendern prcticamente
nada. Para poner un ejemplo de lo que digo, conside-
remos el siguiente texto:
Teorema.
1
Sea Y un espacio de cotipo 2 y X
j
espacios para . Todo operador multi-
linear es mltiplemente 2-
sumante y
donde y es la constante de
cotipo 2 de Y.
Para no tener que ir muy lejos, he optado por elegir
un resultado incluido en uno de mis trabajos que, por
supuesto, no es tan especializado como los casos
extremos mencionados anteriormente. Sin embargo,
muchos matemticos profesionales tendrn la misma
impresin ante este texto que la mayora de los lectores
no matemticos: algunas palabras reconocibles entre
una mayora de trminos y signos incomprensibles y
cuyo significado se nos escapa completamente.
Pero no hay que pensar que la dificultad para
entender un resultado matemtico radica slo en la
cantidad de informacin previa necesaria para su com-
prensin. Hay enunciados tremendamente sencillos,
que todo el mundo puede entender pero que hasta el
momento nadie ha sabido responder. Uno de ellos es el
siguiente:
Todo nmero par mayor que 2 es suma de dos
nmeros primos.
2
Por ejemplo, 4 3 1, 8 5 3 7 1, 20 13 7
19 1, etc. Hasta hoy, nadie ha encontrado un contrae-
jemplo a la afirmacin anterior. Pero tampoco una
prueba de su validez para cualquier nmero par mayor
que 2!
Y esto nos lleva al siguiente elemento esencial de
un texto de matemticas: la Demostracin del resul-
tado enunciado. En el ejemplo que hemos considerado
al principio, comenzaba as:
+
= + = + = + = + =
1
Theorem 3.1 en Multilinear extensions of Grothendiecks theorem, por F. Bombal, D. Prez, e I. Villanueva. Quat. J. Math. (2004), 441-
150.
2
Se trata de la famosa Conjetura de Goldbach, aparecida por primera vez en una carta enviada por Christian Goldbach en 1742 al brillante
matemtico suizo Leonhard Euler.
, j i ~
L 1 j n s s
1 2
: ...
n
T X X X Y
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 62
Demostracin: Procederemos por induccin sobre
n. Para n 1 el resultado es conocido (vase [7.;
Theorem 11.14] y [10]). Sea entonces ...(a con-
tinuacin aparece una serie de argumentos ms o
menos ininteligibles para el no experto y, finalmente,
las esperadas iniciales Q.E.D.).
Como su propio nombre indica, la demostracin
incluye una serie de argumentos con los que el autor
trata de convencer al lector de la veracidad del
resultado enunciado. La inteligibilidad de los razona-
mientos que aparecen en ella depender de nuestra for-
macin y del contenido matemtico del enunciado. En
general, abundan frases como por tanto o en conse-
cuencia, que parecen indicar que las afirmaciones
que siguen tienen un grado de certeza irrefutable.
Incluso a veces da la sensacin de que los argumentos
se deducen infaliblemente, por un procedimiento pura-
mente mecnico, de los datos del enunciado, y
pudieran ser producidos por una mquina. En realidad,
jams se ha construido una mquina capaz de repro-
ducir todas las demostraciones que puedan aparecer en
un libro de texto elemental de aritmtica. Ms an, es
imposible construir una mquina
3
que pudiera obtener
todos los resultados verdaderos de la aritmtica.Y
esto es un Teorema demostrado! Volveremos ms ade-
lante sobre el tema.
Pero quiz, antes de seguir adelante, lo mejor es dar
un ejemplo concreto de una Demostracin tpica; y
nada mejor, sin duda, que utilizar el teorema ms
conocido de las matemticas, con la demostracin que
aparece en uno de los libros ms famosos de la his-
toria: el Teorema dePitgoras en la versin que
aparece en el libro I de Los Elementos de Euclides
(alrededor del 300 a. de C.):
Proposicin I.47 (Teorema de Pitgoras): En un
tringulo rectngulo, el cuadrado construido sobre el
lado que subtiende el ngulo recto (hipotenusa) es
igual a los dos cuadrados construidos sobre los lados
que contienen el ngulo recto (catetos).
La numeracin I.47 hace referencia a que se trata
del resultado nmero 47 del primero de los 13 libros
en los que se dividen Los Elementos.
=
Como puede verse, se trata de un enunciado pura-
mente geomtrico, sin ninguna referencia a la versin
algebraica que aparece en los libros de texto elemen-
tales de hoy en da: (vase la figura
1). Lo que afirma el teorema es que los cuadrados
ACDE y ABPQ de la figura pueden dividirse ade-
cuadamente y recombinarse para obtener el cuadrado
CBNM.
La Demostracin comienza con una estrategia
totalmente novedosa, que no se deduce en absoluto de
los datos del enunciado: Construir la paralela a BM
que pasa por A (posibilidad desarrollada en un enun-
ciado anterior: Proposicin I.31) y considerar los
tringulos ABMy CBP.
Los tringulos ABM y CPB tienen dos lados
iguales (AB BP y CB BM) y el mismo ngulo com-
prendido entre ellos (un recto ms el ngulo t, como se
ve en la figura). Por tanto, por la Proposicin I.4, los
dos tringulos son iguales.
Como el ngulo CAB es recto, y tambin lo es (por
construccin) el ngulo BAQ, la Proposicin I.14
permite afirmar que los puntos CAQ estn alineados
(y, por la misma razn, lo estn los EAB).
Por tanto ABM tiene la misma base y altura que
el BMAA y CBP tiene tambin la misma base y
altura que el ABPQ. En consecuencia, la Proposi-
+
+
= =
+ +
2 n >
3
En el sentido de cualquier artilugio concebible que funcionara de manera anloga a nuestros ordenadores, pero sin limitaciones de memo-
ria o velocidad. En trminos ms tcnicos, me refiero a lo que se conoce como una mquina de Turing.
2 2 2
CB CA AB = +
,
,
Figura 1
cin I.41 permite afirmar que rea( ABPQ)
rea( BMAA).
Un razonamiento totalmente anlogo prueba que
rea( ACDE) rea( CNAA), lo que termina la
demostracin.
Como vemos, la demostracin contiene una serie
de elementos caractersticos: un considerable grado de
abstraccin, con la aparicin de conceptos como
tringulo, lneas rectas, ngulos, que el lector debe
decodificar por informaciones previas; un lenguaje
formalizado, que no es el lenguaje ordinario, ni el del
teatro o la novela; una continua llamada a resultados
anteriores. Yfinalmente, la idea brillante o truco de la
demostracin. En este caso, la consideracin de las
lneas auxiliares, como la AA o la CP, que no
aparecan en el problema original, pero que han
resultado esenciales para completar el proceso
deductivo.
La idea de demostracin rigurosa depende, obvia-
mente, del contexto y del entorno cultural. En los
escritos matemticos ordinarios (incluso los de hoy en
da), slo se detallan los pasos no puramente mec-
nicos; aquellos que suponen una idea nueva, una cons-
truccin original o la introduccin de algn elemento
nuevo (los anlogos a las lneas auxiliares de la
demostracin del Teorema de Pitgoras). Pero el con-
senso sobre lo que es o no un paso obvio o trivial, ha
ido cambiando a lo largo de la historia.
Nuestro objetivo es mostrar, con algunos ejemplos
tomados de la historia, la evolucin de la nocin de
demostracin correcta, y, por tanto, la evolucin de la
nocin de rigor matemtico.
2. ELPRINCIPIO
La primera civilizacin en la que aparecen signos
de desarrollo matemtico es la egipcia, pero exclusiva-
mente dirigidos a facilitar los aspectos de la vida
cotidiana, como son el comercio o la agrimensura. Por
ejemplo, los arquitectos egipcios usaban el siguiente
truco para dibujar ngulos rectos (para construir
ngulos de pirmides, templos, etc.): (vase figura 2)
Ataban 12 segmentos iguales de cuerda en una
curva cerrada. El tringulo de lados 3, 4 y 5 segmentos
es recto. No hay ninguna evidencia de que supieran,
por ejemplo que los tringulos de longitudes 5-12-13 o
65-72-97 son tambin rectos. Ni en este caso ni en
ningn otro que nos haya llegado, los egipcios dan la
menor indicacin de cmo demostrar lo afirmado.
Simplemente, se trataba de un hecho aceptado. En
general, los resultados matemticos que se han encon-
trado de la civilizacin egipcia aparecen siempre como
recetas autoritarias para resolver un problema: Haga
Vd. esto primero; despus esto otro, etc. Algo, por otro
lado, tpico de una sociedad totalmente jerarquizada.
Los babilonios tenan una aritmtica mucho ms
desarrollada que la egipcia, y eran capaces de hacer
clculos ms sofisticados. Pero, de nuevo, lo que nos
ha llegado son una serie de instrucciones para resolver
los problemas, sin ningn intento de explicar cmo se
haba llegado a la solucin.
Es en Grecia donde se produce el cambio cuali-
tativo que conduce a la creacin del mtodo cientfico
en sentido moderno. Entre los siglos IX y VII antes de
Cristo las ms importantes polis continentales organi-
zaron una serie de grandes migraciones, que dieron
lugar a la colonizacin griega de las costas del
Mediterrneo y del Mar Negro. Como consecuencia,
se fue desarrollando una cultura ms abierta e indepen-
diente que, con el desarrollo de la democracia como
sistema poltico de algunas ciudades independientes,
propici la aparicin de una clase de ciudadanos
abiertos al debate y al anlisis, con una tremenda
curiosidad por cuanto les rodeaba.
Los escpticos pensadores griegos de alrededor del
siglo VII a. de C. asumieron tcitamente que el ser
humano poda llegar a comprender la Naturaleza por
medio de la penetrante luz de la razn, y se pusieron a
=
=
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 63
,
,
, ,
Figura 2
ello. Y as surgen la Filosofa, las Matemticas y la
Ciencia en sentido moderno del trmino.
Se suelen atribuir a Tales de Mileto (640-546 a. de
C.), uno de los siete sabios de la antigedad, la pater-
nidad de las primeras demostraciones en Matemticas.
No se sabe mucho de su vida ni han quedado cons-
tancia de sus escritos originales, pero sus bigrafos
coinciden en su insistencia en que los resultados
geomtricos, por intuitivos que parecieran, deban
someterse a un riguroso anlisis lgico para ser acep-
tados. La tradicin atribuye a Tales la demostracin,
entre otros, de los siguientes resultados:
Un dimetro divide al crculo en dos partes
iguales.
Los ngulos de un tringulo suman dos rectos.
Un ngulo inscrito en un semicrculo, es recto.
No conocemos las demostraciones originales de
Tales, pero, como las primeras de las que nos ha
llegado constancia, consistiran en tratar de hacer ver o
poner en evidencia los resultados, de modo que
adquirieran un carcter de certeza irrefutable. Por
ejemplo, algunas de las demostraciones de propie-
dades aritmticas de los nmeros naturales que nos han
llegado son las siguientes:
Recurdese que m n representa la suma de m
colecciones de n elementos cada una, mientras que
n m es la suma de n grupos de m elementos cada uno.
El diagrama anterior (dibujado aqu para m 4 y n 3)
muestra de modo irrefutable la conmutatividad del
producto de cualquier par de nmeros naturales.
Del mismo modo el grfico siguiente prueba, sin
lugar a dudas, que la suma de dos nmeros impares es
un nmero par:
Pitgoras de Samos, nacido alrededor del 572 a.
de C. fue uno de los mejores discpulos de Tales y fun-
dador de la sociedad secreta de los Pitagricos, dedi-
cados a la bsqueda de la verdad. La constatacin de la
existencia de relaciones matemticas precisas en
muchos fenmenos naturales (Astronoma, msica,
etc.) hizo que la Filosofa pitagrica diera gran impor-
tancia al estudio de los nmeros naturales y sus rela-
ciones, lo que les llev a desarrollar una parte sus-
tancial de la aritmtica. La asuncin de que todo objeto
estaba formado por una coleccin de tomos indivi-
duales e indivisibles (recurdese la afirmacin de que
todo es nmero) hace que, en particular, dos magni-
tudes geomtricas anlogas sean siempre conmensu-
rables, es decir, exista una unidad de medida comn
para ambas. De este modo, las dos magnitudes estn en
la misma relacin que los correspondientes mltiplos
de la unidad de medida comn. Estos argumentos per-
mitan visualizar fcilmente los razonamientos
= =

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 64

Tales de Mileto
Figura 3
Figura 4
geomtricos, convirtindolos en muchos casos en
problemas aritmticos. De este modo, los pitagricos
formularon y desarrollaron una gran cantidad de resul-
tados sobre la geometra del plano.
Pero hete aqu que a mediados del siglo V a. de C.
tiene lugar un descubrimiento fundamental: existen
segmentos inconmensurables! (por ejemplo, el lado y
la diagonal del cuadrado o el lado y la diagonal del
pentgono regular).
4
Por tanto, todos los resultados
basados en la hiptesis de conmensurabilidad de seg-
mentos deben ser puestos en duda. La geometra no es
aritmtica y los objetos matemticos, no eran tan
simples como se pensaba. A este cataclismo vino a
unirse el producido por los distintos argumentos
(paradojas) de Zenn de Elea (hacia 500 a. de C.)
contra la pluralidad y el movimiento. A travs de una
serie de brillantes experimentos mentales, Zenn
muestra la inconsistencia lgica del movimiento. El
punto crucial de los argumentos de Zenn estriba en la
utilizacin de procesos infinitos en sus razonamientos,
lo que llev a los matemticos griegos a excluir
cualquier traza del infinito en sus matemticas
(incluyendo el concepto de lmite), lo que supuso una
fuerte limitacin a su desarrollo y crecimiento.
Esta crisis de fundamentos hizo cuestionar la
seguridad del mtodo seguido hasta entonces en los
razonamientos matemticos, lo que llev a los pen-
sadores griegos de la segunda mitad del siglo V a. de
C. al establecimiento de un nuevo mtodo: el
axiomtico-deductivo, uno de cuyos ejemplos paradig-
mticos es, precisamente, el tratado de Los Elementos
de Euclides. Se trata de partir de una pocas asevera-
ciones evidentes (o axiomas; en el caso de Los
Elementos se trata de 23 definiciones, 5 postulados y 5
nociones comunes) y, utilizando exclusivamente las
leyes de la lgica deductiva (algunas recogidas en las
nociones comunes, aunque la mayora estn implcitas
en Los Elementos
5
) ir obteniendo, a travs de etapas
simples, nuevos resultados que, a su vez, pueden ser
usados en los razonamientos posteriores, evitando
argumentos circulares. Esencialmente, ste sigue
siendo el mtodo que se utiliza en los escritos
matemticos actuales, aunque los puntos de partida
pueden estar muy alejados de las verdades evidentes
iniciales de la teora.
Pero incluso en los aparentemente slidos Elemen-
tos de Euclides se pueden encontrar construcciones no
claramente justificadas con la sola asuncin de los
axiomas establecidos por el autor. Ya en la Proposicin
I.1 (la primera del libro!), en que se prueba que sobre
cualquier segmento AB se puede construir un
tringulo equiltero, aparece una dificultad. La
demostracin discurre as: Se trazan circunferencias de
centros en A y en B, de radio la longitud del segmento,
y el punto de corte C es el otro vrtice del tringulo
buscado (vase figura 5).
Pero por qu las dos circunferencias se cortan?
Nada en las definiciones, los postulados o las nociones
comunes permite asegurarlo. Hace falta un nuevo
axioma de continuidad, como advirti el gran D.
Hilbert (1862-1943).
Otro ejemplo: supongamos cuatro puntos sobre la
recta, A, B, C, D; supongamos que B se halle entre A y
C y que C est situado entre B y D (vase figura 6).
Parece razonable deducir que, necesariamente, B est
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 65
4
A veces se atribuye el descubrimiento de los inconmensurables al pitagrico Hipaso de Metaponte. La leyenda dice que sus compaeros
de hermandad, al percatarse de las consecuencias del descubrimiento, llevaron a Hipasos mar adentro y lo arrojaron por la borda para que
muriese.
5
La primera recopilacin de las leyes lgicas se encuentra en la obra de Aristteles El Organon (El til).
Figura 5
ente A y D, no?. Pues, sorprendentemente, no es
posible demostrar este resultado a partir de los
axiomas de Euclides (Este hecho fue detectado por M.
Pasch nada menos que en 1882). La revisin crtica de
Los Elementos fue llevada a cabo por Hilbert,
alrededor de 1900, quien tuvo que elevar la lista de los
postulados hasta 20 para desarrollar correctamente la
Geometra eucldea.
En todo caso, Euclides cometi a lo ms un pecado
de omisin, percibido solamente tras ms de 2200 aos
de evolucin en las Matemticas. Ninguna de las 465
proposiciones contenidas en Los Elementos es falsa, lo
que contrasta con los textos de la misma poca sobre
cualquier otro aspecto de la Ciencia, llenos de errores
y falsedades desde el punto de vista actual.
Tras la edad de oro de los siglos IV y III antes de
Cristo, el desarrollo terico de la matemtica griega
comenz a declinar. Arqumedes (287-212 a. de C.)
signific la cspide del pensamiento matemtico de la
antigedad y hubieron de transcurrir ms de 18 siglos
para que la Matemtica llegara a su altura.
3. ELRENACIMIENTO YLAAPARICIN
DE LOS INDIVISIBLES
El colapso del Imperio Romano de Occidente en el
siglo V de nuestra Era llev a Europa a un largo
perodo de oscuridad en el aspecto cultural y cien-
tfico. La herencia cultural griega fue conservada en
parte y finalmente transmitida a Europa a travs del
Imperio Bizantino primero y, sobre todo, de los
rabes, quienes la enriquecieron con la incorporacin
de las ideas sobre aritmtica y lgebra de las civiliza-
ciones orientales, especialmente con la notacin posi-
cional y la introduccin del 0. La asimilacin y
aceptacin de la cultura griega y en particular del pen-
samiento Aristotlico por parte de la Iglesia Catlica a
partir del siglo XIII, sent las bases para el
renacimiento intelectual en la cultura Occidental.
A partir del siglo XIV, algunos filsofos (muchos
de ellos pertenecientes al Merton College de Oxford)
inician el estudio cuantitativo del movimiento, lo que
implica cuantificar la variacin de magnitudes con-
tinuas (las que son infinitamente divisibles, segn
Aristteles). En particular, comienzan a estudiar el
movimiento uniformemente acelerado
6
, esto es, aquel
en el que la velocidad experimenta incrementos
iguales en intervalos iguales de tiempo. Esta definicin
necesita la nocin de velocidad instantnea que, por
supuesto, se utilizaba de manera intuitiva y poco
precisa, pero permiti obtener resultados correctos.
El parisino N. de Oresme (1323-1382) realiz una
aportacin fundamental al introducir representaciones
grficas para estudiar el movimiento. Su idea fue re-
presentar una magnitud variable (temperatura, velo-
cidad, densidad, etc.) por medio de un segmento ver-
tical cuya longitud en cada instante era (proporcional
a) el valor de la cantidad. Esta tcnica anticipa clara-
mente la idea de dependencia funcional y repre-
sentacin grfica.
Por ejemplo, representa la velocidad de un punto
mvil uniformemente acelerado en el intervalo de
tiempo construyendo sobre cada punto del
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 66
6
Algo completamente extrao al pensamiento griego, que slo consideraba movimientos uniformes.
Figura 6
Figura 7
intervalo un segmento igual a la velocidad del mvil
en ese punto (vase figura 7). La definicin de
movimiento uniformemente acelerado implica que los
extremos de esas lneas estn alineados. Por definicin
de velocidad instantnea, cada lnea vertical es
tambin el espacio recorrido en ese instante, luego el
espacio total recorrido es la suma de esos indivisibles,
es decir, el rea del trapecio: (regla de
Merton).
Por otro lado, la aparicin de una nueva clase de
artesanos libres despert el inters en la bsqueda de
nuevos materiales y, en general, por el desarrollo de la
tecnologa. Las exploraciones geogrficas a travs de
miles de kilmetros de mar abierto demandaban
nuevos y ms precisos mtodos para determinar la
posicin; el incremento del comercio exiga nuevos y
ms rpidos mecanismos de clculo; la introduccin
de la plvora signific la aparicin de nuevos proble-
mas militares, como el movimiento y trayectoria de los
proyectiles. Al mismo tiempo, el conocimiento de
extraas civilizaciones provoc un sentimiento de
apertura en la cultura europea y la invencin de la
imprenta permiti la diseminacin del conocimiento,
hasta entonces controlado frreamente por la Iglesia.
Todo, en fin, contribuy a que la idea de la bsqueda
del conocimiento y el desarrollo cientfico para domi-
nar la Naturaleza se convirtiera en un rasgo dominante
de la civilizacin Europea moderna, preparando el
terreno a la revolucin cientfica que tuvo lugar a partir
del siglo XVII.
La nueva mentalidad de los matemticos del
Renacimiento hace que estuvieran ms interesados en
la obtencin de nuevos mtodos y resultados que en el
rigor de las pruebas. Este hecho, junto con la aparicin
de una escritura simblica adecuada, facilit el desa-
rrollo de tcnicas formales de clculo y de los mtodos
infinitesimales.
As, J. Kepler (1571-1630) utiliz razonamientos
de este tipo para tratar de demostrar sus leyes del
movimiento planetario. Ms significativo para el tema
fue la publicacin en 1615 de su obra sobre la determi-
nacin exacta de los volmenes de barricas de vino
(muy importante para el comercio de la poca). En
ella, se considera un cuerpo slido como unin de una
cantidad infinita de piezas slidas infinitesimales o
indivisibles, de forma y tamao conveniente para
resolver el problema estudiado. Por ejemplo, considera
la esfera de radio R compuesta por una infinidad de
pirmides de vrtice en el centro y base en la superficie
de la esfera, todas ellas de altura R. Como el volumen
de una pirmide es un tercio del rea de su base por la
altura, al sumar todos los indivisibles se obtiene que el
volumen de la esfera es , con A superficie
de la esfera ( ). Con este tipo de tcnicas,
Kepler determina los volmenes de ms de 90 slidos
de revolucin.
El uso sistemtico de las tcnicas de indivisibles se
populariz sobre todo por la obra del alumno de
Galileo B. Cavalieri (1598-1647). A diferencia de
Kepler, Cavalieri consideraba las figuras geomtricas
formadas por indivisibles de dimensin menor. As, las
reas estaban formadas por infinitos segmentos para-
lelos a una recta fija o regula (como en el caso de
Oresme); los volmenes estaban constituidos por
infinitos trozos de reas planas equidistantes, etc.
Cavalieri proceda despus a establecer una biyeccin
entre los indivisibles de dos figuras geomtricas dadas,
de modo que si entre los indivisibles correspondientes
exista una cierta relacin constante, se poda concluir
que la misma relacin exista entre las magnitudes de
las figuras en cuestin. En general, la medida de una
de las figuras era conocida y as se poda calcular la de
la otra. En particular, resulta inmediatamente lo que
todava hoy se conoce hoy como Principio de
Cavalieri:
Si dos slidos tienen la misma altura y si las sec-
ciones por planos paralelos a las bases a la misma dis-
tancia de ellas tienen reas en una razn dada, entonces
los volmenes de los slidos estn en la misma razn.
=
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 67
3 V AR =
2
4 R r =
Figura 8
Por ejemplo si comparamos un cono circular C con
base de radio r y altura h con una pirmide P de la
misma altura y de base cuadrada, de lado 1, y conside-
ramos una seccin por un plano paralelo a la base, a
distancia x de los vrtices, un simple argumento de
semejanza de tringulos nos permite obtener las fr-
mulas paras las reas correspondientes C
x
y P
x
:
Es decir, .Por tanto, segn el
Principio de Cavalieri,
El mismo Cavalieri y, por supuesto, sus contem-
porneos, eran conscientes de la falta de rigor del
mtodo de los indivisibles. Para Cavalieri, los espec-
taculares resultados obtenidos bastaban para justificar
el mtodo, mientras que el sentido comn era sufi-
ciente para evitar las falacias como las siguientes:
Consideremos en primer lugar dos crculos concn-
tricos, de modo que el mayor C tenga un radio K doble
que el menor, c. Si consideramos como indivisibles de
C la coleccin de sus radios, y hacemos lo mismo con
c, de acuerdo con el mtodo de los indivisibles el rea
de C debera ser el doble del rea de c, pues es esta la
relacin entre sus indivisibles. Sin embargo, sabemos
que el rea de C es 4 veces el rea de c!
Como segundo ejemplo, consideremos un tringulo
cuya altura h lo divide en dos tringulos rectngulos
desiguales, A y B. Consideremos A como la suma de
sus lneas paralelas a h, y lo mismo B. Como se
muestra en la figura, a cada indivisible de A le corres-
ponde un nico indivisible de B de la misma longitud,
y recprocamente. Siendo los indivisibles correspondi-
entes iguales, su suma debera serlo tambin y, por
tanto, A y B tendran la misma rea!
Al fin y al cabo, como escribi ms tarde Cavalieri,
El rigor es asunto de los filsofos, ms que de los
matemticos (!)
La aplicacin de los mtodos de los indivisibles al
estudio del movimiento proporciona claras evidencias
de las relaciones entre los problemas de determinacin
de la tangente a una curva y la del rea encerrada bajo
ella. Por ejemplo, la representacin del espacio reco-
rrido por un punto en el plano en funcin del tiempo
(Figura 10), permite visualizar la nocin de velocidad
instantnea en un instante e identificarla con la pen-
diente de la tangente a la curva en el punto .
En efecto, la velocidad media entre y (e.d.,
aquella con la se movera el punto para recorrer el
mismo espacio, si fuera a velocidad uniforme) es
, y, segn se ve en la figura, es pre-
cisamente la pendiente de la secante que une los dos
puntos de la cuerva en cuestin. Si el intervalo de
tiempo considerado se hace infinitesimal, la secante
se confundir con la tangente y la velocidad media con
la que, intuitivamente, debera considerarse velocidad
instantnea del punto en .
Por otro lado, si representamos ahora la grfica de
la velocidad del punto en funcin del tiempo (Figura
11), el argumento de Oresmes sigue siendo vlido:
es, por definicin de velocidad instantnea, el
espacio recorrido por el mvil en un elemento infini-
tesimal de tiempo. La suma de estos indivisibles entre
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 68
Figura 10
0
t
0
t
0
t t + A
0
t
0
t
Figura 9
0 y es, por tanto, el rea bajo la curva y coincide con
el espacio recorrido por el punto hasta el instante .
Estos resultados, implcitamente aceptados desde
los tiempos de Oresme, adquieren confirmacin
matemtica, y como tal se explicitan en El Discurso
de Galileo (1638), y son formulaciones embrionarias
del Teorema Fundamental del Clculo
7
.
4. LOS INFINITSIMOS YEL
DESARROLLO DELCLCULO
Poco a poco los mtodos geomtricos para expresar
una magnitud como suma de indivisibles se van con-
virtiendo en tcnicas aritmticas para la sumacin de
series infinitas. A este cambio de mentalidad con-
tribuyeron no poco los trabajos de R. Descartes y P.
Fermat que sentaron las bases de la Geometra
Analtica, cuyo objetivo era la aplicacin de los
mtodos del lgebra a la resolucin de problemas
geomtricos. El proceso de aritmetizacin de los indi-
visibles culmina con la obra de J. Wallis (1616-1703),
quien en su Arithmetica infinitorum abandona el
marco geomtrico y asigna valores numricos a los
indivisibles y los somete a manipulaciones aritmticas
formales
8
Y as, a lo largo de este proceso de aritmetizacin,
los indivisibles geomtricos van dando paso a un
nuevo ente, el infinitsimo. Se trata de un objeto ideal
con propiedades asombrosas: Se puede operar con l
como si fuera un nmero; aunque no es 0, es menor en
valor absoluto que cualquier cantidad positiva, y lo
mismo sucede con cualquiera de sus mltiplos; sin
embargo, una cantidad infinita de estos elementos,
puede ocasionar un efecto o magnitud finita. Alo largo
del siglo XVII estos objetos infinitesimales se van
introduciendo como elementos auxiliares de clculo
para, tras una manipulacin formal, hacerlos desa-
parecer igualndolos a 0.
Pero es en manos de Isaac Newton (1642-1727) y
de Gottfried W. Leibniz (1646-1716) cuando estas
tcnicas alcanzan su madurez, hasta convertirse en una
nueva y potente rama de las matemticas: el Clculo,
que iba a ser la herramienta fundamental para llevar a
cabo el programa de Galileo de matematizacin de la
Naturaleza. Los mtodos utilizados por Newton y
Leibniz no difieren esencialmente de los empleados
por sus predecesores. Pero lo que en Fermat, Descartes
o Roverbal eran una serie de reglas particulares para
resolver unos problemas concretos, se transforma en
manos de Newton y Leibniz en un mtodo muy
general para la determinacin de tangentes y cuadra-
turas, junto con el desarrollo de algoritmos formales
para el clculo con magnitudes infinitesimales.
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 69
Figura 11
0
t
0
t
7
I. Barrow, en la Leccin X de sus Lectiones Geometricae (1670), enuncia y demuestra un teorema geomtrico, independiente de cualquier
interpretacin fsica, que muestra claramente la relacin inversa que existe entre el clculo de tangentes y el de cuadraturas. Vase, p. ej., [Ed;
pgs. 138-140].
8
Es aqu donde aparece por primera vez el signo para denotar el infinito. ~
Figura 12
As, por ejemplo, para el clculo del rea
entre el eje de abscisas y la curva hasta el
punto de abscisa x Newton calcula primero su
velocidad de cambio, esto es, la razn
de la variacin del rea entre dos
puntos infinitamente prximos y x la variacin
(infinitesimal) de la abscisa. Es decir, la altura del
rectngulo infinitesimal limitado por la curva
y el eje de abscisas entre los puntos y x
que se confunde con la ordenada y (vase figura 12).
De esta forma Newton establece explcitamente el
Teorema Fundamental del Clculo
Aunque, como sabemos, esta relacin era conocida
en casos particulares (relacin velocidad-espacio
recorrido, etc.), lo importante es que Newton da la
vuelta a esta frmula, lo que le permite obtener un
procedimiento algortmico de clculo de reas (si se
posee un algoritmo para el clculo de derivadas, claro).
Esta idea de considerar el clculo de reas (la
integral) como el proceso inverso a la derivacin va
a imponerse hasta el primer tercio del siglo XIX.
Para el clculo de derivadas Newton emplea sis-
temticamente los infinitsimos. Por ejemplo, si
entonces, utilizando su frmula del binomio, resulta
Por tanto,
Dividiendo por o e igualando a 0 todos los trminos
que contenga el infinitsimo o, resulta que, en este
caso, , lo que permite a Newton calcular el
rea bajo todas las curvas de la forma . En el
opsculo De Analysi per Aequationes numero termi-
norum infinitas (1669), Newton establece 3 reglas para
el clculo del rea bajo la curva :
1. Si , se aplica la frmula ya obteni-
da.
2. Si es una suma finita de trminos del tipo
anterior, el rea es la suma de las reas limitada
por cada uno de los trminos (linealidad de la
integracin).
3. Finalmente, en el caso general se desarrolla
en serie de potencias y se integra trmino
a trmino.
Ante las dificultades para la fundamentacin rigu-
rosa del clculo con infinitsimos, Newton destaca que
lo que realmente importa es la razn de cantidades
infinitesimales, que puede ser finita independiente-
mente de la naturaleza de los factores. Este mtodo de
x o +
x o +
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 70
Isaac Newton Gottfried W.Leibniz
m n
dA
ax
dx
=
m n
y ax =
ltimas razones de cantidades evanescentes est muy
cerca de la nocin actual de lmite de un cociente
incremental, pero los problemas de clculo prctico y,
sobre todo, su aplicacin a magnitudes que depende de
dos o ms variables, hizo que pronto fuera sustituido
por el mtodo de las fluxiones, de clara inspiracin
fsica: Para ello, Newton considera que las cantidades
variables a estudiar estn generadas por el movimien-
to continuo de puntos, lneas y planos. Por ejemplo, la
curva plana se considera como el lugar geo-
mtrico de los puntos de interseccin de dos rectas
mviles, una horizontal y otra vertical.
De este modo, las coordenadas x e y de cada punto
que describe la curva son funciones del tiempo, y la
grfica de la curva es composicin de un movimiento
horizontal con velocidad instantnea y un movi-
miento vertical con velocidad instantnea (nociones
que Newton no define y considera intuitivamente evi-
dentes por razones fsicas). Por la regla del paralelo-
gramo, la pendiente de la tangente a la curva (que coin-
cide con la velocidad de cambio de la ordenada y
respecto a la abscisa x) es
Las cantidades x e y que varan con el flujo del tiempo
fueron llamadas por Newton fluentes y su velocidad de
cambio, sus fluxiones. A su vez, las fluxiones pueden
considerarse como fluentes, con fluxiones , etc.
Newton plantea inmediatamente el problema fun-
damental: dada una relacin entre cantidades varia-
bles, encontrar la relacin entre sus fluxiones, y rec-
procamente. Este ltimo caso comprende tanto el pro-
blema del clculo de primitivas (en el caso de una rela-
cin simple , como el de la resolucin de
una ecuacin diferencial general .
Newton se embarca en una serie de clculos que le per-
miten obtener las reglas generales de derivacin de
polinomios, productos y cocientes y, combinndolas
con el uso de series infinitas, obtener un algoritmo sis-
temtico para abordar estos problemas (vase [Ed;
pgs. 191-230]).
Veamos con un ejemplo como aborda Newton el
problema de determinar la relacin entre las fluxiones.
Supongamos que . Newton
aduce que durante un tiempo infinitesimal o el espacio
recorrido por las fluentes x e y es proporcional a sus
velocidades, como si el movimiento fuera uniforme.
Por tanto, al cabo del tiempo o, el punto x se habr
movido al y el y al y como el punto final
ha de estar sobre la curva, resulta
Desarrollando por la frmula del binomio:
Usando que , dividiendo por o y, final-
mente, suprimiendo los trminos que contengan o,
resulta:
de donde se obtiene fcilmente .
Junto con las fluxiones, la otra herramienta utiliza-
da sistemticamente por Newton fue el uso de series
infinitas de funciones (fundamentalmente, series de
potencias), tratadas formalmente como polinomios de
grado infinito, derivndolas o integrndolas trmino a
trmino sin ningn reparo.
El otro creador del Clculo, G. Leibniz, tiene una
trayectoria vital completamente diferente a la de
Newton. Hombre de mundo, con amplia formacin en
0,
n m
nm
my
nx
a x y
x y
_
+ =

,

&
&
.
y dy
x dx
_
=

,
&
&
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 71
x&
y&
x && y &&
x xo + & y yo + &
0
n m
nm
a x y =

y x & &
Figura 13
derecho y filosofa y diplomtico profesional es tam-
bin uno de los genios ms verstiles de todos los
tiempos, con contribuciones fundamentales a la filoso-
fa, matemticas e ingeniera. Inventor de una de las
primeras mquinas de calcular y pionero en la bsque-
da de un sistema de notacin y terminologa que codi-
ficara el razonamiento lgico, no es extrao que se sin-
tiera atrado por las matemticas y la bsqueda de un
sistema general de clculo.
El filsofo Leibniz tuvo muchos menos reparos for-
males en el uso de los infinitsimos que el fsico
Newton. Leibniz no quera hacer un misterio de los
infinitsimos ni apelaba a ninguna intuicin geomtri-
ca para justificarlos. Simplemente, los usaba
9
. Con su
mente lgica pensaba que, independientemente de la
naturaleza de los objetos, si se especificaban claramen-
te las reglas de uso y stas se aplicaban correctamente,
el resultado tambin lo sera.
Para Leibniz, las curvas se consideran formadas por
una infinidad de segmentos rectilneos infinitesimales,
coincidentes cada uno con un segmento de una tangen-
te a la curva. La aproximacin de Leibniz al clculo se
basa en el anlisis de las diferencias infinitesimales de
una cantidad variable (de ah el nombre de Clculo
Diferencial). La diferencia de dos valores sucesivos de
x es la diferencial dx y lo mismo para dy. Se supone
que las cantidades dx y dy son no nulas, pero despre-
ciables con respecto a los valores de las variables x e y.
Anlogamente, se supone que un producto de diferen-
ciales, como o es despreciable frente a
dx y dy. Hay una sucesin infinita de diferenciales dx
o dy asociadas a una curva (la sucesin de diferencias
de la sucesin de abscisas u ordenadas de la curva).
Esta sucesin de diferencias tiene a su vez una suce-
sin de diferencias, cuyos elementos son las diferen-
ciales de segundo orden , etc. Con estos
supuestos se pueden obtener sin problemas las frmu-
las de diferenciacin usuales.
Segn declar Leibniz en alguna ocasin, su inspi-
racin se origin en un trabajo de Pascal para el clcu-
lo del rea de un hemisferio, en el que apareca una
figura (el tringulo diferencial). Leibniz se percat
que esta figura se poda reproducir en cualquier curva,
de modo que la determinacin de la pendiente de la
tangente en un punto depende de la razn de las dife-
rencias de la ordenada y la abscisa cuando stas se
hacen infinitesimales, y la cuadratura depende de la
suma de rectngulos infinitamente pequeos, siendo
estas operaciones mutuamente inversas.
As, de la figura 14 resulta (por semejanza de trin-
gulos) que la razn de la diferencial de la ordenada dy
a la de la abscisa dx es la misma que la de la ordenada
y a la subtangente s (y, por tanto, una cantidad finita
siempre!).Tambin resulta que el segmento infinitesi-
mal de la curva ds es la hipotenusa del tringulo dife-
rencial, luego
lo que inmediatamente proporciona la longitud de la
curva como suma de la de los segmentos infinitesima-
les que la forman:
Cuando el segmento ds gira alrededor del eje x en un
crculo de radio y, genera un rea infinitesimal
2
2 2 1 .
dy
dA y ds y dx
dx
r r
_
= = +

,
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 72
9
En una carta escrita dos meses antes de su muerte, Leibniz manifestaba que no crea que existieran magnitudes realmente infinitas o infin-
itesimales. Pero, tanto si existen como si no, estos conceptos son ficciones tiles para abreviar y utilizar un lenguaje universal.
Figura 14
Sumando estas reas infinitesimales obtenemos el rea
de la superficie
Estos ejemplos ponen de manifiesto una de las
grandes ventajas del clculo de Leibniz: su notacin
(que es esencialmente la que utilizamos hoy en da) y
la facilidad de manipulacin formal con los smbolos
para obtener resultados correctos.
Desde el punto de vista conceptual el mtodo de
Newton toma como elemento central del clculo la
nocin de derivada, como razn de fluxiones (mucho
ms prximo a la nocin moderna de lmite) en lugar
de considerar separadamente las diferenciales dx y dy.
Una segunda derivada es, simplemente, una fluxin de
una fluxin, y cada fluxin necesita slo considerar
infinitesimales de primer orden, por lo que Newton no
necesita la jerarqua de infinitesimos de Leibniz.
Tambin hay diferencias en la concepcin de la inte-
gral: Para Newton es simplemente una fluente a deter-
minar, conocida su fluxin. Para Leibniz, la integral es
una suma de infinitsimo. Por supuesto, ambos calcu-
lan finalmente la integral por antiderivacin, ya que
esa es una caracterstica comn en ambos mtodos.
Finalmente, Leibniz presta un inters relativo a la teo-
ra de series de funciones, mientras que para Newton
es herramienta fundamental de su clculo.
Por lo dems, los resultados a los que se llega son
similares.
El xito del Clculo, tanto en Matemticas como en
su aplicacin a la descripcin de la Naturaleza, fue
espectacular, y el uso de los infinitsimos se populari-
z a lo largo del siglo XVIII.. Probablemente el ms
hbiles manipulador de estos entes (junto con su inver-
sos, los nmeros infinitamente grandes) fue el genial y
prolfico Leonhard Euler (1707-1783), uno de los
matemticos ms innovadores de la historia.
Por su formacin y estrecha relacin con los
Bernouilli, la concepcin de Euler del clculo est ms
prxima a la de Leibniz que a la de Newton, haciendo
hincapi en el carcter formal de los smbolos que se
usan en el mismo, con hbiles extrapolaciones forma-
les de lo finito a lo infinito. Desde un punto de vista
actual, sorprende a veces la audacia y confianza de
Euler en las manipulaciones formales, muy lejos de
nuestra presente concepcin de rigor, pero que le per-
mite obtener resultados espectaculares. Por ejemplo,
veamos cmo resuelve Euler el famoso Problema de
Basilea, es decir, el clculo de la suma
10
Euler comenz a trabajar sobre el tema en 1730,
obteniendo una aproximacin del valor de la suma con
seis decimales exactos. Cuando en 1734 anunci que
haba resuelto el problema, se convirti de repente en
uno de los matemticos ms reputados de su poca. El
trabajo (uno de los ms famosos de Euler) fue presen-
tado en la Academia de San Petersburgo en 1735, aun-
que no apareci publicado hasta 1740, con el ttulo De
summis serierum reciprocarum. Y, como es habitual en
Euler, contiene hasta tres demostraciones de la solu-
2
1
1
n
n
~
=

Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 73

10
El nombre dado al problema se debe a que Jakob Bernouilli dedic en Basilea muchos esfuerzos a tratar de resolverlo (de hecho, demostr
la convergencia de la serie y que la suma era menor o igual que 2)
Figura 15
cin y muchos otros resultados. Su argumento se basa
en una extrapolacin formal de las propiedades de los
polinomios a las series infinitas. Concretamente, si
es un polinomio de grado n con trmino inde-
pendiente y con races , entonces P
admite la factorizacin
Realizando las operaciones e identificando coefi-
cientes, resulta que
y, en general, es la suma de los inversos de todos
los productos de k races distintas. Por otro lado, des-
arrollando las potencias
es fcil ver, por induccin, que si , se
tiene
Y ahora se produce el salto al infinito: Euler con-
sidera las series infinitas como polinomios de grado
infinito, y aplica sin reparos las frmulas obtenidas
anteriormente a las series! En particular, en su tercera
demostracin del resultado, Euler aplica su mtodo a
la funcin , para ; , cuyo
desarrollo en serie (bien conocido) es
y cuyos ceros son r, 2r, 3r,.... Entonces
Es decir,
El problema de Basilea ha sido resuelto! Pero Euler
no se detiene aqu. Siguiendo el mismo argumento
obtiene los valores de
para 1 k 6.
Varios de los colegas de Euler (entre ellos Daniel y
Nicols Bernouilli) presentaron diversas objeciones a
su demostracin: por ejemplo, la funcin sen x poda
tener otras races complejas, adems de las reales con-
sideradas por Euler. Ms importante era la necesidad
de justificar que las frmulas de Newton para polino-
mios fueran vlidas para series. Ms an, mientras que
un polinomio queda caracterizado por sus races, eso
no es cierto para otras funciones. Por ejemplo,
y tienen los mismos ceros reales, pero clara-
mente no pueden tener el mismo desarrollo en serie de
potencias. El mismo Euler era consciente de estas difi-
cultades, pero el hecho de que su mtodo condujera
tambin a resultados conocidos y que los clculos
numricos los avalaran en otros casos le persuadieron
de su validez.
Yesto nos lleva a la idea de demostracin que tena
Euler: En esta poca, ms que una verdad matemtica
incontestable, se trataba de exponer una prediccin
con altas dosis de fiabilidad, corroborada con la com-
probacin de una serie de casos particulares del enun-
ciado y combinada con el uso constante de ejemplos
numricos concretos que suministran una mayor evi-
dencia de la certeza de lo afirmado. Por ello, no es
extrao que los matemticos de la poca se enzarcen
en animadas polmicas sobre la aceptabilidad de deter-
minados resultados. Y, desgraciadamente, la utiliza-
cin incontrolada de los infinitsimos y los automatis-
mos formales era una fuente constante de paradojas y
contradicciones que produca un sin fin de controver-
sias y una creciente sensacin de inseguridad. Por
ejemplo, Johann Bernouilli sostena que
, ya que
. Por el contrario, Leibniz sostena que
los logaritmos de los nmeros negativos eran imagina-
rios, basndose en ciertas manipulaciones con series
divergentes
11
. No menos problemas surgan de la utili-
s s
2
2
1
1
.
6
n
n
r
~
=
=

2 3
1 1 2 1 2 3 1 1 2
, 2 , 3 , etc. S S S o o o o oo = = =
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 74
0 x =
2
1
1
k
n
n
~
=

sen x x
x
e sen x x
11
Fue Euler quien obtuvo la solucin correcta, va las llamadas frmulas de Euler en [Eu]. En la introduccin, hace referencia a la contro-
versia y anuncia su intencin de eliminar las contradicciones para que pueda verse lo difcil que es descubrir la verdad y defenderse contra
la inconsistencia, incluso cuando dos grandes hombres abordan el problema... (Obviamente, se refiere a J. Bernouilli y G. Leibniz).
2
log 2log n n =
1
,...
n
a a
k
o
1
1
n
k k
j
j
S
a
=
=

zacin automtica de la antiderivacin para calcular

reas o integrales definidas. Por ejemplo, una vez
conocido el valor de , se tiene
Cmo se explica que la suma de infinitsimos reales
pueda originar infinitos valores, todos ellos imagi-
narios? El mismo tipo de contradiccin haba sido
puesto de manifiesto por J. dAlembert (1717-1783)
al obtener en 1768
Es decir, un nmero negativo como suma de infinit-
simos positivos!
5. LABSQUEDADELRIGOR
Desde sus mismos inicios, las inconsistencias
lgicas de los infinitsimos fueron objeto de crticas.
Una de las ms demoledoras se debe al obispo irlands
G. Berkeley (1685-1753), en su ensayo The Analyst
12
(1734), en el que acusa a los seguidores de Newton y
Leibniz de utilizar mtodos que no comprenden,
basados en inconsistencias lgicas y conceptos
ambiguos, aunque reconoce que los resultados
obtenidos pueden ser correctos, como consecuencia de
una cierta compensacin de errores. Curiosamente,
esta explicacin se iba a repetir posteriormente por
quienes intentaron encontrar una base slida para la
fundamentacin del Clculo, incluyendo a personajes
de la talla de Maclaurin, Lagrange o L. Carnot.
Lo cierto es que, a comienzos del siglo XIX, se hizo
inevitable una revisin crtica profunda del Clculo. Y
uno de sus principales impulsores fue A. L. Cauchy
(1789-1857), profesor de la cole Polytechnique de
Pars. En su famoso Cours danalyse (1821) construye
todo el edificio del Anlisis sobre la nocin de lmite.
A continuacin, Cauchy define un infinitsimo como
una variable con lmite cero y, de este modo, evita
todas las confusiones y controversias que resultan de
considerar los infinitsimos como cantidades cons-
tantes menores que cualquier nmero positivo. Sobre
este concepto, Cauchy desarrolla los contenidos
bsicos de la Teora de Funciones. Toma como nocin
primordial del clculo diferencial la de derivada,
definida como lmite del cociente de incrementos, y
construye de forma rigurosa todo el clculo. Tambin
se plantea la necesidad de demostrar la existencia de la
integral definida, entendida como rea del recinto de
ordenadas de la funcin a integrar, y lo consigue al
menos para funciones continuas. En fin, este proceso
de rigorizacin iba a continuar a lo largo de todo el
siglo XIX, culminando con los trabajos de K.
Weierstrass (1815-1897) y su escuela, que establecen
la definicin de lmite en los trminos r-o tan habitual
en los textos actuales y que permite construir todo el
Clculo en trminos de las propiedades del sistema de
nmeros reales
13
, sin ninguna mencin a los infini-
tsimos.
A lo largo de este proceso de fundamentacin, la
propia nocin de rigor va cambiando. El consenso
sobre lo que es un paso obvio o trivial depende
tambin del contexto histrico y cultural. As, el propio
Cauchy enuncia como evidente el criterio que lleva su
nombre para asegurar la convergencia de una sucesin
de nmeros reales. Este criterio es equivalente a la
asuncin de que todo conjunto no vaco de nmeros
reales acotado superiormente, tiene supremo (es decir,
una cota superior mnima). Sin embargo, estas son las
propiedades que, tomadas como axiomas, estn en la
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 75
12
Puede consultarse una traduccin al castellano en [Nw; pgs. 214-219].
13
R. Dedekind y G. Cantor publicaron en 1872 sendas construcciones rigurosas de los nmeros reales.
dx
x
A. L. Cauchy
base de las construcciones rigurosas de los nmeros
reales de Cantor y Dedekind, respectivamente. Otro
ejemplo: el hecho de que una funcin (real de variable
real) continua en un intervalo cerrado que toma valores
de signos opuestos en los extremos del intervalo, debe
anularse en algn punto del interior, era una propiedad
evidente (de hecho, equivalente a la continuidad)
14
para gran parte de los matemticos del siglo XIX. El
primero que se plante la necesidad de demostrar este
hecho fue un desconocido monje checo, B. Bolzano
(1781-1848) en un artculo publicado en Praga en 1817
y que pas inadvertido durante muchos aos. Y para
ello tuvo que asumir la propiedad del supremo de
nmeros reales que hemos citado anteriormente.
Durante gran parte del siglo XIX contina vigente
la nocin de demostracin del siglo XVIII. Cauchy
enuncia (y demuestra) en su Cours dAnalyse que la
suma de una serie convergente de funciones continuas,
define una funcin continua. Cuando en 1826 el joven
N. Abel (1802-1829) encuentra un contraejemplo a
este enunciado, slo indica en la introduccin que El
resultado de M. Cauchy parece que admite alguna
excepcin... Y este hecho se repite con asiduidad. El
famoso matemtico francs L. Schwartz (1915-2002)
cita en su autobiografa ([Sch] el siguiente comentario
de su amigo A. Weil (1906-1998) sobre la escuela
italiana de geometra algebraica: Para ellos resulta
un complemento interesante proponer, a continuacin
de un teorema, un contraejemplo al mismo.
Este tipo de situaciones provoca a lo largo del siglo
XIX un proceso continuado en busca de una funda-
mentacin rigurosa del anlisis y, en general, de toda la
matemtica.
Por un lado, cada vez con mayor frecuencia, tc-
nicas y resultados de una cierta parcela de las
matemticas, se mostraban tiles en otra parcela. De
esta forma, fue ponindose en evidencia que lo rele-
vante no era la naturaleza de los objetos estudiados,
sino las relaciones entre ellos. As van surgiendo, no
sin dificultad, las primeras estructuras algebraicas
(grupos, anillos, cuerpos, espacios vectoriales), que
permiten agrupar bajo una misma denominacin con-
juntos formados por elementos de naturaleza muy dis-
tinta, pero que gozan de una serie de relaciones y
propiedades comunes. Estas nociones permiten tam-
bin explicar las grandes semejanzas advertidas entre
teoras aparentemente muy distintas.
Por otro lado, la falta de seguridad en un edificio
cada vez mas grande e inabarcable, junto con la
aparicin de nuevas teoras, como las Geometras no
eucldeas hizo que los matemticos sintieran la
necesidad de establecer claramente las propiedades de
los objetos a estudiar y las reglas de juego en cada
caso, para evitar posibles contradicciones. Esto es,
retornar al viejo mtodo utilizado por los maestros
griegos para el desarrollo de la geometra eucldea: el
mtodo axiomtico.
El mtodo axiomtico y la organizacin en tr-
minos de estructuras matemticas ciertamente per-
miten al matemtico una considerable economa de
pensamiento y una gran sensacin de seguridad, al
sentirse dentro de unos lmites bien establecidos, y es
el que se sigue utilizando para exponer y presentar las
matemticas actualmente.
En cuanto a la fundamentacin ltima, durante
algn tiempo se pens que la lgica y la teora de con-
juntos iban a proporcionar una slida base sobre la que
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 76
14
Existen funciones no continuas que tienen la propiedad de los valores intermedios, es decir, si toman dos valores, toman todos los valo-
res intermedios entre ellos.
K. Weierstrass
construir todo el edificio de las matemticas. Pero las
numerosas antinomias y paradojas que surgieron moti-
varon que tambin aqu se optara por restringir la
nocin de conjunto y se axiomatizara la teora. Las
axiomticas habituales, como la de Zermelo-
Fraenkel, resultaban adecuadas para el desarrollo de
las matemticas usuales y evitaban las paradojas cono-
cidas. Pero tenan un defecto: su consistencia (es decir,
ausencia de contradiccin) no haba sido demostrada
15
Esta situacin era claramente insatisfactoria. Y por
ello, uno de los mejores matemticos de la poca, D.
Hilbert (1862-1943), que ya haba abordado el
problema de la consistencia de la geometra, propuso
un programa para dar una demostracin de la consis-
tencia de la matemtica por mtodos puramente fini-
tistas. En sus propias palabras:
Mis investigaciones acerca de los nuevos funda-
mentos de las matemticas tienen como propsito
eliminar de manera definitiva cualquier duda en
relacin a la confiabilidd de la inferencia
matemtica [...] Una solucin completa de estas difi-
cultades requiere una teora cuyo objeto de estudio
sea la demostracin matemtica misma... ([Hi].
Para ello, Hilbert propone la formalizacin com-
pleta del sistema estudiado. Ello requiere, en primer
lugar, explicitar el listado o vocabulario completo de
signos que se va a emplear, junto con las reglas de for-
macin de las expresiones vlidas. Acontinuacin, hay
que especificar las reglas de transformacin para pasar
de una frmula vlida a otra. Finalmente, para
comenzar la tarea, se seleccionan algunas expresiones
vlidas como axiomas. A partir de aqu, lo que pre-
tende Hilbert es desarrollar una teora de las propie-
dades combinatorias del lenguaje formal que permita
hacer afirmaciones sobre una expresin determinada
del sistema. Esta teora la llam Hilbert Metama-
temtica. Sus enunciados son pues afirmaciones sobre
los signos del sistema formal y su disposicin. La
demostracin de la consistencia de un sistema formal
dado consistira en probar, por enunciados meta-
matemticos finitistas, que nunca puede obtenerse en
el sistema una frmula y su negacin.
Hacia 1930 el Programa de Hilbert pareca bien
encaminado, gracias a los esfuerzos del propio Hilbert
y algunos de sus estudiantes. En particular, se haba
podido demostrar la consistencia absoluta para el
sistema de la aritmtica de los nmeros naturales con
la adicin (aunque no con la multiplicacin).
Sin embargo, el ao siguiente, un joven docente en
la Universidad de Viena, K. Gdel (1906-1978)
acababa con la esperanza de Hilbert. En un artculo
que lleva el expresivo ttulo de Sobre proposiciones
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 77
D. Hilbert
15
Como agudamente observ Poincar, hemos puesto una cerca para proteger al rebao de los lobos, pero no sabemos si hemos dejado
algunos lobos dentro de la cerca.
K. Gdel
formalmente indecidibles de Principia Mathematica y
sistemas afines, I ([G]) Gdel prueba que todo
sistema formal (en el sentido del programa de Hilbert)
consistente y que contenga a la aritmtica, es necesa-
riamente incompleto, es decir, contiene enunciados
legtimos del sistema que son indecidibles, esto es, ni
su afirmacin ni su negacin son demostrables en el
sistema. Y uno de esos enunciados es, precisamente,
el que afirma la consistencia del sistema! Esto supone,
por tanto, la imposibilidad de llevar a cabo con xito el
Programa de Hilbert y una limitacin fundamental del
mtodo axiomtico mismo que, desde su invencin por
los griegos, haba sido considerado como la ms
potente herramienta descubierta para alcanzar la
verdad.
Todo ello ha provocado una cierta sensacin de
desconcierto entre los matemticos, al tener que
renunciar al carcter de irrefutable del que gozaba su
Ciencia. Veamos algunos testimonios de esta actitud:
...Los esfuerzos para conseguir el rigor ms extremo
han conducido a un callejn sin salida, en el que ya no
existe acuerdo sobre lo que ste significa. Las
matemticas continan vivas y vitales, pero slo sobre
una base pragmtica. ([Kl])
...Una demostracin en matemticas no es ms que
una comprobacin de los productos de nuestra intuicin.
Obviamente, no poseemos, y probablemente nunca ten-
dremos, un estndar de demostracin que sea indepen-
diente del tiempo, de lo que queramos probar o de la
persona o escuela de pensamiento que lo emplee Lo
sensato parece que es admitir que no existe tal cosa
como la verdad absoluta en matemticas [...] Nuestra
intuicin sugiere ciertos resultados [...] que compro-
bamos por lo que llamamos una demostracin. ([Wi])
Si quiere usted que las matemticas tengan sentido,
ha de abandonar usted la certeza. Si quiere usted
certeza, elimine el significado. (El alumno Kapa en [La])
6. CONCLUSIN
Hace unos 200 aos los matemticos ms rele-
vantes podan comprender prcticamente todas las
matemticas que se producan y tener una perspectiva
bastante global de los problemas ms importantes en
las distintas reas. Hoy en da, esto es imposible. Ya en
1976, fecha de publicacin de su autobiografa Adven-
tures of a Mathematician, el matemtico Stanislaw
Ulam estimaba en 200.000 el nmero de teoremas
nuevos publicados cada ao, y conclua:
Por este motivo est resultando cada vez ms difcil
enjuiciar el valor de la investigacin matemtica, y casi
todos nosotros nos estamos convirtiendo bsicamente en
tcnicos. [...] En realidad, es imposible mantenerse al
tanto ni siquiera de los resultados ms destacados y
apasionantes.
Difcilmente un investigador domina las tcnicas y
conoce los trabajos ms recientes de ms de dos o tres
reas de investigacin en Matemticas. Cmo se
puede entonces saber qu problemas son importantes y
que lneas de trabajos son ms relevantes? Esta pre-
gunta no parece tener una respuesta satisfactoria a
nivel global y de ah la diversidad de polticas de las
distintas instituciones que financian la investigacin.
Por supuesto que a nivel de superespecializacin, los
especialistas podran ponerse ms o menos de
acuerdo para sealar algunas directrices relevantes en
su especialidad, aunque muchas veces se sigue la
mxima de que los problemas importantes son
aquellos que estudian los investigadores importantes.
Pero, adems, es imposible que el matemtico, en
su trabajo cotidiano, compruebe todos y cada uno de
los resultados previos en los que debe apoyarse para
llevar a cabo su demostracin
16
. Ms an, aunque
parece cierto que, dado un sistema formal, la lgica de
primer orden debe conducir a resultados correctos, la
matemtica real, la que hacen los matemticos habi-
tualmente, jams se escribe en lenguaje formalizado.
Por todo ello, la nocin de demostracin correcta
en Matemticas desde la segunda mitad del siglo XX
tiene una dimensin colectiva. En ltimo trmino, la
aceptacin de un resultado como correcto se establece
por consenso entre los cualificados. Cuando surgen
diferencias de opinin entre los expertos, las dudas se
resuelven por la comunicacin y la explicacin, nunca
por la transcripcin de la demostracin al clculo de
predicados de primer orden.
Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 Fernando Bombal Gordn 78
16
Por ejemplo la clasificacin de los grupos finitos simples se complet en 1985. El resultado final es consecuencia de ms de 500 artculos,
debidos a diversos autores, y su demostracin completa ocupa unas 15.000 pginas. Vase [Go].
Por ejemplo, durante la verificacin de la demos-
tracin de A. Wiles del ltimo Teorema de Fermat, se
reconoci explcitamente en varias ocasiones que la
confianza depositada en las opiniones de los revisores
era al menos tan importante como el rigor empleado en
sus comprobaciones.
Como sealan P. Davis y R. Hersh,
Los matemticos de todos los campos se apoyan
unos en el trabajo de otros; la confianza mutua que les
permite hacerlo reside en el sistema social del que
forman parte. No se limitan a utilizar resultados que
sean capaces de demostrar por s mismos a partir de
primeros principios. Cuando un teorema ha sido pub-
licado en una revista seria, cuando el nombre del autor
es conocido, cuando el teorema ha sido citado y uti-
lizado por otros matemticos, se considera que el
teorema est debidamente establecido. ([DH; pg. 278]).
BIBLIOGRAFA
1. [Bo] F. Bombal, Paradojas y rigor: la historia inter-
minable. Discurso de ingreso en la Real Academia de
Ciencias Exactas, Fsicas y Naturales de Madrid.
Madrid, 2006.
2. [Bot] U. Bottazzini, The higher calculus: A history of
real and complex analysis from Euler to Weierstrass.
Springer, Berln 1986.
3. [Boy] C. Boyer, The history of the Calculus and its
conceptual development. Dover Pub., New York,
1959.
4. [Da] A. Dahan Dalmedico, An image conflict in
mathematics after 1945. En Changing images in
Mathematics. From the French Revolutiion to the
New Millenium, U. Bottazzini and A. Dahan
Dalmedico Edits. Routledge, London, 2001.
5. [DH] P. J. Davis, R. Hersh, Experiencia matemtica.
MEC y Labor, Barcelona, 1982.
6. [Du] W. Dunham, Journey through Genius. The
great theorems of mathematics, J. Wiley & Sons,
New York, 1990.
7. [Ed] C. H. Edwards, The historical development of
the calculus. Springer-Verlag, New York, 1979.
8. [Eu] L. Euler, De la controverse entre Messrs.
Leibniz et Bernouilli sur les logaritmes ngatifs et
imaginaires. Opera (1) 17, 195-232.
9. [Go] D. Gorenstein, El teorema enorme. Investiga-
cin y Ciencia, Febrero 1986, pgs. 70-83.
10. [G] K. Gdel, ber formal unentscheidbare Stze
der Principia Mathematica und verwandter Systeme
I. Monaschefte fr Mathematik und Physik 38
(1931), 173-198.
11. [Hi] D. Hilbert, Die logischen Drundlagen der
Mathematik. Matematische Ann. 88 (1923), 151-165.
Traduccin espaola: Los fundamentos lgicos de
las matemticas en Fundamentos de las matema-
ticas, Mathema, UNAM, Mxico 1993.
12. [Kl] M. Kline, Mathematical thought from ancient to
modern times. Oxford University Press, New York
1972.
13. [La] I. Lakatos, Pruebas y Refutaciones.Alianza
Editorial, Madrid, 2 ed., 1982.
14. [Nw] J. R. Newman, Sigma, el mundo de las mate-
mticas, vol. 1. Eds. Grijalbo, Barcelona, 1968.
15. [Sch] L. Schwartz, Un mathmaticien aux prises
avec le sicle. Ed. Odile Jacob, 1997.
16. [Wi] R. L. Wilder, The nature of mathematical proof.
American Math. M. (1944), 309-323.
Fernando Bombal Gordn Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2010; 104 79