La historia de las matemticas en la enseanza del anlisis

Martin Kindt
Profesor-Investigador Freudenthal Instituut, Universidad de Utrecht (Holanda)

Resumen El nacimiento del Clculo Infinitesimal pas en la segunda mitad del siglo XVII por la obra de Newton y Leibniz. Como sabemos, Newton no hizo inscribir su hijo espiritual a tiempo, y es por ello que este nacimiento oficialmente est registrado en octubre de 1684 con el artculo de Leibniz: Nova methodus pro maximis et minimus, itemque tangenribus, quae nec fractas, nec irrationales quantitates moratur, & singulare pro illis calculi genus. No podemos olvidar que la gestacin dur casi 2000 aos. Comenz cuando los griegos lograron determinar reas y volmenes por un proceso que denominaron mtodo de exhauscin. El estudio de este mtodo mediante las excelentes demostraciones de Euclides y Arqumedes no slo es muy interesante, sino tambin muy instructivo como anticipacin de dos conceptos bsicos del Anlisis, los de lmite y suma de Riemann. Una segunda etapa importante en el desarrollo embrionario del Anlisis es el clculo de indivisibles, que es practicado por dos discpulos de Galileo, Cavalieri y Torricelli, en el comienzo del Siglo de Oro. Despus, en este siglo se aceler fuertemente el crecimiento del embrin gracias a las obras de muchos matemticos famosos en la Europa occidental. Finalmente, fue el ingls Barrow, maestro de Newton, quien descubri la sorprendente relacin entre rea y tangente. En el taller vamos a recorrer unos fragmentos de la evolucin prenatal del Anlisis y discutir la posible conexin de estos ejemplos con la enseanza actual.

Curso Interuniversitario Sociedad, Ciencia, Tecnologa y Matemticas 2005

La Historia de las Matemticas en la Enseanza del Anlisis

Martin Kindt Instituto Freudenthal Universidad Utrecht Holanda

Indice

Prlogo Euclides y el mtodo de exhaucin Patronos y frmulas Arqumedes y el mtodo de compresin La obras de Cavalieri y Torricelli Un descubrimiento geomtrico de Barrow Anlisis discreto Eplogo Bibliograa

4 5 9 15 20 26 29 33 34

Prlogo El nacimiento del Calculo Innitesimal pas en la segunda mitad del siglo XVII por la obra de Newton y Leibniz. Como sabemos Newton dej de hacer inscribir su hijo espiritual a tiempo y es por tanto que este nacimiento ocialmente esta registrado en octubre 1684 con el artculo de Leibniz: Nova methodus pro maximis et minimus, itemque tangenribus, quae nec fractas, nec irrationales quantitates moratur, & singulare pro illis calculi genus. No podemos olvidar que la gestacin dur casi 2000 aos. Comenz cuando los griegos lograron determinar reas y volmenes por un proceso que se llamaron el mtodo de exhaucin. El estudio de este mtodo por unas pruebas excelentes de Euclides y Arqumedes no solo es muy interesante, pero tambin es muy instructivo como anticipacin de unos conceptos bsicos del Anlisis, como lmite y suma de Riemann. Una segunda etapa importante en el desarrollo embrionario del Anlisis es el calculo de indivisibles que es practicado por dos discpulos de Galileo, es decir Cavalieri y Torricelli, en el comienzo del siglo de Oro. Despus en este siglo se aceler fuertemente el crecimiento del embrin por las obras de muchos matemticos famosos en la Europa occidental. Al n fue el ingls Barrow, maestro de Newton, que descubri la relacin espantosa entre rea y tangente. En el taller vamos a reconocer unos fragmentos de la evolucin prenatal del Anlisis y discutir la conexin posible de estos ejemplos con la enseanza actual.

1. Euclides y el mtodo de exhaucin

Proposicin Dadas dos magnitudes desiguales, si de la mayor se resta una magnitud mayor que su mitad, y de lo que queda otra magnitud mayor que su mitad, y se repite continuamente este proceso, quedar una magnitud menor que la menor de las magnitudes dadas.

Euclides compuso su obra Los Elementos en trece libros. El libro X de los Elementos de Euclides, que trata de la teora de la irracionalidad, comienza con la proposicin mencionada arriba. La traduccin es ms o menos literal.

* Cmo puedes decir lo mismo en idioma moderno y cmo podras probarlo?

En su demostracin Euclides representa las magnitudes por segmentos (de lneas rectas).

Las magnitudes dadas son y . Segn un postulado de Eudoxo, que es recogido en el libro V de los Elementos, existe un mltiplo de , sea , que excede . Euclides razona ms o menos as. Sea es mltiplo de y > (aqu = 3 ). 1 -- , > -- , etc. de tal modo que la cantidad de los Restamos de respectivamente: > 1 2 2 partes sea igual a la cantidad de veces que esta incluido en (aqu 3 veces). Entonces > , pues que se obtiene estas magnitudes por restar de menos que la mitad (es decir ) y de ms que la mitad (es decir ). De la misma manera sigue > o bien < . Al n Euclides observa que la proposicin vale tambin, si se quita la mitad de AB, la mitad del resto, etc. Como siempre, Euclides da su demostracin mediante un ejemplo concreto (aqu 3 > ). Pero siempre tal ejemplo tiene un carcter paradigmtico. Como aqu, es claro que su mtodo vale para cualquiera nmero natural en lugar de 3. En el idioma matemtica de hoy su proposicin dice que para dos nmeros positivos , ( > ) n -- ) < .... (#) hay un nmero natural n con: ( 1 2 La demostracin en el estilo de Euclides es por determinar el nmero natural n con (n + 1) > .
1 1 1 - ) , ..., hasta > ( --) - ) , (n 2) > ( -Por eso: n > 1 -- , (n 1) > ( -2 2 2 2 2 3 n

La proposicin de Euclides, o bien la regla (#), llamar el principio de exhaucin. De hecho es una invencin de Eudoxo. Se puede formular (#) de otra manera: n -- ) < ... (**) Dado un nmero positivo . Para cada > 0, existe un nmero natural n con ( 1 2
--) = 0 Ahora reconocimos que la proposicin de Euclides es equivalente con: lim ( 1 2 n n

Los Griegos evitaron los conceptos innito y limite, pero se puede decir que la denicin del limite de una sucesin es de origen griego.

En el libro XII de los Elementos (sobre la determinacin de volmenes) hay dos aplicaciones directas del llamado principio de exhaucin: Proposicin 2: dos crculos son entre s como los cuadrados de sus dimetros Proposicin 7: un pirmide es un tercero de un prisma con la misma base y igual altura. Claro que en proposicin 2 es dicho implcitamente las reas (de dos crculos y cuadrados) y en proposicin 7 el volumen (de una pirmide y de un prisma). Me restrinjo aqu a la proposicin 2. La proposicin precedente es: Los polgonos semejantes inscritos en circunferencias, son entre s como los cuadrados de los dimetros. La demostracin de esta proposicin no tiene un elemento innitesimal; es basada del hecho que la razn de los reas de dos tringulos semejantes es igual a la razn de los cuadrados de los lados correspondientes. Para proposicin 2 Euclides aproxima paso por paso un circulo con polgonos regulares que son inscritos en la circunferencia. Comienza con un cuadrado y pues por un octgono, y deja al lector imaginarse como este proceso de duplicacin puede ser continuado ilimitadamente, De hecho muestra que la diferencia entre el rea del circulo y lo del 2n-gon inscrito puede ser hecho menor que cualquiera pequea rea .

a1

a2

a3

Vamos a parafrasear la demostracin de Euclides, usando una notacin ms confortable. Sea el rea del circulo es igual a . Sea a1, a2, a3, ... respectivamente el rea de los polgonos inscritos con 22 , 23 , 24, ... lados y dn = an (el defecto con paso n) En la primera gura podemos ver que a1 es igual a la mitad del cuadrado circunscrito, entonces 1 a1 > 1 -- y de donde d1 < -- . 2 2
-- ) . * Usa la segunda gura para demostrar que d2 < ( 1 2 2

Aqu para Euclides pues que es claro que se puede continuar este proceso. Con cada paso se puede hacer un rectngulo con el ancho igual al lado del polgono precedente y con altura igual a la altura del segmento circular correspondiente. Por eso con cado paso es restado ms que la mitad del defecto. Sea cualquiera rea. Segn el principio de exhaucin hay un nmero n de tal modo que dn < . Volveremos a la afirmacin sobre la razn de los crculos distintos. Euclides muestra que la suposicin que esta razn sea desigual a la razn de los cuadrados de los dimetros, lleva a una contradiccin. Supongamos que los reas de los crculos son en ' , las reas de los cuadrados de los dimetros son respectivamente en ' y las reas de los 2n + 1-gons an en an' Segn la proposicin sobre los polgonos semejantes inscritos en circunferencias vale: an - .......... (1) ------- = ---an - > ----. Primeramente supongamos: --- Entonces existe un rea as que < en ---- = ---- ...... (2) Sea = , pues > 0. Para cierto valor de n tenemos dn < , o bien an < y entonces: an > ...... (3) Segun el principio la parte es menor que el total, tenemos tambin: an' < ' ...... (4). Por (2), (3) y (4) sabemos: an ------- > ---a n una contradiccin con (1). - < ---- lleva a un absurdo, con lo cual la igualdad ---Anlogamente la suposicin ---- = ---- es demostrada. Comentario: La demostracin de Euclides es un ejemplo bonito del concepto convergencia de sucesiones Es recomendable empezar el tratamiento de los conceptos convergencia y limite con tal ejemplo clsico. El principio de exhaucin es muy instructivo para comprender la denicin del limite de una sucesin. El libro XII de los Elementos contiene varias razonamientos exhaustivos. Por ejemplo para demostrar que un cono es un tercio del de un cilindro que tiene la misma base y altura (proposicin 10) y las esferas son entre s como las razones triplicadas de sus dimetros (proposicin 18)

2. Patronos y frmulas
Vemos una espiral de nmeros:
100 99 64 65 66 67 68 98 63 36 37 38 39 97 62 35 16 96 61 34 15 4 95 60 33 14 3 94 59 32 13 2 93 58 31 12 11 10 92 57 30 29 28 27 91 56 55 54 53 52 90 89 88 87 86 85

17 18

69 70 71 72

40 41 42 73

19 20 43 74

6 21 44 75

7 22 45 76

8 23 46 77

9 24 47 78

26 25 48 79

51 50 49 80

84 83 82 81

Mire los nmeros de las esquinas. Hay dos tipos que son representados por puntos negros y puntos grises. Los nmeros que corresponden con puntos negros son cuadrados. * Cmo puedes explicarlo? * Qu propiedad tienen los nmeros que corresponden con puntos grises?

Otra vez nos remontamos en la historia griega. Estamos en la escuela de Pitgoras, 500 a. de C. Los pitagricos amaran muchsimo los nmeros naturales. El credo fue: todo es nmero. Se representaron a veces nmeros como patronos geometrcos de puntos, para poder descubrir propiedades interesantes. Por ejemplo los nmeros de las esquinas del espiral: 1 4 2 6

12

16

20

Los nmeros negros se llaman cuadrados, los grises son nmeros oblongos. Los pitagricos descubrieron que los cuadrados son sumas de nmeros impares consecutivos, y los nmeros oblongos son sumas de nmeros pares consecutivos. Demostracin: = + + +

16 = 1 + 3 + 5 + 7

20 = 2 + 4 + 6 + 8

Observa que la representacin de los nmeros por patronos de puntos da aqu realmente una demostracin, pues que los ejemplos son paradigmticos, contrariamente a la representacin de nmeros con cifras. El lugar de los cuadrados en el espiral de nmeros y de los nmeros oblongos es una consecuencia de la propiedad inventada por los pitagricos. Aqu hay cuatro representaciones algebraicas interesantes de los nmeros oblongos.

n(n + 1)

n2+n

2 + 4 + ... + 2n

2(1 + 2 + ... + n)

Una conclusin de la ltima representacin es:

1+2+3++n =
1 --n(n 2

+ 1)

Este frmula determina nmeros que se llama nmeros tringulos.1

1 A veces se pueden leer que los pitagricos se dedicaran a las matemticas a la playa, Haran los nmeros gurados con los dedos en la arena... Una otra versin romntica es que hicieron los nmeros gurados con piedrecillas. Si no es verdad, es bien inventado.

10

Una imaginable aplicacin (no es probable que los pitagricos la descubrieron) de la regla sobre la suma de los nmeros impares es la siguiente:
12 = 1 22 = 1 + 3 32 = 1 + 3 + 5 ............... n2 = 1 + 3 + ... + (2n - 1)

+
12 + 22 + 32 + ... + n2 = 1n + 3(n - 1) + 5(n - 2) + ... + (2n - 1)

De modo visual:

* Use esta gura para explicar que: 1 + 2 + 3 + 4 + 5 = -- (1 + 2 + 3 + 4 + 5) (2 5 + 1) * Cmo puedes generalizar esta regla?
2 2 2 2 2

1 3

11

Euclides y Arqumedes, que vivieron unos siglos despus Pitgoras, no han usado la representacin de nmeros naturales por conguraciones de puntos. Usaron segmentos de lneas rectas para presentar nmeros. Aqu hay un lema de Arqumedes de su libro Sobre Espirales. .
Sea A1, A2, A3, ... , An lineas en una progresin aritmetica creciente, cuya diferencia comn es igual al primero termino, pues: (n + 1) C(An) + A1 (A1 + A2 + A3 + ... + An) = 3 [C(A1) + C(A2) + C(A3) + ... + C(An)] A1 A2 An 3 An 2 An 1

.................

An

An 1 An 2

A3

A2

A1

En notacin moderna: A1 = a, A2 = 2a, ... , An = na y C(Ak) = (ka)2 Sin problema podemos tomar a = 1, entonces tenemos:
(n + 1)n + (1 + 2 + 3 + + n ) = 3(1 + 2 + 3 + + n )
2 2 2 2 2

Esta frmula es equivalente de la frmula que has visto en el pagina precedente. Ya que:
(n + 1)n
2
--n(n + 1) = 2n(1 + 2 + 3 + + n ) = 2n 1 2

y pues entonces:
(n + 1)n + (1 + 2 + 3 + + n ) = (2n + 1)(1 + 2 + 3 + + n )
2

Solamente debemos dividir por 3 y volvemos a obtener la frmula

1 +2 +3 ++n =
2 2 2 2 1 --(1 3

+ 2 + 3 + + n )(2n + 1)

Cmo demostr Arqumedes su frmula? Us dos etapas:

I II 1 +2 +3 ++n
2 2 2 2 2 2 2 2

= n + 3(n 1) + 5(n 2) + + (2n 1)

2

2( 1 + 2 + 3 + + n ) + 2[1(n 1) + 2(n 2) + 3(n 3) + + (n 1)1] = (n + 1)n

Ya hemos visto la primera. Para la segunda existe una demostracin visual tambin, distinto de la demostracin de Arqumedes que es un poco complicada. Arqumedes combin las identidades I y II por sumarlas y eso resulta en su frmula.
12

Arqumedes necesit su frmula entre otras para calcular el rea de un sector espiral, como veremos pronto. Su mtodo para obtener la frmula es mucho ms complicado que la demostracin con nmeros gurados y es por eso que no quiero recomendarlo para la enseanza. Un matemtico griego que, distinto de Euclides y Arqumedes, ha usado el mtodo con nmeros gurados, fue Nicomaco de Gerasa (100 D.C.). Escribi una obra denominada Introduccin a la Aritmtica en donde trata las propiedades maravillosas y divinas de los nmeros naturales. Un descubrimiento de l es el siguiente: cada nmero cubo es la suma de nmeros impares consecutivos. Por ejemplo: 13 = 1, 23 = 3 + 5, 33 = 7 + 9 + 11, 43 = 13 + 15 + 17 + 19.

Mire la espiral de nmeros (pagina 9) Se puede observar que cada cuadrado es el medio de dos nmeros oblongos consecutivos. * Demuestre esa propiedad. Por eso cada cuadrado es el medio de los impares que estn entre dos nmeros oblongos consecutivos. * Cmo puedes explicar el descubrimiento de Nicomaco por la ltima afirmacin? * Cmo puedes explicar el descubrimiento de Nicomaco por nmeros figurados?

Nicomaco

13 + 15 + 17 + 19

7 + 9 + 11

13

No sabemos como demostr Nicomaco (o al menos entendi) su descubrimiento. Lo ms probable es con nmeros gurados. Pero intencionadamente, Nicomaco no di ninguna demostracin en su libro, pues en su opinin demostraciones exactas cansaran los lectores y adems se perderan la magia. Parece casi increble que no haya deducido la siguiente frmula:

1+2+3+4

(1 + 2 + 3 + 4)2 = 13 + 23 + 33 + 43

1+2+3+4

O generalmente:
(1 + 2 + 3 + ... + n)2 = 13 + 23 + 33 + ... + n3

Las tres frmulas que pasaron, es decir:

-n(n + 1) 1 + 2 + 3 + + n = -2 2 2 2 1 3 1 2

1 +2 +3 ++n 1 +2 +3 ++n
3 3 3

- (1 + 2 + 3 + + n )(2n + 1) = -2

= (1 + 2 + 3 + + n)

o despus sustitucin de la primera en las otras dos:

1 +2 +3 ++n 1 +2 +3 ++n
3 3 3 2 2 2 2 - n (n + 1)(2n + 1) = -1 2 4 2 1 6

-n (n + 1) = --

preguntan una continuacin, pero es reservado para un otro captulo. Comentario: Los nmeros gurados dan una oportunidad adecuada para ejercitar lgebra elemental. Investigar patronos y construir formulas son actividades sentenciosas y desaantes para los alumnos y el contexto histrico puede dar un color cultural. Podemos decir que la representacin antigua de sucesiones de nmeros naturales por patronos de puntos, que es en la primera vista bastante primitiva, puede ser muy frtil para el aprendizaje de la lgebra. Existen muchos ejercicios interesantes que dan la oportunidad a practicar cosas importantes como razonar y generalizar. Unos ejemplos para investigar: la suma de dos consecutivos nmeros triangulares es un cuadrado 4 nmero oblongo + 1 son nmero cuadrado el producto de dos nmeros oblongos consecutivos siempre es un nmero oblongo Nicomaco tambin introdujo nmeros pentagonales: 5, 12, 22, 35, 51, etc. Cmo representarlos con patronos de puntos? Qu frmula?

14

3. Arqumedes y el mtodo de compresin. En su libro Sobre espirales Arqumedes da una definicin de su espiral, que dice: si una raya gira en un plano alrededor su extremo con una velocidad (angular) constante, y si simultaneamente un punto mueve uniformemente a lo largo de esta raya, empezando su movimiento en el extremo, este punto describir una espiral en el plano. Aqu vemos 12 puntos de la espiral de Arqumedes, construido mediante un reloj.
12 11
11

10

10

2 3 4

5 7 6

7 6

Esta construccin es tan clara como instructiva y puede ser ejecutado por alumnos de bachillerato. Una otra manera para hacer la espiral es mediante la calculadora grfica. Si los alumnos saben como usar las f unciones seno y coseno para describir un movimiento circular, puede ser un ejercicio desafiante para hacer una espiral. La de Arqumedes puede ser descrito lo ms fcil por las ecuaciones x = t sen t , y = t cos t. Observa que aqu el movimiento est en sentido contrario de la figura arriba. Volvamos a la obra impresionante de Arqumedes. Despus un tratamiento de unas propiedades de esta curva, entre otros sobre la tangente en cualquiera punto, sigue una proposicin bonita sobre el rea hecho por la primera espira.

Proposicin 24 El rea, encerrado por la primera espira de la curva y el segmento, que une el punto de salida con el ltimo punto, es igual al tercero del rea del circulo envolvente.

Arqumedes us el mtodo de compresin combinado con el principio de reduccin ad absurdo para demostrar su proposicin. Primeramente dividi el crculo en una cantidad de sectores congruentes. En cada parte tom dos menores sectores circulares que aproximan un sector de la espiral por defecto y por exceso, como es ilustrado en la gura siguiente.

15

s10

S10

La figura muestra una particin del crculo con radio r en 10 sectores. La suma de los sectores de color gris claro, da una estimacin inferior (s10) del rea de la espiral. La suma de los sectores de color gris oscuro, da una estimacin superior (S10). Sea C el rea del circulo y E el rea de la espiral. Entonces: s 10 < E < S 10 Para calcular s10 y S10 se puede usar una consecuencia de la proposicin de Euclides sobre la razn de los reas de crculos: las reas de dos sectores circulares con el mismo ngulo, son entre s como los cuadrados de sus radios 1 9 Los radios de los elementos de s10 son sucesivamente 0 , ----- r , ... , ----- r y los radios los elementos 10 10 1 4 de S10 son ----- r, ----- r, ... , r. 10 10
2 C 4C De donde el tercero elemento de s10 tiene el rea: ------ ------ = ----------- 10 10 1000 9C 3 C y el tercero elemento de S10 tiene el rea: ------ ------ = ----------- 10 10 1000
2 2

Entonces tenemos:
( 0 + 1 + 4 + + 81 ) C ( 1 + 4 + + 100 ) C --------------------------------------------------------- < E < --------------------------------------------------1000 1000

* Entonces, entre dos fracciones decimales est la razn ---- ? C * La misma pregunta, pero calculado por s100 y S100

16

Cuando ponemos la gura de s10 sobre la gura de S10, como as:

S10 s10

vemos que la diferencia entre las dos aproximaciones es igual a la suma de los segmentos anillos y estos segmentos juntos forman exactamente un sector circular de la particin. Entonces: S 10 s 10 =
1 -----C , 10

S 100 s 100 =

1 ---------C , 100

etc.,

De donde se puede hacer la diferencia entre las dos aproximaciones correspondientes menor que cualquiera nmero positivo . Por eso podemos saber que las dos aproximaciones del rea de la espiral tienen el mismo valor limite. Y si usamos la frmula para la suma de los cuadrados consecutivos, podemos comprender que el valor es igual a 1 -- C. 3 Pero en la epoca de Arqumedes no fue inventado el concepto limite. Entonces la pregunta es, como ha resuelto el problema? Para hallar la razn
1 -3

us las dos desigualdades:

1 +2 ++n 1 ------------------------------------------- > -3 3 n
2 2 2 1 - < -y --------------------------------------------------------3 3

1 + 2 + + (n 1) n

Es una consecuencia de la frmula sobre la suma de los cuadrados consecutivos. Arqumedes us su propia versin, pero yo prefiero este prueba sencilla:
- )(n + 1) > - n ( n + -1 + 2 + 3 + + n = -2 3 2 2 2 2 1 2 2 2 2 1 1 1 3 --n 3 1 3 --n 3

1 - ( n 1 ) ( n -- )n < 1 + 2 + 3 + + ( n 1 ) = -3 2

Desde la aproximacin basado en la particin de C en n partes, sabemos:

1 + 2 + + (n 1) E 1 +2 ++n --------------------------------------------------------- < --- < ------------------------------------------3 3 C n n 1 - , es claro que la compresin y pues que la diferencia entre la primera fraccin y la ltima es igual -n E 1 -. lleva a ---- = -3 C
2 2 2 2 2 2

Arqumedes us el principio de reduccin ad absurdo. Aqu est su razonamiento:

- C , entonces podemos tomar n de tal modo que Supongamos E > -3 --C Sn sn < E 1 (*) 3 1

Vale: sn 1 + 2 + + (n 1) 1 - < ------ = --------------------------------------------------------3 3 C n o bien

--C sn < 1 3 2 2 2

17

Combinando con (*) obtenemos:

1 -- C < E --C Sn 1 3 3

entonces:S n > E Pero Sn es una estimacin superior de E, entonces vale:S n > E 1 - C es absurdo. Por eso el hiptesis E > -3 Anlogamente se demuestra lo absurdo de la hiptesis E <
1 --C 3

, y queda E =

1 --C . 3

Este mtodo arqumedico tiene valor didctico, principalmente por su anticipacin al concepto suma de Riemann. Por supuesto el mtodo moderno es mucho ms eficiente. Por ejemplo, si consideramos la espiral descrita por las ecuaciones x = t sen t , y = t cos t. C = (2) = 4
2 3

t 2 1 2 -t t Et ------ t = -2 2
2

E =

1 2 -- t dt 2

--t = 1 6

3 2 0

4 3 -- 3

--C = 1 3

Et

Un mtodo alternativo es por el uso de coordenadas polares. Arqumedes hizo un trabajo admirable con su clculo pre-integral, no solo por inventar y demostrar su proposicin 24, pero tambin por deducir una frmula para el rea de cualquier sector de la espiral. Necesit un calculo bastante complicado, que despierta ms admiracin, si se dan cuenta que no pudo disponer de nuestro idioma algebraico. Descubri esta frmula: rea sector espiral =
2 1 -(r r 1) ] -- [ r 1 r 2 + -3 2 2

r1

r2

* Verifique este frmula con clculo integral.

18

Quizs el problema de la espiral no es lo ms adecuado para introducir el mtodo de la compresin. Hallar la razn entre el volumen de un pirmide (o cono) y el prisma (o cilindro) con la misma base y altura, o inventar la razn entre un segmento simtrico de la parbola y su rectngulo envolvente, es desde el punto de vista geometrca probablemente ms sencillo para los estudiantes. De otro lado, el desarrollo algebraico de ambos ejemplos es completamente isomorfo con lo del ejemplo de la espiral. Tambin es interesante comparar situaciones anlogos en el plano y en el espacio:

1 -2

1 -3

rea tringulo rea rectngulo

= --

1 2

volumen cono volumen cilindro

1 = -3

O para una parbola y una parabolode:

2 -3

1 -2

rea parbola rea rectngulo

= --

2 3

volumen parabolode volumen cilindro

1 = -2

Observe que en ambos casos la razn entre las reas es mayor que la razn entre los volmenes de los cuerpos de revolucin correspondientes. Arqumedes supo de estas razones. Especialmente ha calculado el volumen del segmento de la parabolode con el mtodo de compresin, usando la frmula:
-n(n + 1) 1 + 2 + 3 + + n = -1 2

* Use el mtodo arqumedico para hallar el volumen de la paraboloide.

19

4. Las obras de Cavalieri y Torricelli Bonaventura Cavalieri (1598-1647) y Evangelista Torricelli (1608 - 1647) fueron amigos y discpulos de Galileo. Ambos son famosos por sus resultados en pre-clculo.

Cavalieri

Torricelli

Cavalieri desarroll una teora, que fue llamado el mtodo de los indivisibles. Segn su teora una rea es la suma de infinitas segmentos rectos y un volumen es la suma de infinitos superficies planas. Por su mtodo se puede comprender fcilmente la relacin entre el rea de un tringulo parablico y el volumen de la pirmide. El rea del tringulo abajo de la parbola y = x2, es la suma continua de infinitos segmentos verticales. La longitud de cada segmento es igual al cuadrado de la abscisa correspondiente. Pero un cuadrado puede ser representado geomtricamente por una figura 2-dimensional. As obtenemos una serie continua de cuadrados que forman una pirmide cuya altura = a y cuya base tiene el rea a2. Por eso obtenemos la misma frmula para el rea del tringulo parablico y la pirmide.

x
0

1 -a -- a a = -= 1 3 3

a a2

Este enfoque parece osado, pero da una comprensin sorprendida. Si quiere, se puede escribir todo con sumas de Riemann y as se puede obtener una demostracin correcta, segn las pautas de nuestra epoca. Cavalieri logr a hallar, por uso sosticado de la lgebra, las frmulas para las reas abajo de las curvas y = x3, y = x4, ... , y = x9. con resultados:
a a 3 1 4 -a = -4 a 4 1 5 -a = -5

x
0 a

x
0

, ............ ,

1 10 -a x 9 = ----10 0

Al fin Cavalieri supuso que para cada valor natural de k vale:

= ------------- a

k +1 1 k +1

o en notacin moderna

x
0

dx =

k +1 1 ------------- a k +1

20

Se puede ilustrar el descubrimiento de Cavalieri con una serie de guras como las siguientes:
y=x y = x2 y = x3 y = x4

1 -2

1 -3

1 -4

1 -5

Por la comodidad es dibujado el caso a = 1. En cada cuadrado es dibujado una linea horizontal, que indica la altura media de la curva. Es decir: el rea abajo de la curva es igual al rea abajo de la linea horizontal. Si el exponente de x crece, la linea horizontal baja y el patrono armnico de las alturas medias, se continua. Cavalieri public estas cosas en 1635. Durante los aos siguientes unos matemticos franceses, (Fermat, Pascal y Roberval) lograron a demostrar la regla para el rea abajo de la curva y = xn de manera exacta. Cada uno de los tres uso su propio mtodo. Una demostracin en el estilo de arqumedes puede ser basada en la desigualdad:
k k k n k k k 1 + 2 + + ( n 1 ) < ---------------<1 +2 ++n k +1 k +1

Arqumedes ha aplicado esta desigualdad en los casos k = 2 (la espiral) y k =1 (la parabolode) y bas esta en las frmulas para sumas como en la pagina 14. Pero la desigualdad puede ser inferido sin conocimiento de tales frmulas. Consideramos la desigualdad
(k + 1) (n 1) < n
k k +1

(n 1)

k +1

< (k + 1) n

que es una consecuencia de: :

n
k +1

(n 1)

k +1

= n +n

k 1

(n 1) + + n(n 1)
k + 1 terminos

k 1

+ (n 1)

Luego aplicamos el llamado principio telescopio:

(k + 1) 0 < 1 (k + 1) 1 < 2 (k + 1) 2 < 3
k k k k +1 k +1 k +1 k +1 k +1 k +1

0 1 2

< (k + 1) 1 < (k + 1) 2 < (k + 1) 3

k k k

.................. (k + 1)(n 1) < n

k k +1

(n 1)
k +1

k +1

< (k + 1)n
k k

k k

+
(k + 1)(1 + 2 + + (n 1) ) < n
k k k

< (k + 1)(1 + 2 + + n )

Desde esta desigualdad y desde el principio de compresin (aproximacin de defecto y exceso con rectngulos), se puede demostrar la ltima regla de la pagina anterior.

21

En el libro de Cavalieri con ttulo Geometria indivisibilius continuorum quadam ratione promota (1635) podemos hallar un teorema que ahora es conocido como el principio de Cavalieri: Si dos figuras planas (o slidas) tienen igual altura, y si las secciones hechas por rectas paralelas (o planos paralelos) a las bases y igual distancia de ellas, estn siempre en una misma razn, entonces las figuras planas (o slidas) estn tambin en esa misma razn. Una aplicacin famosa de este principio es la demostracin de la frmula para el volumen de una esfera con radio r. Comparemos la esfera con el slido limitado por un cilindro con radio r y altura 2r y un dibolo cuyo base tiene el radio r y cuyas dos partes tienen la altura r .
S1 r h S2

Ahora consideramos dos secciones horizontales a la distancia h de la base. 2 2 La seccin S1 de la esfera es un circulo; el cuadrado de su radio es r ( h r ) (observe que 2 2 eso vale tambin para h < r). Entonces el rea de S1 es ( r ( h r ) ) La seccin S2 del plano a la distancia h de la base, con el segundo slido es un anillo entre dos 2 2 crculos respectivamente con radio r y h r . Luego el rea de este anillo es r ( h r ) . Conclusin: S1 y S2 tienen la misma rea para cada valor de h y por el principio de Cavalieri los dos slidos tiene el mismo volumen. El volumen del segundo slido es la diferencia entre el cilindro y el dibolo, entonces
-- r r 2r r 2 1 3 2 2 --r = 4 3 3

y por eso hemos hallado el volumen de la esfera. Mire la figura abajo. Los cilindros tienen el mismo radio r y los ejes cortan perpendicularmente. La interseccin de los cilindros es un slido (V), que contiene cuadrados paralelos. * Por calcular el volumen de V con el principio de Cavalieri (comparelo con la esfera de radio r)

22

Arqumedes escribe en el prlogo de su libro Sobre el mtodo (dirigido a Eratstenes), una proposicin sobre la interseccin de dos cilindros: Si, en un cubo, es inscrito un cilindro, que tiene sus bases en caras opuestas, y cuya superficie toca los otros cuatro planos, y si en el mismo cubo es inscrito otro cilindro, que tiene sus bases en otros cuadrados y cuya superficie toca los otros cuatro planos, pues el slido limitado por las superficies de los dos cilindros, es dos tercio del cubo. Lstima que la demostracin, anunciada por Arqumedes, est perdido. Se puede reconstruir su probable razonamiento, por estudios de las otras demostraciones del libro Sobre el mtodo. Pero es mucho ms fcil usar otra vez el principio de Cavalieri, en un modo que parece como dos gotas de agua al desarrollo de la frmula para el volumen de la esfera. Otra vez indiquemos el slido mencionado con V. Comparemos el volumen de V con el volumen del slido D que resulta si se resta del cubo las dos pirmides con vrtice en el centro de cubo y con bases en dos caras opuestas. 1 3 --a -- a y entonces es el voEl volumen de ambas pirmides es igual a 1 2 6 a 2 3 -a . lumen de D igual a -3
x

La seccin horizontal a la distancia x del centro es un anillo angular 2 2 con rea a 4 x y esta es igual al rea de la seccin horizontal del slido V a la misma distancia del centro. 3 --a . De donde sabemos que el volumen de V es 2 3

Un ejemplo espectacular de una aplicacin del mtodo de los indivisibles es hecho por Torricelli. Concierne un slido infinito que a veces es llamado la trompeta de Torricelli. Sean a y c nmeros reales positivos. La superficie abajo la curva xy = c en el intervalo x > a no tiene un rea finito, pero el slido de revolucin correspondiente (la trompeta infinita) tiene un volumen finito! Se pueden verificarlo inmediatamente con el calculo integral:

xy = c

c --- dx x

- dx = --- -----2 x

No es milagroso que un slido infinito tiene un volumen finito? Torricelli (1608-1647), di cuenta de su descubrimiento sorprendente en 1643. Claro que no pudo usar el clculo integral (esta rama de mtematica estaba esperando su invencin por Newton y Leibniz), y el enfoque de Torricelli es un ejemplo bonito de un mtodo pre-calculo. Us cilindros inscritos en el slido de revolucin generado por un rama de hiprbola (representado por xy = c y x > 0).

23

Un clculo sencillo muestra que todos los cilindros Cx tiene una superficie de valor 2c.

2c

(x ,

c --) x

-) ( a, -a

c -a

-) ( x , -x

Superficie Cx
c - = 2c = x 2 -x

Torricelli observ que esta superficie y el rea circular con radio 2 c , son iguales. En el estilo de su amigo Cavalieri razon como siguiente: La suma de todas superficies Cx con x a es igual al volumen de la trompeta juntamente con el cilindro Ca. De otro lado es, como suma infinita de crculos congruentes, igual al volumen del c - y radio 2 c , cilindro con altura -a Luego que el volumen de la trompeta unido con el cilindro Ca es igual a:
c c -- 2 c = 2 ----a a - , como el resultado del - = ----- y queda ---Restamos de este el volumen de Ca o bien a ----2 a a a integral de la pagina anterior. Quiero observar que el enfoque de Torricelli con las superficies cilndricas, puede ser formulado en trminos de clculo integral. Nos da un mtodo alternativo (pero con un menor alcance de aplicacin comparado con el mtodo normal) para determinar el volumen de un slido de revolucin. Como ejemplo consideramos la parabolode, que es generado por la curva:
2 x y = h 1 ------ 2 r
2

r x r

con rotacin alrededor el eje y. La superficie de un cilindro inscrito Cx es igual a 2xy. De donde tenemos:
r

r (x,y)

volumen parabolode = 2 xy dx
0

h Cx

Observamos que dx puede ser entendido como grueso infinitesimal de la superficie cilndrica.
-- hr , entonces la mitad del volumen del cilindro * Muestre que el resultado de este integral es 1 2 envolvente. 2

24

Torricelli tambin conoci una regla geometrca para determinar la tangente de las curvas y = xk .
Q y = xk

Sea P un punto de la curva y = xk , que no coincide con O. Entonces: TP es una tangente de la curva y = xk .

P B (1) O T (k) A

si y solamente si AT AP 1 -------- = -------- = --AO BS k

Una demostracin del estilo pre-clculo puede ser la siguiente. Nos restringimos a la parte de la curva que corresponde con x > 0. Supn que P tiene las coordenadas (a , ak) k a PA = ak, pues BS = kak, entonces la pendiente de la recta PS es k ----------a

= ka

k 1

Supn que el punto Q de la curva, distinto de P, tiene las coordenadas (b , bk) La pendiente del segmento PQ es igual a:
b a k 1 k 2 k 1 ------------------ = b +b a++a ba
k terminos k k

Si b > a como en la gura, vale:

b a k 1 k 2 k 1 k 1 +a a++a = ka ------------------>a ba
k terminos k k

Entonces la recta PQ es ms empinada que la recta TP y por eso Q est arriba de la ltima recta. Anlogamente podemos razonar que, en el caso b < a, la recta PQ es menos empinada que la recta TP. Entonces todos los puntos de la curva con coordenadas positivas y con excepcin de P, estn arriba de la recta TP y por eso esta recta es la tangente de la curva en P. Observacin: He usado el concepto pendiente que de hecho es un anacronismo. Pero se puede reemplazarla sin dicultades con el ngulo que hace una recta con el eje horizontal. La conclusin es que Torricelli, y tambin otros, supieron la derivada de y = xk. Me pregunto si los estudiantes de esta epoca saben la interpretacin geometrca, que fue el ncleo de la proposicin mencionada. Se puede decir que esta signicacin geometrca da la frmula de la derivada de y = xk una cara y de tal modo puede ser ms que un truco algebraico para los estudiantes. Tanto aqu, como en el caso del clculo integral, quiero recomendar fuertamente a usar las lecciones de la historia en la enseanza.

25

5. Un descubrimiento geomtrico de Isaac Barrow. Isaac Barrow (1630 - 1677), el profesor de otro Isaac, es decir Newton, fue el primero en reconocer la relacin milagrosa entre los conceptos tangente (de una curva) y rea. Escribi un libro sobre geometra (Geometric Lectures) con un montn de dibujos, casi dos por pagina de texto. Voy a concentrarme en uno, que es adaptado un poco para este texto:
Explicacin de la gura La curva ZE*E representa una funcin montona. La curva VF*F representa el rea encerrada entre el eje horizontal, la curva ZE*E , y las verticales DE y VZ. Esta es claramente una funcin de la abscisa de D. Es decir: los longitudes a* y a representan respectivamente las reas de VD*E*Z y VDEZ. El punto T es construido de tal modo que la longitud del segmento DT es igual al cociente de FD y ED Entonces: FD a DT = -------- = -ED y

1 1

a F* K a* V Z E* T y* D* a a* D L

Armacin: La linea TF es una tangente de la curva VF*F

Demostracin: Supon que K es un punto de TF entre T y F. Por demostrar: K es un punto a la derecha de la curva VF*F.
- = -------- = DE = y , Por la semejanza de los tringulos KLF y TDF vale: ------LK DT entonces FL = LK y ... (I) FL FD

De otro lado: FL = a a* = rea VDEZ rea VD*E*Z = rea D*DEE* < D*D y ... (II) , ya que la curva ZE*E representa una funcin montona! De (I) y (II) se sigue LK < D*D, y entonces LK < LF* As sabemos que K es a la derecha de la curva VF*F Si prolongamos la recta TF, podemos demostrar de modo anlogo que cada punto de la parte prolongado est a la derecha de VF*F. Entonces todos puntos de la recta, excepto F, estn a la derecha de la curva y eso signica que TF es la tangente de la curva en F. C.Q.D.

26

Esta es, en versin reformulada, la demostracin geometrca que dio Barrow de un teorema que ahora es conocido como el teorema fundamental del Anlisis Matemtico. Es notable que su enfoque no mostr ninguna vislumbre del enfoque innitesimal. Que definicin del concepto tangente ha pensado Barrow? Por lo visto considera tangente como linea que est a solo un k lado de la curva. Claro que se puede criticar. Mire por ejemplo la situacin de la figura. l Cierto que la linea l es tangente de la curva k (de tercero grado), pero l est al lado de abajo de la curva. Sabemos que tangencia es una propiedad local y sin duda, Barrow lo ha visto tambin. Observamos que separ en su demostracin la linea en dos partes, a ambos lados del punto de tangencia y con este pudo usar su enfoque tambin en un punto de inflexin. Barrow, y tambin Torricelli, tuvieron una comprensin intuitiva de la conexin recproca entre rea y tangente, pero no han explotado este conocimiento para objetivos de computacin. Tampoco no han visto claramente el gran valor analtica de esta relacin. Este honor gana Newton, pero es muy probable que la demostracin de Barrow ha contribuido fuertemente a la obra de Newton. Puede ser un pensamiento tentador por aplicar el enfoque de Barrow para curvas concretas, 1 2 1 3 -como y = -2 x e y = 3 x y hallar la frmula para las pendientes de tangentes de esas curvas.

F -FD 2x - = -------- = DT = -------ED x 1 2 1 -2x

1 2 -2x

1 --x 2 D

1 2 -2x

27

1 3 -3x

Isaac Barrow
O
T
1

1 -3x D 2

1 3 -3x

-FD 3x - = -------= DT = -------2 ED x

1 3

1 -3x

28

7. Anlisis discreto
Volvamos al captulo 2 sobre las frmulas para sumas de potencias con exponentes comunes. Hay una regla bastante sencilla, sobre la relacin entre una sucesin de nmeros reales y las sucesiones de sus sumas respectivamente sus diferencias. Si tenemos la sucesin
S 0, S 1, S 2,

podemos denir la sucesin de las diferencias como: S 1 S 0, S 2 S 1, S 3 S 2, Llamamos D k = S k + 1 S k La sucesin de las sumas parciales de D 0, D 1, D 2, es la sucesin: D 0, D 0 + D 1, D 0 + D 1 + D , 2 y es igual a S 1 S 0, S 2 S 0, S 3 S 0, Generalmente tenemos:
D0 + D + + Dn 1 + Dn = S1 S0 + S2 S1 + + Sn Sn 1 + Sn + 1 Sn = Sn + 1 S0 1

A veces se habla aqu del principio telescopio. Podemos escribir este resultado como

k =0

= Sn + 1 S0

De otro lado podemos escribir, usando el smbolo para diferencia:

k+1 k

Sn = Sk + 1 Sk = Dk

Es por eso que podemos decir que y son operaciones inversas. Esta ley del anlisis discreto es anlogo con el teorema fundamental del anlisis continuo, pero conceptualmente la versin discreta es mucho ms fcil. Leibniz public en 1714 una reexin sobre su obra con el titulo Historia et origo calcli differentialis y mencion que las reglas sobre las sucesiones le han inspirado por la invencin del clculo innitesimal. La idea para aplicar el teorema fundamental del clculo discreto es, que comnmente sea fcil calcular diferencias de una sucesin. Veamos la sucesin de los nmeros cubos: 0 , 1 , 8 , 27 , 64 , 125 , ... Inventar la frmula para la sucesin de las diferencias, es decir 1 , 7 , 19 , 37 , 61 , 91, ... no da muchos problemas:
Dk = (k + 1) k
3 3

= 3k + 3k + 1

Luego podemos sumar estas diferencias:

k =0

Dk = (n + 1) 0 =

k =0

3k +

k =0

3k +

k =0

Entonces:
(n + 1)
3

= 3

k =0

+3

k =0

k + (n + 1)

29

Supongamos conocido la frmula para la suma 1 + 2 + ... + n y incgnita la frmula para 12 + 22 + ... + n2 . Entonces podemos resolver la ltima frmula por esa igualdad:
(n + 1)
3

= 3

k =0

-n(n + 1) + (n + 1) + -2

* Resuelve esta ecuacin y compare el resultado con la frmula de captulo 2.

Para hallar la frmula para la suma 14 + 24 + ... + n4 usamos la sucesin 15, 25, 35, ...
Dk = (k + 1) k
5 5

= 5 k + 10 k + 10 k + 5 k + 1

Entonces

k =0

= (n + 1) = 5

k =0

+ 10

k =0

k =0

10k

k =0

5k + 1
k =0

Usando las frmulas de las sumas de los cuadrados y de los cubos, obtenemos:

(n + 1)

= 5

k =0

k
n

-n(n + 1) + (n + 1) + ------ n ( n + 1 ) + ------ n ( n + 1 ) ( 2 n + 1 ) + --

10 2 4

10 6

5 2

* Muestre que esta ecuacin lleva a:

k =0

= ------ n ( n + 1 ) ( 2 n + 1 ) ( 3 n + 3 n 1 )

1 30

que es equivalente con:

k =0

- n + -- n + -- n -----n = --

1 5 5

1 4 2

1 3 3

1 30

30

Paso por paso podemos calcular polinomios que son iguales a las sumas de potencias con el mismo exponente. Es un ejemplo bueno de un proceso de induccin:

k k
2

conocido

k k

calculado

conocido

calculado

k conocido

k k k
2 3

conocido

conocido

calculado

conocido

Etc.

Este mtodo es relativamente elemental, pero laborioso si no podemos usar un programa de lgebra en el computador. Puede ser motivo por preguntas interesantes como: parece que cada de estos polinomios tiene los factores n y n + 1; se puede entenderlo por el proceso de induccin y demostrarlo formalmente por induccin matemtica. algunos de esos polinomios tiene el factor 2n + 1, otros no tienen; se puede poner una hiptesis y investigarla. En su libro Ars Conjectandi dio Jacobo Bernoulli una lista de frmulas y una generalizacin de estas.1

- nn en la suma n 1 Hay un error en la lista: el termino ----12

- nn debe ser ----20

31

Bernoulli demuestra en Ars Conjectandi solamente las primeros tres frmulas de su lista, usando el tringulo de Pascal. Observa que, de tal modo y continuando paso por paso, se puede hallar cada frmula de su lista, pero queda el trabajo a sus lectores. Menciona que tomaba menos que la mitad de un cuarto de hora por computar que la suma de los primeros 1000 potencias con exponente 10 es igual a 91 409 924 241 424 243 424 241 924 242 500 Es interesante para estudiar la lista de los polinomios de Bernouilli. Primeramente el signo de igualdad y el signo para la suma atraen la atencin. Tambin podemos observar patronos. Por supuesto los coecientes de las potencias mayores que son trminos consecutivos de la sucesin armnica; no es difcil por entenderlo. Los trminos siguientes todos tienen 1 -- como coe2 ciente, pero es un poco ms complicado explicarlo por el proceso de induccin. Los coecientes de los terminos del primer grado en las frmulas para n = 2, 4, 6, 8, 10, ... , entonces:
1 1 1 5 1 -, -----, ------, -----, -----, 6 30 42 30 66

son llamados nmeros de Bernouilli. Juegan un papel en distintos lugares del anlisis1.

1 De hecho los nmeros de Bernoulli B1, B2, ... son determinados por el sistema de ecuaciones
n + 1 n + 1 n + 1 B + n + 1 B B B +1 = 0 + ++ 1 n 2 n1 3 n2 n 1

para n = 1, 2, ... Los nmeros mencionados arriba son B2, B4, ... 1 - , B3= 0, B5= 0, ... Por el sistema de ecuaciones tenemos B1 = -2

32

Eplogo En el mundo hay millares libros de texto sobre Calculo Innitesimal. Mi estimacin es, que 99% de estos libros, tanto en la universidad y como en el bachillerato, tienen globalmente la misma ordenacin. Es decir: (1) continuidad y limite; (2) la derivada y calculo diferencial; (3) la anti-derivada y calculo integral; (4) ecuaciones diferenciales. Claro. Se necesitan el concepto de limite para poder denir la derivada y para demostrar las reglas de derivacin. Se necesitan conocer el calculo diferencial para poder computar integrales denidas o indenidas. Se necesitan conocer el calculo integral para poder resolver ecuaciones diferenciales. Entonces, esta ordenacin es lgica y eciente, pero.... es anti-histrica. Adems es tpicamente una ordenacin estructuralista y un enfoque top-down. Dudo fuertemente si el enfoque tanto estructuralista del anlisis sea sumamente favorable desde el punto de vista de la didctica. Cito, con mucha adhesin, el alemano Otto Toeplitz (1926): Considerando todos los conceptos bsicos del clculo innitesimal que hoy da enseamos como requisitos cannicos, por ejemplo el teorema de valor medio, el desarrollo de Taylor, el concepto de convergencia, la integral denida, el cociente diferencial mismo, nunca se ha planteado la pregunta: Por que es as? Cmo se llega a ellos? Sin embargo en algn momento, estas cosas tuvieron que haber sido metas de bsquedas urgentes, o contestaciones a preguntas candentes en su tiempo, es decir, en la epoca de su creacin. Si regresamos al origen de estas ideas, ellas perderan esta apariencia de estar muertas, de ser hechos prefabricados, y en su lugar cobraran nuevamente una vida fresca y vibrante. En este cuaderno he intentado de mostrar principalmente que: Las races del clculo innitesimal estn en la geometra. El contraste entre geometra y anlisis es menos fuerte que muchos matemticos piensen; mejor es hablar sobre una diferencia de enfoques. El enfoque geomtrico - que es ms intuitivo que el enfoque analtico - es subexpuesto en la enseanza del anlisis. Se puede integrar unos frutos histricos en la enseanza de lgebra y anlisis No quiero producir la impresin que debemos seguir la historia paso por paso. Tampoco quiero propagar una ley, anloga a la ley biogentica de Haeckel, que dice que el gnesis de conocimiento matemtico del individuo debe seguir el mismo camino, pero abreviado, del gnesis de conocimiento de la humanidad. Creo que este punto de vista es demasiado dogmtico. De otro lado tengo la experiencia que una introduccin histrica de los conceptos guiadores de las matemticas, no solo es muy inspirando, pero tambin promueve mucho ms la comprensin. Una ventaja de este epoca es que cada uno puede hallar mucha informacin sobre la historia de las matemticas en Internet. No pocas veces esta informacin es supercial, pero por las muchas referencias a la literatura se pueden profundizarse si lo quieren. Adems yo se que hay muchas excelentes publicaciones en castellano con respecto a la historia de las matemticas.

33

Bibliograa. Boyer, Carl. B.: The History of the Calculus and its conceptual development Edwards jr., C.H.: The Historical development of the Calculus Fauvel, John y Jeremy Gray: The History of Mathematics: a Reader Heath, Sir Thomas: A history of Greek Mathematics (vol 1,2) Heath, Sir Thomas: The works of Archimedes Heath, Sir Thomas: The thirteen books of the Elements of Euclid (vol 1,2,3) Katz, Victor J.: A History of Mathematics Struik, Dirk J.: A source book in Mathematics 1200 - 1800 Swetz, Frank: Learn from the Masters Toeplitz, O.: The Calculus, a Genetic Approach Van der Waerden, B.: Science Awakening Young, R.M.: Excursions in Calculus, an interplay between the discrete and the continue calculus

34