Madhava series
In mathematics, a Madhava series is one of the three Taylor series expansions for the sine, cosine, and arctangent functions discovered in 14th or 15th century in Kerala, India by the mathematician and astronomer Madhava of Sangamagrama (c. 1350 – c. 1425) or his followers in the Kerala school of astronomy and mathematics.[1] Using modern notation, these series are:
All three series were later independently discovered in 17th century Europe. The series for sine and cosine were rediscovered by Isaac Newton in 1669,[2] and the series for arctangent was rediscovered by James Gregory in 1671 and Gottfried Leibniz in 1673,[3] and is conventionally called Gregory's series. The specific value can be used to calculate the circle constant π, and the arctangent series for 1 is conventionally called Leibniz's series.
In recognition of Madhava's priority, in recent literature these series are sometimes called the Madhava–Newton series,[4] Madhava–Gregory series,[5] or Madhava–Leibniz series[6] (among other combinations).[7]
No surviving works of Madhava contain explicit statements regarding the expressions which are now referred to as Madhava series. However, in the writing of later Kerala school mathematicians Nilakantha Somayaji (1444 – 1544) and Jyeshthadeva (c. 1500 – c. 1575) one can find unambiguous attributions of these series to Madhava. These later works also include proofs and commentary which suggest how Madhava may have arrived at the series.
Madhava series in "Madhava's own words"
[edit]None of Madhava's works, containing any of the series expressions attributed to him, have survived. These series expressions are found in the writings of the followers of Madhava in the Kerala school. At many places these authors have clearly stated that these are "as told by Madhava". Thus the enunciations of the various series found in Tantrasamgraha and its commentaries can be safely assumed to be in "Madhava's own words". The translations of the relevant verses as given in the Yuktidipika commentary of Tantrasamgraha (also known as Tantrasamgraha-vyakhya) by Sankara Variar (circa. 1500 - 1560 CE) are reproduced below. These are then rendered in current mathematical notations.[8][9]
Madhava's sine series
[edit]In Madhava's own words
[edit]Madhava's sine series is stated in verses 2.440 and 2.441 in Yukti-dipika commentary (Tantrasamgraha-vyakhya) by Sankara Variar. A translation of the verses follows.
Multiply the arc by the square of the arc, and take the result of repeating that (any number of times). Divide by the squares of the successive even numbers (such that current is multiplied by previous) increased by that number and multiplied by the square of the radius. Place the arc and the successive results so obtained one below the other, and subtract each from the one above. These together give the jiva [sine], as collected together in the verse beginning with "vidvan" etc.
Rendering in modern notations
[edit]Let r denote the radius of the circle and s the arc-length.
- The following numerators are formed first:
- These are then divided by quantities specified in the verse.
- Place the arc and the successive results so obtained one below the other, and subtract each from the one above to get jiva:
Transformation to current notation
[edit]Let θ be the angle subtended by the arc s at the centre of the circle. Then s = r θ and jiva = r sin θ. Substituting these in the last expression and simplifying we get
which is the infinite power series expansion of the sine function.
Madhava's reformulation for numerical computation
[edit]The last line in the verse ′as collected together in the verse beginning with "vidvan" etc.′ is a reference to a reformulation of the series introduced by Madhava himself to make it convenient for easy computations for specified values of the arc and the radius. For such a reformulation, Madhava considers a circle one quarter of which measures 5400 minutes (say C minutes) and develops a scheme for the easy computations of the jiva′s of the various arcs of such a circle. Let R be the radius of a circle one quarter of which measures C. Madhava had already computed the value of π using his series formula for π.[10] Using this value of π, namely 3.1415926535922, the radius R is computed as follows: Then
- R = 2 × 5400 / π = 3437.74677078493925 = 3437 arcminutes 44 arcseconds 48 sixtieths of an arcsecond = 3437′ 44′′ 48′′′.
Madhava's expression for jiva corresponding to any arc s of a circle of radius R is equivalent to the following:
Madhava now computes the following values:
No. | Expression | Value | Value in Katapayadi system |
---|---|---|---|
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 |
The jiva can now be computed using the following scheme:
- jiva = s − (s / C)3 [ (2220′ 39′′ 40′′′) − (s / C)2 [ (273′ 57′′ 47′′′) − (s / C)2 [ (16′ 05′′ 41′′′) − (s / C)2[ (33′′ 06′′′) − (s / C)2 (44′′′ ) ] ] ] ].
This gives an approximation of jiva by its Taylor polynomial of the 11'th order. It involves one division, six multiplications and five subtractions only. Madhava prescribes this numerically efficient computational scheme in the following words (translation of verse 2.437 in 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 . Successively multiply these five numbers in order by the square of the arc divided by the quarter of the circumference (5400′), and subtract from the next number. (Continue this process with the result so obtained and the next number.) Multiply the final result by the cube of the arc divided by quarter of the circumference and subtract from the arc.
Madhava's cosine series
[edit]In Madhava's own words
[edit]Madhava's cosine series is stated in verses 2.442 and 2.443 in Yukti-dipika commentary (Tantrasamgraha-vyakhya) by Sankara Variar. A translation of the verses follows.
Multiply the square of the arc by the unit (i.e. the radius) and take the result of repeating that (any number of times). Divide (each of the above numerators) by the square of the successive even numbers decreased by that number and multiplied by the square of the radius. But the first term is (now)(the one which is) divided by twice the radius. Place the successive results so obtained one below the other and subtract each from the one above. These together give the śara as collected together in the verse beginning with stena, stri, etc.
Rendering in modern notations
[edit]Let r denote the radius of the circle and s the arc-length.
- The following numerators are formed first:
- These are then divided by quantities specified in the verse.
- Place the arc and the successive results so obtained one below the other, and subtract each from the one above to get śara:
Transformation to current notation
[edit]Let θ be the angle subtended by the arc s at the centre of the circle. Then s = rθ and śara = r(1 − cos θ). Substituting these in the last expression and simplifying we get
which gives the infinite power series expansion of the cosine function.
Madhava's reformulation for numerical computation
[edit]The last line in the verse ′as collected together in the verse beginning with stena, stri, etc.′ is a reference to a reformulation introduced by Madhava himself to make the series convenient for easy computations for specified values of the arc and the radius. As in the case of the sine series, Madhava considers a circle one quarter of which measures 5400 minutes (say C minutes) and develops a scheme for the easy computations of the śara′s of the various arcs of such a circle. Let R be the radius of a circle one quarter of which measures C. Then, as in the case of the sine series, Madhava gets R = 3437′ 44′′ 48′′′.
Madhava's expression for śara corresponding to any arc s of a circle of radius R is equivalent to the following:
Madhava now computes the following values:
No. | Expression | Value | Value in Katapayadi system |
---|---|---|---|
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 |
The śara can now be computed using the following scheme:
- śara = (s / C)2 [ (4241′ 09′′ 00′′′) − (s / C)2 [ (872′ 03′′ 05 ′′′) − (s / C)2 [ (071′ 43′′ 24′′′) − (s / C)2[ (03′ 09′′ 37′′′) − (s / C)2 [(05′′ 12′′′) − (s / C)2 (06′′′) ] ] ] ] ]
This gives an approximation of śara by its Taylor polynomial of the 12'th order. This also involves one division, six multiplications and five subtractions only. Madhava prescribes this numerically efficient computational scheme in the following words (translation of verse 2.438 in Yukti-dipika):
The six stena, strīpiśuna, sugandhinaganud, bhadrāngabhavyāsana, mīnāngonarasimha, unadhanakrtbhureva. Multiply by the square of the arc divided by the quarter of the circumference and subtract from the next number. (Continue with the result and the next number.) Final result will be utkrama-jya (R versed sign).
Madhava's arctangent series
[edit]In Madhava's own words
[edit]Madhava's arctangent series is stated in verses 2.206 – 2.209 in Yukti-dipika commentary (Tantrasamgraha-vyakhya) by Sankara Variar. A translation of the verses is given below.[11] Jyesthadeva has also given a description of this series in Yuktibhasa.[12][13][14]
Now, by just the same argument, the determination of the arc of a desired sine can be (made). That is as follows: The first result is the product of the desired sine and the radius divided by the cosine of the arc. When one has made the square of the sine the multiplier and the square of the cosine the divisor, now a group of results is to be determined from the (previous) results beginning from the first. When these are divided in order by the odd numbers 1, 3, and so forth, and when one has subtracted the sum of the even(-numbered) results from the sum of the odd (ones), that should be the arc. Here the smaller of the sine and cosine is required to be considered as the desired (sine). Otherwise, there would be no termination of results even if repeatedly (computed).
By means of the same argument, the circumference can be computed in another way too. That is as (follows): The first result should by the square root of the square of the diameter multiplied by twelve. From then on, the result should be divided by three (in) each successive (case). When these are divided in order by the odd numbers, beginning with 1, and when one has subtracted the (even) results from the sum of the odd, (that) should be the circumference.
Rendering in modern notations
[edit]Let s be the arc of the desired sine (jya or jiva) y. Let r be the radius and x be the cosine (kotijya).
- The first result is .
- Form the multiplier and divisor .
- Form the group of results:
- These are divided in order by the numbers 1, 3, and so forth:
- Sum of odd-numbered results:
- Sum of even-numbered results:
- The arc is now given by
Transformation to current notation
[edit]Let θ be the angle subtended by the arc s at the centre of the circle. Then s = rθ, x = kotijya = r cos θ and y = jya = r sin θ. Then y / x = tan θ. Substituting these in the last expression and simplifying we get
- .
Letting tan θ = q we finally have
Another formula for the circumference of a circle
[edit]The second part of the quoted text specifies another formula for the computation of the circumference c of a circle having diameter d. This is as follows.
Since c = π d this can be reformulated as a formula to compute π as follows.
This is obtained by substituting q = (therefore θ = π / 6) in the power series expansion for tan−1 q above.
Comparison of convergence of various infinite series for π
[edit]
See also
[edit]- Madhava of Sangamagrama
- Madhava's sine table
- Madhava's correction term
- Padé approximant
- Taylor series
- Laurent series
- Puiseux series
Notes
[edit]- ^ Gupta 1987; Katz 1995; Roy 2021, Ch. 1. Power Series in Fifteenth-Century Kerala, pp. 1–22
- ^ Newton (1669) De analysi per aequationes numero terminorum infinitas was circulated as a manuscript but not published until 1711. For context, see:Roy 2021, Ch. 8. De Analysi per Aequationes Infinitas, pp. 165–185.Leibniz later included the series for sine and cosine in Leibniz (1676) De quadratura arithmetica circuli ellipseos et hyperbola cujus corollarium est trigonometria sine tabulis, which was only finally published in 1993. However, he had been sent Newton's sine and cosine series by Henry Oldenburg in 1675 and did not claim to have discovered them. See:Probst, Siegmund (2015). "Leibniz as reader and second inventor: The cases of Barrow and Mengoli". In Goethe, N.; Beeley, P.; Rabouin, D. (eds.). G.W. Leibniz, Interrelations between Mathematics and Philosophy. Archimedes. Vol. 41. Springer. pp. 111–134. doi:10.1007/978-94-017-9664-4_6. ISBN 978-94-017-9663-7.
- ^ Gregory received a letter from John Collins including Newton's sine and cosine series in late 1670. He discovered the general Taylor series and sent a now-famous letter back to Collins in 1671 including several specific series including the arctangent. See Roy 1990.Horvath, Miklos (1983). "On the Leibnizian quadrature of the circle" (PDF). Annales Universitatis Scientiarum Budapestiensis (Sectio Computatorica). 4: 75–83.
- ^ For example:Plofker, Kim (2005). "Relations between approximations to the sine in Kerala mathematics". In Emch, Gérard G.; Sridharan, R.; Srinivas, M. D. (eds.). Contributions to the History of Indian Mathematics. Gurgaon: Hindustan Book Agency. pp. 135–152. doi:10.1007/978-93-86279-25-5_6. ISBN 978-81-85931-58-6.Filali, Mahmoud (2012). "Harmonic analysis and applications". Kybernetes. 41: 129–144. doi:10.1108/03684921211213160. S2CID 206377839.
- ^ For example: Gupta 1973; Joseph 2011, p. 428;Levrie, Paul (2011). "Lost and Found: An Unpublished ζ(2)-Proof". Mathematical Intelligencer. 33: 29–32. doi:10.1007/s00283-010-9179-y. S2CID 121133743.
- ^ For example: Gupta 1992;Pouvreau, David (2015). "Sur l'accélération de la convergence de la série de Madhava-Leibniz". Quadrature (in French). 97: 17–25.Young, Paul Thomas (2022). "From Madhava–Leibniz to Lehmer's Limit". American Mathematical Monthly. 129 (6): 524–538. doi:10.1080/00029890.2022.2051405. S2CID 247982859.
- ^ For example, Madhava–Gregory–Leibniz series: Benko, David; Molokach, John (2013). "The Basel Problem as a Rearrangement of Series". College Mathematics Journal. 44 (3): 171–176. doi:10.4169/college.math.j.44.3.171. S2CID 124737638.Madhava–Leibniz–Gregory series: Danesi, Marcel (2021). "1. Discovery of π and Its Manifestations". Pi (π) in Nature, Art, and Culture. Brill. pp. 1–30. doi:10.1163/9789004433397_002. ISBN 978-90-04-43337-3. S2CID 242107102.Nilakantha–Gregory series: Campbell, Paul J. (2004). "Borwein, Jonathan, and David Bailey, Mathematics by Experiment". Reviews. Mathematics Magazine. 77 (2): 163. doi:10.1080/0025570X.2004.11953245. S2CID 218541218.Gregory–Leibniz–Nilakantha formula: Gawrońska, Natalia; Słota, Damian; Wituła, Roman; Zielonka, Adam (2013). "Some generalizations of Gregory's power series and their applications" (PDF). Journal of Applied Mathematics and Computational Mechanics. 12 (3): 79–91. doi:10.17512/jamcm.2013.3.09.
- ^ Bag 1976.
- ^ Raju 2007, pp. 114–120.
- ^ Raju 2007, p. 119.
- ^ Raju 2007, p. 231.
- ^ O'Connor, John J.; Robertson, Edmund F. (2000). "Madhava of Sangamagramma". MacTutor History of Mathematics archive.
- ^ Gupta 1973.
- ^ Sarma 1972.
References
[edit]- Anderson, Marlow; Katz, Victor; Wilson, Robin, eds. (2004). Sherlock Holmes in Babylon and Other Tales of Mathematical History. Mathematical Association of America. pp. 107–174. ISBN 978-0-88385-546-1. JSTOR 10.4169/j.ctt13x0n0r.
- Bag, Amulya Kumar (1976). "Madhava's sine and cosine series" (PDF). Indian Journal of History of Science. 11 (1): 54–57. Archived from the original (PDF) on 14 February 2010.
- Bressoud, David (2002). "Was calculus invented in India?". College Mathematics Journal. 33 (1): 2–13. doi:10.1080/07468342.2002.11921911. Reprinted in Anderson & al. 2004, pp. 131–137
- Gold, David; Pingree, David (1991). "A Hitherto Unknown Sanskrit Work concerning Mādhava's Derivation of the Power Series for Sine and Cosine". Historia Scientiarum. 42: 49–65.
- Gupta, Radha Charan (1973). "The Mādhava-Gregory series". The Mathematics Education. 7. B: 67–70.
- Gupta, Radha Charan (1975). "Mādhava's and other medieval Indian values of Pi". The Mathematics Education. 9. B: 45–48.
- Gupta, Radha Charan (1976). "Mādhava's power series computation of the sine". Gaṇita. 27 (1–2): 19–24.
- Gupta, Radha Charan (1987). "South Indian Achievements in Medieval Mathematics". Gaṇita Bhāratī. 9: 15–40. Reprinted in Ramasubramanian, K., ed. (2019). Gaṇitānanda: Selected Works of Radha Charan Gupta on History of Mathematics. Springer. pp. 417–442. doi:10.1007/978-981-13-1229-8_40. S2CID 213756968.
- Gupta, Radha Charan (1991). "The Mādhava–Gregory series for tan−1x". Indian Journal of Mathematics Education. 11 (3): 107–110.
- Gupta, Radha Charan (1992). "On the remainder term in the Mādhava–Leibniz series". Gaṇita Bhāratī. 14 (1–4): 68–71.
- Hayashi, Takao; Kusuba, Takanori; Yano, Michio (1990). "The correction of the Madhava series for the circumference of a circle". Centaurus. 33 (2): 149–174. Bibcode:1990Cent...33..149H. doi:10.1111/j.1600-0498.1990.tb00725.x.
- Joseph, George Gheverghese (2011) [1st ed. 1991]. The Crest of the Peacock: Non-European Roots of Mathematics (3rd ed.). Princeton University Press. ISBN 978-0-691-13526-7.
- Katz, Victor J. (1995). "Ideas of Calculus in Islam and India" (PDF). Mathematics Magazine. 68 (3): 163–174. doi:10.1080/0025570X.1995.11996307. JSTOR 2691411. Reprinted in Anderson & al. 2004, pp. 122–130
- Katz, Victor J., ed. (2007). "Chapter 4: Mathematics in India IV. Kerala School". The mathematics of Egypt, Mesopotemia, China, India and Islam: A source book. Princeton University Press. pp. 480–495. ISBN 978-0-691-11485-9.
- Plofker, Kim (2009). Mathematics in India. Princeton: Princeton University Press. pp. 217–254. ISBN 978-0-691-12067-6.
- Pouvreau, David (2003). Trigonométrie et "développements en séries" en Inde médiévale (in French). IREM de Toulouse.
- Raju, Chandrakant K. (2007). Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus from India to Europe in the 16th c. CE. History of Science, Philosophy and Culture in Indian Civilization. Vol. X Pt. 4. New Delhi: Pearson Longman. ISBN 978-81-317-0871-2.
- Roy, Ranjan (1990). "The Discovery of the Series Formula for π by Leibniz, Gregory and Nilakantha" (PDF). Mathematics Magazine. 63 (5): 291–306. doi:10.1080/0025570X.1990.11977541. Reprinted in Anderson & al. 2004, pp. 111–121
- Roy, Ranjan (2021) [1st ed. 2011]. Series and Products in the Development of Mathematics. Vol. 1 (2nd ed.). Cambridge University Press.
- Sarma, Krishna Venkateswara (1972). "2. Anticipation of modern mathematical discoveries by Kerala astronomers" (PDF). A History of the Kerala School of Hindu Astronomy. Hoshiarpur: Vishveshvaranand Institute. pp. 11–28.
- Van Brummelen, Glen (2009). "§3.8. Taylor Series for Trigonometric Functions in Madhava's Kerala School". The Mathematics of the Heavens and the Earth: The Early History of Trigonometry. Princeton University Press. pp. 113–120. doi:10.2307/j.ctv1pzk6f0.7. ISBN 978-0-691-12973-0.
- Whish, Charles M. (1834). "XXXIII. On the Hindú Quadrature of the Circle, and the infinite Series of the proportion of the circumference to the diameter exhibited in the four S'ástras, the Tantra Sangraham, the Yucti Bháshá, Carana Padhati, and Sadratnamáka". Transactions of the Royal Asiatic Society. 3 (3): 509–523. doi:10.1017/S0950473700001221. JSTOR 25581775.