En matemáticas, una serie de Madhava, también conocida como una serie de Leibniz es cualquiera de las series pertenecientes a una colección de expresiones de series infinitas todas las cuales se cree que fueron descubiertas por Madhava de Sangamagrama (c. 1350-c. 1425), el fundador de la escuela de astronomía y matemáticas de Kerala; y posteriormente por Gottfried Wilhelm Leibniz, entre otros. Estas expresiones son los desarrollos en serie de Maclaurin de las funciones trigonométricas seno, coseno y arco tangente, y el caso especial del desarrollo en serie de potencias de la función arco tangente, produciendo una fórmula para el cálculo de π.
Los desarrollos en series de potencias de las funciones seno y coseno se denominan respectivamente serie seno de Madhava y serie coseno de Madhava. La serie de potencias de la función arco tangente a veces se denomina serie de Madhava-Gregory[1][2] o serie de Gregory-Madhava. Estas series de potencias también se denominan colectivamente series de Taylor-Madhava.[3] La fórmula para π se conoce como serie de Madhava-Newton o serie de Madhava-Leibniz; o también fórmula de Leibniz para pi, o serie de Leibnitz-Gregory-Madhava.[4] Estas denominaciones adicionales para las diversas series reflejan los nombres de los descubridores o divulgadores occidentales de las series respectivas.
Las demostraciones de estas series usan muchos conceptos relacionados con el cálculo, como la suma, la tasa de variación y la interpolación, lo que sugiere que los matemáticos indios tenían una comprensión sólida del concepto de límite y de los conceptos básicos del cálculo mucho antes de que se desarrollaran en Europa. Otra evidencia del grado de avance de las matemáticas indias, que como el interés en las series infinitas y el uso de un sistema decimal de base diez también sugiere que era posible que el cálculo se hubiera desarrollado en India casi 300 años antes de su nacimiento reconocido en Europa.[5]
Ninguna obra conservada de Madhava contiene declaraciones explícitas con respecto a las expresiones que ahora llevan su nombre. Sin embargo, en los escritos de miembros posteriores de la escuela de astronomía y matemáticas de Kerala, como Nilakantha Somayaji y Jyeṣṭhadeva, se pueden encontrar atribuciones inequívocas de estas series a Madhava. También se pueden rastrear en los trabajos de estos astrónomos y matemáticos posteriores las demostraciones indias de estos desarrollos en serie, que proporcionan suficientes indicaciones sobre el enfoque que Madhava había adoptado para llegar a sus resultados.
A diferencia de la mayoría de las culturas anteriores, bastante incómodas con la idea de infinito, Madhava se mostraba complacido de poder operar con este concepto, particularmente con las series infinitas. Demostró cómo, aunque el número 1 se puede aproximar agregando un medio más un cuarto más un octavo más un dieciseisavo, etc. (como sabían incluso los antiguos egipcios y griegos), el total exacto de 1 solo se puede lograr mediante la suma de infinitas fracciones. Pero Madhava fue más allá y vinculó la idea de una serie infinita con la geometría y la trigonometría. Se dio cuenta de que, al sumar y restar sucesivamente diferentes fracciones de números impares hasta el infinito, podía encontrar una fórmula exacta para π (esto fue dos siglos antes de que Leibniz llegara a la misma conclusión en Europa).[6]
En los escritos de los matemáticos y astrónomos de la escuela de Kerala, las series de Madhava se describen expresadas en la terminología y los conceptos imperantes en aquella época. Cuando se traducen estas ideas a las notaciones y conceptos de las matemáticas modernas, se obtienen los equivalentes actuales de las series de Madhava. Estas versiones modernas de las expresiones de sus series infinitas son las siguientes:
N.º | Series | Nombre | Descubridores occidentales de las series y fechas aproximadas del descubrimiento[7] |
---|---|---|---|
1 | sin x = x − x33! + x55! − x77! + ... | Serie del seno de Madhava | Isaac Newton (1670) y Wilhelm Leibniz (1676) |
2 | cos x = 1 − x22! + x44! − x66! + ... | Serie del coseno de Madhava | Isaac Newton (1670) y Wilhelm Leibniz (1676) |
3 | arctan x = x − x33 + x55 − x77 + ... | Serie del arco tangente de Madhava | James Gregory (1671) y Wilhelm Leibniz (1676) |
4 | π4 = 1 − 13 + 15 − 17 + ... | Fórmula de Madhava para Π | James Gregory (1671) y Wilhelm Leibniz (1676) |
No se ha conservado ninguna de las obras de Madhava que contenga alguna de las expresiones en serie que se le atribuyen. Estas expresiones figuran en los escritos de sus seguidores de la escuela de Kerala. En numerosos escritos, estos autores han dejado constancia de que las series se usan "según lo dicho por Madhava". Por lo tanto, se puede suponer con seguridad que los enunciados de las diversas series encontradas en el Tantrasamgraha y sus comentarios reflejan "las propias palabras de Madhava". Las traducciones de los versos relevantes que figuran en el Yuktidipika, un comentario del Tantrasamgraha (también conocido como Tantrasamgraha-vyakhya) escrito por Sankara Variar (circa. 1500-1560) se reproducen a continuación, representados en la notación matemática actual.[8][9]
La serie seno de Madhava se declara en los versos 2.440 y 2.441 en el comentario Yukti-dipika (Tantrasamgraha-vyakhya) de Sankara Variar. La traducción de los versos es la siguiente:
Multiplique el arco por el cuadrado del arco y tome el resultado de repetir eso (cualquier número de veces). Divida (cada uno de los numeradores anteriores) por los cuadrados de los números pares sucesivos aumentados por ese número y multiplicados por el cuadrado del radio. Coloque el arco y los resultados sucesivos así obtenidos uno debajo del otro, y reste cada uno del anterior. Estos juntos dan la jiva, como se recoge en el verso que comienza con "vidvan", etc.
Sea r el radio del círculo y s la longitud del arco:
Sea θ el ángulo subtendido por el arco s en el centro del círculo. Entonces s = r θ y jiva = r sin θ. Sustituyendo estos en la última expresión y simplificando, se obtiene
que es la expansión de la serie de potencia infinita de la función seno.
La última línea en el verso 'como se recopila en el verso que comienza con "vidvan", etc.′ es una referencia a una reformulación de la serie introducida por el propio Madhava para simplificar los cálculos para valores específicos del arco y del radio. Para tal reformulación, considera un círculo, cuya cuarta parte mide 5400 minutos (o sea, C minutos) y desarrolla un esquema para los cálculos fáciles de las jiva de los diversos arcos de dicho círculo. Sea R el radio de un círculo, una cuarta parte del cual mide C. Madhava ya había calculado el valor de π usando su fórmula en serie.[10] Utilizando este valor de π, fijado en 3.1415926535922, el radio R se calcula como sigue:
La expresión de Madhava para jiva correspondiente a cualquier arco s de un círculo de radio R es equivalente a la siguiente:
Y calcula los siguientes valores:
N.º | Expresión | Valor | Valor en el sistema Katapayadi |
---|---|---|---|
1 | R × (π / 2)3 / 3! | 2220′ 39′′ 40′′′ | ni-rvi-ddhā-nga-na-rē-ndra-rung |
2 | R × (π / 2)5 / 5! | 273′ 57′′ 47′′′ | sa-rvā-rtha-śī-la-sthi-ro |
3 | R × (π / 2)7 / 7! | 16′ 05′′ 41′′′ | ka-vī-śa-ni-ca-ya |
4 | R × (π / 2)9 / 9! | 33′′ 06′′′ | tu-nna-ba-la |
5 | R × (π / 2)11 / 11! | 44′′′ | vi-dvān |
Entonces, el jiva se puede calcular utilizando el siguiente esquema:
Esto da una aproximación de jiva por su polinomio de Taylor de orden 11. Implica una división, seis multiplicaciones y cinco restas solamente. Madhava prescribe este esquema computacional numéricamente eficiente en las siguientes palabras (traducción del versículo 2.437 en Yukti-dipika):
vi-dvān, tu-nna-ba-la, ka-vī-śa-ni-ca-ya, sa-rvā-rtha-śī-la-sthi-ro, ni-rvi-ddhā-nga-na-rē- ndra-rung Multiplica sucesivamente estos cinco números en orden por el cuadrado del arco dividido por el cuarto de la circunferencia (5400′), y resta del siguiente número. (Continúe este proceso con el resultado así obtenido y el siguiente número). Multiplique el resultado final por el cubo del arco dividido por la cuarta parte de la circunferencia y réstese del arco.
La serie de coseno de Madhava se formula en los versos 2.442 y 2.443 en el comentario de Yukti-dipika (Tantrasamgraha-vyakhya ) de Sankara Variar. La traducción de los versos es:
Multiplíquese el cuadrado del arco por la unidad (es decir, el radio) y tome el resultado de repetir eso (cualquier número de veces). Divide (cada uno de los numeradores anteriores) por el cuadrado de los números pares sucesivos disminuidos por ese número y multiplicados por el cuadrado del radio. Pero el primer término es (ahora) (el que está) dividido por dos veces el radio. Coloque los resultados sucesivos así obtenidos uno debajo del otro y reste cada uno del anterior. Estos juntos dan el śara como se recoge en el verso que comienza con stena, stri, etc.
Sea r el radio del círculo y s la longitud del arco:
Sea θ el ángulo subtendido por el arco s en el centro del círculo. Entonces, s = rθ y Sara = r (1 - cos θ). Sustituyendo estos en la última expresión y simplificando, se obtiene:
de lo que resulta la serie de potencias infinita del desarrollo de la función coseno.
La última línea en el verso ′tal como se recoge en el verso que comienza con stena, stri, etc.′ es una referencia a una reformulación introducida por el propio Madhava para simplificar los cálculos necesarios para valores específicos del arco y del radio. Como en el caso de la serie del seno, considera un círculo tal que su cuarta parte mide 5400 minutos (o sea, C minutos) y desarrolla un procedimiento para simplificar los cálculos de los śara′s de los diversos arcos de dicho círculo. Sea R el radio de un círculo, una cuarta parte del cual mide C unidades. Entonces, como en el caso de la serie seno, Madhava obtiene R = 3437′ 44′′ 48′′′.
La expresión de Madhava para śara correspondiente a cualquier arco s de un círculo de radio R equivale a la expresión siguiente:
Y calcula los siguientes valores:
N.º | Expresión | Valor | Valor en el sistema Katapayadi |
---|---|---|---|
1 | R × (π / 2)2 / 2! | 4241′ 09′′ 00′′′ | u-na-dha-na-krt-bhu-re-va |
2 | R × (π / 2)4 / 4! | 872′ 03′′ 05 ′′′ | mī-nā-ngo-na-ra-sim-ha |
3 | R × (π / 2)6 / 6! | 071′ 43′′ 24′′′ | bha-drā-nga-bha-vyā-sa-na |
4 | R × (π / 2)8 / 8! | 03′ 09′′ 37′′′ | su-ga-ndhi-na-ga-nud |
5 | R × (π / 2)10 / 10! | 05′′ 12′′′ | strī-pi-śu-na |
6 | R × (π / 2)12 / 12! | 06′′′ | ste-na |
Entonces, el śara se puede calcular usando el siguiente esquema:
Esto da una aproximación de Sara por su polinomio de Taylor de orden 12, e implica una división, seis multiplicaciones y cinco sustracciones solamente. Madhava prescribe este procedimiento de cálculo numéricamente eficiente con las siguientes palabras (traducción del versículo 2.438 del Yukti-dipika):
Los seis stena, strīpiśuna, sugandhinaganud, bhadrāngabhavyāsana, mīnāngonarasimha, unadhanakrtbhureva. Multiplica por el cuadrado del arco dividido por el cuarto de la circunferencia y resta del siguiente número. (Continúese con el resultado y el siguiente número). El resultado final será utkrama-jya (R con el signo inverso).
La serie para el arco tangente de Madhava figura en los versos 2.206 – 2.209 del comentario al Yukti-dipika (conocido como Tantrasamgraha-vyakhya y escrito por Sankara Variar). A continuación se incluye una traducción de los versos.[11] Jyesthadeva también proporciona una descripción de esta serie en el Yuktibhasa.[12][13][14]
Ahora, con el mismo argumento, se puede (establecer) la determinación del arco de un seno deseado. Se hace lo siguiente: el primer resultado es el producto del seno deseado y el radio dividido por el coseno del arco. Cuando uno ha convertido el cuadrado del seno en el multiplicador y el cuadrado del coseno en el divisor, ahora se debe determinar un grupo de resultados a partir de los resultados (anteriores) que comienzan desde el primero. Cuando estos se dividen en orden por los números impares 1, 3, y así sucesivamente, y cuando uno ha restado la suma de los resultados pares (numerados) de la suma de los impares (unos), ese debería ser el arco. Aquí se requiere que el más pequeño del seno y coseno sea considerado como el deseado (seno). De lo contrario, no habría terminación de resultados incluso si se repite (el cálculo).
Mediante el mismo argumento, la circunferencia también se puede calcular de otra manera. Es como sigue: el primer resultado debe ser por la raíz cuadrada del cuadrado del diámetro multiplicado por doce. A partir de entonces, el resultado debe dividirse por tres (en) cada (caso) sucesivo. Cuando estos se dividen en orden por los números impares, comenzando con 1, y cuando uno ha restado los resultados (pares) de la suma de los impares, (eso) debería ser la circunferencia.
Sea s el arco del seno deseado (jya o jiva) y . Sea r el radio y sea x el coseno (kotijya).
Sea θ el ángulo subtendido por el arco s desde el centro del círculo. Entonces s=r θ; x=kotijya=r cos θ; e y=jya=r sin θ. Entonces y / x = tan θ. Sustituyendo estos en la última expresión y simplificando, se obtiene
Dejando que tan θ = q, finalmente se tiene que
La segunda parte del texto citado especifica otra fórmula para el cálculo de la circunferencia c de un círculo que tiene un diámetro d, tal como sigue:
Como c = π d, esto puede expresarse como una fórmula para calcular π de la siguiente manera:
Esto se obtiene sustituyendo q = (y por lo tanto, θ = π / 6) en el desarrollo en serie de potencias de tan −1 q anteriormente descrita.