Aportaciones de la historia de las matemticas a la educacin moderna.

M. Kindt Freudenthal Instituut, Universidad de Utrecht (Holanda) El desarrollo de las matemticas no avanz de manera tan fluida como sugieren los libros de texto. Las matemticas como producto acabado son muy distintas de las matemticas en su gestacin. Casi siempre las ideas y los conceptos matemticos son enseados como requisitos cannicos y casi nunca se plantea la pregunta: Por que de tal manera? o Cmo se llega a estas cosas? Cuando alguna vez un problema es resuelto, el mtodo de la solucin llega a ser la teora, que los profesores ensean sin referencia al origen de la cuestin. Con Freudenthal se puede hablar de inversin anti-didctica. En este conferencia quiero exponer con ejemplos concretos, especialmente tomados del calculo infinitesimal y del lgebra, que existe otro camino de aprendizaje, que puede ser inspirando y instructivo para los estudiantes y, adems, que muestra que las matemticas son obra humana. 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 he adaptado un poco para esta conferencia:
Explicacin de la figura La curva ZE *E representa una funcin montona. La cur va V F*F representa el rea en cerrada 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 repre sentan respectivamente las reas de VD*E*Z y VDEZ. El punto T es constr uido de tal modo que la longitud del segmento DT es igual al cociente de FD y ED Entonces: FD a DT = -------- = -ED y

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

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

Demostracin:

Supn 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. Por la construccin de T vale:
FL FD ------- = -------- = DE = y LK DT
FL = LK y

entonces

... (I) 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 significa que TF es el tangente de la curva en F. C.Q.D. Esta es, en versin reformulada, la demostracin geometrca que Barrow dio del .... teorema fundamental del Calculo Infinitesimal. Pero l no tuvo ningn conocimiento de esta rama de las matemticas, ya que no fue inventada en esa epoca! Adems su enfoque no mostr ninguna vislumbre del enfoque infinitesimal. . Qu nos aprende este fragmento de la obra de Barrow? 1. El principio del teorema fundamental del Anlisis Matemtico es visto antes la invencin del clculo infinitesimal por Newton y Leibniz. 2. Los races del clculo infinitesimal estn en la geometra. 3. El contraste entre geometra y anlisis es menos fuerte que muchos matemticos piensen; mejor es hablar sobre una diferencia de enfoques. 4. El enfoque geomtrico - que es ms intuitivo que el enfoque analtico - es subexpuesto en la enseanza del anlisis. En el mundo hay millones estudiantes que deben aprender anlisis matemtico. Cuntas estudiantes saben algo del enfoque geomtrico de Barrow? Sea aconsejable ensear cosas de la epoca pre-clculo , como la prueba admirable de Barrow? Claro que son preguntas retricas. En este conferencia quiero presentar unos ejemplos histricos que podran servir como punto de salida de un capitulo de lgebra o anlisis, o mejor que podran ser integrados en el curso matemtico para promover la comprensin. Patronos y frmulas Quien conoce este frmula?
1 +2 +3 ++n =
2 2 2 2 1 -- n ( n + 6

1 ) ( 2n + 1 )

En muchos libros de texto sobre Anlisis no es ms que un ejercicio de la induccin matemtica. A ver:

Para k = 1 Supongamos:
2 2 2

1 = 1 +2 +3 ++k
2

1 -6

123
+ 1 ) ( 2k + 1 ) + 1 ) ( 2k + 1 ) + ( k + 1 )
2

1 -- k ( k 6 1 -- k ( k 6

Entonces: 1 2 + 22 + 32 + + k 2 + ( k + 1 ) 2 =

-= 1 ( k + 1 ) [ k ( 2k + 1 ) + 6 ( k + 1 ) ] 6 -= 1 ( k + 1 ) [ 2k 2 + 7 k + 6 ] 6

= --- ( k + 1 ) ( k + 2 ) ( 2k + 3 ) 6 = --- ( k + 1 ) ( k + 1 + 1 ) ( 2 ( k + 1 ) + 1 ) 6
C.Q.D.
1

Es convincente? Para ellos que entienden bien el principio de induccin matemtico, creo que s. Da nos mucha comprensin de la frmula? Creo que NO. Es tpicamente un ejemplo de matemtica precocinada. Alguien descubri la regla para nosotros y debemos mostrarla obedientemente de modo mas o menos automtico. Falta el reto, falta la sorpresa, falta la exploracin, falta el triunfo del descubierto o al menos de comprensin, falta la vivencia del aj! . Sea claro que no me gusta presentar una frmula, que viene desde el cielo. Pero el mal ya es pasado y vamos a considerar la frmula un poco ms. La suma de los cuadrados es igual a un polinomio de tercero grado. Este polinomio tiene que ser entero para cada valor de n, entonces el producto n(n + 1)(2n +1) tiene que ser divisible por 6 para cada valor de n. A ver:
n 1 2 3 4 5 6 7 8 9 10 n+1 2n + 1

2 3 4 5 6 7 8 9 10 11

3 5 7 9 11 13 15 17 19 21

En cada regla se descubre factores 2 y 3. Claro que el factor 2 no aparece en la tercera columna. Es por que yo prefiero una tabla con no ms que dos columnas:

n(n + 1) 2 6 12 20 30 42 56 72 90 110

2n + 1 3 5 7 9 11 13 15 17 19 21

Para cada valor de n vale: n(n + 1) es par, ya que es el producto de dos nmeros consecutivos. Adems: si n = 3m o n = 3m + 2, el producto n(n + 1) es divisible por 3. Si n = 3m + 1, el nmero 2n + 1 nos ayuda, pues 2(3m + 1) + 1 = 6m + 3 es divisible por 3. Este razonamiento puede ser hecho por alumnos jovenes de bachillerato. Ahora nos remontamos mas o menos 2500 aos en la historia. Estamos en la escuela de Pitgoras. Los pitagricos amaran muchsimo los nmeros naturales. Se representaran nmeros como patronos geomtricos de puntos, para poder descubrir propiedades interesantes. Por ejemplo los nmeros de la lista anterior:
n(n + 1) 2n + 1

Si quiere, sea posible dar el razonamiento anterior en trminos de figuras de puntos. Consideramos los nmeros de la forma n(n + 1). Se llaman nmeros oblongos. Hay al menos cuatro representaciones algebraicas interesantes.

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 El nmero tringulo 10 (= 1 + 2 + 3 + 4) fue un nmero sagrado para los pitagricos. Los nmeros figurados dan una oportunidad adecuada para ejercitar lgebra elemental. Investigar patronos y construir 1A veces se pueden leer que los pitagricos se dedicaran a las matemticas a la playa, Haran los nmeros figurados
con los dedos en la arena... Una otra versin romntica es que hicieron los nmeros figurados con piedrecillas. Si no es verdad, es bien inventado.

formulas son actividades sentenciosas y desafiantes para los alumnos y el contexto histrico puede dar un color cultural.

Consideramos un otro descubierto de la escuela de Pitgoras.

Entonces: 1 + 3 + 5 + 7 + 9 = 52. Generalmente: la suma de una serie de nmeros impares consecutivos, empezando con 1, es igual a un cuadrado. La figura da una demostracin de estilo paradigmtico y segun mi opinin es perfecto y muy claro. Una representacin ms compacta:

Entonces tenemos:
1 + 3 + 5 + + ( 2n 1 ) = n
2

o ms formal:

( 2k 1 ) = n 2
k =1

Los pitagricos aplicaran este frmula para descubrir ternos pitagricos. Si el ltimo termino de una suma de nmeros impares es un cuadrado, obtenemos fcilmente tres nmeros naturales a, b, c con la propiedad a2 + b2 = c2. Veamos: 1 + 3 + 5 + 7 + 9 = (1 + 3 + 5 + 7) + 32 42 + 32 = 52. 1 + 3 + ... + 9 + ... + 23 + 25 = (1 + 3 + ... + 23) + 52 122 + 52 = 132 1 + 3 + ... + 9 + ... + 25 + ... + 47 + 49 = (1 + 3 + ... + 47) + 72 242 + 7 = 252 etc. De ese modo se obtiene ternos pitagricos con dos nmeros consecutivos.

3,4,5 5 , 12 , 13 7 , 24 , 25 9 , 40 , 41 11 , 60 , 61 13 , 84 , 85 etc.

Observacin: cada nmero impar desde 3, es elemento de un terno pitagroco.

Representacin general de estos ternos: 2n + 1 ; 2n(n +1) ; 2n(n + 1) + 1

Sabemos que no todos los ternos pitagricos elementales (es decir sin divisores comunes) son generados de tal modo. Los babilonios ya han descubierto otros ternos, como sabemos de una tabla de arcilla llamada Plimpton 322. Contiene una lista de quince ternos, empezando con 120, 119, 169 y terminando con 90, 56, 106. El ltimo puede ser reducido a 45, 28, 53. Los dos no caben en el patrono que es esbozado arriba. Es muy probable que los babilonios han usado el algoritmo (o uno que es equivalente) para generar todos los ternos pitagricos, es decir:
p q , 2pq , p + q
2 2 2 2

Para p = 81 y q = 40 obtenemos el terno impresionante 4961 , 6480 , 8161, que es el dcimo en la lista babilnica. Si tenemos para q y p dos nmeros consecutivos, diga p = n + 1 y q = n, entonces obtenemos la lista anterior. El tema de ternos pitagricos no se trata mas veces en el bachillerato. Segn mi opinin es una pena. Es un asunto atractivo y rico y se puede profundizarse en un parte de matemtica babilnica: empezando con la escritura cuneiforme, operando con la numeracin sexagsimal, todo es muy instructivo.

Una otra (imaginable) aplicacin (no se nada si 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)

Viisualmente

Este representacin nos da la idea para una demostracin visual de la frmula para la suma de cuadrados consecutivos:

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

2n + 1

Es un demostracin intuitiva, pero otra vez es muy convincente! Adems: despus visto este figura, se puede memorizar la frmula sin problemas. Quizs, me gusta ms este versin:
2 2 2 2 1 1 + 2 + 3 + + n = -- ( 1 + 2 + 3 + + n ) ( 2n + 1 ) 3

Euclides y Arqumedes, que vivieron unos siglos despus Pitgoras, no han usado la representacin de nmeros naturales por configuraciones de puntos. Usaron a veces

segmentos de lneas 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

An

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

n 1

n 2

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 anterior. Ya que:

( n + 1 )n
2

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

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

Solamente debemos dividir por 3 y volvemos a obtener la frmula anterior de la suma de los cuadrados. Cmo demostr Arqumedes este frmula? Us como lemas estas dos identidades:
I II 1 +2 +3 ++n
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 vista 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.

Necesit su frmula entre otras para calcular el rea de un sector espiral, como veremos pronto. Su mtodo para obtener la frmula es ms complicado que la demostracin con nmeros figurados y es por eso no quiero recomendarlo para la enseanza. Un matemtico griego que, distinto de Euclides y Arqumedes, ha continuado el mtodo con nmeros figurados, 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. Veamos: 13 = 1, 23 = 3 + 5, 33 = 7 + 9 + 11, 43 = 13 + 15 + 17 + 19. No sabemos como demostr (o al menos entendi) esa propiedad, quizs por nmeros figurados.
3+5

2 22 = 23
13 + 15 + 17 + 19

4 42 = 43

=
=
7 + 9 + 11 3 32 = 33

Parece casi increble que Nicomaco 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

Este frmula, que es muy notable, tampoco figura en los libros de texto de bachillerato. Segn mi opinin es una omisin irremisible. No solo es unas de las frmulas ms elegantes de las matemticas, si no tambin es muy instructiva. Puede reprimir el impulso de muchos alumnos para pensar que p.e. (a + b+ c)2 = a2 + b2 +c2. De otro lado puede ser la fuente de otros equivocaciones como (a + b+ c)2 = a3 + b3 +c3, quien sabe? 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? Las tres frmulas que pasaron, es decir:
1 + 2 + 3 + + n = -- n ( n + 1 ) 1 +2 +3 ++n 1 +2 +3 ++n
3 3 3 2 2 2 2 1 2

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

1 3

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 ) 6 = -- n ( n + 1 ) 4
1 2 2

preguntan una continuacin. En la historia se han desarrollado distintos mtodos para inventar estas sumas de potencias con exponente comn. Una primera observacin es que el grado del polinomio que es igual a tal suma, parece a ser 1 ms que el exponente comn. Este hiptesis puede ser el comienzo de una investigacin continuada y para buscar un mtodo ms sistemtico. 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 definir la sucesin de las diferencias como: S 1 S 0 , S 2 S 1, S 3 S 2, Llamamos

Dk = 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:
D 0 + D + + D n 1 + D n = S 1 S 0 + S 2 S1 + + S n S n 1 + Sn + 1 S n = S n + 1 S 0 1

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

D
k =0

= Sn + 1 S0

De otro lado podemos escribir, usando el smbolo

k+1 k

para diferencia:

= Sk

+1

S k = Dk

Es por eso que podemos decir que y son operaciones inversas. Este 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 reflexin con el titulo Historia et origo calcli differentialis y mencion que las reglas sobre las sucesiones le han inspirado por la invencin del clculo infinitesimal. La idea para aplicar el teorema fundamental del clculo discreto es que cmunmente 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:
D k = (k + 1 ) k
3 3

= 3k + 3k + 1

Luego podemos sumar estas diferencias:

k =0

Dk

= (n + 1) 0

3k
k =0

3k + 1
k =0 k =0

Entonces:
(n + 1)
3

= 3

k
k =0

+3

k =0

k + (n + 1 )

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 2 + 3- n ( n + 1 ) + ( n + 1 ) 2
k =0

con el resultado que ya hemos visto. Para hallar la frmula para la suma 14 + 24 + ... + n4 usamos la sucesin 15, 25, 35, ...
Dk = (k + 1) k
5 5

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

Entonces

k =0

D k = (n + 1) = 5

k =0

+ 10

k =0

k +

k =0

10 k +

k =0

5k +

k =0

Usando las frmulas de las sumas de los cuadrados y de los cubos, obtenemos:
5 ---------- k 4 + 10 n 2 ( n + 1 )2 + 10- n ( n + 1 ) ( 2n + 1 ) + 5- n ( n + 1 ) + ( n + 1 ) 4 6 2 k = 0 n

(n + 1)

= 5

Por eso:

k
k =0

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

1 30

que es equivalente con:

k
k =0

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

1 5 5

1 4 2

1 3 3

1 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 inductivo:

k
k

k
2

conocido

k
k

calculado

conocido

calculado

conocido

k
k
2

conocido

conocido

calculado

k 3

conocido

Etc.

Este mtodo es relativamente elemental, pero laborioso si no podemos usar un programa de computeralgebra. Puede ser motivo por preguntas interesantes como: parece que cada de estros polinomios tiene los factores n y n + 1; se puede entenderlo por el proceso inductivo 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.2

2
1 ------ nn 12

Hay un error en la lista: el termino

en la suma
n
9

debe ser

Es interesante para estudiar la lista. Primeramente el signo de igualdad y el signo para la suma atraen la atencin. Tambin podemos observar patronos. Por supuesto los coeficientes de las potencias mayores que son terminos consecutivos de la sucesin armonica; se puede entenderlo por el proceso inductivo. Los trminos siguientes todos tienen
1 -2

como coeficiente, pero es un poco ms complicado explicarlo por el proceso inductivo. Los coeficientes del termino de primero grados son llamados nmeros de Bernouilli ; juegan un papel en distintos lugares del anlisis. La pirmide, la parbola y la espiral En el mundo hay millares libros de texto sobre Calculo Infinitesimal. 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 definir la derivada y para demostrar las reglas de derivacin. Se necesitan conocer el calculo diferencial para poder calcular integrales definidas o indefinidas. Se necesitan conocer el calculo integral para poder resolver ecuaciones diferenciales. Entonces, este ordenacin es lgico y eficiente, pero.... es anti-histrica. Adems es tpicamente una ordenacin estructuralista y un enfoque top-down.3

Dudo fuertemente si el enfoque tanto estructuralista del anlisis sea sumamente favorable desde el punto de vista de la didctica. Quiero citar el alemano Otto Toeplitz (1926):
3 ------ nn 20

3Mi aprendizaje de anlisis matemtico en la universidad era de tal modo. Es verdad, yo no tuvo muchos problemas con la asignatura. Solamente en el comienzo: me ha costado no pocos quebraderos de cabeza por entender el mtodo con psilon y delta. Pude hacer los ejercicios, s. Pero el mtodo me pareci muy artificial. Despus dos o tres meses entend suficiente el ncleo de la idea.

Considerando todos los conceptos bsicos del clculo infinitesimal que hoy da enseamos como requisitos cannicos, por ejemplo el teorema de valor medio, el desarrollo de Taylor, el concepto de convergencia, la integral definida, 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. El calculo infinitesimal tiene una historia muy larga, de hecho empez en la antigedad, cuando los matemticos griegos desarrollaran el mtodo exhaustivo para determinar reas y volmenes. Voy a ilustrar este mtodo primeramente a la pirmide. Si llamamos la altura a y (el rea de) la base B, tenemos la frmula conocida:
-A = 1 ab 2

V =
a B

1 -- aB 3

La frmula es conocida, pero no es trivial. Comparmosla con la frmula del rea de un tringulo. Alumnos jovenes pueden descubrir la segunda formula - solamente hay una complicacin en el caso de un tringulo obtuso -, pero para una cualquiera pirmide es verdaderamente difcil. A ver este dibuje de Agnes Denes.

De hecho es una pirmide escalonada, que es construida de cubitos. Puedes creer o no, pero la pirmide tiene 100 pisos y la base contiene 100 por 100 cubitos. La pregunta natural es: cuantos cubitos contiene este pirmide. En la cima tenemos solo 1 cubito. En los pisos siguientes tenemos 22 , 32, 42 etc. cubitos. Entonces en total tenemos: 12 + 22 + 32+ ... 1002 cubitos. Por la frmula sabemos que esa suma es igual a
1 -- 100 101 201 = 338350 6

Este nmero difiere relativemente poco de un tercero de 1000000 (= 1003) que es la cantidad de cubitos del paralelepipedo que envuelve la pirmide. Si miramos a la pirmide escalera por las pestaas, parece un pirmide continua. La idea es que, refinando la divisin en los pisos, aproximaremos la razn
1 -3

Pero, para efectuar este proceso de aproximacin, necesitamos la formula para la suma de los cuadrados. Por la comodidad uso una otra versin:
1 +2 +3 ++n
2 2 2 2 = -- n ( n + -- ) ( n + 1 ) 3 2 1 1

Segn el mtodo clsico, voy a aproximar la pirmide desde abajo y desde arriba con pirmides escalonadas, como en la figura::

estimacin superior S
3

=
estimacin inferior s
3

Con cada divisin de la altura en una cantidad - sea n - de partes iguales podemos construir dos pirmides escolanadas con n y con n 1 pisos que dan respectivamente una estimacin superior y una estimacin inferiordel volumen de la pirmide. Si indicamos el volumen del paralelepipedo con W, entonces la diferencia entre super- y estimacin inferior es igual a W/n. Entonces para n = 10, 100, 1000, etc. la diferencia sera 0.1W, 0.01 W, 0.001W, etc. y porque las dos estimaciones se aproximaran cualquiera cerca. Se llama un proceso de compresin. Usando la formula para la suma de los cuadrados obtenemos en el caso n = 10:
1 -3 - --------------------------- < ------ < 1 --------------------------------3 3 3

9 9.5 10 10

V W

10 10.5 11 10

o bien
1 -3 - 0.9 0.95 < ------ < 1 1.05 1.1 3

V W

Para n = 100, 1000, ... tenemos anlogamente::

1 -- 3 1 -- 3

V 0.99 0.995 < ----- < 1 1.005 1.01 - -W 3

V 1 - 0.999 0.9995 < ----- < -- 1.0005 1.001 W 3

Ahora es muy plausible que la proporcin de V y W es igual a 1/3, por que tanto los nmeros al lado izquierda como al lado derecha, aproximaran a
1 -3

11
1 -- W 3

y de tal modo podemos entender que

V =

. Un proceso de compresin con intervalos que se contraen paso por paso y cuyos longitudes sern menor que cualquiera nmero positivo, es probablemente la mayor introduccin del concepto limite. Si lo quieren. podemos tratarlo de modo ms exacto. El largo del intervalo n de la secuencia construida es 10-n.

Porque tanto
V ----W

como
1 3

est en cada intervalo de la fila, vale:

V n ----- 1 < 10 - -W 3

para n = 1, 2, 3, ... Para ellos que todava dudan si

V ----W

y
1 3

son iguales, podemos aplicar reduccin al absurdo. Supongamos:

V 1 - - ----W 3

, entonces
V 1 ----- -W 3

es igual a un nmero positivo. Este nmero (diga p ) tiene un nmero finito de ceros despus de la coma. Todos los nmeros de la sucesin infinita 0.1, 0.01, 0.001, .... podran ser mayor que p, que es absurdo. De hecho aplicamos el axioma de la continuidad de los nmeros reales. Pero en el fase inicial no es necesario explicitarlo. Voy a comparar este prueba con un razonamiento de Arqumedes en una situacin similar. Concerni el rea de una figura limitada por una espiral en comparacin con el rea de un circulo, pero como veremos pronto es matemticamente lo mismo como la comparacin de los volmenes de una pirmide y un paralelepipedo. Traduzco el razonamiento en trminos modernos. PArqumedes us las dos desigualdades:
1 +2 ++n ---------------------------------------- - > --3 n
2 2 2 1 -3

- -y --------------------------------------------------------- < 13 3 n

1 + 2 + + (n 1)

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

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

Como hemos visto que se puede hacer la diferencia Sn - sn menor que cualquiera nmero positivo. Supongamos
V > -- W 3
1

, entonces podemos tomar n de tal modo que -V 1 W > S n sn 3

(*)

Vale:

sn

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

1 -3

o bien

-sn < 1W 3

Combinando con (*) obtenemos

V -- W > S n -- W 3 3 1 1

entonces: V > Sn

Pero Sn es una estimacin superior de V, entonces vale: V < Sn

Por eso el hiptesis

V > -- W 3
1

es absurdo. Anlogamente se demuestra el absurdo del hiptesis -V < 1W 3 . El razonamiento de Arqumedes implica dos lmites:
n

lim --------------------------------------------------------- = 3
n

1 + 2 + + (n 1)

1 -3

= lim ------------------------------------------3
n

1 +2 ++n n

Para su demostracin us dos igualdades, deducidos por su frmula de la suma de cuadrados. Pero de hecho este artillera es demasiado gruesa! Podemos deducirlas por una otra desigualdad:
3( n 1 ) < n ( n 1 ) < 3n
2 3 3 2

Se puede entender esa desigualdad mirando los bloques......

1 1
n

Entonces aplicamos el principio de telescopio:

2 2 3 3 30 <1 0 <31 31 <2 1 <32
2 3 3 2

2 2 3 3 32 <3 2 <33
..................

3(n 1 ) < n ( n 1) < 3n

2 2 2 3 2

2
2

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

Es por eso que no necesitamos la frmula para la suma de cuadrados consecutivos. La pregunta es si el mtodo lo ms sofisticado, sea lo ms deseable desde el punto de vista didctica. Para calcular la aproximacin del volumen de la pirmide por una pirmide escalonada, sin duda el primer impulso sea calcular el volumen de la escalera con la frmula llamada. Por supuesto es muy til a discutir con los estudiantes sobre el mtodo aplicado, y explicitar que solamente el factor
1 3

en la frmula parece relevante. Al final pueden entender que la frmula de la suma es abundante. A veces se pueden coger problemas o situaciones distintos en el mismo modelo matemtico se habla de problemas o situaciones isomorfos. As manifiesta que la determinacin de la razn entre el volumen de una pirmide y su paralelepipedo envolvente es similar a la determinacin de la razn entre un segmento simtrico de la parbola y su rectngulo envolvente.
4 3

Arqumedes demostr que la razn entre el segmento parabolisch y el tringulo inscrito es como 4 a 3. Us sucesiones geometrcas para probar el teorema. Aqu quiere seguir una otro camino. Observo que la afirmacin de Arqumedes es equivalente con
R

a2
A

1 -- R 3

1 3 -- a 3

En la figura el intervalo [0 , a] es partido en diez partes iguales. Con tal particin corresponde una estimacin inferior y una estimacin superior del rea abajo la parbola. La diferencia entre las dos aproximaciones es exactamente igual al rea del ltima tira superior.

Supon que el intervalo es partido en n partes iguales. La diferencia de la aproximacin por exceso ypor defecto es igual al rea del rectngulo envolvente dividido por n y entonces puede ser hecho menor que cualquiera pequeo nmero positivo. Por este proceso limite obtenemos el rea del tringulo parbolico. Vamos a calcular.
tira
1 2. 3

inferior
0
a 1 a 2 -- -- - n n a 2 2 -- -- a - n n

superior
a 1 2 -- -- a n n a 2 2 -- -- a n n a 3 2 -- -- a n n

. . .
n-1 n

. . .

. . .

a n 2 2 --- ---- -- --- - a n n a n 1 a 2 --- ---- -- --- - n n

a n 1 2 -- - --- -- a - --- ---n n a na 2 -- -- n n

Entonces;
---- ( 1 + 2 + 3 + + ( n 1 ) ) < A < ---- ( 1 + 2 + 3 + + n ) 3 3
n n a
3 2 2 3 2

y por uno razonamiento similar a lo que hemos vista con la pirmide, vale
-A = 1- a 3 3

Volvamos
2

a la obra de Arqumedes. En Sobre espirales da una definicin que es equivalente con la siguiente: el lugar de los puntos que recorren una raya con una velocidad constante, mientras que la raya gira alrededor su extremo con una velocidad angular constante, es una espiral. Despus un tratamiento de unas propiedades de esta curva, entre otros sobre la construccin de la tangente en cualquiera punto, sigue una proposicin bonita sobre el rea hecho por la primera espira. 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.

Para demostrar su proposicin, Arqumedes us el mtodo de compresin y el principio de reduccin ad absurdo.

Para eso Arqumedes divido el crculo en sectores congruentes. En cada parte tom dos menores sectores circulares que aproximan un sector de la concha por defecto y por exceso. La figura muestra una particin del crculo con radio r en diez sectores. La diferencia entre la estimacin superior (S10) y la estimacin inferior (s10) es igual a la suma de los segmentos anillos y estos segmentos juntos forman exactamente un sector circular de la particin. Generalmente vale:
S n sn =
C --n

en que C es el rea del crculo. Entonces se puede hacer este diferencia menor que cualquiera nmero postitivo. Por eso las dos aproximaciones del rea de la espiral tienen el mismo valor limite. Ahora el clculo. Por la comodidad supongamos que la velocidad angular de la raya que genera la espiral es 1 radial por segundo y tambin que la velocidad del; movimiento rectilneo es 1 cm por segundo. Despus una vuelta completa la distancia entre el punto de la espiral y el punto de salida es igual a 2 . Las distancias intermedias hasta el centro son respectivamente
n1 2 1 -- 2 , -- 2, , ------------ 2 n n n

Sea E es el rea encerrado por la espiral y el ltimo radio. La razn de los reas de dos sectores circulares con el mismo ngulo claramente es igual a la razn de los cuadrados de sus radios. Entonces:
1 -n 1 ---- ( 0 + ( 1 ) + + ( n -------- ) ) < ---- < 1 ( ( 1 ) + ( 2 ) + + 1 ) n n n n n
2 2 2

E C

o bien:

1 ----3 n

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

E C

El resto sea claro. Se puede copiar el razonamiento en el caso de la pirmide o de la parbola. Con resultado final:
--E = 1C = 4 3 3 3

Este mtodo pre-clculo tiene un valor didctico por que anticipa al concepto suma de Riemann. Por supuesto el mtodo moderno es mucho ms eficiente, pero eficaz no debe ser siempre el hilo conductor de la enseanza. Lo hacer visible de la ruta desde concreto hacia abstracto, lo comparar de metodos distintos y lo contemplar de los procesos son condiciones necesarias para el desarrollo de comprensin verdadera. Una ventaja de dar una vista del gnesis del clculo infinitesimal tambin es que el estudiante experimentar y estimar mas la potencia del clculo infinitesimal y eso pueda contribuir a una actitud positiva. El terno: pirmide, parbola, espiral sea muy adecuado para un tratamiento en llamado espritu. Despus, cuando el instrumento del clculo infinitesimal sea desarrollado suficientemente, se puede volver a los problemas y eso puede llevar a aoluciones como se puede hallar en muchos libros de Anlisis:

x P x = -- G x h

x P G

Volumen pirmide =
h

G G 1 3 x 2 1 ----- G dx = ---- x dx = ---- h = -- hG - -2 2 2 3 3 h h h

Rx = x x Area tringulo parbolico =

a2
a

x
0

dx = -- a 3

1 3

- r S = ------
f

2 -= 1 r 2

r = c f
2 pc

Area concha espiral =

2 2

1 2 -- r d 2

1 2 -- c 2

3 d = --- c
2 0

4 3 2

En cuanto a la espiral Arqumedes hizo un trabajo admirable por deducir una frmula para el rea de cualquiera sector. Necesit un calculo bastante complicado, que despierta ms admiracin, si se da cuenta que no pudo disponer de nuestro idioma algebraico. Descubri esta frmula:
rea sector espiral = 2 1 -- r 1 r 2 + -- ( r 2 r 1 ) ] - [ 3 2
r

El lector puede hallar este frmula sin muchos problemas, usando el clculo integral.

Dos discpulos de Galileo

Bonaventura Cavalieri (1598-1647) y Evangelista Torricelli (1608 - 1647) fueron alumnos de Galileo. Ambos son famosos por sus resultados en pre-clculo. Cavalieri desarroll una teora, que fue llamado el mtodo de los indivisibles. Segn su teora una rea es la suma de infinitas rectas y un volumen es la suma de infinitos planos. Por este mtodo se puede comprender fcilmente la relacin entre el rea de un tringulo parrabolico 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 segmentos 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 a . Por eso obtenemos la misma frmula para el rea del tringulo parbolico y la pirmide.

a2

a2

x
0

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

1 3

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 las frmulas para los reas abajo de las curvas y = x3, y = x4, ... , y = x9. Por dar una idea de su enfoque es tratado aqu el primero caso. Mira la figura.
a 0 a 0 a 0 a 0 a 0

y
a

a = (x + y ) = x + y = 2x
por simetra

x
0 a

Entonces:

x
0

1 2 -a 2

Claro que est frmula sigue directamente de la representacin geometrca. Solamente es un arranque a la deduccin de las frmulas para

x ,

x
0

etc.

Veamos la deduccin algebraica de la suma continua de los cubos::

a =
4

a
0

(x + y )
0

x
0 a 0 0 a

+3

x
0 a 0 0 a

y +3

xy + y 3 =
2 0 0 por simetra

3 x +6

2 x y =

x x
0 a 0 a

+6

x 2( a x ) = x
0 a 2 6

+ 6a

x3 =
0

- x 3 + 6a 1- a3 = 3 a 0

4 a 0

x 3 + 2a4
o bien
- x 3 = 1-a4 4 0 a

Entonces a

= 4

4 3 x + 2a

Cavalieri us este mtodo para inferir la regla

x
0

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

o en notacin moderna

x
0

dx =

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

en los casos hasta n = 9. Se puede ilustrar el descubrimiento de Cavalieri con una serie de figuras como las siguientes:
y=x

y = x2

y = x3

y = x4

1 -2

1 -3

1 -4

1 -5

Por lo 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 matemticos franceses, es decir Fermat, Pascal y Roberval lograron a demostrar la regla para el rea abajo la curva y = xn de manera exacta. Cada de los tres uso su propio mtodo. Una demostracin bastante sencilla es basado en la desigualdad:
k k k n k k k 1 + 2 + + ( n 1 ) < --------------- < 1 + 2 + + n k +1 k +1

Esta desigualdad sigue, por el principio telescopio, desde:

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

(n 1)

k +1

< (k + 1) n

y esta regla 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 )

Dos extensiones de esta proposicin. I. Consideramos el rea A encerrado por la curva y = xk , la linea y = 0 y las lneas x = a y x = b. La curva divide tanto el rectngulo [0 , a] [0 , ak ] como el rectngulo [0 , b] [0 , bk ] en partes
cuyas reas son como 1 a k.

Por eso la regin (de la forma L) que est a fuera el primero rectngulo y dentro el segundo, es dividido en partes con la misma razn, es decir 1 : k. Esta regin tiene el rea k + 1 b - ak + 1 Combinando las dos conclusiones, sabemos que el rea A es igual a
k +1 k +1 b a --- --- --- --- --- --- ------ --- --- --- --- --- k +1
bk k+1 k +1

y = xk
(k)

A = ---------------------------------------

a k +1

ak
(1)

Observacin: la frmula vale tambin si a o b son negativos; se puede demostrarla por propiedades de simetra, con distincin de los casos k es par y k es impar. Aqu gana el clculo integral, por que con el clculo de
b

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

k +1

k+1 a k +1

no necesita una distincin de los casos. II. Consideramos la otra parte de la L. Tiene el rea:
k ---------- b ---------k------------------------ ----- --- a +1 k +1 k +1 k +1

Supn que ak = A y bk = B Pues tenemos:

B

k k --------------- --------------B A k k k y dy = ---------- B A = ----------------------------------1 k+1 --- + 1 k

1 --k

k +1

k +1

1 -- + 1 --

1 +1 ---

y nos da una extensin de la frmula para exponentes de la forma

1 --k

Torricelli ya conoci una regla geometrca para determinar la tangente de las curvas ym = xk (m, k nmeros enteros). Me restrinjo al caso m = 1, k > 1.
Q

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

y = xk

si y solamente si
(1)

1 AP AT - - = -------- = --------k BS AO

O
(k)

Una demostracin del estilo pre-clculo puede ser la siguiente. Nos restringimos al parte de la curva que corresponde con x > 0. Supn que P tiene las coordenadas (a , ak) Si TA =
1 -- a k

, o bien BS = kak, la pendiente de la recta TA es igual a

k ka k 1 --- --- - = k a --- -a

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 k1 k2 k1 +b a++a ---------------- = b --ba
k terminos
k k

Si b > a como en la figura, vale:

b a k 1 k2 k1 +a a++a = k ak 1 ------------------ > 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 dificultades 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 este epoca saben la interpretacin geometrca, que fue el ncleo de la proposicin mencionada. Se puede decir que esta significacin 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. En el comienzo de esta conferencia hemos visto la idea de Barrow para conectar rea y tangente. Es instructivo aplicar su construccin por ejemplo para las curvas 1 2 y = -- x 2 .y
y =
1 3 -- x 3

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

1 2 -- x 2

1 -- x 2 D 1 3 -- x 3

1 2 -- x 2

T
1

1 -- x 3 D 2

1 3 -- x 3

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

1 3

1 -- x 3

As se cierre el crculo de mi conferencia. Solamente he mostrado unos frutos histricos, que se podra integrar en la enseanza de lgebra y anlisis. Pero 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 la comprensin. Me doy cuenta que, para poder aplicar la historia de las matemticas de manera didctica, el profesor debe tener cierta experticia histrica. Una ventaja de este epoca es que se puede hallar mucha informacin sobre la historia de las matemticas en Internet. No pocas veces esta informacin es superficial, pero por las muchas referencias a la literatura se pueden profundizarse si lo quieren. Adems yo se que hay muchas excelentes publicaciones en castellano respecto de la historia de matemticas. Entonces quiero estimular cada uno que se encuentra mezclado en la educacin matemtica, para buscar posibilidades de usar ejemplos histricos en el aula.