Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El Calculo Infinitesimal. Historia-Evolucin Hasta La Revolucin Francesa PDF
El Calculo Infinitesimal. Historia-Evolucin Hasta La Revolucin Francesa PDF
1
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Tabla de contenido.
Pg.
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 W allis 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 sen x y cos x . 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
2
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
3
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
x2 = 1 + y2.
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 a2 + b2 = c2. Incluso se trabaj enormemente en la
4
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 atomicista1. 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
5
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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)
6
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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).
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 inferencia4 o deduccin5 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)
7
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Notas:
A, B,... con maysculas estn utilizadas como metalenguaje8 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
8
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 A r B donde A p q ; y donde B ( t s)
3 donde
O viceversa
1 Transformacin
2 donde
3 ( p q ) r t s donde ; y donde
9
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Si X es una tesis EBF del sistema y lo es tambin X Y, entonces Y es una tesis EBF del
sistema.
Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la
forma: (A B C .... N Y 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 verdad10 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.
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)
10
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Las diversas formas en que tratemos las expresiones lingsticas formalizadas como
proposiciones lgicas dan lugar a sistemas diversos de formalizacin y clculo:
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.
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).
11
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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:
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).
12
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
1
uno de los cientficos e inventores ms grandes de la antigedad y su trabajo es representativo de la tradicin
cientfica helenista. (Research Machines plc., 2004. pp.546).
13
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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. Demcrito16 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).
14
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
El C.Inf fue propuesto inicialmente por Arqumedes17. Sin embargo, Eudoxo18 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 Alejandra19 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)
15
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
de Elea20 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, B1, de AB.
Ahora bien, para llegar a B1 debe primero pasar por el punto medio B2 de AB1. 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. Leucippo21, Demcrito y Antifon22 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.
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/ )
16
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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).
17
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
4
4 n 1 4 -1 4 -2 4 -3
3
n 0
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 Valerio23 (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).
18
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 Aristteles24. 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 estoicos26, los megricos27, la Escolstica28. 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
19
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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.
20
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 John 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:
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
Johannes 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
21
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Solo hasta el siglo XVII, Cavalieri y Torricelli33 ampliaron el uso de los infinitesimales,
Descartes34 y Fermat utilizaron el lgebra para encontrar el rea y las tangentes (integracin
y derivacin en trminos modernos). Fermat e Isaac Barrow35 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.
22
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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).
23
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
24
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
25
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
x
establecida como tal hasta que Euler introdujo la notacin actual e .
26
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
n n
en x + o, la cantidad x se convierte en (x + o)n, es decir, por el mtodo de series infinitas, x
+ noxn-1 + (nn - n)/2 ooxn-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 Jacobo Bernoulli en 1690.
27
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 Jacobo Bernoulli y Johann Bernoulli36, (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
28
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
No podemos olvidar que en sus comienzos el clculo fue desarrollado para estudiar cuatro
problemas cientficos y matemticos:
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, Euler37, Lagrange38 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)
29
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Funcin: El trmino funcin fue usado por primera vez en 1637 por el matemtico francs
n
Ren Descartes para designar una potencia x . 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 Vite42 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 Wilhelm Weierstrass (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.
30
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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).
31
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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.
32
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
derivada en ningn punto de dicho intervalo. Sin embargo, La definicin de funcin continua
en un intervalo fue dada por primera vez por Cauchy.
Regla de L' Hpital o Regla de L' Hospital: Fue descubierto por uno de los hermanos
Bernouilli, Jean, aunque se conoce como "Regla de L' Hpital48", 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).
33
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
34
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 Berkeley52.
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
35
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
36
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
del smbolo de Leibniz f (x) dx para el caso de la integracin definida tampoco fue
tan natural f (x) dx 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.
37
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
1
a, b x a 1 1 x
b 1
con a 0 y b 0
0
Y la funcin Gamma
a e x x a 1 con a 0
0
a 1 a a con a 0
a 1 a a a a 1 a 1 ... a! 1 a!
n! e x x dx
38
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
x ln x
dx e t
li x t dt
0
x
La cual adquiri junto con la funcin x un gran significado en la teora analtica de los
nmeros. Laplace consider las integrales con lmites imaginarios.
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.
39
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
40
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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
41
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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
n
encontr el rea acotada bajo funciones del tipo f ( x) x 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 Mersenne53 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.
42
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
2
parbola y x desde x=0 hasta x=B.
43
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
1 1 1
resultado es OB 3 2
3 2n 6n
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
44
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
a a n 1
x n dx Para todo n racional excepto -1.
0 n 1
En este trabajo, as como en trabajos previos sobre reas encerradas bajo curvas de la
n
familia y x , 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).
John 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 y 1 x 2 ) n , para n=1, 2, 3 y obtuvo reas
1 2 1 3 3 1
x, x x 3 , x x 3 x 5 , x x 3 x 5 x 7 , ... Respectivamente.
3 3 5 3 5 7
45
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
2 8 48
Cuando x=1 estas reas son 1, , , ,... pero la circunferencia viene dada por
3 15 105
1
2 2
y (1 x ) . Por induccin e interpolacin, Wallis calcul su rea y, mediante complicados
2 2 4 4 6 6 8 8...
razonamientos posteriores lleg a que: .
2 1 3 3 5 5 7 7 9...
Gregorio de San Vicent54, 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 xi se eligen de modo que
las reas a, b, c, d son iguales, entonces las yi estn en progresin geomtrica. Esto
significa que la suma de las reas desde x0 hasta xi , cuya suma forma una progresin
x dx
x k log y .
0 x
54
Gregorio de San Vicent, en su obra Opus Geometricum quadraturae circuli et sectionum coni, Amberes
(1647). Tomado de (Boyer, 2010).
46
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
La observacin de que las reas pueden interpretarse como logaritmos se debe en realidad
a un discpulo de Gregorio, el jesuita belga Alfonso de Sarasa55 (1618-1667) en sus Solutio
Problematis a Mercenno Propositi (1649).
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.
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).
47
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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:
2.1.1. Primitivas57.
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).
48
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Isaac Barrow, cre la siguiente definicin: Dada una funcin h : a ,b IR , cualquier funcin
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.
La igualdad anterior nos dice que para toda particin P de a, b hay alguna suma de
Riemann de f asociada a dicha particin, (f,P) que es igual a h(b) h(a). Si ahora
tenemos que h(b) - h(a) (f,P) para alguna suma de Riemann, (f, Pn ) de f asociada a la
b b
particin Pn pero sabemos que (f, Pn ) f , por lo que obtenemos que h(b) - h(a) f .
a a
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.
La nueva concepcin dela geometra infinitesimal, marco el comienzo de una segunda etapa
49
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
50
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 CA2 + AO2,
como AO = AB y CO = DA se sigue CA2 + AB2 =
DA2. 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 Vesfera + Vcono = Vcilindro y como Vcilindro = 3Vcono se sigue que
2
Vesfera= Vcilindro . Este metodo no apotaba nada nuevo al trabajo que ya habia realizado
3
Arquimedes en la antigua grecia, el merito esta en el manejo de ciertas manipulaciones,
a a
2 3 4
integales que hoy expresariamos asi: x dx 13 a y x dx 51 a 5 (Wubing, H. 1979. pp.
0 0
146).
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.
51
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
52
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
n
La cuadratiura de las curvas definidas por y = x dodne n es un nmero natural
o bien un entero negativo n - 1 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
n m
hiperbolas generalizadas x y = 1 ( m, n IN)
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
n
hiperbolas yx = 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 y x -2 para x a usaremos notacin y terminologa
actuales.
53
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
geomtricas de razn menor que la unidad, que enuncia como sigue: Dada una
la suma de los trminos restantes. Llamemos R1, R2,R3, a las reas de los
54
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
R1 R2 R1
R2 S R1
progresin geomtrica decreciente, se tiene que: simplificando,
1
S R1 OA AB
a
resulta:
55
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Siguiendo a Cavalieri, Wallis considera la regin PQR formada por un nmero innito de
k
lneas verticales paralelas, cada una de ellas con longitud igual a x . Por tanto, si
dividimos el segmento PQ = AB = a en n partes de longitud h an donde n es la
Area PQR 0 k 1k 2 k 3 k n k
PQR y el rectngulo ABCD es:
Area ABCD nk nk n k n k
59
Fue precisamente Wallis quien introdujo en 1655 en la obra De Sectionibus Conics, el smbolo , con el
significado de infinito.
56
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Wallis observo que, dada una progresin geomtrica de potencias de x como, por
ejemplo 1.x3.x5.x7 la correspondiente sucesin de ndices 0,3,5,7, forman una
progresin aritmtica. Como ( f k ) k , 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
q q q
progresin geomtrica 1, x ,( x )2 ,( x )q 1 , x de manera que la sucesin de sus
ndices debe formar una progresin aritmtica, de donde se sigue que debe ser
(( q x ) p ) p
q
para p 1,2, ,q de esta forma obtiene que
( 0 ) p ( 1 )p ( 2 )p ( n )p 1
lim p p p p
p
n ( n ) ( n ) ( n ) ( n ) q 1
57
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
a
r r 1
entero. Wallis incluso llego a afirmar que la igualdad x dx ar 1 no es vlida
0
58
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
59
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
f(x x) - f(x)
vi 0
x
f(x x) - f(x)
vii a viii x0 0
x
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
f(x x) - f(x)
f (x) lim 0
x0 x
60
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
61
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
a e (x e)2
igualdad 1 se expresa por ax2 ex2 ax2 2aex ae2 Fermat aplica
a x2
su mtodo de mximos y mnimos y sustituye esta desigualdad por la igualdad
ax 2 ex 2 ax2 2aex ae2 cancelando trminos y dividiendo por e obtenemos
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 f ( x , y ) 0 y sea
y( b e )
teniendo en ucenta que PQ= y, la igualdad 0 se escribe como T1Q1 , como
b
T1Q1 es casi igual a y1= P1Q1, Fermat escribe f x e, y( b e ) 0 y a esta igualdad le
b
aplica su mtodo para mximos y mnimos. Ello conduce a una expresin para b
f
y( x, y )
y y
dada por b teniendo en cuenta que la tangente viene dada por ,
f b
( x, y )
y
podemos escribir, viendo y como funcin (implcita) de x, en la forma familiar
f
y ( x, y )
y
y
f
( x, y )
y
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 P ( a , f ( a )) en una
62
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
semejantes, se tiene
PQ
TQ
TE1R . Pero, dice Fermat, T1R es casi igual a P1R; por tanto
PQ P1 Q1 QP
tenemos la adigualdad TQ
E
.
f(a) f ( ae ) f ( a )
Poniendo PQ = f(a), la igualdad anterior puede escribirse como TQ
E
.
Dice Fermat, ahora se cancelan trminos iguales en f ( a E ) - f(a), 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
n
Fermat prob que el rea bajo la curva y x entre x a y x b es igual a
b n1 a n1
, para cualquier nmero racional n distinto de -1, basndose en
n 1
propiedades de las progresiones geomtricas y en que, dada una progresin
geomtrica decreciente a1 ,a 2 ,a3 , , an , de suma S, entonces se da la igualdad
a1 a 2 a
1 . Mediante el uso de construcciones geomtricas y de propiedades
a2 S a1
como x 2 y constante. De este modo, concluy que el rea bajo esta curva
era igual al rea de un rectngulo dado. Su procedimiento en notacin moderna,
2
para calcular el rea de la regin no limitada de la curva x y k y las rectas
x a y y 0 es el siguiente. Sobre el eje x se toman puntos con abscisas a,
n 1
ar,ar2,ar3,,arn, (r >1), y se construyen los rectngulos de base ar ar n y
1
altura . Las rea de estos rectngulos son:
( ar n )2
63
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
ar a r 1 ar 2 ar r - 1 1 ar 3 ar 2 r - 1 1
, 2 2 , ,
a2 a ar a r a 2r 4 a r2
De este modo, las reas de los rectngulos forman una progresin geomtrica
64
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
65
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Barrow calcula la tangente a una curva, dada por una ecuacin polinmica f ( x, y ) 0,
66
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
rea ADEZ FD
Tenemos que FL DF DE por otra parte, rea APGZ PI LD
KL TD
rea PDEG FD - LD FL
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
67
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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".
68
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
2.2.1. De Analysis
69
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
a 2 x x3 x
solucin p De donde toma y a x como la segunda
4a 2 ax 4 4
x
aproximacin. Escribe ahora q , etc., y continuando de esta forma va
4 p
2 3 4
obteniendo la serie: y a x x 131x 2 509x 3 Ms adelante utiliza un proceso
4 64a 512a 16384a
parecido para invertir series. Considera el ejemplo de tomar como z el rea debajo
1
de la hiprbola y , esto es: z x 1 x 2 1 x 4 1 x 5 para invertir esta serie,
1 x 2 4 5
70
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
x 1
2 rea (OQR) 2 rea (ORQP) - rea (OQP) 2 1 x 2 dx - x 1 - x 2
0 2
x 2 x 4 x16
Por el desarrollo del binomio: 1 - x2 1 De donde integrando trmino
2 8 16
x
1 3 1 5 1 7
a trmino: 1 x 2 dx x - x x x Mientras que:
0
6 40 112
x2 x4 x6
x 1 x 2 x (1 -
2 8 16
60
dem, Bartolom B. El Descubrimiento del Clculo. pp. 9-10
71
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
72
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
mn
Pongamos por comodidad r , Newton se imagina que el punto P = (x,y) se
n
mueve a lo largo de la curva y razona como sigue. Incrementemos la abscisa x a
x donde es una cantidad infinitesimal o momento. Tomemos BK v de forma
que ov rea BbHK rea BbPd. El incremento del rea viene dado por
a a
ov z(x ) - z(x) ( x ) r x r 1 desarrollando en potencias se tiene:
r r
a a a r( r 1 ) 2 r( r 1 )( r 2 ) 3
(x )r x r ( 1 / x )r x r 1 r 2
3
2
r r r x 2 x 1 2 3 x
De 1 y 2 deducimos, despus de dividir por que
a( r 1 ) r 2 a( r 1 )( r 2 ) 2 r 3
v a x r -1 x x
2 1 2 3
Si en esta igualdad suponemos que va disminuyendo hasta ser nada, en cuyo caso
v coincidir con y, despus de eliminar los trminos que contienen y que
m
desparecen, resulta que: y a x r -1 a x n 3 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 viene dada por 0
73
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 ab n a n n a n1b n( n 1 ) a n2 b 2 n( n 1 )( n 2 ) a n3b 3
1 1 2 1 2 3
Donde los puntos indican que la serie se continua de acuerdo con la misma ley
n( n 1 )( n 2 )( n 3 ) n 4 4
seguida para los terminos escritos; el termino siguiente es: a b
1 2 3 4
74
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
75
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
donde sustituye x por x x y y y por realiza el desarrollo, resta la relacin
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.
76
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
c ontinually 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 var iable , funcin y lmite.
(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)
77
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
1 1 1
y x 2 ( 1 x ) 2 x 2 1 2x x2
8
x
16
3
5x
128
4
7 x5
256 1 3
5
5
x 2 12 x 2 18 x 2 128 x2
9
7
256 x
11
2
misma rea por geometra, ya que rea (ADB)= rea (sector ACD) rea (tringulo
DBC). Para evaluar esta ltima relacin calcula primero: 2
1 1
2
BD
3 Luego se
2 4 4
Igualando los dos valores encontrados anteriormente para esta rea resulta:
3 y por consiguiente: 3
0.0767737208 ... 24 0.0767737 3.141607404....
24 32 32
61
dem, Bartolom B. (1999). El Descubrimiento del Clculo. pp. 12-14
78
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 .
62
dem, Bartolom B. (1999). El Descubrimiento del Clculo. pp. 14-15
79
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
descomponer como: 2 1
2
1
De donde
n( n 1 ) n n 1
1 1 1 1 1 1 1 1 1 1
2 1 2 2 2
1 3 6 10 15 2 2 3 3 4
63
dem, Bartolom B. (1999). El Descubrimiento del Clculo. pp. 15-17
80
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 y dx representa la suma de los pequeos rectngulos
omn l y 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 y dy. 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:
81
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
d ( x y ) dx dy
d(xy) x dy y dx
d y dxy- x dy
x
y 2
d ( x n ) n x n-1
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: x dy y dx xy
xdx del denominador por ser pequeo frente a x2. Otra relacin es por ejemplo:
y2
y dy
2
82
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
y v
otras. Por ejemplo se tiene por la semejanza: , para cada una de estas
s y
dz dz dy
Aunque desde el punto de vista lgico le falta rigor a esta frmula
dx dy dx
simblica, ya que cancela dys como si fueran nmeros reales, no slo halla
correctamente al resultado sino que sugiere adems la manera de demostrarla,
83
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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:
64
dem, Bartolom B. El Descubrimiento del Clculo. pp. 19-21
84
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
dx s
De la relacin: Obtenemos tomando s=a, a dy y dx Leibniz considera
dy y
(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.
85
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
dy y
Por semejanza de tringulos: y
. Adems por el teorema de Pitgoras
1 y 2
d dy dy y 2 d 2 2( dy )( d dy) 2y dy d 2 0
d2y
Esto es: y . Que es la ecuacin diferencial de segundo orden de y sen .
d 2
Ahora Leibniz supone que podemos escribir la serie de potencias con coeficientes
86
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
trmino constante igual a cero al ser sen 0 0 y slo toma potencias impares
al ser sin impar. Diferenciando dos veces esta expresin se obtiene:
d2y
2
2 3 c 4 5 e 3 8 9 g 7 Que debe ser igual a
d
sen - 3!1 3 51! 5 71! 7 91! 9 Obtiene por tanto con su mtodo de
diferencias la relacin que ya haba obtenido Newton en 1676 con su serie del
binomio.
y
Newton concibe la derivada de y=f(x) como el cociente entre fluxiones: donde
x
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
dy
anterior dx 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.
87
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
2
Dada la relacin entre fluentes y ax , Newton calculara primero la relacin entre
sus fluxiones, de: ( y o y )2 o( x o x ) elevando al cuadrado
2
y 2 2 yo y o 2 y ox oo x simplificando y dividiendo por o resulta:
2
2 y y o y o x . De donde cancelando luego los trminos que contienen o se
y a
obtiene 2 y y a x , esto es: 2 y. Que nos dara la pendiente de la tangente. En
x
88
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
"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
2ydy ydx 2 yy
en cada miembro: a dx 2y dy por tanto dx a
, y PT dy
a
2 x 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.
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 ( e ax e ax )
La Catenaria resulto ser una curva cuya ecuacin es, en notacin moderna, y donde a es
2a
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
89
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Collete Jean-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 hijo68, de to a
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
n
c
1
c 1
n c 1 12 n c c2 An c 1 c c 1c
2 3 4
Bn n 3 c c 1 c 2 c 3c - 4
2 3 4 5 6
Cn n 5 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 n c designa la suma de las potencias
c-simas de los primeros nmeros naturales, mientras que los coeficientes A,B,C,D reciben el nombre de
1
nmeros de Bernoulli, en particular: A 6 ; B 301 ; C 1
42 ; D - 301 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
10
n , nn , nnn, , n . 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.
90
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
91
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
92
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
93
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
69
dem, Collete Jean-Paul. (1993). Historia de las matemticas II. pp 138-156
94
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
95
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Aunque Jakob posea un sentido crtico ms desarrollado que Johann, este ltimo
manifest mayor originalidad e imaginacin, llegando a ser ms prolifero que su
hermano mayor en matemticas. Johann 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 Johann
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 Johann
celebrado en 1694; Johann 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.
Menciona Collete J.P. (1993. pp156), que durante el periodo en que Johann Bernoulli
debi guardar silencio sobre sus descubrimientos, hizo numerosos estudios sobre la
lnea iscrona,, los slidos de menor resistencia, las curvas custicas, las trayectorias
96
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
97
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
98
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 Johann 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.
99
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
2
0
1 1
sen 12 sen n i cos n n 12 sen n - i sen n n
1 2k 2k
cos i sen n
cos i sen ,
n n
2n
que le sirve para encontrar los factores de x 2 x cos n 1 finalmente, en 1739,
mostr que la raz n-sima de un imposible binomico a b (nmero complejo)
se efecta como lo hacemos actualmente, tomando la raz n-sima en mdulo,
2
dividiendo la amplitud por n y aadiendo los mltiplos de n (hay n raices).
73
Sinus versus de un ngulo es uno menos el coseno del ngulo.
100
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 xn -
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
101
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
James 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 yn. Stirling demuestra
que una curva de orden n est determinada, en general por n (n 3) puntos. En la obra de
2
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.
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
102
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
2
de grado n esta, en general, determinada por ( n 3n) puntos. En particular, una cnica
2
est determinada de manera nica por cinco puntos. Dos curvas de grado n se cortan en
n2 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.
a1 d a 2 c
viene dada por y
a1b2 a 2 b1
us determinantes para resolver ecuaciones de cuatro incgnitas. Dos aos despus este mtodo fue
popularizado por Gabriel Cramer como Regla de Cramer.
103
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
104
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
n z v, v - z v, v - z v, 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".
105
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
v v.v vvv
x x 2 x 2
3 x
1.z 1.2( z) 1.2.3( z ) 3
Demostracion:
x x 2 x 3 x 4 x
x x x 2 x 2 x 3 x 3 x 4 x etc.
2 3 2 3 4 3 4
x 2 x x x 2 x x x 2 x x x x etc
x 3x x2 x 3 x x 32 x 32 x 4 x
x 4 x 6 2 x etc.
x , x x, x 2 x 2 x , x 3 x 3 2 x 3 x , etc
Que coinciden con los calculados ms arriba. Pero los coeficientes numricos de los
trminos x , x, 2 x , etc., 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
n n n 1 2 n n 1 n 2
1, x x ,etc., Adems, cuando z aumente hasta z n z, es decir,
1 1 2 1 2 3
n n n 1 2 n n 1 n 2
x x x ,b .,
1 1 2 1 2 3
106
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
v n x, y es una funcin de x,
v k d k y( a )
Se convierte en para cada k porque v es fija y cuando n tiende a
k! dx k
infinito, x tiende a cero, segn la argumentacin de Taylor. Su mtodo no es
evidentemente riguroso, y no considera el problema de la convergencia.
107
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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)
108
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
109
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
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: e lim 1 1n n , e lim (1 n) n
1
y tambin como la
n n0
serie e n1!
n0
110
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
111
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
80
Calinger, Ronald (1996). Leonhard Euler: The First St. Petersburg Years (17271741). Historia Mathematica
23 (2): pp. 154155.
112
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
x
La funcin e (con x real) puede escribirse como: x0 x1 x 2 x 3
xn y
ex n!
0! 1! 2! 3! n 0
x 4n x 4 n 1 x 4n 2 x 4 n 3
ei x ( 4n )! i 4n ( 4n 1 )! i 4n1 ( 4n 2 )! i 4n 2 ( 4n 3 )! i 4n3
n 0
x3 x5 x7 x 4n1 x 4 n 3
sen x x - Por lo tanto e i x cos x i sen x
3! 5! 7! ( 4n 1 )! ( 4n 3 )!
n 0
113
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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
fue publicado hasta 1794, conocer una amplia difusin gracias a Gauss, que lo
adopt en su obra clsica Disquisitiones arithmeticae de 1801.
114
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
w
x, n 2xw w2 es el incremento de y, la razn n de los incrementos de x y de y es:
d ( x2 )
1 : ( 2x w ), y como w=0, se deduce que dx 21x . Como Euler elimina las
dy 0
diferenciales, la derivada dx , que significa para l el cociente 0
, puede ser igual a un
cociente 00 .
relacin a significa que una cantidad infinita multiplicada por cero o nada puede
0
115
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
1
obtiene 1 1 2 4 8 16 1 para x=2, contradiccin que Euler no puede
(1 x )
81
Boyer, Carl B.; Uta C. Merzbach. A History of Mathematics. John Wiley & Sons. pp. 439445.
116
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
Gauss. En el ao 1772, Euler demostr que 231 1 2 147 483 647 es un nmero primo
de Mersenne. Esta cifra permaneci como el nmero primo ms grande conocido hasta
el ao 1867.
117
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
para n=60 con a=23, se encuentra que (60) 16, utilizando la descomposicin
1 1
(n) n 1 - 1 - donde los pi son factores distintos, primos con 60, de donde
p1 pi
Con respecto al tema de las ecuaciones diferenciales, los trabajos de Euler son
numerosos y significativos. Estableci la teora del factor integrante, introducida por
Johann Bernoulli, y en 1750 integro las ecuaciones diferenciales lineales de
coeficientes constantes. Hacia 1760, estudiando la ecuacin de Riccati
118
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
manera que la funcin y(x), que hace mnimo o mximo el valor de J. satisfaga la
relacin f x f yx f yy y f yy y 0
conducia al de Wallis:
2
12..32 34..45 65..67
1
e n n( n - 1 ) n (n-1) (n- 2)
x (1 x ) dx 1 1 e 1( 2ne ) 1.2(3 e) 1.2.3 (4 e)
0
119
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
( m )( n )
estas dos funciones trascendentes ( m , n ) en notacin moderna.
( m n )
correspondencia con Euler, sobre el tema, sigue convencido que este problema
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)).
120
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
progresiones al igual que lo hizo Napier, llegando a sostener que los logaritmos de
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.
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
121
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
finita.
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
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
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.
122
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
123
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
1 1 1
lim 1 ln (n) .
n 2 3 n
124
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
125
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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.
126
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
x 3 x5
comienza con la serie del seno, sen x x - y cuando sex x = 0, la serie puede
3! 5!
concebirse como una ecuacin polinmica infinita que, despus de dividir por x, puede
x3 x5 x7 z3 z5 z7
representarse como 1- 1 - donde z x2 . Despus,
3! 5! 7! 3! 5! 7!
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
x 2 x 2 x2
lineal con signo contrario). Adems, sabe que sen x 1 - 2 1 2 1 2 donde los
4 9
ceros de sen x son , 2 , Entonces, las races de la ecuacin en z son
1 1 1 1 2
2 , ( 2 )2 , (3 )2 de donde , y de la misma manera obtiene
12 2 2 32 4 2 6
1 1 1 1 4
, Utilizando la serie infinita de coseno, obtiene de forma anloga
14 2 4 34 4 4 90
1 1 1 1 2 1 1 1 1 3
, y , y as sucesivamente hasta la
12 32 52 7 2 8 13 33 53 7 3 32
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)
127
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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
128
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
Bibliografa.
Alexanderson, Gerald (July 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,
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
129
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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 Jean-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.
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.
Jansana, R. (1990). Logica Divergente. Tecnos. Serie de Filosofa y Ensayo. 1990. Alianza editorial,
Madrid.
130
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
O'Connor, John J.; Robertson, Edmund F., Biografa de Joseph-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, John 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, John 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, John J.; Robertson, Edmund F., Biografa de John 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, John 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, John 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, John J.; Robertson, Edmund F., Biografa de Brook Taylor (en ingls), MacTutor
History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-
131
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
O'Connor, J. 2006 Biografa de Joseph 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, John 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, John 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, John 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
Roy, Jean-Michel. (1989). Russell, Bertrand, "La philosophie de l'atomisme logique" in Ecrits
de logique philosophique, traduccion de Jean-Michel Roy, Paris, PUF, 1989
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.
132
Prof. Enrique Mateus Nieves
Doctorando en Educacin Matemtica.
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.
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.
133