Вы находитесь на странице: 1из 133

Prof.

EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

1








Hist oria y filosofa de las mat emt icas.









Breve resea histrica de la evolucin del clculo infinitesimal
y sus dos grandes ramas: El Cl cul o Di ferenci al y el Cl cul o Integral














Recopilacin del material por:
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
DIE-UD Bogot. Colombia.








Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

2




Tabla de contenido.

Pg.

1. Concepto general de clculo 7
1.1. El clculo lgico ... 7
1.2. Sistematizacin de un clculo de deduccin natural .. 8
1.3. Reglas de formacin de frmulas .. 8
1.3.1. Regla de sustitucin (R.T.1) 8
1.3.2. Regla de separacin (R.T.2) . 9
1.4. Esquemas de inferencia .. 9
1.5. El lenguaje natural como modelo de un clculo lgico . 10
1.5.1. Clculo proposicional o clculo de enunciados.. 11
1.5.2. Clculo como lgica de clases . 11
1.5.3. Clculo de predicados o cuantificacional . 11
1.5.4. Clculo como lgica de relaciones . 11
1.5.5. Clculo algebraico . 13
1.5.6. clculo infinitesimal: resea histrica . 14


2. El clculo integral. 39
2.1. La integracin antes del Clculo 47
2.1.1. Primitivas ....... 48
2.1.2. Regla de Barrow ........ 49
2.1.3. Los indivisibles de Cavalieri. (Principio de Cavalieri). 49
2.1.4. Cuadratura de la cicloide por Roberval 51
2.1.5. Parbolas e hiprbolas de Fermat 53
2.1.6. La integracin aritmtica de Wallis 55
2.1.7. La relacin fundamental entre cuadraturas y tangentes. 58
2.1.7.1. El mtodo de mximos y mnimos de Fermat. 59
2.1.7.2. El mtodo de las tangentes de Fermat. .. 61
2.1.7.3. La cuadratura de Fermat de hiprbolas y parbolas de
orden superior .. 63
2.1.7.4. El mtodo de Roberval y de Torricelli para las tangentes 64
2.1.7.5. El tringulo diferencial de Barrow 65
2.1.7.6. El resultado fundamental de Barrow. 66
2.2. El clculo segn Newton. 67
2.2.1. De anlisis . 69
2.2.2. Descubrimiento de las series de x sen y x cos . 71
2.2.3. El teorema fundamental del Clculo segn Newton.. 72
2.2.4. El mtodo de las fluxiones.. 74
2.2.5. Clculo de Newton del nmero ... 78
2.3. El trabajo de W.G. Leibniz. .. 79
2.3.1. Sumas y diferencias. .. 79
2.3.2. El clculo de Leibniz . 80
2.3.3. El problema de De Beaune . 84
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

3

2.3.4. Desarrollo del seno a partir de su ecuacin diferencial 86
2.4. Resumen y desarrollo posterior 87
2.4.1. Primeras dificultades del nuevo anlisis. .. 94
2.4.2. Contribuciones matemticas de J ohann Bernoulli. .. 96
2.4.3. Los aportes de Abraham De Moivre 99
2.4.4. Los aportes de Roger Cotes . 101
2.4.5. Los aportes de J ames Stirling. . 101
2.4.6. Colin Maclaurin y sus aportes en geometra y algebra. 102
2.4.7. Aportes de Gabriel Cramer .. 104
2.4.8. Brook Taylor y el clculo de diferenticas infinitas . 105
2.4.9. La obra de Leonhard Euler. . 108
2.4.9.1. Las notaciones de Euler .. 110
2.4.9.2. El numero e 110
2.4.9.3. Los smbolos i,

, . 114
2.4.9.4. La diferencial en Euler . 115
2.4.9.5. La teora de nmeros 116
2.4.9.6. La teora de grafos y geometra. . 123
2.4.9.7. Matemtica aplicada. 124
2.4.9.8. En fsica y astronoma.. 125
2.4.9.9. Euler y las series infinitas .. 127
2.5. Las matemticas en la poca de la revolucin francesa. .. 128






1. Concepto general de clculo
La palabra clculo proviene del latn calculus, que significa contar con piedras. Precisamente
desde que el hombre ve la necesidad de contar, comienza la historia del clculo, o de las
matemticas
El concepto de matemticas, se comenz a formar, desde que el hombre vio la necesidad
de contar objetos, esta necesidad lo llev a la creacin de sistemas de numeracin que
inicialmente se componan con la utilizacin de los dedos, piernas, o piedras. Por la
necesidad, se hizo forzosa la implementacin de sistemas ms avanzados y que pudieran
resolver la mayora de los problemas que se presentaban.

En este momento de la historia, la Civilizacin Egipcia, llevaba la pauta con el avance en sus
conocimientos matemticos. Segn varios papiros escritos en esa poca, los egipcios
inventaron el primer sistema de numeracin, basado en la implementacin de jeroglficos. El
sistema de numeracin egipcio, se basaba en sustituir los nmeros clave (1, 10, 100...), con
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

4

figuras (palos, lazos, dibujos de personas...), los dems nmeros eran escritos por la
superposicin de estas mismas figuras, pero en clave. Este sistema es la pauta para lo que
hoy conocemos como el sistema romano. Otras civilizaciones importantes en la historia,
como la babilnica, crearon otros sistemas de numeracin. En la Antigua Babilonia, la
solucin al problema de contar los objetos, se vio resuelto con la implementacin de un
mtodo sexagesimal. Este mtodo tena la particularidad de escribir un mismo signo como la
representacin de varios nmeros diferenciados por el enunciado del problema.
Civilizaciones como la China Antigua, y la India Antigua, utilizaron un sistema decimal
jeroglfico, con la cualidad de que estas implementaron el nmero cero. Los avances
obtenidos desde que cada cultura implement su sistema numrico, an son utilizados
actualmente. El avance algebraico de los egipcios, dio como resultado la resolucin a
ecuaciones de tipo x + ax =b. La correcta implementacin de la regla aritmtica de clculo,
por parte de los Indios, aument el conocimiento matemtico y la creacin de los nmeros
irracionales, adems que ayud a la resolucin de sistemas de ecuaciones de la forma
x
2
= 1 + y
2
.

En la Antigua Mesopotamia, se introduce el concepto de nmero inverso, adems de las
soluciones a distintos problemas logartmicos, e incluso lograron la solucin a sistemas de
ecuaciones de la forma x + px =q , y x
2
+ bx = c Su avance fue tal que crearon algoritmos
para el clculo de sumas de progresiones. Y en geometra, se cree que conocan el teorema
de Pitgoras, aunque no como un teorema general. China sin duda tuvo que ver en gran
medida en el avance matemtico. Su aporte principal se basaba en la creacin del "mtodo
del elemento celeste", desarrollado por Chou Shi Hi, con el cual era posible la resolucin
de races enteras y racionales, e incluso aproximaciones decimales para ecuaciones de la
forma Pn(x) = a4x4 + a3x3 + a2x2 + a1x1 + ao.

Sin embargo las matemticas obtuvieron su mayor aporte de la cultura Greco Romana. Fue
en Grecia, donde se hizo popular la creacin de escuelas, en donde los grandes pensadores
de la poca daban resolucin a los problemas ms populares de geometra, lgebra, y
trigonometra. Los aportes de esta cultura a las matemticas son de enorme magnitud. Por
ejemplo en el campo de la geometra, se dio la demostracin del teorema de Pitgoras,
adems que fue hallado el mtodo para conseguir la serie indefinida de ternas de nmeros
pitagricos, que satisfacen la ecuacin a
2
+ b
2
= c
2
. Incluso se trabaj enormemente en la
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

5

resolucin y demostracin de distintos problemas, como en la triseccin de un ngulo, y en
la cuadratura de reas acotadas por una curva. Esto conllev a al avance en l clculo del
nmero pi y a la creacin del mtodo de exhaucin (predecesor del clculo de limites),
creado por Eudoxo.

El avance que obtuvieron los griegos en cuanto al lgebra y la geometra, los llev a la
construccin de una nueva rama de las matemticas, llamada, 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, y la expresin de
la arista de un poliedro regular a travs del dimetro de la circunferencia circunscrita. En
Grecia, no se hicieron esperar los problemas que implicaban la construccin de lmites, por
lo que en su poca, Demcrito y otros grandes pensadores intentan darles respuesta con la
unificacin de las matemticas y la teora filosfica atomicista
1
. Considerando de esta forma
la primera concepcin del mtodo del lmite.

El inters que produjeron las matemticas en Grecia, hace que se considere como la cuna
de esta ciencia. Por lo cual se bautiz a la poca comprendida de los aos 300 a. C y 200 a.
C, como la edad de oro de las matemticas. Despus de esta poca, Grecia deja de ser el
centro evolutivo de las matemticas, conflictos sociales y polticos que se vivan en esa
poca alejan a Grecia de esta ciencia. Por esta situacin otro imperio toma las riendas de
los avances matemticos. Los rabes, que en esos momentos vivan un momento de
expansin, no slo territorial sino intelectual, en poco tiempo logran descifrar ms
conocimientos de esta materia. La historia de las matemticas en los pueblos rabes
comienza a partir del siglo VIII. El imperio musulmn fue el primero en comenzar este
desarrollo, intentando traducir todos los textos Griegos al rabe. Por lo que se crean gran
cantidad de escuelas de suma importancia, en donde se traducen libros como el
Brahmagupta, en donde se explicaba de forma detallada el sistema de numeracin hind,
sistema que luego fue conocido como "el de Al-Khowarizmi", que por deformaciones
lingsticas termin como "algoritmo"
2
. Los avances obtenidos en esta poca, enmarcan al

1
El atomismo es un sistema filosfico que surgi en Grecia durante el siglo V a. C. y en la India hacia el ao 200
a. C.- 100 a. C., segn el cual el universo est constituido por combinaciones de pequeas partculas indivisibles
denominadas tomos (en griego significa que no se puede dividir). (Roy, Jean-Michel. 1989).
2
un algoritmo es un conjunto pre-escrito de instrucciones o reglas bien definidas, ordenadas y finitas que
permite realizar una actividad mediante pasos sucesivos que no generen dudas a quien deba realizar dicha
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

6

concepto del lmite, la introduccin de los nmeros racionales e irracionales, especialmente
los reales positivos, y el desarrollo en la trigonometra, en donde se construyeron tablas
trigonomtricas de alta exactitud.

El uso ms comn del trmino clculo es el lgico-matemtico. Desde esta perspectiva, el
clculo consiste en un procedimiento mecnico, o algoritmo, mediante el cual podemos
conocer las consecuencias que se derivan de unos datos previamente conocidos
debidamente formalizados y simbolizados. Bajo esta ptica, el clculo es un sistema de
smbolos no interpretados, es decir, sin significado alguno, en el que se establecen mediante
reglas estrictas, las relaciones sintcticas entre los smbolos para la construccin de frmulas
bien formadas (fbf), as como las reglas que permiten transformar dichas expresiones en otras
equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria
el mismo valor de verdad. Dichas transformaciones son meramente tautologas
3
.
Un clculo consiste en:
- Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por
enumeracin, o definidos por una propiedad tal que permita discernir sin duda alguna
cundo un elemento pertenece o no pertenece al sistema.

- Un conjunto de reglas de formacin de expresiones bien formadas (EBFs)
que permitan en todo momento establecer, sin forma de duda, cundo una expresin
pertenece al sistema y cundo no.

- Un conjunto de reglas de transformacin de expresiones, mediante las cuales
partiendo de una expresin bien formada del clculo podremos obtener una nueva
expresin equivalente y bien formada que pertenece al clculo.


actividad. Dados un estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado final y se
obtiene una solucin. (Cormen, T. et all. 2009)

3
una tautologa es una frmula bien formada de un sistema de lgica proposicional que resulta verdadera para
cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas
atmicas. La construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula
cualquiera es una tautologa o no. dem Cormen, T. et all. (2009)
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

7

Cuando en un clculo as definido se establecen algunas expresiones determinadas como
verdades primitivas o axiomas, decimos que es un sistema formal axiomtico. Un clculo as
definido si cumple al mismo tiempo estas tres condiciones decimos que es un Clculo
Perfecto:

- Es consistente: No es posible que dada una expresin bien formada del sistema, f,
y su negacin, no f, sean ambas teoremas del sistema. No puede haber
contradiccin entre las expresiones del sistema.

- Decidible: Dada cualquier expresin bien formada del sistema podemos encontrar
un mtodo que nos permita decidir mediante una serie finita de operaciones si dicha
expresin es o no es un teorema del sistema.

- Completo: Cuando dada cualquier expresin bien formada del sistema, podemos
establecer la demostracin matemtica o prueba de que es un teorema del sistema.

Hoy da, vemos que la misma lgica-matemtica ha demostrado que tal sistema de clculo
perfecto "no es posible" (Para los interesados, vase el Teorema de Gdel).



1.1. El clculo lgico

Entendemos aqu por clculo lgico, un algoritmo que permite cmoda y fcilmente inferir o
deducir un enunciado verdadero a partir de otro u otros que se tienen como vlidamente
verdaderos. La inferencia
4
o deduccin
5
es una operacin lgica que consiste en obtener un

4
Inferencia: f. Deduccin de una cosa a partir de otra, conclusin. dem Cormen, T. et all. (2009)
5
Deduccin: FILOS. Mtodo de razonamiento que parte de conceptos generales o principios universales para
llegar a conclusiones particulares: la deduccin presupone el pensamiento hipottico. dem Cormen, T. et all.
(2009)
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

8

enunciado
6
como conclusin a partir de otro(s) (premisas) mediante la aplicacin de reglas
de inferencia.
7
Decimos que alguien infiere, o deduce, "T" de "R" si acepta que si "R" tiene
valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V.

La lgica, como ciencia formal, se ocupa de analizar y sistematizar dichas leyes,
fundamentarlas y convertirlas en las reglas que permiten la transformacin de unos
enunciados premisas - en otros conclusiones - con objeto de convertir las operaciones
en un algoritmo riguroso y eficaz, que garantiza que dada la verdad de las premisas, la
conclusin es necesariamente verdadera. Al aplicar las reglas de este clculo lgico a los
enunciados que forman un argumento mediante la simbolizacin adecuada de frmulas o
Expresiones bien formadas (EBF) construimos un modelo o sistema deductivo.

1.2. Sistematizacin de un clculo de deduccin natural

I. Una letra enunciativa (con o sin subndice) es una EBF.
II. Si A es una EBF, A tambin lo es.
III. Si A es una EBF y B tambin, entonces A B; A B; A B; A B, tambin lo
son.
IV. Ninguna expresin es una frmula del Clculo sino en virtud de I, II, III.

Notas:
- A, B,... con maysculas estn utilizadas como metalenguaje
8
en el que cada
variable expresa cualquier proposicin, atmica (p, q, r, s....) o molecular
(p /\ q), (p \ /q)...

6
Enunciado: m. Conjunto de palabras con las que se expone o plantea un problema matemtico o de cualquier
otro tipo de razonamiento deductivo. dem Cormen, T. et all. (2009)
7
En lgica, una regla de inferencia es un esquema para construir inferencias vlidas. Estos esquemas
establecen relaciones sintcticas entre un conjunto de frmulas llamados premisas y una asercin llamada
conclusin. dem Cormen, T. et all. (2009)
8
Metalenguaje: m. LING. Lenguaje natural o formal que se usa para explicar o hablar del lenguaje mismo o de
una lengua: las gramticas formales son metalenguajes. Tomado de Wordreference.com. Online language
Dictionaries. 2012

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

9

- A, B,... son smbolos que significan variables; , , , , , son smbolos
constantes.
- Existen diversas formas de simbolizacin.


1.3. Reglas de formacin de frmulas

1.3.1. Regla de sustitucin (R.T.1)

Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el resultado de
sustituir una, algunas o todas esas variables por expresiones bien formadas (EBF) del
clculo, ser tambin una tesis EBF del clculo. Y ello con una nica restriccin, si bien muy
importante: cada variable ha de ser sustituida siempre que aparece y siempre por el mismo
sustituto.

Veamos el ejemplo:

1

Transformacin
2 B r v A
donde ( ) q p. = A ; y donde s) t ( v = B
3

donde

O viceversa
1

Transformacin
2

donde
3 | | s t r ) q ( v v . p donde ; y donde

1.3.2. Regla de separacin (R.T.2):
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

10


Si X es una tesis EBF del sistema y lo es tambin X Y, entonces Y es una tesis EBF del
sistema.



1.4. Esquemas de inferencia
9


Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la
forma: | | Y N .... C B A ( . . .

lo que constituye un esquema de inferencia en el que una
vez conocida la verdad de cada una de las premisas A, B,...N y, por tanto, de su producto,
podemos obtener la conclusin Y con valor de verdad V, siempre y cuando dicho esquema
de inferencia sea una ley lgica, es decir su tabla de verdad
10
nos muestre que es una
tautologa Por la regla de separacin podremos concluir Y, de forma independiente como
verdad. Dada la poca operatividad de las tablas de verdad, el clculo se construye como
una cadena deductiva aplicando a las premisas o a los teoremas deducidos las leyes lgicas
utilizadas como reglas de transformacin, como se expone en clculo lgico.



1.5. El lenguaje natural como modelo de un clculo lgico

Naturalmente el clculo lgico es til porque puede tener aplicaciones, pero en qu
consisten o cmo se hacen tales aplicaciones? Podemos considerar que el lenguaje natural
es un modelo de C si podemos someterlo, es decir, aplicarle una correspondencia en C.
Para ello es necesario someter al lenguaje natural a un proceso de formalizacin de tal
manera que podamos reducir las expresiones lingsticas del lenguaje natural a EBFs de un

9
Esquema de inferencia: Una inferencia es una evaluacin que realiza la mente entre expresiones bien
formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstraccin, permiten trazar
una lnea lgica de condicin o implicacin lgica entre las diferentes EBF. De esta forma, partiendo de la
verdad o falsedad posible (como hiptesis) o conocida (como argumento) de alguna o algunas de ellas, puede
deducirse la verdad o falsedad de alguna o algunas de las otras EBF. (Muoz, J e I. Reguera. 1991. pp.96 ).
10
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una
proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.
dem (Muoz, J e I. Reguera. 1991. pp.120)
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

11

clculo mediante reglas estrictas manteniendo el sentido de verdad lgica de dichas
expresiones del lenguaje natural.

Las diversas formas en que tratemos las expresiones lingsticas formalizadas como
proposiciones lgicas dan lugar a sistemas diversos de formalizacin y clculo:

1.5.1. Clculo proposicional o clculo de enunciados: Cuando se toma la oracin
simple significativa del lenguaje natural con posible valor de verdad o falsedad
como una proposicin atmica
11
, como un todo sin analizar.

1.5.2. Clculo como lgica de clases: Cuando se toma la oracin simple significativa
del lenguaje natural con posible valor de verdad o falsedad como resultado del
anlisis de la oracin como una relacin de individuos o posibles individuos que
poseen o no poseen una propiedad comn determinada como pertenecientes o
no pertenecientes a una clase natural o a un conjunto como individuos.

1.5.3. Clculo de predicados o cuantificacional: Cuando se toma la oracin simple
significativa del lenguaje natural con posible valor de verdad o falsedad como
resultado del anlisis de la misma de forma que una posible funcin predicativa
(P), se predica de unos posibles sujetos variables (x) [tomados en toda su posible
extensin: (Todos los x); o referente a algunos indeterminados: (algunos x)], o de
una constante individual existente (a).

1.5.4. Clculo como lgica de relaciones: Cuando se toma la oracin simple
significativa con posible valor de verdad propio, verdadero o falso, como
resultado del anlisis de la oracin como una relacin "R" que se establece entre
un sujeto y un predicado.

La simbolizacin y formacin de EBFs en cada uno de esos clculos, as como las reglas de
clculo es lo que trata el clculo lgico.


11
Proposicin atmica: Es una proposicin que expresa que una cosa tiene una determinada propiedad o que
unas cosas tienen una determinada relacin. (Roy, Jean-Michel. 1989).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

12

Las dos acepciones del clculo (la general y la restringida: Clculo como razonamiento y
clculo lgico-matemtico respectivamente) estn ntimamente ligadas. El clculo es una
actividad natural y primordial en el hombre, que comienza en el mismo momento en que
empieza a relacionar unas cosas con otras en un pensamiento o discurso. El clculo lgico
natural como razonamiento es el primer clculo elemental del ser humano. El clculo en
sentido lgico-matemtico aparece cuando se toma conciencia de esta capacidad de
razonar y trata de formalizarse.

Por lo tanto, podemos distinguir dos tipos de operaciones:

1. Operaciones orientadas hacia la consecucin de un fin, como prever, programar,
conjeturar, estimar, precaver, prevenir, proyectar, configurar, entre otras. que
incluyen en cada caso una serie de complejas actividades y habilidades tanto de
pensamiento como de conducta. En su conjunto dichas actividades adquieren la
forma de argumento
12
o razones que justifican una finalidad prctica o cognoscitiva.

2. Operaciones formales como algoritmo que se aplica bien directamente a los datos
conocidos o a los esquemas simblicos de la interpretacin lgico-matemtica de
dichos datos; las posibles conclusiones, inferencias o deducciones de dicho
algoritmo son el resultado de la aplicacin de reglas estrictamente establecidas de
antemano. Resultado que es:

a). Conclusin de un proceso de razonamiento. Resultado aplicable directamente a
los datos iniciales (resolucin de problemas).


12
La palabra argumento (del latn argumentum): prueba o razn para justificar algo como verdad o como
accin razonable; la expresin oral o escrita de un razonamiento. La cualidad fundamental de un argumento es
la consistencia y coherencia; entendiendo por tal el hecho de que el contenido de la expresin, discurso u obra
adquiera sentido o significacin que se dirige al interlocutor con finalidades diferentes:
- Como contenido de verdad igual consistencia y coherencia con otras verdades admitidas, o con
referencia a un hecho o situacin que haga verdadero o falso dicho contenido.
- Como esquema lgico-formal =consistencia y coherencia con un sistema que no admite contradiccin.
- Como funcin lgico-matemtica =consistencia y coherencia con el hecho de ser algo real frente a
una mera posibilidad lgica que define un mundo o una situacin posible en un determinado marco
terico que justifica la funcin. (Jansana, R. 1990).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

13

b). Modelo de relaciones previamente establecido como teora cientfica y
significativo respecto a determinadas realidades (Creacin de modelos cientficos).

c). Mero juego formal simblico de fundamentacin, creacin y aplicacin de las
reglas que constituyen el sistema formal del algoritmo (Clculo lgico-matemtico,
propiamente dicho).

Dada la importancia que histricamente ha adquirido la actividad lgico-matemtica en la
cultura humana, la palabra calculo casi queda restringida a un solo tipo: al clculo
matemtico. Pues en algunas instituciones y personas se llama "Clculo" a una asignatura
especfica de clculo matemtico (como puede ser el clculo infinitesimal, anlisis
matemtico, clculo diferencial e integral).


1.5.5. El clculo algebraico

Se ocupa de resolver ecuaciones, utiliza smbolos en vez de nmeros especficos y
operaciones aritmticas para determinar cmo usar dichos smbolos. El lgebra moderna ha
evolucionado desde el lgebra clsica al poner ms atencin en las estructuras
matemticas. Los matemticos consideran al lgebra moderna como un conjunto de objetos
con reglas que los conectan o relacionan. As, en su forma ms general, una buena
definicin de lgebra es la que dice que el lgebra es el idioma de las matemticas. La
historia del lgebra comenz en el antiguo Egipto y Babilonia, donde fueron capaces de
resolver ecuaciones lineales (ax = b) y cuadrticas (ax
2
+ bx = c), as como ecuaciones
indeterminadas como x
2
+ y
2
= z
2
, con varias incgnitas. Los antiguos babilonios resolvan
cualquier ecuacin cuadrtica empleando esencialmente los mismos mtodos que hoy se
ensean. Tambin fueron capaces de resolver algunas ecuaciones indeterminadas. Los
matemticos alejandrinos Hern
13
y Diofanto
14
continuaron con la tradicin de Egipto y

13
Hern (o Hero) de Alejandra fue un ingeniero y matemtico helenstico que destac en Alejandra (en la
provincia romana de Egipto); ejerci de ingeniero en su ciudad natal, Alejandra. Este griego es considerado
uno de los cientficos e inventores ms grandes de la antigedad
1
y su trabajo es representativo de la tradicin
cientfica helenista. (Research Machines plc., 2004. pp.546).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

14

Babilonia, aunque el libro Las aritmticas de Diofanto es de bastante ms nivel y presenta
muchas soluciones sorprendentes para ecuaciones indeterminadas difciles. Esta antigua
sabidura sobre resolucin de ecuaciones encontr, a su vez, acogida en el mundo islmico,
en donde se le llam ciencia de reduccin y equilibrio. (La palabra rabe al-jabru que
significa reduccin, es el origen de la palabra lgebra), Moreno R. (1998). En el siglo IX, el
matemtico al-J wrizm; escribi uno de los primeros libros rabes de lgebra, una
presentacin sistemtica de la teora fundamental de ecuaciones, con ejemplos y
demostraciones incluidas. A finales del siglo IX, el matemtico egipcio Abu Kamil
15
enunci y
demostr las leyes fundamentales e identidades del lgebra, y resolvi problemas tan
complicados como encontrar las x, y, z que cumplen x + y + z = 10, x
2
+ y
2
= z
2
, y xz=y
2



1.5.6. El Clculo Infinitesimal: Resea histrica


Del legado de las matemticas, el clculo infinitesimal (C.Inf) es, sin duda, la herramienta
ms potente y eficaz para el estudio de la naturaleza. El C.Inf, llamado por brevedad
"clculo", tiene su origen en la antigua geometra griega. Demcrito
16
calcul el volumen de

14
Diofanto de Alejandra, nacido alrededor del 200/214 y fallecido alrededor de 284/298, fue un antiguo
matemtico griego. Es considerado "el padre del lgebra". dem (Research Machines plc., 2004 pp 625)

15
La muerte de al-Jwarizmi coincide aproximadamente con el nacimiento en Egipto de Abu Kamil ibn Aslam ibn
Mohammed, llamado el calculista egipcio. Vivi ochenta aos y nos dej numerosas obras matemticas. Entre
ellas un tratado de lgebra, cuyo original rabe se ha perdido, pero del que nos han llegado dos traducciones,
una latina y otra hebrea. Las ecuaciones de segundo grado las resuelve geomtricamente, como su predecesor
de Bagdad, pero se apoya ms directamente en los Elementos. (Moreno, R. 1998)

16
Demcrito (Demcrito de Abdera. Vivi entre los aos 460 al 370 a. C.,) fue un filsofo griego presocrtico y
matemtico. Fue conocido en su poca por su carcter extravagante. Una leyenda dice que se arranc los ojos
en un jardn para que no estorbara en sus meditaciones la contemplacin del mundo externo. Se dice de l que
presenta lo futuro, y entre sus obras ms importantes se cita su "Gran Diacosmos", por la cual obtuvo, por
plebiscito popular, el premio de 500 talentos. Demcrito desarroll la teora atmica del universo, concebida
por su mentor, el filsofo Leucipo. Esta teora, al igual que todas las teoras filosficas griegas, no apoya sus
postulados mediante experimentos, sino que se explica mediante razonamientos lgicos. La teora atomista de
Demcrito y Leucipo se puede esquematizar as:
- Los tomos son eternos, indivisibles, homogneos, incompresibles e invisibles.
- Los tomos se diferencian solo en forma y tamao, pero no por cualidades internas.
- Las propiedades de la materia varan segn el agrupamiento de los tomos. (Calinger, R. 1999).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

15

pirmides y conos considerndolos formados por un nmero infinito de secciones de grosor
infinitesimal (infinitamente pequeo). El C.Inf tiene dos caras: diferencial e integral; y un
oscuro interior donde, como demonios, moran los infinitos: grandes y pequeos.


El C.Inf fue propuesto inicialmente por Arqumedes
17
. Sin embargo, Eudoxo
18
y Arqumedes
utilizaron el "mtodo de agotamiento" o exhaucin para encontrar el rea de un crculo con la
exactitud finita requerida mediante el uso de polgonos regulares inscritos de cada vez
mayor nmero de lados. La historia muestra que en el periodo tardo de Grecia, el
neoplatnico Pappus de Alejandra
19
hizo contribuciones sobresalientes en este mbito. Sin
embargo, las dificultades para trabajar con nmeros irracionales y las paradojas de Zenn

17
Arqumedes de Siracusa. (Siracusa (Sicilia), ca. 287 a. C. ca. 212 a. C.) fue un matemtico griego, fsico,
ingeniero, inventor y astrnomo. Aunque se conocen pocos detalles de su vida, es considerado uno de los
cientficos ms importantes de la antigedad clsica. Se considera que Arqumedes fue uno de los matemticos
ms grandes de la antigedad y, en general, de toda la historia. Us el mtodo exhaustivo para calcular el rea
bajo el arco de una parbola con el sumatorio de una serie infinita, y dio una aproximacin extremadamente
precisa del nmero Pi. Tambin defini la espiral que lleva su nombre, frmulas para los volmenes de las
superficies de revolucin y un ingenioso sistema para expresar nmeros muy largos. dem (Calinger, R. 1999).

18
Eudoxo de Cnidos (Cnido, actual Turqua, ca. 390 a. C. ca.337 a. C.) fue un filsofo, astrnomo,
matemtico y mdico griego, pupilo de Platn. Eudoxo fue el primero en plantear un modelo planetario basado
en un modelo matemtico, por lo que se le considera el padre de la astronoma matemtica. Fue discpulo de
Arquitas de Tarento. Su trabajo sobre la teora de la proporcin denota una amplia comprensin de los nmeros y
permite el tratamiento de las cantidades continuas, no nicamente de los nmeros enteros o nmeros racionales.
Cuando esta teora fue resucitada por Tartaglia y otros estudiosos en el siglo XVI, se convirti en la base de
cuantitativas obras de ciencias durante un siglo, hasta que fue sustituida por los mtodos algebraicos de
Descartes. Eudoxo demostr que el volumen de una pirmide es la tercera parte del de un prisma de su misma
base y altura; y que el volumen de un cono es la tercera parte del de un cilindro de su misma base y altura,
teoremas ya intuidos por Demcrito.
7
Para demostrarlo elabor el llamado mtodo de exhaucin, antecedente del
clculo integral, para calcular reas y volmenes. El mtodo fue utilizado magistralmente por Arqumedes. El
trabajo de ambos como precursores del clculo fue nicamente superado en sofisticacin y rigor matemtico por
Newton y Leibniz. Una curva algebraica lleva su nombre, la kampyle de Eudoxo: tomado
de Eudoxo de Cnido, p. 3/3. Centro Virtual de Divulgacin de las Matemticas, pgina desarrollada por la
Comisin de Divulgacin de la Real Sociedad Matemtica Espaola

19
Papo, o Pappo, de Alejandra fue un importante matemtico griego de los siglos III-IV. Se considera el ltimo
gran matemtico de la escuela alejandrina, escribi comentarios a los Elementos de Euclides y al Almagesto de
Ptolomeo. (Sams, J. 1971. pp 385)

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

16

de Elea
20
impidieron formular una teora sistemtica del clculo en el periodo antiguo. Solo
siglos ms tarde, estas ideas fueron utilizadas por Isaac Newton y Gottfried Leibniz, en los
albores del surgimiento del clculo moderno, temas a tratar ms adelante.


Zenn de Elea, alrededor de 450 a. C., plante una serie de problemas que estaban
basados en el infinito. Por ejemplo, argument que el movimiento es imposible: Si un
cuerpo se mueve de A a B entonces, antes de llegar a B pasa por el punto medio, B
1
, de AB.
Ahora bien, para llegar a B
1
debe primero pasar por el punto medio B
2
de AB
1
. Continuando
con este argumento se puede ver que A debe moverse a travs de un nmero infinito de
distancias y por lo tanto no puede moverse. Leucippo
21
, Demcrito y Antifon
22
hicieron

20
Zenn de Elea (c. 490-430 a. C.) fue un filsofo griego nacido en Elea perteneciente a la escuela eletica. Es
conocido por sus paradojas o aporas, especialmente aquellas que niegan la existencia del movimiento o la
pluralidad del ser. Zenn, en la lnea de su maestro, intenta probar que el ser tiene que ser homogneo, nico y,
en consecuencia, que el espacio no est formado por elementos discontinuos sino que el cosmos o universo
entero es una nica unidad.

Sus aporas estn diseadas bajo los siguientes ejes argumentativos:
1. Contra la pluralidad como estructura de lo real.
2. Contra la validez del espacio.
3. Contra la realidad del movimiento.
4. Contra la realidad del transcurrir del tiempo.

Aplicando este esquema se le ha considerado el primero en utilizar la demostracin llamada ad absurdum
(reduccin al absurdo), que toma por hiptesis lo contrario a lo que se considera cierto (en su caso, las
afirmaciones del adversario) y muestra las incongruencias que se derivan de una consideracin de esto como
verdadero, obligando al interlocutor a rechazar las premisas y a aceptar las tesis opuestas, que eran las que se
queran demostrar en un principio. Este procedimiento lo lleva a cabo mediante sus aporas.
Los razonamientos de Zenn constituyen el testimonio ms antiguo que se conserva del pensamiento
infinitesimal desarrollado muchos siglos despus en la aplicacin del clculo infinitesimal que nacer de la
mano de Leibniz y Newton en 1666. No obstante, Zenn era ajeno a toda posible matematizacin, presentando
una conceptualizacin de tal estilo como un instrumento necesario para poder formular sus paradojas. (Boyer,
C. 2010)

21
Leucipo (siglo V a. C.) fue un filsofo griego al que se atribuye la fundacin del atomismo. Habra sido
discpulo de Parmnides y de Zenn de Elea y maestro de Demcrito. Se le atribuyen las obras La ordenacin
del cosmos y Sobre la mente aunque este segundo libro pudo ser un captulo de la obra anterior. Fue maestro
de Demcrito y a ellos dos se les atribuye la fundacin del atomismo mecanicista, segn el cual la realidad est
formada tanto por partculas infinitas, indivisibles, de formas variadas y siempre en movimiento, los tomos
(, s. lo que no puede ser dividido), como por el vaco. As, tal vez en respuesta a Parmnides, afirma que
existe tanto el ser como el no-ser: el primero est representado por los tomos y el segundo por el vaco, que
existe no menos que el ser (Simpl., Fs. 28, 4), siendo imprescindible para que exista movimiento. (citado en
Vidas, opiniones y sentencias de los filsofos ms ilustres, http://classicpersuasion.org/pw/diogenes/ )
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

17

contribuciones al mtodo exhaustivo griego al que Eudoxo dio una base cientfica alrededor
de 370 a. C. El mtodo se llama exhaustivo ya que considera las reas medidas como
expandindolas de tal manera que cubran ms y ms del rea requerida.




Sin embargo, Arqumedes, alrededor de 225 a. C. hizo uno de las contribuciones griegas
ms significativas. Su primer avance importante fue demostrar que el rea de un segmento
de parbola es
4
/
3
del rea del tringulo con los mismos base y vrtice y es igual a
2
/
3
del
rea del paralelogramo circunscrito. Arqumedes construy una secuencia infinita de
tringulos empezando con uno de rea A y aadiendo continuamente ms tringulos entre
los existentes y la parbola para obtener reas A, A +A/
4
, A +A/
4
+A/
16
, A +A/
4
+A/
16
+
A/
64
, ... El rea del segmento de la parbola es, por lo tanto: A(1 +
1
/
4
+
1
/
4
+
1
/
4
+...) =
(
4
/
3
)A.




22
Antifonte o Antifn (Atenas o Ramnunte, ca. 480 a. C. - 411 a. C.) fue un orador, filsofo y matemtico
griego. Hay cierta controversia sobre si este Antifonte del demos ateniense de Ramnunte (tica) es o no el
mismo que "Antifonte el sofista", que vivi en Atenas probablemente en las ltimas dos dcadas del siglo V a.
C. (Redondo, J. et al. 1991).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

18

En su obra sobre La cuadratura de la Parbola, Arqumedes
prob que el rea definida por una parbola y una lnea recta
equivala exactamente a
4
/
3
el rea del correspondiente
tringulo inscrito, tal y como se puede observar en la figura de
la derecha. Para obtener ese resultado, desarroll una serie
geomtrica infinita con una razn comn de
1
/
4
:

3
4
4 4 4 1 4
3 - 2 - 1 -
0
= + + + + =

n
n


Arqumedes demostr que l rea del segmento parablico de la figura superior es igual a
4/3 de la del tringulo inscrito de la figura inferior.


Este es el primer ejemplo conocido de suma de una serie infinita. Arqumedes us el mtodo
exhaustivo para encontrar la aproximacin al rea de un crculo. Esto, por supuesto, es un
ejemplo temprano de integracin que llev a valores aproximados de . Entre otras
'integraciones' de Arqumedes estaban el volumen y la superficie de una esfera, el volumen
y rea de un cono, el rea de una elipse, el volumen de cualquier segmento de un
paraboloide de revolucin y un segmente de un hiperboloide de revolucin. No hubo ms
progresos hasta el siglo XVI cuando la mecnica empez a llevar a los matemticos a
examinar problemas como el de los centros de gravedad. Luca Valerio
23
(1552-1618) public
De quadratura parabolae en Roma (1606) que continuaba los mtodos griegos para atacar
este tipo de problemas de calcular reas.



23
Luca Valerio (1552-1618) public De quadratura parabolae en Roma (1606) que continuaba los mtodos
griegos para atacar este tipo de problemas de calcular reas. Cavalieri lleg a su mtodo de los indivisibles
por los intentos de integracin de Kepler. Roberval se fij en el rea entre una curva y una lnea como formada
por un nmero infinito de rectngulos infinitamente delgados; afirmando una tendencia a infinito en el
resultado de dicho proceso. Fermat describe su mtodo de mximos y mnimos. Siglo XVI. dem (Redondo, J. et
al. 1991).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

19

Revisando los anales de la historia encontramos que los orgenes del CI se remontan al
mundo griego; concretamente a los clculos de reas y volmenes que Arqumedes realiz
en el siglo III a.C. Y que se retom solamente hasta el siglo XVII. Varias son las causas de
semejante retraso. Entre ellas debemos destacar la inexistencia de un sistema de
numeracin adecuado, en este caso el decimal; as como del desarrollo del lgebra
simblica y la geometra analtica que permitieron el tratamiento algebraico, y no geomtrico,
de las curvas posibilitando enormemente los clculos de tangentes, cuadraturas, mximos y
mnimos, entre otros. Todo ello ocurri esencialmente hasta el siglo XVII.

Estos hechos en la poca de los griegos se dieron como es natural, entre los filsofos. En
este caso con Aristteles
24
. Ya los griegos se haban preocupado de mirar cmo tratar ese
ente tan curioso, como difcil, que es el infinito. Para los griegos el infinito aparece de dos
maneras distintas: lo infinitamente pequeo y lo infinitamente grande. Ya apareci de algn
modo en la inconmensurabilidad de la diagonal del cuadrado. Tambin, lo tenemos en la
famosa paradoja de Zenn sobre Aquiles y la tortuga, por ello no es de extraar que alguien
intentara regularlos. Ese alguien fue Aristteles. Fue el primero en formalizar y simbolizar los
tipos de razonamientos categricos (silogismos)
25
. Este trabajo sera completado ms tarde
por los estoicos
26
, los megricos
27
, la Escolstica
28
. Lo que Aristteles hizo fue prohibir el

24
Aristteles fue un filsofo, lgico y cientfico de la Antigua Grecia cuyas ideas han ejercido una enorme
influencia sobre la historia intelectual de Occidente por ms de dos milenios. dem. Sams, J. (1971. pp. 388)

25
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra
como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. Fue formulado
por primera vez por Aristteles, en su obra lgica recopilada como El Organon, de sus libros conocidos como
Primeros Analticos. dem (Redondo, J. et al. 1991).

26
El estoicismo es uno de los movimientos filosficos que, dentro del periodo helenstico, adquiri mayor
importancia y difusin. Fundado por Zenn de Citio en el 301 a. C., adquiri gran difusin por todo el mundo
greco-romano, gozando de especial popularidad entre las lites romanas. Su perodo de preeminencia va del
siglo III a. C. hasta finales del siglo II d. C. Tras esto, dio signos de agotamiento que coincidieron con la
descomposicin social del Alto Imperio romano y el auge del cristianismo.

27
La Escuela megrica: fue una escuela filosfica del siglo IV a. C. fundada por Euclides de Megara, discpulo de
Scrates. dem (Redondo, J. et al. 1991).

28
La escolstica es el movimiento teolgico y filosfico que intent utilizar la filosofa grecolatina clsica para
comprender la revelacin religiosa del cristianismo. La escolstica fue la corriente teolgico-filosfica
dominante del pensamiento medieval, tras la patrstica de la Antigedad tarda, y se bas en la coordinacin
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

20

infinito en acto no es posible que el infinito exista como ser en acto o como una substancia y
un principio, escribi, pero aadi es claro que la negacin absoluta del infinito es una
hiptesis que conduce a consecuencias imposibles de manera que el infinito existe
potencialmente [...] es por adicin o divisin. As, la regulacin aristotlica del infinito no
permite considerar un segmento como una coleccin de puntos alineados pero s permite
dividir este segmento por la mitad tantas veces como queramos.

Los antecedentes de procedimiento de clculo, como algoritmo, se encuentran en los que
utilizaron los gemetras griegos, Eudoxo en particular, en el sentido de llegar por
aproximacin de restos cada vez ms pequeos, a una medida de figuras curvas. Fue
Eudoxo, discpulo de Platn y contemporneo de Aristteles quien hizo el primer uso
"racional" del infinito en las matemticas. Eudoxo postul que toda magnitud finita puede ser
agotada mediante la substraccin de una cantidad determinada. Es el famoso principio de
Arqumedes que ste toma prestado a Eudoxo y que sirvi a aquel para superar la primera
crisis de las Matemticas debida al descubrimiento de los irracionales.

No obstante, fue Arqumedes el precursor del clculo integral aunque desgraciadamente, o
quiz por suerte, quin sabe; su mtodo se perdi y por tanto no tuvo ninguna repercusin
en el descubrimiento del clculo. La genial idea de siracusano fue considerar las reas
como una coleccin necesariamente infinita de segmentos. La humanidad hubo de esperar
2000 aos hasta que un jesuita y matemtico italiano cuyo nombre fue: Bonaventura
Cavalieri
29
(de quien hablaremos ms adelante), volvi a usar de esa manera los infinitos.
De hecho Leibniz descubri la clave de su clculo al ver un trabajo de Pascal donde ste
usaba un mtodo semejante. Sin embargo, una razn importante de la aparicin del
clculo fue la aparicin de una adecuada representacin para los nmeros. Se trata de la
representacin decimal, cuyo primer registro escrito en el mundo occidental se debe a
Simn Stevin en su obra Les oubres mathematiques (Honderich, 2001) donde Stevin
desarrolla as la aritmtica decimal. Tambin Stevin uso distintos argumentos infinitesimales

entre fe y razn, que en cualquier caso siempre supona una clara subordinacin de la razn a la fe (Philosophia
ancilla theologiae -la filosofa es sierva de la teologa). dem (Redondo, J. et al. 1991).

29
Bonaventura Cavalieri (Miln, 1598 - Bolonia, 1647), jesuita y matemtico italiano. Fue alumno de Galileo
Galilei, y ense matemticas en Bolonia (1629). Su inters por las matemticas fue estimulado por los trabajos
de Euclides y luego de encontrar a Galileo, se consider como un discpulo de este astrnomo. Tomado de
Wikipedia enciclopedia libre. Recuperado el 25 de oct 2012, a las 2.33 pm.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

21

para calcular centros de gravedad. No obstante fue la necesidad de entender obras griegas
difciles como las de Arqumedes, hechos que se dan en el siglo XVII con la recuperacin
de la mayora de las obras griegas, por ejemplo la edicin de las obras de Arqumedes
debida a J ohn Wallis, miembro fundador de la Royal Society de Londres, de quien
hablaremos ms adelante. Wallis presenta la famosa estimacin de Pi usando polgonos
regulares inscritos y circunscritos a la circunferencia, suceso que desemboc en el
fortalecimiento del clculo infinitesimal originado por los griegos.
Dentro del C.Inf podemos ver que un infinitesimal o infinitsimo es una cantidad
infinitamente pequea. Se puede definir matemticamente, en trminos usados hoy da,
como lmite cuando x tiende a, de f(x)=0, se dice que f es un infinitsimo en x=a Como
ejemplo veamos que algunas funciones son infinitsimas en determinados puntos:

- f(x) = x -1 es un infinitsimo en x=1
- g(x)= sen(x) es un infinitsimo en (0 + k) con k perteneciente a los enteros
Por lo tanto, toda funcin cuando tiende a 0 en un punto se denomina infinitsima.

Entre las caractersticas de los infinitsimos tenemos las siguientes propiedades:

- La suma de dos infinitsimos es un infinitsimo.
- El producto de dos infinitsimos es un infinitsimo.
- El producto de un infinitsimo por una funcin acotada es un infinitsimo.
- El producto de una constante por un infinitsimo es un infinitsimo.

Como se mencion anteriormente, el C.Inf tiene dos caras: diferencial e integral. El objeto
del presente trabajo es un estudio al objeto matemtico Integral, fundamento del clculo
integral (CI). De ah que es importante revisar en los anales de la historia los trabajos de
J ohannes Kepler.
30
l, en su trabajo sobre movimientos planetarios, tena que encontrar el
rea de sectores de una elipse. Su mtodo consista en pensar en las reas como sumas de

30
Johannes Kepler (Alemania, 27 de diciembre de 1571 - Ratisbona, Alemania, 15 de noviembre de 1630),
figura clave en la revolucin cientfica, astrnomo y matemtico alemn; fundamentalmente conocido por sus
leyes sobre el movimiento de los planetas en su rbita alrededor del Sol. O'Connor, J. Et al., Biografa de
Johannes Kepler
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

22

lneas, otra forma rudimentaria de integracin. Tres matemticos, nacidos en un periodo de
tres aos, fueron los siguientes en hacer contribuciones importantes. Eran Fermat
31
,
Roberval
32
y Cavalieri. Este ltimo lleg a su 'mtodo de los indivisibles' por los intentos de
integracin de Kepler. No fue riguroso en su acercamiento y es difcil ver con claridad cmo
se le ocurri su mtodo. Al parecer Cavalieri pens en un rea como formada por
componentes que eran lneas y luego sum su nmero infinito de 'indivisibles'. Demostr,
usando estos mtodos, que la integral de x
n
entre 0 y a era a
n+1
/(n+1) mostrando el
resultado para ciertos valores de n e infiriendo el resultado general. Roberval consider
problemas del mismo tipo pero fue mucho ms riguroso que Cavalieri. Roberval se fij en el
rea entre una curva y una lnea como formada por un nmero infinito de rectngulos
infinitamente delgados. Aplic esto a la integral de x
m
entre 0 y 1 y demostr que tena un
valor aproximado de (0
m
+ 1
m
+ 2
m
+...+ (n-1)
m
)/n
m+1
. Roberval entonces afirm que esto
tenda a 1/(m+1) cuando n tiende a infinito, calculando as el rea.

Solo hasta el siglo XVII, Cavalieri y Torricelli
33
ampliaron el uso de los infinitesimales,
Descartes
34
y Fermat utilizaron el lgebra para encontrar el rea y las tangentes (integracin
y derivacin en trminos modernos). Fermat e Isaac Barrow
35
tenan la certeza de que
ambos clculos estaban relacionados, aunque fueron Newton (hacia 1660), en Inglaterra y

31
Pierre de Fermat (Beaumont-de-Lomagne Francia, 17 de agosto de 1601, Castres Francia, 12 de enero de
1665) fue un jurista y matemtico francs apodado por Eric Temple Bell con el sobrenombre de prncipe de
los aficionados.

Tomado de Wikipedia enciclopedia libre. Recuperado el 25 de oct 2012, a las 4.25 pm.

32
Gilles Personne o Personier de Roberval; Roberval, (1602-Pars, 1675) Matemtico y fsico francs. Fue
profesor en el Colegio de Francia. Ide el llamado mtodo de los indivisibles para calcular la cuadratura de
las superficies y el volumen de los slidos. Demostr la regla de composicin de fuerzas y describi la balanza
que lleva su nombre. O'Connor, J. Et al., Biografa de Personier de Roberval

33
Evangelista Torricelli (Faenza, Italia, 15 de octubre 1608 - - Florencia, Italia, 25 de octubre 1647) fue un fsico
y matemtico Italiano. Tomado de Wikipedia enciclopedia libre. Recuperado el 25 de oct 2012, a las 3.43 pm.

34
Ren Descartes:

(La Haye, Turena francesa, 31 de marzo de 1596 - Estocolmo, Suecia, 11 de febrero de
1650), tambin llamado Renatus Cartesius, fue un filsofo, matemtico y fsico francs, considerado como el
padre de la geometra analtica y de la filosofa moderna, as como uno de los nombres ms destacados de la
revolucin cientfica. Tomado de Wikipedia enciclopedia libre. Recuperado el 25 de oct 2012, a las 4.02 pm.

35
Isaac Barrow (Londres, octubre, 1630. 4 de mayo, 1677) fue un telogo, profesor y matemtico ingls al que
histricamente se le ha dado menos mrito en su papel en el desarrollo del clculo moderno. En concreto, en
su trabajo respecto a la tangente; por ejemplo, Barrow es famoso por haber sido el primero en calcular las
tangentes en la curva de Kappa. Isaac Newton fue discpulo de Barrow. Tomado de Wikipedia enciclopedia
libre. Recuperado el 25 de oct 2012, a las 4.58 pm.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

23

Leibniz en Alemania (hacia 1670) quienes demostraron que los problemas del rea y la
tangente son inversos, lo que hoy se conoce como teorema fundamental del clculo. El
descubrimiento de Newton, a partir de su teora de la gravitacin universal, fue anterior al de
Leibniz, pero el retraso en su publicacin an provoca controversias sobre quin de los dos
fue el primero en descubrirlo. Newton utiliz el clculo en mecnica en el marco de su
tratado "Principios matemticos de filosofa natural", obra cientfica por excelencia, llamando
a su mtodo de "fluxiones". Leibniz utiliz el clculo en el problema de la tangente a una
curva en un punto, como lmite de aproximaciones sucesivas, dando un carcter ms
filosfico a su discurso. Sin embargo, termin por adoptarse la notacin de Leibniz por su
versatilidad.

Los clculos de Fermat sobre las cuadraturas le hacen merecedor de un puesto de honor
como precursor del clculo. El mismo Newton en una carta descubierta en 1934 escribi en
relacin con sus ideas para el desarrollo del clculo: La indicacin me la dio el mtodo de
Fermat para las tangentes. Aplicndolo a las ecuaciones abstractas directas e inversamente,
yo lo hice general Newton en su clebre frase: Si he llegado a ver ms lejos que otros es
porque me sub a hombros de gigantes se refiere entre otros, a su maestro y mentor Isaac
Barrow. (Bergad, D. 1979).


Fermat tambin fue ms riguroso en su acercamiento pero no dio demostraciones.
Generaliz la parbola y la hiprbola:
Parbola:
y
/
a
=(
x
/
b
) generalizada como (
x
/
a
)
n
=(
y
/
b
)
m
.
Hiprbola:
y
/
a
=(
b
/
x
) generalizada como (
y
/
a
)
n
=(
b
/
x
)
m
.

Al estar examinando
y
/
a
=(
x
/
b
)
p
, Fermat calcul la suma de r
p
para r entre 1 y n. Fermat
tambin investig mximos y mnimos considerando dnde la tangente a la curva es
paralela al eje X. Le escribi a Descartes dando el mtodo esencialmente como se usa hoy,
es decir, encontrando los mximos y los mnimos calculando dnde la derivada de la funcin
es 0. De hecho, debido a este trabajo Lagrange afirm claramente que l consideraba a
Fermat como el inventor del clculo.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

24

Descartes produjo un importante mtodo para determinar normales en La Gometrie en 1637
basado en la doble interseccin. De Beaune extendi sus mtodos y los aplic a las
tangentes; en este caso la doble interseccin se traduce en races dobles. Hudde descubri
un mtodo ms sencillo, llamado la Regla de Hudde, que bsicamente involucra a la
derivada. El mtodo de Descartes y la Regla de Hudde tuvieron una influencia importante
sobre Newton.

Huygens critic las pruebas de Cavalieri diciendo que lo que se necesita es una
demostracin que al menos convenza de que puede construirse una prueba rigurosa.
Huygens tuvo gran influencia sobre Leibniz y por lo tanto jug un papel importante en la
produccin de un acercamiento ms satisfactorio al clculo.

El Clculo constituye una de las grandes conquistas intelectuales de la humanidad. Una vez
construido, la historia de la matemtica ya no fue igual: la geometra, el lgebra y la
aritmtica, la trigonometra, se colocaron en una nueva perspectiva terica. Detrs de
cualquier invento, descubrimiento o nueva teora, existe, indudablemente, la evolucin de
ideas que hacen posible su nacimiento. Es muy interesante prestar atencin en el bagaje de
conocimientos que se acumula, desarrolla y evoluciona a travs de los aos para dar lugar,
en algn momento en particular y a travs de alguna persona en especial, al nacimiento de
una nueva idea, de una nueva teora, que seguramente se va a convertir en un
descubrimiento importante para el estado actual de la ciencia y, por lo tanto merece el
reconocimiento. El Clculo cristaliza conceptos y mtodos que la humanidad estuvo tratando
de dominar por ms de veinte siglos. Una larga lista de personas trabaj con los mtodos
"infinitesimales" pero hubo que esperar hasta el siglo XVII para tener la madurez social,
cientfica y matemtica que permitira construir el Clculo que utilizamos en nuestros das.


Sus aplicaciones son difciles de cuantificar porque toda la matemtica moderna, de una u
otra forma, ha recibido su influencia; y las diferentes partes del andamiaje matemtico
interactan constantemente con las ciencias naturales y la tecnologa moderna. Newton y
Leibniz son considerados los inventores del clculo pero representan un eslabn en una
larga cadena iniciada muchos siglos antes. Fueron ellos quienes dieron a los procedimientos
infinitesimales de sus antecesores inmediatos, Barrow y Fermat, la unidad algortmica y la
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

25

precisin necesaria como mtodo novedoso y de generalidad suficiente para su desarrollo
posterior. Estos desarrollos estuvieron elaborados a partir de visiones de hombres como
Torricelli, Cavalieri, y Galileo; o Kepler, Valerio, y Stevin. Los alcances de las operaciones
iniciales con infinitesimales que estos hombres lograron, fueron tambin resultado directo de
las contribuciones de Oresme, Arqumedes y Eudoxo. Finalmente el trabajo de estos ltimos
estuvo inspirado por problemas matemticos y filosficos sugeridos por Aristteles, Platn,
Tales de Mileto, Zenn y Pitgoras. Como se mencion anteriormente. Para tener la
perspectiva cientfica e histrica apropiada, debe reconocerse que una de las contribuciones
previas decisivas fue la Geometra Analtica desarrollada independientemente por Descartes
y Fermat.


El siguiente paso importante lo dieron Torricelli y
Barrow. El segundo dio un mtodo de tangentes a
una curva en el que la tangente est dada como el
lmite de una cuerda cuando los puntos se acercan
uno a otro y que es conocido como el tringulo
diferencial de Barrow. Tanto Torricelli como Barrow
estudiaron el problema del movimiento con velocidad
variable. La derivada de la distancia es la velocidad y
la operacin inversa nos lleva de la velocidad a la
distancia. De aqu empez a evolucionar
naturalmente una concienciacin de la inversa de la diferenciacin y que Barrow estuviera
familiarizado con la idea de que integral y derivada son inversas una de otra. De hecho,
aunque Barrow nunca afirm explcitamente el teorema fundamental del clculo, estaba
trabajando hacia el resultado y Newton continuara en esta direccin y dara explcitamente
el Teorema Fundamental del Clculo. El trabajo de Torricelli fue continuado en Italia por
Mengoli y Angeli.

Barrow fue probablemente el cientfico que estuvo ms cerca de descubrir el clculo. Sin
embargo, en el ltimo cuarto del siglo XVII, fueron Leibniz y Newton quienes sintetizaron dos
conceptos sobre mtodos infinitesimales usados por sus predecesores y que hoy llamamos
La Derivada y La Integral. Sin la contribucin de stos y de muchos otros hombres ms, el
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

26

clculo de Newton y Leibniz seguramente no existira. Su construccin fue parte importante
de la revolucin cientfica que vivi la Europa del siglo XVII. A diferencia de Newton, Leibniz
si publica sus investigaciones en unas Actas con el ttulo: Un nuevo mtodo para los
mximos y mnimos, as para las tangentes, que no se detiene ante cantidades fraccionarias o
irracionales y es un singular gnero de clculo para estos problemas en dicha publicacin
tambin resuelve el mencionado problema de De Beaune, encontrando que la solucin era
el logaritmo. Los nuevos mtodos enfatizaron la experiencia emprica y la descripcin
matemtica de nuestra relacin con la realidad. La revolucin cientfica supuso una ruptura
con las formas de pensar, estudiar y vincularse con la naturaleza que dominaron casi
absolutamente en Europa entre los siglos V y XV. Esta ruptura y salto en la historia del
conocimiento estuvieron precedidos por las importantes transformaciones que se vivieron
durante los siglos XV y XVI con el Renacimiento y la Reforma Protestante.

Mientras tanto, Newton escribi un tratado sobre fluxiones en octubre de 1666. Esta obra no
sera publicada en ese momento pero fue revisada por muchos matemticos y tuvo gran
influencia sobre la direccin que tomara el clculo. Newton pens en una partcula que
dibuja una curva con dos lneas que se mueven, eran las coordenadas. La velocidad
horizontal x' y la velocidad vertical y' eran las fluxiones de x y y asociadas con el flujo del
tiempo. Los fluentes o cantidades flotantes eran x y y mismas. Con esta notacin de fluxin,
y' / x' era la tangente a (x,y) = 0. En su tratado de 1666, Newton discute el problema
inverso: encontrar y dada la relacin entre x y y'/x'. Por lo tanto la pendiente de la tangente
estaba dada para cada x y cuando y'/x' = (x) entonces Newton resuelve el problema
mediante la antidiferenciacin. Tambin calcul reas mediante este mtodo y su obra
contiene el primer enunciado claro del Teorema Fundamental del Clculo. La obra de
Newton sobre Anlisis con series infinitas fue escrita en 1669 y circul como manuscrito. No
fue publicada sino hasta 1711. De modo similar, su Mtodo de fluxiones y series infinitas fue
escrito en 1671 y publicado en ingls en 1736. El original en latn fue publicado mucho
despus. En estas dos obras, Newton calcul la expansin en serie de sen x y cos x y la
expansin de lo que en realidad es la funcin exponencial pero sta funcin no quedara
establecida como tal hasta que Euler introdujo la notacin actual e
x
.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

27


Newton en su obra el Tractatus de Quadrarura Curvarum que escribi en 1693 pero que no
fue publicado sino hasta 1704 como un apndice de su Optiks, Contiene otro acercamiento
que involucra el clculo de lmites. Newton dice: En el tiempo en que x al fluir se convierte
en x + o, la cantidad x
n
se convierte en (x + o)
n
, es decir, por el mtodo de series infinitas, x
n

+ nox
n-1
+ (nn - n)/2 oox
n-2
+ ... Al final deja que el incremento o desaparezca 'tomando
lmites'. Mientras tanto Leibniz, en un viaje por Europa en el que conoci a Huygens en
Pars en 1672. Tambin conoci a Hooke y a Boyle en Londres en 1673 donde compr
varios libros de matemticas, incluyendo las obras de Barrow. Leibniz sostendra una larga
correspondencia con Barrow. Al volver a Pars, Leibniz realiz un trabajo buensimo sobre el
clculo, pensando en los fundamentos de manera muy distinta a Newton.


Newton consideraba que las variables cambiaban con el tiempo. Leibniz pensaba que las
variables x,y variaban sobre secuencias de valores infinitamente cercanos. Introdujo a dx y
dy como las diferencias entre valores consecutivos de esas secuencias. Leibniz saba que
dx
/
dy
da la tangente pero no la us como una propiedad que defina. Para Newton, la
integracin consista en encontrar flujos para una fluxin dada as que se implica el hecho
de que la integracin y la diferenciacin son inversas. Leibniz usaba la integral como una
suma, de forma muy similar a la de Cavalieri. Tambin estaba contento con el uso de las
'infinitesimales' dx y dy mientras que Newton usaba x' y y' que eran velocidades finitas. Por
supuesto que ni Leibniz ni Newton pensaban en trminos de funciones, pero ambos
pensaban siempre en trminos de grficas. Para Newton, el clculo era geomtrico mientras
que Leibniz lo llev hacia el anlisis. Leibniz estaba bien consciente de que encontrar una
buena notacin era sumamente importante y pens en ella mucho tiempo. Newton, por otro
lado, escribi ms bien para l mismo y, como consecuencia, tenda a usar cualquier
notacin que se lo ocurriera ese da. La notacin d y de Leibniz destacaban el aspecto de
operadores que probara ser importante ms adelante. Para 1675, Leibniz se haba quedado
con la notacin y dy = y/2 escrita exactamente como se hace hoy. Sus resultados sobre
clculo integral fueron publicados en 1864 y 1686 con el nombre de Calculus summatorius; el
trmino clculo integral fue sugerido por J acobo Bernoulli en 1690.


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

28

Los trabajos de Newton estn motivados por sus propias investigaciones fsicas (de all que
tratara a las variables como "cantidades que fluyen") mientras que Leibniz conserva un
carcter ms geomtrico y, diferencindose de su colega, trata a la derivada como un
cociente incremental, y no como una velocidad. Leibniz no habla de derivada sino de
incrementos infinitamente pequeos, a los que llama diferenciales. Un incremento de x
infinitamente pequeo se llama diferencial de x, y se anota dx. Lo mismo ocurre para y (con
notacin dy). Lo que Newton llam fluxin, para Leibniz fue un cociente de diferenciales
(dy/dx). No resulta difcil imaginar que, al no poseer en esos tiempos un concepto claro de
lmite y ni siquiera de funcin, los fundamentos de su clculo infinitesimal son poco
rigurosos. Se puede decir que el clculo de fluxiones de Newton se basa en algunas
demostraciones algebraicas poco convincentes, y las diferenciales de Leibniz se presentan
como entidades extraas que, aunque se definen, no se comportan como incrementos. Esta
falta de rigor, muy alejada del carcter perfeccionista de la poca griega, fue muy usual en la
poca post-renacentista y duramente criticada. Dos siglos pasaron hasta que las
desprolijidades en los fundamentos del clculo infinitesimal se solucionaron, y hoy aquel
clculo, potencialmente enriquecido, se muestra como uno de los ms profundos hallazgos
del razonamiento humano.

En este trabajo participaron J acobo Bernoulli y J ohann Bernoulli
36
, (siglo XVIII) quienes
hicieron grandes esfuerzos para amarrar el razonamiento, cuando Berkeley public su
Analyst en 1734 atacando la falta de rigor en el clculo y disputando la lgica sobre la que
se basaba. Maclaurin intent poner el clculo sobre una base geomtrica rigurosa pero sus
fundamentos realmente satisfactorios tendran que esperar al trabajo de Cauchy en el siglo
XIX.



36
La familia Bernoulli (o Bernouilli) son una familia de matemticos y fsicos suizos procedentes de la ciudad
de Basilea, que irrumpi en el mundo cientfico a finales del siglo XVII. El fundador de esta familia fue Jacob el
viejo, nacido en Amberes (Blgica), un hugonote que se traslad a Basilea en 1622 por motivos de persecucin
religiosa. Se cas tres veces y slo tuvo un hijo, Nikolaus. ste se cas y tuvo una docena, de los cuales cuatro
llegaron a edad adulta; dos de ellos se convirtieron en matemticos de primer orden: Jakob, nacido en 1654, y
Johann, nacido en 1667. Ambos estudiaron la teora del clculo infinitesimal de Leibniz y desarrollaron
aplicaciones de la misma. Recuperado de Wikipedia enciclopedia libre el 26 oct 2012, a las 01:22. pm
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

29

No podemos olvidar que en sus comienzos el clculo fue desarrollado para estudiar cuatro
problemas cientficos y matemticos:

- Encontrar la tangente a una curva en un punto.
- Encontrar el valor mximo o mnimo de una cantidad.
- Encontrar la longitud de una curva, el rea de una regin y el volumen de un slido.
- Dada una frmula de la distancia recorrida por un cuerpo en cualquier tiempo
conocido, encontrar la velocidad y la aceleracin del cuerpo en cualquier instante.
Recprocamente, dada una frmula en la que se especifique la aceleracin o la
velocidad en cualquier instante, encontrar la distancia recorrida por el cuerpo en un
perodo de tiempo conocido.

En parte estos problemas fueron analizados por las mentes ms brillantes de este siglo,
concluyendo en la obra cumbre del filsofo-matemtico alemn Gottfried Wilhelm Leibniz y
el fsico-matemtico ingls Isaac Newton: la creacin del clculo. Se sabe que los dos
trabajaron en forma casi simultnea pero sus enfoques son diferentes.


La difusin de las nuevas ideas fue muy lenta y al principio sus aplicaciones escasas. Los
nuevos mtodos tuvieron cada vez ms xito y permitieron resolver con facilidad muchos
problemas. Los nuevos logros fueron sometidos a severas crticas, la justificacin y las
explicaciones lgicas y rigurosas de los procedimientos empleados no se dieron hasta
avanzado el siglo XIX, cuando aparecieron otros matemticos, ms preocupados por la
presentacin final de los mtodos que por su utilizacin en la resolucin de problemas
concretos.

Pero no podemos olvidar que fue en el siglo XVII que Descartes y Fermat utilizaron el
lgebra para encontrar el rea y las tangentes. Sin embargo, el clculo ideado por Newton
alrededor de 1669 y Leibniz alrededor de 1684, lo desarrollaron ampliamente en el siglo
XVIII los Bernouilli, Euler
37
, Lagrange
38
y muchos otros. Pero fue en siglo XIX con el trabajo

37
Leonhard Paul Euler (Basilea, Suiza, 15 de abril de 1707 - San Petersburgo, Rusia, 18 de septiembre de
1783), conocido como Leonhard Euler, fue un matemtico y fsico suizo. Se trata del principal matemtico del
siglo XVIII y uno de los ms grandes y prolficos de todos los tiempos. Tomado de (Andrs, S. 2009)

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

30

de Dirichlet
39
, Cauchy
40
y Weierstrass
41
, y otros cuando sus fundamentos fueron puestos
sobre una base firme. Veamos cmo fueron apareciendo alguno de los conceptos:


Funcin: El trmino funcin fue usado por primera vez en 1637 por el matemtico francs
Ren Descartes para designar una potencia x
n
. Newton y Leibniz contribuyeron
decisivamente al desarrollo del concepto de funcin. Descubrieron el desarrollo de funciones
en serie de potencias. En esta poca la idea de funcin era muy restringida, pues se reduca
a funciones analticas, primero las que se podan expresar mediante una ecuacin
algebraica y poco despus las desarrollables en serie de potencias. En 1755 Euler dio la
primera definicin de funcin: "Si algunas cantidades dependen de otras de manera que
varan cuando varan las ltimas, entonces se dice que las primeras son funcin de las
ltimas Calinger, R. (1996)

Variable: Al matemtico francs Franois Vite
42
se le ocurri la idea de usar letras para
representar las variables (normalmente X, Y y Z para los nmeros reales y N para los
enteros).

38
Joseph Louis Lagrange, (25 de enero de 1736 en Turn - 10 de abril de 1813 en Pars) fue un matemtico,
fsico y astrnomo italiano que despus vivi en Rusia y Francia. Demostr el teorema del valor medio,
desarroll la mecnica Lagrangiana y tuvo una importante contribucin en astronoma. (O'Connor, J. 2006
Biografa de Joseph Louis Lagrange )

39
Johann Peter Gustav Lejeune Dirichlet (Dren, actual Alemania, 13 de febrero de 1805 - Gotinga, actual
Alemania, 5 de mayo de 1859) fue un matemtico alemn al que se le atribuye la definicin "formal" moderna
de una funcin. Tomado de: (O'Connor, J. 2006. Biografa de Peter Gustav Lejeune Dirichlet)

40
Augustin Louis Cauchy (Pars, 21 de agosto de 1789- Sceaux, 23 de mayo de 1857) fue un matemtico
francs. Cauchy fue pionero en el anlisis matemtico y la teora de grupos de permutaciones, contribuyendo
de manera medular a su desarrollo. Tambin investig la convergencia y la divergencia de las series infinitas,
ecuaciones diferenciales, determinantes, probabilidad y fsica matemtica. Tomado de: (Bruno, B. 1991.
Augustin-Louis Cauchy. A biography )

41
Karl Theodor WilhelmWeierstrass (Ostenfelde, 31 de octubre de 1815~Berln, 19 de febrero de 1897) fue un
matemtico alemn que se suele citar como el padre del anlisis moderno (O'Connor, J. 2006. Biografa de
Karl Weierstrass)

42
Franois Vite (conocido en multitud de textos en espaol por su nombre latinizado Francisco Vieta) fue un
matemtico francs (Fontenay-le-Comte, 1540 - Pars, 1603). Se le considera uno de los principales precursores
del lgebra. Fue el primero en representar los parmetros de una ecuacin mediante letras. Tomado de
Wikipedia enciclopedia libre. Recuperado el 26 de oct 2012. A las 5:50 pm.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

31


Lmites: Wallis
43
introduce el concepto de lmite y el smbolo para el infinito. Newton y
Leibniz ignoraban una definicin precisa de lmite y de los conceptos que ste lleva asociado
y sin embargo no fue ningn impedimento grave para inventar el clculo. Tenan una idea
intuitiva de los lmites. Los conocimientos de los lmites fueron asentados en el siglo XIX por
Cauchy, Dedekind
44
y Weierstrass. La famosa curva descubierta en 1906 por Helge von
Koch
45
y que origin los fractales fue un proceso al lmite de un tringulo equiltero y en
cada lado un nuevo tringulo. El trabajo de Wallis influyo enormemente en Newton quien
aseguro que el desarrollo del binomio y otras ideas iniciales sobre el clculo tuvieron los
orgenes en el estudio que realiz del libro de Wallis en su poca de estudiante de
Cambridge. El mismo Wallis propone una genealoga del clculo: Mtodo de exhaucin
(Arqumedes), Mtodo de indivisibles (Cavalieri); aritmtica de infinitos (Wallis); Mtodo de
las series infinitas (Newton).

Con estos avances, la geometra analtica ampli considerablemente el horizonte de las
curvas geomtricas. Un ejemplo claro fueron los logaritmos. Surgidos de la necesidad de
ahorrar tiempo en los engorrosos clculos usados por los astrnomos que tenan que
realizar una ingente cantidad de multiplicaciones, divisiones y extraccin de races. Estos

43
John Wallis (Ashford, 23 de noviembre de 1616 Oxford, 28 de octubre de 1703) fue un matemtico ingls a
quien se atribuye en parte el desarrollo del clculo moderno. Fue un precursor del clculo infinitesimal
(introdujo la utilizacin del smbolo para representar la nocin de innito). Entre 1643 y 1689 fue criptgrafo
del Parlamento y posteriormente de la Corte real. Fue tambin uno de los fundadores de la Royal Society y
profesor en la Universidad de Oxford. (O'Connor, J. 2006. Biografa de John Wallis)

44
Julius Wilhelm Richard Dedekind (6 de octubre de 1831 - 12 de febrero de 1916), matemtico alemn.
Aprendi matemticas de uno de sus principales profesores Moritz Abraham Stern, y tambin fsica de la mano
de Wilhelm Eduard Weber. Su tesis doctoral, supervisada por Gauss, se titulaba ber die Theorie der Eulerschen
Integrale (Sobre la teora de las Integrales eulerianas), y aunque en ella no se reflejaba el talento que mostr en
sus trabajos posteriores, Gauss supo apreciar el don de Dedekind para las matemticas. Dedekind recibi su
doctorado en 1852, siendo el ltimo alumno de Gauss. (O'Connor, J. 2006. Biografa de <<Julius Wilhelm
Richard Dedekind)>>.
45
Niels Fabian Helge von Koch (Estocolmo, 25 de enero de 1870) fue un matemtico sueco, cuyo nombre se ha
asignado a una famosa curva fractal llamada curva Copo de nieve de Koch, una de las primeras curvas fractales
en ser descritas. Von Koch escribi muchos artculos sobre teora de nmeros. Uno de sus resultados (1901)
fue el teorema que probaba que la hiptesis de Riemann es equivalente a la forma fuerte del Teorema de los
nmeros primos. Describi la curva que lleva su nombre Koch en un artculo del ao 1904 titulado "Acerca de
una curva continua que no posee tangentes y obtenida por los mtodos de la geometra elemental." (en
francs original: "Sur une courbe continue sans tangente, obtenue par une construction gomtrique
lmentaire"). (Gerald, E. 1993).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

32

logaritmos fueron descubiertos independientemente por Napier y Brgi. En la segunda
edicin de la obra de Napier Logratimorun canonis descriptio de 1619 inclua una
explicacin detallada de como se ha de elaborar una tabla de logaritmos no incluida en la
primera edicin de 1614. Este incremento de nuevas curvas hizo imprescindible el
desarrollo de nuevos mtodos para calcular tangentes. Uno de ellos fue el mtodo de
adigualdades de Pierre de Fermat. (Conocido tambin como el Mtodo de las Races
Iguales), que servira adems para calcular mximos y mnimos.

Relacionados con los problemas de las tangentes surgi a mediados del siglo XVII el
llamado problema inverso de las propiedades de las tangentes, es decir, una curva a partir
de las propiedades de sus tangentes. El primero en plantear un problema de este tipo fue
Florimond de Beaune, discpulo de Descartes, quien planteo, entre otros, el problema de
encontrar una curva con subtangente constante. El propio Descartes lo intento resolver sin
xito, siendo Leibniz el primero en resolverlo en la primera publicacin de la historia sobre el
clculo infinitesimal.

Continuidad: El hombre lleg al concepto abstracto de continuidad observando los medios
densos que le rodean, tanto slidos, lquidos como gaseosos. En realidad, como ahora
sabemos, todo medio fsico representa la acumulacin de un gran nmero de partculas
distintas en movimiento. Pero estas partculas y sus distancias mutuas son tan pequeas en
comparacin con las dimensiones del medio, que son como distribuciones continuas en el
espacio que ocupan. El concepto matemtico de continuidad juega un gran papel en la
hidrodinmica, la aerodinmica y la teora de elasticidad. Bolzano
46
public en 1817 un
escrito dedicado a dar una demostracin analtica del teorema del valor medio de funciones
continuas. En 1834 l mismo invent una funcin continua en un intervalo pero que no tena

46
Bernard Placidus Johann Nepomuk Bolzano (Praga, Bohemia (actual Repblica Checa), 5 de octubre de
1781, 18 de diciembre de 1848), conocido como Bernard Bolzano fue un matemtico, lgico, filsofo y telogo
bohemio que escribi en alemn y que realiz importantes contribuciones a las matemticas y a la Teora del
conocimiento. En matemticas, se le conoce por el teorema de Bolzano, as como por el teorema de Bolzano-
Weierstrass, que esboz como lema de otro trabajo en 1817, y dcadas despus habra de desarrollar Karl
Weierstrass. En su filosofa, Bolzano critic el idealismo de Hegel y Kant afirmando que los nmeros, las ideas, y
las verdades existen de modo independiente a las personas que los piensen. Tomado de Wikimedia Commos,
de Wikipedia enciclopedia libre.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

33

derivada en ningn punto de dicho intervalo. Sin embargo, La definicin de funcin continua
en un intervalo fue dada por primera vez por Cauchy.

Derivabilidad: Newton y Leibniz descubrieron ambos el concepto de derivada de manera
independiente. Newton empez a pensar en 1665 en la velocidad de cambio o fluxin de
magnitudes. Sin embargo, fue Leibniz quien utiliz en primer lugar la notacin para indicar
simblicamente el paso al lmite cambiando D por d. La manera de razonar de Newton
estaba mucho ms prxima de forma moderna del clculo, pero la eficacia de la notacin
diferencial de Leibniz hizo que se aceptase mejor la idea de la diferencial que la de fluxin.
La notacin y' y f'(x) fueron introducidas por Lagrange (siglo XVIII).

Mximos y mnimos: En 1744, P.L. Moreau de Maupertius
47
present el "principio metafsico"
de la naturaleza segn el cual, la naturaleza siempre opera con la mayor economa posible;
dicho de otra forma, la naturaleza siempre acta de tal manera que minimiza alguna
cantidad, por ejemplo, la forma esfrica de las burbujas de jabn, que est relacionado con
el hecho de que las esferas son las superficies de rea mnima que contienen un volumen
fijo. El matemtico suizo L. Euler proporcion muchas de las herramientas matemticas
para la teora de mximos y mnimos de cantidades escalares.

Regla de L' Hpital o Regla de L' Hospital: Fue descubierto por uno de los hermanos
Bernouilli, J ean, aunque se conoce como "Regla de L' Hpital
48
", debido a que J .B. en su
estancia en Pars ense matemticas al joven marqus francs, Guillaume Franois
Antoine de L' Hpital y firm con l un pacto, segn el cual, a cambio de un salario regular,

47
Pierre Louis Moreau de Maupertuis (7 de julio de 1698, Saint-Malo 27 de julio de 1759) Filsofo,
matemtico y astrnomo francs. El principio de mnima accin establece que en todos los fenmenos
naturales, una cantidad llamada "accin" tiende a ser minimizada. Maupertuis desarroll este principio a lo
largo de dos dcadas. Para l, la accin poda ser expresada matemticamente como el producto de la masa
del cuerpo implicado, la distancia recorrida y la velocidad a la que viaja. Maupertuis, P. (1746). O'Connor, J.
Et al., Biografa de Pierre de Maupertuis

48
En matemtica, ms especficamente en el clculo diferencial, la regla de l'Hpital o regla de l'Hpital-
Bernoulli es una regla que usa derivadas para ayudar a evaluar lmites de funciones que estn en forma
indeterminada. Esta regla recibe su nombre en honor al matemtico francs del siglo XVII Guillaume Franois
Antoine, Marqus de l'Hpital (1661 - 1704), quien dio a conocer la regla en su obra Analyse des infiniment
petits pour l'intelligence des lignes courbes (1692), el primer texto que se ha escrito sobre clculo diferencial,
aunque actualmente se sabe que la regla se debe a Johann Bernoulli, que fue quien la desarroll y demostr.
(Solaeche Galera Mara C. 1993).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

34

se comprometa a enviarle al marqus sus descubrimientos en matemticas para que el
marqus los utilizase a su voluntad. (Solaeche, M. 1993).

Integracin: Tiene su origen en Arqumedes, matemtico griego que indag bastante en el
clculo de reas limitadas por curvas. Seki-Kowa
49
, matemtico japons del siglo XVII,
calcula el rea del crculo a partir de la suma de rectngulos. Cauchy fue el primero en
definir las cantidades de rea de superficies mediante integrales. Present en 1823 la
necesidad de probar la existencia de la integral como lmite de una suma. Sin embargo, su
demostracin no es rigurosa pues desconoca el concepto de continuidad uniforme. El
concepto de suma de Riemann
50
para una funcin f, es anterior a Riemann. Las sumas
llevan su nombre porque l dio las condiciones necesarias y suficientes para que una
funcin acotada sea integrable. Su enfoque fue generalizado por Darbou (1875) y Stieltjes
(1894). Realmente, el que ampli la teora de la integracin fue Lebesgue
51
en 1902.

49
Kwa Seki o Takakazu Seki (nacido 1637/1642? 5 de diciembre de 1708) fue un matemtico japons que
cre una nueva notacin algebraica y estableci las bases para el posterior desarrollo del wasan (matemtica
tradicional japonesa). Motivado por cmputos astronmicos, hizo un importante trabajo en el clculo integral y
ecuaciones indeterminadas de nmeros enteros, que fueron desarrolladas por sus sucesores. Descubri
algunos de los teoremas y teoras que fueron o seran dentro de poco tiempo- descubiertos- en el occidente.
Por ejemplo, el descubrimiento de los Nmeros de Bernoulli (publicado en 1712), las resultante y las
Determinante (matemtica) le son atribuidas a l. (Las resultantes fueron publicadas por primera vez en 1683,
pero su versin completa no se public hasta 1710). Tambin hizo estudios sobre el clculo de determinantes
de orden superior coincidiendo en el tiempo con Leibniz al publicar sus resultados. Si bien los dos obtuvieron
frmulas correctas en su forma para el caso de dimensin cuatro, ambos erraron en el clculo del signo al no
disponer del concepto de signatura de una permutacin. Estos logros son sorprendentes, considerando que la
matemtica japonesa antes de la aparicin de Seki Kowa estaba en un estado muy primitivo por ejemplo, la
introduccin completa del lgebra china del siglo XII fue hecha recin en 1671, por Kazuyuki Sawaguchi.
Recuperado en Wikipedia enciclopedia libre http://es.wikipedia.org/wiki/Seki_K%C5%8Dwa, el 26 de oct 2012,
8.05 am.

50
Georg Friedrich Bernhard Riemann (Breselenz, Alemania, 17 de septiembre de 1826 - Verbania, Italia, 20 de
julio de 1866) fue un matemtico alemn que realiz contribuciones muy importantes en anlisis y geometra
diferencial, algunas de ellas allanaron el camino para el desarrollo ms avanzado de la relatividad general. Su
nombre est conectado con la funcin zeta, hiptesis de Riemann, la integral de Riemann, el lema de Riemann,
las variedades de Riemann, las superficies de Riemann y la geometra de Riemann. O'Connor, John J.;
Robertson, Edmund F., Biografa de Bernhard Riemann

51
Henri Lon Lebesgue. ( Beauvais, 28 de junio de 1875 - Pars, 26 de julio de 1941) Matemtico francs.
Lebesgue es fundamentalmente conocido por sus aportes a la teora de la medida y de la integral. A partir de
trabajos de otros matemticos como mile Borel y Camille Jordan, Lebesgue realiz importantes contribuciones
a la teora de la medida en 1901. Al ao siguiente, en su disertacin Intgrale, longueur, aire (Integral, longitud,
rea) presentada en la Universidad de Nancy, defini la integral de Lebesgue, que generaliza la nocin de la
integral de Riemann extendiendo el concepto de rea bajo una curva para incluir funciones discontinuas. Este
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

35


El extraordinario avance registrado por la matemtica, la fsica y la tcnica durante los siglos
XVIII, XIX y XX, se lo debemos al Clculo infinitesimal y por eso se puede considerar como
una de las joyas de la creacin intelectual de la que el hombre puede sentirse orgulloso.
Todos estos aportes en la nueva forma de hacer matemticas, gener un cambio de actitud
en la matemtica del siglo XVII quiz influenciada por los grandes descubrimientos de todo
tipo: geogrficos, cientficos, mdicos y tecnolgicos; pero fue el inters de los matemticos
por descubrir ms que por dar pruebas rigurosas lo que fortaleci dicho cambio. Ello
potenci sin duda el uso del infinito sin las limitaciones aristotlicas de las que ya hemos
hablado.

Fue en el siglo XVIII que aument considerablemente el nmero de aplicaciones del clculo,
pero el uso impreciso de las cantidades infinitas e infinitesimales, as como la intuicin
geomtrica, causaban todava confusin y duda sobre sus fundamentos. De hecho, la
nocin de lmite, central en el estudio del clculo, era an vaga e imprecisa en ese entonces.
Uno de sus crticos ms notables fue el filsofo George Berkeley
52
.

Los creadores del Anlisis Infinitesimal introdujeron el Clculo Integral, considerando los
problemas inversos de sus clculos. Dicha introduccin se logr con el estudio de
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. En la
teora de fluxiones de Newton la mutua inversibilidad de los problemas del clculo de
fluxiones y fluentes se evidenciaba claramente. Para Leibniz el problema era ms complejo:
la integral surga inicialmente como definida. No obstante, la integracin se reduca

es uno de los logros del anlisis moderno que expande el alcance del anlisis de Fourier. Tambin aport en
ramas como la topologa, la teora del potencial y el anlisis de Fourier. En 1905 present una discusin sobre
las condiciones que Lipschitz que Jordan haban utilizado para asegurar que f(x) es la suma de su serie de
Fourier. Recuperado el 27 de oct 2012, La 9,50 am en
http://es.wikipedia.org/wiki/Henri_L%C3%A9on_Lebesgue .

52
George Berkeley (Irlanda, 12 de marzo de 1685 - Cloyne, 14 de enero de 1753), tambin conocido como el
obispo Berkeley, fue un filsofo irlands muy influyente cuyo principal logro fue el desarrollo de la filosofa
conocida como idealismo subjetivo, resumido en la frase esse est percipi aut percipere (ser es ser percibido o
percibir). Su doctrina tambin se conoce como inmaterialismo, dado que negaba la realidad de abstracciones
como la materia extensa. O'Connor, J. Et al., Biografa de George Berkeley

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

36

prcticamente a la bsqueda de funciones primitivas. La idea de la integracin indefinida fue
inicialmente la dominante.

Durante buena parte del siglo los discpulos de Newton y Leibniz se basaron en sus trabajos
para resolver diversos problemas de fsica, astronoma e ingeniera, lo que les permiti, al
mismo tiempo, crear campos nuevos dentro de las matemticas. As, los hermanos Bernoulli
inventaron el clculo de variaciones y el matemtico francs Monge la geometra descriptiva.
Lagrange, tambin francs, dio un tratamiento completamente analtico de la mecnica,
realiz contribuciones al estudio de las ecuaciones diferenciales y la teora de nmeros, y
desarroll la teora de grupos. Su contemporneo Laplace escribi Teora analtica de las
probabilidades (1812) y el clsico Mecnica celeste (1799-1825), que le vali el
sobrenombre de "el Newton francs". Euler escribi textos sobre clculo, mecnica y
lgebra que se convirtieron en modelos a seguir para otros autores interesados en estas
disciplinas. El xito de Euler y de otros matemticos para resolver problemas tanto
matemticos como fsicos utilizando el clculo slo sirvi para acentuar la falta de un
desarrollo adecuado y justificado de las ideas bsicas del clculo. A los matemticos de
fines del siglo el horizonte matemtico les pareca obstruido. Se haba llegado al estudio de
cuestiones muy complicadas a las que no se les conoca o vea un alcance claro.

El Clculo Integral inclua adems de la integracin de funciones, los problemas y la teora
de las ecuaciones diferenciales, el clculo variacional, la teora de funciones especiales. Tal
formulacin general creci inusualmente rpido. Euler necesit en los aos 1768 y 1770 tres
grandes volmenes para dar una exposicin sistemtica de l. Segn Euler el Clculo
Integral constitua un mtodo de bsqueda, dada la relacin entre los diferenciales o la
relacin entre las propias cantidades. La operacin con lo que esto se obtena se
denominaba integracin. El concepto primario de tal Clculo, por supuesto, era la integral
indefinida. El propio Clculo tena el objetivo de elaborar mtodos de bsqueda de las
funciones primitivas para funciones de una clase lo ms amplia posible. Euler, partiendo del
concepto de integral indefinida como bsico, introdujo un sistema completo de definiciones.
La integral, junto con una constante aditiva arbitraria, la denomin total. La fijacin de una
constante arbitraria conduca a una integral parcial. El valor de esta ltima, para cierto valor
determinado del argumento, daba el equivalente a la integral definida. Esta sucesin
armoniosa result imposible de mantener en las cuestiones aplicadas. El necesario cambio
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

37

del smbolo de Leibniz
}
dx ) (x f para el caso de la integracin definida tampoco fue
encontrado inmediatamente. El smbolo al que estamos acostumbrados y que ya nos parece
tan natural
}
dx ) (x f fue encontrado por Fourier slo en los aos 1819-1822.


Durante el desarrollo del Clculo Integral surgi una serie de problemas de carcter
especial. Los esfuerzos en su resolucin condujeron a la elaboracin de nuevas ramas del
Anlisis Matemtico, estas ltimas, tarde o temprano se separaron de su fuente inicial, el
Clculo Integral del siglo XVIII. Ya en el siglo XIX el trabajo de los analistas matemticos
sustituyeron esas vaguedades por fundamentos slidos basados en cantidades finitas:
Bolzano y Cauchy definieron con precisin los conceptos de lmite en trminos de psilon,
delta y de derivada, Cauchy y Riemann hicieron lo propio con las integrales, y Dedekind y
Weierstrass con los nmeros reales. Fue el periodo de la fundamentacin del clculo. Por
ejemplo, se supo que las funciones diferenciables son continuas y que las funciones
continuas son integrables, aunque los recprocos son falsos. En este siglo aparecen ms
sofisticadas nociones de integral y teoras asociadas como superficies integrales en
espacios tridimensionales, integrales de formas diferenciales que juegan un papel
fundamental en la geometra diferencial. Estas generalizaciones surgieron de las
necesidades de las ciencias fsicas y juegan un papel bsico en la formulacin de muchas
leyes fsicas con especial relevancia en electrodinmica. Ya ms actualmente, el concepto
abstracto de Integral de Lebesgue, desarrollado por Henri Lebesgue es uno de los ms
reseables.

Actualmente, el clculo infinitesimal tiene un doble aspecto: por un lado, se ha consolidado
su carcter disciplinario en la formacin de la sociedad culta del conocimiento, destacando
en este mbito textos propios de la disciplina como el de Tom Apstol, el de Louis Leithold,
el de Earl W. Swokowski o el de J ames Stewart entre muchos otros; por otro, su desarrollo
como disciplina cientfica que ha desembocado en mbitos tan especializados como el
clculo fraccional, la teora de funciones analticas de variable compleja o el anlisis
matemtico. El xito del clculo ha sido extendido con el tiempo a las ecuaciones
diferenciales, al clculo de vectores, al clculo de variaciones, al anlisis complejo y a las
topologa algebraica y topologa diferencial entre muchas otras ramas.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

38



El desarrollo y uso del clculo ha tenido efectos muy importantes en casi todas las reas de
la vida moderna: es fundamento para el clculo numrico aplicado en casi todos los campos
tcnicos y/o cientficos cuya principal caracterstica es la continuidad de sus elementos, en
especial en la fsica. Prcticamente todos los desarrollos tcnicos modernos como la
construccin, aviacin, transporte, meteorologa, etc. hacen uso del clculo. Muchas
frmulas algebraicas se usan hoy en da en balstica, calefaccin, refrigeracin entre otras,
como complemento del clculo; en relacin a sistemas tericos o fsicos cuyos elementos
carecen de continuidad, se ha desarrollado una rama especial conocida como Matemtica
discreta.

El clculo de integrales de tipos especiales conllev al descubrimiento de una serie de
resultados de la teora de las funciones especiales como por ejemplo la Funcin Beta



Y la funcin Gamma




Si es un nmero natural, entonces




Esto dio a Euler base para la definicin generalizada de factorial



Entre las muchas integrales especiales se puede sealar el logaritmo integral
( ) ( ) 0 0 1 ,
1
1
0
1
> > = B

}
b y a con x x b a
b a
( ) 0
1
0
> = I

}
a con x e a
a x
( ) ( ) 0 1 > I = + I a con a a a
( ) ( ) ( ) ( ) ( ) ! 1 ! ... 1 1 1 a a a a a a a a = I = = I = I = + I
dx x e n
x
}

= !
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

39




La cual adquiri junto con la funcin un gran significado en la teora analtica de los
nmeros. Laplace consider las integrales con lmites imaginarios.


La integracin es un concepto fundamental de las matemticas avanzadas, especialmente
en los campos del clculo y del anlisis matemtico. De ah que esta rama del Clculo
Integral jug un papel importante en la creacin de la teora de funciones de variable
compleja como una de sus fuentes. As en el transcurso del siglo XVIII se form en el
Clculo Integral un conjunto de mtodos, prximo a su actual contenido y nivel. Este
Clculo, adems, dio comienzo a nuevas ramas del Anlisis Matemtico, como por ejemplo
la teora de las funciones especiales. De l se separaron y transformaron en campos
matemticos independientes: la teora de ecuaciones diferenciales y el clculo variacional.
El Clculo integral sirvi, finalmente, como una de las fuentes de la teora de las funciones
analticas.

2. EL CALCULO INTEGRAL

Como vimos anteriormente, nos situamos a comienzos del siglo XVII, justamente despus
de la aparicin del concepto de funcin, cuando comienza a tomar forma el clculo, que
junto con la geometra analtica es la mayor creacin de todas las matemticas. Como se
mencion anteriormente, para la poca haba cuatro tipos de problemas principalmente:

1. Dada la frmula de la distancia que un cuerpo recorre como funcin del tiempo,
obtener la velocidad y la aceleracin en cada instante; y, al revs, dada la frmula de
la aceleracin de un cuerpo como funcin del tiempo, obtener la velocidad y la
distancia recorrida. Este problema surge directamente del estudio del movimiento.

( )
} }

= =
x x t
dt
t
e
x
dx
x li
0
ln
( ) x ,
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

40

2. Obtener la tangente a una curva, como consecuencia de las aplicaciones de la ptica
y el estudio del movimiento.

3. Obtener el valor mximo o mnimo de una funcin para aplicarlo al problema del tiro
parablico y el estudio del movimiento de los planetas.

4. Obtener longitudes de curvas; las reas acotadas por curvas; los volmenes
acotados por superficies; los centros de gravedad y la atraccin gravitatoria entre
cuerpos extensos.



Para los matemticos de aquella poca no haba claridad sobre la estrecha relacin que hay
entre los cuatro problemas. Sin embargo, los griegos ya haban aplicado mtodos
exhaustivos para el clculo de reas y volmenes. A pesar del hecho de que lo aplicaban
para reas y volmenes relativamente sencillos, tenan que utilizar mucha ingeniosidad,
porque al mtodo le faltaba generalidad, y no obtuvieron respuestas numricas muy a
menudo. Fue con los trabajos de Arqumedes con los que se volvi a despertar en Europa el
inters por obtener longitudes, reas, volmenes y centros de gravedad. El Mtodo
exhaustivo se modific primero gradualmente, y despus radicalmente por la invencin del
clculo.


Los trabajos del siglo XVII al respecto de la cuarta situacin planteada, comienzan con
Kepler, de quien se dice se interes por el problema de los volmenes porque not la falta
de precisin de los mtodos utilizados por los tratantes de vinos para obtener el volumen de
los barriles. Este trabajo (en Stereometria Dolorium) es tosco para los niveles actuales; por
ejemplo, el rea de un crculo es el rea de un nmero infinito de tringulos, cada uno con
un vrtice en el centro y una base en la circunferencia. De la frmula del rea de un
polgono regular inscrito en una circunferencia, la mitad del permetro por la apotema,
obtena el rea del crculo. De forma anloga, consideraba el volumen de la esfera como la
suma de los volmenes de pequeos conos cuyos vrtices estn en el centro de la esfera y
cuyas bases estn en la superficie. As demostr que el volumen de la esfera es un tercio
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

41

del radio por la superficie. Consider el cono como una suma de discos circulares muy
estrechos y as pudo calcular su volumen.


Galileo, en Dos nuevas ciencias, concibe las reas de un modo parecido a Kepler; al tratar
el problema del movimiento uniformemente acelerado, present un razonamiento para
mostrar que el rea de la curva tiempo-velocidad es la distancia.


Supongamos que un objeto se mueve con
velocidad variable v=32t representado en el dibujo
por la recta OB; entonces la distancia recorrida en
el tiempo OA es el rea OAB. Lleg a esta
conclusin considerando, por ejemplo, AB como
una velocidad tpica en un instante y tambin como
la distancia infinitesimal recorrida, y razonando
entonces que el rea OAB, que est construida
con las lneas AB, debe ser, por tanto, la distancia total. Este razonamiento (poco claro)
estaba apoyado en la mente de Galileo por consideraciones filosficas que equivalan a
considerar el rea OAB como construida con un nmero infinito de unidades indivisibles
como AB.


Cavalieri, discpulo de Galileo y profesor en un liceo de Bolonia fue influido por Kepler y
Galileo, y fue estimulado por este ltimo para interesarse por problemas del clculo.
Cavalieri desarroll las ideas de Galileo y otros sobre los indivisibles mediante un mtodo
geomtrico, y public un trabajo sobre el tema, Geometra Indivisibilibus Continuorum Nova
quadam Ratione Promota (Geometra superior mediante un mtodo bastante desconocido, los
indivisibles de los continuos, 1635). Considera un rea como constituida por un nmero
indefinido de rectas paralelas y equidistantes y un volumen como compuesto por un nmero
indefinido de reas planas paralelas; a estos elementos
los llama los indivisibles de rea y volumen
respectivamente. En lneas generales los indivisibilistas
mantenan, como expresa Cavalieri en sus Exercitationes
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

42

Geometricae Sex (1647), que una lnea est hecha de puntos como una sarta de cuentas; el
plano est hecho de lneas, como un tejido de hebras y un slido de reas planas como un
libro de hojas, sin embargo aceptaban un nmero infinito de elementos constituyentes.

El mtodo o principio de Cavalieri puede ilustrarse mediante la proposicin siguiente que,
por supuesto puede, demostrarse de otras formas. Para demostrar que el paralelogramo
ABCD tiene rea doble que cualquiera de los tringulos ABD o BCD, hace notar que cuando
GD=BE, se tiene que GH=FE. Por tanto los tringulos ABD y BCD estn constituidos por
igual nmero de lneas iguales, tales como GH y EF, y por tanto tienen que tener reas
iguales.


Este mismo principio est incluido en la proposicin que se ensea actualmente en los libros
de geometra de slidos y que se conoce como teorema de Cavalieri. Con este mtodo
encontr el rea acotada bajo funciones del tipo
n
x x f = ) ( para n=1, 2, 3, 4, 5, 6, 9. Pero sin
embargo, su mtodo era enteramente geomtrico.



En 1634, Roberval, utiliz esencialmente el mtodo de los indivisibles para obtener el rea
encerrada bajo un arco de cicloide, un problema sobre el que Mersenne
53
haba llamado su
atencin en 1629. Denomin a su mtodo el mtodo de las infinidades, aunque utiliz como
ttulo de su trabajo el de Trait des Indivisibles.







53
Marn Mersenne, Marin Mersennus (8 de septiembre de 1588 - 1 de septiembre de 1648) fue un filsofo
francs del siglo XVII que estudi diversos campos de la teologa, matemticas y la teora musical. Hoy da,
Mersenne es recordado principalmente gracias a los nmeros que llevan su nombre: los nmeros primos de
Mersenne. Mersenne los introdujo en su Cognitata physico-mathematica en 1641 donde conjetur algunas
propiedades sobre ellos, algunas de las cuales slo pudieron ser comprobadas o refutadas ya en el siglo XX.
Tambin es cierto que tradujo y coment las obras de Euclides, Arqumedes y otros matemticos griegos, y que
su contribucin ms sealada al avance del conocimiento fue realizada a travs de una extensa
correspondencia (por supuesto en latn) con matemticos y otros cientficos de diversos pases.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

43











Sea OABP el rea situada bajo la mitad de un arco de cicloide. El dimetro de la
circunferencia generatriz es OC y P es un punto cualquiera del arco. Se toma PQ=DF. El
lugar geomtrico descrito por Q se llama curva asociada a la cicloide. (La curva OQB es, en
nuestra notacin, y = a sen (x/a), donde a es el radio de la circunferencia generatriz, con tal
que el origen est en el punto medio de OQB y el eje OX sea paralelo a OA.) La curva OQB
divide al rectngulo OABC en dos partes iguales porque a cada lnea DQ en OQBC le
corresponde una lnea igual RS en OABQ. Entonces puede aplicarse el principio de Cavalieri.
El rectngulo OABC tiene su base y su altura iguales, respectivamente, a la
semicircunferencia y dimetro de la circunferencia generatriz; por lo tanto su rea es el
doble de la circunferencia. Entonces OABQ tiene la misma rea que la circunferencia
generatriz. Adems el rea entre OPB y OQB es igual al rea del semicrculo OFC porque de
la misma definicin de Q se tiene que DF=PQ, de modo que estas dos reas tienen la misma
anchura en todas partes. En consecuencia, el rea encerrada debajo del semiarco es una
vez y media el rea de la circunferencia generatriz. Adems tambin obtuvo el rea
encerrada en un arco de la curva seno, el volumen generado por la revolucin del arco
alrededor de su base, otros volmenes conectados con la cicloide y el centro de su rea.


El mtodo ms importante para calcular reas, volmenes y otras cantidades comenz con
modificaciones del mtodo exhaustivo griego. As como los griegos utilizaban diferentes
tipos de figuras aproximantes rectilneas, en el siglo XVII adoptaron un procedimiento
sistemtico utilizando rectngulos. Supongamos que se quiere calcular el rea situada por la
parbola
2
x y = desde x=0 hasta x=B.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

44




A medida que la anchura d de estos rectngulos se hace ms pequea, la suma de las
reas de los rectngulos se aproxima al rea encerrada bajo la curva. Esta suma, si las
bases son todas ellas de anchura d, y si se utiliza la propiedad caracterstica de la parbola
de que la ordenada es el cuadrado de la abscisa, es
2 2 2 2
) ( ... ) 3 ( ) 2 ( nd d d d d d d d + + + +

o lo que es lo mismo ) ... 3 2 1 (
2 2 2 2 3
n d + + + +

La suma de las potencias m-simas de los
primeros n nmeros naturales haba sido obtenida por Pascal y Fermat precisamente para
su uso en tales problemas; por ello los matemticos pudieron sustituir fcilmente la ltima
expresin por )
6
3 2
(
2 3
3
n n n
d
+ +

Si sustituimos d por la longitud fija OB dividida por n, el
resultado es |
.
|

\
|
+ +
2
3
6
1
2
1
3
1
n n
OB




Si se considera, como lo hicieron ellos entonces, que los dos ltimos trminos se pueden
despreciar cuando n es infinito, se obtiene el resultado correcto. El proceso de paso al lmite
no haba sido introducido todava (o se perciba toscamente) y por lo tanto el despreciar
trminos tales como los dos ltimos no estaba justificado. Este enfoque que fue mostrado
por Stevin en 1586 en su obra Statics fue seguido por muchos otros, incluyendo a Fermat,
que ya antes de 1936 conoca

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

45

1
1
0
+
=
+
}
n
a
dx x
n
a
n
Para todo n racional excepto -1.


En 1658 Pascal considero algunos problemas
sobre la cicloide. Calcul el rea de cualquier
segmento de la curva cortada por una recta
paralela a la base, el centroide del segmento y
los volmenes de los slidos generados por
esos segmentos al girar alrededor de sus bases
(YZ en la figura) o de una recta vertical ( el eje
de simetra).


En este trabajo, as como en trabajos previos sobre reas encerradas bajo curvas de la
familia
n
x y = , sumo pequeos rectngulos en la forma del mtodo anterior aunque su
trabajo y resultados fueron enunciados geomtricamente. Bajo el pseudnimo de Dettonville,
propona los problemas que haba resuelto como un reto para otros matemticos,
publicando a continuacin sus propias soluciones superiores (Letras de Dettonville, 1659).


J ohn Wallis (1616-1703) fue de los primeros en introducir mtodos analticos en el clculo,
as en sus esfuerzos por calcular el rea del crculo analticamente obtuvo una nueva
expresin de . Calcul el rea acotada por los ejes, la ordenada en x y la curva para las
funciones (
n
) x y
2
1 = , para n=1, 2, 3 y obtuvo reas


... ,
7
1

5
3

3
3
,
5
1

3
2
,
3
1
,
7 5 3 5 3 3
x x x x x x x x x x + + Respectivamente.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

46

Cuando x=1 estas reas son ,...
105
48
,
15
8
,
3
2
, 1 pero la circunferencia viene dada por
2
1
2
) 1 ( x y = . Por induccin e interpolacin, Wallis calcul su rea y, mediante complicados
razonamientos posteriores lleg a que:
... 9 7 7 5 5 3 3 1
... 8 8 6 6 4 4 2 2
2

=
t
.




Gregorio de San Vicent
54
, en su Opus Geometricum (1647), proporcion las bases para la
importante conexin entre la hiprbola rectangular y la funcin logaritmo. Demostr,
utilizando el mtodo exhaustivo, que si para la curva y=1/x las
i
x se eligen de modo que
las reas a, b, c, d son iguales, entonces las
i
y estn en progresin geomtrica. Esto
significa que la suma de las reas desde
0
x hasta
i
x , cuya suma forma una progresin
geomtrica, es proporcional al logaritmo de los valores de las
i
y o, en nuestra notacin,

y k
x
dx
x
x
log
0
=
}
.


54
Gregorio de San Vicent, en su obra Opus Geometricum quadraturae circuli et sectionum coni, Amberes
(1647). Tomado de (Boyer, 2010).
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

47

La observacin de que las reas pueden interpretarse como logaritmos se debe en realidad
a un discpulo de Gregorio, el jesuita belga Alfonso de Sarasa
55
(1618-1667) en sus Solutio
Problematis a Mercenno Propositi (1649).


2.1. La integracin antes del Clculo.

La integracin es un concepto fundamental de las matemticas avanzadas, especialmente
en los campos del clculo y del anlisis matemtico. Una integral es una suma de infinitos
sumandos, infinitamente pequeos. La actual simbologa del clculo integral fue ideada por
Gottfried Leibniz en 1675. l adapt el smbolo integral, alargando la letra S de suma,
debido a que el concepto de partida es que la integral es la sumatoria de pequeos
cuadrados infinitsimos. . En Matemticas, la integracin se relaciona con dos problemas
clsicos del Anlisis Matemtico, aparentemente no relacionados. El clculo de reas y
volmenes, y la accin que una funcin de una o varias variables le aplica a las regiones
antes mencionadas.


Pero demos una mirada en la historia para ver cmo los griegos trataron de dar respuesta a
estos problemas que condujeron al origen de la integral. Para el ao 430 a. C., se ideo el
mtodo exhaustivo creado por los griegos, como un procedimiento geomtrico-matemtico
de aproximacin a un resultado, con el cual el grado de precisin aumenta en la medida en
que avanza el clculo.

Tambin se lo conoce como: mtodo por agotamiento, mtodo de exhauscin o mtodo de
exhaucin. El trmino proviene del ingls method of exhaustion (que sera mejor traducido
como mtodo por agotamiento, ya la Real Academia Espaola no ha aceptado an el
sustantivo exhauscin, a pesar de reconocer el adjetivo exhausto. El ingls exhaustion
proviene del latn exhausti (agotamiento). Este mtodo lo utilizo el sofista Antifonte (430 a.
C.) trat de determinar el rea del crculo inscribiendo en l un mayor nmero de tringulos,

55
Alfonso Antonio de Sarasa. fue un matemtico Jesuita que contribuy al entendimiento de los logaritmos,
particularmente como reas bajo la hiprbola. Naci en 1618, en Nieuwpoort en Flanders. En 1632 fue
admitido como novicio en Gante. Ah trabaj con Gregoire de Saint-Vincent las ideas que haba desarrollado,
explotado, y promulgado. Acorde al Sommervogel (1896). dem. (Boyer, 2010).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

48

cada vez ms pequeos, hasta que su rea se colmara. Un ejemplo ms famoso del mtodo
exhaustivo o por agotamiento es el del clculo de la longitud de una circunferencia
efectuado por Arqumedes. l utiliz dos mtodos:

- El mtodo de agotamiento, inscribiendo polgonos regulares en una circunferencia de
radio unitario, y

- El mtodo de compresin, circunscribiendo polgonos a la circunferencia. De este
modo, al aumentar el nmero de lados de los polgonos, las figuras tendern a
acercarse a la forma de la circunferencia, tanto que Arqumedes pudo obtener una
medida bastante precisa del nmero .

El mtodo de agotamiento est descrito en El Mtodo, un libro de Arqumedes en el que se
explica este procedimiento. Es la base de los conceptos que en el siglo XVII permitieron a
Isaac Newton y a Leibniz unificar el clculo diferencial con el integral, lo cual conllev la
posterior definicin rigurosa de lmite de una funcin por Bernard Bolzano, Cauchy y
Weierstrass. El mtodo de agotamiento es el precursor del concepto de suma de Riemann
que permite definir con rigor la integral de una funcin en un intervalo.
56


2.1.1. Primitivas
57
.




56
De Rivera, Alberto. Arqumedes. El genio de Siracusa, artculo en Historia de las Matemticas, en el sitio
web de la Universidad Autnoma de Madrid. Recuperado el 30 oct 2012 en:
http://scholar.googleusercontent.com/scholar?q=cache:Ew4NWPPAWV0J:scholar.google.com/+%22m%C3%A9
todo+exhaustivo%22+arquimedes&hl=es&as_sdt=0,5

57
Idem, (Boyer, Carl B. 2010. pp 130-134).
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

49

Isaac Barrow, cre la siguiente definicin: Dada una funcin | | IR b , a : h , cualquier funcin
| | IR b , a : H que sea continua en | | ,b a , derivable en ( ) b a, y verifique que
b a, x (x), h ) x ( H se llama una primitiva de f en el intervalo | | ,b a


Es importante advertir que no todas las funciones tienen primitivas. Por ejemplo, una
condicin necesaria que debe cumplir una funcin para tener primitivas es que dicha funcin
tenga la propiedad del valor intermedio pues, las funciones derivadas tienen esa propiedad.
Tambin, como consecuencia del teorema del valor medio, es inmediato que dos primitivas
de una funcin en un mismo intervalo se diferencian en una constante.


2.1.2. Regla de Barrow, (teorema): Sea | | IR b a, : f integrable y suponiendo que h es
una primitiva de f en | | ,b a entonces:

}
=
b
a
h(a) - h(b) dt f(t)

Demostracin: sea { } b x , x , , x , x , x a P
n n 0
= = =
1 2 1
una particin de | | ,b a aplicando el teorema
del valor medio, tenemos que: ( )

= =

= = =
n
1 k
n
1 k
k k k 1 - k k
) p , f ( ) x x )( f(t ) (x h - ) x ( h (a) h - (b) h
1

La igualdad anterior nos dice que para toda particin P de | | ,b a hay alguna suma de
Riemann de f asociada a dicha particin, P) (f, que es igual a h(b) h(a). Si ahora
tomamos una sucesin { }
n
P de particiones del intervalo | | ,b a tales que , ) (P
n
0 A
tenemos que P) (f, h(a) - h(b) = para alguna suma de Riemann, ) P (f,
n
de f asociada a la
particin P
n
pero sabemos que
}

b
a
n
, f ) P (f, por lo que obtenemos que
}
=
b
a
. f h(a) - h(b)

Notemos que en la regla de Barrow no se supone que f sea continua sino tan solo que es
integrable y que, adems, tiene una primitiva.


2.1.3. Los indivisibles de Cavalieri. (Principio de Cavalieri)

La nueva concepcin dela geometra infinitesimal, marco el comienzo de una segunda etapa
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

50

de la matemtica infinitesimal. Cavalieri, alumno de Galilei fue quien alcanzo mayor claridad
en las ideas aun oscura en Kepler, quienes se haba adherido a la tradicin materialista
antigua representada por Demcrito, especialmente a la idea del tomo como componente
indivisible de la materia. Cavalieri intento sistematizar todos estos datos, y como resultado,
publico en 1635 un libro titulado Geoemtria Indivisibilibus continuorum(Geometria de los
indivisibles continuos presentada segn un nuevo mtodo). Un libro bastante confuso de
entender debido a que el autor no explica suficientemente qu se ha de entender, en
sentido matemtico, por indivisible. Cavalieri debido a la cantidad de reproches que recibi
por su obra, utilizo las figuras planas concebidas como un tejido de hilos paralelos; los
slidos serian como libros compuestos por hojas paralelas. No es claro de qu manera
utilizaba Cavalieri los indivisibles? Cul era su mtodo? Cmo apareci el principio que
lleva su nombre?

Cavalieri supuso que para toda figura plana cerrada se puede encontrar una recta A
tangente,(regula, o listn, directriz, regla)- as llamados por l- con un solo punto en comn
(vertex o vrtice) con la curva que limita la figura. La regula posee infinitas paralelas que se
alejan de ella hasta encontrar una, la tangens opposita (la tangente en el lado opuesto) B,
que toca a la figura en ltimo lugar. De esta forma Cavalieri considera un plano P* que pasa
por A y otro P** paralelo a P* y que pasa por B. se desplaza P* paralelamente hasta
superponerlo a P**. Este movimiento es llamado por Cavalieri fluir: El concepto
fundamental de las magnitudes fluyentes desempeara un importante papel en la historia
subsiguiente de la matemtica infinitesimal, en particular en Barrow y Newton. Las
intersecciones (rectas) de los planos fluyentes con la figura
plana forma, en palabras de Cavalieri, la totalidad de las
rectas de la figura; sobre esta expresin trabajara Leibniz ms
adelante.


Para el espacio Cavalieri procede de forma similar; el lugar de
la regula lo ocupa un plano. La regula produce al deslizarse la
totalidad de los planos del slido. Por ultimo Cavalieri formulo
su principio formulado en dos teoremas fundamentales.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

51

1). La totalidad de los indivisibles de una misma figura es independiente de la regula
2). Las figuras planas y tambin los slidos, estn en las mismas proporciones que la
totalidad de sus rectas, respectivamente planos, tomados a partir de una regula
cualquiera. (Wubing, H. 1979. pp. 145).


Cavalieri utilizo estas proposiciones como una especie de axioma y fue consciente de su
carcter heuristico. Consideraba su metodo como una regla correcta que proporciona
resultados correctos. Para el calculo del volumen de la esfera procede asi: En una
semiesfera se circunscribe un cilindro y en el
cilindro se inscribe un cono. Entonces un plano
trazado perpendicularmente al radio OE produce
circulos de radios AC, AD y AB, con CA
2
+ AO
2
,
como AO = AB y CO = DA se sigue CA
2
+ AB
2
=
DA
2
. Por tanto, multiplicando esta ecuacion por ,
se tiene que el area del circulo con la intersecion
del plano con la semiesfera mas el area del circulo
en el cono es igual al rea del circulo en el
cilindro. El plano no estaba acotado longitudinalmente. Lo que vale para una terna de
cuadrados de indivisibles, concluye Cavalieri, vale tambien para su totalidad. Luego aplica su
principio y obtiene V
esfera
+ V
cono
= V
cilindro
y como V
cilindro
= 3V
cono
se sigue que
V
esfera
=
3
2
V
cilindro .
Este metodo no apotaba nada nuevo al trabajo que ya habia realizado
Arquimedes en la antigua grecia, el merito esta en el manejo de ciertas manipulaciones,
integales que hoy expresariamos asi:
}
=
a
3
1
a dx x
0
3 2
y
}
=
a
5
1
a dx x
0
5 4
(Wubing, H. 1979. pp.
146).



2.1.4. Cuadratura de la cicloide por Roberval
58


58
Recuperado en http://es.scribd.com/doc/101415611/46/Cuadratura-de-la-cicloide-por-Roberval. pp. 121-
125. El 30 de oct 2012. 6.50 am.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

52


En 1630, Mersenne, propuso a us amigos matematicos hacer la cuadratura d ela
cicloide. Tarbajo que fue realizado por Gilles Personne d eRoverbal en 1634,
utilizando escencialmente el metodo de los indivisibles de Cavalieri. La cicloide es
la curva que describe un punto de una circunferencia que rueda sin deslizar.












En la figura anterior, sea QMNS la mitad de un arco de la cicloide generada por el
circulo de radio r centrado en 0. El area del rectanfulo QMNP es el doble del
rea del circulo. Construimos segmentos de linea inifinitesimales horizxontales.
AB, con longitud determinada por la distancia horizontal entre el diametro PQ y la
circunferencia. Cada punto C de la cicloide lo sometemos a una traslacion
horizontal hasta el punto D, segn el correspondiente segmento AB =CD, y asi
opbtenemos la curva QRN, llamada compaera de la cicloide. Por la construccion
realziada las secciones horiozontales del semicirculo y de la region comprendida
entre la cicloide y su curva compaera sons egmentos d eigual longitud, por lo
que dicha region tiene area igual a la mitad del circulo. Por otra parte, la curva
compaera de la cicloide divide en dos partes iguales al rectangulo QMNP, pues,
comop Roberval demostr, las secciones horizontales de altura a y 2r a dan en
cada una de las partes en que dicha curva divide al rectangulo, segmentos
iguales XY y UV. Deducimos asi que el rea encerrada por la mitad de un arco de


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

53

cicloide es
2
2
3
2
1
2
r r r
2
t t t = + pot tanto, cocnluimos que el rea encerrada por
un arco de la cilcoide es tres veces el rea del crculo que la genera.

Los matemticos no se mostraban de acuerdo acerca del valor que habia de dar
al metodo de los indivisibles, la mayora lo consideraban como un metodo
heurstico y crean que era an necesaria una demostracin por exhauscin.



2.1.5. Parbolas e hiprbolas de Fermat

La cuadratiura de las curvas definidas por y = x
n
dodne n es un nmero natural
o bien un entero negativo 1 - n = haba sido realizado para n = 1,2,, 9 por
Cavalieri, aunque podemos remontarnos hasta Arqumedes que haba resuelto
geomtricamente los casos correspondientes a n=1,2,3. Fermat, con una
ingeniosa idea logr obtener la cuadratura de reas limitadas por arcos de
hiperbolas generalizadas x
n
y
m
= 1 IN) n , m ( e


Fermat segua un metodo clasico de exhauscion, pero con una idea que consisti
en considerar rectngulos infinitesimales inscritos en la figura a cuadrar cuyas
bases estaban en progresin geomtrica. Fermat considera al principio las
hiperbolas yx
n
= k y manifiesta: Digo que todas estas infinitas hiprbolas, exepto
la de Apolonio, que es la primera, pueden ser cuadradas por el metodo de la
progresin geomtrica, de acuerdo a un procedimiento uniforme general. Pero
hagmonos una idea de la forma como calculaba Fermat la cuadratura de la
hiperbola generalizada
-2
x y = para a x > usaremos notacin y terminologa
actuales.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

54


Elegimos un nmero 1 r > y consideramos los puntos de absisas , ar , ar ar, a,
3 2

los rectngulos inscritos tienen rea (ver figura anterior) :

=
=

= + + +
0
1
2 2 3
2
2 2
1 1 1 1
k
r
3 2
2
ar ar
r
) ar (
) ar (ar
) ar (
) ar ar (
(ar)
1
) a - ar (
k


El rea de los rectngulos viene dada por

=
=

= + + +
0
1
2 2
2
2
1 1 1
k
r
3 2
2
a
r
a
r
) ar (
) ar (ar
) ar (
) ar ar (
a
1
) a - ar (
k


Por tanto, llamando S al rea bajo la curva, tenemos que
a
r
S
ar
1
< <

Como esta desigualdad es vlida para todo r > 1 concluimos que S =
a
1

obsrvese que dicho valor es precisamente el rea del rectngulo OABa. El
razonamiento de Fermat tiene detalles muy interesantes que se pierden usando
la terminologa y smbolos actuales. Para el efecto veamos parte de su
razonamiento. Fermat se apoya en una propiedad de las progresiones
geomtricas de razn menor que la unidad, que enuncia como sigue: Dada una
progresin geomtrica cuyos trminos decrecen indefinidamente, la diferencia
entre dos trminos consecutivos es al ms pequeo de ellos, como el mayor es a
la suma de los trminos restantes. Llamemos R
1
, R
2
,R
3
, a las reas de los
sucesivos rectngulos y S a la suma de todas ellas. Como se trata de una
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

55

progresin geomtrica decreciente, se tiene que:
1
1
2
2 1
R S
R
R
R R

simplificando,
resulta:
AB OA
a
R S = =
1
1


Al respecto dice Fermat
| |
Apolonio" de hiprcola la " como indicada sido ha
que la a excepto nte anteriorme definidas hiprbolas las todas a idea esta extender dificil es No
. Arqumedes de manera la a cabo a llevada prueba prolija ms una por confirmada facilmente
ser podra que , conclusin la Alcanzamos nada. a reducido queda y desvanece se nes, subdivisio
infinitas las de causa a que R rectngulo el igualdad) la de miembros ambos (a aadimos si
1




Es interesante ver como en las caudraturas de Fermat de hiprbolas y parabolas
generalizadas subyacen los aspectos escenciales de la integral definida, estos son:
- La division del rea bajo la curva en elementos de area infinitamente
pequeos.
- Aproximacion de la suma de esos elementos de area por emdio de
rectangulos infinitesimales de altura dada por la ecuacion analtica de la
curva.
- Un intento de expresar algo parecido a un limite de dicha suma cuando el
nuemro de elementos crece indefinidamente mientras se hacen
infinitamente pequeos.


2.1.6. La i nt egr aci n ar i t mt i ca de Wal l i s

J hon Wallis, public en 1655 un tratado Arithmetica innitorum (La Aritmtica
de los innitos) en el que aritmetizaba el mtodo de los indivisibles de Cavalieri.
Para ilustrar el mtodo de Wallis consideremos el problema de calcular el rea bajo
la curva y = x
k
(k=1,2,3, .) y sobre el segmento | | a 0, (ver grfico siguiente )

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

56

















Siguiendo a Cavalieri, Wallis considera la regin PQR formada por un nmero innito de
lneas verticales paralelas, cada una de ellas con longitud igual a x
k
. Por tanto, si
dividimos el segmento PQ = AB = a en n partes de longitud
n
a
h = donde n es la
suma de estas infinitas lneas es el del tipo
k k k k k
) nh ( ) h ( ) h ( h o + + + + + 3 2
anlogamente el rea del rectngulo ABCD es:
k k k k k k k
) nh ( ) nh ( ) nh ( a a a a + + + = + + + + la razn entre el rea de la regin
PQR y el rectngulo ABCD es:
k k k k
k k k k k
n n n n
n
ABCD Area
PQR Area
+ + + +
+ + + + +
=

3 2 1 0


Esto lleva a Wallis a estudiar el valor de la expresin
k k k k
k k k k k
n n n n
n
ABCD Area
PQR Area
+ + + +
+ + + + +
=

3 2 1 0

Para = n
59
, despus de estudiar
varios casos para valores de k= 1,2,3 haciendo en cada caso, sumas
para distintos valores de n=1,2,3,4, Wallis observa ciertas regularidades
en las mismas y, con tan dbil base, acaba afirmando que para = n y
para todo k= 1,2 se verifica que:

1
1 3 2 1 0
+
=
+ + + +
+ + + + +
k n n n n
n
k k k k
k k k k k


naturalmente de aqu se deduce el valor del rea de la regin PQR:

59
Fue precisamente Wallis quien introdujo en 1655 en la obra De Sectionibus Conics, el smbolo , con el
significado de infinito.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

57

1,2,3,... k para
k
a
PQR rea
k a
PQR rea
ABCD Area
PQR Area
1 k
k
=
+
=
+
= =
+
+
1 1
1
1
| | i

Este resultado ya
era conocido anteriormente, pero Wallis no se paraba aqu y extenda la validez de
la igualdad
1
1 3 2 1 0
+
=
+ + + +
+ + + + +
k n n n n
n
k k k k
k k k k k


a todos los exponentes racionales
positivos. Cabe aclarar que sobre este razonamiento se bas Newton para obtener
la serie binomial. Lo esencial de este razonamiento en trminos actuales se resume
como:

Definimos el indice,

), f ( o de una funcion f mediante la igualdad,
1
1 2 1 0
+
=
+ + +
+ + + +

) f ( ) n ( f ) n ( f ) n ( f ) n ( f
) n ( f ) ( f ) ( f ) ( f
lim
n
o

suponiendo que dicho limiete tenga


sentido. Por ejemplo la ecucion nombrada| | i como en la pagina anterior, nos dice
que el indice de la funcion 2,3. 1, k para x ) x ( f
k
k
= =

Wallis observo que, dada una progresin geomtrica de potencias de x como, por
ejemplo 1.x
3
.x
5
.x
7
la correspondiente sucesin de ndices 0,3,5,7, forman una
progresin aritmtica. Como , k ) f (
k
= o esta observacin es trivial, pero le permite
dar un atrevido salto adelante, de manera que mediante una audaz interpolacin
establece (sin demostracin) que una conclusin anloga puede deducirse para la
progresin geomtrica x , ) x ( , ) x ( , x ,
q q q q 1 2
1

de manera que la sucesin de sus
ndices debe formar una progresin aritmtica, de donde se sigue que debe ser
q , 1,2, p para ) ) x ((
q
p p q
= = o de esta forma obtiene que

1
1 2 1 0
+
=
+ + +
+ + + +

q
p p p p p
p p p p
n
) n ( ) n ( ) n ( ) n (
) n ( ) ( ) ( ) (
lim



Wallis estaba convencido de la validez de su mtodo, conocido posteriormente como
interpolacin de Wallis, que tuco importancia en el siglo XVIII. Puede considerarse
como un intento de resolver el siguiente problema: Dada una sucesin P
k
, definida
para valores enteros de k, encontrar el significado de P

cuando no es un numero
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

58

entero. Wallis incluso llego a afirmar que la igualdad
} +
+
=
a
r
a r
1 r
dx x
0
1
no es vlida
solamente para exponentes r racionales, sino para otros como 3 = r pero,
naturalmente, no puede dar ninguna justificacin. Obtenida a su manera la
cuadratura fundamental
} +
+
=
a
r
a r
1 r
dx x
0
1
Wallis intenta calcular la integral
}
1
0
dx x - x
2

Dicha integral representa el rea bajo la semicircunferencia de centro ( ) 0
2
1
, y radio
su valor es
8
t
Wallis quera obtener dicho resultado evaluando directamente la
integral. No tuvo xito en este empeo que Newton habra de resolver
posteriormente, pero sus resultados le llevaron a obtener la llamada formula de
Wallis

8 6 6 4 4 2 2
7 7 5 5 3 3 1 2
. . . . . .
. . . . . .
=
t




2.1.7. La relacin fundamental entre cuadraturas y tangentes.


Los matemticos de la antigedad saban cmo trazar tangentes a diversos tipos de
curvas. El concepto de tangencia en los griegos es esttico y naturalmente
geomtrico. Se considera la tangente como una recta que toca una curva sin cortarla.
Esta definicin es apropiada para la circunferencia pero no para otras curvas. En el
siglo III a.C., Apolonio defini la tangente a una seccin cnica y procedi a
determinarla en cada caso. Las tcnicas para le calculo eran estrictamente
geomtricas. Pero para curvas como la espiral de Arqumedes o la concoide de
Nicomedes, estas tcnicas no eran de gran utilidad.

Con la invencin de la geometra analtica, haba una enorme variedad de nuevas
curvas para cuyo estudio no servan los mtodos tradicionales. Los matemticas del
siglo XVII se vieron en la necesidad de inventar nuevas tcnicas para calcular
tangentes. En el periodo de 1630 a 1660 empiezan a usarse tcnicas en las que
podemos apreciar el uso de derivadas. Suelen ser tcnicas especficas para resolver
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

59

problemas concretos de forma emprica, con frecuencia dichas tcnicas no se
justifican sino que, simplemente, se comprueba que proporcionan soluciones
correctas. Algunos de estos problemas consistan en el clculo de tangentes y de
valores mximos y mnimos; quien dedico tiempo para este trabajo fue Fermat.


2.1.7.1. El mtodo de mximos y mnimos de Fermat.

En 1637 Fermat escribi una memoria titulada Methodus ad disquirendam maximan et
minimam (Mtodo para la investigacin de mximos y mnimos). En ella se establece
el primer procedimiento general conocido para calcular mximos y mnimos. Fermat
se expresa como sigue:
Toda la teora de la investigacio0n de mximos y mnimos supone la consideracin de
dos incgnitas y la nica regla siguiente:
1. Sea a una incgnita cualquiera del problema (que tenga una, dos o tres
dimensiones, segn convenga al enunciado).
2. Se expresa la cantidad mxima o mnima por medio de a en trminos de
cualquier grado.
3. Se sustituir a continuacin la incgnita original a por e a + , y se expresar la
cantidad mxima o mnima por medio de a y e, en trminos de cualquier grado.
4. Se adigualar para hablar como Diofanto, las dos expresiones de la cantidad
mxima o mnima.
5. Se eliminaran los trminos comunes de ambos lados, tras lo cual resultar que
a ambos lados habr trminos afectados de e o de una de sus potencias.
6. Se dividirn todos los trminos por e, o por alguna potencia superior de e, de
modo que desaparecer la e, de al menos uno de los trminos de uno
cualquiera de los dos miembros.
7. Se suprimirn, a continuacin, todos los trminos donde todava aparece la e o
una de sus potencias, y se iguala lo que queda, o bien si en uno de los
miembros no queda nada, se igualar, lo que viene a ser lo mimo, los trminos
afectados con signo positivo a los afectados con signo negativo.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

60

8. La resolucin de esta ltima ecuacin dar el valor de a, que conducir al
mximo o mnimo, utilizando la expresin original.
9. Fermat ilustraba su mtodo hallando el punto E de un segmento AC que hace
mxima el rea del rectngulo AE.EC
Pongamos AC=b
i. Sea a uno de los segmentos, el otro ser a b
ii. El producto del que se debe encontrar al mximo es
2
a ba
iii. Sea ahora e a +

el primer segmento de b, el segundo segmento ser
, e a b y el producto de segmentos:
2 2
2 e ae be a ba +
iv. Se debe adigualar al precedente:
2 2 2
2 a ba e ae be a ba ~ +
v. suprimiendo trminos comunes:
2
2 e ae be + ~
vi. Dividiendo todos los trminos por e 2a b : e + ~
vii. Se suprime la 2a b : e =
viii. Para resolver el problema se debe tomar por tanto la mitad de b.
El recurso de hacer e =0 es equivalente a lo indicado en la instruccin vii de Fermat.
Esto era precisamente lo que se haca al aplicar el mtodo, a pesar de que antes era
necesario dividir por e, lo que resultaba algo contradictorio. El mtodo de Fermat da
una condicin necesaria para los mximos y mnimos, pero esa condicin no es
suficiente y tampoco distingue mximos de mnimos. Es un mtodo puramente
algebraico y algortmico, no geomtrico. En trminos actuales este razonamiento es
de la forma: hagamos x, e x, a A = = y supongamos que x) - x(b f(x) =

0 f(x) - x) f(x v a i de ~ A +


0 ~
A
A +
x
f(x) - x) f(x
vi

0
x
f(x) - x) f(x
viii a vii
0 x
= |
.
|

\
|
A
A +
= A

Para funciones derivables podemos interpretar todo esto como que le valor de x que
hace mximo o mnimo f(x) es la solucin de resolver la ecuacin
0
x
f(x) - x) f(x
lim (x) f
0 x
=
A
A +
=
A


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

61

Sin embargo, esto significa extrapolar demasiado el contenido estricto del metodo.
Lo que estamos haciendo es interpretar con nuesta mirada de hoy lo que hizo
Fermat. Ya que en primer lugar, Fermat no pensaba una cantidad como una
funcin, y por eso habla de cantidad mxima o mnima, no de una funcin que
alcance un mximo o un mnimo. Para este momento Fermat no tiene clara la nocin
de variable independiente. El est pensando en una ecuacin algebraica con dos
incognitas que interpreta como segmentos, es decir, magnitudes lineales dadas.
Fermat tampoco deca nada acerca de que e fuese un infinitesimal, ni siquiera una
magnitud miuy pequea, y el metodo no implica ningun concepto de lmite, sino que
es puramente algebraico. Los problemas a los que Fermat aplic su mtodo son
problemas de construciones geomtricas ms que de optimizacin de cantidades.


2.1.7.2. El mtodo de las tangentes de Fermat.
Fermat, determina la subtangente a una parbola haciendo uso de su mtodo para
mximos y mnimos.








En la figura el segmento TQ es la subtangente a la parbola en un punto dado P. el
vrtice de la parbola es V. teniendo en cuenta que los tringulos TQP, y TQ
1
P
1
son
semejantes, resulta teniendo en cuenta .
TQ
TQ
PQ
Q T
1 1 1
= | |
0
i Ahora la propiedad de la
parbola
2
2
1 1 1
PQ
Q P
VQ
Q V
= y que P
1
Q
1
<T
1
Q
1
deducimos que:
2
2
1 1
TQ
TQ
VQ
Q V
= | |
1
i Pongamos
ahora VQ=a, que es la abscisa de la parbola en P, conocida porque se conoce P.
Hagamos tambin TQ = x que es la subtangente que queremos calcular, y QQ
1
=e. la
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

62

igualdad | |
1
i se expresa por
2 2
2
2 ae aex ax ex ax
x
e) (x

a
e a
2 2
2
+ + < +
+
<
+

Fermat aplica
su mtodo de mximos y mnimos y sustituye esta desigualdad por la igualdad
2 2
2 ae aex ax ex ax
2 2
+ + ~ +

cancelando trminos y dividiendo por e obtenemos
ae ax x
2
+ ~ 2

eliminado ahora le termino que queda en e, igualando y simplificando
por x, se obtiene que x=2a, resultado ya conocido de la antigedad y que expresa que
la subtangente es el doble de la abscisa.

Es importante aclarar que Descartes hizo una dura crtica a la manera de proceder de
Fermat respecto al uso de su mtodo de mximos y mnimos para calcular
tangentes. Para responder a estas crticas, Fermat desarroll, en una memoria de
1638, un procedimiento bastante general para calcular tangentes que, con notacin
actual, podemos resumir: Sea P= (x,y) un punto de una curva 0 = ) y , x ( f y sea
) y , e x ( P
1
+ =
1
otro punto de la curva prximo a P como lo muestra la figura <<Clculo
dela subtangente>> al inicio de este apartado. Llamemos b =TQ, la subtangente en P,
teniendo en ucenta que PQ= y, la igualdad | |
0
i se escribe como
b
) e b ( y
Q T
+
=
1 1
,
como
T
1
Q
1
es casi igual a y
1
= P
1
Q
1
, Fermat escribe
0 ~ |
.
|

\
| +
+
b
) e b ( y
, e x f

y a esta igualdad le
aplica su mtodo para mximos y mnimos. Ello conduce a una expresin para b
dada por
) y , x (
y
f
) y , x (
y
f
y
b
c
c
c
c
=

teniendo en cuenta que la tangente viene dada por ,
b
y


podemos escribir, viendo y como funcin (implcita) de x, en la forma familiar
) y , x (
y
f
) y , x (
y
f
y
y
c
c
c
c
= '

La idea de adigualdad en Fermat puede interpretarse algo as como cantidades
infinitamente prximas. De esta manera Fermat est considerando cantidades
infinitesimales. Con este razonar es tentador expresar en trminos actuales las ideas
de Fermat para calcular tangentes. Esencialmente dado un punto )) a ( f , a ( P = en una
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

63

curva ) x ( f y = se trata de calcular la pendiente de la curva en P. sea QQ
1
un
incremento de TQ en una cantidad E. ya que los tringulos TPQ y PRT
1
son
semejantes, se tiene
.
E
R T
TQ
PQ
1
=
Pero, dice Fermat, T
1
R es casi igual a P
1
R; por tanto
tenemos la adigualdad

.
E
QP Q P
TQ
PQ
~
1 1


Poniendo PQ = f(a), la igualdad anterior puede escribirse como
.
E
) a ( f ) e a ( f
TQ
) a ( f +
~

Dice Fermat, ahora se cancelan trminos iguales en f(a), - ) E a ( f + se divide por E y
finalmente, se ignoran los trminos que an contengan E (lo que equivale a hacer
E=0). El resultado es la pendiente de la tangente en P. con esto queda claro que el
procedimiento que indica Fermat es equivalente a calcular
E
f(a) - ) E a ( f
lim
0 E
+




2.1.7.3. La cuadratura de Fermat de hiprbolas y parbolas de orden superior.

Fermat prob que el rea bajo la curva
n
x y = entre a x =

y b x = es igual a
,
n
a b
n n
1
1 1
+

+ +
para cualquier nmero racional n distinto de -1, basndose en
propiedades de las progresiones geomtricas y en que, dada una progresin
geomtrica decreciente , a , , a , a , a
n 3 2 1
de suma S, entonces se da la igualdad
.
a S
a
a
a a
1
1
2
2 1


Mediante el uso de construcciones geomtricas y de propiedades
de las progresiones, Fermat realiza la cuadratura de hiprbolas de orden superior,
como constante. y x =
2
De este modo, concluy que el rea bajo esta curva
era igual al rea de un rectngulo dado. Su procedimiento en notacin moderna,
para calcular el rea de la regin no limitada de la curva k y x =
2

y las rectas
a x =

y 0 = y es el siguiente. Sobre el eje x se toman puntos con abscisas a,
ar,ar
2
,ar
3
,,ar
n
, (r >1), y se construyen los rectngulos de base
n n
ar ar
+1

y
altura .
) ar (
n 2
1
Las rea de estos rectngulos son:
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

64

,
r a
1 - r

r a
ar ar
,
r a
1 - r

r a
ar ar
,
a
r
a
a ar
3 2
2 4 2
2
2 2 2
1 1 1
=

=

=



De este modo, las reas de los rectngulos forman una progresin geomtrica
decreciente, cuyo primer trmino es
a
r 1
y la razn es
.
r
1
La suma de stas reas
ser por tanto
a
r
r
a
r
S =

=
1
1
1

Mientras ms prximo este r de 1, mejor aproximarn los rectngulos el rea
que queremos calcular. El trmino actual es: el lmite cuando r tiende a uno de
esta suma es
,
a
1
que es equivalente al rea bajo la curva.



2.1.7.4. El mtodo de Roberval y de Torricelli para las tangentes

En 1630 Roberval y Torricelli descubrieron independientemente un mtodo para
calcular tangentes por medio de consideraciones cinemticas. Este mtodo se
apoya en dos ideas bsicas: la primera es la de considerar una curva como la
trayectoria de un punto mvil que obedece a dos movimientos simultneamente,
y la segunda es la de considerar la tangente en un punto de la curva como la
direccin del movimiento en ese mismo punto. Si la razn entre las velocidades
de los dos movimientos es conocida, la direccin del movimiento resultante se
pude hallar mediante la ley del paralelogramo. Ya en la antigedad Arqumedes
haba usado un mtodo anlogo para trazar tangentes a su espiral.








Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

65

Consideremos una cicloide, esto es la curva que describe un punto de una
circunferencia que rueda sin deslizar. El punto que genera la cicloide tiene una
velocidad angular igual a la velocidad de avance horizontal, por tanto, su tangente
en un punto P se obtiene sumando el vector tangente a la circunferencia
generadora en P y un vector horizontal en P, y ambos vectores tienen igual
mdulo. Naturalmente, esta idea de la tangente solamente poda aplicarse a
curvas mecnicas, s bien tena la virtud de relacionar geometra y dinmica
siguiendo las ideas de Galileo.


2.1.7.5. El tringulo diferencial de Barrow.

Barrow edito las obras de Euclides, Apolonio y de Arqumedes, a la vez que publico
sus propias obras Lectiones Opticae (1669) y Lectiones Geometricae (1670). Al realizar
este trabajo le impact el uso de la geometra que los antiguos implementaron. Cabe
aclarar que Newton colabor en la edicin de dichas publicaciones. El tratado
Lectiones Geometricae se considera una de las principales aportaciones al clculo. En
l Barrow hace un tratamiento detallado de todos estos problemas incluyendo
conceptos como tiempo y movimiento y usando mtodos infinitesimales y mtodos de
indivisibles. Una de las herramientas a las que saca un gran partido es el tringulo
caracterstico o tringulo diferencial.







Partiendo del tringulo PRQ, que resulta de un incremento PR, como este tringulo es
semejante al PNM, resulta que la pendiente de la tangente
MN
PM
es igual a
PR
QR
.
Barrow afirma que cuando el arco PP
1
es muy pequeo podemos identificarlo con el
segmento PQ dela tangente en P. El tringulo PRP
1
de la figura anterior, parte
derecha, en el cual PP
1
es considerado a la vez como un arco de la curva y como
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

66

parte de la tangente, es el tringulo caracterstico o diferencial. Este tringulo ya haba
sido usado muchas veces por Pascal y otros en problemas de cuadraturas.

Barrow calcula la tangente a una curva, dada por una ecuacin polinmica , ) y , x ( f 0 =
en un punto de la misma ) y , x ( P = de la forma siguiente: Pongamos ) a y , e x ( P + + =
1

un punto de la curva prximo a P y sustituyamos estas coordenadas en la ecuacin
. ) y , x ( f 0 = En palabras de Barrow: Rechacemos todos los trminos en los que no
hay , a

o, e (porque se anulan unos a otros por la naturaleza de la curva);
rechacemos todos los trminos en los que a o e estn por encima de la primera
potencia, o estn multiplicados ambos (porque, siendo infinitamente pequeos, no
tienen valor en comparacin con el resto). Despus de estas operaciones se puede
calcular el cociente
e
a

que es la pendiente de la curva en el punto P.

2.1.7.6. El resultado fundamental de Barrow.


Barrow estuvo muy cerca de descubrir la relacin inversa entre problemas de
tangentes y de cuadraturas, pero su conservadora adhesin a los mtodos
geomtricos le impidi hacer uso efectivo de esta relacin. Veamos como aparece
esa relacin tal como se expone en la Leccin X, Proposicin 11 de las Lectiones
Geometricae: En la siguiente figura se han presentado dos curvas ) x ( f y = y

) x ( g y =











Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

67

El segmento AD representa el je de las abscisas donde toma valores. La cantidad g(x)
representa el valor del rea bajo la grfica de f comprendida entre el pinto A y x. Dado
un punto de abscisa D, se trata de probar que la pendiente de la tangente a ) x ( g y =
en el punto F, es decir en el punto ( ) ) D ( g , D es igual a . DE ) D ( f = La demostracin
de Barrow es geomtrica. DE ) D ( f
DT
DF
= = Queremos probar que FT es la tangente
a ) x ( g y = en el punto F, para ello veremos que la distancia horizontal KL, de
cualquier punto L de la recta EF es menor que la distancia IL, de dicho punto L a la
curva ) x ( g y = esto probara que la recta FT queda siempre por debajo de ) x ( g y =


Tenemos que
DE
TD
DF
KL
FL
= =
por otra parte,
FL LD - FD PDEG rea
LD PI APGZ rea
FD ADEZ rea
= =
= =
=


ya que DE PD, rectngulo PDEG rea < se sigue que
PD
FL
DE PD.DE FL > <

y por tanto
IL PD KL
PD
FL

KL
FL
= < >
deducimos que el punto k queda debajo de la curva
) x ( g y = y por tanto la recta FT queda a un lado de la curva. Para completar la
demostracin e necesario repetir el razonamiento tomando como puntosa la derecha
de EF. Esto prueba que FT es tangente a ) x ( g y = en D y su pendiente es
) D ( f DE = en trminos actuales, lo que Barrow ha probado es que:
) x ( f dt ) t ( f
x
a
dx
d
=
}



2.2. El clculo segn Newton

Para investigar la razn del cambio del "momentum" le bast a Newton aclarar lo que se
entiende por velocidad, definindolo como la razn del cambio de posicin. Su solucin
de este problema que le dio un mtodo matemtico para investigar la velocidad de
cualquier partcula que se mueve en cualquier forma continua, le proporcion la llave
maestra de todo el misterio de las razones y su medida, el Clculo diferencial. Un
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

68

problema similar que deriva de las razones, puso en sus manos el Clculo integral. Cmo
se puede calcular la distancia total recorrida en un determinado tiempo por una partcula en
movimiento cuya velocidad vara continuamente de un instante a otro? Respondiendo a
este u otros problemas similares, algunos planteados geomtricamente, Newton llego al
Clculo integral. Finalmente, examinando conjuntamente los dos tipos de problemas, hizo
un descubrimiento importante: vio que el Clculo diferencial y el Clculo integral estn
ntima y recprocamente relacionados por lo que actualmente se llama "el teorema
fundamental del Clculo".

Su obra titulada De analysi fue publicado en 1711 y el tratado sobre cuadratura
de Curvas. Otra de sus obras fue De Quadratura Curvarum de 1693 que apareci
como un apndice de su Opticksen de 1704. Su obra ms famosa, donde expone su
teora de la gravitacin universal, los Principia, fue publicada en 1687, pero sus
argumentos son muy geomtricos y slo dan una idea de sus mtodos del clculo
infinitesimal. El trabajo matemtico de Newton, profundo y poderoso, se pueden
distinguir algunos temas centrales. Estos son los desarrollos en serie de potencias,
en especial el desarrollo del binomio, algoritmos para hallar races de ecuaciones y
de inversin de series, relacin inversa entre diferenciacin e integracin y el
concepto de fluentes y fluxiones como variables que cambian en el tiempo.


Newton estuvo muy interesado tambin en ptica, dinmica, alquimia,
cronologa de la historia y en la interpretacin de las sagradas escrituras. Newton
concibi su clculo durante los aos 1665-1666. Despus lo describi en
numerosas cartas personales y en un pequeo tratado no publicado, De Analysis
(1669) que circul entre los matemticos ingleses de la poca y que fue en parte
incluido en el tratado De Algebra de J ohn Wallis en 1669. Luego organiz y
describi todos sus trabajos anteriores sobre el clculo en De Methodis Serierum et
Fluxionum que escribi en 1671, pero que no fue publicado hasta despus de su
muerte en 1736.

La principal obra de Newton es Philosophiae Naturalis Principia Mathematica que fue
publicada en 1687 y donde expone muchsimas propiedades sobre las
secciones cnicas y su famosa ley de gravitacin universal. En este ltimo no
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

69

muestra realmente su clculo, ya que los argumentos de Principia son
principalmente de geometra sinttica. Cabe sealar tambin las dos cartas, donde
expone su teorema del binomio, la epstola prior de J unio de 1676 y la epstola
posterior de Octubre de 1676, que mand al secretario de la Royal Society of
London, Henry Oldenburg, para que ste se las transmitiera a Leibniz.

2.2.1. De Anal ysis


(Bartolom B.1999) citando a Antonio J . Durn. (1996). Menciona que en esta
monografa circular de 1669 que mand Newton a sus amigos y que fue publicado
mucho despus en latn en 1711 contiene ya las ideas esenciales del clculo
de Newton. En el mismo tratado da un procedimiento para hallar la ordenada de
una curva cuya cuadratura ABD est dada. El proceso es interesante ya que es de
alguna forma el comienzo del clculo diferencial e integral y donde se ve el papel
inverso que juegan la diferenciacin y la integracin. Lo explica con un
ejemplo, que es claramente generalizable. Consideremos por: De acuerdo con la
figura sean z= rea (ABD), y=BD, x=AB,
. B 0 = |

Elijamos ahora BK v = de tal manera que ov ) (BKH rea ) (BD rea = = | o|












Consideremos por ejemplo la curva para la cual:
2
3
x
3
2
z =
para facilitar los clculos,
elevemos al cuadrado la relacin anterior para obtener
, x
9
4
z
2 3
|
.
|

\
|
=
por la eleccin que
hemos hecho de v tambin se tiene: , ) o x ( ov) - (z
9
4
2 3
+ =

esto es:

) o xo o x x ( v o zov z
2 3 2 2 3
9
4
2 2
3 3 2 + + + = + + Simplificando
, x
9
4
z
2 3
|
.
|

\
|
=
en cada lado de
esta expresin y dividiendo por o queda: ). o xo x ( ov zov
2 2
9
4
2
3 3 2 + + = + Newton toma
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

70

ahora B infinitamente pequeo. De la figura se observa entonces que v=y, y que los
trminos que contienen o se anulan, de donde:
2
3
4
2 x zy =

sustituyendo ahora el valor
de z, resulta finalmente . x y
2
1
=


Newton introduce despus un mtodo iterativo para resolver ecuaciones que
ahora lleva su nombre. Pone como ejemplo el resolver la ecuacin: . y y 0 5 2
3
=
Observa primero que y=2 es una aproximacin de la solucin. Escribe luego y=2+p
y lo sustituye en la ecuacin para encontrar: . p p p 0 12 10 6
2 3
= + + Como p es
pequeo, elimina los trminos p
3
, 6p
2
, para obtener 10p-1=0, de donde p=0.1. De
este modo y=2.1 es la segunda aproximacin de la raz buscada. Toma ahora
p=0.1+q, que sustituido en la ecuacin para p da:

. , q . q q 0 061 0 23 11 3 6
2 3
= + + +
Tomando otra vez su parte lineal 11.23 q+0.061=0, obtiene q=-0.0054, lo que da el
nuevo valor aproximado de la solucin y=2.0946. Newton da un paso ms en
este ejemplo escribiendo -0.0054+r=q, y despus sustituir en la ecuacin para q y
seguir el mismo proceso llega de este modo a la nueva aproximacin y=2.09455147.
Newton aplica luego este mtodo para resolver ecuaciones f(x,y)=0 ms
generales. Toma como ejemplo: 0 2
3 3 2 3
= + + x a axy y a y Y observa que si x=0,
entonces y=a es la solucin. Esta es la primera aproximacin.


Escribe como antes y p a = + , que sustituido en la ecuacin da la cbica en p:
. x x a p ) ax a ( ap p 0 4 3
3 2 2 2 3
= + + + +

Cuya parte lineal es . x x a p ) ax a ( 0 4
3 2 2
= + + de
solucin
+ =
+
+
=
4 4
2
3 2
x
ax a
x x a
p

De donde toma
4
x a
y

=
como la segunda
aproximacin. Escribe ahora ,
p
x
q
+
=
4
etc., y continuando de esta forma va
obteniendo la serie:

+ + + + =
3
4
2
3 2
16384
509
512
131
64 4 a
x
a
x
a
x x
a y
Ms adelante utiliza un proceso
parecido para invertir series. Considera el ejemplo de tomar como z el rea debajo
de la hiprbola ,
x
y
+
=
1
1
esto es:

+ + + =
5 4 2
5
1
4
1
2
1
x x x x z
para invertir esta serie,
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

71

toma primero sus cinco primeros trminos, esto es la ecuacin:
0
2
1
3
1
4
1
5
1
2 3 4 5
= + + z x x x x x

la va resolviendo y considerando ms trminos de la
serie a invertir. De esta forma va obteniendo:

+ + + + + =
5 4 3 2
102
1
24
1
6
1
2
1
z z z z z x Que
es la serie de la funcin exponencial e
z
. Aunque sin utilizar el nmero e, esta es la
primera vez que aparece esta serie en matemticas.

2.2.2. Descubrimiento de las series de x sen y x cos
60


A partir de su binomio, Newton encuentra tambin series trigonomtricas. Si
consideramos la circunferencia de radio 1, de acuerdo con la figura:











Es x, sen OQ x = = esto es,

x, Arcsen = de manera que:
| |
(
(

= = =
}
x
2
x - 1 x
2
1
- dx x (OQP) rea - (ORQP) rea 2 (OQR) rea 2
0
2
1 2 u

Por el desarrollo del binomio:
=
16 8 2
1
16 4 2
x x x
x - 1
2
De donde integrando trmino
a trmino:
}
=
x
x x x
6
1
- x dx x
0
7 5 3 2
112
1
40
1
1
Mientras que:

x x x
- (1 x x x
2
=
16 8 2
1
6 4
2



60
dem, Bartolom B. El Descubrimiento del Clculo. pp. 9-10
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

72

Sustituyendo y despus de simplificar queda:
+ + + + =
7 5 3
112
5
40
3
x x x
6
1
x u
Invirtiendo
ahora la serie Newton obtiene:
+ + = =
7 5 3
5040
1
120
1
u u u u u
6
1
- sen x

Encuentra
luego la serie de x cos

como: . sen - 1 x cos
2
u =

Y calcula las cuadraturas de la
cicloide y luego de la cuadratriz, de ecuacin y, cotan y x = primero invirtiendo esta
ecuacin para encontrar la serie de y(x) y = y luego integrando trmino a trmino.



2.2.3. El teorema fundamental del Clculo segn Newton.

Newton desarroll tres versiones de su clculo. En la obra De Analysi per
aequationes numero terminorum infinitas, que Newton entreg a su maestro Barrow
en 1669, y que puede considerarse el escrito fundacional del Clculo, Newton usa
conceptos infinitesimales de manera similar a como lo haca el propio Barrow. Este
trabajo adems de contener el teorema binomial y los descubrimientos de Newton
relativos a series infinitas, contiene tambin un claro reconocimiento de la relacin
inversa entre problemas de cuadraturas y de tangentes. La expresin que hace
Newton de esta relacin fundamental es: supone una curva y llama z al rea bajo la
curva hasta el punto de abscisa x (como se ilustra en la siguiente figura), supone
conocida la relacin entre x y z; aunque Newton aplica su mtodo con un ejemplo,
(dejando completamente claro su carcter general), el ejemplo es
n
n m
ax
n m
n
z
+
+
=

| |
0
i

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

73

Pongamos por comodidad ,
n
n m
r
+
= Newton se imagina que el punto P = (x,y) se
mueve a lo largo de la curva y razona como sigue. Incrementemos la abscisa x a
o + x donde o es una cantidad infinitesimal o momento. Tomemos v BK =

de forma
que BbPd. rea BbHK rea ov = = El incremento del rea viene dado por
| |
1
r r
x
r
a
) x (
r
a
z(x) - ) z(x ov i o o + = + = desarrollando en potencias se tiene:

| |
2
r r r r

x
) r )( r ( r
x
) r ( r
x
r 1 x
r
a
) x / ( x
r
a
) (x
r
a
i
o o o
o o
|
|
.
|

\
|
+


+

+ + = + = +
3
3
2
2
3 2 1
2 1
2
1
1

De | |
1
i y | |
2
i deducimos, despus de dividir por o que
+


+

+ =
3 2 2
3 2 1
2 1
2
1
r r 1 - r
x
) r )( r ( a
x
) r ( a
x a v o o

Si en esta igualdad suponemos que o va disminuyendo hasta ser nada, en cuyo caso
v coincidir con y, despus de eliminar los trminos que contienen o y que
desparecen, resulta que:
n
m
x a x a y
-1 r
= = | |
3
i

este es por tanto, el valor de la
ordenada de la curva P = (x,y). El proceso puede invertirse y de hecho, ya se saba
que la cuadratura de | |
3
i viene dada por | |
0
i


Ntese que Newton no ha usado el significado tradicional de la integral al estilo de
sus predecesores, es decir, no ha interpretado la integral como el lmite de sumas de
reas infinitesimales, sino que ha probado que la expresin que proporciona la
cuadratura es correcta estudiando la varaicio0n momentnea de dicha expresin. De
hecho, lo que Newton ha probado es que la razn de cambio del rea bajo la curva,
esto es, el cociente
o
o z(x) - ) z(x +
se hace igual a la ordenada de la curva cuando se
hace nada. En trminos actuales, la derivada de z(x) es la funcin y = y(x). la
relacin simtrica entre cuadraturas y derivadas queda as puesta claramente de
manifiesto. Para calcular cuadraturas, basta con calcular una antiderivada, lo que
llamamos una primitiva de la funcin y = y(x).




Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

74

2.2.4. El mtodo de las fluxiones

El mtodo de fluxiones (el Clculo infinitesimal) es la clave general en cuya virtud la
Matemtica moderna revela el secreto de la Geometra y, en consecuencia, de la naturaleza.
Obispo de Berkeley. Se atribuye a Newton las siguiente palabras: Si he ido algo ms
lejos que los otros, ello es debido a que me coloqu sobre los hombros de gigantes".
Entre los ms grandes de estos gigantes se hallaban Descartes, Kepler y Galileo. De
Descartes, Newton hered la Geometra analtica, en la que al principio encontr
dificultades; de Kepler, las tres leyes fundamentales del movimiento planetario descubiertas
empricamente despus de 22 aos de clculos sobrehumanos, mientras que de Galileo
hered las dos primeras de las tres leyes del movimiento que iban a ser la piedra angular
de su propia dinmica.

Las conferencias sobre Geometra de Barrow a Newton se ocupan entre otras cosas de
sus propios mtodos para calcular reas y trazar tangentes a curvas, que son
esencialmente los problemas claves de los Clculos integral y diferencial, respectivamente.
Un manuscrito fechado el 20 de mayo de 1665 muestra que Newton, a la edad de 23
aos, haba desarrollado suficientemente los principios del Clculo para poder encontrar la
tangente y curvatura en cualquier punto de cualquier curva continua. Llam a su mtodo
"fluxiones", de la idea de "fluir" o cantidades variables y sus razones de "flujo" o
crecimiento. Su descubrimiento del teorema del binomio, un paso esencial hacia un
clculo completamente desarrollado. El teorema general ampla los resultados particulares
del siguiente modo:

(a + b)
2
= a
2
+ 2ab + b
2
;
(a + b)
3
= a
3
+ 3a
2
b + 3ab
2
+ b
3
,

y as sucesivamente, los cuales son encontrados utilizando el clculo directo; de la siguiente
forma:

( ) +


+

+ + = +
3 3 2 2 1
3 2 1
2 1
2 1
1
1
b a
) n )( n ( n
b a
) n ( n
b a
n
a ab a
n n n n n


Donde los puntos indican que la serie se continua de acuerdo con la misma ley
seguida para los terminos escritos; el termino siguiente es:
4 4
4 3 2 1
3 2 1
b a
) n )( n )( n ( n
n




Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

75

si n es uno de los enteros positivos 1,2,3, la seire termina automaticamente despues
de n+1 terminos precisamente. Esto es mucho mas facil de probar por induccion
matemtica. Pero si n no es un entero positrivo la serie no termina y esta
desmostracion es inaplicable.

Luego de esto, Newton da otra versin de su clculo en "Methodus Fluxiorum et
Serierum Infinitorum" que fue escrito en 1671 y publicado en 1736. Wallis, con
permiso de Newton, incluy el mtodo de fluxiones en la pginas 390-396 de su
Algebra. Newton concibe las cantidades matemticas como el movimiento continuo
de un punto que traza una curva. Cada una de estas cantidades que aparecen
(variable) x es un "fluente" y su velocidad, designada por
-
x , esto es una x con un
puntito encima, es una "fluxin". La parte infinitesimal pequea en la que un fluente
se incrementa por unidad de tiempo o , es o
-
x el momento del fluente. El problema
fundamental es, dada una relacin entre fluentes hallar la relacin entre sus fluxiones
y recprocamente. Si y=f(x) en un pequeo intervalo o de tiempo x se incrementa a
o + x , y se incrementa a
-
+ y y o

al ser ) x ( f ) x x ( f y y + = +
- -
o o y se tiene
) x ( f ) x x ( f y + =
- -
o o es decir
o
o ) x ( f ) x x ( f
y
+
=
-
-
veamos como hacia Newton en un caso
concreto. Si y=x
3
obtenemos
2
2
2
2
2
2 3
3 3
3 3 3
o o
o
o o o
o
o
+ + =
+
=
+
=
- -
- - -
-
x x x x
x x x x x ) x x (
y
luego elimina los trminos que contienen o ya que se le supone infinitamente
pequeo, quedando
- -
= x x y
2
3

y por tanto la relacin entre fluxiones es
. x
x
y
2
3 =
-
-

De
esta forma su afirmacin inical del prrafo anterior de que el rea
1
1
+
=
+
n
x
y
n
proviene
de la curva
n
x y = es que el cociente de fluxiones
, x
x
y
n
=
-
-
considerando luego que la
fluxin de x es uno, es decir, que el incremento que considera en x por unidad de
tiempo es uno. Aplica tambin su mtodo al caso de tener una curva dada en la
forma 0 = ) y , x ( f por ejemplo considera el caso de al cubica 0
3 3
= + y axy ax x
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

76

donde sustituye x por o
-
+ x x y o
-
+ y y por realiza el desarrollo, resta la relacin
, y axy ax x 0
3 3
= + cancela los trminos con
2
o y
3
o por ser despreciables frente a
o

y divide ahora por o para obtener ; y y y ay x ay x ax x x 0 3 2 3
2 2
= + +
- - - - -
de donde
obtiene la relacin de fluxiones
ax y
ay ax x
x
y

+
=
-
-
2
2
3
2 3


Newton es consciente de las dificultades de rigor que tienen estos conceptos y
posteriormente refina su interpretacin en De Quadratura Curvarum, escrito en
1676 y publicado en 1704. Aqu habla de ultimas proporciones (ultimate ratios).
Dice: Por ultima proporcin de cantidades evanescentes debemos entender el
cociente de cantidades, no antes de que desvanezcan, ni despus, pero tal como
van desvaneciendo. Intuitivamente esto viene a ser nuestro concepto de derivada
interpretada como limite
h
f(x) - h) f(x
lim ) x ( f
0 h
+
=

.

As vemos como Newton desde un primer momento, por influencia cartesiana, haba
puesto en relacin la geometra analtica con la mecnica. Ya de su profesor Barrow,
haba aprendido a considerar las curvas desde un punto de vista cinemtico: su
anlisis de curvas era un anlisis de puntos en movimiento. Cuando un punto A se
mova a lo largo de una curva, su abscisa x, o su ordenada y, o cualquier otra
cantidad variable relativa a la curva aumentaba o disminua, cambiaba: flua. A
estas cantidades que fluan las llam fluentes y a sus velocidades de cambio, a sus
variaciones instantneas con respecto al tiempo, las llam fluxiones. De esta
manera el clculo estara fundamentado con un concepto ms natural como es el de
movimiento y el objeto del mismo sera el de una relacin entre cantidades fluentes,
encontrar la relacin entre sus fluxiones y recprocamente.


Todo esto lo escribi en un libro, De Methodis serierum et fluxionum, en 1671,
pero publicado solo en 1736 como una traduccin al ingls del latn original. En 1676,
Newton escribe su tercer manuscrito sobre el clculo: De quadratura curvarum,
que no aade nada de sustancial a lo escrito en su tratado de fluxiones pero que
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

77

revela una voluntad de rigor en el tratamiento de los infinitos. Hasta ese momento
Newton se habra movido en un contexto heurstico y de descubrimiento. Las fluxiones
habran evitado los peligros de los infinitsimos, pero no se salvaban con ellas
completamente las acechanzas de los procesos infinitesimales, pues la velocidad
instantnea conllevaba un paso al lmite que no estaba justificado. Pero Newton,
invadido de un furor de converso, quera que su matemtica siguiera los cnones
clsicos de la geometra griega. En la obra cumbre del ingls, en los Philosophiae
Naturalis Principia Mathematica, quedaba claramente manifiesta esa voluntad
geometrizante de respetar el rigor euclideo, la manera de hacer de los antiguos
matemticos griegos, la manera de Arqumedes, y as, el Libro I de los Principia
comienza con unas reflexiones sobre el mtodo de las primeras y ltimas razones,
cuya esencia queda reflejada en el Lema I de ese libro:

Quantities and the ratios of quantities, which in any finite time converge
continually to equality, and, before the end of that time approach
nearer to one another by any difference become ultimately equal.


Y el objeto de ese Lema es, el de mantener el rigor euclideo, evitar las tediosas y
largas deducciones por reduccin al absurdo que el riguroso mtodo de
exhaucin de los matemticos griegos exiga. De esta manera, las demostraciones,
que se agilizaban usando cantidades infinitesimales, vuelven a tener el rigor de lo
geomtrico con este mtodo de sumas y razones ltimas de cantidades
evanescentes, que es claramente un precursor del concepto de lmite, mediante
el cual Cauchy y Weierstrass, ya en el siglo XIX, darn completo rigor al clculo
infinitesimal. Aqu las nociones fundamentales son las de lmite. y funcin , iable var

(Para Newton, las nociones de variable y lmite fueron intuitivas). Claro est que para
utilizar plenamente esta ltima se necesit de un largo tiempo. La variable se
represent por letras, igual que lo hacemos hoy. La palabra funcin (o su equivalente
latino), parece que fue introducida en la Matemtica por Leibniz en 1694. Desde el
tiempo de Leibniz el concepto ha sido precisado. Si y y x son dos variables tan
relacionadas que siempre que se asigne un valor numrico a x, se determina un
valor numrico de y, entonces y se llama funcin uniforme de x, y esto se
simboliza escribiendo y = f(x)


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

78

2.2.5. Clculo de Newton del nmero
61


Aparece en su obra "Methodus Fluxiorum et Serierum Infinitorum," de 1671. Newton
considera la circunferencia de centro ( ) 0 ,
2
1
y radio
2
1

as: ( )
4
1
2 2
2
1
= + y x

De donde


despejando y en funcin de x y usando el desarrollo del binomio:

( ) = = =
2
11
2
9
2
5
2
3 5 4 3 2
2
1
2
1
2
1
256
7
128
5
8
1
2
1
256
7
128
5
16 8 2
1 1 x x x x x x ) x ( x y
2
1
x x x x x



Calcula entonces el rea debajo de la curva integrando trmino a trmino:
=
2
11
2
9
2
7
2
5
2
3
704
5
72
1
28
1
5
1
x x x x x
3
2
) x ( A

Luego para , x
4
1
= el rea de la regin
ADB es igual a:

076663 0
1441792
5
36864
1
3584
1
60
1
.
12
1
) ADB ( rea = =
Calcula luego la
misma rea por geometra, ya que rea (ADB)= rea (sector ACD) rea (tringulo
DBC). Para evaluar esta ltima relacin calcula primero:
4
3
4
1
2
1
2 2
= |
.
|

\
|
|
.
|

\
|
= BD
Luego se
observa de los lados del tringulo BCD que el ngulo en C es de 6 0 De donde:
.
2
1

3
1
) nfenrencia (semicircu rea ACD) (sector rea
24 2
1
3
1
2
t
t =
|
|
.
|

\
|
|
.
|

\
|
= =

Mientras que:
32
3

4
3

2
1
BD BC
2
1
) DBC (tringulo rea =
|
|
.
|

\
|
|
.
|

\
|
= =
4
1

por tanto:
32
3
=
24
(ADB) rea
t


Igualando los dos valores encontrados anteriormente para esta rea resulta:

... .
24
0767737208 0
32
3
=
t
y por consiguiente:
.... .
32
3
0.0767737 24 141607404 3 =
|
|
.
|

\
|
+ t


61
dem, Bartolom B. (1999). El Descubrimiento del Clculo. pp. 12-14
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

79

Valor que aqu hemos calculado correcto hasta cuatro decimales (el error es 1.33 x10
-
5
). Newton de hecho usa 20 trminos del binomio para llegar a calcular con 16
decimales correctos. Luego dice "I am ashamed to tell you how many figures I carried
these calculations, having no other business at the time" (Me avergenzo de decirle
cuantas cifras he calculado, no teniendo nada ms que hacer en aqul
momento). A pesar de sus afirmaciones, este es un nuevo paso de gigante en el
clculo del nmero t .



2.3. El trabajo de Wolfrand G. Leibniz
62



El trabajo de Leibniz se conoce principalmente por los numerosos artculos que
public en Acta y por sus cartas personales y manuscritos que se conservan en
Hannover. Entre estos documentos estn los manuscritos fechados el 25, 26 y 29 de
Octubre y el 1 y 11 de Noviembre de 1675 donde Leibniz estudia la cuadratura
de curvas y desarrolla su clculo diferencial e integral. Uno de los ingredientes
fundamentales del clculo de Leibniz son las reglas para la manipulacin de los
smbolos
}
" " de la integral y d" " para el diferencial. Esto refleja sus ideas
filosficas de buscar un lenguaje simblico y operacional para representar los
conceptos e ideas del pensamiento de tal manera que los razonamientos y
argumentos se puedan escribir por smbolos y frmulas. En matemticas su
clculo es en parte esto, un algoritmo para escribir los mtodos geomtricos de
cuadraturas y tangentes por medio de smbolos y frmulas. Las otras dos ideas
fundamentales del clculo de Leibniz son la relacin entre la sumas de
sucesiones con las diferencias de sus trminos consecutivos y el llamado tringulo
caracterstico.


2.3.1. Sumas y diferencias.


62
dem, Bartolom B. (1999). El Descubrimiento del Clculo. pp. 14-15
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

80


Cuando a sus 26 aos conoci en 1672 a Huygens en Paris, ste le plante
el problema de sumar los inversos de los nmeros triangulares:

+
+
+ + + + + +
) n ( n 1
2
15
1
10
1
6
1
3
1
1
1
Leibniz observ que cada trmino se puede
descomponer como:
|
.
|

\
|
+
=
+ 1
1 1
2
1
2
n n ) n ( n
De donde
2
4
1
2
3
1
2
2
1
1 2
15
1
10
1
6
1
3
1
1
1
= + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
= + + + + +
3
1

2
1



Leibniz, tal como hizo en la suma de la serie de los inversos de los
nmeros triangulares, consideraba sumas y diferencias de sucesiones de nmeros.
Observ por ejemplo que dada la sucesin a
0
, a
1
, a
2
, ... ,a
n
, si consideramos la
sucesin de diferencias d
1
, d
2
, ... , d
n
, donde: a a d
i i i 1
= entonces
0 1 1 2 0 1 2
a a ) a a ( ) a a ( ) a a ( d d d
n n n n 1
= + + + = + + +


Es decir, la suma de diferencias consecutivas es igual a la diferencia entre el ltimo y
el primer trmino de la sucesin original. Por ejemplo, dada la sucesin de cuadrados
0, 1, 4, 9, 16, 25, 36, ..., n
2
Sus primeras diferencias son: 1, 3, 5, 7, 9, 11, ... , 2n-1. Ya
que . i ) i ( i 1 2 1
2 2
= Luego se sigue que la suma de los n primeros nmeros
impares es n
2
: 1+3+5+ + (2n-1)=n
2
.

Leibniz utiliza este mtodo en otros casos. Por ejemplo en relacin a la
serie geomtrica 1,q, q
2
, ..., q
n
, ... Obtiene:

q
q
n
n

=
1
1
0



2.3.2 El clculo de Leibniz
63



Leibniz no tard en aplicar a la geometra sus observaciones de que las sumas
de sucesiones y sus diferencias consecutivas son procesos inversos el uno del otro.
Consideremos una curva como la de la figura donde aparece una sucesin de
ordenadas equidistantes y
1
,y
2
,y
3
,..,y
n
:




63
dem, Bartolom B. (1999). El Descubrimiento del Clculo. pp. 15-17
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

81







Si suponemos que la distancia entre estas ordenadas es 1, entonces su
suma
n
y y y + + +
2 1

es una aproximacin de la cuadratura de la curva, mientras
que la diferencia entre dos sucesivas
i
j da aproximadamente la pendiente de su
tangente. Adems, cuanto ms pequea sea la unidad 1 elegida, mejor ser la
aproximacin. Si la unidad se pudiera elegir infinitamente pequea, entonces las
aproximaciones seran exactas, la cuadratura sera igual a la suma de
ordenadas y la pendiente de la tangente sera igual a la diferencia de ordenadas.
De esta forma y por su analoga con las sucesiones numricas, Leibniz observa
que la determinacin de cuadraturas y el clculo de tangentes son operaciones
inversas la una de la otra.


Leibniz considera una curva como una poligonal de infinitos lados donde dy es la
diferencia infinitesimal de dos ordenadas consecutivas, dx la diferencia de dos
abscisas consecutivas, y
}
dx y representa la suma de los pequeos rectngulos
infinitesimales dx y . De esta forma el teorema fundamental del clculo aparece
como obvio. Esto es, para hallar el rea debajo de una curva con ordenadas y,
debemos hallar una curva de ordenadas z de tal manera que , y
dx
dz
= en cuyo caso
es tambin
}
= z. dx y En la primera notacin de sus manuscritos Leibniz escribe:

y l omn = Donde omn es omnia, que en latn significa suma, y donde l son
diferencias. Con ello empieza a desarrollar su clculo y la expresin simplemente
significa que la suma de las primeras diferencias de una sucesin que empieza por 0
es igual al ltimo trmino. Despus ira cambiando su notacin y escribe la anterior
relacin como
}
dy. y

que es la que usamos actualmente. El signo integral no es
ms que una S elongada que significa suma. La idea de su clculo es que las
frmulas y relaciones geomtricas se realicen de manera casi automtica por
medio de las reglas del clculo de diferencias que actualmente se usan, estas sin:
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

82

( )
x n ) x ( d
y
dy x - dx y
d
dx y dy x d(xy)
dy dx ) y x ( d
1 - n n
2 y
x
=
=
+ =
+ = +


Para demostrar por ejemplo la regla dx y dy x ) xy ( d + = , calcula la diferencia entre
dos trminos consecutivos de la sucesin producto xy:

dxdy ydx xdy xy ) dy y )( dx x ( ) xy ( d + + = + + =

y luego omite la cantidad dx dy por
ser infinitamente ms pequea en comparacin con los otros trminos. De esta regla
Leibniz deduce la integracin por partes:
} }
= dx y - xy dy x Aunque las demuestra
como teoremas, siempre que puede intentar relacionar sus operaciones analticas
con resultados geomtricos familiares. Por ejemplo para esta ltima integracin
por partes, observa que es tambin la adicin de reas:
} }
= + xy dx y dy x


De acuerdo con la figura:








Para probar ( )
2
x
ydx - xdy
d
x
y
=

escribe ( )
dx x x
ydx xdy
x
y
dx x
dy y
d
x
y
+

=
+
+
=
2
y otra vez cancela
xdx del denominador por ser pequeo frente a x
2
. Otra relacin es por ejemplo:

}
=
2
2
y
dy y

Para su prueba, piensa en trminos de la funcin y=x. Tal como se observa en
la figura el rea del tringulo ABC es la suma de los ydy, para pequeos dy, pero
esta rea es
2
2
y





Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

83







En sus aplicaciones geomtricas, dado un punto P=(x,y) sobre una curva, tal como
se observa de la figura:













Aparecen las llamadas subtangente s=TA, tangente t=TP, normal n=PB y subnormal
n=AB. Todas estas variables tienen entidad propia y estn relacionadas unas con
otras. Por ejemplo se tiene por la semejanza: ,
y
v
s
y
=

para cada una de estas
variables se pueden considerar tambin sus diferencias. Si consideramos las
diferencias dx y dy, el pequeo tringulo PQR se llama el tringulo caracterstico y
se tiene por ejemplo la relacin:

s
y
dx
dy
=


Todo este clculo y en especial su notacin result ser muy manejable y de
gran utilidad, lo que contribuy decisivamente a su xito. Notacin y concepto
son virtualmente inseparables. Por ejemplo la regla de la cadena para z=f(y) e y=g(x)
que nosotros escribimos como primero la composicin h(x)=f(g(x)) y luego:
) x ( g )) x ( g ( f ) x ( h ' ' = ' en su notacin su notacin diferencial es simplemente:
dx
dy
dy
dz
dx
dz
= Aunque desde el punto de vista lgico le falta rigor a esta frmula
simblica, ya que cancela dys como si fueran nmeros reales, no slo halla
correctamente al resultado sino que sugiere adems la manera de demostrarla,
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

84

reemplazando las diferenciales dx, dy, dz por incrementos finitos x, y, z y pasando
luego al lmite.


Leibniz tard unos aos en presentar estas ideas en pblico ya que era
una formulacin intuitiva, pero que tena el problema de trabajar con
cantidades infinitamente pequeas y esto no estaba rigurosamente definido ni era
muy aceptable en matemticas. Su primera publicacin fue un corto artculo titulado
"Nova Methodus pro Maximis et Minimis, itemque Tangentibus, quae nec fractas nec
irrationales quantitates moratur et singulare pro illis calculi genus", (Un nuevo
mtodo para mximos y mnimos y tangentes, no impedido por cantidades
racionales o irracionales y un singular nuevo tipo de clculo para ellas), que
apareci en 1684 en Acta Eruditorum. En este trabajo original, despus de
introducir su clculo, Leibniz da tres ejemplos de la aplicaciones, el primero prueba
el principio ya conocido por Descartes y Fermat de que el ngulo de incidencia
es igual al ngulo de refraccin, el segundo es un problema geomtrico. Luego,
dice Leibniz:

"Y esto es slo el comienzo de una mucho ms sublime Geometra, de
problemas incluso mucho ms difciles y de los ms bonitos de matemticas
aplicadas, los cuales sin nuestro clculo diferencial o algo similar nadie podra
atacar con tanta facilidad. A continuacin miraremos la solucin del problema que
De Beaune propuso a Descartes, quin lo intent resolver el Vol. 3 de sus Lettres,
pero sin xito. En realidad Descartes haba encontrado prcticamente la
naturaleza de esta curva, pero careca de instrumentos adecuados para su
solucin. Este problema y otros que fueron apareciendo despus pusieron de
manifiesto la potencia del nuevo clculo.


2.3.3. El problema de De Beaune
64



64
dem, Bartolom B. El Descubrimiento del Clculo. pp. 19-21

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

85

El problema que Florimont De Beaune
65
haba propuesto originalmente a Descartes
en 1639 es: Hallar una curva cuya subtangente sea una constante dada a.





De la relacin:
y
s
dy
dx
= Obtenemos tomando s=a, dx y dy a = Leibniz considera
dx=b constante, lo que equivale a tener las abscisas en progresin aritmtica.
Tomando , k
a
b
= la relacin anterior da:

y. k dy = Esto es, los incrementos dy
son proporcionales a sus las ordenadas y. Ms concretamente, si tomamos la
sucesin de abscisas:

, b x x , x x
1 0
+ = = , b x x , b x x
3 2
3 2 + = + = Que estn en
progresin aritmtica, al ser
1, 1 1
y k y y dy = =
0
ser y
1
=k
1
y
0
para la constante
. k
k 1 1
1
+
= Luego las correspondientes ordenadas:
, y k y , y k y y k y , y
o 0 , 0
3
1 3
2
1 2 0 1 1
= = =


Estn en progresin geomtrica. Leibniz concluye diciendo que la curva es
una "logartmica". En nuestro clculo actual de la relacin diferencial que define
la curva a dy=y dx, obtenemos:
. dx a
y
dy
=
De donde integrando a log y=x+C.
(Obsrvese que la notacin que usamos ahora para este proceso es la original).
Leibniz viene a describir una poligonal solucin de una ecuacin en diferencias

65
Cajori, F. (1898). Florimond de Beaune (7 de octubre de 1601, Blois - 18 de agosto de 1652) fue un jurista
francs, matemtico, y un seguidor temprano de Ren Descartes.se le conoci como "un ejemplo tpico de los
aficionados eruditos. En una carta de 1638 a Descartes, de Beaune plantea el problema de resolver la ecuacin
diferencial. Ahora se ve como el primer ejemplo del mtodo de tangente inversa de deducir las propiedades de
una curva a partir de sus tangentes. Su Tractatus de limitibus aequationum fue reimpreso en Inglaterra en
1807, en ella, se encuentra con lmites superior e inferior de las soluciones a las ecuaciones cuadrticas y
ecuaciones cbicas, como funciones simples de los coeficientes de estas ecuaciones. Su Doctrina de. l'ngulo
solide y Inventaire de sa bibliothque fueron reimpresos tambin, en Pars en 1975. Otro de sus escritos era
Breves Notae, la introduccin a una edicin de 1649 de La Descartes Gomtrie.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

86

que aproxima a la exponencial y su ecuacin diferencial correspondiente,
siendo la aproximacin cada vez mejor a medida que dx se va haciendo
infinitsimo.



2.3.4. Desarrollo del seno a partir de su ecuacin diferencial


Leibniz utiliza series de potencias para resolver muchas de sus
ecuaciones diferenciales. Por ejemplo consideremos la figura donde aparece el
primer cuadrante de la circunferencia de radio 1, donde P=(x,y) y es el ngulo que
forma POB.


Por semejanza de tringulos:
.
y
y
y
dy
2
1
=
Adems por el teorema de Pitgoras
. d dy dx
2 2 2
u = + Elevando al cuadrado la primera relacin, despejando dx
2
y
sustituyendo en la segunda obtenemos despus de simplificar:
. d d y dy
2 2 2 2
u u = + Que es la ecuacin diferencial que verifica . sen y u = Para resolver
esta ecuacin Leibniz considera d como constante y aplica el operador d a la
ecuacin. Se obtiene | | , d y dy d
2
0
2 2
= + u de donde por la regla del producto:
| | 0 d dy 2y dy) d )( dy ( d y dy dy d
2
= + = + u u 2
2 2


Esto es: . y
d
y d
2
=
2
u
Que es la ecuacin diferencial de segundo orden de . sen y u =
Ahora Leibniz supone que podemos escribir la serie de potencias con coeficientes
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

87

indeterminados:

+ + + + + = =
9 7 5 3
u u u u u u g f e c b sen y Donde ha tomado el
trmino constante igual a cero al ser 0 0= sen y slo toma potencias impares
al ser sin impar. Diferenciando dos veces esta expresin se obtiene:

+ + + =
7
2
2
9 8 3 2 u u u
u
g e 5 4 c
d
y d
3
Que debe ser igual a
=
9 7 5 3
u u u u u g f e c b y Igualando coeficientes se obtiene:

-f; g 9 8 -c; 5 4 ; b c = = = 3 2 De donde tomando b=1 como condicin inicial
obtenemos sucesivamente , , g , - f , e , c
9!
1
7!
1
5!
1
!
= = = =
3
1

esto es:

+ + =
9
9
1 7
7
1 5
5
1 3
u u u u u u
! ! ! 3!
1
- sen Obtiene por tanto con su mtodo de
diferencias la relacin que ya haba obtenido Newton en 1676 con su serie del
binomio.



2.4. Resumen y desarrollo posterior

Se han descrito con detalle separadamente las ideas de Newton y Leibniz en el
desarrollo del clculo como una nueva y coherente disciplina matemtica, ahora
comparemos y contrastemos ambos procedimientos.

Newton concibe la derivada de y=f(x) como el cociente entre fluxiones:

-
-
x
y
donde
considera las fluxiones
-
x ,
-
y como las velocidades en que cambian los fluentes
x,y. Su concepcin es cinemtica. En cambio Leibniz considera el cociente
anterior
dx
dy
como cociente entre diferencias. La integral para Newton es una
integral definida, es el fluente a determinar para una fluxin dada. Para Leibniz la
integral es, en cambio, una suma infinita de diferenciales. A pesar de estas
diferencias de concepto luego ambos la calculan de la misma forma, como un
proceso inverso de derivadas. Ambos desarrollan el mismo clculo desde puntos
de vista distintos y observan como inversos los procesos de diferenciacin e
integracin.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

88


Antes se haban calculado reas, volmenes y tangentes, pero eran
razonamientos particulares para cada caso concreto sin que se observara con
claridad que el clculo de reas y el de tangentes son inversos uno del otro. El
nuevo clculo es universal, en el sentido en que se aplica del mismo modo a todo
tipo de funciones. Newton y Leibniz lo aplicaron con xito para calcular reas
como la cisoide o la cicloide, tangentes, longitudes de arco, problemas de
mximos y mnimos, geomtricos, entre otros. Para ilustrar con un ejemplo sencillo
los conceptos del clculo de Newton y de Leibniz, veamos como calcularan ambos
la tangente a la parbola
, ax y =
2
en un punto
) y , x ( M = de la figura:




Dada la relacin entre fluentes , ax y =
2
Newton calculara primero la relacin entre
sus fluxiones, de: ) x o x ( o ) y o y (
- -
+ = +
2
elevando al cuadrado
- - -
+ = + + x oo ox y o y yo y
2
2 2
2 simplificando y dividiendo por o resulta:
. x o y o y y
- - -
= +
2
2

De donde cancelando luego los trminos que contienen o se
obtiene , x a y y
- -
= 2 esto es:

. y
a
x
y
2
=
-
-
Que nos dara la pendiente de la tangente. En
el primer libro de texto de clculo diferencial, "Analyse des Infinitement Petits" de
L'Hopital de 1696, aparece exactamente el ejemplo que estamos calculando. De
hecho la figura geomtrica anterior est tomada de este libro, seccin 2, pag.
12. Su solucin, siguiendo de diferencias de Leibniz dice as:

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

89

"Si se quiere que ax=yy exprese la relacin de AP a PM, la curva AM ser una
parbola que tendr por parmetro la recta dada a y tendr, tomando diferencias
en cada miembro:

dy 2y dx a = por tanto
, dx
a
2ydy
=
y
x PT
a
yy
dy
ydx
2
2
= = =
Donde
hemos sustituido yy por su valor ax. De donde se deduce que si se toma como PT el
doble de AP y se considera la recta MT, ella ser tangente en el punto M.

Newton la derivada como cociente entre fluxiones, o como "razn ltima de
cantidades evanescentes" que presentaba problemas de rigor lgico. Para Leibniz
sin embargo, el cociente
dx
dy
era "simplemente" un cociente con interpretacin
geomtrica clara. Los problemas de interpretacin se volvan ms agudos al
considerar derivadas de mayor orden. Debido a su facilidad y al genial
tratamiento que tuvo por parte de los hermanos Bernoulli y por Euler el clculo de
Leibniz empez a cosechar grandes xitos. Sus seguidores se preocupaban
menos de sus aspectos lgicos y ms de sus aplicaciones ya que era un
clculo que funcionaba. Permiti resolver problemas como el de la
braquistcrona
66
o de la catenaria
67
que haban sido intratables hasta entonces.

66
Un curva braquistcrona (brachistos 'el ms corto', chronos '[intervalo de] tiempo'), o curva del descenso
ms rpido, es la curva entre dos puntos que es recorrida en menor tiempo, por un cuerpo que comienza en el
punto inicial con velocidad cero, y que debe desplazarse a lo largo de la curva hasta llegar al segundo punto,
bajo accin de una fuerza de gravedad constante y suponiendo que no existe friccin. La braquistcrona es la
cicloide. La curva braquistcrona coincide adems con una curva tautcrona. Una curva plana se dice
tautcrona si dada una coleccin de puntos materiales que se mueven a lo largo de ellas que empiezan en
puntos diferentes se encuentran en un punto de la curva, es decir tardan el mismo tiempo en alcanzar una
cierta posicin. Segn el principio de Fermat: La trayectoria seguida por un haz de luz entre dos puntos es
aquella que resulta en el menor tiempo de viaje. Por tanto la curva braquistcrona sera simplemente la
trayectoria de un haz de luz donde la velocidad luz se incrementa con una aceleracin vertical (la de la
gravedad). El problema de la braquistcrona usualmente se plantea en un plano vertical que contiene al vector
tangente a la curva y a la direccin de la gravedad, pero el problema tambin ha sido planteado y resuelto
cuando el movimiento de la partcula est confinado a una superficie curva como un cono o una esfera.
(O'Connor, John J.; Robertson, Edmund F.,(2001) The brachistochrone problem)

67
La Catenaria resulto ser una curva cuya ecuacin es, en notacin moderna,
a
) e e (
y
ax ax
2

+
= donde a es
una constante cuyo valor depende de los parmetros fsicos de la cadena: su densidad lineal (masa por unidad
de longitud) y la tensin a la cual est sometida. El descubrimiento de esta ecuacin fue saludado comn gran
triunfo del nuevo clculo diferencial y los participantes hicieron todo lo posible para que aumentar su
reputacin. Se atribuye el inicio del trabajo a Jakob Bernoulli, aunque quien la finaliz fue su hermano Johan
Bernoulli. Lo que le reconoce a Johann como el pasaporte para entrar a la educada sociedad parisina.
Leibniz dijo a esto que todos saban que haba sido su clculo (su calve) el que haba resuelto el misterio. Si
tal suficiencia hoy suena excesiva, debemos recordar que a finales del siglo XVII problemas como el de la
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

90


Collete J ean-Paul. (1993). En su obra Historia de las matemticas II. Menciona que
muy pronto los hermanos Bernoulli dan a conocer el clculo de Leibniz en todo el
continente europeo gracias a sus numerosos trabajos publicados en las Acta y a una
correspondencia mantenida con varios matemticos. De padre a hijo
68
, de to a

braquistcrona o el de la catenaria presentaban el mximo desafo, y sus soluciones eran justamente
consideradas con gran orgullo. Recordemos que la ecuacin de la catenaria no fue dada originalmente como
aparece en la formula anterior. El nuero e no tena todava un smbolo especial, y la funcin exponencial no era
considerada una funcin por si misma sino como la inversa de la funcin logaritmo. (Maor, Eli. (2006). e:
historia de un nmero pp.143

68
Jakob Bernoulli. Tambin conocido como Jakobo Bernoulli. (27 de diciembre de 1654-1705), hijo de una
familia numerosa. Considerado como un comerciante prospero. Hizo sus primeros estudios en las escuelas
pblicas de Basilea y recibi clases particulares de un profesor de griego de la universidad d esta ciudad. Ya de
edad avanzada, Jakobo Bernoulli limito su trabajo a la obra de Arqumedes pidiendo que se grabara sobre su
tumba la spira mirabilis con la divisa Eadem mutata resurgo para mostrar que el renacimiento de esta curva es
un smbolo de la resurreccin. Su obra pstuma titulada Ars conjectandi, fue publicada en 1713, ocho aos
despus de su muerte convirtindose en la primera contribucin terica importante a la teora de
probabilidades que contiene, adems, una reedicin comentada del De ludo Alease de Huygens y de un tratado
de anlisis combinatorio de Bernoulli. La segunda parte est consagrada a la teora de permutaciones y
combinaciones, la tercera comprende las soluciones a veinticuatro problemas diversos sobre juegos de azar y,
en la cuarta propone aplicar la teora de probabilidades a temas de inters. El prefacio de esta obra fue escrito
por su sobrino Nikolaus Bernoulli, quien menciona que la cuarta parte no fue acabada por el autor antes de su
muerte.
En la segunda parte de esta obra, es importante resaltar la consagrada dedicacin a la teora de permutaciones
y combinaciones, donde se destaca una demostracin del teorema del binomio para potencias enteras
mediante induccin matemtica completa (expresin que Bernoulli no utiliza) y la suma de un numero finito de
trminos de la serie de los nmeros elevados a una potencia c-sima dada por
+ + + + + =




+ +
+ }
5
6 5 4 3 2
3 2 1 3
4 3 2
1 1
2 2
1 1
1
1 n 4 - c c c c c n c c c c c c c
c
c
Cn Bn An n n n y as sucesivamente de
manera que los exponentes de n decrecen continuamente por saltos de dos hasta n o nn. Las letras
maysculas A,B,C,D, designan los coeficientes de los trminos de n. as
}
c
n designa la suma de las potencias
c-simas de los primeros nmeros naturales, mientras que los coeficientes A,B,C,Dreciben el nombre de
nmeros de Bernoulli, en particular:
30
1
42
1
- D ; C ; B ; A = = = =
30
1
6
1
Bernoulli aade el valor
numrico de la suma de los mil primeros nmeros naturales elevados a la potencia 10 y subraya que este
trabajo fue realizado en menos d e10 minutos gracias a una tabla de sumas de potencias que proporciona
} } } }
. n , nnn, , nn , n
10
Tambin se encuentra la formula exacta que da el nmero de permutaciones de n
elementos tomando c a la vez. Tomado de Collete, Jean-Paul. (1993). Historia de las matemticas II. pp 147-
149.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

91

sobrino, la familia de los Bernoulli se distingue en diversos campos de las
matemticas: clculo de probabilidades, clculo de variaciones, ecuaciones
diferenciales, problema de la braquistcrona, logaritmos; en una palabra, pocos
aspectos de las matemticas les son ajenos. Mientras tanto en Francia, el marqus de
LHospital publica el primer tratado de clculo diferencial, que permite difundir
ampliamente los principios y mtodos del nuevo clculo. Varignon y l se convertirn
en los dos principales discpulos de Leibniz.

La difusin del mtodo de fluxiones de Newton fue ms lenta que el anlisis de
Leibniz, a causa principalmente del aspecto demasiado geomtrico del mtodo y de
una notacin simblica menos eficaz que la de Leibniz. Sin embargo, a pesar de la
publicacin tarda de los trabajos de Newton, algunos matemticos ingleses, Cotes,
Stirling, Maclaurin y Taylor, discpulos de Newton, se esforzaran en desarrollar y
difundir los mtodos newtonianos. Merecen subrayarse los trabajos de Abraham de
Moivre sobre el clculo de probabilidades y la trigonometra.

Los matemticos ingleses, antes mencionados, se preocuparon mucho ms por
los problemas de rigor lgico, paralizando con ello su aplicacin. A finales de
1690 Leibniz fue duramente atacado por los seguidores de Newton, quienes le
acusaban de plagio. Su principal argumento fueron las cartas que Newton le haba
mandado va Oldenburg. Al irse incrementando los ataques Leibniz pidi en 1711 a
la Royal Society of London, de la que era miembro, para que interviniera en el
asunto. La Royal Society nombr una comisin para que estudiara el caso y en
1712, movida ms que nada por motivos de nacionalismo y maniobrada por Newton,
decidi que Leibniz haba en efecto plagiado a Newton. Hoy sabemos que tanto
Newton como Leibniz desarrollaron independientemente su clculo. Este
desafortunado incidente separ en dos bandos los matemticos de Inglaterra y del
Continente por mucho tiempo. La irona del destino, fue que la victoria inglesa hizo
que sus matemticos rehusaran sistemticamente el uso de los mtodos de
Newton, cerrando para si con ello el tremendo desarrollo que la matemtica tuvo
en el siglo XVIII.


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

92

Una vigorosa y malintencionada exposicin de las inconsistencias del nuevo
clculo fue la que escribi el obispo anglicano de la dicesis de Cloyne (Irlanda)
George Berkeley (1685-1753). Berkeley escribi en 1734 un ensayo titulado "The
Analyst, or A Discourse Addressed to an Infidel Mathematician". El "matemtico infiel" era
Edmund Halley (1656-1742), el famoso astrnomo y amigo de Newton, quin parece
ser que convenci a un conocido sobre la inutilidad de la doctrina cristiana y ste
rehus el consuelo espiritual de Berkeley cuando estaba en su lecho de muerte.
Este es un prrafo del argumento de Berkeley: Y Qu son las fluxiones? Las
velocidades de incrementos evanescentes. Y Qu son estos mismos incrementos
evanescentes? Ellos no son ni cantidades finitas, ni cantidades infinitamente
pequeas, ni nada. No las podramos llamar fantasmas de cantidades que han
desaparecido?"

Leibniz en numerosas ocasiones y hasta el final de su vida va a calificar a los
infinitsimos como ficciones tiles. De la riqusima correspondencia que mantiene
Leibniz con J ean Bernoulli a partir de 1693, podemos extraer numerosas referencias
a ese extrao ente que no siendo un nmero concreto participa evanescentemente
de lo numrico. Recordemos que un infinitsimo era el sustituto de un indivisible.
Los indivisibles, o lo que es lo mismo, los segmentos rectilneos que ocupaban un
recinto plano, mediante los cuales el matemtico italiano Cavalieri consegua, aun
sin demasiado rigor, importantes resultados geomtricos, se haban convertido en
rectngulos infinitesimales, uno de cuyos lados, obviamente no siendo de
magnitud cero, era sin embargo menor que cualquier nmero, por pequeo que este
fuese. Ahora, de manera tambin no rigurosa segn los cnones eucldeos, se
podan sumar esos infinitos rectngulos infinitesimales. Aunque de motivacin
geomtrica, posteriormente la idea de infinitsimo como magnitud infinitamente
pequea se generaliz tambin para la aritmtica.

Independientemente de la relacin que pueda existir en Leibniz entre lo infinitesimal y su
Dinmica, encontramos a travs de esos textos de Leibniz, tres cuestiones:

- La existencia o no del infinitsimo en la matemtica o en la realidad fsica.
- La relacin con su monadologa, si es que la hubo.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

93

- La opinin de Leibniz sobre una polmica que se mont entre los
matemticos Varignon y Rolle acerca de un cierto texto suyo, en el que se tena
la intencin de divulgar o explicar tan controvertido ente.

Aqu, de nuevo, Leibniz va a mantener la no existencia real de los infinitsimos.
Este fue uno de los temas que entretuvo la intensa correspondencia de Leibniz con
J ohann Bernoulli a lo largo del ao 1698. Se encontraba entonces el joven matemtico
en Grningen (Holanda) y mantena paralelamente una relacin epistolar con el
influyente cartesiano y profesor de matemticas Burcher de Volder, haciendo de
intermediario entre ste y Leibniz, que era ya un consagrado matemtico y filsofo de
la naturaleza. En el panorama de aquel final de siglo europeo, los dos grandes
temas de discusin en el mundillo intelectual eran Newton y su portentoso Sistema
del Mundo y el sorprendente pero eficaz clculo diferencial de Leibniz. Sin
embargo, subyace en toda esta discusin el problema, vivo desde Aristteles, de la
existencia o no del infinito en acto, del infinito actual. Y la afirmacin de Leibniz, de
estar entusisticamente a favor de la existencia del infinito actual en la Naturaleza,
conduce a la duda a Bernoulli, que no ve la razn por la que negarla cuando de
matemticas se trata. Solamente con Georg Cantor, el dominador del infinito actual,
a finales del siglo XIX criticar speramente a Leibniz por su ambigedad en relacin
a este tema.

Por otra parte, a la pregunta de si Leibniz pudo inspirarse en la idea de infinitsimo
para concebir la de mnada, pasando de la matemtica al dominio de la
metafsica, los expertos leibnizianos asienten con reservas. Para un pensador como
Leibniz, en el que la analoga y la expresin juegan un papel tan decisivo, es bastante
obvio que la capacidad de trascender la oposicin finito-infinito del clculo diferencial
irradiase su poder a la fsica y a la metafsica. Y un ente como la mnada que siendo
el constituyente inextenso de la materia, no es un punto matemtico, guarda un
notable parecido con un ser que no siendo un nmero participa de lo cuantificable,
como es un infinitsimo. Pero hay que subrayar como hace Ross, un experto en la
metafsica de Leibniz, que las mnadas no fueron nunca para el pensador alemn
infinitsimos o partes infinitesimales de la materia, porque la materia, que es
cuantificable, en tanto que tal, se rige por la matemtica y una parte infinitesimal de
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

94

materia no es algo concreto, no existe. Existe, eso s, la posibilidad de la divisibilidad
infinita.



2.4.1. Primeras dificultades el nuevo anlisis
69


Los fundadores del clculo diferencial e integral definieron claramente las reglas y
operaciones que deban seguirse correctamente, y los numerosos y sorprendentes
resultados obtenidos por los discpulos tanto de Newton como de Leibniz crearon un
clima de confianza casi ciega en la eficacia de este nuevo clculo. Sin embargo hubo
quien se interrog sobre las bese lgicas de este clculo y sobre las definiciones ms
o menos vagas de ciertos conceptos fundamentales de este nuevo anlisis.

En 1694, el holands Bernard Nieuwentij (1654-1718), fsico y gemetra, esboza el
primer ataque verdadero contra la falta de claridad en los trabajos de Newton y la
existencia dudosa de las diferenciales de orden superior de Leibniz. Aunque admite de
manera general la exactitud de los resultados del nuevo clculo, considera sin
embargo que estos estn viciados por una cierta oscuridad y que a veces conducen
a absurdos. Critica la inexactitud de despreciar las cantidades infinitesimales en
Newton, Barrow y Leibniz y juzga oscuros y peligrosos sus mtodos de clculo.

En 1695 Leibniz se defiende en las Actas eroditorum contra de este ataque de
Nieuwentijt, pero la respuesta de Leibniz es, de hecho bastante confusa y muestra
indecisin en cuanto a la naturaleza de las diferenciales. En efecto , responde
hbilmente al hecho de despreciar las cantidades infinitesimales, considerndolas
como cantidades que pueden tomarse tan pequeas o tan grandes como se quiera;
en lugar de despreciarlas, se podran siempre conservar como cantidades tan
pequeas como se desee, y entonces el error cometido sera menor que cualquier
cantidad dada. J acob Hermann (1678-1733), alumno devoto de J akob Bernoulli,
proporciona en 1701 una refutacin mucho ms detallada delos argumentos del
gemetra holands.

69
dem, Collete Jean-Paul. (1993). Historia de las matemticas II. pp 138-156
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

95


La publicacin del Anlisis de los infinitamente pequeos de LHospital en 1696 levanto
tambin en Francia crticas y ataques vientos por parte de los cartesianos de la
Academia de Ciencias de Paris. El ms eminente de los oponentes fue Michel Rolle
(1652-1719), cuyo renombre se debe a su teorema, publicado en 1691. Donde califico
el trabajo de Leibniz al igual que Berkeley el de Newton, como Argumentos
efectivamente dbiles y fcilmente refutables. Tambin los argumentos de la
naturaleza insatisfactoria hechos por J urin condujo a Benjamn Robins a precisar la
naturaleza y la certeza de los mtodos de fluxiones y de la primeras y ltimas
razones de Newton. La controversia se estableci entonces entre J urin y Robins, y
estas discusiones contribuyeron a precisar ciertos fundamentos del clculo de
fluxiones y del concepto de lmite y obligaron a los autores a prestar una mayor
atencin a las bases lgicas del nuevo anlisis.

El tratado de fluxiones de Maclaurin, publicado en 1742, marc la cima de la precisin
lgica alcanzada por las matemticas en Inglaterra durante el siglo XVIII. La muerte
de Maclaurin en 1746, y despus la de J ohann Bernoulli en 1748, marcan la
desaparicin de los ltimos discpulos de Newton y Leibniz. La prxima poca estar
dominada por el clebre alumno de J ohann Bernoulli, Euler, y un matemtico francs
de nombre DAlamber.

J ohann Bernoulli (1667-1748), decimo hijo de la familia de Nikolaus Bernoulli. Naci
en Basilea cuando su hermano J akobo tena trece aos. J ohann optando seguir los
pasos de su hermano mayor estudia humanidades; luego de terminar sus estudios
literarios, estudia francs en Neuchatel. En 1690 publica una tesis de doctorado
sobre la efervescencia y la fermentacin, este mismo ao da clases de ecuaciones
diferenciales en la ciudad de Ginebra. Luego viaja a Paris donde conoce cientficos
como Malebranche, Cassini, La Hire, Varignon y LHospital, quien le invita a su
castillo para que le inicie en los misterios de una nueva doctrina de la diferencias de
Leibniz. J ohann motivado por su hermano decide dedicarse a la fsica, la astronoma
y a las matemticas. En 1695 es nombrado profesor de matemticas y fsica en la
universidad de Groninga. En 1705 tras la muerte de su hermano J akob le sucede en
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

96

su ctedra en Basilea; el entusiasmo manifestado en su enseanza atraer a un
alumno poco corriente en la persona de Euler.

Aunque J akob posea un sentido crtico ms desarrollado que J ohann, este ltimo
manifest mayor originalidad e imaginacin, llegando a ser ms prolifero que su
hermano mayor en matemticas. J ohann reconoci siempre a Leibniz como su
maestro y fiel amigo, manifest con respecto a Newton una antipata incondicional,
denegndole de una manera imperdonable, sobre todo a raz de la clebre
controversia entre Newton y Leibniz. Esto hizo que los dos hermanos se distanciaran
con motivo de la solucin del problema de los isopermetros. De su espritu celoso
no se salv ni su propio hijo Daniel, a quien le reprocho su falta de respeto por haber
ganado un premio de la Academia de Ciencias que l mismo ansiaba.


Su primer tratado sobre calculo diferencial e integral fue publicado en 1969 en Paris
por LHospital, que escribi en la introduccin: por lo dems, reconozco deber
mucho a la luces de los seores Bernoulli, y sobre todo a las del joven, en la
actualidad profesor en Groninga, lo que confirma que fue influenciado por J ohann
Bernoulli. Por otra parte, en una carta fechada en 1695, LHospital seala a
Bernoulli que est a punto de publicar un trabajo sobre las cnicas y que se propone
aadirle un pequeo tratado sobre el clculo diferencial. En la correspondencia de
Bernoulli se menciona que un acuerdo establecido entre LHospital y J ohann
celebrado en 1694; J ohann se obligaba a transmitir a LHospital todos sus
descubrimientos y a abstenerse de ensear o comunicar a los dems una copia de
las notas trasmitidas a este ltimo, mediante una asignacin mensual de 300 libras.


2.4.2. Contribuciones matemticas de Johann Bernoulli.


Menciona Collete J .P. (1993. pp156), que durante el periodo en que J ohann Bernoulli
debi guardar silencio sobre sus descubrimientos, hizo numerosos estudios sobre la
lnea iscrona,, los slidos de menor resistencia, las curvas custicas, las trayectorias
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

97

ortogonales, las geodsicas, la braquistcrona, el problema de los isopermetros,
entre tantos. De esta forma se le atribuye a J ohann Bernoulli la invencin del
clculo exponencial, porque ya en 1694, en una carta dirigida a Leibniz, habla de la
construccin de las curvas exponenciales x
x
= y mediante la curva logartmica simple
que representa, segn l, una curva del mismo tipo que tiene como ecuacin a
x
=y. su
procedimiento de construccin equivale a pasar de x
x
=y a x log x= log y, aunque no
escribe esta ltima ecuacin. Leibniz responde a Bernoulli Algn tiempo despus, y
formula en su carta las relaciones x
x
= y y x log x = log y. para esta poca los dos tienen
una idea bastante compleja de la funcin exponencial. Para el rea bajo la curva y = x
x
,
de x=0 a x=1, Bernoulli encontr una representacin en serie de la forma:

+ +
4 3
4
1
3
1
2
2
1
1
1
resultando que se obtiene escribiendo en primer lugar , e x
x ln x x
=
desarrollando en serie exponencial e integrando a continuacin trmino a trmino,
mediante el procedimiento de integracin por partes.



El 16 de marzo de 1712, Leibniz menciona en una carta a Bernoulli la posible existencia
de logaritmos de nmeros negativos e imaginarios. Los dos amigos entablan una
controversia amistosa sobre este tema durante diecisis meses, y parece que son los
nicos en esta poca en interesarse por este tema. Despus de la muerte de Leibniz,
J ohann Bernoulli y su alumno Euler mantendrn una correspondencia sobre el mismo
tema a partir de 1727, pero Euler ser el verdadero iniciador de la teora de logaritmos de
nmeros negativos e imaginarios.


Otros dos miembros de la familia Bernoulli se distinguieron igualmente por sus
contribuciones en matemticas: Nikolaus
70
III y Daniel
71
, hijos de J ohann. El conjunto de

70
Nikolaus Bernoulli (Groninga 1695-1726 en San Petersburgo, Rusia). Hijo mayor de Johann, nieto de Nikolaus
y primo de Nikolaus II. Fue un matemtico suizo al igual que su padre Johann Bernoulli y uno de sus hermanos,
Daniel Bernoulli. Uno de los muchos matemticos prominentes de la familia Bernoulli A los ocho aos hablaba
correctamente alemn, holands, latn y francs. A los dieciocho aos, obtuvo un doctorado en filosofa y
cuatro aos ms tarde se le otorg la ms alta distincin acadmica en jurisprudencia. Sin embargo sus
trabajos en calculo diferencial e integral y sobre todo en calculo exponencial. Se desempe como asistente de
su padre, entre otras reas, en la correspondencia sobre el conflicto de prelacin entre Isaac Newton y Leibniz,
y tambin en el conflicto de prelacin entre su padre y el matemtico Ingls Brook Taylor. En 1720 se plante el
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

98

los trabajos de Daniel Bernoulli se refiere sobre todo a la fsica, pero hace tambin
una contribucin a las matemticas, principalmente en el clculo de las funciones
trigonomtricas, las fracciones continuas, las ecuaciones diferenciales, y, en
particular, el problema de Riccati. Entre sus resultados en matemticas, se destaca
las soluciones a la ecuacin diferencial de Riccati por separacin de variables, una
formula aproximada de las funciones de Bessel, la formulacin del problema de la
cuerda vibrante en trminos de una ecuacin diferencial en derivadas parciales,
una notacin eficaz para representar las funciones trigonomtricas inversas, una de
las primeras utilizaciones de las series de Fourier y una teora de la esperanza moral.








problema de la reciprocidad trayectorias ortogonales, que pretenda ser un reto para los newtonianos Ingls.
En 1725 l, junto con su hermano Daniel, con quien estaba de gira por Italia y Francia, en este momento, fue
invitado por Pedro el Grande a la recin fundada Academia de San Petersburgo. Ocho meses despus de su
nombramiento se enferm gravemente con una fiebre y muri. Su ctedra fue sucedida en 1727 por Leonhard
Euler, a quien los hermanos Bernoulli haban recomendado. Su temprana muerte trunc una prometedora
carrera
71
Daniel Bernoulli (Groninga 1700-1782), segundo hijo de Johann, a los once aos su hermano Nikolaus se
convirti en su profesor y ms tarde se doctoro en medicina. 1n 1724 acept trabajar en la Academia de San
Petersburgo en compaa de su hermano Nikolaus III. 1n 1733 ante la muerte prematura de su hermano lo
condujo a volver en compaa de su hermano menor Johann II a Basilea, donde enseo anatoma, fsica,
botnica, y filosofa. En 1723 gana la competicin anual que patrocinaba la Academia de las Ciencias francesa y
a su vez Christian Goldbach, matemtico prusiano con el que mantena correspondencia sobre las lecciones
aprendidas con su padre, impresionado por el nivel de Bernoulli, decide publicar las cartas escritas por Daniel.
En 1724, las cartas publicadas haban llegado a todo el mundo, y Catalina I de Rusia le envi una carta
proponindole ser profesor en la recin fundada Academia de Ciencias de San Petersburgo. Por mediacin de
su padre, logr que se ampliara la oferta a los dos hermanos: Nikolaus y Daniel. Su hermano muri en San
Petersburgo en 1726 de tuberculosis. En la Academia Daniel trabaj en la ctedra de Fsica. Como ancdota
decir que ese tiempo comparti piso con Euler, que haba llegado a la Academia recomendado por el propio
Daniel y al que ya conoca por ser un aventajado alumno de su padre en la Universidad de Basilea. Daniel I
estuvo ocho aos en San Petersburgo y su labor fue muy reconocida. En el ao 1732 vuelve a Basilea, donde
haba ganado el puesto de profesor en los departamentos de Botnica y Anatoma. En 1738 public su obra
Hidrodinmica, en la que expone lo que ms tarde sera conocido como el Principio de Bernoulli. Daniel
tambin hizo importantes contribuciones a la teora de probabilidades.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

99

2.4.3. Los aportes de Abraham De Moivre
72


Mientras tanto, en 1681, Abraham De Moivre, acudi a Saumur para estudiar
filosofa. All Abraham oje De ludo aleae de Huygens, y aunque no lo asimil
completamente, su contenido fue como una simiente cuya germinacin posterior
producira muchos frutos. Estudio matemticas en Pars, de ah viaja a Inglaterra
hacindose amigo del astrnomo Halley y de Newton, desde all, mantuvo una
estrecha comunicacin con sus amigos J ohann y J ohann Gustav Bernoulli, con
muchas dificultades logro publicar dos obras sobre temas de probabilidades y al
menos quince memorias en las Philosophical Transactions sobre temas menores. La
primera de las cuales se refiere a una extensin de las ideas newtonianas de las
fluxiones que fue presentada a la Royal Society por su amigo Edmund Halley en
1965.


La primera edicin del libro: De Moivre y las probabilidades, apareci en 1718, y estuvo
dedicada a Newton. Contiene un prefacio que explica el plan y la utilidad de la obra, asa
como un resumen de su contenido. En el ltimo prrafo de este prefacio, se refiere al Ars
conjectandi e invita a Nikolaus II y a J ohann Bernoulli a profundizar en el tema que
constituye el objeto de la cuarta parte. En esta introduccin tambin recurre al uso de
fracciones continuas, tomadas de Wallis, Huygens y otros. En la Doctrina de las
probabilidades, sus anualidades (1725) y sus Miscellanea analtica (1730) De Moivre
precis los principios del clculo de probabilidades, desarroll una teora de sucesiones
recurrentes y numerosos problemas de aplicacin (problemas de dados, urnas, partidas),
trat de la teora de permutaciones y de combinaciones a partir de los principios de la
probabilidad y encontr extensiones del teorema de Bernoulli. En esta obra tambin se

72
Abraham de Moivre ( mayo de 1667, Champagne - noviembre de 1754, Londres) fue un matemtico francs,
conocido por la frmula de Moivre y por predecir el da de su muerte a travs de un clculo matemtico. Su
padre, que fue cirujano, le envi a la academia protestante de Sedan y all estudi entre 1678 y 1682. Despus
estudi Lgica en Saumur durante los dos aos posteriores y en 1684 asisti al Collge de Harcourt. Conocido
por la frmula de De Moivre y por su trabajo en la distribucin normal y probabilidad, fue elegido miembro de
la Royal Society de Londres en 1697 y fue amigo de Isaac Newton y Edmund Halley. De Moivre public el libro
de probabilidad The Doctrine of Chances y, como era calvinista, tuvo que salir de su pas natal despus de la
revocacin del Edicto de Nantes por el de Fontainebleau (1685). Pas el resto de su vida en Inglaterra. Lo cierto
es que toda su vida fue pobre y era cliente regular del Slaughter's Coffee House, donde ganaba algo de dinero
jugando al ajedrez.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

100

encuentra el enunciado de la regla de las probabilidades compuestas, un esbozo del uso
de las ecuaciones en diferencias finitas, una frmula de aproximacin muy grande de
( )
n
e
n
n ! n t 2 ~ (llamada formula de Stirling), y la aproximacin de la frmula de
probabilidad
.
x
dx e
x
x
2
0
2
=
}




Adems de las probabilidades, De Moivre contribuy al desarrollo del aspecto
analtico de la trigonometra. En 1722, afirm que se puede obtener una relacin
entre x y t que representa los sinus versus
73
de dos arcos que estn en la relacin e 1 a
n por eliminacin de z entre las dos ecuaciones
t z z z
n n n
2 2 1
2
= +
y
zx z z 2 2 1
2
= +
En este resultado de De Moivre,
la formula es implicita, porque si
se hace u cos x =1

y u n cos t =1

Se dedude que
( ) , n sen i n cos sen i cos
n
u u u u = donde . i 1
2
= Se encuentra tambien en una
memoria de 1707 la formula que expresa el seno en terminos de numeros
complejos:

( ) ( )
n n
n sen i - n sen n cos i n sen sen
2
1
1 1
2
1
u u u u u + + =


Asi mismo, expresa en 1730 el equivalente de:

( ) ,
n
2k
sen i
n
2k
cos sen i cos
n
u t u t
u u

+

=
1


que le sirve para encontrar los factores de 1 n cos x x
n
+ + u 2
2
finalmente, en 1739,
mostr que la raz n-sima de un imposible binomico b a + (nmero complejo)
se efecta como lo hacemos actualmente, tomando la raz n-sima en mdulo,
dividiendo la amplitud por n y aadiendo los mltiplos de
n
t 2
(hay n raices).


73
Sinus versus de un ngulo es uno menos el coseno del ngulo.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

101


2.4.4. El trabajo de Roger Cotes
74



Roger Cotes (1682-1716). Fue estudiante y luego profesor en Cambridge, Discpulo de
Newton y fue quien publico la segunda edicin de los Principia de Newton, a la que
consagro la mayor parte de su tiempo entre 1709 y 1713. El conjunto de sus trabajos fue
publicado, despus de su muerte prematura. Trat sobre fracciones parciales y
trigonometra. Cotes fue uno de los primeros matemticos que reconoci la periodicidad
de las funciones trigonomtricas y que dio a conocer el periodo de las funciones tangente
y secante. Aplico el clculo diferencial e integral a las funciones logartmicas y
trigonomtricas, creo el mtodo llamado de integracin logartmica que recuerda a un
mtodo de sustitucin para integrales definidas, elaboro una tabla de integrales construida
a partir de estas aplicaciones.

2.4.5. Los aportes de James Stirling
75
.

74
Roger Cotes (julio de 1682 - junio de 1716) fue un matemtico Ingls, conocido por trabajar en estrecha
colaboracin con Isaac Newton por la correccin de la segunda edicin de su famoso libro, los Principia, antes
de su publicacin. l tambin invent las conocidas como frmulas de cuadratura de Newton-Cotes, e introdujo
por primera vez lo que hoy se conoce como la frmula de Euler. Fue el primer Plumian Profesor en la
Universidad de Cambridge desde 1707 hasta su muerte. La mayor parte del Harmonia mensurarum est
dedicado a la integracin de fracciones racionales, incluyendo la descomposicin en factores cuadrticos de x
n
-
1. All tambin se hace mencin a la periodicidad de las funciones trigonomtricas, los ciclos de la tangente y la
secante aparecen por primera vez impresos y se incluye una tabla de integrales de funciones circulares y
logartmicas. el trabajo de Cotes en matemticas, fue especialmente en los campos del clculo integral,
logaritmos, y el anlisis numrico. l public un solo artculo cientfico en su vida, titulado Logometrica, en el
que con xito construye la espiral logartmica. Despus de su muerte, muchos de los artculos matemticos
fueron apresuradamente editado por Robert Smith y publicado en un libro, Harmonia mensurarum. Las obras
adicionales de Cotes fueron publicados ms tarde en Thomas Simpson en la doctrina y la aplicacin de las
fluxiones. Aunque el estilo Cotes era algo oscuro, su enfoque sistemtico para la integracin y la teora
matemtica estaba muy bien considerado por sus pares. Cotes descubri un importante teorema de las races
n-simas de la unidad, previ el mtodo de los mnimos cuadrados, y descubri un mtodo para la integracin
de fracciones racionales con denominadores binomiales. l tambin fue elogiado por sus esfuerzos en mtodos
numricos, sobre todo en los mtodos de interpolacin y sus tcnicas de construccin. Fue considerado como
uno de los pocos matemticos britnicos capaces de seguir la poderosa obra de Isaac Newton.
75
STIRLING, JAMES(1692-1770), matemtico, comnmente llamado 'The Venetian', nacido en 1692, fue el
tercer hijo de Archibald Stirling. Stirling fue educado en la Universidad de Glasgow y posteriormente procedi
a Balliol College, Oxford, donde se matricul en 1710-11. Se abri camino a Venecia y se emple en el estudio
de las matemticas. En los alrededores de Padua le dio la oportunidad de adquirir la amistad de Nicols
Bernoulli (1687-1759), quien fue profesor de matemticas en la universidad. En 1717 public Lineae tertii
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

102


J ames Stirling (1692-1770) public en 1717 las Lineae tertii ordinis Neutinianae en donde
demuestra el contenido del Enumeratio linearum tertii ordinis de Newton (clasificacin de las
cubicas) e incorpora numerosas demostraciones nuevas, adems de cuatro cubicas que
no aparecan entre las 72 ya contenidas en el texto de Newton. Demostr que un curva de
orden n solo puede tener n - 1 asntotas diferentes como mximo, y que toda asntota de
una curva no puede cortarla en ms de n - 2 puntos. Adems si el eje de las y es una
asntota, la ecuacin de la curva no puede contener un trmino en y
n
. Stirling demuestra
que una curva de orden n est determinada, en general por
2
) 3 ( + n n
puntos. En la obra de
Stirling se encuentra, por primera vez, un estudio analtico formal de la ecuacin de
segundo grado en el que reduce la cuadrtica general a formas cannicas.


2.4.6. Colin Maclaurin
76
y sus aportes en geometra y algebra.

Newtonian Ordinis (Oxford, 8vo), que tena por objeto complementar el Newton' Enumeratio Linearum
tertii Ordinis; suministr cuatro variedades adicionales a las setenta y dos formas de Newton para la curva
cbica. En 1718 se comunic a la Real Sociedad, a travs de Sir Isaac Newton, un documento titulado
"Methodus differentialis newtoniana illustrata". Despus de descubrir los secretos comerciales de los vidrieros
de Venecia, regres a casa alrededor de 1725 de terror de asesinato, y con la ayuda de Sir Isaac Newton se
estableci en Londres. En diciembre del ao siguiente fue elegido miembro de la Royal Society, hasta 1754.
Vivi durante diez aos en Londres, en correspondencia con varios matemticos y disfrutando de la amistad de
Newton y su hospitalidad. Durante la mayor parte del tiempo estaba conectado con una academia en la calle
Little Tower (cf. un folleto titulado "Un Curso de Filosofa y Mecnica Experimental", por el Sr. James Stirling,
NIF, etc., Londres, 1727). En 1730 public su obra ms importante, "Differentialis Methodus, sive Tractatus de
Summatione et Interpolatione Serierum Infinitarum (Londres, 4to; nueva ed 1764;. Traducido al Ingls en 1749,
por Francisco Holliday). En 1735 fue nombrado director de la Compaa Minera escoceses en Leadhills en
Lanarkshire. En 1746 fue propuesto como candidato a la presidencia de matemticas en la Universidad de
Edimburgo, vacante por la muerte de Colin Maclaurin, pero sus principios Jacobitas entrega su nombramiento
como imposible. Muri en Edimburgo el 05 de diciembre 1770. Adems de las obras mencionadas Stirling
comunic a la Royal Society un documento "en la figura de la Tierra, y en la variacin de la fuerza de la
gravedad en su superficie" en 1735, y en 1745 , una descripcin de una mquina para volar por el fuego Cada
del agua .Tambin dej dos volmenes en el manuscrito de un tratado sobre pesos y medidas y una serie de
documentos y cartas que se conservan en el jardn
76
Colin MacLaurin (Kilmodan, febrero de 1698 - Edimburgo, junio de 1746) matemtico escocs. En 1725
Maclaurin fue recomendado por Isaac Newton para un puesto en la Universidad de Edimburgo, donde pas el
resto de su vida. Ocho aos despus se cas con Ana Stewart, con quien tuvo siete hijos. En 1742 public
Treatise of fluxions, donde introduce la llamada serie de Maclaurin, que permite evaluar funciones. En 1742
hall la frmula que relaciona la velocidad de rotacin de una esfera auto gravitante con su achatamiento. Para
deducirla consider el equilibrio hidrosttico entre dos columnas de lquido, una polar y otra ecuatorial, que
confluyen en el centro de la Tierra. En 1748, pstumamente, se publica Treatise of Algebra. En este tratado
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

103


las dos primera memorias de Maclaurin aparecieron en las Philosophical Transactions antes
de cumplir los veintin aos, fueron incorporadas y aliadas en su Geometra orgnica de
1720 bajo el visto bueno de Newton. Su tratado est dividido en dos partes: la primera se
refiere a la descripcin de las curvas de todo orden, utilizando nicamente ngulos dados
constantes y lneas rectas fijas. Desarrolla all la descripcin organice de las curvas de
Newton, tanto si son cnicas, cbicas, o cuarticas. en la parte II, los lugares planos
reemplazan a las curvas. Se encuentran en esta obra proposiciones importantes: dos
curvas de rdenes respectivos m y n se interceptan, en general, en mn puntos; una curva
de grado n esta, en general, determinada por
2
) 3 (
2
n n +
puntos. En particular, una cnica
est determinada de manera nica por cinco puntos. Dos curvas de grado n se cortan en
n
2
puntos; por tanto 9 puntos pueden no ser suficientes para determinar una cubica,
mientras que 10 puntos son excesivos. Esta ltima proposicin se conoce con el nombre
de Paradoja de Cramer, aunque este ltimo reconoce a Maclaurin la paternidad de ese
enunciado. La respuesta a esta paradoja ser dada por Plker en el siglo XIX.

En su tratado de algebra, publicado en 1748, dos aos despus de su muerte, se convirti
rpidamente en una obra popular que fue reeditada al menos seis veces a lo largo del siglo
XVIII y que mantuvo su popularidad hasta el fin de siglo. Una vez ms Maclaurin quiso
rendir homenaje a Newton y este tratado de algebra debe ser ledo como un comentario a
la Arithmetica universalis. En el captulo XI de su tratado de algebra, Maclaurin presenta la
solucin habitual de las ecuaciones lineales simultaneas por eliminacin sucesiva de
incgnitas, y en el captulo XII describe una solucin alternativa mediante lo que se llaman
determinantes. El ultimo capitulo contiene un enunciado de la regla que se atribuye
generalmente a Cramer. La solucin para y en el sistema de ecuaciones:

= +
= +
d y b x a
c y b x a
2 2
1 1
viene dada por
1 2 2 1
2 1
b a b a
c a d a
y

=

Aplica su regla para sistemas de tres y cuatro ecuaciones simultneas.

us determinantes para resolver ecuaciones de cuatro incgnitas. Dos aos despus este mtodo fue
popularizado por Gabriel Cramer como Regla de Cramer.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

104



2.4.7. Aportes de Gabriel Cramer
77



G. Cramer. (1704-1752). En 1750 public un tratado sobre geometra titulado
Introduccin al anlisis de las lneas curvas algebraicas, en el que clasifica las
lneas curvas planas segn el grado de su ecuacin y en el que dedica una atencin
particular a las ramas infinitas y a los puntos singulares. Adems muestra que una
curva de orden n est definida, en general, por
2
) 3 ( + n n

puntos, pero seala los
casos excepcionales. Habiendo procedido el tambin por eliminacin sucesiva de
las incgnitas en el caso de un sistema de cinco ecuaciones con cinco incgnitas,
aade: creo haber encontrado para esto una regla bastante cmoda y general,
cuando tiene un numero cualquiera de ecuaciones y de incgnitas, ninguna de las
cuales pasa del primer grado Esta regla fue conocida por el tratado de Cramer ms
que por el de Maclaurin, debido quiz, a la superioridad de la notacin de Cramer,
pues est fuera de toda duda que conoca esta regla desde sus primeros aos en
Edimburgo. Sin embargo, el renombre de Cramer se debe a una regla que public
despus de Maclaurin, tambin debe su reputacin a un desarrollo en serie que fue
publicado anteriormente por Taylor.


77
Gabriel Cramer ( julio de 1704 - enero de 1752) fue un matemtico suizo nacido en Ginebra. Mostr gran
precocidad en matemtica y ya a los 18 recibe su doctorado y a los 20 era profesor adjunto de matemtica.
Profesor de matemtica de la Universidad de Ginebra durante el periodo 1724-27. En 1750 ocup la ctedra de
filosofa en dicha universidad. En 1731 present ante la Academia de las Ciencias de Pars, una memoria sobre
las mltiples causas de la inclinacin de las rbitas de los planetas. Edit las obras de Johann Bernoulli (1742) y
de Jacques Bernoulli (1744) y el Comercium epistolarum de Leibniz. Su obra fundamental fue la Introduction
lanalyse des courbes algbriques (1750), en la que se desarrolla la teora de las curvas algebraicas segn los
principios newtonianos, demostrando que una curva de grado n viene dada por N puntos situados sobre ella,
donde N viene dado por la expresin: . La Regla de Cramer es un teorema en lgebra lineal, que da
la solucin de un sistema lineal de ecuaciones en trminos de determinantes. Recibe este nombre en honor a
Gabriel Cramer (1704 - 1752), quien public la regla en su Introduction l'analyse des lignes courbes
algbriques de 1750, aunque Colin Maclaurin tambin public el mtodo en su Treatise of Geometry de 1748 (y
probablemente saba del mtodo desde 1729). Tomado de O'Connor, John J.; Robertson, Edmund F., Biografa
de Gabriel Cramer
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

105


2.4.8. Brook Taylor y sus aportes en el Clculo de diferencias infinitas.
78



Brook Taylor (1685-1731), estudio en el St. J ohn`s College de Cambridge, y se convirti
en un admirador entusiasta de Newton. Se destac por dos trabajos sobre perspectiva,
publicados en 1715 y 1719, e igualmente por su clebre Methodus incrementorum directa e
inversa, que lleva su nombre, aparecido en 1715. Su Methodus incrementorum se refiere
esencialmente al desarrollo de una nueva rama de las matemticas, conocida en la
actualidad bajo el nombre de Clculo de diferencias finitas. Su contenido es casi
enteramente original, el libro tuvo cierto renombre a pesar de su notacin complicada y
el estilo oscuro del autor. La frmula Gregory-Newton fue desarrollada por Gregory
mediante un clculo de diferencias finitas y que Taylor conoca los trabajos tanto de
Gregory como de Newton sobre el tema, pero omite mencionar sus conocimientos de
los trabajos de Leibniz en 1673 en la materia. Se sabe que J ohann Bernoulli pblico en
1694 un resultado prcticamente equivalente a la serie de Taylor.

El desarrollo de la serie de Taylor se encuentra en la proposicin VII, teorema III, pp. 21-
23 de su Mtodo y se presenta como sigue: sean z y x dos cantidades variables, una de
las cuales, z, aumenta uniformemente con un incremento dado z. sean
, v z - v , v z - v ,

= A = A = A
- -
v z n etc. Entonces, cuando z aumenta hasta z + v, x
aumenta hasta


78
Brook Taylor ( Inglaterra, 1685 - Londres, 1731) matemtico britnico. Entr en la Universidad de St. John
de Cambridge como estudiante en 1701. Se licenci en Derecho en 1709, y se doctor en 1714. Estudi
matemticas con John Machin y John Keill. En 1708 encontr una importante solucin del problema del "centro
de oscilacin" que, sin embargo, no se public hasta mayo de 1714 ("Phylosophycal Transactions of the Royal
Society" vol.28), lo que provoc una disputa sobre su autora con Johann Bernoulli. En su Methodus
Incrementorum Directa et Inversa (Londres, 1715) desarroll una nueva parte dentro de la investigacin
matemtica, que hoy se llama clculo de las diferencias finitas. Entre las distintas aplicaciones, se us para
determinar la forma del movimiento de una cuerda vibrante, reducido por l por vez primera con xito a
principios mecnicos. El mismo trabajo contena la famosa frmula conocida como Teorema de Taylor, cuya
importancia slo se reconoci en 1772, cuando Lagrange se dio cuenta de su valor y lo defini como "el
diferencial principal del fundamento del clculo".

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

106

+
A
A +
A
A +
A
A +
3
3
2
2
) ( 3 . 2 . 1 z) 1.2(
v.v

. 1 z
vvv
x x
z
v
x x



Demostracion:
etc. x 6 x 4 x
x x x 3 x x x x x x
etc x x x x x x x 2 x x x x
etc. x x x x x x x x
x x x x x
2
2
3 2 3
3 2 2
4 3 2
A + A +
A + A + A + A A + A + A +
A + A A + A + A A + A + A A + A +
A + A A + A A + A A +
A A A A
4 2 3 2
4 4 3 2
4 3
3 3
2 2


Los valores sucesivos de x, obtenidos por adicin continua, son
etc , x x 3 x 3 x , x x 2 x x, x , x
2 2 3
A + A + A + A + A + A +


Que coinciden con los calculados ms arriba. Pero los coeficientes numricos de los
trminos etc., , x x, , x
2
A A para estos valores de x estn formados de la misma manera
que los trminos correspondientes al desarrollo del binmico. Y si n es exponente del
desarrollo, entonces los coeficientes (en virtud del teorema de Newton) sern
., etc ,
n

n

n
x
n

n
x
1
n
,
3
2
2
1
1 2
1
1
1
2

+ A

+ A
Adems, cuando z aumente hasta z, n z A +

es decir,
z + v, entonces x ser igual a la serie

., b ,
n

n

n
x
n

n
x
1
n
x +

+ A

+ A +
3
2
2
1
1 2
1
1
2



Pero
., etc ,
z
v
z
z 2 - z n n
z
v
z 2
z - z n n
z
v
z
z
n
1
n
A
=
A
A A
=

A
=
A
A A
=

A
= |
.
|

\
|
A
A
=
- - -
3 3 3
2
2 2
1
Cuando z aumenta
hasta z + v, x aumenta hasta .,
z) ( . 2 .
v v v
x
) z (
v v
x
z
v
x x
3
3 2
+
A

A +
A

A +
A
A +
- - - -
3 1 2 1 1
3
En
natacin moderna, la serie de Taylor se pude escribir
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

107


x d
y(a) d y
x d
) a ( y d y
dx
dy(a)
v y(a) v) y(a
3
3 2
+ + + + = +
3
2
2
donde a es un nmero arbitrario,
x, n v A = y es una funcin de x,



x) (
y(a)

! k
x) 1) - (k - (v x) 2 - x)(v - v v(
. y(a) y(a) x) y(a y(x) - x) (x y y(x)
k
k
A
A A A A
A + = A + A + = A



Se convierte en k
k k
dx
) a ( y d
! k
v

para cada k porque v es fija y cuando n tiende a


infinito, x tiende a cero, segn la argumentacin de Taylor. Su mtodo no es
evidentemente riguroso, y no considera el problema de la convergencia.



Este mtodo se aplica igualmente para efectuar diferenciaciones o integraciones, y
Taylor se sirve de l para esbozar la determinacin de las soluciones particulares de
las ecuaciones diferenciales, para la bsqueda de frmulas que liguen la derivada de
una funcin a la derivada de la funcin inversa, como por ejemplo,
,
dx
dy

dx
y d
dy
x d
2 3
2
2
2
=
y
para el estudio profundo de los cambios de variable independiente. Considera tambin
uno de los primeros ejemplos de fsica matemtica, la determinacin de la frecuencia
de vibracin y de la forma de una cuerda vibrante.


Despus de la publicacin del tratado de fluxiones de Maclaurin, la escuela inglesa de
matemticas dejo prcticamente de existir, y solo hasta comienzos del siglo XIX
gracias al contacto con matemticos occidentales vuelve a renacer.


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

108

2.4.9. La obra de Leonhard Euler.
79


La figura dominante del periodo que se extiende desde 1727 hasta 1738 es
indiscutiblemente, Leonhard Euler. Reconocido universalmente como genio, dotado de
una gran inteligencia, enriqueci casi todas las ramas de la matemtica. Puras y
aplicadas. Sus trabajos consagrados a la mecnica, al lgebra, al anlisis matemtico,
a la teora de los logaritmos, a la geometra analtica y diferencial y al clculo de
variaciones, se han convertido en clsicos por excelencia. La trigonometra moderna,
que hoy manejamos, proviene esencialmente de su Introductio de 1748, diversas
cuestiones de notacin en algebra y en anlisis fueron definitivamente zanjadas en
sus trabajos. Para esta poca los matemticos distinguan entre funciones algebraicas
y funciones trascendentes. As mismo, Leibniz demostr que sen x no poda ser una

79
Leonhard Paul Euler. (Basilea, Suiza, 15 de abril de 1707 - San Petersburgo, Rusia, 18 de septiembre de
1783), conocido como Leonhard Euler, fue un matemtico y fsico suizo. Se trata del principal matemtico del
siglo XVIII y uno de los ms grandes y prolficos de todos los tiempos. Hijo de Paul Euler, (pastor calvinista), fue
amigo de la familia Bernoulli; famosa familia de matemticos entre los que destacaba Johann Bernoulli, que en
ese momento era ya considerado el principal matemtico europeo, y que ejercera una gran influencia sobre el
joven Leonhard. Euler trabaj prcticamente en todas las reas de las matemticas: geometra, clculo,
trigonometra, lgebra, teora de nmeros, adems de fsica continua, teora lunar y otras reas de la fsica.
Adicionalmente, aport de manera relevante a la lgica matemtica con su diagrama de conjuntos. Euler
introdujo y populariz varias convenciones referentes a la notacin en los escritos matemticos en sus
numerosos y muy utilizados libros de texto. Posiblemente lo ms notable fue la introduccin del concepto de
funcin matemtica, siendo el primero en escribir f(x) para hacer referencia a la funcin f aplicada sobre el
argumento x. Esta nueva forma de notacin ofreca ms comodidad frente a los rudimentarios mtodos del
clculo infinitesimal existentes hasta la fecha, iniciados por Newton y Leibniz, pero desarrollados basndose en
las matemticas del ltimo.
Tambin introdujo la notacin moderna de las funciones trigonomtricas, la letra e como base del logaritmo
natural o neperiano (el nmero e es conocido tambin como el nmero de Euler), la letra griega como
smbolo de los sumatorios y la letra i para hacer referencia a la unidad imaginaria.

El uso de la letra griega
para hacer referencia al cociente entre la longitud de la circunferencia y la longitud de su dimetro tambin fue
popularizado por Euler, aunque l no fue el primero en usar ese smbolo. El desarrollo del clculo era una de las
cuestiones principales de la investigacin matemtica del siglo XVIII, y la familia Bernoulli haba sido
responsable de gran parte del progreso realizado hasta entonces. Gracias a su influencia, el estudio del clculo
se convirti en uno de los principales objetos del trabajo de Euler. Si bien algunas de sus demostraciones
matemticas no son aceptables bajo los estndares modernos de rigor matemtico, es cierto que sus ideas
supusieron grandes avances en ese campo. (O'Connor, John J.; Robertson, Edmund F., Biografa de Leonhard
Euler (en ingls), MacTutor History of Mathematics archive, Universidad de Saint Andrews)


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

109

funcin algebraica de x. el trmino fluente Utilizado por Newton, representa una
relacin entre variables, mientras que Leibniz se sirve de la palabra funcin para
designar toda cantidad que vara de un punto a otro de una curva. En su Historia de
1714, Leibniz emplea el trmino funcin para designar cantidades que dependen de
una variable, y J ohannes Bernoulli considera que una cantidad formada de cualquier
manera con variables y constantes constituye una funcin.

En le mismo comienzo de su Introductio, Euler define la funcin de una cantidad
variable como una expresin analtica formada de cualquier manera con esta cantidad
variable, con nmeros y con constantes. Engloba bajo esta denominacin a los
polinomios, las series de potencias y ls expresiones trigonomtricas y logartmicas.
Despus da una definicin de funcin algebraica como aquella en la que solo estn
permitidas las operaciones algebraicas sobre la variable independiente y distingue,
adems dos clases de funciones algebraicas: la funcin racional, que implica las cuatro
operaciones aritmticas habituales y la funcin irracional, que incluye adems la
radicacin. Euler distingue la funcin algebraica de la funcin trascendente diciendo
que esta ltima requiere la repeticin ilimitada de combinaciones de la primera, de lo
que se sigue que la funcin trascendente viene dada por una serie infinita. Las
funciones exponenciales, logartmicas y trigonomtricas son todas ellas trascendentes
as como algunas integrales y variables con potencias irracionales. Desarrolla toda
funcin como serie de potencias y llego incluso a afirmar que toda funcin es
desarrollable en series de potencias; lleg a afirmar que toda funcin puede ser
desarrollada en la forma:

+ + +
| o
Cz Bz Az
en la que los exponentes
| o , ,
pueden
ser cualquier nmero. Para ello no cabe la menor duda que toda funcin es
desarrollable en serie, lo que, por otra parte, era una opinin muy extendida entonces.
Fundada en la experiencia adquirida por Euler y sus contemporneos a partir de la
manipulacin de las series infinitas. Euler considera por separado las funciones
explicitas y las implcitas; distingue las funciones que tienen una sola imagen de las
que pueden tener ms de una imagen para el mismo valor de la variable
independiente. En cuanto a las funciones polinmica afirma que pueden ser
descompuestas en factores de primero y segundo grado con coeficientes reales. El
concepto de funcin continua durante el siglo XVIII se asocia esencialmente a la
funcin que puede ser especificada mediante una expresin analtica.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

110


2.4.9.1. Las notaciones de Euler.

Euler es probablemente uno de los grandes creadores de las notaciones matemticas
modernas, adems de haber introducido nuevas constantes. Desde la invencin de los
logaritmos por Nepier y Brgi a comienzos del siglo XVII y la introduccin del concepto
de base de los logaritmos de Briggs y Speidell, se sinti la necesidad de utilizar una
letra apropiada para designar la base natural del logaritmo, pero har falta ms de
un siglo desde la publicacin de los primeros logaritmos en 1614 para que la letra e,
utilizada frecuentemente por Euler, designe en adelante la base natural del logaritmo.
Sin embargo, Euler utiliza su letra e para el nmero cuyo logaritmo hiperblico es
igual a uno y es su Mechanica, publicada en 1736, donde aparece al letra e impresa
por primera vez.


2.4.9.2. El nmero e

Euler defini la constante matemtica conocida como nmero
, e
como aquel nmero
real tal que el valor de su derivada (la pendiente de su lnea tangente) en la funcin
x
e ) x ( f = en el punto 0 = x es exactamente 1. Es ms, es el nmero real tal que la
funcin
x
e ) x ( f = se tiene como derivada a s misma. La funcin
x
e es tambin
llamada funcin exponencial y su funcin inversa es el logaritmo neperiano, tambin
llamado logaritmo natural o logaritmo en base . e



El nmero
, e
puede ser representado como un nmero real en varias formas: como
una serie infinita, un producto infinito, una fraccin continua o como el lmite de una
sucesin. La principal de estas representaciones, particularmente en los cursos
bsicos de clculo, es como el lmite: ( )
n
1
n) (1 lim e , 1 lim e
0 n
n
n
1
n
+ = + =


y tambin como la
serie

=
=
0 n
! n
e
1

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

111



Adems, Euler es muy conocido por su anlisis y su frecuente utilizacin de la serie de
potencias, es decir, la expresin de funciones como una suma infinita de trminos
como la siguiente:

|
|
.
|

\
|
+ + + + = =

! n
x
!
x
!
x
0!
1
lim
! n
x
e
n
n
0 n
n
x

2 1
2

Uno de los famosos logros de
Euler fue el descubrimiento de la expansin de series de potencias de la funcin
arcotangente. Su atrevido aunque, segn los estndares modernos, tcnicamente
incorrecto uso de las series de potencias le permitieron resolver el famoso problema de
Basilea en 1735, por el cual quedaba demostrado que:
6
1
3
1
2
1
2 2 2
2
2
n

n 1
1
lim
t
= |
.
|

\
|
+ + + +




Euler introdujo el uso de la funcin exponencial y de los logaritmos en las
demostraciones analticas. Descubri formas para expresar varias funciones
logartmicas utilizando series de potencias, y defini con xito logaritmos para nmeros
negativos y complejos, expandiendo enormemente el mbito de la aplicacin
matemtica de los logaritmos. Tambin defini la funcin exponencial para nmeros
complejos, y descubri su relacin con las funciones trigonomtricas. Para cualquier
nmero real , la frmula de Euler establece que la funcin exponencial compleja
puede establecerse mediante la siguiente frmula

sen i cos e
i
+ =








Siendo un caso especial de la frmula (cuando t = ), lo que se conoce como la
identidad de Euler: . e
i
0 1= +
t
Esta frmula fue calificada por Richard Feynman
como la frmula ms reseable en matemticas, porque relaciona las principales
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

112

operaciones algebraicas con las importantes constantes
, y i, e, 1, , t 0
mediante la
relacin binaria ms importante
80
. Aqu, e es la base del logaritmo neperiano, i
(tambin denotada j) es la unidad imaginaria, y sin y cos son el seno y el coseno, las
funciones trigonomtricas. La frmula puede interpretarse geomtricamente como una
circunferencia de radio unidad en el plano, dibujada por la funcin e
ix
al variar x sobre
los nmeros reales. As, x es el ngulo de una recta que conecta el origen del plano y
un punto sobre la circunferencia unidad, con el eje positivo real, medido en sentido
contrario a las agujas del reloj y en radianes. La frmula solo es vlida si tambin el
seno y el coseno tienen sus argumentos en radianes. La demostracin estaba basada
en el desarrollo en series de Taylor de la exponencial e
z
(donde z es un nmero
complejo), y el desarrollo de sin x y cos x.

La frmula de Euler fue demostrada por primera vez por Roger Cotes en 1714, y luego
redescubierta y popularizada por Euler en 1748. Es interesante notar que ninguno de
los descubridores vio la interpretacin geomtrica sealada anteriormente: la visin de
los nmeros complejos como puntos en el plano surgi unos 50 aos ms tarde. La
frmula proporciona una potente conexin entre el anlisis matemtico y la
trigonometra. Se utiliza para representar los nmeros complejos en coordenadas
polares y permite definir el logaritmo para nmeros complejos.

De las reglas de la exponenciacin
b a b a
e e e =
+
y
ab b a
e ) e ( =
(vlidas para todo par
de nmeros complejos a y b), se pueden derivar varias identidades trigonomtricas, as
como la frmula de Moivre. La frmula de Euler tambin permite interpretar las
funciones seno y coseno como trminos de variaciones de la funcin exponencial:
, x cos
ix ix
e e
2

+
=
i
e e
ix ix
x sen
2

=
Estas frmulas sirven as mismo para definir las
funciones trigonomtricas para argumentos complejos x. Las dos ecuaciones
anteriores se obtienen simplemente resolviendo las frmulas x sen i x cos e
ix
+ =

y
x sen i x cos e
-ix
= para el seno y el coseno.


80
Calinger, Ronald (1996). Leonhard Euler: The First St. Petersburg Years (17271741). Historia Mathematica
23 (2): pp. 154155.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

113

En las ecuaciones diferenciales, la funcin
ix
e es utilizada a menudo para simplificar
derivadas, incluso si la respuesta final es una funcin real en la que aparezcan senos o
cosenos. La identidad de Euler es una consecuencia inmediata de la frmula de Euler.
En ingeniera elctrica y otras disciplinas, las seales que varan peridicamente
suelen describirse como una combinacin de funciones seno y coseno (para
profundizar ver anlisis de Fourier), y estas son expresadas ms convenientemente
como la parte real de una funcin exponencial con exponente imaginario, utilizando la
frmula de Euler. Veamos ahora la demostracin de la frmula de Euler utilizando el
desarrollo en serie de Taylor:

La funcin e
x
(con x real) puede escribirse como:

! n
x

!
x
!
x
!
x
!
x
e
0 n
n 3 2 1 0
x

=
= + + + + =
3 2 1 0
y
para x complejo se define mediante dicha serie. Si multiplicamos por i al exponente:

i
! n
x
n!
x i
! n
x) (i
e
0 n n
n
n
n
n n n
x i

=
= = =
0 0
Reagrupando se tiene:

i
)! n (
x
i
)! n (
x
i
)! n (
x
i
)! n (
x
e
0 n
n
n
n
n
n
n
n
n
x i

=
+
+
+
+
+
+
|
|
.
|

\
|
+
+
+
+
+
+ =
3 4
3 4
2 4
2 4
1 4
1 4
4
4
3 4 2 4 1 4 4


Para simplificar tendremos en cuenta que: , i i, - i , i , i i , i
4 3 2 1
1 1 1
0
= = = = = y
generalizando para todo n: i, - i , i , i i , i
3 4n 2 4n 1 4n n
= = = =
+ + +
1 1
4
As,
i
)! n (
x
)! n (
x
i
)! n (
x
)! n (
x
e
0 n
n n n n
x i

=
+ + +
|
|
.
|

\
|
+

+
+ =
3 4 2 4 1 4 4
3 4 2 4 1 4 4

Reordenando trminos y separando la suma en dos partes (lo que es posible por ser
absolutamente convergente):

( ) ( )


=
+ +
=
+
|
|
.
|

\
|
+

+
+
|
|
.
|

\
|
+
=
0 n
n 1 4n
0 n
n n
x i
! n
x
! n
x
i
)! n (
x
)! n (
x
e
3 4 1 4 2 4 4
3 4 2 4 4


Si tomamos el desarrollo en serie de Taylor de seno y coseno tenemos:

=
+
|
|
.
|

\
|
+
= + + =
0
2 4 4 6 4
2 4 4 6 4 2
n
n n 2
)! n (
x
)! n (
x
!
x
!
x
!
x
- 1 x cos

y

=
+ +
|
|
.
|

\
|
+

+
= + + =
0
3 4 1 4 7 5
3 4 1 4 7 5 3
n
n n 3
)! n (
x
)! n (
x

!
x
!
x
!
x
- x x sen
Por lo tanto x sen i x cos e
x i
+ =
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

114


Adems de eso, Euler elabor la teora de las funciones trascendentes (aquellas que
no se basan en operaciones algebraicas) mediante la introduccin de la funcin
gamma, e introdujo un nuevo mtodo para resolver ecuaciones de cuarto grado.
Tambin descubri una forma para calcular integrales con lmites complejos, en lo que
sera en adelante del moderno anlisis complejo, e invent el clculo de variaciones
incluyendo dentro de su estudio a las que seran llamadas las ecuaciones de Euler-
Lagrange.

Euler tambin fue pionero en el uso de mtodos analticos para resolver problemas
tericos de carcter numrico. Con ello, Euler uni dos ramas separadas de las
matemticas para crear un nuevo campo de estudio, la teora analtica de nmeros. Para
ello, Euler cre la teora de las series hipergeomtricas, las series q, las funciones
hiperblicas trigonomtricas y la teora analtica de fracciones continuas. Por ejemplo,
demostr que la cantidad de nmeros primos es infinita utilizando la divergencia de
series armnicas, y utiliz mtodos analticos para conseguir una mayor informacin
sobre cmo los nmeros primos se distribuyen dentro de la sucesin de nmeros
naturales. El trabajo de Euler en esta rea llevara al desarrollo del teorema de los
nmeros primos.

2.4.9.3. Los smbolos i,

,

El smbolo i para designar la 1 es una solucin introducida por primera vez por
Euler en 1777. En sus primeros trabajos utilizaba el smbolo i para designar un
nmero infinito, un poco a la manera de Wallis con su smbolo . As Euler escribi
( ) . 1 e
i
i
x
x
+ =

mientras que actualmente se escribira: ( ) . 1 lim e
h
h
x
h
x
+ =
0

El smbolo

i
fue publicado hasta 1794, conocer una amplia difusin gracias a Gauss, que lo
adopt en su obra clsica Disquisitiones arithmeticae de 1801.

Debemos a Euler la designacin de los lados de un tringulo mediante las letras
minsculas a, b, c y de los ngulos opuestos a sus lados mediante las letras A, B, C;
as como el uso de las letras r, R y s para designar respectivamente los radios de las
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

115

circunferencias inscritas y circunscritas y el permetro de un tringulo. Le debemos
tambin la designacin de lx para el logaritmo de x, el smbolo

para indicar la
sumacin. Y la notacin funcional fx introducida en 1734 en los Comentarios de la
Academia de San Petersburgo. Aadamos adems que en su Introductio de 1748
utiliza las abreviaturas sen, cos, tg, cotg, sec, cosec para las funciones trigonomtricas
habituales.

2.4.9.4. La diferencial en Euler.

Euler determina la diferencial de , x y
2
= de la manera siguiente: w es el incremento de
x,
2
2 w xw n + = es el incremento de y, la razn
n
w
de los incrementos de x y de y es:
), w x ( : + 2 1 y como w=0, se deduce que .
x
dx
) x ( d
1
2
2
= Como Euler elimina las
diferenciales, la derivada ,
dx
dy
que significa para l el cociente ,
0
0
puede ser igual a un
nmero, de la manera siguiente: para todo nmero n, n.0=0, entonces , n
0
0
= y en
consecuencia la derivada resulta ser un mtodo apropiado para determinar el
cociente .
0
0



En lo que respecta al infinito, la concepcin e Euler es ms bien intuitiva y a sus
aplicaciones les falta a veces previsin. Simboliza el infinito con el grafo . el cual
representa una cantidad mayor que cualquier cantidad finita. Euler interpreta que la
relacin
=
0
a
significa que una cantidad infinita multiplicada por cero o nada puede
ser igual a una cantidad finita. Adems las razones
n 2
dx
a
dx
a
dx
a
, , , puesto que los
0 =
i
x d corresponden respectivamente al infinito de primer orden, de segundo
orden,, de n-simo, de manera que la diferencial determina el orden del infinito. Su
falta de previsin es particularmente evidente en el tema de la manipulacin de las
series infinitas, por ejemplo Euler sostiene que de
4
1
=
+
2
1) (1
1
se puede deducir que la
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

116

serie infinita + + 5 4 3 2 1 tiene por suma
;
4
1
en otras ocasiones afirma que
0 7 35 1 = +

porque de
) x x (
2
1
1

se obtiene + + + + = 3 2 1 1 1

para x =1 y de se
) x ( 1
1
obtiene 1 16 8 4 2 1 1 + + + + + =

para x=2, contradiccin que Euler no puede
ms que sealar; sumando luego las dos series siguientes:
,
x - 1
x
x x x = + + +
3 2
,
1 - x
x

x
x
= + + +
2
1 1
1

se obtiene:
0 1 1
1 1
2
2
= + + + + + + + x x
x x


Afortunadamente para l, al trabajar con funciones regulares Euler no encontr en
general problemas en los que sus concepciones del infinito, de la diferencial o de la
continuidad pudieran conducirle a situaciones embarazosas o inextricables. Sin
embargo, aunque sus ideas sobre los fundamentos del clculo fueran juzgadas
ingenuas y poco rigurosas, por los matemticos del siglo XIX, permitieron no slo
liberar al nuevo clculo de las trabas de la geometra sino tambin hacer ms
conveniente la interpretacin aritmtica por medio del concepto de lmite, que ser
formulada por sus sucesores.




2.4.9.5. Teora de nmeros
81


El inters de Euler en la teora de nmeros procede de la influencia de Christian
Goldbach, amigo suyo durante su estancia en la Academia de San Petersburgo. Gran
parte de los primeros trabajos de Euler en teora de nmeros se basan en los trabajos
de Pierre de Fermat. Euler desarroll algunas de las ideas de este matemtico francs
pero descart tambin algunas de sus conjeturas. Euler uni la naturaleza de la
distribucin de los nmeros primos con sus ideas del anlisis matemtico. Demostr la
divergencia de la suma de los inversos de los nmeros primos y, al hacerlo, descubri

81
Boyer, Carl B.; Uta C. Merzbach. A History of Mathematics. John Wiley & Sons. pp. 439445.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

117

la conexin entre la funcin zeta de Riemann y los nmeros primos. Esto se conoce
como el producto de Euler para la funcin zeta de Riemann.

Euler tambin demostr las identidades de Newton, el pequeo teorema de Fermat, el
teorema de Fermat sobre la suma de dos cuadrados e hizo importantes contribuciones al
teorema de los cuatro cuadrados de Joseph-Louis de Lagrange. Tambin defini la funcin
de Euler que, para todo nmero entero positivo, cuantifica el nmero de enteros
positivos menores o iguales a n y coprimos con n. Ms tarde, utilizando las
propiedades de esta funcin, generaliz el pequeo teorema de Fermat a lo que se
conoce como el teorema de Euler. Contribuy de manera significativa al entendimiento
de los nmeros perfectos, tema que fascin a los matemticos desde los tiempos de
Euclides, y avanz en la investigacin de lo que ms tarde se concretara en el teorema
de los nmeros primos. Los dos conceptos se consideran teoremas fundamentales de la
teora de nmeros, y sus ideas pavimentaron el camino del matemtico Carl Friedrich
Gauss. En el ao 1772, Euler demostr que 647 483 147 2 1 2
31
= es un nmero primo
de Mersenne. Esta cifra permaneci como el nmero primo ms grande conocido hasta
el ao 1867.

Con referencia al pequeo teorema de Fermat: si p es primo, a a
p
es divisible por p
que se public en una memoria en 1761 en los comentarios de San Petersburgo bajo
el titulo Teoremas sobre los residuos obtenidos por la divisin de las potencias.
Precedida de nueve teoremas sobre los residuos, su demostracin se basa en la
induccin matemtica y se presenta as, (Euler utiliza el mtodo de descenso infinito
de Fermat):

p. con primo sea a que tal con a de valor todo para vlido
es teorema el primero. el tambien tanto, lo por y p, por divisible es miembro segundo el todo que
deduce se hiptesis, por p, por divisible es ) k (k Como ). k k ( mp ) k ( 1) (k que
ve se miembro cada a 1 k restando entero. un es m donde mp k como 1) (k escribir
pude se binomio, del teorema el utilizando 1; k a para cierto es teorema el que s Demostremo 3).
positivo. entero un es a donde k, a para teorema el Aceptamos 2).
cierto. nte evidenteme es teorema el 1, a Si ).
p p p
p p
+ = + +
+ + + +
+ =
=
=
1
1
1


Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

118

Euler generaliza este teorema de Fermat en 1760 introduciendo la funcin
) n (

nmero de enteros inferiores a n y primos con n (aunque la notacin
) n (
fue
introducida por Gauss), demuestra que si a es un numero primo con n, entonces
1
) n (
a

es divisible por n. Por ejemplo, partiendo de


etc., 2, (4) 2, (3) 1, (2) , ) ( = = = = 1 1

para n=60 con a=23, se encuentra que
16, (60) =
utilizando la descomposicin
|
|
.
|

\
|
|
|
.
|

\
|
=
i 1
p
1
- 1
p
1
- 1 n (n)
donde los p
i
son factores distintos, primos con 60, de donde
1
16
23
es divisible por 60.


Con respecto al tema de las ecuaciones diferenciales, los trabajos de Euler son
numerosos y significativos. Estableci la teora del factor integrante, introducida por
J ohann Bernoulli, y en 1750 integro las ecuaciones diferenciales lineales de
coeficientes constantes. Hacia 1760, estudiando la ecuacin de Riccati
), x ( r y ) x ( q p(x)y y
2
+ + = '
demostr que, si se conoce una solucin particular
f(x), v =
la sustitucin u
1
n y + =
transforma esta ecuacin de Riccati en una ecuacin
diferencial lineal en u. adems, si se conocen dos integrales particulares (soluciones),
la solucin de la ecuacin original se reduce a una simple cuadratura. Tambin
resolvi completamente la ecuacin diferencial homognea de coeficientes constantes
de orden n y acometi tambin la integracin de las ecuaciones no homogneas.
Desarrollo el mtodo de las series para la resolucin de ecuaciones diferenciales y, en
particular introdujo la utilizacin de series hipergeomtricas.


Considero problemas relativos a extremos de integrales, ya estudiados por discpulos
de Leibniz. Euler generaliz el problema de la braquistcrona en trminos de
cantidades mnimas e introdujo un nuevo enfoque para estudiar estos tipos de
problemas, como los isopermetros y las superficies mnimas de revolucin. De 1736
1744, mejor su mtodo, equivalente a transformar la integral
}
' =
2
x
x
1
dx ) y , y , x ( f J
de
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

119

manera que la funcin y(x), que hace mnimo o mximo el valor de J. satisfaga la
relacin
0 = ' ' '
' ' '
y f y f f f
y y y y x y x

Como f es conocida, esta ecuacin de segundo orden, no lineal es general, es una
ecuacin diferencial ordinaria en y(x). En la actualidad, esta ecuacin constituye la
ecuacin fundamental del clculo de variaciones. Aunque sus argumentos se
complicaran por la consideracin simultnea de elementos geomtricos y analticos
(diferencias sucesivas y series), Euler expuso el primer mtodo general para resolver
los problemas de extremos, creando as una disciplina nueva: El clculo de
variaciones.

En el siglo XVIII fueron descubiertas diversas funciones trascendentes apartir de
problemas de calculo de primitivas y de interpolacion. Entre estas nuevas funciones
trascendentes, la funcion gamma fue obtenida por Euler a partir de sus trabajos en el
problema de la interpolacion de n! meidante un producto infinito, Euler observo que,
para , n
2
1
=

el producto infinito, transformado mediante operaciones algebraicas,
conducia al de Wallis: ( )( )( )
.
.
.
.
.
.
7 5
6 6
5 3
4 4
3 1
2 2
2
=
t


En la notacion ! n ) n ( = + I 1 introducida mas tarde por Legendre, Euler demostr que
(n), n ) n ( I = + I 1 y obtuvo as ), ( ), (
2
5
I I
2
3
etc. Sin embargo, el resultado obtenido
por Euler, idntico al de Wallis, le condujo a la generalizacin del concepto de factorial
por medio d ela integral siguiente, conocida tambien por Wallis:
euleriana integral primera dx ) x ( x
1
0
n e
}
1
Euler calculi esta integral desarrollando el binomio( )
n
x 1 y obtuvo:
+ + =
+ + + + } e) (4 . .
2) - (n 1) - (n n
e) 1.2(3
) - n ( n
) e (
n
e 1
1
1
0
n e
dx ) x ( x
3 2 1
1
2 1
1

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

120

Y para n=0, 1, 2, las sumas del segundo miembro son, respectivamente:
, , , ,
e) (4 ) e .)) e )( e (
. .
e) e)(3 e)(2 (1
.
) e )( e ( e 1
1
+ + + + + + + + + + 3 2 1
3 2 1 2 1
2 1
1
Encontr pues,
valores enteros positivos, que
e) 1 (n e) e)(2 (1
n!
dx ) x ( x
1
0
n e
+ + + +
=
}

1

Por medio de una sustitucin adecuada, Euler dio la forma moderna
, n! 1) (n donde , dx e x ! n
0
x n
= + I =
}

llamada funcin gamma por Legendre. La


primera integral euleriana se conoce ahora, en su forma habitual, como la funcin
beta . dx ) x ( x ) n , m (
n m
}

=
1
0
1 1
1 | Euler tambin consigui obtener la relacin entre
estas dos funciones trascendentes moderna. notacin en
) n m (
) n ( ) m (
) n , m (
+ I
I I
= |


Aos despus estos trabajos sobre funciones trascedentes fueron desarrollados y
enriquecidos por los trabajos de Legendre y Gauss.

En un ensayo sobre logaritmos de las cantidades negativas (1761, DAlamber
82
en
correspondencia con Euler, sobre el tema, sigue convencido que este problema
todava no ha sido resuelto enteramente. DAlember, define el logaritmo mediante dos

82
Jean le Rond D'Alembert. (1717-1783) matemtico, filsofo y enciclopedista francs. Uno de los mximos
exponentes del movimiento ilustrado. Es clebre por crear, con Diderot, LEncyclopdie y por su labor en el
campo de las matemticas, relativo a las ecuaciones diferenciales y a las derivadas parciales. Abord la
matemtica a travs de la fsica, con el problema de los tres cuerpos (imposibilidad de encontrar ecuaciones de
las trayectorias - inestabilidad del sistema), la precesin de los equinoccios (razn del deslizamiento de las
estaciones), las cuerdas vibrantes (distintos modos de vibracin - aplicacin a la msica). Esto le llev a estudiar
las ecuaciones diferenciales y las ecuaciones a las derivadas parciales. Tambin invent un criterio para
distinguir una sire convergente de una divergente. Su obra maestra fue el Tratado de dinmica, donde enunci
el teorema que lleva su nombre (principio de DAlember). El Teorema Fundamental del Algebra recibe en
algunos pases de Europa el nombre de teorema de D'Alembert - Gauss, dado que D'Alembert fue el primero
en dar una prueba casi completa sobre dicho teorema. (Mayos, G. J.M. Snchez Ron, T. et all.(2008)).

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

121

progresiones al igual que lo hizo Napier, llegando a sostener que los logaritmos de
nmeros negativos no son imaginarios pueden ser reales o imaginarios, segn la
eleccin del sistema de logaritmos. Apoyado en las ideas de Bernoulli, emplea
argumentos de naturaleza metafsica y geomtrica para demostrar que las
conclusiones de Euler no son necesariamente verdaderas.


DAlember presenta sus aclaraciones sobre el clculo infinitesimal en lagunas
memorias filosficas y en artculos escritos para la Enciclopedia. Para l, sin negar la
existencia del infinito actual, la geometra no supone, al menos necesariamente, su
existencia real. El infinito de las matemticas, dice, no es ms que el lmite de las
cantidades finitas en el sentido de que puede ser igual a un nmero tan grande como
se quiera. As, para l, la idea de nmero infinito no es ms que una idea abstracta
que expresa solamente un lmite de naturaleza intelectual, al cual todo nmero finito no
llega nunca.


DAlember habla de infinitos de segundo y tercer orden en termino de lneas infinitas
que recurren al concepto de funcin. Por ejemplo, si se llega a ser infinita, otra lnea
que dependa de ella es infinita en segundo orden, lo que significa, segn dice, que la
razn de la segunda lnea a la primera (suponiendo que las dos sean infinitas) es tanto
mayor cuanto mayor es la primera y esta razn puede suponerse mayor que cualquier
numero finito. Para definir cantidades infinitamente pequeas procede de la misma
manera, lo que le conduce a rechazar las cantidades evanescentes de Newton y el
concepto mismo de diferencial.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

122


Para DAlember, en el clculo diferencial, no hay pues necesariamente cantidades
infinitamente pequeas, sino ms bien lmite de razones de dos cantidades finitas.
Qu representa ddy/dx
2
? DAlember responde que es el lmite de la razn ddy/dx
dividido por dx; o, ms claramente, es el lmite de donde dy/dx=z. es una cantidad
finita.

La formulacin del concepto de lmite en DAlember adoleci de una fraseologa
insuficientemente definida y a veces demasiado vaga para que fuera aceptable por sus
contemporneos. Los autores de tratados sobre el tema en el ltimo tercio del siglo
XVIII perpetuaron las ideas de Leibniz y Euler en lugar de los puntos de vista, ms
justos y rigurosos, de DAlember. DAlember propone la derivada como un lmite, y su
definicin de limite en trminos de una variable que se aproxima a una cantidad fija
tanto como cualquier cantidad dada no engloba el paso al lmite, pero representa
probablemente la mejor definicin de limite en esa poca.

Los otros trabajos de

DAlember, aparte de su obra literaria y filosfica, estn
consagrados casi todos a la mecnica celeste. Dentro de este gran desarrollo de las
matemticas, se destac otro francs de nombre Clairaut
83
.

83
Alexis Claude Clairaut (1713-1765) matemtico francs. Nacido en Paris, donde su padre era profesor de
matemticas, fue considerado un nio prodigio. A los 12 aos escribi un desarrollo sobre cuatro curvas
geomtricas, y lleg a alcanzar tal progreso en el tema (bajo la tutela de su padre), que a la edad de 13 aos
ley ante la Academia francesa un resumen de las propiedades de las cuatro curvas que haba descubierto. Tres
aos ms tarde, complet un tratado sobre curvas de doble curvatura, Recherches sur les courbes a double
courbure, que la vali su admisin a la Academia de ciencias francesa tras su publicacin en 1731, a pesar de
que an no contaba con la mnima edad legal de 18 aos para ser admitido.

En 1736, junto con Pierre Louis Maupertuis, form parte de una expedicin a Laponia, que tena como objetivo
medir un grado de meridiano. Tras su regreso, public un tratado que dio en llamar Thorie de la figure de la
terre (1743). En este trabajo plante por primera vez su teorema, que luego se hara conocido con el nombre
de Teorema de Clairaut, segn el cual se conecta la gravedad en los puntos superficiales de un elipsoide en
rotacin con la compresin y la fuerza centrfuga en el ecuador. Clairaut obtuvo una ingeniosa resolucin
aproximada para el problema de los tres cuerpos. En 1750 obtuvo el premio de la Academia rusa de ciencias
por su ensayo Thorie de la lune, y en 1759 calcul el perihelio del cometa Halley.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

123


2.4.9.6. Teora de grafos y geometra

Alexanderson, Gerald (J uly 2006). En su artculo Euler and Knigsberg's bridges: a
historical view. Bulletin of the American Mathematical Society. El Problema de los
puentes de Knigsberg, cuyo mapa de la ciudad en tiempos de Euler, muestra el lugar
donde se encontraban ubicados los siete puentes y al que Euler dio solucin en 1736.
La ciudad de Knigsberg, en Prusia Oriental (actualmente Kaliningrado, en Rusia),
estaba localizada en el ro Pregel, e inclua dos grandes islas que estaban conectadas
entre ellas por un puente, y con las dos riberas del ro mediante seis puentes (siete
puentes en total). El problema que se planteaban sus habitantes consista en decidir si
era posible seguir un camino, y cmo hacerlo, que cruzase todos los puentes una sola
vez y que finalizase llegando al punto de partida. Euler logr demostrar
matemticamente que no lo hay. No hay lo que se denomina hoy un ciclo euleriano en
el grafo que modela el terreno), debido a que el nmero de puentes es impar en ms
de dos de los bloques (representados por vrtices en el grafo correspondiente).


A esta solucin se la considera el primer teorema de teora de grafos y de grafos planares.
Euler tambin introdujo el concepto conocido como caracterstica de Euler del espacio, y
una frmula que relacionaba el nmero de lados, vrtices y caras de un polgono convexo con
esta constante conocida como El teorema de poliedros de Euler. Utiliz esta idea para
demostrar que no existan ms poliedros regulares que los slidos platnicos
conocidos hasta entonces. El estudio y la generalizacin de esta frmula,
especialmente por Cauchy y L'Huillier, supuso el origen de la topologa.

La Thorie de la lune de Clairault es estrictamente newtoniana en su carcter. En este ensayo el autor explic el
movimiento del afelio que haba desconcertado a los cientficos y a mismo Clairaut hasta entonces, que haba
considerado al fenmeno tan inexplicable al punto de plantearse una hiptesis de revisin de las leyes de
atraccin. Fue entonces cuando se le ocurri llevar la observacin al tercer orden, tras lo cual concluy que los
resultados eran coherentes con las observaciones. Esto fue corroborado en 1754 por algunas tablas lunares.
Clairault escribi tras ello varios papers referidos a la rbita de la luna, y tambin sobre el movimiento de los
cometas y su perturbacin por parte de los planetas, particularmente en el caso del cometa Halley.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

124



Dentro del campo de la geometra analtica descubri adems que tres de los puntos
notables de un tringulo - baricentro, ortocentro y circuncentro - podan obedecer a una
misma ecuacin, es decir, a una misma recta. A la recta que contiene el baricentro,
ortocentro y circuncentro se le denomina Recta de Euler en su honor.

2.4.9.7. Matemtica aplicada

Algunos de los mayores xitos de Euler fueron en la resolucin de problemas del
mundo real a travs del anlisis matemtico, en lo que se conoce como matemtica
aplicada, y en la descripcin de numerosas aplicaciones de los nmeros de Bernoulli, las
series de Fourier, los diagramas de Venn, el nmero de Euler, las constantes e y , las
fracciones continuas y las integrales. Integr el clculo diferencial de Leibniz con el mtodo
de fluxin de Newton, y desarroll herramientas que hacan ms fcil la aplicacin del
clculo a los problemas fsicos. Euler ya empleaba las series de Fourier antes de que el
mismo Fourier las descubriera y las ecuaciones de Lagrange del clculo variacional, las
ecuaciones de Euler-Lagrange.



Hizo grandes avances en la mejora de las aproximaciones numricas para resolver
integrales, inventando lo que se conoce como las aproximaciones de Euler. Las ms
notables de estas aproximaciones son el mtodo de Euler para resolver ecuaciones
diferenciales ordinarias, y la frmula de Euler-Maclaurin. Este mtodo consiste en ir
incrementando paso a paso la variable independiente y hallando la siguiente imagen
con la derivada. Tambin facilit el uso de ecuaciones diferenciales, en particular
mediante la introduccin de la constante de Euler-Mascheroni:

. (n) ln
n 2
1
1 lim
n
|
.
|

\
|
+ + + + =

1
3
1



Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

125

Por otro lado, uno de los intereses ms llamativos de Euler fue la aplicacin de las
ideas matemticas sobre la msica. En 1739 escribi su obra Tentamen novae theoriae
musicae, esperando con ello poder incorporar el uso de las matemticas a la teora
musical. Esta parte de su trabajo, sin embargo, no atrajo demasiada atencin del
pblico, y lleg a ser descrita como demasiado matemtica para los msicos y
demasiado musical para los matemticos.


2.4.9.8. Fsica y astronoma

Euler ayud a desarrollar la ecuacin de la curva elstica, que se convirti en el pilar de
la ingeniera. Aparte de aplicar con xito sus herramientas analticas a los problemas
de mecnica clsica, Euler tambin las aplic sobre los problemas de los movimientos
de los astros celestes. Su trabajo en astronoma fue reconocido mediante varios
premios de la Academia de Francia a lo largo de su carrera, y sus aportes en ese
campo incluyen cuestiones como la determinacin con gran exactitud de las rbitas de
los cometas y de otros cuerpos celestes, incrementando el entendimiento de la
naturaleza de los primeros, o el clculo del paralaje solar. Formula siete leyes o
principios fundamentales sobre la estructura y dinmica del Sistema Solar y afirma que los
distintos cuerpos celestes y planetarios rotan alrededor del Sol siguiendo una rbita de
forma elptica. Sus clculos tambin contribuyeron al desarrollo de tablas de longitud ms
exactas para la navegacin. Tambin public trabajos sobre el movimiento de la luna.

Adems, Euler llev a cabo importantes contribuciones en el rea de la ptica. No
estaba de acuerdo con las teoras de Newton sobre la luz, desarrolladas en su obra
Opticks, y que eran la teora prevalente en aquel momento. Sus trabajos sobre ptica
desarrollados en la dcada de 1740 ayudaron a que la nueva corriente que propona
una teora de la luz en forma de onda, propuesta por Christiaan Huygens, se
convirtiese en la teora hegemnica. La nueva teora mantendra ese estatus hasta el
desarrollo de la teora cuntica de la luz. En el campo de la mecnica Euler, en su
tratado de 1739, introdujo explcitamente los conceptos de particula y de masa puntual y
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

126

la notacin vectorial para representar la velocidad y la aceleracin, lo que sentara las
bases de todo el estudio de la mecnica hasta Lagrange.



En el campo de la mecnica del solido rgido defini los llamados tres ngulos de Euler
para describir la posicin y public el teorema principal del movimiento, segn el cual
siempre existe un eje de rotacin instantneo, y la solucin del movimiento libre.
(Consigui despejar los ngulos en funcin del tiempo). En hidrodinmica estudi el
flujo de un fluido ideal incompresible, detallando las ecuaciones de Euler de la
hidrodinmica. Adelantndose ms de cien aos a Maxwell previ el fenmeno de la
presin de radiacin, fundamental en la teora unificada del electromagnetismo.


En los cientos de trabajos de Euler se encuentran referencias a problemas y
cuestiones tremendamente avanzadas para su tiempo, que no estaban al alcance de la
ciencia de su poca. Los aportes de Euler en Lgica. Se atribuye a Euler el uso de
curvas cerradas para ilustrar el razonamiento silogstico (1768). Las representaciones
de este tipo reciben el nombre de diagramas de Euler.
84


84
Los diagramas de Euler anteceden a los diagramas de Venn, pero son distintos. Fueron introducidos por
Euler para ayudar en la comprensin. John Venn intenta rectificar algunas deficiencias a travs de los
Diagramas de Venn. Como ya se dijo, los diagramas de Euler son similares a los de Venn, pero no necesitan
todas las posibles relaciones. Los diagramas de Euler permiten representar inclusin de una clase en otra. Por
ejemplo, en el representado en la grfica, un conjunto (el A) est totalmente incluido en otro (el B), mientras
que otro (el C) no tiene ninguna relacin con los dos anteriores. Diagrama de Euler. Supongamos que el
conjunto A representa todos los tipos de queso que pueden encontrarse en el mundo, y el B representa a todos
los comestibles existentes en el mundo. Segn el diagrama, se ve claramente que todos los quesos son
comestibles, pero no todos los comestibles son quesos. Si definimos el conjunto C como el de las cosas hechas
de metal, el diagrama nos permite representar de forma evidente dos afirmaciones adicionales: los comestibles
no estn hechos de metal, y las cosas hechas de metal no son comestibles. Pero veamos que son los
diagramas de Venn.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

127

2.4.9.9. Euler y las series infinitas.

Como ya se ha mencionado, Euler manipula a veces las series infinitas con una falta de
previsin particularmente evidente. Sin embargo, esto no le impidi contribuir de manera
importante al estudio de las series infinitas mediante la aportacin de resultados originales y
sumamente significativos. Uno de los resultados, que desconcert a un buen nmero de sus
contemporneos, se refiere a la suma de los recprocos de los cuadrados perfectos. Euler
comienza con la serie del seno, + =
!
x
3!
x
- x x sen
3
5
5
y cuando sex x = 0, la serie puede
concebirse como una ecuacin polinmica infinita que, despus de dividir por x, puede
representarse como + + + +
!
z
!
z
!
z
- 1
!
x
!
x
!
x
- 1
3 3
7 5 3 7 5 3
7 5 7 5

donde . x z
2
= Despus,
utiliza la teora de las ecuaciones algebraicas que se refiere a la relacin entre las races y
los coeficientes (la suma de los recprocos de las races es igual al coeficiente del termino
lineal con signo contrario). Adems, sabe que
|
|
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|
=
2
2
2
2
2
9
1
4
1
t t t
x x x
- 1 x sen
2
donde los
ceros de x sen son , 2 , t t Entonces, las races de la ecuacin en z son
) (3 , ) 2 ( ,
2
t t t
2 2
de donde ,
6 4
1
3
1
2
1
1
1
2
2 2 2 2
t
= + + + + y de la misma manera obtiene
,
90 4
1
3
1
2
1
1
1
4
4 4 4 4
t
= + + + + Utilizando la serie infinita de coseno, obtiene de forma anloga
,
8 7
1
5
1
3
1
1
1
2
2 2 2 2
t
= + + + +

y ,
32 7
1
5
1
3
1
1
1
3
3 3 3 3
t
= + + + +

y as sucesivamente hasta la
potencia n=26.

Los diagramas de Venn tienen el nombre de su creador, John Venn, matemtico y filsofo britnico. Estudiante
y ms tarde profesor en el Caius College de la Universidad de Cambridge, desarroll toda su produccin
intelectual entre esas cuatro paredes. Los diagramas de Venn son ilustraciones usadas en la rama de la
Matemtica y Lgica de clases conocida como teora de conjuntos. Estos diagramas se usan para mostrar
grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un
crculo o un valo. La posicin relativa en el plano de tales crculos muestra la relacin entre los conjuntos. Por
ejemplo, si los crculos de los conjuntos A y B se solapan, se muestra un rea comn a ambos conjuntos que
contiene todos los elementos contenidos a la vez en A y en B. Si el crculo del conjunto A aparece dentro del
crculo de otro B, es que todos los elementos de A tambin estn contenidos en B. (Brewster, David. (1960).
Euler, Leonard. pp 338)

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

128

Tambin se le debe una generalizacin de la frmula de Bernoulli par la suma de potencias
enteras positivas de los nmeros naturales, conocida en la actualidad como la frmula de
sumacion de Euler-Maclaurin as como la relacin siguiente

=
=

0
1
1
i
! i
s
i
s
i
B
) e ( s

que define
los nmeros de Bernoulli . B
i
Euler tambin introdujo la transformacin siguiente:

=
+
A
=
0 0
1
0
2
1 1
n n
n
n
n
n
n
,
a
) ( a ) (

donde
n
A

significa la n-sima diferencia finita; este resultado nos
permite transformar una serie convergente en una serie que converge ms rpidamente.


2.5. Las matemticas en la poca de la revolucin francesa.

En la poca de la revolucin francesa, los matemticos franceses dominan completamente
la historia de las matemticas. En ao 1789 marca una etapa crucial en el desarrollo
sociopoltico del pueblo francs y en los matemticos de eta poca, ya que son parte de las
principales lneas de trabajo que acarrean una proliferacin de las matemticas en el siglo
XIX. Los seis matemticos franceses ms ilustres son: Lagrange, Laplace, Monge,
Condorcet, Carnot y Legendre.

Lagrange trabaj en varias ramas de las matemticas: el clculo de variaciones, la
resolucin algebraica de ecuaciones, la teora de nmeros, la teora de funciones analticas
y el clculo diferencial e integral. Condorcet, fue uno de los pioneros en la aplicacin de las
matemticas a las cuestiones sociales y en particular a la estadstica y la probabilidad.
Monge clarifico definitivamente los principios de conjunto que permiten erigir la geometra
descriptiva a partir de una simple tcnica grfica, e influy grandemente en los autores
franceses en sus estudios sobre geometra analtica del espacio. Monge se distingui
tambin por la creacin de la geometra diferencial de las curvas del espacio y por sus
contribuciones originales al progreso de la teora de superficies.

Laplace realiz importantes contribuciones, tanto a los principios ya los mtodos del
clculo de probabilidades como a sus aplicaciones. Tambin se hizo clebre gracias a su
Mecnica Celeste; sus contribuciones matemticas tocan diversas ramas de esta
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

129

disciplina. Legendre se destac sobre todo en teora de nmeros, aunque sus
contribuciones abarcan un espectro amplio en el campo de las matemticas. Carnot se
destac principalmente en geometra pura, y por su persistencia en querer generalizar
teoremas o resultados ya existentes. Monge y Carnot son los verdaderos fundadores de
la geometra pura moderna. Carnot dejo su nombre unido a un teorema sobre las
transversales. Finalmente, el agrimensor dans Wessel, publico a finales de siglo la
primera representacin satisfactoria de los nmeros complejos.
En una segunda publicacin mostrare los avances en el anlisis matemtico desde la
revolucin francesa hasta el siglo XX



Bibliografa.
- Alexanderson, Gerald (J uly 2006). Euler and Knigsberg's bridges: a historical view. Bulletin
of the American Mathematical Society. El Problema de los puentes de Knigsberg.

- Barcan Marcus, Ruth, tautology (en ingles), The Oxford Companion to Philosophy, Oxford
University Press,

- Bartolom Barcel. (1999). El Descubrimiento del Clculo. Departamento de Matemticas.
Universidad Autnoma de Madrid. Citando a Antonio J . Durn. (1996). Historia, con
personajes de los conceptos del clc ulo, Alianza Universidad AU 861. Grupo Anaya
Comercial, Sevilla Recuperado en http://www.geocities.com/grandesmatematicos/ el 30 oct
2012. 6:10 am

- Bergad, D. (1979). La matemtica renacentista. Historia de la Ciencia. . Editorial Planeta.
ISBN 84-320-0842-7. pp. 120-135

- Brewster, David. (1960). Euler, Leonard (1768, 1823: traduccin). Lettres une Princesse
d'Allemagne. San Petersburgo, Edinburgo (traduccin):W & C Tait, y Longman et al..Ver en
particular en el vol. 1. Las cartas CII - CVIII en las pginas 337-366).

- Boyer, Carl B. (2010). A History of Mathematics. Uta Merzbach. Tercera edicin. ISBN 978-0-
470-630563. QA21.B767. 2010. Recuperado el 27 oct 2012 a las 8.50 p.m.
http://books.google.com.co/books?id=BokVHiuIk9UC&printsec=frontcover&dq=inauthor:%22C
arl+B.+Boyer%22&hl=es&sa=X&ei=dhKPUL-
UKYLe8wSo_4GgDA&ved=0CDAQ6AEwAA#v=onepage&q&f=false

- Bruno Belhoste. !1991) . Augustin-Louis Cauchy. A biography. Springer, New York 1991,
ISBN 3-540-97220-X

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

130

- Cajori, Florian (1898), A History of Elementary Mathematics, Macmillan, p. 189,
http://books.google.com/books?id=UicJ AAAAIAAJ &pg=PA189.

- Cajori, Florian (1907), "A history of the arithmetical methods of approximation to the roots of
numerical equations of one unknown quantity", Science Series (Colorado College Publication)
12: 171289, http://www27.us.archive.org/details/scienceseries00collgoog. The material on de
Beaune is on p. 187.

- Calinger, Ronald (1996). Leonhard Euler: The First St. Petersburg Years (17271741).
Historia Mathematica. pp 23-35.

- Calinger, Ronald (1999). A Contextual History of Mathematics. Prentice-Hall. pp. 150. ISBN
0-02-318285-7. Shortly after Euclid, compiler of the definitive textbook, came Archimedes of
Syracuse (ca. 287212 B.C.), the most original and profound mathematician of antiquity.

- Collete J ean-Paul.(1993). Historia de las matemticas II. Siglo XXI de Espaa editores. S. A.
Madrid, Espaa. Tercera edicin en castellano. Calle Plaza, 5. 28043 Madrid

- Cormen, Thomas; Leiserson, Charles; Rivest, Ronald; Stein, Clifford (2009). Introduction to
algorithms. Cambridge, Massachusetts: The MIT Press. ISBN 978-0-262-53305-8.

- De Rivera, Alberto. Arqumedes. El genio de Siracusa, artculo en Historia de las
Matemticas, en el sitio web de la Universidad Autnoma de Madrid. Recuperado el 30 oct
2012 en:
http://scholar.googleusercontent.com/scholar?q=cache:Ew4NWPPAWV0J:scholar.google.com/+%22m
%C3%A9todo+exhaustivo%22+arquimedes&hl=es&as_sdt=0,5

- Digenes Laercio: Vidas, opiniones y sentencias de los filsofos ms ilustres, IX, 30 - 33
(Leucipo). Recueprado en http://classicpersuasion.org/pw/diogenes/ el 28 de oct 2012 a la
4:10 am.

- Eudoxo de Cnido, p. 3/3. Centro Virtual de Divulgacin de las Matemticas, pgina
desarrollada por la Comisin de Divulgacin de la Real Sociedad Matemtica Espaola.
Consultado el 26 de oct 2012 a las 6:28 pm en
http://es.wikipedia.org/wiki/Real_Sociedad_Matem%C3%A1tica_Espa%C3%B1ola

- Durn, Antonio J . Historia, con personajes de los conceptos del clculo, Alianza Universidad
AU 861, un ameno y completo librito de bolsillo que trata sobre estos temas.


- Gerald, E. (1993). The Plantagenet Roll of the Blood Royal (Mortimer-Percy Volume) by Marquis of
Ruvigny and Raineval. Edition by Addison-Wesley, (1911), pages 250 251

- Honderich, T. (Editor) (2001). Enciclopedia Oxford de Filosofa. Trd. Carmen Garca Trevijano. Madrid.
Editorial Tecnos. ISBN 84-309-3699-8.

- J ansana, R. (1990). Logica Divergente. Tecnos. Serie de Filosofa y Ensayo. 1990. Alianza editorial,
Madrid.

Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

131

- Maor, Eli. (2006). e: The history a nuember. En espaol: e: historia de un nmero.
Traduccin de J uan Pablo Pinasco. D.R. Libraria, SA de CV. Pitgoras 1143-E, Del Valle,
03100, Mxico, DF. Mxico. Correo electrnico: info@libraria.com.mx

- Maupertuis, P. (1746). Les Loix du mouvement et du repos dduites d'un principe
metaphysique|Les loix du mouvement et du repos dduites d'un principe metaphysique.
Histoire de l'Acadmie Royale des Sciences et des Belles Lettres (1746), p. 267-294

- Mayos, G. J .M. Snchez Ron, T. et all.(2008). D'Alembert. Vida, obra y pensamiento.
Barcelona: Planeta DeAgostini, 2008.

- Moreno, R. (1998). Biografas de matemticos ilustres. Centro de divulgacin virtual de las
mamtematicas. Universidad Complutense de Madrid. Madrid

- Moreno C., R. (1998), La Matemtica en Bagdad, en Boletn de la Sociedad Puig Adam
de profesores de Matemticas, n 49, pgs. 53-67.

- Muoz, J e I. Reguera. (1991). Traduccin dela obra de L. Wittgenstein. Tractatus Logico-
Philosophicus. Alianza editorial, Madrid.

- O'Connor, J ohn J .; Robertson, Edmund F., Biografa de J oseph-Louis de Lagrange (en
ingls), MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-
history.mcs.st-andrews.ac.uk/Biographies/Lagrange.html. 2006. ISBN 978-2711771516
.Recuperado el 26 de oct 2012, a las 3:55 pm.

- O'Connor, J ohn J .; Robertson, Edmund F. (2006), Biografa de Peter Gustav Lejeune
Dirichlet (en ingls), MacTutor History of Mathematics archive, Universidad de Saint
Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Dirichlet.html. Recuperado el
26 de oct 2012, a las 4:15 pm.

- O'Connor, J ohn J .; Robertson, Edmund F.(2006), Biografa de Karl Weierstrass (en ingls),
MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-
history.mcs.st-andrews.ac.uk/Biographies/Weierstrass.html. Recuperado el 26 de oct 2012, a
las 4:45 pm.

- O'Connor, J ohn J .; Robertson, Edmund F., Biografa de J ohn Wallis (en ingls), MacTutor
History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
andrews.ac.uk/Biographies/Wallis.html Recuperado el 26 de oct 2012, a las 5:02 pm

- O'Connor, J ohn J .; Robertson, Edmund F., Biografa de Bernhard Riemann (en ingls),
MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-
history.mcs.st-andrews.ac.uk/Biographies/Riemann.html. Recuperado el 27 de oct 2012, a
las 12:02 pm

- O'Connor, J ohn J .; Robertson, Edmund F.,MacTutor History of Mathematics. Archive. (en
ingls), MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-
history.mcs.st-andrews.ac.uk/Biographies/ Recuperado el 27 de oct 2012, a las 2:32 pm

- O'Connor, J . Et al., Biografa de Personier de Roberval(en ingls), MacTutor History of
Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
andrews.ac.uk/Biographies/ Roberval.html. Recuperado el 27 de oct 2012, a las 3:02 pm

- O'Connor, J ohn J .; Robertson, Edmund F., Biografa de Brook Taylor (en ingls), MacTutor
History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

132

andrews.ac.uk/Biographies/Taylor.html. Recuperado el 1 nov de 2012 a las 5:10 am, en
http://es.wikipedia.org/wiki/Brook_Taylor.

- O'Connor, J . 2006 Biografa de J oseph Louis Lagrange ) (en ingls), MacTutor History of
Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
andrews.ac.uk/Biographies/ Lagrange.html. Recuperado el 27 de oct 2012, a las 3:32 pm

- O'Connor, J . 2006. Biografa de Peter Gustav Lejeune Dirichlet) (en ingls), MacTutor History
of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
andrews.ac.uk/Biographies/ Dirichlet.html. Recuperado el 27 de oct 2012, a las 3:54 pm

- O'Connor, J . Et al., Biografa de Pierre de Maupertuis (en ingls), MacTutor History of
Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
andrews.ac.uk/Biographies/ Dirichlet.html. Recuperado el 27 de oct 2012, a las 4:14 pm

- O'Connor, J ohn J .; Robertson, Edmund F.,(2001) The brachistochrone problem (en ingles),
MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-
history.mcs.st-andrews.ac.uk/HistTopics/Brachistochrone.html. Recuperado 1 nov 2012 a las
5:05 am.

- O'Connor, J ohn J .; Robertson, Edmund F., Biografa de Gabriel Cramer (en ingls),
MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-
history.mcs.st-andrews.ac.uk/Biographies/Cramer.html. Recuperado 2 nov 2012 a las 4:60
pm.

- O'Connor, J ohn J .; Robertson, Edmund F., Biografa de Leonhard Euler (en ingls),
MacTutor History of Mathematics archive, Universidad de Saint Andrews. Recuperado 2 nov
2012 a las 7:45 pm.

- Redondo Snchez, J . et al. (1991). Fragmentos y discurso. Intr., trad. y notas. Antifonte/
Andcides. Editorial Gredos. Madrid. ISBN 9788424914486.

- Research Machines plc. (2004). The Hutchinson dictionary of scientific biography. Abingdon,
Oxon: Helicon Publishing. pp. 546. Hero of Alexandria (lived c. AD 60) Greek mathematician
and engineer, the greatest experimentalist of antiquity

- Sams, J . (1971), En torno al Arqumedes rabe: el testimonio de al-Biruni, en Al-Andalus,
vol. XXXVI, pgs. 383-390.

- Simonovits Andrs: Vlogatott fejezetek a matematika trtnetbl. 109-113. old. Typotex
Kiad, 2009. ISBN 978-963-279-026-8

- Roy, J ean-Michel. (1989). Russell, Bertrand, "La philosophie de l'atomisme logique" in Ecrits
de logique philosophique, traduccion de J ean-Michel Roy, Paris, PUF, 1989

- Solaeche Galera Mara C. (1993). La Controversia L'Hospital Bernoulli. Departamento de
Matemticas. Facultad de Ingeniera. Universidad del Zulia. Maracaibo. Venezuela.

- truth table (en ingles), The Concise Oxford Dictionary of Mathematics, Oxford University
Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t82.e2895,
consultado el 25 de Oct. de 2012.
Prof. EnriqueMateusNieves
DoctorandoenEducacinMatemtica.

133


- Wubing, H. (1979). Lecciones de Historia de Las Matemticas. Siglo XXI Editores. Madrid.
Traduccin de Elena Ausejo et all. Prncipe de Vergara, 78. 28006 Madrid.

- Wikipedia enciclopedia libre. El texto est disponible bajo la Licencia Creative Commons
Atribucin Compartir Igual 3.0. Wikipedia es una marca registrada de la Fundacin
Wikimedia, Inc., una organizacin sin nimo de lucro. Recuperado el 26 oct 2012, a las
01:22. pm.

- Wikipedia enciclopedia libre http://es.wikipedia.org/wiki/Fran%C3%A7ois_Vi%C3%A8te
Recuperado el 26 de oct 2012. A las 5:50 pm.

- Wikipedia enciclopedia libre http://es.wikipedia.org/wiki/Seki_K%C5%8Dwa, el 26 de oct
2012, 8.05 am.

- Wordreference.com. Online language Dictionaries. 2012

- http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e2481,
recuperado el 25 de oct de 2012. a las 2:50 pm.

- Recuperado en http://es.scribd.com/doc/101415611/46/Cuadratura-de-la-cicloide-por-
Roberval. pp. 121-125. El 30 de oct 2012. 6.50 am.