Vous êtes sur la page 1sur 8
ARTICULOS La serie de Gregory-Leibniz y el Desarrollo en Serie de Potencias de la Funcion ang tanx 1, Introduccion: Un resultado que no deja de llamar la atencion por su belleza es la llamada serie de Gregor-Leibniz: 1 eis (ay 7 n+l que cominmente se obciene al sustituir el valor.x = 1, en el desarrollo de Taylor dela funcion y = ang tanx (1.2) angtanx =x Es interesante que este desarrollo se conociese antes del Caleulo (es decir, antes Javion con la determigacion de la introduccion del concepto de derivada y de su de areas), siendo uno de los antecedentes que muestra cuales fueron fas idea tos ¥ modos de pensar que finalmente condujeron a su creacion. E! obj en forma sucinta y con la terminologia de hoy —pe- iginal de esta de estas paginas es presenta ro con las ideas de la poca— una reconstruccion de la obtencion formula, Creemos que el presente trabajo permitira al profesor ampliar su vision acerea de los origenes del Calcuto y enriquecer su acervo de ejemplos, 2. Resultados previoy: Los dos elementos principales q Fain en juego en nuestra historia son el desarrollo en serie de potencias de algunas tunctoney simples y el calculo de algunas areas, en particular del area bajo la curva y = 3" ee ee Juan José Rivaud M. CINVESTAY México WM EducactosMarewitics Ml Vol.7-No, L+Abril 1995 Ml © GEL MP: El desarrollo: Texted tee Cx} >) es la base de casi todos los otros desarrollos en series de potencias que usaremos ¥ una manera simple de darnos cuenta de su validez es efectuar la division indicada: Leese gets (2.2) Este tipo de argumentos que manejan formalmente series infinitas de potencias, es anterior a I. Newton, pero él lo siguid usando sistematicamente, Como ejemplo, véanse las paginas 36 a 43 de The mathematical papers of Isaac Newton, Vol. 11, 1670-1673, D. T. Whiteside (ed.) Cambridge, 1969. Elevaluar el area bajo la grafica de y = 4°, es decir, bajo una parabola se co- nocia desde el siglo tita.C. y se debe a Arquimedes*. En el siglo XVil, para parabolas cibicas y cuarticas, Bonaventura Cavalieri, con su idea de los indivisibles, lo ataca y resuelve geométricamente**. Para el caso de un exponente natural arbitrario son muchos los matemiti cos que alrededor de la mitad de siglo proporcionan argumentos aceptables de que J stax aa (k natural), Para msotros f flx)de denota el area bajo Ia grafica de y = fx), entre 0 y.a (Ax) 0). * Estrictamente, Arquimedes calcula el area de un segmento de parabola, que en nuesttos térmi- roses equivalence al area bajo ésta, El lector interesado puede consultar “Quadrature of the parabo- la, The Works of Archimedes, T.L. Heath ed.), Cambridge, 1912. (Hay una edicion facsimilar de Dover.) 0 ** Vease *Cavalier-Integration Harvard, 1969, pp. 214-218. Source Book in Mathematics 1200-1800, D. J. Stik (e.t, >. LeAbril 199s 2 GEL 0 a x Figura 1 Con abjeto de mostrar fa en esa épor n 1 variedad de enfoques del problema manejados, presentaremos aqui otra idea, que también funciona para niimeros jonales-* > ~1. Tal idea fué desarrollada por Fermat*, y consiste en partir el incervalo [0, a] en una infitidad ce subintervalos seleccionados ad hoc para efec- tuar los calculos pertinentes. Con mas precision, si deseamos calcular el area baio la gréfica de la funcin y = (cons > ~1) entre 0 ya, tomemos 0 0. Por (2.1), tenemos que a) Si) No.+Abril 99s GEL (2.8) La norma de la part lo tanto, 29 fiedr= tim Si) = tim Foe = obteniendo asi el resultado para este caso. Cuando s = & @ 2.10) Ste =a y como cuando r tiende a uno, tambien ¢ tiende a la unidad, tenemos que: ety ff.06 de = fig Sie) = fig avs Te OE = Como se queria demostrar Es conveniente que el lector note que las aproximaciones tomadas son por arriba si > 0, y por abajo si -1 < + < 0, Si se toman como alturas de los rectngulos a (ur), en lugar de (ar, la situacion se invierte, Es interesante saber que estos cilculos se llevaron a cabo précticamente al mismo tiempo que aparecieron los exponentes fraccionarios En lo que sigue solo usaremos el resultado para el caso en que el exponente es un némero natural. 3. Demostracion det resultado principal (formula 1.2): Consideremos la tuncion y sustituyendox = zen (2.1), WM Epecacion Matematica Ml Vol. 7-No, 1+ © CGE B Peo 8 Al calcular el area bajo su grafica entre 0 y x, y después intercambiar las st mas con el cilculo de las area indicadas por los sumandos, re +- [fs og feb 2n+! 24 3 S 2n+1 El lado derecho es la serie de potencias en cuestion (serie 1.2). Lo que resta por hacer es mostrar que el area baja la curva y 1 entre 0 y ves precisamen- te ang tan.x, Para ello veamos la Figura 3. y Figura 3 Pag 19 EcLcaciO\Mareuntica Ml Vol. 7-No. teAbril 1998 > GEL ll Primero que nada notemes que ang OOP = ang tans y que como la circunferencia dada tiene radio uno, entonces 2¢Area sector OOP) = Longitud arco OP Probaremos que (Area sector OQP) = \ if Para ello se considera que ambas areas estan dadas por las “'sumas” de los di- ferenciales asociados en una y otra figura, y son iguales, Asi pues, de la Figura 3, se ve que el diferencial de area correspondiente a \; Luego 2 Area POP’ = Alz, = + dz) que como va habiamos dicho, implica el resultado, Se desea destacar que tal cemostracion no es la del “*Calculo de nuestros dias”, en donde para ello se usa la formula para la derivada de ang tan x y el te0- rema fundamental del Caleulo. Es conveniente resaltar que el argumento presentado es una reconstruccion que tiene sentido evar a cabo, pues Gregory no publicé su deducci6n de tal serie C. Boyer, en A History of Mathematics (Wiley, 2a. ed., pais. 386) indica que “El (Gregory) pudo haber aprendido en Italia que el area bajo la curva y dex = Oay = x, esang tan.x...”* pero tampoco da referencias de como los ita- lianos lo justificaban, Nuestra reconstruccién esta dentro del espiritu geométrico- algebraico de la escuela italiana de la epoca en donde se comparan las areas de dos figuras dadas. Asimismo, el lector interesado en el rigor no tendra ninguna dificultad en for- malizar las pruebas dadas, aunque no nos parece que sea lo relevante; la impor- ME EDUCACION MATEMATICA ML Vol.7-No. 1+Abril 1995 Ml C.GEL Ml Paz 1 © tancia la tenemos en conocer Ia riqueza y variedad de ideas que hizo posibles el advenimiento de! Célculo, 4. Aproximaciones a x Como es bien sabido, Arquimedes demuestra que 10 (4.1) 1 L aed

Vous aimerez peut-être aussi