Sunteți pe pagina 1din 13

Miscelanea Matematica 34 (2001) 5971

SMM

Fermat y el Clculo Diferencial e Integral* a


Shirley Bromberg
Departamento de Matemticas a Universidad Autnoma Metropolitana-I o 09340 Mxico, D.F. e Mxico e stbs@xanum.uam.mx

Juan Jos Rivaud** e


Departamento de Matemticas a Universidad Autnoma Metropolitana-I o 09340 Mxico, D.F. e Mxico e jrivaud@mail.cinvestav.mx

1.

Introduccin. o

El ultimo Teorema de Fermat encendi la imaginacin de generacio o o nes y generaciones de matemticos que so aron con su demostracin. a n o Para estas generaciones, el trabajo matemtico desarrollado por Fera mat qued oculto tras el brillo legendario del Teorema. Sin embargo, a o lo largo de los a os muchas voces se alzaron para reivindicar tambin n e a Fermat como co-fundador de la Geometr Anal a tica, como iniciador junto con Pascal de la Teor de Probabilidades y como descubridor del a Clculo Diferencial e Integral. a Queremos ahondar en la validez y alcances de esta ultima arma cin: Es Fermat, junto con Leibniz y Newton, fundador del Clculo? o o a
Una versin preliminar de este trabajo fue presentada en las III Jornadas de o Historia y Filosof de las Matemticas, CIMAT A.C., Guanajuato, septiembre de a a 2001. ** Con Licencia Sabtica de la Seccin de Metodolog y Teor de la Ciencia del a o a a CINVESTAV.
*

59

60

Shirley Bromberg y Juan Jos Rivaud e

con ms modestia: En qu medida el trabajo de Fermat es antecedente a e y precursor del Clculo? a Fermat, y los gemetras del siglo XVII (el trmino matemticose o e a emplear en el siglo por venir), quer ser los herederos del saber de a an los antiguos. As el primer inters de Fermat es abordar los problemas e geomtricos de los griegos: cuadraturas, trazado de tangentes, recticae cin de curvas y problemas geomtricos de optimizacin, pero se perla o e o un cambio en los mtodos/tcnicas usados. En efecto, el Arte Anal e e tico de F. Vi`te proporciona un nuevo signicado para el anlisis de los e a problemas y Fermat usa las tnicas de Vi`te para introducir un mtoe e e do de coordenadasque le permite convertir problemas geomtricos en e problemas que hoy denominar amos algebraicos. Se alemos que la notacin que estamos usando est lejos de ser la n o a usada por Fermat, la cual era bastante rudimentaria; adems, l la usa a e con mucho descuido. Nuestra notacin es la que se desarroll a partir o o de Leibniz y vale la pena recalcar que en el caso del lgebra, la forma es a contenido. Sin embargo, tratamos de estar tan cerca como sea posible de las ideas de Fermat.

2.

La cuadratura de las parbolas. a

Arqu medes descubri, mediante una heur o stica muy elaborada basada en la Ley de la Palanca, que la cuadratura del sector de parbola a ABC es igual a 4/3 del rea del respectivo tringulo, donde B, al que a a llamaremos centro del arco, es el punto de la parbola donde la tangente a es paralela a la cuerda AC. Para demostrar formalmente su resultado usa el mtodo de exhaucin. e o

Figura 1.a: Aproximacin por defecto o

Fermat y el Calculo Diferencial e Integral

61

Figura 1.b: Aproximacin por exceso o Aproxima, por defecto, el rea del sector con la suma de las areas de a la familia de tringulos que tienen como base una cuerda de la parbola a a y como vrtice el centro del arco correspondiente (ver gura 1.a) e Para aproximar por exceso, toma la suma de reas de tringulos a a determinados por las tangentes a la parbola en los extremos de los a arcos de la familia anterior (ver gura 1.b) Usando las relaciones entre las reas de los tringulos de las dos familias obtiene estimaciones que a a le permiten usar el mtodo de exhaucin y demostrar su resultado. e o Las relaciones antes mencionadas muestran que Arqu medes ten un a profundo conocimiento de la parbola. Notemos que en esta prueba, a Arqu medes utiliza la suma de una progresin geomtrica y, seg n o e u Fermat, es el unico caso en que lo hace. En el resto de problemas que Arqu medes aborda utiliza la suma de una progresin aritmtica. o e En contraste, veamos cmo Fermat calcula la cuadratura de la o q p parbola y = x , (con p = q) donde lo podemos apreciar como digno a sucesor de Arqu medes encontrando un truco ingenioso ad hoc. Finalmente termina su argumento empleando el principio de exhaucin. Suo pongamos que q es un n mero natural y p un entero tal que p + q > u 0. Consideremos la progresin geomtrica x0 , x0 r, x0 r 2 , x0 r 3 , . . . . Una o e parbola generalizada convierte progresiones geomtricas en progresioa e nes geomtricas, como se ve al calcular las ordenadas respectivas, las e cuales estn dadas por: a y0 = x0 , y1 = x0 r p/q , y2 = x0 r 2p/q , y3 = x0 r 3p/q , . . . . Aproximando el rea entre x = 0 y x = x0 , al modo del mtodo de a e exhaucin, con r < 1, tenemos una aproximacin por defecto y otra o o
p/q p/q p/q p/q

62

Shirley Bromberg y Juan Jos Rivaud e

Figura 2: Parbola y 2 = x a por exceso dadas por (x0 r j x0 r j+1 )yj y (x0 r j x0 r j+1)yj+1 .

donde las sumas se estn tomando desde 0 hasta . Operando se oba tiene que el rea est comprendida entre a a (x0 r j x0 r j+1)x0 r jp/q = x0 = y
p/q p/q 1+p/q

1r 1+p/q x (1+p/q) 0 1r (1 r)r p/q 1+p/q x , 1 r (1+p/q) 0

(1 r)

r j(1+p/q)

(x0 r j x0 r j+1)x0 r (j+1)p/q =

que se obtiene en forma anloga. a Notemos que Fermat est usando la suma totalde una progresin a o 1+p/q geomtica de razn r e o < 1 (esto puesto que r < 1 y 1 + p/q > 0). Nos resta estudiar (1 r)/1 r (1+p/q) . Para simplicar la escritura, escribimos r 1+p/q := s. Entonces 1r 1 r p+q 1 + s + + sq1 1r = = 1 r (1+p/q) 1 r p+q 1 r (1+p/q) 1 + r + + r p+q1

Finalmente, el rea del sector est comprendida entre a a

Usando el mtodo de exhaucin se muestra que el rea es: e o a A= 1 1+p/q x0 . 1 + p/q

1 + s + + sq1 1+p/q r p/q (1 + s + + sq1 ) 1+p/q x0 A x . 1 + r + + r p+q1 1 + r + + r p+q1 0

Fermat y el Calculo Diferencial e Integral

63

Podemos interpretar tambin este resultado en trminos de l e e mites. En efecto, tenemos que: l m 1 + s + + sq1 1+p/q r p/q (1 + s + + sq1 ) 1+p/q x0 = l m x r1 1 + r + + r p+q1 1 + r + + r p+q1 0 1 1+p/q x0 . 1 + p/q

r1

y ambos son iguales a:

Cuando 1 + p/q < 0, tomamos r > 1 y obtenemos el rea del sector a de parbolay q = xp entre x0 e . Y, por supuesto, para 1 + p/q = 0, a ambas sumas, i. e. para r < 1 y para r > 1, divergen. El resultado que Fermat obtiene es mucho ms general que los oba tenidos por otros matemticos de la poca como Cavalieri. Este ultimo a e calcula cuadraturas espec cas que requieren de razonamientos cada vez ms complicadas. Aquellos matemticos e historiadores que quieren ver a a en la frmula o x0 1 x dx = x+1 , +1 0 0 ( un racional mayor que -1) un precursor del teorema fundamental del clculo, olvidan que Fermat no ten una denicin de derivada. a a o

3.

Determinacin de mximos/m o a nimos.

El mtodo que utiliza Fermat, originalmete pensado para polinomios e pero luego aplicado a funciones algebraicas ms generales, se basa en a la observacin siguiente: Si Z es el valor mximo o m o a nimo de una cantidad A entonces la ecuacin Z = A tiene una unica ra Pero en los o z. problemas gemetricos que aborda, para cualquier valor de A distinto o del mximo o del m a nimo la ecuacin algebraica tiene dos ra o ces. Qu pasa entonces con la otra ra en el mximo o m e z a nimo? La respuesta es que en el mximo (o m a nimo) las dos coinciden , es decir, se trata de una ra doble y el problema se transforma en encotrar la x que z satisfaga esta condicin algebraica. o Un cambio de notacin nos permite replantear la condicin con ms o o a claridad: Supongamos que la funcin f (x) toma el mismo valor c en o x y en x + h, entonces el problema consiste en encontrar el valor de x para el cual h = 0 es ra doble de la ecuacin f (x + h) f (x) = z o 0, y para este x la funcin f tendr un mximo o m o a a nimo, siendo el contexto el encargado de discriminar entre los dos casos. Ahora bien,

64

Shirley Bromberg y Juan Jos Rivaud e

independientemente de x y de h, la ecuacin en cuestin tiene como o o ra h = 0. Luego, podemos reescribir la expresin de la izquierda como z o f (x + h) f (x) = hG(x, h). y preguntarnos ahora, para qu valor de x se tiene G(x, 0) = 0? Este e valor de x nos da el extremo buscado. Para llevar a cabo este anlisis, slo se requiere teor de ecuaciones a o a y lgebra elemental, y dar los pasos que siguen: a 1. manipular algebraicamente la ecuacin f (x + h) f (x) = 0 hasta o llevarla a la forma hG(x, h) = 0. 2. despejar de la ecuacin o G(x, 0) = 0, el valor x buscado. A continuacin veremos dos ejemplos de Fermat al o respecto.

3.1.

Un primer ejemplo.

El primer ejemplo es dividir un segmento dado en dos segmentos de manera que el rea del rectngulo determinado por ellos tenga rea a a a mxima. a Utilizando el mtodo de Vi`te, Fermat escribe AB = b. Entonces e e el rea del rectngulo determinado por cualquier punto del segmento a a est dada por x(b x) = bx x2 y como la suma de las ra a ces de la 2 ecuacin bx x = 0 es igual a b, cuando se trata de una ra doble o z x0 se debe tener x0 = b/2. Miremos ahora la resolucin de este mismo o problema utilizando la regla de los dos pasos: f (x + h) f (x) = b(x + h) (x + h)2 bx + x2 = h(b 2x h), es decir G(x, h) = b 2x h y la solucin de G(x, 0) = 0 es, en efecto, o x0 = b/2. Este es un ejemplo muy sencillo donde pueden apreciarse la armacin de Fermat. En efecto, la cantidad bx x2 = c tiene, para c o menor que el mximo, dos soluciones, excepto para x = b/2. a Su mtodo le permiti resolver problemas mucho ms complicados e o a como la proposicin 6 del Libro VII de la Coleccin Matemticade o o a Pappus que, en traduccin de Fermat, dice: o

Fermat y el Calculo Diferencial e Integral

65

Dada la l nea BDEF en la cual los puntos B, D, E, F ests dados. a Se busca el punto N entre D y E de manera que la razn entre el o rectngulos BNF y DNE sea la menor posible. a

Figura 3: Proposicin VII.6 de Pappus o

3.2.

Segundo ejemplo: La ley de Snell.

Desde la antig edad se hab observado que un rayo de luz cambia u a su direccin o se quiebra, cuando pasa de un medio ptico a otro. o o Tolomeo di una ley que, para ngulos de incidencia pequeos, funciona o a n aceptablemente. En 1621, el cient co holands Willebrod Snell (1591e 1626) enunci, sin proporcionar ninguna argumentacin a su favor, la o o ley que lleva su nombre:

Figura 4: La ley de Snell donde i es el ngulo de incidencia, r el ngulo de refraccin y k una a a o constante que slo depende de los medios pticos en cuestin. o o o Fermat enuncia su principio de m nimo tiempoque arma: la luz al viajar de un punto a otro, atravesando uno o ms medios pticos, a o sigue la trayectoria que utiliza en su recorrido el menor tiempo posible. A partir de este principio prueba la Ley de Snell, planteando para ello un problema de m nimos al que aplica su mtodo. e Esta es una de las pocas incursiones, si no la unica, de Fermat en la f sica matemtica y provoc la conocida controversia con Descartes. a o A continuacin exponemos la solucin al problema dada por Fermat. o o

66

Shirley Bromberg y Juan Jos Rivaud e

Pensemos que el plano est constitu por dos medios pticos dea do o limitados por el eje de las x, que en el semi-plano superior la luz viaja a velocidad v1 y en el inferion a velocidad v2 . Encontrar la trayectoria de menor tiempo (siguiendo los requisitos anteriores) para ir del punto (0, a) (con a > 0) al punto (b, c), donde c < 0, equivale a encontrar en qu punto (x, 0) nuestra trayectoria debe cruzar del eje de las abscisas e (ver Figura 4). Si t1 es el tiempo empleado en ir de (0, a) a (x, 0), y t2 el tiempo que toma ir desde (x, 0) a (b, c), claramente puede verse que: (b x)2 + c2 x2 + a2 t1 = y t2 = . v1 v2

Figura 5: Luego debemos encontrar las condiciones que deben satisfacerse para que la cantidad (b x)2 + c2 x2 + a2 d= + v1 v2 sea m nima. Esto sucede cuando la expresin o
(x + h)2 + a2 + v1 (b (x + h))2 + c2 v2 x2 + a2 + v1 (b x)2 + c2 v2

tiene, en h=0, una ra doble. z Para dar el primer paso del mtodo, racionalizamosada una de las e c fracciones y obtenemos, ( (x + h)2 + a2 x2 + a2 )( x2 + a2 + (x + h)2 + a2 ) 0= + v1 ( x2 + a2 + (x + h)2 + a2 )

Fermat y el Calculo Diferencial e Integral

67

(b (x + h))2 + c2 v2 (

(b x)2 + c2 (b x)2 + c2 +

(b x)2 + c2 + (b (x + h))2 + c2 )

(b (x + h))2 + c2

La expresin queda entonces o


0=

((x + h)2 + a2 ) (x2 + a2 ) ((b (x + h))2 + c2 ) ((b x)2 + c2 ) + , v1 ( x2 + a2 + (x + h)2 + a2 ) v2 ( (b x)2 + c2 + (b (x + h))2 + c2 )

y simplicando
h 2x + h 2b x h = 0, 2 + a2 + v1 ( x (x + h)2 + a2 ) v2 ( (b x)2 + c2 + (b (x + h))2 + c2 )

con lo que queda conclu el primer paso. Para dar el siguiente paso, do en el segundo factor hacemos h = 0 y obtenemos x2 2x + + x2 + a2 ) v2 ( a2 x)2 + c2 + 2(b x) (b x)2 + c2 ) =0

v1 (

(b

o sea

x = v1 ( x2 + a2 ) v2 (

sen1 sen2 = , v1 v2 que claramente es equivalente a la ley de Snell. Notemos que el argumento nos dice que k es el cociente de las velocidades v1 y v2 , lo que nos da un signicado preciso de esta constante. Para terminar con este ejemplo, apuntamos que este problema de optimizacin no pertenece a la tradicin griega y fue resuelto por primeo o ra vez por Fermat usando su mtodo. Posteriormente Fermat di una e o prueba geomtrica de este resultado, que no tiene ninguna virtud, ya e que adems de engorrosa no aporta ninguna luz al problema. a

Es decir

(b x)2 + c2 )

(b x)

4.
4.1.

Trazado de tangentes.
La parbola. a

Dice Fermat (ver [Ir]): si, por ejemplo, consideramos la parboa la BDN de vrtice D, de dimetro DC, dado B un punto sobre ella, e a por el cual queremos trazar la recta BE tangente a la parbola y que a encuentra el dimetro en E, entonces cuando tomamos sobre la reca ta BE un punto cualquiera O, se tendr que CD/CI > BC 2 /OI 2, a

68

Shirley Bromberg y Juan Jos Rivaud e

Figura 6: Parbola a puesto que O es exterior a la parbola. Por otra parte, por semejanza a 2 de tringulos, se tiene que: BC /OI 2 = CE 2 /IE 2 . Por consiguiente, a CD/CI > CE 2 /IE 2 . Como el punto b es dado, as dados tambin estn e a C y el segmento CD. Llamamos CD = d y CE = a, CI = e. Se tiene entonces que d/(d e) > a2 /(a2 + e2 2ae). De donde d(a2 +e2 2ae) > (de)a2 . Luego, adigualando, y cancelando trminos semejantes obtenemos e de2 2ade Ad . o, lo que es lo mismo, de2 + ea2 Ad . 2ade, y dividiendo todos los trminos por e, e de + a2 Ad . 2ad. Se suprime de; queda a2 = 2ad, o bien a = 2d, lo es conforme a la realidad. Fermat arma que su mtodo es general, pero Descartes dice que e Fermat est utilizando un mtodo que da un resultado verdadero en a e el unico caso en que ello sucede. Y es que Descartes no quiere ver en la desigualdad CD/CI > BC 2 /OI 2, que Fermat est usando las a propiedades de la parbola y que cuando se cambie de curva habr que a a cambiar la relacin. Slo tiempo despus, a ra del xito de Fermat en o o e z e ea2 ,

Fermat y el Calculo Diferencial e Integral

69

resolver los retos que le propone y con el juicio de Desargues 1 , Descartes acepta la calidad de su oponente. Descartes creyendo entonces que su mtodo era general y que Fermat no ten mtodo alguno, lo reta a e a e encontrar la tangente a la curva que tiene por ecuacin x3 + y 3 = pxy. o Esta curva, cuya trayectoria no dibujan ni Fermat ni Descartes (es dibujada por Roberval quien la llama lazo real), es conocida como el folio de Descartes.

5.
5.1.

Conclusiones.
Qu es el clculo diferencial e integral. e a

En una primera aproximacin podr o amos decir que el Clculo es a el mtodo que usa cantidades innitamente peque as o ideas similares e n en Geometr Sin embargo, no podemos discutir los antecedentes del a. Clculo sin antes aclarar con ms detalle qu entendemos por ste. a a e e Parecer que en ello no hay problema, pero la idea que se tiene del a Clculo ha ido alterada con el desarrollo de las Matemticas. Esto ha a a tra como consecuencia serios cambios, no siempre para bien, en los do programas de estudio y en los textos de la materia, introduciendo en forma estr ctamente rigurosa y formal, ideas y conceptos cuyo estudio matemtico y formalizacin es posterior al Clculo en casi un siglo. a o a Ejemplos de ello son los conceptos de l mite, continuidad, integral de Riemann o convergencia de series y sucesiones, as como la idea misma de funcin. o Por supuesto, no negamos la relevancia de ellos, pero en los a os n del nacimiento del Clculo se manejaron en forma impl a cita e intuitiva, y, hasta cierto punto, con inocencia y dando por hecho que ten el an mejor de los comportamientos. Pero son estas caracter sticas las que le permiten tener el xito que tuvo en el tratamiento y solucin de los e o problemas que atac, lo que tambin le dio, no slo, conanza en sus o e o mtodos sino tambin familiaridad en su uso, punto importante sobre e e todo porque el Clculo se desarrolla y crea a la par de sus aplicaciones, a unas veces precediendo a la teor y otras inmediatamente despus de a e sta. e Los problemas de determinacin de tangentes y de cuadraturas camo bian radicalmente con las nociones de derivada e integral y el Teorema
Descartes pide a Desargues que funja como juez de la controversia y, despus de e estudiar los argumentos, ste concluye que M. Descartes tiene razn, M. Fermat e o no est equivocado, ver [M]. a
1

70

Shirley Bromberg y Juan Jos Rivaud e

Fundamental del Clculo, que pone de maniesto que se trata de proa blemas inversos. Consecuencia de ello es que para calcular un rea ya a no tenemos que recurrir al mtodo de exhaucin, al principio de Cavae o lieri, o ideas similares, sino que ahora el problema queda resuelto, y de manera radicalmente diferente, con el clculo de una antiderivada. a En esta problemtica, la idea central es la de derivada, la cual tiene a caracter sticas novedosas pues sta como todos sabemos est denie a da como el l mite del cociente de dos cantidades que tienden a cero, dndonos as la razn de cambio puntual. Esta razn de cambio puea o o de signicar la velocidad (instantnea), densidad y muchas otras cosas a ms con fuerte contenido f a sico, que es lo que le da su versatilidad en las aplicaciones. Pero el que est denida como el l e mite de un cociente de dos cantidades que tienden a cero caus polmica desde el primer o e momento, lo cual no impidi que momento a momento se usase ms y o a ms. Es a travs de la nocin de derivada que los problemas de la nuea e o va f sica se reducen a relaciones entre estas funciones derivadas y la funcin original dando lugar a una ecuacin diferencial o sencillamente o o a una antiderivada o, ms simple a n, a la evaluacin de la derivada a u o en un punto dado. La derivada permite aglutinar y aclarar una buena cantidad de mtodos diversos para resolver distintos problemas: trazae do de tangentes, clculos de mximos y m a a nimos, clculo de longitudes, a reas y vol menes as como la determinacin de centros de gravedad. a u o En el caso del clculo de longitudes, reas y vol menes ya no es necea a u sario recurrir a las aproximaciones ad hoc, reducindose al clculo de e a una antiderivada, mtodo realmente revolucionario. e

5.2.

Precursor en qu sentido? e

Fermat se interesa en resolver estos problemas y los aborda usando las tcnicas introducidas por F. Vi`te en el Arte Anal e e tico y, posiblemente es, en este sentido, el primer analista, y un iniciador del camino anal tico dentro de las Matemticas. Su inuencia entre sus cona temporneos es sucientemente amplia como para que Newton hubiese a dicho que algunas de sus primeras ideas sobre el trazado de tangentes a curvas y el estudio de mximos y m a nimos proven directamente de an Fermat [Si]. Como matemtico interesado principalmente en resolver problemas, a Fermat no est dispuesto a perder un mtodo que se justica por su a e eciencia. Esto no quiere decir que ignore o menosprecie la teor y a l mismo arma que sus mtodos son tan certeros como la primera e e proposicin de los Elementos (de Euclides)[M], pero no es su princio

Fermat y el Calculo Diferencial e Integral

71

pal inters. Fermat hace teor porque la confrontacin con los otros e a o matemticos de su poca as se lo exige. Y, sin lugar a dudas, en esta a e confrontacin, Fermat aprende mucho ms que Descartes. Con la lectuo a ra de la Geometr y sus reexiones, el mtodo se rena y se enriquece. a, e El fenmemo de presentismo (i.e. interpretar el conocimiento de o una poca con los ojos, ideas, mtodos y teor del presente) aunado e e a a la tendencia natural de interpretar la lectura de textos ajenos con lo que nosotros ya sabemos, con gran frecuencia lleva a ver en Fermat un precursor del Clculo y sus ideas, por ejemplo, encontrando pasos al a l mite o cocientes diferenciales donde no los hay. Este es un fenmeno o que con Fermat se repite desde su poca (ver Huygens). Si queremos e ver a Fermat como un precursor del Clculo nos tenemos que restringir a por un lado, a la problemtica que aborda y que comparte con muchos a otros, y por el otro a la utilizacin del mtodo de Vi`te, el cual lleva o e e aparejado la introduccin de la geometr anal o a tica. Esta es un requisito para el desarrollo del Clculo pero que no puede confundirse con ste. a e

Referencias
[Ir] D. Bessot, et al Aux Origines du calcul innitsimal. Commission e inter-IREM, Epistmologie et Histoire des Mathmatiques, Ellipe e sis,1999. [M] M. S. Mahoney, The Mathematical career of Pierre de Fermat. Second Ed., Princeton University Press, Pinceton, N.J., 1994. [Si] F Simmons, Ecuaciones Diferenciales. McGraw-Hill, Mxico, 1977. e [St] D. J. Struik, (Editor) A Source Book in Mathematics, 1200-1800. Harvard University Press, Cambridge, Ma. 1969.

S-ar putea să vă placă și