Emch - Sridharan - Srinivas - Contributions Ot The History of Indian Mathematics (2005)
Emch - Sridharan - Srinivas - Contributions Ot The History of Indian Mathematics (2005)
Emch - Sridharan - Srinivas - Contributions Ot The History of Indian Mathematics (2005)
to the
History of Indian Mathematics
Contributions
to the
History of Indian Mathematics
Editors
Gérard G. Emch
R. Sridharan
M. D. Srinivas
Preface
1
The overview is based on a lecture delivered by one of the editors at the Nehru
Centre, Mumbai, during September 2002 and is to be published by the Nehru Centre
in \Science in India: Past and Present", 2005 (in Press). We are grateful to Mr
Sahani, the Executive Secretary of the Nehru Centre for allowing us to include it in
this volume.
viii
The third section is devoted to the modern period. The rst arti-
cle points to some surprising contributions of Srinivasa Ramanujan on
partial fractions while the second surveys the history of some of the
contributions of Indian mathematicians to Quantum Statistics.
The editors are grateful to the organisers of the AMS-India confer-
ence for their hospitality and to the contributors for their enthusiastic
response. We are very happy to acknowledge the generous help of C. S.
Seshadri and his colleagues at the Chennai Mathematical Institute (in
particular C. S. Aravinda and V. Balaji) in making this volume possible.
We are particularly thankful for the immense task accomplished by of
P. Vanchinathan who prepared the camera-ready copy for the publisher.
We thank J. K. Jain of Hindustan Book Agency whose active support
and interest has made our endeavour a pleasure.
1
2 R. Sridharan
brick building during the Harappan age was perhaps put to good use for
the construction of the sacricial altars during the vedic period. (Let
us remember that culture sometimes is dened as a state of the mind
produced by things forgotten.)
Mathematics of the vedic period consists of those geometric tech-
niques needed for the construction of the Vedis (altars) and Agnis (re
places) described by the Brahman.as for the obligatory (nitya) and op-
tional (kamya) rites. This knowledge is contained in Sulva Sutras which
are a part of the so called Kalpa Sutras (more particularly of the Srauta
Sutras) attached to the Vedas as Vedangas _ (\limbs" of the Vedas).
There are at least nine extant Sulva Sutras: Laugaks.i, Manava, Varaha,
Baudhayana, Vadhula, Apastamba, Hiran.yakesin, Katyayana and Mai-
trayan.a. The date of the Sulva Sutras is purely conjectural except that
from their language, it is clear that they are pre-Pan.inian, and that
800 B.C. would be a probable date for the codication of the Sutras
(one must remember that the vedic rituals must have preceded even the
Vedas so that the Sulva tradition must be much older than the age of
their codication).
The word Sulva means a measuring rope or a rod (though the Sutras
themselves do not use this; rajju is used for a measuring rod). We shall
give a very brief sketch of the contents of the Sulva Sutras. We begin
most importantly with the theorem of the square on the diagonal of a
right angled triangle, popularly attributed to Pythagoras. A point to re-
member is that the Sulva Sutras deal with right angled triangles not for
their own sake but as two halves of a square or a rectangle when cut by
a diagonal. While it is true that various particular integral values of the
sides of a right angled triangle like 3, 4, 5 were known to all the ancient
civilisations of the world, the real geometric signicance of the theorem
was perhaps rst realised by the altar building vedic priests. It is be-
lieved that the theorem was well known to the Indians at least by 800
B.C. which is the estimated date of the oldest Sulva Sutra, namely, that
of Baudhayana. Satapatha Brahman.a gives 36 units as the length of the
east-west line segment (prac) of the so called Maha vedi, and 30 units
as one of the north-south sides and the prac and half the side, making
a right angled triangle with sides 36, 15 and 39. The Sulva geometers
were well aware of the notion of similarity of gures; (the Satapatha
Brahman.a mentions the mode of increasing the size of the vedi, four-
4 R. Sridharan
teen fold, to accommodate the 101st performance of the sacrice). The
Sautr
paman.paltar, pfor example, uses a right angled triangle whose sides
are 5 3, 12p 3, 13p 3 and the p Asvamedha altar involved a triangle with
sides of 15 2, 36 2 and 39 2. Thus irrational numbers occurred very
naturally, the Vedic priests being interested in constructing altars whose
areas were given multiples of the area of another altar. Many rational
and integral solutions of the Pythagorean equation x2 + y2 = z 2 were
also quite well known to the Sulva geometers. For example, the triples
(3, 4, 5), (5, 12, 13), (7, 24, 25), (8, 15, 17), (12, 35, 37) are explicitly
used.
The question whether the Sulvak aras had a proof of the Pythagoras
theorem can be answered in the following way: Their approach to geom-
etry was purely functional and they did not have the deductive approach
to geometry as the Greeks had. The Sulvak aras looked upon geometry
as a necessity and a tool and their approach was therefore empirical.
Among the many simple geometrical results that the Sulva Sutras
mention, are the various properties of the diagonals of a rectangle, con-
structions of isosceles right angled triangles, parallelograms, rhombi,
construction of a trapezium similar to another and so on.
As one of the most remarkable statements found in p
the Sulva Sutras,
I would like to highlight a rational approximation to 2 which occurs
in the Baudhayana, Apastamba
and Katyayana Sulva Sutras. The ap-
proximation is
p 1 1 1
21+ + ;
3 (3)(4) (3)(4)(34)
which is correct up to ve decimal places. It is indeed remarkable,
whereas Greek geometry came to a grinding (though temporary) halt
when the Greeks met with the phenomenon of irrationality of numbers
for the rst time, Indian thought went ahead, quite happy to accommo-
date the irrationals. (Incidentally, a commentator by name Rama who
lived in the middle of the 15th century A.D., in a place called Naimis.a
near modern Lucknow, improved upon this approximation and obtained
p 1 1 1 1 1
21+ + + ;
3 (3)(4) (3)(4)(34) ((3)(4)(34)(33) (3)(4)(34)(34)
which gives a better approximation, correct up to seven decimal places).
Mathematics in India 5
The Sulvak aras sometimes had to deal with very sophisticated in-
determinate equations in two or even four unknowns for the construc-
tion of the altars. For instance, in the construction of Garud.a Cayana,
Baudhayana explains a procedure to have a Vedi constructed with ve
layers of bricks, each layer consisting of 200 bricks, covering an area of
7 12 sq. purshas and he indicates a construction of this vedi, using square
bricks of four dierent sizes. This leads to a fairly intricate indetermi-
nate equation.
Baudhayana and Apastamba give dierent solutions to this problem.
Another curiosity is a derivation of an arithmetical identity from
geometry and is found in Baudhayana Sulva Sutra (cf. [5]), where he
wishes to construct larger and larger squares starting with a small one,
by adding successively gnomons to it. The following geometrical gure
illustrates this process, and gives a geometric proof of the identity: 1 +
3 + 5 + + 2n 1 = n2 .
** ** **
** 1 *
** * *
We end our very short sketch of the mathematics of the Sulva period with
the following passage which is a numerical curiosity from the Satapatha
Brahman.a (cf. [8, p. 351]) about nding all the divisors of 720.1
Now this Prajapati, the year, there are seven hundred and twenty
days and nights, his lights (being) those bricks; three hundred and sixty
enclosing stones and three hundred and sixty bricks with (special) for-
mulas. This Prajapati, the year has created all existing things, both what
breathes and the breathless, both gods and men: Having created all ex-
isting things he felt like one emptied out and was afraid of death. He
bethought to himself \How can I get these beings back into my body? how
can I be again the body of all these beings?". He divided his body into
two. There were three hundred and sixty bricks in one and as many in
1 See also I. 164 of the Rgveda esp., I. 164.11 and I. 164.48.
.
6 R. Sridharan
the other: He did not succeed. He made himself three bodies{in each of
them there were three eighties of bricks: He did not succeed. He made
himself four bodies of a hundred and eighty bricks each: He did not suc-
ceed. He made himself ve bodies{in each of them there were a hundred
and forty-four bricks: He did not succeed. He made himself six bodies
of a hundred and twenty bricks each: He did not succeed. He did not
develop himself seven fold (na saptadha vyabhavat). He made himself
eight bodies of ninety bricks each: He did not succeed. He made himself
nine bodies of eighty bricks each: He did not succeed. He made him-
self ten bodies of seventy-two bricks each: He did not succeed. He did
not develop eleven fold. He made himself twelve bodies of sixty bricks
each: He did not succeed. He did not develop either thirteen fold or
fourteen fold. He made himself fteen bodies of forty-eight bricks each:
He did not succeed. He made himself sixteen bodies of forty-ve bricks
each: he did not succeed. He did not develop seventeen fold. He made
himself eighteen bodies of forty bricks each: He did not succeed. He did
not develop nineteen fold. He made himself twenty bodies of thirty-six
bricks each: he did not succeed. He did not develop either twenty-one or
twenty-two or twenty-three fold. He made himself twenty-four bodies of
thirty bricks each. Then he stopped at the fteenth attempt and because
he stopped at the fteenth arrangement, there are fteen forms of waxing
and fteen of the waning (of the moon).
(Let me add on my own, one more numerical curiosity based on
the number seven hundred and twenty. The set of permutations of six
symbols which is seven hundred and twenty constitutes a group, the
so called symmetric group of degree six. This group contains fteen
transpositions (those permutations which interchange only two symbols)
and fteen other elements of order two which disturb all the six symbols.)
The contribution of the Jainas:
The Sulva period of mathematical development in India represents
also simultaneously the mathematical development brought about by
the Jains. Fixing dates for Jaina canonical literature is as diÆcult as
(if not more diÆcult than) xing the date for Vedic literature. Once,
it was thought that Vardhamana Mahavra, a contemporary of Buddha
was the founder of Jainism but it has now been conclusively estab-
lished that he really was the last of the Trthankaras; some of the earlier
Trthankaras
_ like R.s.abha, Bharata being well known gures in Hindu
Mathematics in India 7
imately,
p r ( 2ra )2
A=a+ :
2a 2(a + 2ra )
p
This
p formula
p is used p to give rational approximations to surds like 41,
105, 889 and 339009. Using such approximations, the following
kind of problem is for instance solved in the Baks.al manuscript: Given
the sum of the terms of an arithmetic progression whose rst term and
the common dierence are also given, to nd the approximate value of
the number of terms of this progression.
There are also problems involving indeterminate equations in the
Baks.ali manuscript. Similar problems are discussed by Bhaskara II
(about whom we shall discuss later) in Llavat. One is tempted to
conclude that such problems were commonly considered in all works
even before Bhaskara.
Chandas S
utra of Pingala
_ and Binary Arithmetic: ([11,12,18,19])
Prosody (Chandas) was one of the basic studies undertaken in India
right from ancient times. Indeed, prosody was an important Vedanga_
as is borne by the following sloka.
About Pingala,
_ not much is known except that he lived most probably
three or four centuries before Christ and that he authored an impor-
tant work on Chandas written in Sutra style in eight chapters. (it is
not clear whether he lived during the time of the grammarian Pan.ini
or not). This work was commented upon by several people (Bharata,
Halayudha, Hemacandra, Jayadeva, Jayakrti, Kedara, Yadava Prakasa,
: : :) of which the commentary of Halayudha belonging to the 10th cen-
tury, called Mr.ta Sanjva~n, is very well known.
In the rst seven chapters of his work, Pingala
_ adopts the conven-
tional method of metrical analysis of the padas or verses. However, in
the last chapter of his work, he introduces a new method which leads
to binary arithmetic. Before explaining this method, let me begin with
some basic facts on metres. A metre consists of syllables contained in
a foot or pada (there being generally four feet in a stanza). A syllable
10 R. Sridharan
tat saviturvaren.iyam
{ ^^ { ^ { ^^,
the rst and the last syllables are ignored so that the Gayatr metre is
represented by the following sequence of six syllables.
^^ { ^ { ^.
Pingala
_ associates to a syllabic foot, a table called Prastara which
consists of rows of laghus and gurus, listed horizontally. The idea of
Pingala
_ is to attach a numerical value to each row in the Prastara by
giving the value 0 to a guru and the value 1 to a laghu. The rule for
constructing the Prastara (for the six syllabic verse) is as follows:
First start with all gurus, (six in number in our example). Next, a
new row of gurus is started but with the proviso that under the rst guru
in the line above a laghu is written instead. This procedure is continued
until we reach a row consisting entirely of six laghus
2 cf. e.g. A.A. MacDonnell \Vedic Grammar", Appendix II, p. 437 for general
rules of vedic prosody.
Mathematics in India 11
{ { { { { {
^ { { { { {
{ ^ { { { {
^ ^ { { { {
.. .. .. .. .. ..
. . . . . .
^ ^ ^ ^ ^ ^
Pingala
_ attaches a numerical value to each row as follows. Take for
example the syllabic pattern ^ { { { { {. The number attached to
it is just the binary expansion 1 1 + 0 2 + 0 22 + + 0 25 = 1,
increased by 1. i.e 1 + 1 = 2. The rst horizontal line would then
correspond to 0 1 + 0 2 + + 0 25 of 0 increased by 1, so that it
has the numerical value 1. In other words, Pingala _ makes correspond
to each row, the corresponding dyadic expansion and increases it by 1.
For instance the third row has numerical value 3 and so on and the last
row of the Prastara which is simply
^^^^^^
which corresponds to the binary expansion 1 1+1 2+1 22 + +1 25 =
63, has as its value 63 + 1 = 64. The syllabic pattern for the Gayatr
verse we started with, according to this numbering system has the value
44. The method of constructing a Prastara has been further explained
in the works of Kedara (8th century A.D.) and Trivikrama (12th century
A.D.) and others. To recapitulate, to each horizontal row of a Prastara
consisting of a syllabic pattern one associates the dyadic expansion by
assigning the values 0 and 1 to gurus and laghus respectively and by
multiplying them by powers of 2 depending on their position and add
1 to get the required number. The most remarkable contribution of
Pingala
_ are the Sutra (24 and 25 in Chapter VIII of Pingala's
_ work)
which show how to get back conversely, from any number, a syllabic
pattern in a unique manner so that the procedure just described gives a
one-to-one onto correspondence between numbers and syllabic patterns.
The Sutras in question are the cryptic
24. l ardhe,
25. saike g.
Aryabhat
.a
Among the mathematicians of the classical age in India, the rst im-
portant name is that of Aryabhat
. a I (not to be confused with Aryabhat .a
II who lived nearly ve centuries later). Not much is known about
Aryabhat
. a (from now on when we talk of Aryabhat
. a we mean Aryabhat .a
I) except that in 499 A.D., he wrote his work Aryabhat . ya, in which he
mentions he was then 23 years old, so that one concludes that he was
born in 476 A.D. It has been, on the basis of tradition, assumed that he
hailed from Kerala, though this is not certain. But, it is certain that he
belongs to the Kusumapura school. It is there that he wrote his famous
work mentioned above. His work is very concise and hard to understand.
Most of it is devoted to Astronomy, though there are 33 slokas devoted
to mathematics. The various subjects dealt with in his work are: the
Mathematics in India 13
O
C
We note that in the arc ACB of a circle with centre O shown in the
diagram, the chord AB represents 2r sin , r denoting the radius of the
. a took r = 360 60=2, where is a suitable approxi-
circle. Aryabhat
mation for , explained in the following sloka:
We note the crucial word asanna in the sloka which means \approxi-
mately". Aryabhat . a dened approximately to be that number which
makes the circumference of a circle of diameter 20000 units to be 62832
so that is approximately 3.1416. It is also very likely, (looking at the
above sloka), that Aryabhat . a was well aware that is not a rational
number. The sine table of Aryabhat . a consists of the values of r sin
for various angles with r as above. It is amusing to note in passing
the etymology of the word `sine' in this connection. In Sanskrit, the arc
ACB was called Capa or Dhanus. The chord AB was called jya or jva.
With the Arabs jva became jiba and then jaib. Because of the existence
14 R. Sridharan
Brahmagupta stated for the rst time a more general version of the
above identity called Bhavana in his work cited above. It asserts that
for any arbitrary (integer) N , we have
A0
A A
B D B D C D0 C0
Mathematics in India 19
B C
B D C
E E
Figure 1 Figure 2
note that he blames Brahmagupta for not having thought of this so-
lution!) He relates the solution in the possibly non-cyclic case to the
existence of rational points of certain elliptic curves.
The questions studied by Brahmagupta on quadrilaterals inspired
further study and elaborations by successive generations of Indian math-
ematicians like Mahavra, Bhaskara II and the interest in these problems
continued even in the middle ages. For instance, Gan.esa (c 1545 A.D.)
has results on rational quadrilaterals.
The next few names of mathematicians of note in the classical age
in India are those of Sr dhara (c 750 A.D.) who composed a work on
arithmetic called Pat.gan.ita and a work on algebra. The latter is no
longer extant. We know about the contributions of Srdhara from the
later work of Bhaskara II, who also mentions the name of another al-
gebraist Padmanabha. One of the most celebrated mathematicians af-
ter Brahmagupta was Mahavra (C 815 A.D.). He was in the court of
the Ras.t.rakut.a king Amoghavars.a Nr.patunga
_ (who ruled over a part
of the present state of Karnat.aka). Mahavra wrote a work entitled
\Gan.itasarasam.graha" (C 850 A.D.) which is really the rst text book
on arithmetic whose material is found even in the present text books in
South India. Mahavra mainly improved on the work of his predecessors
and probably did not make any profound contributions himself.
Bh
askarac
arya II
[The metre Gayatr, (as noted before) has six syllables. The number
of possible times the long syllable occurs in any pada in a metre with
six syllables is six, the number of times it occurs twice is fteen and so
on, so that the sum total of all its occurrences is 64 (including the case
when it does not occur at all. For the Gayatr metre with four padas,
the number of all such possibilities is 644 = 16777216)].
There is a tradition that Llavat was the name of Bhaskara's daugh-
ter who became a widow at an early age and that Bhaskara wrote his
work Llavat to provide consolation for his daughter. It is not clear that
this fanciful story has any basis.
In Bhaskara's Bjagan.ita, there are problems which reduce to solving
quadratic equations. Occasionally, there is an example of a problem
which reduces to an easily solved cubic, or even a biquadratic.
Bhaskara was familiar with the notion of integration as a limit of
nite sums. For instance, he calculates the surface area of the sphere,
by dividing it into annuli and drawing a system of parallel circles, or
by dividing the surface into lunes by drawing meridian circles through a
pair antipodal points on the sphere and dissecting each lune into a large
number of small quadrilaterals by drawing circles parallel to the equator.
Bhaskara also had ideas about dierentiation in connection with the so
called instantaneous method (tatkalika) by dividing the day into a large
number of small intervals and comparing the positions of the planet
at the end of successive intervals. The tatkalika gati is essentially the
instantaneous velocity of the planet. Bhaskara also knew the addition
formula for the sine and special values of the sine function. Bhaskara's
innitesimal approach probably found its fruition in the mathematics of
Kerala region in Medieval India which we now proceed to discuss.
22 R. Sridharan
tion of irrational numbers. Madhava also seems to have had the idea to
look for an \innite series" for which would eventually lead to ratio-
nal approximations. Proceeding in this manner, the Kerala school did
produce power series expansions for tan 1 x, sin x, cos x etc. Of course,
they did not formally discuss the convergence of these series, but had
a clear idea about convergence and in fact constructed more and more
rapidly convergent series, and broke innite series at a nite stage to
estimate the error term. Let us remember, all these were achieved at
least two centuries before Europe ever came to consider such questions.
We conclude our account of the contributions of the Kerala school,
by detailing just one example, which shows the level of sophistication
and depth reached by them in analysis. Yuktibhas.a, discussed earlier
contains the following verse which is attributed to Madhava
P 1
A
Pr 1
B0 B
C Pr
Pn
Mathematics in India 25
Partition P0 Pn into n equal parts. Let OPr 1 ; OPr meet the circle at A
and B . We draw AB 0 and Pr 1 C as perpendiculars to OPr from A and
Pr 1 respectively.
From the similarity of the triangles OAB 0 and OPr 1 C , we get, in
particular
AB 0 Pr 1 C
= :
OA OPr 1
From the similarity of the triangles CPr 1 Pr and OP0 Pr , we obtain
Pr 1 C OP0
= ;
Pr 1 Pr OPr
so that we get
OA OP0 Pr 1 Pr Pr 1 Pr
AB 0 = = :
OPr 1 OPr OPr 1 OPr
We note that if n is suÆciently large, the segment AB 0 tends to arc
AB and OPr 1 and OPr are approximately equal, so that we have the
approximation
1=n 1=n
arc AB = :
OPr 1 1 + ( r n 1 )2
2
= lim
n!1 n r=1
1
n3 r=1
r +
2
n5 r=1
r 4
:
Remarkably, the Kerala
P mathematicians knew that for any integer p 0,
n 1 p
one has that np+1 r=1 r tends to p+1
1 1
as n ! 1. Substituting this in
the equation above and pushing the limit inside (which is correct, but
needs justication), we nd the innite series expansion for =4 namely
1 1
4
=1
+
3 5
:
In fact, the same method also exhibits the series
x3 x5
tan 1
x=x
3
+
5
:
26 R. Sridharan
P
That np1+1 nr=11 rp tends to p+1
1
as n ! 1 was proved in Europe by
Roberval in 1634, nearly a century later than the discoveries of the
Kerala mathematicians.
As we mentioned earlier, the story does not end here. The Kerala
school had several concrete innite series, they also could manipulate
to obtain rapidly convergent series and they even had vague notions of
integration and dierentiation.
The achievements of the Kerala school may in part be explained
by the leadership of that brilliant mind Madhava. The reason why
the discoveries of the Kerala school did not reach the West is perhaps
because the Portuguese dominated the West Coast of India and were
not interested in the contributions of the natives. It indeed needed the
British functionary Whish to bring to the knowledge of the rest of the
world these achievements and it further took nearly a century for the
Indian scholars to take cognition of this great and yet neglected chapter
in the history of mathematics.
Conclusion
References
[1] K. Balagangadharan: Mathematical Analysis in Medieval Kerala,
Science in the West and India, Some Historical Aspects, Edited by
B.V. Subbarayappa and N. Mukunda, Himalaya Publishing House,
1995, p.290{312.
28 R. Sridharan
R. Sridharan
Chennai Mathematical Institute, Chennai 600 017
rsridhar@cmi.ac.in
Abstract
§1. Introduction
Classical Sanskrit composition is of two kinds: gadya (prose) and padya
(poetry). Sanskrit prosody, the study of the metrical scanning of San-
skrit poetry, called chandas śāstra, has its beginnings already in the
vedic times. In his classic work, Vedic Metre in its Historical develop-
ment, first published in 1905, E. V. Arnold ([3]) begins with high praise
for the R. gveda by remarking that The Rigveda is not a book, but a
library and a literature. At the end of the first chapter, he adds: To
whatever conclusions we may be further led in detail, it must be plain
that as works of mechanical art, the metres of Rigveda stand high above
those of modern Europe in variety of motive and in flexibility of form.
They seem indeed to bear the same relation to them as the rich har-
monies of classical music to the simple melodies of the peasant. And in
proportion as modern students come to appreciate the skill displayed by
the Vedic poets, they will be glad to abandon the easy but untenable
theory that the variety of form employed by them is due to chance, or
33
34 R. Sridharan
chandasām
. vicayam
. jānan yah. śarı̄rādvimucyate
Piṅgala and Binary Arithmetic 35
Chandas are the feet of the Vedas, Kalpa the hands, Astronomy the
eyes and Nirukta the ears.
The importance of the knowledge of chandas for understanding the
Vedas is emphasised in Br.haddevata (a text dealing with the gods of
the R. gveda, supposedly written by that ancient venerable vedic seer
Śaunaka, verse 136, VIII, ([5]) as follows:
aviditvā r..sim
. chando daivatam . yogameva ca
yo’dhyāpayejjapedvāpi pāpı̄yāñjāyate tu sah.
One who teaches or recites the Veda without having proper knowl-
edge of the applications, the seers, metres and Gods, becomes indeed a
sinner.
36 R. Sridharan
alpāks.aram asandigdham
. sāravat viśvatomukham
astobham anavadyam . ca sūtram
. sūtravido viduh.
To quote an example, the ślokas of the epics like the Rāmāyan. a and
the Mahābhārata are derived by and large from the vedic metre anus..tup.
Indeed the vedic metre anus..tup came to be monopolised by the poets
of the classical age. On the other hand, the vedic metres tris..tup and
jagatı̄ led to metres used by poets and bards at the courts of various
kings.
In this connection, it is amusing to note, parenthetically, that the
great poet Kālidāsa (who himself is probably the author of a work enti-
tled Śrutabodha [21] on classical metres - though this work is attributed
by some to Vararuci) employs a vedic metre in a very appropriate con-
text in his great play Abhij ñāna Śākuntalam.
When Śakuntalā is about to leave the hermitage of the sage Kan.va
to go to meet her husband Dus.yanta, Kan.va offers a benediction, which
is set in the following beautiful stanza in the vedic metre tris..tup, with
11 syllables in each of its four pādas.
amFv
Ed\ pErt, kØED yA,
sEmt, þAt sM-tFZ
dBA
, .
apÍto dErt\ h&ygD{,
v{tAnA-vA\ v¡y, pAvyt ;
38 R. Sridharan
chandojñānanidhim
. jaghāna makaro velātat.e piṅgalam
Bhat.t.a (12-13th Century). We note also that in the Agni purān.a ([1]),
chapters 327-334 give a summary of the Chandas Śāstra as expounded
by Piṅgala, beginning with a description of prosody thus:
Very much like the final syllable in a verse which is deemed long by
the rules of prosody even if it is short, a person though of mean birth,
and reprehensible in character, becomes respectable in this world, if the
planets are favourable.
yaratā lāghavam
. yānti manau tu guru lāghavam
number which denoted multiplicity; the number 2 did not really signify
plurality and indeed enjoyed too special a status. This is perhaps one
of the reasons why, as H. D. Velankar suggests in his Jayadāman([13]),
groups of three syllables were chosen by the ancient prosodists of India
for scanning classical metres.
The second chapter of Piṅgala’s Chandas Sūtra introduces and dis-
cusses various aspects of the seven basic vedic metres: gāyatrı̄, us.n.ik,
anus..tup, br.hatı̄, paṅkti, tris..tup and jagatı̄. Gāyatrı̄ consists generally
of three pādas of eight syllables each and hence has 24 syllables in all,
and from then on, the number of syllables in these metres increases by 4
at a time, so that us.n.ik has 28 syllables, anus..tup has 32, br.hatı̄ has 36,
paṅkti has 40, tris..tup has 44 and jagatı̄ has 48. Eight different varieties
of these metres, are also discussed. Thus the seven basic vedic metres
are divided into eight forms each, and totally there are 56 different kinds
of metres.
In the third chapter, the notion of a pāda (foot) in Sanskrit prosody
(which is very different from the notion of a ‘foot’ in Greek prosody)
is discussed. Rules regarding filling of a pāda are also discussed. For
example, in the gāyatrı̄ when the number of syllables falls short of the
required number of eight syllables, as in the following:
tatsaviturvaren. yam
t(sEvtv
ry\
where there are only seven syllables, one should scan it as:
tatsaviturvaren. iyam
t(sEvtv
rEZy\
changing y to iy.
In this chapter, nine forms of the gāyatrı̄ metre in terms of the
number of pādas are described. To give an example, one could have
a gāyatrı̄ stanza containing four pādas with six syllables each, which is
called catus.pāda gāyatrı̄. Halāyudha, in his commentary gives such an
example from the Atharvaveda, Kān.d.a 6, Sūkta 1.1 ([4]).
Piṅgala and Binary Arithmetic 45
idý, fcFpEtr^ bl
n vFEt, .
dôyvno vqA sm(s sAsEh, ;
This stanza is also found in the Nidāna Sūtra (prapāt. haka 1, Chando
viciti)([16]). A small part of this stanza occurs in the R . gveda (Eighth
Man.d.ala, 19;20) namely:
y
nA sm(s sAsh,
(Yādava Prakāśa in his commentary of Piṅgala Chandas Sūtra notices
this fact).
Similar forms of other metres are also discussed in this chapter. Men-
tion is made of a class of those metres whose first and last verses have
correct number of syllables, but whose middle verses have smaller num-
ber of syllables. Such metres are called pipı̄lika madhya that is, with
a middle like that of an ant! For example, there are gāyatrı̄ stanzas in
which the first and the last pādas have eight syllables but whose middle
pāda has only three syllables. A general rule states that the number of
syllables in the first pāda determines the metre.
To the seven basic metres are sometimes associated the seven svaras
of music : namely .sad.ja, .rs.abha, gāndhāra, madhyama, pañcama, dhai-
vata and nis.āda (respectively); also the following colours: sita (silvery),
sāraṅga (variegated), piśaṅga (brown), kr..sn.a (black), nı̄la (blue), lohita
(red) and gaura (white); and to the seven rishis: Agniveśya, Kāśyapa,
46 R. Sridharan
das (hyper metres) containing 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92,
96, 100 and 104 syllables respectively. At the end of the chapter, he also
explains the metre dan.d.aka.
The eighth chapter which is the concluding chapter of Piṅgala’s book
begins with the sūtra, atrānuktam
. gāthā; Piṅgala’s idea is to include in
this chapter those metres which had not been mentioned in the earlier
chapters.
The last fifteen sūtras of this chapter (sūtras 20 till 35) are the most
interesting ones from the point of view of mathematics and deal with
binary arithmetic and combinatorial questions arising out of the study
of prosody. We shall discuss these in the next section.
g g 1
l g 2
g l 3
l l 4
consisting of two syllables each. The general rules for constructing the
prastāras of metres of a given length n are similar and explained by
the sūtras. Namely, we start with a horizontal row consisting entirely
of n gurus. The rest of the rows of the prastāra are constructed by
using the following rule: Start any row and continue filling the row with
gurus until we see for the first time a guru in the previous row. Then
write a laghu as the entry for this row below this guru and from then
on, copy the rest of the syllables from the previous row. We continue
filling rows this way until we reach a row consisting of all laghus, where
we stop. 2 This method applied to two syllables gives obviously the
prastāra of two syllables we have written above. The prastāra for a
metre of three syllables, using the rule described above gives the table
for the eight gan.as (trisyllables) we wrote down in the beginning of the
previous section.
The sūtra 23 reads vasavastrikah., which simply enumerates the num-
ber of trisyllables as eight! (there are eight vasus according to the vedic
lore!)
2
As has been kindly pointed out by Professor M.G. Nadkarni, this rule applied
to infinite sequences of zeros and ones (g = 0, l = 1) gives rise to a transformation
on the space of sequences of zeros and ones. It is a very basic object in ergodic
theory called dyadic coding machine or odometer transformation, and when viewed
as a transformation of the unit interval, it is called von Neumann transformation, a
name given by Kakutani. This transformation plays a very important role in orbit-
equivalance theory and related areas.
Piṅgala and Binary Arithmetic 49
Let us also add one more fact regarding the construction of the
prastāra. We number the rows of a prastāra serially with the first row
of the prastāra consisting of all gurus being numbered as 1.
Before discussing the rest of the sūtras, it is perhaps convenient to in-
troduce a stanza which lists the various techniques, termed as pratyayas,
by which some arithmetic questions related to metres can be analysed.
This stanza is found in text books on prosody subsequent to Piṅgala’s
work. For instance, it is found in Kedāra Bhat.t.a’s vr.tta ratnākara, ([25])
Yādava Prakāśa’s commentary of Piṅgala’s Chandas Sūtra, Hemacan-
dra’s chandonuśāsana, and in many other works on prosody. The stanza
in question ([25], p. 187) reads as follows:
(24) l’ardhe
and
(25) saike g
refer to the process of nas..tam and this word means ‘vanishing’ or ‘dis-
appearance’. Suppose that the prastāra of the metre (which is usually
written on the sand) has been erased by mistake. The process described
shows how to recover the metre only through the knowledge of the num-
ber of the row in which the particular metre had appeared. This process
is illustrated by the following example: Suppose that we know that a
certain metre with a fixed number of syllables say 6, occurs as the 44th
row in the prastāra, how does one write down the corresponding me-
tre? The answer is given by the two sūtras above as elaborated further
by the following stanza in Vr.tta ratnākara ([25], p.192), which explains
the process nas..tam. (There are similar explanations of these sūtras in
Halāyudha’s and Yādava Prakāśa’s commentaries.)
n£-y yo Bvd¬-t-yAD
_D
sm c l, .
Evqm c
{kmADAy t-yAD
_D
gzB
vt^ ;
The procedure indicated is best explained by applying it to the ex-
ample mentioned above: the number 44 being divisible by 2, we write
an l (for laghu) and divide 44 by 2 to get 22. The number 22 being
still divisible by 2, we append an l to the earlier laghu and divide 22 by
2, to get 11. Up to this point, the procedure is indicated by sūtra 24
which says if it is possible to halve, then an l. When we, however, hit
the number 11 which is odd, sūtra 25 takes over and it says otherwise
add 1 and a g. Now add 1 to 11 and write a g (a guru). The number
now is 12, which is divisible by 2; and we divide by 2 to get 6. Now 6
being divisible by 2, sūtra 24 applies, we write an l and divide 6 by 2.
We get 3 which is odd. Sūtra 25 tells us that we should add 1 and write
a g. We now get 4, which we divide by 2 to get 2. We write an l and
divide 2 by 2 to get 1 as quotient and we stop here (since the metre has
6 syllables) and the metre we are looking for is
l l g l g l
Piṅgala and Binary Arithmetic 51
This is also the general rule given in the sūtras 24 and 25 (and
explained in the stanza) for writing down a metre, given the number of
its row in the prastāra.
The process uddis..tam is indicated by two sūtras of the Chapter 8 of
Piṅgala’s Chandas Sūtra which read:
(26) pratilomagan
. am dvirlādyam
and
(27) tatogyekam
. jahyāt
uddis..tam
. dvigun.ādyadyuparyaṅkānsamālikhet
laghusthā ye tu tatrāṅkāstaih. saikairmiśritairbhavet
l l g l g l,
52 R. Sridharan
l g l
The rule given by the sūtras (and explained by Halāyudha and Yādava
Prakāśa in their commentaries), applied to the above metre says that we
first look at the syllable on the extreme right. Noting that this syllable
is a laghu, we attach the value 2 to it. We next look at the syllable to
its immediate left. Noting that this is a guru, we attach to it the value
3 which is one less than twice the number 2, attached to the previous
Piṅgala and Binary Arithmetic 53
syllable. We then look at the next syllable to the left which is a laghu.
To this we attach twice the value attached to the previous syllable and
this is 6. The number of the row representing this metre in the prastāra
is 6!
We note that according to our earlier computation, the above row of
syllables represents the number 1 + 4 increased by 1 which is 6 again!
As we shall remark presently, the above process applies, in general,
to all metres of a given length n and the number associated to the
first syllable is indeed the number of the row of the given metre in the
prastāra of metres of length n.
We look at the gāyatrı̄ metre, considered earlier, as another example.
l l g l g l
We assign the value 2 for the laghu on the extreme right, the value
4 − 1 = 3, for the next syllable on its left which is a guru and then 6 for
the next which is a laghu, then 11 for the next syllable which is a guru
and 22 for the next syllable which is a laghu and finally 44 for the first
syllable on the extreme left which is a laghu. This is the number for the
gāyatrı̄ row in the prastāra for a metre of six syllables!
The general rule can now be formulated: If we take a metre of any
length, and wish to find out what its number is as a row in the prastāra
of metres of this length, we start by giving the value 2 or 2−1 = 1 to the
syllable on the extreme right, according as it is a laghu or a guru. We
multiply this number by 2 and attach this number to the next syllable
on its left, if it happens to be a laghu or attach this number decreased by
1 if this syllable happens to be a guru. Keep on repeating this procedure
till we reach the beginning syllable of the metre. The number attached
to this syllable is the number of the row in the prastāra.
It is easily verified that the number obtained by the procedure indi-
cated above coincides with the number given by the dyadic expansion
(by assigning the value 1 to a laghu, 0 to a guru, increased by 1).
Thus, the above is another method of finding a number through its
dyadic expansion and this does not use addition of terms (as the earlier
one did) and is more algorithmic, suited to the computer. In this sense,
this ancient method is as modern as that of the computer! Actually, the
54 R. Sridharan
sūtra 26 says that we first reverse the metre and carry the process from
left to right.
We now turn to the sūtras 28 to 32 and 34, 35 of Piṅgala, which deal
with the combinatorics given rise to by the study of metres. The sūtras
in question are:
(28) dvirardhe;
(29) rūpe śūnyam;
(30) dvi śūnye;
(31) tāvadardhe tadgun
. itam;
(32) dvirdyūnam. tadantānām;
(34) pare pūrn.am;
and
(35) parepūrn.amiti.
The questions asked and answered are: How many metres with a
given length have gurus ocurring once, twice etc? How many metres
are there with a given length? These questions which naturally arise in
the study of prosody, obviously deal with the theory of permutations
and combinations. We shall see that in this connection, the so called
Pascal triangle, from which one can read off the binomial coefficients
was already constructed by the ancient prosodists of India.
These topics are covered under the headings ekadvayādilagakriyā and
saṅkhyā by the later prosodists like Kedāra Bhat.t.a and others. (As a
matter of fact, Piṅgala’s Chandas Sūtra deals with these topics in the
reverse order.) Piṅgala’s sūtras 28-32 treat saṅkhyā and 34 and 35 with
the computation of number of metres of a given length with prescribed
number of gurus and laghus in it, through the combinatorics of what is
now known as the Pascal triangle.) The two verses in Kedāra Bhat.t.a’s
work ([25], p.196) which describe the first process is the following:
1 1 1 1 1 1 1
1 2 3 4 5 6
1 3 6 10 15
1 4 10 20
1 5 15
1 6
1
We start the second row with a 1. For the next position we take
the sum of the number which precedes it in the row (which is 1 in our
example) and the number of the previous row in the position above it
(which is 1 again in our example), and the sum here is 2. We choose the
next number of the row to be once again the sum of the two numbers,
one which is in the preceding position in the row and the number in the
position above it in the previous row.
Hence, in this case, we take 2+1=3 as the next number in the second
row. The third number in the second row is chosen similarly and we
continue this procedure, and end the second row with the number of
entries one less than that of the first row. In our example, the second
row has therefore 6 entries, the last entry being 5 + 1 = 6. We start
the third row once again with a 1; choose the number for the second
position of the row the sum of the number in the row in the position
preceding it which is 1 in our case and the number in the position above
56 R. Sridharan
entry of the row being 1. Below this row, we start a new row beginning
with 1, the succeeding numbers in this row being those obtained by
increasing the numbers successively by one, the last entry of this row
being the length of the metre. We fill in a new row above these two rows
by the following numbers. The first entry in the new row shall be the
number obtained by multiplying the first entries of the two rows below,
so that we get as the first entry of the row above as 1 × 6 = 6. The next
entry of the new row is obtained by multiplying the first two entries of
the first row and dividing it by the product of the first two entries of the
second row, so that we get in our example, the number in the new row
to be 6×5
1×2 = 15. The third entry in the new row shall be the product of
the first three entries of the first row divided by the product of the first
three entries of the second row, which for our example is the number
6×5×4
1×2×3 = 20.
We continue the process, till we get the last entry of the new row
which is 1.
6 15 20 15 6 1
6 5 4 3 2 1
1 2 3 4 5 6
More generally, for any metre with length n, we get, as the first
n
entry of the new row, the number n = n · 1 = , the second entry
1
n
to be n·(n−1)
1·2 = and, more generally, for the ith entry the number
2
n·(n−1)···(n−i+1) n
1·2···i = .
i
These, as we know, give the number of metres of length n, in which
the guru (and similarly the laghu) occurs exactly once, twice, . . . , i-
times. In particular,in the example of the gāyatrı̄ metre, the numbers
are 6, 15, 20, 15, 15, 6.
Lı̄lāvatı̄ ([8], Appendix p. 48) has another problem on the deter-
mination of the number of sama, ardhasama and vis.ama vr.ttas in the
metre anus..tbh, which is preceded by a general rule valid for any metre,
given below.
samavr.ttānām
. saṅkhyā tadvargo vargavargaśca
svasvapadonau syātāmardhasamānāñca vis.amān.ām
As the verse says, there are two methods of computing the number
of metres of length n. One can either sum up the numbers (obtained
by the process of lagakriyā) which count the number of metres in which
the gurus occur once, twice, etc. (These numbers are the entries on the
extreme right in the meru prastāra we constructed earlier.) In other
words, one is heresumming
up all the
binomial
coefficients of n and
n n n n
therefore one gets + ···+ = 2 , which is obviously the
0 1 n
number of metres of length n.
Otherwise, one can use the process of uddis..tam. We note that the
required number is the number of metres in the prastāra of the metre.
Piṅgala and Binary Arithmetic 59
The length of the metre being n, as we have remarked earlier, the last
row of the prastāra consists of n laghus, and then we know that it cor-
responds to the dyadic expansion 1 + 21 + 22 + · · · + 2n−1 = 2n − 1, and
the number of rows of the prastāra is gotten by adding 1 to it, so that
one obtains 2n .
Piṅgala’s sūtras, mentioned above, give a somewhat elaborate
method of arriving at this number, which we shall not discuss, since,
in any case, it is simple combinatorics.
The sūtra 33 of Piṅgala reads ekona adhvā, which deals with the
space required on the sacrificial ground for writing the prastāra of a
metre of a given length. Since there is no mathematics involved in it,
we shall pass over this sūtra and its explanation given by Kedāra Bhat.t.a
in his Vr.tta Ratnākara.
References
[20] R
. kprātiśākhyam of Śaunaka (with the commentary of Uvvat.a),
Virendra Kumar Sharma, Chowkamba Sanskrit Pratisthan, 1970.
[27] A. Weber, Über die Metrik der Inder, Harrwitz und Gofsmann,
1863.
Abstract
Numerous authors over the centuries have puzzled over what
has been called the Buddhist paradigm of catus.kot.i. A classic
example: the four statements, considered both mutually exclusive
and jointly exhaustive,
(i) the Tathagata exists after death;
(ii) the Tathagata does not exist after death;
(iii) the Tathagata both does and does not exist after death;
(iv) the Tathagata neither does nor does not exist after death.
We oer some linguistic gedanken-experiments illustrating ev-
eryday situations in which appropriate analogues to the above four
statement-forms are entirely plausible as mutually exclusive or
jointly exhaustive alternatives; and we oer a framework, based
on the logical paradigms of locale or topos theory, illustrating how
forms (iii) and (iv), in particular, need be neither contradictory,
nor paradoxical, nor even mutually equivalent.
1 Foreword
63
64 F. E. J. Linton
Finally, beyond oering all due gratitude to the reader who can for-
give these omissions (and abject apologies to the reader who cannot),
I must express profound thanks to Professors Emch and Sridharan for
having encouraged the preparation of the present material in the rst
place; to the referee (alas, anonymous), whose numerous valuable sug-
gestions upon an earlier draft, I hope, I have adequately incorporated
into the present revision; to Professor P. Vanchinathan for a master-
ful translation of my HTML submission into the requisite LaTeX; to
the airlines UAL and Lufthansa, whose frequent
yer program and air-
craft, respectively, graciously facilitated my participation in the Banga-
lore conference by providing complimentary air transport between the
North American continent and India; and to the Faculty Research Grant
program of Wesleyan University, for its generosity in underwriting se-
lected additional travel expenses connected with the presentation of this
material at Bangalore.
(i0 ) P
(ii0) : P (not-P )
(iii0) P &:P (P and not-P )
(iv0 ) : P &::P (neither P nor not-P )
(i00 ) P ,
(ii00 ) Q ,
(iii00) P &Q, and
(iv00 ) : P &:Q( = :(P _ Q )),
exclusive, what (i00 ) and (ii00) are implicitly intending to represent must
surely be rather
(a) P &:Q = P Q;
(b) : P &Q = Q P:
But how is one now to make any sense of the hope that Q may stand
for :P ? That is, how shall we maintain the mutual exclusivity and
individual non-triviality of the four items
(a0 ) P &::P;
(b0 ) : P &:P;
(c0 ) P &:P , and
(d0 ) : P &::P ,
(a00 ) P &P ,
(b00 ) : P &:P ,
(c00 ) P &:P , and
(d00 ) : P &P .
68 F. E. J. Linton
pairs of such sets is such a topos. Its truth value object is the ordered
pair (2; 2) consisting of two copies of the usual two-element Boolean
algebra formed from the ordinal number 2 = f0; 1g, and this has exactly
four global elements: (1, 1) and (0, 0), playing the roles of True and
NotTrue, and serving as counterparts of P &P and :P &:P , respectively;
and (1, 0) and (0, 1), playing the roles of BothTrueAndNotTrue and
NeitherTrueNorNotTrue, counterparts in turn of P &:P and :P &P .
Not every topos whose truth value object has exactly four global ele-
ments has them arranged quite in this way, however. For example, if we
topologize the ordinal number 3 (whose points are the smaller ordinals
0, 1 and 2) by declaring open exactly those subsets of 3 that happen
themselves to be ordinal numbers (viz., ; (the empty subset), f0g; f0; 1g
and all of 3), then the topos of sheaves on this space 3 has truth value
object whose global elements likewise number four, but correspond ex-
actly, even as to their ordering, to the four open subsets of 3 that make
up the topology just described. Here, between True and NotTrue (or 3
and the empty set) we have two intermediate truth values, each neither
True nor NotTrue, but one \more true", as it were, and \less not true",
than the other:
NotTrue = ; < f0g < f0; 1g < 3 = True:
A !
f
B !
g
C
70 F. E. J. Linton
made up of three sets and two functions, as depicted. The truth value
object for this topos is the conguration above, where 4, 3, and 2 are
the ordinal numbers 4 = f0; 1; 2; 3g; 3 = f0; 1; 2g; and 2 = f0; 1g, and
the functions f+ and f both carry 0 to 0 and 1 to 1, but f (2) = 1,
while f+(2) = f+ (3) = 2, as depicted above.
The four global elements here are simply the four length-two paths,
or orbits, seen to emanate from the various members of 4, the upper-
most and lowermost of which it seems plausible to accept as playing the
roles of True and NotTrue, respectively, while the remaining two paths,
clearly neither True nor NotTrue, somehow represent the values \more
True than NotTrue" and \more NotTrue than True". Or perhaps the
catus.kot.ian expressions \both true and yet not true" and \neither true
nor yet not true" better convey the sense of these intermediate truth
values, though we suspect this is not an illustration of the classical
paradigm the catus.kot.i had in mind.
But in fact, the logic of this topos does realize the way apparent
contradictions are commonly used in everyday speech. A daiquiri made
with far too much lime juice, for example, and a little too much sugar,
may well be called both sweet and not sweet; a coee prepared with just
barely not enough sugar for the taste of a particular coee-drinker may
be disparaged as neither sweet nor not sweet. If the best student to pass
through your department in the past ten years has an uncanny knack
for getting arrested at student political demonstrations, you will be apt
to wonder whether your department should once again post bail for this
student who is both really very bright and yet not really very bright.
Or, of another student, not quite so bright { generally dealing very well
with the more diÆcult problems and readings, but sometimes inexplica-
Tetralemma Conundrums 71
bly failing utterly when faced with far simpler ones { and yet having an
investment acumen that is simply uncanny, you may well think, some-
what perplexedly, this student is neither really all that bright, nor not
really all that bright.
There are, of course, also everyday linguistic settings in which the
last two catus.kot.i options (iii) and (iv), far from being mutually exclu-
sive, coincide completely. This state of aairs corresponds, perhaps, to
the Trairasika viewpoint (cf. [B], p. 35). A grape-fruit, for example,
sour, to some extent, like all its kin, but remarkably less so than most,
you might be equally happy to describe as both sour and not sour, or
as neither sour nor not sour. Would you like a topos whose truth value
object epitomizes just this situation, not envisioned in the catus.kot.i, of
the last two options (iii) and (iv) coinciding? The Sierpinski topos, as
it is known, is a case in point.
The objects of the Sierpinski topos are shortened versions of the con-
gurations shown above: only two sets, B and C , rather than three,
and only one function g. The truth value object is the right-hand frag-
ment of the truth value object shown above, and has only three global
elements, namely the three one-step paths emanating from the various
elements of 3, which have reason to be thought of as True, Neither-
WhollyTrueNorNotWhollyTrue, and NotTrue (taken from top to bottom),
respectively, though the middle value may equally well be thought of as
TrueInTheLongRunEvenIfNotTrueAtTheOutset. This middle truth value,
in other words, is at once BothTrueAndNotTrue and NeitherTrueNorNot-
True, and is the only alternative to the extreme values True and NotTrue.
3 Afterword
As a nal topic, perhaps not worthy of even this passing mention, let
us take up one objection on the part of some commentators to the
tetralemma paradigm, namely, that there should by rights be yet a fth
alternative, something like NoneOfTheAbove, to the classical four. The
Buddha himself, after all, is reported in one instance to have rejected,
each in its turn, all four alternatives of one particular quadrilemma,
indicating that the truth lay somehow elsewhere.
There are indeed topoi, readily described, whose global truth values
72 F. E. J. Linton
Figure 4:
easily realize the ideal of being ve in number. For that matter, that
ideal can be realized in three wholly dierent ways. In all cases, how-
ever, the lattice of global truth values must, for purely topos-theoretic
reasons (that is, by virtue of what has been called generalized abstract
nonsense), be what is known, to those in the lattice trade, as distributive.
That requirement rules out the last two lattices depicted in Figure 4
above. The remaining ve-element lattices number three: they too ap-
pear in Figure 4, as the rst three on the left: they are all distributive,
but none is Boolean.
And just which of their intermediate members (between True at the
top and NotTrue at the bottom) should be interpreted as BothTrueAnd-
NotTrue, as NeitherTrueNorNotTrue, or as NoneOfTheAbove, I leave as
my parting conundrum to you.
Bibliography
[S&RS ] Sanskrit and Related Studies (Proceedings of the International
Conference, September 23{26, 1993), Cracow Indological Studies
1 (1995). Institute of Oriental Philology, Jagiellonian University,
Cracow (Poland), 1995.
[JIPR ] Journal of Indian Philosophy and Religion 1 (1996). Society
for Indian Philosophy and Religion, Calcutta, 1996.
[B ] Balcerowicz, Piotr: Formal Analysis of Catus.kot.i|A Buddhist An-
ticipation of Multiple-Valued Logic?, in [S&RS], pp. 27{43.
amartya@isical.ac.in
Abstract
We shall present Brahmagupta's treatment of the indetermi-
algebra that are implicit in this ancient work of 628 CE and dis-
77
78 Amartya Kumar Dutta
From the Vedic era, addition has been called samasa (\putting together") and
2
the sum obtained samasta (\whole", \total", etc) | see [D3], p 226. Note that the
prex sam (together) is used like the Latin con expressing \conjunction", \union",
etc.
Brahmagupta's Bh
avana 79
Arrangement
Some readers would be well-informed about ancient Indian results
on indeterminate equations, some might not be. Again, while the pro-
fessional algebraist knows the subtleties involved in the bhavana, the
richness and depth of the result might not be apparent to all histori-
ans. Keeping in mind the possible diverse background of the readers,
the paper has been arranged as follows.
In Section 2 we highlight certain features of modern algebra implicit
in the bhavana and its applications. Section 3 proposes the central theme
of the paper | the pedagogic potential of aspects mentioned in Section
2 in the context of \abstract algebra".
The applications of Theorem 1 are revisited in Sections 4 and 5
chie
y from the pedagogic perspective: Section 4 describes the immedi-
ate applications of the bhavana, mostly by Brahmagupta himself, while
Section 5 traces its in
uence on the cakravala. Section 6 touches an-
other thought-provoking topic for the students: the possible genesis of
the bhavana.
Section 7 discusses the possible motivation for investigation of the
equation Dx2 +1 = y2 . Section 8 contains a few miscellaneous historical
remarks on the bhavana.
To convey to the readers some
avour of the original \composi-
tion" (pun intended!), Appendix presents the transliteration of Brah-
magupta's verses describing Theorem 1. For readers uncomfortable with
Sanskrit, these verses are followed by a translation. As Brahmagupta's
language is somewhat cryptic, a more lucid version of Theorem 1, due
Brahmagupta's Bh
avana 81
Binary Composition
Theorem 1 denes an intricate binary operation (samasa-bhavana)
(x1 ; y1 ; m1 ) (x2 ; y2 ; m2 ) = (x1 y2 + x2 y1 ; Dx1 x2 + y1 y2 ; m1 m2 )
on S = f(x; y; m) 2 Z Z Z j Dx2 + m = y2 g where Z denotes
the set of integers. This sophisticated idea of constructing a binary
composition on an abstractly dened unknown set is the quintessence
of modern \abstract algebra". The idea occurs in Brahmagupta's work
in a
uid amorphous form | it had not been crystallised in a precise
set-theoretic framework.
Brahmagupta did not present the collection S as a single entity. But
he had envisaged the key ingredient of a modern abstract structure:
binary composition. If we exclude the four elementary arithmetic op-
erations on usual numbers, the bhavana is perhaps the rst conscious
construction of a binary composition. Further, the binary operation
is quite a complicated one: it involves two integral triples of unknown
roots. Recall that even basic symbolic computations with unknown roots
| treating them as if they were known quantities | is a fairly modern
approach that emerged during the investigations on the general polyno-
mial in one unknown.
Norm Function
The bhavana laws have an elegant interpretation in terms of the
norm function
p | a verypimportant concept in modern mathematics. Let
A = Z[ D] (= fb + a Dja; b
2 Zg). The norm function on A is the
map N : A ! Z dened by
p p p
N (y + x D) = (y + x D)(y x D) = y2 x2 D:
Brahmagupta's identity can be reformulated as the statement:
Readers familiar with the relevant terminology can see that Lemma 5.1
is a version of the fact that y2 Dx2 is strongly multiplicative. M.
Ojanguren referred to Lemma 5.1 as \Brahmagupta's lemma" ([O], p
55).6 Theorem 5.2 in ([O], p 55) states the generalisation of Lemma 5.1
by Pster: Pster forms are multiplicative.
Just before the statement of Lemma 5.1, Ojanguren writes ([O], p 54): \In [5,
6
Ch.18] Brahmagupta proves, in the slightly dierent formulation quoted above, the
following lemma.". With a quiet humour characteristic of Ojanguren, Item 5 is
listed in \References" as: 5. Brahmagupta: Brahmasphut.asiddhanta, Bhnmala,
628 (preprint).
Brahmagupta's Bh
avana 85
A Caveat
Sometimes the brilliance of an algebraic research lies in its opening
up of new and unexpected horizons with immense possibilities through
surprisingly simple innovations. Ironically, the very simplicity of the
work tends to hinder or distract later generations from a deep percep-
tion of its true worth. A casual observer could very well fail to fully
appreciate the richness and magnicence of the ideas encapsuled in the
construction of a mere 2-step solution of 92x2 + 1 = y2 . Further, once
the mathematical community gets accustomed to an original idea like
the bhavana, it becomes all the more diÆcult to fathom the greatness
of the discovery. Historians need to be aware of this intrinsic risk of
missing the real depth and signicance of Brahmagupta's work on the
Varga-Prakr.ti.
structures. During this transitional period, the student has hardly any
chance to mentally participate in the process of discovery of the basics
of modern algebra | he has to patiently learn a radically new approach
to mathematics suspending his creative impulse. The situation is all the
more grave for the large number of students who do not have scope for
interaction with creative algebraists.
The current group-ring-eld approach of abstract algebra is undoubt-
edly neat, elegant and has enormously simplied mathematics. But sim-
plicity tends to hide mathematical subtleties. Abrupt introduction to
abstract structures, completely divorced from their original contexts,
could sti
e the natural growth of thought-process and promote a sort of
mechanical pursuit of forms missing the substance. The achievement of
extreme elegance and simplicity, therefore, has a potential risk for new-
generation learners. They tend to approach algebra with a mechanised
mindset for too long.7
Is it possible to present before a high-school student a non-trivial but
accessible algebraic work of a mathematical genius which can creatively
orient him to the principles of modern algebra through the language of
high-school algebra?
We aÆrm that, before the student gets lost in the elaborate maze
of groups, rings, elds, vector spaces, etc, Brahmagupta's results can
be used to informally introduce him to the essence of abstract algebraic
ideas. An imaginative and eective use of Theorem 1 and Example 1
can convey to the fresh student the power of \binary composition" much
more deeply and rapidly than any of the standard pedagogic approaches.
It could be inspiring for him to realise that the simplicity of the solution
to Example 1 has its secret in the monoid structure of (S; ) of Sec-
tion 2 which in turn has its root in the natural ring structure of the set
A in Section 2. He could be excited by the observation that, through
samasa-bhavana, the set f(x; y; m) 2 Q Q QjDx2 + m = y2 g forms a
group or the later realisation that f(x; y) 2 N NjDx2 + 1 = y2 g forms
7
As the inevitable perils are gradually emerging, there is now an increasing trend to
supplement the organised and rapid presentation of abstract algebra in its generality
with some discussion on the genesis of the subject. It is a welcome sign that attempts
are being made in recent texts to impart some familiarity with the original approach
of Galois supplementing the standard 20th century presentation. But considerable
preparation is needed before one can get introduced to fragments of the thought-
process of a Lagrange or a Galois.
88 Amartya Kumar Dutta
Its use is not just that History may give everyone his due
and that others may look forward to similar praise, but also
that the art of discovery be promoted and its methods known
through illustrious examples.8
Deviating only slightly from Leibniz, we may say that its rst
use for us is to put or to keep before our eyes \illustrious
examples" of rst-rate mathematical work.
Corollary 1 (Brahmagupta)
If Dp2 + m = q2 , then D(2pq)2 + m2 = (Dp2 + q2 )2 .
Corollary 2 (Brahmagupta)
If (p; q) is a root of Dx2 c = y2 , then ( 2pq ; Dp c+q ) is a root of Dx2 +1 =
2 2
c
y2 .
be the lesser root [of a varga prakr.ti] when unity is the additive. From
that [follows] the greater root."11
Now the application of bhavana on the identity D:12 + q2 D = q2 to
obtain rational solutions might appear to be a relatively minor feat in the
history of Indian algebra. But the clear formulation of this identity, the
display of the action of bhavana on it, and explicit mention of division
by q2 D might have facilitated the invention of the cakravala (see
next section). We can also expect that, during actual computation,
there would be a tendency to choose q so as to avoid division by large
numbers. This leads to a q for which jq2 Dj is the minimum | another
component of the complex cakravala. In this connection, one is reminded
of Weil's caveat ([W1], p 235):
Theorem 3 (Brahmagupta)
(i) If Dp2 + 4 = q2 , then ( 12 p(q2 1); 21 q(q2 3)) is a solution of
Dx2 + 1 = y2 .
(ii) If Dp2 4 = q2 , and r = 21 (q2 +3)(q2 +1), then (pqr; (q2 +2)(r 1))
is a solution of Dx2 + 1 = y2 .
qny; mn (y2 D)). Dividing by mn 2 (another natural idea given the ear-
lier emphasis on methods for obtaining rational solutions) one obtains
a rational triple (pn+1 ; qn+1 ; mn+1 ) = ( pnm y+qn ; Dpn +qny ; y2 D ). Now
n mn mn
the above triple would be an integer triple if y can be so chosen such
that pn+1 (and hence qn+1 ; mn+1 ) becomes an integer. This amounts
to nding integer solutions of the equation mn x pn y = qn . The lin-
ear indeterminate equation had been extensively discussed by Indian
algebraists from the time of Aryabhat . a (499 CE) and they knew the
complete solution to the problem. Now among the innite solutions,
one would obviously choose the solution for which jy2 Dj would be
minimum so that jmn+1 j is minimised (as desired). And that is pre-
cisely the prescription of the cakravala! Andre Weil's remark can hardly
be bettered ([W2], p 22):
p p
z D) = (yt + Dxz ) (yz + xt) D. This was the approach of Euler
([W2], p 15). One wonders if Brahmagupta's thought-process too had
taken a similar route! That would amount to an implicit handling of
the norm function mentioned in Section 2.
(i) Astronomy
In Laghu-Bhaskarya (Chap 8; Verse 18) of Bhaskara I, there is a
problem from astronomy involving the simultaneous equations
8x + 1 = y2 ; 7y2 + 1 = z 2 :
By inspection, one readily gets an integral solution y = 3; z = 8 for
the second equation. Did such problems provide the original motivation
for exploring a systematic method of determination of integer solutions
to the general varga prakr.ti? Possible. In his commentary (Sundar)
on the Laghu-Bhaskarya, Udaydivakara (1073) prescribes Jayadeva's
general method for solving 7y2 + 1 = z 2 ([Sh], p 4).
But the central problems in the vast canvas of ancient Indian astron-
omy do not seem to seriously involve the Pell's equation. It is true that
the examples of Brahmagupta on varga prakr.ti (as also on other topics
in algebra) are put in the language of astronomy. Given the exalted
status of astronomy, it was natural to put the illustrative examples in
a glamorous astronomy framework for greater impact. But consider-
ing the prevailing interests in astronomy, it looks more likely that these
examples were invented to illustrate the rules; rather than the rules hav-
ing emerged from an attempt to solve those examples. Astronomy alone
might not have provided suÆcient impetus for the sustained eort that
102 Amartya Kumar Dutta
would have gone into the partial (and later the general) solution to such
a diÆcult problem.
p
(ii) Rational Approximation to D
p
Aryabhat . a's method for computing D, when D is a perfect square,
is well-known ([DS], p 170{175) | a modied version of his algorithm
is taught in school arithmetic. But right from the Vedic times, there
have also been eorts p to obtain convenient, reasonably accurate, rational
approximations to D when D is not a perfect square. In the Sulba
Sutras (c. 800 BCE), the most ancient mathematics treatises available,
7 , 17 , 577 have been used as approximations for p2 ([D3], p 202; [Di],
5 12 408
p 341; [Sa], p 18). These three fractions may be interpreted as arising
out of solutions of 2x2 1 = y2 ; for 2:52 1 = 72 , 2:122 + 1 = 172 and
2:4082 + 1 = 5772 . 21 In fact, they are respectively the third, fourth
p and
eighth convergents of the simple continued fraction expansion of 2. 22
It is possible that, at some stage, Indians noticed that a suÆciently
large integer solution (a; b) of Dx2 + 1 = y2 (or even Dx2 c = y2 where
c is pa relatively small positive integer) will give a good approximation ab
for D and that this realisation triggered a quest not only for a method
of solving the varga-prakr.ti but also a device for generating arbitrarily
large solutions from a given one. The hypothesis may have a pedagogic
usefulness, but there does not seem to be any concrete evidence so far to
indicate that this was indeed the original motivation for Brahmagupta. p
Narayan.a, who explicitly used the varga-prakr.ti for approximating D
21
One may recall p here that Archimedes (287-212 BCE) gave the approximations
265
and 1351 for 3 and that, in his commentary on Archimedes, Eutocius (700 CE)
mentioned the relations 2652 3 1532 = 2 and 13512 3 7802 = 1 as a verication
153 780
(see Section 4), lived more than seven centuries after Brahmagupta. It
is however possible that Indians did have an early realisation of this
application of large solutions of varga-prakr.ti but did not mention it in
any major text till the discovery of a general algorithm for nding a
non-trivial solution of Dx2 + 1 = y2 for any D.
into the general spirit of the era | the \Classical Age" of Indian history
| when any department of knowledge or sphere of activity, once taken
up, was pursued to its extreme.
Brahmagupta's penchant for pursuing problems in algebra for the
sheer joy (and glory) is explicitly recorded towards the end of his chapter
on algebra, i.e., Kut.t.aka ([B], Chapter 18, Verses 99{100; [C], p 377):
jana samsadi
_ daivavidam_ tejo nasayati bhanuriva bhanam
kut.t.akaraprasnaih. pat.hitairapi kim_ punarj~nataih.
\These questions are stated simply for delight. One may devise a
thousand others; or may resolve the problems proposed by others, by
the rules given here.
\As the sun eclipses the stars by his brilliance, so will an expert
eclipse the glory of other astronomers24 in assemblies of people, by the
recital of algebraic problems, and still more by their solution."
While stating concrete examples, especially those involving the varga
prakr.ti, he often used the phrase kurvannavatsarad gan.akah. | \One
who can solve it within a year (is truly a) mathematician." Clearly he
revelled in the challenge posed by the varga prakr.ti, the determination of
a solution of which was described by Jayadeva ([Sh], p 14{15) as being
\as diÆcult as setting a
y against the wind":
8 Historical Context
25
Hardly any complete post-Vedic mathematics treatise, prior to Aryabhat.ya, has
survived.
26
The achievement appears all the more startling when contrasted with the gen-
eral evolution of algebraic thought: till the 16th century CE, Arab and European
mathematicians struggled with problems involving equations of the type ax + b = c
(a; b; c positive numbers) as shown by the prevalence of the cumbrous \rule of false
position".
106 Amartya Kumar Dutta
27
By original expositor we mean here one who is presenting the result in his own
language and not quoting his predecessor(s).
Brahmagupta's Bh
avana 107
[then] y = Dx1 x2 y1 y2 ; x = x1 y2 x2 y1 ; m = m1 m2
satisfy y2 = Dx2 + m:
(Mention of y = Dx1 x2 + y1 y2 and x = x1 y2 + x2 y1 is explicit; mention
of y = Dx1 x2 y1 y2 and x = x1 y2 x2 y1 also seem implicit.)
Remark 1
As pointed out by Datta-Singh ([DS], p. 146), the word dvidha in
Line 1 has two-fold implication:
(i) Consider two triples satisfying Dx2 + m = y2 .
(ii) Consider two copies of a triple satisfying Dx2 + m = y2 .
Brahmagupta's Bh
avana 109
Thus (ii) is a special case of (i) and, together with the next two lines,
indicate Corollary 1: If Dp2 + m = q2 , then D(2pq)2 + m2 = (Dp2 + q2 )2 .
That the audience is also expected to read the implication (ii) in
Line 1, and therefore Corollary 1 in Lines 1{3, is conrmed by the very
next Line 4:
praks.epasodhakahr. te mule praks.epake rupe
\On dividing the roots [obtained] by the [original] additive or sub-
tractive, [roots for the] interpolator unity [will be found]." OR \On
dividing [the roots obtained] by the square root of the [new] additive or
subtractive, [roots for the] interpolator unity [will be found]."
Thus, we have, Corollary 2: If (p; q) is a root of Dx2 c = y2 , then
( ; Dp +q ) is a root of Dx2 + 1 = y2 .
2 pq 2 2
c c
Line 4 is in harmony with the previous lines if the implication (ii) is
also considered; otherwise the language used might appear abrupt.
Remark 2
Both the additive and subtractive versions of Theorem 1 seem to
nd simultaneous mention in Brahmagupta's verses through the expres-
sions saha and aikyam_ with the ambiguous sense of \combining" Dx1 x2
with y1 y2 and x1 y2 with x2 y1 . The word \combining" certainly includes
the implication \adding". Thus the reference to the more important
additive principle (producing new roots Dx1 x2 + y1 y2 and x1 y2 + x2 y1 )
is obvious. Presumably, \combining" also includes \taking dierence";
the subtractive principle (generating Dx1 x2 y1 y2 and x1 y2 x2 y1 ) is
unlikely to have been overlooked by Brahmagupta. (Also see Remark
4 below.) In any case, Jayadeva, Bhaskara II and subsequent writers
clearly describe the two principles successively in separate verses.
Remark 3
Theorem 1 in the Introduction was stated in three equivalent forms.
Brahmagupta's verses (quoted above) seem to resemble best the second
form. But the perception of Theorem 1 in the rst form (i.e., in terms
of an operation ) comes out in the applications by Brahmagupta and
others, in the version of Theorem 1 due to Bhaskara (quoted below) and,
above all, in the choice and use of the term bhavana (composition).
110 Amartya Kumar Dutta
Remark 4
During our literal translation, we had to insert several brackets `[ ]'
to include expressions which are implicit in Brahmagupta's verses. The
3 lines, conveying Theorem 1, could appear obscure for a person not
already familiar with the essence of the result. Cryptic brevity is a gen-
eral feature of the original treatises of the earlier greats like Aryabhat
.a
(499 CE) and Brahmagupta (especially the former). The verses were
meant to indicate broad hints | not complete details. There used to be
emphasis on the use of a learner's own intellect for lling up the details.
Here one may point out that most modern mathematicians feel that a
researcher eventually gains more insight into his area from a terse text
than from a clearly spelt-out text, from an obscure important paper
than from a lucid one.
Besides, conciseness was also a practical necessity. Palm-leaf manu-
scripts do not last long. Thus a treatise could be preserved only through
memorisation or through repeated copying. In either case, the more con-
cise the work, the better its chance of survival through faithful memo-
risation or copying. Brevity would have been particularly indispensable
for an ancient author with enormous output. One can appreciate Brah-
magupta's compulsions when one considers that, in spite of its oppressive
terseness, the number of verses in Brahma Sphut.a Siddhanta exceeds a
thousand.
With passage of time (and improvement of writing materials), the
later treatises, even by stalwarts, give more and more elaborate versions
of the results of the predecessors. Jayadeva's verses on the bhavana
([Sh], p. 4{8) have greater clarity than Brahmagupta's, Bhaskaracarya's
version (quoted below) is still more lucid.
Detailed expositions on the works of the Masters were meant to be
orally transmitted through the guru-sis.ya (mentor-disciple) link. The
commentaries too try to clarify the implications of the passages of the
original treatises. Brahmagupta's verses are explained by Pr.thudaka
Svami (860 CE); Bhaskara's verses by Kr.s.n.a (1600) and Suryadasa
(1541).29
Brahmagupta's result, once stated, is not diÆcult to prove. Proofs
29
The footnotes in [C], p 170{172 and 363{364 contain excerpts from these com-
mentaries on Brahmagupta's and Bhaskara's verses describing the bhavana.
Brahmagupta's Bh
avana 111
30
and y in Dx2 + m = y 2 , which were called adya (initial or rst) and antya
x
(nal) respectively by Brahmagupta, were named hrasva (lesser) and jyes..tha (greater)
respectively by Bhaskara II; the gun.aka D of Brahmagupta was called prakr.ti by
Bhaskara II.
31
The last sentence comes from the phrase bhavana procyate'tah. which can also
112 Amartya Kumar Dutta
\[Consider] the two cross-products of the two greater and the two
lesser roots. The sum [x1 y2 + x2 y1 ] of the two cross-products is a lesser
root. Add the product of the two [original] lesser roots multiplied
by the prakr.ti [D] to the product of the two greater roots. The sum
[Dx1 x2 + y1 y2 ] will be a greater root. The product of the two [previous]
interpolators will be the [new] interpolator.
\Again the dierence between the two cross-products is a lesser root.
The dierence between the product of the two [original] lesser roots
multiplied by the prakr.ti and the product of the two greater roots will
be a greater root. Here also, the interpolator is the product of the two
[previous] interpolators."
We mention here that Bhaskaracarya referred to Brahmagupta as
gan.aka cakra cud.aman.i32 (jewel among mathematicians).
Acknowledgement. The author sincerely thanks Prof. Sitanath Goswami
for verifying the accuracy of the Sanskrit-English translations and ac-
companying notes, and Professors Amit Roy, Kalyan Mukherjea and
Raja Sridharan for stimulating mathematical discussions and valuable
suggestions.
References
Roots
Francois Patte
UFR de Mathematiques et Informatique
Universite de Paris 5 Rene Descartes
75270 Paris Cedex 06
francois.patte@math-info.univ-paris5.fr
Abstract
This paper presents the karan., a mathematical construction
to use integers to make calculations with square roots. Indian
p p
mathematicians p for this purpose (e.g.
invented pnew operations
( 2 + 8)2 = 2 + 8 + 2 2 8 = ( 18)2 for the sum of what
they call the karan. 2 and 8, the sum of which is the karan. 18).
This construction seems to be sophisticated, even useless, but we
can nd an explanation in a commentary (17th century): if all
the calculations on square roots are made with karan., and the
approximate value is taken only at the end, the result is more ac-
curate than if approximate values are taken at the beginning of
the calculation.
115
116 Fran
cois Patte
2 The commentators: S
uryadasa and
Kr.s.n.adaivaj~
na
2.1 S
uryadasa
2.2 Kr.s.n.adaivaj~
na
3 The karan.i
3.1 The \concept" of karan
.
The word karan. means producer. It is in the feminine for, in Sulbas utra
texts, \The Aphorisms on the Rope", it was originally in relation to
the word rajju, or rope, which is feminine too. This rajju karan. has
been used to produce geometric squares, that is a right angle; there are
some aphorisms in the Sulbas utra explaining how to place some marks
on a rope, at the distance of 3, 4 and 5, in order to produce a right-
angled triangle and hence a square. So, the word karan. was used to
designate the side of a square and because of that, it can mean the
square root of a number. From the 5th century before the common era
to the 17th century, the word karan. seems to have had many meanings
related to squares and square roots and consequently it is not easy to
translate. Moreover, the mathematical concept expressed by this word
in this papaer, has no equivalent in modern mathematics. For this reason
we will not translate it. One common translation into English is surd.
The word surd is ambiguous, for it means either irrational number or
square root; there is no idea of irrational numbers in karan., no idea of a
number which cannot be expressed by a ratio, by a fraction of integers.
As for the meaning \square root", this is not a correct translation for
karan., as karan. are not merely numbers, but numbers with a set of
operations.
Bhaskara does not give any denition of karan.; the rst rule, \sutra"
as this kind of stanza is called in Sanskrit, deals straight with the rules
of addition and multiplication, but we can nd some information in the
commentaries. Here is what Suryadasa says about this rst sutra 4 :
\Now, [the author] who examines the nature of these karan.s, under
the pretext of explaining the rule of multiplication, says: \vargen.a".
One will multiply a square vargen.a by a square number; likewise,
one will divide a square by a square only; on the contrary, one will not
multiply or divide a square by a number. It is pointed out by this, that
what is of the nature of karan. by name is of the nature of a number
4
We will see the sutra itself later on. The transliteration of all quoted texts is
given at the end of the article, see page 133.
The Karan
.
121
\The name of karan. will be for that [number] the square root
of which must be taken.5 "
We shall examine the rst part of this text later, and use now only
the underlined part. What is important here is that if you consider
the number two as a karan., you must accept that this number is a
square; this is reinforced by the above quotation from Narayan.a who is
a mathematician from the 14th century. A karan. is a number for which
you have to compute the square root, so you must think that it is a
square, you must think of a mental squaring operation.
Here is now what Kr.s.n.a says as an introduction to his commentary
on this chapter:
\Now are commented the six operations on the karan.. In this mat-
ter, one should understand that the six operations on karan., are six
operations done through the squares of two square root quantities. Be-
cause the origin of these six operations is preceded by a state of square,
therefore, [there will be] also the use of the expression \state of karan.",
in relation with these six operations, for a quantity producing a square
root; this usage will not be possible if the calculation proceeds with the
state of square root as the rst step. The technical word \six operations
on karan." must be understood because of the necessity of such calcula-
tions about square root numbers; in this [case], that quantity for which
a square root without a remainder is not possible, when its square root
is required, is a karan., but this is not merely a quantity which does not
produce a square root; if it were so, there would always be the use of the
expression \state of karan." for two, three, ve, six, and so on.
| Let it be so!
No! If the operations were done on that basis, for instance, eight
added to two would be eighteen, etc."
This commentary requires some explanations. Note that the \six
operations" are the operations which are studied in the Bjagan.ita,
whatever the objects (negative numbers, unknown quantities, karan.),
5
Quoted by Suryadasa from Narayan.a's B
jagan
. it
avatam
. sa.
122 Fran
cois Patte
We can now analyse the text of Bhaskara and see why \eight added to
two would be eighteen" ; here are the two rst rules of this chapter:
Let us x the mahat as the sum of the two karan.s and the
laghu as twice the square root of their product, the sum and
the dierence of these two are as for the integers. One will
multiply and divide a square by a square. {1{ But the square
root of the larger [number] divided by the smaller [number],
The Karan
.
123
These sutras give two ways of calculation for the sum and the dif-
ference of two karan.s : in the rst one, two new objects are dened:
the mahat, the greater, which is the sum of the two karan.s, that is
to say the sum of the two integers which measure the two karan.s ; the
second object is the laghu, the smaller, which is twice the square root of
the product of the same integers. The names chosen for these technical
words are obvious, for the sum of two integers is always greater than
twice the square root of their product. Once the mahat and the laghu
have been calculated, the two integers produced are added and the re-
sult is the karan. sum of the two karan.s, that is to say: the square of
the sum of the square roots of the two integers measuring the karan..
If the dierence of the mahat and the laghu is computed, the result is
the dierence of the two karan.s. There is a problem with this denition:
the dierence between two karan.s is the same whether you compute the
dierence between the greater one and the smaller one or the smaller
minus the greater.
Before going deeper in the explanations of these rules, let us see the
example given by Bhaskara, and its solution by Suryadasa.
Say the sum and the dierence of the two karan.s measured
by two and eight and by three and twenty-seven and after
a long while, if you know the six operations on karan., say,
dear, [the sum and the dierence] of these two measured by
three and seven.7
p p r
8 18
( 8 2)2 = 2(
2
1)2 = 2
Let us focus on the sentence of the rule: \One will multiply and divide
a square by a square." We have seen how one of the commentators,
Suryadasa, had explained it (page 120) in order to put forward the
nature of square of the karan..
Here is now what Kr.s.n.a says about it: \vargen.a vargam. gun.ayed
bhajec ca": here is what is said: when you want to multiply karan.s,
if there is the state of multiplicand or the state of multiplier for some
integer | or if you want to divide karan.s, if there is the state of divi-
dend or the state of divisor for some integer | then, having squared the
integer, the multiplication and the division can be performed, because a
karan. has the nature of square."
Another idea springs from this commentary: how to \embed" the
integers in the karan. set; if we want to make operations mixing integers
and karan., we have to square the integers in order to give them a state
of karan.s and this will change the general rules given for the operations.
For instance, the rule for squaring the integers given in the Llavat uses
the identity (a + b)2 = a2 + b2 + 2 ab. So Kr.s.n.a explains afterwards: \for
the square also, the fullment is in like manner because it (the square)
is a kind of multiplication according to its nature of product of two equal
[numbers]. Or, according to the method stated for the manifested num-
bers: \The square of the last [digit] must be placed and [the other digit
must be] multiplied by the last one increased two times..."8 , there will
be a fullment [of this method] for the squaring of the karan. also but,
as has been said: \One will multiply and divide a square by a square",
when it is said: \multiplied by the last increased two times", we must
understand: \multiplied by the last increased four times."
Let us now make a digression. Notice the extreme degree of con-
ciseness of Sanskrit works such as the Bjagan.ita : in one single rule,
Bhaskara describes four of the six operations: addition, subtraction,
multiplication and squaring. Although he describes the addition and
8
sthapyo 'ntyavargo dvigun.antyanighnah. svasvoparis.t.ac ca tathapare 'nk
_ as
tyaktvantyam utsarya punas ca rasim | Llavat
126 Fran
cois Patte
p p p
( 2)2 ( 8)2 = ( 2 8)2
the general rule for karan. measured by more than one integer has al-
ready been given in a preceding chapter, the chapter on unknown quan-
tities:
And even here, the rule refers to another rule given in the Llavat
which describes the property of distributivity of the multiplication with
respect to the addition | the \multiplication by parts":
In fact, it is clear from the text of the Llavat and its commentaries
that the \parts" in question are either the result of splitting an integer
into two (or more) parts in order to perform a mental calculation or the
digits of the number with their decimal place value; so, this last rule can
be used to perform calculations on polynomial-like quantities: a number
considered in such a way being merely a polynomial in the powers of ten.
Let us see now the example given by Bhaskara for the multiplication
of the karan.:
The rule \One will leave them apart if there is no square root" is used
in this example and we discover a new formalism to denote integers: r u,
rst syllable of the Sanskrit word rupa, the meaning of which is \unity",
\integer". The commentator squares this integer to transform it into a
karan. before he performs the multiplication.
12
dvitryas.t.asam.khya gun.akah. karan.yo gun.yas trisam . khya ca sapa~ncarupa va-
dham . pracaks . v
a
s u vipa~
n car
u pe gun
. o 'thav
a tryarkamite karan.yau
128 Fran
cois Patte
ka 2 ka 3 ka 8
ka 3 ka 25 ka 3 ka 25 ka 3 ka 25
ka 6 ka 50 ka 9 ka 75 ka 24 ka 200
y z y z
The multiplier is split in to three parts, as stated in Bhaskara's rule,
and placed in the rst row; then the multiplicand is put under each part
of the multiplier and the multiplication is performed in each cell of the
table, the results being written in the third row.
We have put an identical symbol under the karan. for which the
addition is possible.
p
y: 6 + 24 + 2 6p 24 = 54
z: 50 + 200 + 2 50 200 = 450
Once the addition is done, the result is the one given by Suryadasa.
The second example raises a problem because there is no mathemat-
ical notation for addition or subtraction; the Indians have developed for-
malisms in some branches of knowledge like grammar and mathematics
but there are no signs to denote the operations. In this chapter on the
karan., putting two karan.s side by side indicates that it is the sum of
these two karan. which is considered. This is the meaning of: \One
will leave them apart if there is no square root". For the subtraction,
the notation is almost the same because it has been explained at the
beginning of the Bjagan.ita that a subtracted positive number becomes
a negative number, therefore, subtracting a number is only adding its
opposite. There is a sign to denote negative numbers: a dot is placed
over them; applying this notation to the karan. leads to:
ka 8 ka 2
meaning that the karan. 2 is subtracted from the karan. 8.
As long as only karan.s are considered, no problems occur: the sub-
traction rule applies as it is formulated: the dierence is the karan.
The Karan
.
129
p
measured by the number 8 + 2 2 2 8 = 2. But in his example,
Bhaskara says: \(. . . ) Or the multiplier is the two karan. measured
by three and twelve less the integer ve" and according to the Indian
notation system, we have to write:
ka 3 ka 12 ru5
Because karan. and integers are mixed in this multiplier, we have to
square the integer in order to transform it into a karan. and when doing
this, we will loose the \negative sign" showing that the last component
must be subtracted.
To solve this problem, Bhaskara introduced a restriction to the gen-
eral rule which says that the square of a negative quantity is positive:
With this rule, the multiplier becomes: ka 3 ka 12 ka 25, which
can be simplied
p as ka 27 ka 25, by the addition of the karan.s 3 and
12 (3 + 12 + 2 3 12 = 27). Now, the multiplication can be performed
in the same way as in the rst example; let us summarize this with a
table:
ka 25 ka 27
ka 3 ka 25 ka 3 ka 25
ka 75 ka 625 ka 81 ka 675
There are two more operations to complete the six operations de-
scribed in the Bjagan.ita : division and square root.
Division is easy to perform | and Bhaskara does not give any rule for
this, only examples | because the algorithm given for the multiplication
is the same as the one given for the unknown quantities and thus, as
is shown by the two preceding tables, the division is very similar to
today's Euclidean division of polynomials: it is suÆcient to read these
tables in the reverse order, making the third row the dividend and the
rst one the divisor to nd out that the middle row is the quotient of the
division. All the examples given for the multiplication are used in this
way to explain the division in both chapters: the one about unknown
quantities and the present one on the karan..
The square root is rather diÆcult and we shall not discuss it in this
paper. Let us just say that its algorithm is based on the identity:
(a + b + c)2 = a2 + b2 + c2 + 2 ab + 2 ac + 2 bc
an+1 = 12 (an + aA )
n
Let us consider what Kr.s.n.a says about it (this text is the paragraph
that follows the text quoted on page 121):
\But it may be argued that these are only words! Why, then, trouble
yourself to study these operations on karan.s for, in common practice,
there is no use of karan.s but only of the approximate values of their
square roots and, with the use of six operations on numbers, these six
operations [on karan.s] are meaningless. Moreover, even if the calcula-
tion with karan.s is done, in common use, [calculation] with approximate
square roots from the beginning is better than this and is preferable to it.
| This is not correct. If a rough square root is taken from the
beginning, there will be a big roughness in its multiplication and so on;
but if the calculation of karan.s, which is minute, is performed, later,
when the approximate square root is taken, there will be some dierence
but not very much; for this great distinction, the six operations with
karan.s must necessarily be undertaken."
As already seen this justication for the construction of karan. takes
the form of a dialogue; an opponent develops the idea that this con-
struction is useless and that only approximate calculations of square
roots is enough for everyday transactions. He is told in return that if
many operations are done with approximate values of square roots the
nal error is much bigger than if the calculations were done through the
sophisticated construction of karan. and if the approximate value of the
result is taken at the very end of the calculation.
The next paragraph justies the location of this chapter in the com-
plete book of Bhaskara's mathematical works; in Sanskrit commentaries,
it is mandatory to give the reasons why a particular subject is studied
132 Fran
cois Patte
References
[1] See, for instance, Bjagan.ita of Bhaskara with the commentary
Suryaprakasa of Suryadasa, vol. I, ed. Pushpa Kumari Jain, Gaek-
wad's Oriental Series, No.182, Vadodara, 2001.
[2] See, for instance, Bjagan.ita of Bhaskara with the commentary
Bjapallavam of Kr.s.n.a Daivaj~na, ed. T.V. Radhakrishna Sastri, Tan-
jore Saraswathi Mahal Series No.78, Tanjore, 1958.
[3] See, for instance, Siddhantasiroman. i of Bhaskara with Vasanabhas.ya
and Vasanavarttika, ed. Muralidhara Chaturveda, Varanasi, 1981.
14
Unknown quantities.
15
This maxim is used to show that when two things | an easy one and a diÆcult
one | must be done, the easier one should be rst attended to just like when you
have to prepare a needle and a kettle, you should rst take up the preparation of the
needle as it is an easier work compared to the preparation of a kettle. See Apte's
Practical Sanskrit-English Dictionary.
The Karan
.
133
and
kim plofker@yahoo.com
Abstract
The mathematicians of the school of M adhava in late me-
dieval Kerala (South India) described various series expressions for
trigonometric quantities. This paper examines the reasoning un-
derlying two such formulas and the possible connections between
them.
1 Introduction
The school of Madhava in fteenth- and sixteenth-century Kerala is fa-
mous for its brilliant mathematical discoveries in a number of areas,
including astronomical modeling, trigonometric series, innitesimals, it-
erative functions, and solution of equations. Some of their best-known
work involves expressions (attributed to Madhava himself) for the Sine
and Cosine that are equivalent to what we now call Taylor series ex-
pansions. The modern name can be misleading, however, since formulas
that in modern mathematics represent essentially the same concept can
dier widely in their original Sanskrit context. Exploring the apparent
motivations of these rules, as suggested by their accompanying \yuktis"
or rationales, provides a better understanding of their relationships and
their underlying concepts of trigonometric series.
135
136 Kim Plofker
Most of the results discussed here date back to the time of Madhava
himself or his student Paramesvara, but the yuktis explaining them in
detail did not appear, as far as the existing texts indicate, until about a
century later. It is not known how they originated: they may have been
written along with the original results in texts now lost, or passed down
orally from teacher to pupil, or devised by later members of the school
to make sense of the enigmatic formulas, or some combination of all of
these.
[
Yuktid
pik
a 2, 440{441:] Having multiplied the arc and the
results of each [multiplication] by the square of the arc, di-
vide by the squares of the even [numbers] together with
[their] roots, multiplied by the square of the Radius, in order.
Having put down the arc and the results one below another,
subtract going upwards. At the end is the Sine: : : ([3], 57)
[
Yuktid
pik
a 2, 442{444:] Having multiplied unity and the
results of each [multiplication] by the square of the arc, di-
vide by the squares of the even [numbers] minus their roots,
multiplied by the square of the Radius, in order. But divide
the rst [instead] by twice the Radius. Having put down the
results one below another, subtract going upwards. At the
end is the Versine: : :
In the computation for the Sine discussed in verses 440{441, the initial
\result" is , the second , the third , and so
2 2 2 2 2 2
= ;
5 5
R (2 + 2)(4 + 4) R 120
4 2 2 4
7
7
6 2 2
=
R (2 + 2)(4 + 4)(6 + 6) R 5040 2
; (1)
6
and so forth. Since, for the nth such result, the denominator term
Y
n
Y
n
radians. This means that the above expressions are equivalent to the
following modern series normalized to R = 1:
sin(x) = x x3! + x5! x7! + : : :
3 5 7
rule for determining the Sine of some arbitrary arc by means of Sines
and Cosines from a Sine-table. More detailed analyses of this rule, and
of an elaboration of it recorded by Madhava's student Paramesvara,
are given in [4], [5], and [10]. Brie
y, choosing from the Sine-table the
tabulated arc closest to , and knowing the tabulated Sine and Cosine
of , we manipulate them as follows:
[
Tantrasangraha
_ 2, 10cd{12ab:] Having set down the two
composite Sines [i.e., the tabulated Sine and Cosine of the
tabulated arc] closest to the [arbitrary] arc whose Sine and
Cosine are sought, one should compute the arc [of] deciency
Approximations in Kerala Mathematics 139
∆θ
∆θ
R
∆θ
= i, the Sine and Cosine line segments Sin and Cos are drawn,
as are the \medial" Sines and Cosines at the bisection points, Sin and
i i i
i:5
Cos .i:5
[
Yuktid
pik
a 2, 349{352:] : : : The change in the dierence be-
tween Sines produced from the junctions of the correspond-
ing arcs should be [proportional] to the change in the Cosine
produced from the center of the arc. [Likewise,] the dier-
ence in Sine produced from the center of the arc is known as
the change in Cosine-dierence at the junctions of the corre-
sponding arc. Thus the changes in dierence are mutual[ly
dependent].
Then divide the Sine produced to the junction of the rst arc,
142 Kim Plofker
i:5
Crd
Cos = Sin R ; Sin = Cos R :
i
Crdi:5 (11)
i
For any consecutive pair of, e.g., Sine-dierences, their \second dier-
ence" or \dierence of the dierences" Sin also depends on these
quantities:
[Yuktid
pik
a 2, 352{354:] : : : Having multiplied that [Cosine-
dierence, Cos ] by the Chord, divide again by the Ra-
1:5
dius. [That] should be the dierence of the dierences of the
Sines produced to the junctions of the rst and second [arcs].
Therefore, divide the rst Sine, multiplied by the square of
the Chord, by the square of the Radius. [The] quotient is the
dierence of the dierences of the rst and second [Sines].
[Yuktid
pik
a 2, 358{359:] : : : In the same way, the division
by the square of the Radius of every Sine multiplied by the
square of the Chord should be similarly the dierence of [its
own dierence and] the dierence after that.
That is to say, in terms of the relations from equation 11,
Sin = Sin Sin = (Cos
i i i+1 Cos ) Crd = Cos Crd
i:5 1 i:5
R i:5
R
= Sin Crd
2
i
R2
: (12)
Consequently, any desired Sine-dierence Sin (for i > 0) can i+1
[Yuktid
pik
a 2, 361{363:] However many dierences of [Sine-
]dierences there are, when the sum of that many, beginning
with the rst, is subtracted from the rst dierence, the
desired dierence is obtained. When it is desired to obtain
the total of the dierences of [Sine-]dierences, [the quotient]
from the sum of Sines multiplied by the square of the Chord,
divided by the square of the Radius, should be the sum of
the dierences of the dierences.
Sin = Sin
i+1 i Sin i
Xi
= Sin
1 Sin k
k =1
Sin Crd
X
i 2
= Sin
1 k
R 2
: (13)
k =1
Sin Crd
X
i 1
X
k 2
Sin +Sin + : : : + Sin = iSin
1 2 i 1 j
R 2
k =1 j =1
Vers Crd
X
i 1
X
k
= iSin 1
R
j:5
k =1 j =1
= Sin : i (14)
Sa_nkara now simplies the above expression by taking Sin to be 1
approximately equal to the unit arc :
[Yuktid
pik
a 2, 375{376:] Because of the uniform smallness of
the arc-portions, the rst Sine-dierence is assumed [equal
to the unit arc]. That [Sin ] multiplied by the number
1
of dierences is the amount of the desired arc. Therefore,
subtract from the desired arc the result produced as stated.
The desired Sine remains there; it is [made] accurate by the
rule to be stated [below].
So we can rewrite equation (14) as
Sin Crd Vers Crd
X
i 1
X
k 2 X
i 1
X
k
Sin
i i j
2R
= i
R
j:5 : (15)
k =1 j =1 k =1 j =1
the sum of the Sines is assumed from the sum of the num-
bers having one as their rst term and common dierence.
That, multiplied by the Chord [between] the arc-junctures,
is divided by the Radius. The quotient should be the sum of
the dierences of the Cosines drawn to the centers of those
arcs.
[
Yuktid
pik
a 2, 384{385:] The other sum of Cosine-dierences,
[those] produced to the arc-junctures, [is] the Versine.[But]
the two are approximately equal, considering the minuteness
of the arc-division. On account of considering the arc-units
[equal] to unity because of [their] minuteness, the Chord too
is equal to that [unity], which makes no dierence in the
multiplier.
Sa_nkara points out, quite rightly, that we cannot use a sum of i 1 sums
of unknown Sines to compute an equally unknown ith Sine. He proposes
instead taking the sum of i sums of the successive arcs, which (if we take
Crd 1) is just a sum-of-sums of successive integers, whose
values are of course known. We will also assume that a sum of medial
Cosine- (or Versine-) dierences, which really equals a medial Versine,
is roughly equal to the adjacent non-medial Versine. This gives us the
following modied expression for Sin : i
Sin i
X
i
X
k
j
1 i X
i
X
k
Vers R1 i
X
i
Vers R1 : (16)
i
k =1 j =1
R2
k =1 j =1
j
k =1
k
X X X
i j3 j2
i(i + 1)(i + 2)(i + 3) i Xk 4 i 3
j =
j3 =1 j2 =1 j1 =1
1
1234 24 6 ; (18)k =1
etc. From this approximation and from equation (16), we can assume
that
X 1 i
k Vers :
i 2
(19)
R k =1
2R
i
[Yuktid
pik
a 2, 401{403:] : : :But the dierence of the desired
Sine and [its] arc is from the sum of the sum of the Sines.
The square of the desired arc should be divided by the Ra-
dius; thence is [found] the Versine. But thence whatever
[results] from the cube of the same desired arc [divided] by
the square of the Radius, from that the quotient with six is
approximately inferred [to be] the dierence of the arc and
Sine: : :
That is,
i Sin
X
i
X
k
j
1 i 1:
3
(20)
i
k =1 j =1
R2
6 R 2
And we can use the same sort of term-by-term correction to modify all
the Versines composing the Sine in equation (16):
X 1i
X k k
i
1 2 4
Sin i i Vers R i k
2R 4!R R 3
k =1 k =1
!
X
i
k2 X k4 i
=i 2R2 =1 4!R4
=1 k k
i3 i5
i +
3!R 5!R4 :
2
(22)
These recursive corrections of the Sine by the Versine and vice versa
are then applied indenitely to produce the general rules of equations (3)
and (4).
3.2 Correcting Sines by Cosines
We turn now to the 's \Taylor-series-like approxima-
Tantrasangraha
_
tions" of equation (8) to see what we can glean of the reasoning be-
hind them. Consider rst of all that if we omit their nal terms, we get
expressions equivalent to the following:
Sin Sin Cos D2 ; Cos Cos Sin D2 ; (23)
or equivalently
Sin Sin Cos Cos
2R 2Cos 2Sin : (24)
As discussed in ([10], 287{288), Sa_nkara analyzes in a dierent com-
mentary on the same text (
1
, or \Minor Commentary") an
Laghuvivr
. ti
1
Sa_nkara does not comment on this approximation in the . I'm in-
Yuktid
pik
a
debted to the reviewer of this paper for the important observation that such a yukti
is in fact provided in the of Jyes.t.hadeva.
Yuktibh
as.a
Approximations in Kerala Mathematics 149
2 3
4 R 5 512R ; 6
2 3
4 R 5 512R : 6
(28)
And if we set = 0 in order to compare these approximations with their
counterparts in equations (3) and (4), they reduce to
Sin 8R + 128 R ;
3 5
2 4
3 5
: (29)
Approximations in Kerala Mathematics 151
Yet the two series may be linked conceptually. They are both founded
on the Rule of Three arising from the same pair of similar right triangles
in the subdivision of the quadrant. And they are both developed, after
an initial approximation from this Rule of Three, via recursive mutual
corrections of Sine-terms by Cosine-terms and vice versa. The power
and fecundity of these basic concepts is illustrated in the variety of the
approximations derived from them. In particular, the origin of these
brilliant derivations in an elementary linear proportion recalls Bhaska-
ra's comment on mathematical foundations: \Just as this universe is
pervaded by Lord Narayan.a (who removes the suerings of those who
worship him and is the sole generator of this universe), with his many
forms|worlds and heavens and mountains and rivers and gods and men
and demons and so on|in the same way, this whole type of computation
is pervaded by the [rule of] three quantities."
References
[1] Bressoud, David, \Was Calculus Invented in India?", College Math-
N
lakan
. .tha Somasutvan (Trivandrum Sanskrit Series 188), Quilon,
Sree Rama Vilasam Press, 1958.
[9] Pingree, David, \Power series in medieval Indian trigonometry", in
Peter Gaeke and David A. Utz, eds., Science and Technology in
M.S.Sriram
Department of Theoretical Physics, University of Madras
Guindy Campus, Chennai - 600 025, India.
tphysmu@satyam.net.in
Abstract
1 Introduction
The very word algorithm is derived from the name of the famous ninth
century Islamic mathematician Al-Khwarizmi who was greatly influ-
enced by the Indian procedures in mathematics and wrote the famous
book Kitab al-hisab al-hindi on the art of Hindu reckoning [1]. Indian
Mathematics is predominantly algorithmic. It abounds in algorithms
for quick and efficient computations with numbers, and algebraic, geo-
metric and trigonometric quantities. However, it was understood that
153
154 M.S.Sriram
Śulbasūtras are part of Kalpasūtras, which are one of the six Vedāṅgas.
These are essentially manuals for geometrical constructions of Vedic
altars. Baudhāyana, Āpastamba, Kātyāyana etc. are some of the
Śulbasūtras. Some of the simpler procedures discussed here are for
dividing a line into equal parts, drawing perpendiculars, constructing
Algorithms in Indian Mathematics 155
ñÍ
d.a:GRa:.ca:tua.=;(ra:~ya.a:[Na:ya.a .=:ê
*.a õ
êÁu H :pa.a.(;Ra:ma.a:na.a ; a.ta:yRa.*+;.a:n
íé ÁÁ a.a ..ca ya:t,a :pxa:Ta:gBUa:tea k
u ++.taH
..ca:tua.=;(ra.a:a:tua.=;(rMa ;
a.na:a$Ra:h.a:SRa:n,a ya.a:va:a.a:a$Ra:h.a:SeRa:t,a ta:~ya k+=;Nya.a vxa.;d
Äâ" :mua:a.+.Kea:t,a Á
D F C
A E B
Fig.1
ABCD is the given rectangle (see Fig.2). Consider the square AB1 C1 D
with side AD. The remaining rectangle B1 BCC1 is divided into two
equal strips B1 B2 EC1 and B2 BCE. The strip B2 BCE is cut off and
applied to the side of the square DC1 . So the original rectangle has been
converted into a square with side AD1 with the small square C1 EC2 F
unfilled at one corner. Hence,
Area of the required square = Area of the square AB2 C2 D1
− Area of the square C1 EC2 F.
Using the previous procedure, this square is easily constructed.
Algorithms in Indian Mathematics 157
F C2
D
1
D C
C1 E
A B B B
Fig.2
.sa:ma:~ya ;a.d
õ :k+=;Na.a Á
ABCD is the given square with side a and area a2 . Then the square
√
on the diagonal AC is the square with area 2a2 . That is, AC = 2a.
Incidentally, Fig.3 also indicates the proof.
Both Āpastamba (1.6) and Baudhāyana
√ Śulbasūtras (1.62) give a very
good approximation to the value of 2:
That is,
√ 1 1 1 577
2 1+ + − = 1.414216,
3 3.4 3.4.34 408
which is correct to 5 decimal places.
158 M.S.Sriram
D C
D C
a a
A a B
A a B
Fig.3
ya.a:va:tpra:ma.a:Na.a:
a.na .sa:ma:.ca:tua.=;(ra.a:Nyea:k +a:k+.tua ;
a..ca:k +a:SeRa:t,a O;:k+ea:na.a:
a.na ta.a:
a.na Ba:va:a.nta
//
åò
; a.ta:yRa:k, ;a.d
õ :gua:Na.a:nyea:k+.ta O;:k+a: a.Da:k+a:
a.na Á ya:
a.~:a:BR a:va: a.ta ta:~yea:Sua:~ta:tk+=:ea: a.ta ÁÁ
(n+1)a
2
B D C
(n−1)a
Fig.4
3.1 Square
x +.tva.a ;a.d
A:ntya:pa:d:~ya va:ga k õ :gua:NMa ta:de:va:.ca.a:ntya:pa:d:m,a Á
1 5 6 2 5
25 52 = 25
4 20 22 = 4, 5.2.2 = 20
1 4 10 12 = 1, 2.2.1 = 4, 5.2.1 = 10
1 2 5
160 M.S.Sriram
c n n c n n c 121
1 7 7 1 5 6 1 (line of cube root)
Subtract 13 1
Divide by 3.12 3) 0 7 (2
0 6
1 7
Subtract 3.1.22 1 2
5 1
Subtract 23 0 8
Divide by 3.122 432) 4 3 5 (1
4 3 2
3 6
Subtract 3.12.12 3 6
0 1
Subtract 13 1
0
The process ends and the cube root is 121. The algorithm is obviously
based on the algebraic identity: (a + b)3 = a3 + 3a2 b + 3ab2 + b3 .
A: a.Da:k+a:g{a:Ba.a:ga:h.a.=M ;
a.C+ndù;a.a:d
Å U :na.a:g{a:Ba.a:ga:h.a:=e;Na Á
å
Zea:Sa:pa.=;~.pa.=;Ba:M ma: a.ta:gua:Na:ma:g{a.a:nta:=e ;a.[a:a:m,a ÁÁ
A: a.Da:k+a:g{a:.cCe+d:gua:NMa ;a.d
õ :.cCe+d.a:g{a:ma: a.Da:k+a:g{a:yua:ta:m,a ÁÁ
Below we give the translation of these verses by Datta and Singh fol-
lowing the interpretation of Bhāskara I [6]:
b) a (q
bq
r1 ) b (q1
r1 q1
r2 ) r1 (q2
r2 q2
.
.
.
r2n ) r2n−1 (q2n
r2n q2n
r2n+1
29) 45 (1
29
16) 29 (1
16
13) 16 (1
13
3) 13 (4
12
1
1 1 1 92
1 1 51 51
4 41 41
10 10
1
Now, 92 = 29 × 3 + 5. Therefore,
N = 49 × 5 + 7 = 29 × 8.
Hence,
x = 5, y = 8.
do with either posing the problem or solving it. The problem of finding
the integer solutions x, y to this equation was posed as a challenge to
the European mathematicians by Fermat in 1653, for specific values of
D = 61, 109, 149, etc. The English mathematicians Brouncker and
Wallis solved the equation. Fermat is credited with proving that the
equation has infinite number of solutions.
In fact, the quadratic indeterminate equations of the form
x2 − Dy 2 = K,
known as Varga-prakr.ti had been considered nearly thousand years ear-
lier by Brahmagupta in his Brāhmasphut. a-siddhānta (c.628). D, the
given non-square integer is called “prakr.ti”, K, a given integer, is called
Ks.epa and the integer solutions x and y are called Jyes..tha-mūla and
Kanis..tha-mūla respectively. The fact that the equation has infinite num-
ber of solutions is implied by Brahmagupta’s Bhāvanā Principle, to be
described below. The equation x2 − Dy 2 = 1, had been solved for all
D by Jayadeva (c.11th century or earlier) as cited by Udayadivākara
(c.11th century) in his commentary Sundarı̄ on Laghu-bhāskarı̄ya of
Bhāskara I [7]. Bhāskara II has also discussed this Cakravāla algorithm
in his Bı̄jagan.ita (c.1150) [8].
The motivation for solving such equations was probably to find rational
approximation for surds. From x2 − Dy 2 = 1, we find
√
D − x ≤ 1 ,
y 2xy
√
so that D ≈ xy , if x and y are large. For instance,
5772 − 2 × 4082 = 1,
so that
√ 577
2≈ .
408
√
It is noteworthy that this is the value of 2 given in Śulbasūtras. The
Cakravāla algorithm makes crucial use of the Bhāvanā Principle of Brah-
magupta which is summarised below.1
1
Further details regarding the Bhāvanā principle may be found in the contribution
166 M.S.Sriram
If
x21 − Dy12 = K1 and x22 − Dy22 = K2 ,
then
(x1 x2 ± Dy1 y2 )2 − D(x1 y2 ± x2 y1 )2 = K1 K2 .
So, if the solution of the Varga-prakr.ti for the Ks.epas K1 and K1 are
known, the solution for the ks.epa K1 K2 can be found immediately [9].
In particular,
x2 − Dy 2 = 1 ⇒ (x2 + Dy 2 )2 − D(2xy)2 = 1
:h
ò :~va.$yea:;pa:d:[ea:pa.a:n,a Ba.a.$ya:pra:[ea:pa:Ba.a.$a:k+a:n,a Á
x +.tya.ea:neaY:Ta:va.a:pMa Zea:Sa:k
gua:Na:va:geRa :pra:k M ya:Ta.a Á
gua:Na:l+a.b.DaH
/ :pa:dM :h x
ò :~vMa ta:ta.ea .$yea:;ma:Ta.eaY:sa:k+.t,a Á
..ca:tua:a.d
õR :[ea:pa:mUa:l;a:Bya.Ma .+pa:[ea:pa.a:TRa:Ba.a:va:na.a ÁÁ
x2 − Dy 2 = 1,
168 M.S.Sriram
x2i − Dyi2 = Ki ,
x2i − Dyi2 = Ki ,
i pi Ki xi yi
0 0 1 1 0
1 8 3 8 1
2 7 -4 39 5
3 9 -5 164 21
4 6 5 453 5
5 9 4 1523 195
6 7 -3 5639 722
7 8 -1 29718 3805
8 8 -3 469849 60158
9 7 4 2319527 296985
10 9 5 9747957 1248098
11 6 -5 26924344 3447309
12 9 -4 90520989 11590025
13 7 3 335159612 42912791
14 8 1 1766319049 226153980
Table 1
After the first step, we have
82 − 61 × 12 = 3.
170 M.S.Sriram
2 1 2 2
x = (39 + 2) 39 + 1 39 + 3 − 1 = 1766319049,
2
1
y = (39 × 5) 392 + 1 392 + 3 = 226153980.
2
nB
≈ 1.44.
nC
Thus, the Chakravāla algorithm is about 44% more efficient for large D.
Quadratic indeterminate equations in which ancient Indians did such
pioneering work is an active field of research even today and is at the
heart of computational mathematics [13].
Algorithms in Indian Mathematics 171
I pi Kj xi yi
→ 0 0 1 1 0
1 7 -12 7 1
→ 2 5 3 8 1
→ 3 7 -4 39 5
4 5 9 125 16
→ 5 4 -5 164 21
→ 6 6 5 453 58
7 4 -9 1070 137
→ 8 5 4 1523 195
9 7 -3 5639 722
10 5 12 24079 3083
→ 11 7 - 29718 3805
12 7 12 440131 56353
→ 13 5 -3 469849 60158
→ 14 7 4 2319527 296985
15 5 -9 7428430 951113
→ 16 4 5 9747967 1248098
→ 17 6 -5 26924344 3447309
18 4 9 63596645 8142716
→ 19 5 -4 90520989 11590025
→ 20 7 3 335159612 42912791
21 5 -12 1431159437 183241189
→ 22 7 1 1766319049 226153980
Table 2
In the above figure AP = R sin θ. This is the Indian jyā , where R the
radius or trijyā is normally chosen such that one minute of arc on the
circle corresponds to one unit of distance. Hence R is the number of
minutes in a radian, and its value is very close to 3438, which is the
value mentioned in the earlier texts. More exact values are mentioned
in later texts, especially those of the medieval Kerala school.
172 M.S.Sriram
θ
O P
Fig : 5
Normally a quadrant is divided into 24 equal parts, so that each arc bit
α = 90 0
24 = 3 45 = 225 . Then the procedure for finding R sin iα, i =
1, 2, . . . 24 is explicitly given. The R sines of the intermediate angles are
to be determined by interpolation.
Āryabhat.ı̄ya gives the explicit algorithm for constructing the sine-table
(verse 12, Gan.itapāda):
ta:tpra:Ta:ma.$ya.a:Da.a:ZEa:~tEa:~tEa.+na.a:
a.na Zea:Sa.a:a.Na ÁÁ
The values of the 24 Rsines are explicitly noted in another verse, and
the first Rsine is given by
R sin α ≈ 225
which obviously uses
sin α ≈ α,
when α is small. The exact recursion relation for the Rsine differences
is:
R sin(i + 1)α − R sin iα = R sin iα − R sin(i − 1)α − R sin iα 2(1 − cos α).
Now, 2(1 − cos α) = 0.0042822, which is approximated in Āryabhat.ı̄ya
to be
1 1
= = 0.00444444.
R sin α 225
The Āryabhat.ı̄ya ’s sine values are given in the Table 4. The same
procedure with the same values are to be found in many other works in-
cluding Sūryasiddhānta [14]. However the Rsine values given by Govin-
dasvāmi in his commentary on Mahābhāskarı̄ya of Bhāskara I which are
reproduced in Table 4 are more accurate (correct to five decimal places)
[15,16].
Far more accurate values for the sines were given by Mādhava of
Saṅgamagrāma (1340-1425), the father figure of the Kerala school of
astronomy and mathematics. These are cited in the two commen-
taries on Nīlakan.t.ha Somayāji’s Tantrasaṅgraha (c.1500)[17,18] namely
Laghuvivr.tti [17] and Yuktidı̄pikā [18], both composed by Śaṅkara
Vāriyar.
These results are based on the series expansion for sin θ, which we write
in the following form:
;a.va:d
õ .Ma:~tua:a:ba:l.H k+.va.a:Za:
a.na:.ca:yaH .sa:va.Ra:TRa:Za.a:l+a.~Ta.=H
////
ñÍ ñÍ ú
;
a.na:a.vRa.;d
Äâ .a:*:+na:=
çÅ e ;ndÒ:+.a.îåÅ
*:+ga:a.d:tea:Svea:Sua kÒ +.ma.a:t,a :pa.*.a:su
ãÁ a Á
These values along with the modern values for comparison are listed in
Table 3. The last column in this table was computed using R = 3437.747
and Rθ = 5400.
Term Mādhava’s
no. in Sanskrit equivalent value according Modern
RHS in kat.apayādi to Yuktidı̄pikā value
VI ;a.va:d
õ .a:n,a 0 0 44 0 0 44.54
IV k+.va.a:Za:
a.na:.ca:yaH 16 05 41 16 05 40.87
III .sa:va.Ra:TRa:Za.a:l+a.~Ta.=H
//// 273 57 47 273 57 47.11
II ;
a.na:a.vRa.;d
ñÍ
Äâ .a:*:+na:=
çÅ e ;ndÒ:+.k
, 2220 39 40 2220 39 40.10
Table 3
We find that the values given by Mādhava are indeed very accurate. For
an arbitrary arc Rθ (in minutes), the procedure is given in the later half
of the verse quoted above [18]:
R sin θ = Rθ − β 3 (2220 39 40 ) + β 5 (273 57 47 ) − β 7 (16 5 41 )
+β 9 (0 33 6 ) − β 11 (0 0 44 ),
Algorithms in Indian Mathematics 175
Rθ
where β = 5400 . The 24 Rsines corresponding to Rθ = 225 , 450 , 675 . . .
were also explicitly stated by Mādhava in the kat.apayādi notation and
they have been given in Laghuvivr.tti in the set of verses beginning with
(rea:M na.a:ma va:a=;:a:na.Ma ;a.h:ma.a:a.dÒ;veRa:d:Ba.a:va:naH and ending with ta:tpa.=:a:a.d:k+.l;a:nta.a:~tua
ma:h.a.$ya.a ma.a:Da:va.ea:a.d:ta.aH Á They coincide with the modern values up to “thirds”
R sin θ according to
θ in min. Āryabhat.ı̄ya Govindasvāmi Mādhava(also Modern)
225 225 224 50 23 224 50 22
450 449 448 42 53 448 42 58
675 671 670 40 11 670 40 16
900 890 889 45 08 889 45 15
1125 1105 1105 01 30 1105 01 39
1350 1315 1315 33 56 1315 34 7
1575 1520 1520 28 22 1520 28 35
1800 1719 1718 52 10 1718 52 24
2025 1910 1909 54 19 1909 54 35
2250 2093 2092 45 46 2092 46 03
2475 2267 2266 38 44 2266 39 50
2700 2431 2430 50 54 2430 51 15
2925 2585 2584 37 43 2584 38 06
3150 2728 2727 20 29 2727 20 52
3375 2859 2858 22 31 2858 22 55
3600 2978 2977 10 09 2977 10 34
3825 3084 3083 12 51 3083 13 17
4050 3177 3175 03 23 3176 03 50
4275 3256 3255 17 54 3255 18 22
4500 3321 3320 36 02 3320 36 30
4725 3372 3371 41 01 3371 41 29
4950 3409 3408 19 42 3408 20 11
5175 3431 3430 22 42 3430 23 11
5400 3438 3437 44 19 3437 44 48
Table 4
In Table 4, we compare the values of the Rsines in Āryabhat.ı̄ya , Govin-
dasvāmin’s commentary of Mahābhāskarı̄ya, and Mādhava’s values as
176 M.S.Sriram
It is well known that an infinite series for π was first given by the Ker-
ala mathematicians, who invariably ascribe the result to Mādhava of
Saṅgamagrāma (1340 - 1425 AD):
Circumf erence 1 1 1
= π = 4(1 − + − . . . ).
Diameter 3 5 7
ta:d
õ :ga.eRa .+pa:yua:ta.ea h.a.=:ea v.ya.a:sa.a:a.b.Da:Ga.a:ta:taH
/ :pra.a:gva:t,a Á
the results are subtracted and added in order (to the earlier
stored result).
Take half of the succeeding even number as the multiplier
(gun.a term) at whichever (odd) number the division process
is stopped, because of boredom (by the slow converging pro-
cess). The square of that (even number) added to unity is
the divisor. The ratio has to be multiplied by the product
of the diameter and four as (stated) earlier.
The result obtained has to be added if the earlier term (in
the series) has been subtracted and subtracted if the earlier
term has been added. The resulting circumference is very
accurate; in fact more accurate than the one which may be
obtained by continuing the division process (with a large
number of terms in the series).
Essentially,
p+1
π 1 1 1 1 2
=1− + − ± ∓ ,
4 3 5 7 p (p + 1)2 + 1
to a fairly good approximation.
Describing different ways by which better approximations can be ob-
tained, finally Śaṅkara Vāriyar states a more accurate correction term
[22]:
π 1 1 1 1 1
= 1 − + − ... − + .
4 3 5 7 p − 2 S1
On the other hand, if the series is truncated at p with a correction term
l
S2 , we will have
π 1 1 1 1 1 1
= 1 − + − ... − + − .
4 3 5 7 p − 2 p S2
If the correction terms are exact, then both should yield the same result.
That is,
1 1 1 1 1 1
= − or + = .
S1 p S2 S1 S2 p
S1 = S2 = 2p actually satisfies the equality. However both the correc-
tions should follow the same rule. If S1 = 2p − 2 and S2 = 2p + 2, that
is S is twice the even number above the last odd number in the series,
then the Sthaulya or inaccuracy is
1 1 1 1 1 1 4
∆= + − = + − = 3 ,
S1 S2 p 2p − 2 2p + 2 p 4p − 4p
and it can be shown that the error (corresponding to this choice of S)
is minimum. For other choices such as S1 = 2p − 3 and S2 = 2p + 1,
the inaccuracy ∆ will have a term proportional to p in the numerator,
whereas the denominator ≈ 4p3 . So the inaccuracy ∆ will be much
larger than its value for S1 = 2p − 2, when p is large. By choosing S2 (p)
of the form,
1
S2 (p) = A
,
2p + 2 + 2p+2
Algorithms in Indian Mathematics 179
Acknowledgement
I thank M.D.Srinivas, Centre for Policy Studies, Chennai, and K.Rama-
subramanian, IIT Bombay, for many useful discussions on this topic.
References
23. Jolly John, ‘Derivation of the sam. skāras applied to the Mādhava
series in Yuktibhās.ā ’, in 500 years of Tantrasaṅgraha : A
Landmark in the History of Astronomy, Ed. by M.S.Sriram,
K.Ramasubramanian and M.D.Srinivas, Indian Institute of
Advanced Study, Shimla, 2002.
Algorithms in Indian Astronomy
K.Ramasubramanian
Cell for Indian Science and Technology in Sanskrit
Department of HSS, IIT Bombay
Powai, Mumbai 400 076, India
kramas@iitb.ac.in
Abstract
1 Introduction
183
184 K.Ramasubramanian
Gradually the form and meaning of “algorism” got distorted; The change
from “algorism” to “algorithm” is any body’s guess. The remarks by
the well-known historian C.B.Boyer in this context are also noteworthy
[2].
ga:ta:Ba.ea:gya:Ka:Nq+k+a:nta.=;d:l+a.va:k+.l+Ga.a:ta:Za:tEa:nRa:va:a.Ba.=:a:a:ya.a Á
where the variable x denotes the angle and xi s are multiples of 900 .
The term Bhogya refers to the present interval between xn and xn+1 .
The term khand.aka refers to the I order tabular differences in the sine
values and we denote it by ∆n .
βα (∆n + ∆n+1 ) (∆n − ∆n+1 )
f (xn + βα) = f (xn ) + −β , (3)
α 2 2
The technique of making a fairly good estimate of the time from the
shadow of an object cast by the Sun has been in vogue from time im-
memorial. Different cultures and traditions across the world have de-
vised simple instruments for this purpose. In the Indian astronomical
tradition the instrument used is called śaṅku .
Algorithms in Indian Astronomy 187
E
X
Sanku
z
O
Y W
δ
λ
Celestial
Equator ε
N
Γ
Ecliptic (Vernal equinox)
È ñÍ
îå Á
v.ya.a:sa.a:DRa*+.a:t, a ta:taH Za:*:;e
öÐÅ aH l+}ba:k+a:Ma ;aa.$a.a:va:ya.a ÁÁ
in the first line of the quotation is used to denote R cos z.3 Carajyā is
R sin ∆α. With this, the the first two lines of the verse translate to the
relation
R cos z
R sin θ = ± R sin ∆α (7)
cos φ cos δ
In the latter half of the quotation given above it is mentioned that to
the arc of the above (θ), the ascensional difference, which is the angular
separation between the vernal equinox and the celestial object measured
along the celestial equator (see Fig.3), has to be applied in the reverse
order to obtain the required time t. That is,
t = θ ∓ ∆α. (8)
The above result can be easily understood using the tools of spherical
trigonometry.4 For this, consider Fig.3 where S is the Sun on its diurnal
path whose zenith distance is z, corresponding to the arc ZS. The
point where the sun sets in the western part of the horizon is denoted
by St . The segment P W is a part of the 6 0 clock circle, and the angle
Z P̂ W = 90o . Applying four-part formula to the triangle P W St , it can
be shown that, the ascensional difference ∆α is given by the relation
(well known in Indian Astronomy)
3
Generally R cos z, which is the perpedicular distance of the sun from the horizon,
is called mahāśaṅku in order to distinguish it from the gnomon (dvādaśāṅgulaśaṅku)
used for shadow measurement. But sometimes mahāśaṅku would be simply referred
as śaṅku , as in the above verse, and what it refers to would be clear from the context.
4
Detailed demonstrations of the algorithms enunciated in Indian astronomical
and mathematical texts are given in the famous Malayalam work Gan.ita-Yuktibhās. ā
(c.1530 AD) of Jyes.t.hadeva [Ref.6, Vol.I & II].
190 K.Ramasubramanian
φ
90 − Z
dirunal path
P 90−θ of the sun
θ A
90−δ
C
∆α S
r )
to
q ua vrtta
E ika
L t M
Horizo
n ha
W (G
St
B 6’
O
(T clo
iry ck
D ak cir
vr cle
tta
)
Q
or,
cos z
sin θ = − tan φ tan δ
cos φ cos δ
cos z
= − sin ∆α.
cos φ cos δ
Hence, the time, t that is yet to elapse before sunset in angular measure
is
−1 cosz
t = θ + ∆α = sin − sin ∆α + ∆α, (11)
cos φ cos δ
which is the same as Eq.(9) given by Nīlakan.t.ha .
Algorithms in Indian Astronomy 191
The method to determine the time elapsed after sunrise is exactly sim-
ilar. It is worth mentioning in this context that, in finding z, the cor-
rection due to the finite size of the Sun and its parallax have also been
taken into account by Nīlakan.t.ha [11]. If z were the apparent zenith
distance, then the true zenith distance z is given by
z = z + ∆θ with ∆θ = ds − p,
Lagna refers to the orient ecliptic point, that is, the point of the eclip-
tic which intersects with the eastern horizon at any desired instant.
Nīlakan.t.ha while discussing the procedure for finding lagna, in his
Tantrasaṅgraha first presents the conventional method, which could be
found in many of the earlier texts on Indian astronomy. Later, pointing
out that this procedure would give only approximate results, he proceeds
to give an exact algorithm for finding the lagna .
ãÉa Zea:Sa:taH
o;a.=:ea.a.=:=:a:Za.a:na.Ma :pra.a:Na.aH Za.ea:Dya.a:( Á
ãÉa ta.a:va:taH
:pUa.=;
a.ya:tva.a .=;va.Ea .=:a:a.ZMa ;a.[a:pea:dÒ:a:Za.Ma:( ÁÁ
;a.va:Zua.;d
Äâ .a ya.a:va:ta.Ma :pra.a:Na.aH , Zea:Sa.a:a.~:M
/a:Za:
ç Åu ;Na.a:t,a :pua:naH Á
From the longitude of the Sun corrected for ayana, the num-
ber of minutes to be elapsed in that rāśi (are calculated).
This is multiplied by the duration of rising of that rāśi and
is divided by the number of minutes in a rāśi . This gives
that prān.as for the remaining rāśi to rise and that has to be
subtracted from the duration elapsed (since the sunrise).
From the remainder (h ), the durations of rising of the rāśis
that follow have to be subtracted. Having added the degrees
remaining in that rāśi to the Sun, the other rāśis (degrees
corresponding to rāśis ), as many number of them, whose
rising times were subtracted are also added. The remaining
prān.as (r) are multiplied by 30 and divided by the duration
of rising of that rāśi . The result obtained is once again
added to the Sun.
The remainder when multiplied by 60 gives the result in min-
utes. Thus, prāglagna , the orient ecliptic point should be
obtained. The astalagna , setting ecliptic point is obtained
by adding six signs to that.
To know the longitude of the ecliptic points from the mes.adi,
the ayana correction has to be applied reversely.
The procedure described here may be understood with the help of Fig.4.
Here S represents the Sun in the eastern part of the hemisphere, Γ the
vernal equinox. R1 , R2 etc., are the ending points of the first rāśi (sign),
second rāśi and so on. h refers to the time elapsed after the sunrise and
H the hour angle of the the Sun.
Algorithms in Indian Astronomy 193
H P (pole)
tR
1
Γ
h
S R1
Eq
uat
R2 N
S
or
Horizo
n
Ecl
E ipti
c
Let λs be the sāyana longitude5 of the Sun. Suppose the Sun is in the ith
rāśi (in the Fig.4, it is shown to be in the first rāśi ), whose rising time
at the observer’s location is given by Ti . If θRi be the angle remaining to
be covered by the Sun in that rāśi (in minutes), then the time required
for that segment of the rāśi to come above the horizon is given by
θRi × Ti
tRi = , (13)
30 × 60
where Ti is in ghat.ikas . A factor of 60 in the denominator indicates
that the result tRi is expressed in prān.as.6 Subtracting this time tRi
from the time elapsed since sunrise h, we have
h = h − tRi .
From h the time required for the subsequent rāśis to rise, Ti+1 , Ti+2 ,
etc., are subtracted till the remainder r remains positive. That is,
r = h − Ti+1 − Ti+2 . . . − Ti+j−1 (r + ve)
5
This refers to the longitude measured from the vernal equinox. Here, it may be
noted that in Indian astronomy, nirayan.a longitudes are more commonly used. They
refer to the longitude measured from a fixed point, which is generally taken to be the
beginning point of star called Aśvini. It is also referred to as mes.ādi as in the last
line of the Sanskrit quotation given above.
6
Ghat.ikā is a measure which is close to 24 minutes and prān.a ≈ 4 seconds.
194 K.Ramasubramanian
r × 30
θEi+j = (in deg.). (14)
Ti+j
because the horizon divides the ecliptic exactly into two parts. The
lagnas obtained by the above procedure are sāyana lagnas. To obtain
the nirayan.a ones, one needs to subtract the ayanām
. śa.
After describing the above method, Nīlakan.t.ha remarks that it is only
approximate [14]:
O;:k+.a.sma:a:
/////// Ò +.ma.a:t,a k+a:l;ea ;a.h ;a.Ba:dù;a:te
a.pa .=:a:Za.Ea tua k Å a ÁÁ
çÉ
O;:va:ma.a:na.a:ta:l+îå
+;a:~ya .~TUa:l+tEa:va na .sUa:[ma:ta.a ÁÁ
.sa.a:ya:na:k x +.ta.aH
R +.Bua.$a.a:pra.a:Na.aH :pra.a:gva:t,a .~va:.ca.=;sMa:~k Á
The time difference between the sunrise and the rising of the vernal
equinox Γ is α − ∆α (see Fig.5), where α is the right ascension of the
Sun and ∆α the ascensional difference. When this is added to the time
elapsed after sunrise, we obtain the kālalagna at the desired instant,
which we denote by L .
P
Di le
α
cir
urn
Ec
∆α
c
lip
al
tic
Horizo
n
X
Γ, Ε
Eq S
ua
tor
Now, vitribhalagna is the point on the ecliptic which is 90◦ away from
the lagna. Consider Fig.6, where S is the Sun, Γ is the vernal equinox
and L is the orient ecliptic point, whose longitude is the lagna. V is
the vitribhalagna and K is the pole of the ecliptic. Dr.ks.epa is sine of
196 K.Ramasubramanian
ZK = KV − ZV = 90 − ZV,
Z (zenith)
K
H P (pole)
S Γ
Ecl
ipti
Eq
S c N
ua
Horizo
tor
n
L
E
çÉ È
k+a:l+l+îå îå Á
+;a.ea:tTa:k+ea: a.f*+H k+=:a:Ta.Ra:b.Dyua.=;gEa:&R+taH Á
îå +a:d
ma:Dya.a: õ .a na:ta:pra.a:Na.aH ;
a.na:Za.a:Ta.a:d
õ .ea:a:ta.a:sa:vaH Á
O;:ta:d
â õâ .a:Na.ea:
a.na:ta.a ;aa.$ya.a ..ca.=:$ya.a:Q.a.a na:ta.a ya:a.d ÁÁ
Both in the modern as well as ancient Indian astronomy, the true po-
sition of the planet7 is obtained from the mean position by applying
a correction to it. The correction term is known as mandaphala , in
Indian astronomy, while it is known as ‘equation of centre’ in modern
astronomy.
In Fig.7, A represents the direction of the mandocca (apside) and its
longitude ΓÔA = ,. P0 is the mean planet whose longitude called
7
Though the treatment is general, in this section planet refers to either the Sun
or the Moon.
Algorithms in Indian Astronomy 199
A (direction of mandocca)
P (planet)
Q
θ0 − ϖ
P0
θ0 θ MS
ϖ Γ
O
θM S = θ0 + ∆θ. (22)
It may be noted that the calculation of true position of the planet in-
volves sine inverse function ( Eq.(22)). Hence, if one needs to find the
instantaneous velocity of the planet called tātkālikagati, one would have
to find the time derivative of this function. It is indeed remarkable that
an exact formula for the derivative of sine inverse function is given in
Tantrasaṅgraha as follows [18]:
x +. a.ta:pa:de:na .sMa:h:=e;t,a
..ca:ndÒ;ba.a:hu:P+l+va:gRa:Za.ea: a.Da:ta:aa.$ya:k+a:k Á
õ :Za.ea:Dya mxa:ga.a:a.d:k
ta:a.d e ga:teaH ;a.[a:pya:ta.a:a.ma:h tua k+.kR +.f.a:a.d:ke Á
å
ta:;
ÂåÅ ;vea:t~.Pu +f:ta.=:a ga: a.ta:a.vRa:Da.eaH A:~ya ta:tsa:ma:ya.$a.a .=;vea.=;a.pa Á Á 54 ÁÁ
This verse appears in the context of finding the true rate of motion of
the Moon (instantaneous velocity) from its average rate of motion (mean
velocity). The term gati refers to the rate of change of the longitude of
the planet.
Recalling the expression for the true longitude of the planet, Eq.(22),
the rate of change of it is
d d d
θM S = θ0 − ∆θ. (24)
dt dt dt
Here, the first term in the RHS represents the mean velocity of the planet
and the second term the change in the mandaphala given by Eq.(23).
In the following section dealing with the computation of the duration of
an eclipse, the daily motion of the Moon denoted by dm is nothing but
the derivative of mandasphut. a given by Eq.(23),(24).
T = T1 + T2 ,
The time interval between the Moon entering the umbral portion of the
shadow and the instant of opposition is the first half duration, T1 , and
that between the instant of opposition and the exit of Moon out of the
umbral region is the second half duration T2 . Naively, one may think
202 K.Ramasubramanian
that these two durations would be equal. However, this is not true
because of the continuous change in the velocities of both the Sun and
the Moon.
√
OA OX 2 − AX 2 S2 − β2
T1 = = = (25)
Dif f. in daily motion dm − ds dm − ds
t
orbi
n’s
Moo
(a)
M .
X
O . Ecliptic
A
rbit
n ’s o
(b) Moo
M
O Y .
B
. Ecliptic
Figure 8: (a) The Earth’s shadow and the Moon just before the begin-
ning of the eclipse and just after the release. (b) The Earth’s shadow
and the Moon just after the beginning of total eclipse and just before
its release.
the Moon. If λm and λs are the longitudes of the Sun and the Moon,
this difference in their daily motion called gatyantara or bhuktyantara is
given by
d
gatyantara = D(t) = (λm − λs).
dt
Initially, β and D(t) are calculated at the instant of opposition. If
Moon’s latitude and the rate of motion of the Sun and the Moon were
to be constant, then Eq.(25) would at once give the correct half dura-
tion of the eclipse and there would be no need for an iterative procedure.
However, they are continuously varying quantities. Hence, determining
T1 , using the latitude and gatyantara computed at the instant of opposi-
tion is only approximate and to get more accurate values aviśes.akarma,
a special kind of iterative procedure, is prescribed.
å
[ea:pa.ea ;a.Ba:a.ea Ba:vea:t,a .~.pa:ZRa:ma:Dya:ma.ea:[ea:Sua Za.a:ta:ga.eaH ÁÁ
;a.~Ta:tya:D
//// a ;a.d
õ :ta:yMa ;a.Ba:Ma [ea:pea ;a.Ba:ea Ba:vea:t,a ta:taH Á
S 2 (tm ) − β 2 (tm )
∆t0 =
D(tm )
To get the first approximation, the sum of the semi diameters S, the
latitude of the Moon β and the difference in daily motion D are then
determined at tm − ∆t0 . With them the first approximation to the half
duration is obtained. It is given by
S 2 (tm − ∆t0 ) − β 2 (tm − ∆t0 )
∆t1 =
D(tm − ∆t0 )
To get the second approximation, S, β and D are determined at tm −∆t1 .
With these values the second approximation to the half duration is
S 2 (tm − ∆t1 ) − β 2 (tm − ∆t1 )
∆t2 =
D(tm − ∆t1 )
Algorithms in Indian Astronomy 205
S 2 (tm − ∆t2 ) − β 2 (tm − ∆t2 )
∆t3 =
D(tm − ∆t2 )
S 2 (tm + ∆ti−1 ) − β 2 (tm + ∆ti−1 )
∆ti =
D(tm + ∆ti−1 )
At this stage, the second half duration of the eclipse and the moks.akāla
are given by
T2 = ∆tr
te = tm + ∆tr (29)
7 Concluding Remarks
Acknowledgement
The author would like to express gratitude to Prof. M.D.Srinivas of
Centre for Policy Studies and Prof. M.S.Sriram of University of Madras
for many useful suggestions and discussions on this topic.
References:
obtaining the sine and cosine values for any desired angle, yield
results correct up to 7 decimal places. This is indeed a remarkable
result which may be considered far ahead of his times. (ii) For
more details and mathematical exposition of the above the reader
may refer to the article by M.S. Sriram published in the present
volume.
M.D.Srinivas
Centre for Policy Studies
27, Rajasekharan Street
Mylapore, Chennai - 600 004, India.
policy@vsnl.com
Abstract
209
210 M.D.Srinivas
Such views have found their way generally into more popular works
on history of mathematics. For instance, we may cite the following as
being typical of the kind of opinions commonly expressed about Indian
mathematics:
Another notice of the fact that detailed proofs are provided in the Indian
texts on mathematics is due to C.M.Whish who, in an article published
in 1835, pointed out that infinite series for π and for trigonometric func-
tions were derived in texts of Indian mathematics much before their
‘discovery’ in Europe. Whish concluded his paper with a sample proof
rigorous proofs for most of the results and processes that they discovered, it must be
admitted that the particular example that Prof. Weil is referring to, the effective-
ness of the cakravāla algorithm (known to the Indian mathematicians at least from
the time of Jayadeva, prior to the eleventh century) for solving quadratic indetermi-
nate equations of the form x2 − N y 2 = 1, does not seem to have been demonstrated
in the available source-works. In fact, the first proof of this result was given by
Krishnaswamy Ayyangar barely seventy-five years ago (A.A.Krishnaswamy Ayyan-
gar, “New Light on Bhāskara’s Cakravāla or Cyclic Method of solving Indeterminate
Equations of the Second Degree in Two Variables’, Jour. Ind. Math. Soc. 18, 228-
248, 1929-30). Krishnaswamy Ayyangar also showed that the cakravāla algorithm is
different and more optimal than the Brouncker-Wallis-Euler-Lagrange algorithm for
solving this so-called “Pell’s Equation.”
5
H.T. Colebrooke, Algebra with Arithmetic and Mensuration from the Sanskrit of
Brahmagupta and Bhāskara, London 1817, p.xvii. Colebrooke also presents some of
the upapatti-s given by the commentators Gan.eśa Daivajña and Kr.s.n.a Daivajña, as
footnotes in his work.
214 M.D.Srinivas
A major reason for our lack of comprehension, not merely of the Indian
notion of proof, but also of the entire methodology of Indian mathemat-
ics, is the scant attention paid to the source-works so far. It is said that
there are over one hundred thousand manuscripts on Jyotih.śāstra, which
includes, apart from works on gan.ita (mathematics and mathematical
astronomy), also those on sam 7
. hitā (omens) and hora (astrology). Only
a small fraction of these texts have been published. A well known source
book, lists about 285 published works in mathematics and mathematical
astronomy. Of these, about 50 are from the period before 12th century
AD, about 75 from 12th − 15th centuries, and about 165 from 16th − 19th
6
C.M. Whish, ‘On the Hindu Quadrature of the Circle, and the Infinite Se-
ries of the Proportion of the Circumference to the Diameter Exhibited in the Four
Shastras, the Tantrasangraham, Yucti Bhasa, Carana Paddhati and Sadratnamala’,
Trans.Roy.As.Soc.(G.B.) 3, 509-523, 1835. However, Whish does not seem to have
published any further paper on this subject.
7
D. Pingree, Jyotih.śāstra: Astral and Mathematical Literature, Wiesbaden 1981,
p.118.
Proofs in Indian Mathematics 215
centuries.8
Much of the methodological discussion is usually contained in the de-
tailed commentaries; the original works rarely touch upon such issues.
Modern scholarship has concentrated on translating and analysing the
original works alone, without paying much heed to the commentaries.
Traditionally, the commentaries have played at least as great a role in
the exposition of the subject as the original texts. Great mathemati-
cians and astronomers, of the stature of Bhāskarācārya I, Bhāskarācārya
II, Parameśvara, Nīlakan.t.ha Somasutvan, Gan.eśa Daivajña, Munīśvara
and Kamalākara, who wrote major original treatises of their own, also
took great pains to write erudite commentaries on their own works and
on the works of earlier scholars. It is in these commentaries that one
finds detailed upapatti-s of the results and procedures discussed in the
original texts, as also a discussion of the various methodological and
philosophical issues. For instance, at the beginning of his commentary
Buddhivilāsinı̄, Gan.eśa Daivajña states:
å
(ra.a:Ba.a:~k+=:ea:+.va:.ca:sa.a:ma:a.pa .sMa:~.Pu +f.a:na.Ma
v.ya.a:K.ya.a:a.va:Zea:Sa:k+.Ta:nea:na na ..ca.a:a.~ta
/// ;
a..ca.a:m,a Á
14
Ignoring all these classical works on upapatti-s, one scholar has recently claimed
that the tradition of upapatti in India “dates from the 16th and 17th centuries”
(J.Bronkhorst, ‘Pān.ini and Euclid’, Jour. Ind. Phil. 29, 43-80, 2001).
15
We may, however, mention the following works of C.T.Rajagopal and his col-
laborators which discuss some of the upapatti-s presented in the Malayalam work
Yuktibhās.ā of Jyes.t.hadeva (c.1530) for various results in geometry, trigonometry and
those concerning infinite series for π and the trigonometric functions: K. Mukunda
Marar, ‘Proof of Gregory’s Series’, Teacher’s Magazine 15, 28-34, 1940; K. Mukunda
Marar and C.T.Rajagopal, ‘On the Hindu Quadrature of the Circle’, J.B.B.R.A.S.
20, 65-82, 1944; K. Mukunda Marar and C.T.Rajagopal, ‘Gregory’s Series in the
Mathematical Literature of Kerala’, Math Student 13, 92-98, 1945; A. Venkatara-
man, ‘Some Interesting Proofs from Yuktibhās.ā ’, Math Student 16, 1-7, 1948;
C.T.Rajagopal ‘A Neglected Chapter of Hindu Mathematics’, Scr. Math. 15, 201-
209, 1949; C.T.Rajgopal and A. Venkataraman, ‘The Sine and Cosine Power Series
in Hindu Mathematics’, J.R.A.S.B. 15, 1-13, 1949; C.T. Rajagopal and T.V.V.Aiyar,
‘On the Hindu Proof of Gregory’s Series’, Scr. Math. 17, 65-74, 1951; C.T.Rajagopal
and T.V.V.Aiyar, ‘A Hindu Approximation to Pi’, Scr.Math. 18, 25-30, 1952.
C.T.Rajagopal and M.S.Rangachari, ‘On an Untapped Source of Medieval Keralese
Mathematics’, Arch. for Hist. of Ex. Sc. 18, 89-101, 1978; C.T.Rajagopal and
M.S.Rangachari, ‘On Medieval Kerala Mathematics’, Arch. for Hist. of Ex. Sc.
35(2), 91-99, 1986.
Following the work of Rajagopal and his collaborators, there are some recent studies
which discuss some of the proofs in Yuktibhās.ā . We may here cite the following:
T.Hayashi, T.Kusuba and M.Yano, ‘The Correction of the Mādhava Series for the
Circumference of a Circle’, Centauras, 33, 149-174, 1990; Ranjan Roy, ‘The Discovery
of the Series formula for π by Leibniz, Gregory and Nīlakan.t.ha’, Math. Mag. 63,
291-306, 1990; V.J.Katz, ‘Ideas of Calculus in Islam and India’, Math. Mag. 68,
163-174, 1995; C.K.Raju, ‘Computers, Mathematics Education, and the Alternative
Epistemology of the Calculus in the Yuktibhās.ā ’, Phil. East and West 51, 325-
362, 2001; D.F.Almeida, J.K.John and A.Zadorozhnyy, ‘Keralese Mathematics: Its
Possible Transmission to Europe and the Consequential Educational Implications’,
218 M.D.Srinivas
J. Nat. Geo. 20, 77-104, 2001; D.Bressoud, ‘Was Calculus Invented in India?’,
College Math. J. 33, 2-13, 2002; J.K.John, ‘Derivation of the Sam . skāras applied
to the Mādhava Series in Yuktibhās.ā ’, in M.S.Sriram, K.Ramasubramanian and
M.D.Srinivas (eds.), 500 Years of Tantrasaṅgraha : A Landmark in the History of
Astronomy, Shimla 2002, p 169-182. An outline of the proofs given in Yuktibhās.ā can
also be found in T.A. Saraswati Amma, 1979, cited earlier, and in S.Parameswaran,
The Golden Age of Indian Mathematics, Kochi 1998.
Proofs in Indian Mathematics 219
Gan.eśa provides two upapatti-s for the rule concerning the square of the
hypotenuse (karn.a) of a right-angled triangle.17 These upapatti-s are
the same as the ones outlined by Bhāskarācārya II in his Bı̄javāsanā on
his own Bı̄jagan.ita, that we referred to earlier. The first involves the
avyakta method and proceeds as follows:
16
Bı̄japallava of Kr.s.n.a Daivajña, T.V. Radhakrishna Sastri (ed.), Tanjore, 1958,
p.54.
17
Buddhivilāsinı̄, cited earlier, p.128-129.
220 M.D.Srinivas
18
This method seems to be known to Bhāskarācārya I (c.629 AD) who gives a
very similar diagram in his Āryabhat.ı̄yabhās.ya, K.S. Shukla (ed.), Delhi 1976, p.48.
The Chinese mathematician Liu Hui (c 3rd century AD) seems to have proposed
similar geometrical proofs of this so-called Pythagoras Theorem. See for instance,
D.B.Wagner, ‘A Proof of the Pythagorean Theorem by Liu Hui’, Hist. Math.12,
71-3, 1985.
Proofs in Indian Mathematics 221
(ax + c)
= y,
b
Kr.s.n.a Daivajña first shows that the solutions for x, y do not vary if we
factor all the three numbers a, b, c by the same common factor. He then
shows that if a and b have a common factor, then the above equation
will not have a solution unless c is also divisible by the same common
factor. Then follows the upapatti of the process of finding the greatest
common factor of a and b by mutual division, the so-called Euclidean al-
gorithm. He then provides an upapatti for the kut..taka method of finding
the solution which involves carrying out a sequence of transformations
on the vallı̄ (line or column) of quotients obtained in the above mutual
division. This is based on a detailed analysis of the various operations
in reverse (vyasta-vidhi). The last two elements of the vallı̄, at each
stage, are shown to be the solutions of the kut..taka problem involving
the successive pair of remainders (taken in reverse order from the end)
which arise in the mutual division of a and b. Finally, it is shown how
the procedure differs depending upon whether there are odd or even
number of coefficients generated in the above mutual division.
where the left hand side is an infinite geometric series with the succes-
sive terms being obtained by dividing by a cheda (common divisor), r,
assumed to be greater than 1. Nīlakan.t.ha notes that this result is best
22
Āryabhat.ı̄yabhās.ya of Nīlakan.t.ha, Gan.itapāda, K.Sambasiva Sastri (ed.), Trivan-
drum 1931, p.142-143.
224 M.D.Srinivas
states that his work closely follows the renowned astronomical work
Tantrasaṅgraha (c.1500) of Nīlakan.t.ha Somasutvan and is intended to
give a detailed exposition of all the mathematics required thereof. The
first half of Yuktibhās.ā deals with various mathematical topics in seven
chapters and the second half deals with all aspects of mathematical as-
tronomy in eight chapters. The mathematical part includes a detailed
exposition of proofs for the infinite series and fast converging approx-
imations for π and the trigonometric functions, which were discovered
by Mādhava (c.1375). We present an outline of some of these proofs in
Appendix B.
While the above statement of Proclus is from the Platonist school, the
Aristotelean tradition also held more or less similar views on the nature
of mathematical knowledge, as may be seen from the following extract
from the canonical text on Mathematical Astronomy, the Almagest of
Claudius Ptolemy (c.2nd century AD):
From all this we concluded: that the first two divisions of the-
oretical philosophy should rather be called guesswork than
knowledge, theology because of its completely invisible and
ungraspable nature, physics because of the unstable and un-
clear nature of matter; hence there is no hope that philoso-
phers will ever be agreed about them; and that only math-
ematics can provide sure and unshakeable knowledge to its
devotees, provided one approaches it rigorously. For its kind
of proof proceeds by indisputable methods, namely arith-
metic and geometry. Hence we are drawn to the investigation
of that part of theoretical philosophy, as far as we were able
to the whole of it, but especially to the theory concerning
228 M.D.Srinivas
The view, that it is mathematics which can provide “sure and unshake-
able knowledge to its devotees” has persisted in the Greco-European
tradition down to the modern times. For instance, we may cite the
popular mathematician philosopher of our times, Bertrand Russel, who
declares, “I wanted certainty in the kind of way in which people want
religious faith. I thought that certainty is more likely to be found in
mathematics than elsewhere”. In a similar vein, David Hilbert, one of
the foremost mathematicians of our times declared, “The goal of my
theory is to establish once and for all the certitude of mathematical
methods”.26
x :Zya:tea
ga.ea:le .sa.a ;a.va:ma:l;a k+=:a:ma:l+k+.va:t,a :pra:tya:[a:ta.ea d
;
a.na:Bra.Ra:nta.ea va.a +tea ta.Ma .sua:ga:Na:k+.sa:d:a.sa :pra.Ea:Q;ta.Ma .nEa: a.ta ..ca.a:ya:m,a Á
Äâ :vxa.;d
ta:sma.a:d:g{ya.ea:pa:pa:aMa ;
a.na:ga:a.d:tua:ma:
a.Ka:l+m,a o+tsa:he bua:
a;d Äù;aEÅ ÁÁ
29
Apart from the problems inherent in the goals set for mathematics,
there are also other serious inadequacies in the Western epistemology
and philosophy of mathematics. The ideal view of mathematics as a
formal deductive system gives rise to serious distortions. Some scholars
have argued that this view of mathematics has rendered philosophy of
mathematics barren and incapable of providing any understanding of
the actual history of mathematics, the logic of mathematical discovery
and, in fact, the whole of creative mathematical activity.36
There is also the inevitable chasm between the ideal notion of infalli-
ble mathematical proof and the actual proofs that one encounters in
standard mathematical practice, as portrayed in a recent book:
Apart from the fact that the modern Western epistemology of mathe-
matics fails to give an adequate account of the history of mathematics
36
I.Lakatos, Proofs and Refutations: The Logic of Mathematical Discovery, Cam-
bridge 1976.
37
Philip J.Davis and Reuben Hersh, The Mathematical Experience, Boston, 1981,
p.354-5.
236 M.D.Srinivas
It is of course true that the Greek ideal has gotten reinstated at the heart
of mathematics during the last two centuries, but it seems that most of
the foundational problems of mathematics can also be perhaps traced
to the same development. In this context, study of alternative episte-
mologies such as that developed in the Indian tradition of mathematics,
could prove to be of great significance for the future of mathematics.
38
C.H.Edwards, History of Calculus, New York 1979, p.79.
Proofs in Indian Mathematics 237
Appendices
16. T
. ı̄kā of Mallāri (c.1550) on Grahalāghava of Gan.eśa Daivajña
(c.1520), Balachandra (ed.), Varanasi 1865; Kedaradatta Joshi
(ed.), Varanasi 1981.
parts. The more the number of divisions the better is the approximation
to the circumference.
0000
1111
0000
1111
0000
1111
0000
1111
di
0000
1111
11111
00000
00000
11111
00000
11111
00000
11111
b i
k i+1
k
i
R
When n becomes very large, this leads to the series given in the rule of
Mādhava vyāse vāridhinihate . . . 43
C π 1 1
= = 1 − + − ...
4D 4 3 5
In the above derivation, the following estimate was employed for the
samaghāta-saṅkalita of order k, for large n :
nk+1
Sn(k) = 1k + 2k + 3k + . . . + nk ≈
(k + 1)
This is proved first for the case of mūla-saṅkalita
Sn(1) = 1 + 2 + 3 + . . . + n
= [n − (n − 1)] + [n − (n − 2)] + · · · + n
(1)
= n2 − Sn−1
Hence for large n,
n2
Sn(1) ≈
2
Then, for the varga-saṅkalita and the ghana-saṅkalita, the following es-
timates are proved for large n:
n3
Sn(2) = 12 + 22 + 32 + . . . + n2 ≈
3
n4
Sn(3) = 13 + 23 + 33 + . . . + n3 ≈
4
43
This result is attributed to Mādhava by Śaṅkara Vāriyar in Kriyākramakarı̄, cited
earlier, p.379; see also Yuktidı̄pikā , cited earlier, p.101.
Proofs in Indian Mathematics 243
It is observed that the right hand side of the above equation is a re-
peated sum of the lower order (k − 1) saṅkalita. Now if we have already
(k−1) k
estimated this lower order saṅkalita, Sn ≈ nk , then
Vn(1) = Sn(1) = 1 + 2 + . . . + (n − 1) + n
(r−1) (r−1)
Vn(r) = V1 + V2 + . . . + Vn(r−1)
sin θ
It is noted that | cos θ | ≤ 1, is a necessary condition for the terms in the
above series to progressively lead to the result. Using the above, for
θ = π6 , the following series is obtained:
√
1 1 1
C= 12D2 1 − + 2 − 3 + ... .
(3.3) (3 .5) (3 .7)
Let us set
C 1 1 1 1
= 1 − + − . . . + (−1)n−1 + (−1)n .
4D 3 5 (2n − 1) an
1 1 1
+ = .
an an+1 2n + 1
π 1 1 1 1
≈ 1− + − . . . + (−1)n−1 + (−1)n ,
4 3 5 (2n − 1) 4n
π 1 1 1 1
≈ 1 − + − . . . + (−1)n−1 + (−1)n ,
4 3 5 (2n − 1) 4
4n +
4n
1 1 n−1 1 n n
= 1 − + − . . . + (−1) + (−1) .
3 5 (2n − 1) (4n2 + 1)
45
These are attributed to Mādhava in Kriyākramakarı̄, cited earlier, p.279; also
cited in Yuktidı̄pikā , cited earlier, p.101.
46
Kriyākramakarı̄, cited earlier, p.390; Yuktidı̄pikā , cited earlier, p.103.
Proofs in Indian Mathematics 245
The above correction terms can be used to transform the series for the
circumference as follows:
C π 1 1 1 1 1 1 1
= = 1− − − − + − − ...
4D 4 a1 3 a1 a2 5 a2 a3
It is shown that, using the second order correction terms, we obtain the
following series given by the rule47 samapañcāhatayoh. . . .
C 1 1 1
= 5 − + − ...
16D (1 + 4.1) (35 + 4.3) (55 + 4.5)
It is also noted that by using merely the lowest order correction terms,
we obtain the following series given by the rule48 vyāsād vāridhinihatāt
...
C 3 1 1 1
= + 3 − + − ...
4D 4 (3 − 3) (53 − 5) (73 − 7)
C 1 1 1 1
= + 2 − 2 + 2 − ...
4D 2 (2 − 1) (4 − 1) (6 − 1)
C 1 1 1 1
= − − − − ...
8D 2 (42 − 1) (82 − 1) (122 − 1)
C 1 1 1
= 2
+ 2 + 2
− ...
8D (2 − 1) (6 − 1) (10 − 1)
47
Kriyākramakarı̄, cited earlier, p.390; Yuktidı̄pikā , cited earlier, p.102.
48
Kriyākramakarı̄, cited earlier, p.390; Yuktidı̄pikā , cited earlier, p.102.
49
Kriyākramakarı̄, cited earlier, p.390; Yuktidı̄pikā , cited earlier, p.103.
246 M.D.Srinivas
B.2.1 Jyā, koti and śara – R sin x, R cos x and R(1 − cos x)
Using the above relations several Rsines can be calculated starting from
the following:
π R
R sin =
6 2
π 2 12
R
R sin = .
2 2
2R
where ∆ = h .
50
Tantrasaṅgraha , 2.10-14.
Proofs in Indian Mathematics 247
Given an arc s = Rx, divide it into n equal parts and let the pin.da-jyās
Bj , and śaras Sj− 1 , with j = 0, 1, . . . n, be given by
2
jx
Bj = R sin ,
n
(j − 12 )x
Sj− 1 = R vers
2 n
If α be the samasta-jyā (total chord) of the arc ns , then the second order
sine difference (jyā-khan.d.āntara) is shown to satisfy
α
(Bj+1 − Bj ) − (Bj − Bj−1 ) = (Sj− 1 − Sj+ 1 )
r 2 2
α 2
= Bj ,
r
for j = 1, 2, . . . n. From this are derived the relations
α
Sn− 1 − S 1 = (B1 + B2 + . . . + Bn−1 ),
2 2 r
α 2
Bn − nB1 = − [B1 + (B1 + B2 ) + . . . + (B1 + . . . + Bn−1 )]
αR
= − S 1 + S 3 + · · · + Sn− 1 − nS 1
r 2 2 2 2
If B and S are the jyā and śara of the arc s, then it is noted that, in
the limit of very large n, we have as a first approximation
js s
Bn ≈ B, Bj ≈ , Sn− 1 ≈ S, S 1 ≈ 0 and α ≈ .
n 2 2 n
Hence
1 s 2 s2
S ≈ [1 + 2 + . . . + n − 1] ≈ .
R n 2R
and
2
1 s 3
B ≈ s− [1 + (1 + 2) + . . . + (1 + 2 + . . . + n − 1))]
R n
s3
≈ s− .
6R2
248 M.D.Srinivas
nk+1
≈ .
(k + 1)!
Then is obtained a series for the square of sine, as given by the rule52
nihatya cāpavargen. a . . .
x4 x6
sin2 x = x2 − + − ...
2 2 3
22 − 22 − 32 −
2 2 2
Chapter VII of Yuktibhās.ā goes on to discuss different ways of deriving
the jı̄ve-paraspara-nyāya53 , which is followed by a detailed discussion of
the cyclic quadrilateral. The chapter concludes with a derivation of the
surface area and volume of a sphere.
Acknowledgement
The author is deeply indebted to Gérard Emch, R.Sridharan and
M.S.Sriram for their valuable advice and encouragement. He is much
obliged to K.Ramasubramanian for his enthusiastic help in the prepa-
ration of this article.
51
Yuktidı̄pikā , cited earlier, p.118
52
Yuktidı̄pikā , cited earlier, p.119.
53
The relation between the sine and cosine of the sum or difference of two arcs with
the sines and cosines of the arcs.
Ramanujan and Partial Fractions
George E. Andrews
The Pennsylvania State University
andrews@.psu.edu
Abstract
The subject of partial fractions is usually conned to the stan-
dard calculus course and is viewed as a useful albeit mundane
tool. This paper looks at partial fractions starting with Euler. We
then consider some of the very surprising and appealing discoveries
made by Ramanujan.
1 Introduction
The idea of partial fractions must surely have arisen after calculus and
basic analysis had a solid footing. We can certainly nd carefully pre-
pared examples in Euler's Introduction in Analysis Innitorum, Volume
1 [3, Chapter 2].
For example, [3, pp. 34{35] Euler proves that
1 1 1 2 1 7 1
= 3+ 2+ + + ; (1.1)
z (1
3 z ) (1 + z )
2 z z z 2(1 z ) 4(1 z ) 4(1 + z )
2
z2 z 1 1 1 1
= + : (1.2)
(1 z ) (1 + z )
3 2
4(1 + z ) 4(z
2
1) 2(z 1)
2
2(z 1)3
Ramanujan was not the rst to observe that there are appealing and
sophisticated extensions of partial fractions. For example, there is the
251
252 George E. Andrews
2 A Partial Fraction
In the following, we shall use the standard notation [4, p.3, eq. (1.2.15)
and p. 20, Ex. 1.2]. We shall always assume jqj < 1.
(A)n = (A; q)n = (1 A)(1 Aq ) (1 Aq n 1
);
1
Y
(A)1 = (A; q)1 = (1 Aq n );
n=0
(
N
( q ;q )
05M 5N
N
= M
(q ;q ) (q ;q ) N M ;
M 0 ; M < 0 or M > N:
N
X 2
N (q)n qn
n=0
n (z )n+1 (q=z )n
PN N n q 23 n2 + n2 (q)n
= N+ zqn qn : (2.1)
1 ( 1) 1 1
(1 z )(q) n=1 n (q )N +n 1 z
Note that the proof of Theorem 2.1 required nothing more sophisti-
cated than the very elementary q-Chu-Vandermonde summation.
Theorem 2.1 has some very appealing corollaries. While it does
not appear in Ramanujan's Lost Notebook, many instances of it do.
It should be noted that this result was rst explicitly stated by G.N.
Watson [7, p.64].
Corollary 2.1.
1
X qn
2
1 X ( 1)n qn(3n+1)=2
1
= : (2.2)
n=0
(z )n+1 (q=z )n (q)1 n= 1 1 zqn
Ramanujan and Partial Fractions 255
From Corollary 2.1, G.N. Watson [7, p.64] and presumably Ra-
manujan deduced three important formulas for Ramanujan's third order
mock-theta functions:
1
X qn
2
f (q ) = ;
n=0
( q ; q ) 2
n
X1 qn
2
(q ) =
n=0
( q 2 ; q 2 )n
X1 qn2 ( q; q)
n
(q ) =
n=0
( q 3 ; q3 )
n
1 !
1 X ( 1)n qn(3n+1)=2
f (q ) = 1+4 ; (2.3)
(q) 1 n=1
1 + qn
1 !
1 X ( 1)n (1 + qnqn(3n+1)=2
(q ) = 1+2 ; (2.4)
(q)1 n=1
1 + q2n
1 !
1 X ( 1)n (1 + qn )qn(3n+1)=2
(q ) = 1+ (2.5)
(q) 1 n=1
1 q n + q 2n
Theorem 3.1.
N
X 2
N (q)n qn +n
n 1 1
n=0 (zq 2 )n+1 (q 2 =z )n+1
N 1 !
X N ( 1)n q3n(n+1)=2 (q)n 1 q n+ 2
= 1 + 1 (3.1)
:
n=0
n (q)n+N +1 1 zq n+ 2 z q n+ 2
3 2 5m 1
( 1)m q 2 m + 2 + 2 (q)N q N +m ; q ; q; q N +m+1
= lim 2 1
(q)2m+1 (q)N m !0 (q)2m+2
3 2 5m 1
( 1)m q 2 m + 2 + 2 (q)N
=
(q)2m+1 (q)N m (q2m+2 )N m
(by the q-Chu-Vandermonde summation [4, p. 11, eq. (1.5.2)])
1
N ( 1)m q 3m(m+1)=2+m+ 2 (q )m
=
m (q)m+N +1
As with Theorem 2.1, our theorem follows from the standard partial
representation of a proper rational function with simple poles [2, pp.
56{57].
X 2
q n +n
1
1 X ( 1)n q3n(n+1)=2
1 1 = : (3.2)
n=0 (zq 2 )n+1 (q 2 =z )n+1
(q)1 n= 1 1 zqn+ 21
From Corollary 3.1, we can easily deduce (as did Watson [7, p. 66]
and probably Ramanujan) three more important formulas for three more
of the third order mock-theta functions:
1 q2n(n+1)
X
! (q ) = ;
n=0
(q; q2 )2n+1
1
X q n(n+1)
(q ) = ;
n=0
( q; q2 )n+1
1 (q; q2 ) q2n(n+1)
X n
(q ) = :
n=0
(q3 ; q6 )n+1
258 George E. Andrews
1
1
X 1 + q2n+1
! (q ) = ( 1)n q3n(n+1) ; (3.3)
(q2 ; q2 )1 n=0 1 q2n+1
1 X
1 (1 q2n+1 )
(q ) = ( 1)n q3n(n+1)=2 ; (3.4)
(q)1 n=0 (1 + q2n+1 )
1
1
X (1 q4n+2 )
(q ) = ( 1)n q3n(n+1) : (3.5)
q 2 ; q 2 )1 n=0 1 + q2n+1 + q4n+2
Theorem 4.1.
(q )N
(z )N +1 (q=z )N
X N
1 N (q)n ( 1)n qn(n+1)=2 1 1
= +
(1 z )(q )N n=1 n (q)n+N 1 zq n z qn
(4.1)
Proof. The same argument used for Corollaries 2.1 and 3.1 holds here
as well.
5 Conclusion
There are many more results beyond those considered in this paper that
were included in Ramanujan's Lost Notebook. Bruce Berndt and I [1]
are publishing a full treatment of the results from the Lost Notebook,
and we present in Chapter 12 of that work a full account of Ramanu-
jan's partial fraction theorems. The proofs there are more succinct, but
rely on more sophisticated background. The object in this paper was to
illustrate the fact that one can deduce some of Ramanujan's most sur-
prising partial fraction formulas using nothing deeper than the q-analog
of the Chu-Vandermonde summation.
260 George E. Andrews
References
[1] G.E. Andrews and B. Berndt, Ramanujan's Lost Notebook, Part I,
Springer, Berlin (to appear).
[2] P. Dienes, The Taylor Series, Dover, New York, 1957.
[3] L. Euler, Introductio in Analysin Innitorum, Vol. 1, Lausanne,
1748.
[4] G. Gasper and M. Rahman, Basic Hypergeometric Series, Encycl.
Math and Its Appl., G.-C. Rota, ed., Vol. 35, Cambridge University
Press, Cambridge, 1990.
[5] S. Ramanujan, The Lost Notebook and Other Unpublished Papers,
Intro by G. E. Andrews, Narosa, New Delhi, 1987.
ements de la Theorie des fonctions Ellip-
[6] J. Tannery and J. Molk, El
tiques, Vol. III, Gauthier-Villars, Paris, 1896 [reprinted: Chelsea,
New York, 1972].
[7] G.N. Watson, The nal problem: an account of the mock theta
functions, J. London Math. Soc., 11(1936), 55{80.
Contributions of Indian
Mathematicians to Quantum Statistics
Gerard G. Emch
University of Florida, Gainesville FL 32611, USA
gge@math.u
.edu
Abstract
While modern Algebra and Number Theory have well docu-
India.
261
262 Gerard G. Emch
1 Preliminary considerations
The main questions I want to explore in this essay are How and Why an
interest in quantum statistics developed among Indian mathematicians.
Indeed, the eld of quantum statistics might appear at rst sight to be
a singularity against the background of profound traditions, the deep
roots of which are illustrated in other communications reported in these
proceedings on the History of Indian Mathematics. Upon listening to
these enlightening contributions, we could not but be vividly reminded
of the continuity between the ancient schools and modern disciplines
such as algebra, geometry, combinatorics and number theory, in which
the accomplishments of Indian mathematicians are recognized the World
over as centrally in
uential.
In contrast, quantum probability, and in particular the theory of
quantum stochastic processes, is a recent eld of enquiry in which con-
siderable pioneering work was achieved in twentieth{century India. It
would be futile to attempt and give here a detailed survey that would
do justice to all facets of this eort. Rather, I will focus on those which
relate most to areas of mathematical physics with which I am familiar,
and yet bring out the particular
avours of the Indian contributions and
of the intellectual climate in which they originated.
Among foreign physicists and mathematicians, the very words of
\quantum" and \statistics" might evoke developments in Indian sci-
ence of cultures imported here from the outside in the early twentieth{
century. Such a naive cosmopolitan account would however miss sev-
eral Indian idiosyncrasies, two extremes among which are: a form of
governmental establishment that encourages the in
uence of strong per-
sonalities, and yet a demographic diversity that allows the independent
pursuits of individual thinkers. To illustrate this dualism, suÆce it to
mention here only one of its many aspects: the
owering in the nine-
teenth century of the \Bengali Renaissance" right in Calcutta, while the
port-city was the traditional seat of British presence.
I will thus sketch in Section 2 how strong personalities developed into
pioneers who paved the way towards the modern form of quantum statis-
tics: S.N. Bose, C.V. Raman and K.S. Krishnan, S. Chandrasekhar, and
P.C. Mahalanobis. In section 3, I turn to contemporary Indian gures
who have contributed to the developments of various aspects of the the-
Indian Contributions to Quantum Statistics 263
2 The pioneers
2.1 Satyendra Nath Bose, 1894{1974
assimilated Bose's two papers thoroughly enough to realize that the new
statistics, if extended from radiation to material particles would imply
that a quantum ideal gas [23] would condensate in a super
uid phase if
the temperature were lowered deeply enough: a phenomena that has no
classical analogue.
Although Einstein was not fully satised, Bose was not able to re-
spond to Einstein's objections, even after meeting personally with him in
Berlin. How Dirac was able to perform the necessary synthesis through
his symmetrization prescription has been described in [66] and [41,
pp.424{425]; incidentally, the word \Boson" to refer to particles that
obey the Bose{Einstein statistics was coined by Dirac.
As long as liquid Helium remained the only available laboratory
manifestation of the Bose{Einstein condensation, a hiatus remained
between theory and experiment, since the intermolecular interactions
surely present in super
uid Helium were not accounted for in the orig-
inal model of an ideal quantum gas. The situation changed drastically
in the 1980s and 1990s with the observation of Bose{Einstein conden-
sation in dilute atomic gases at temperatures in the milli{ and then
micro{Kelvin ranges, thus projecting again Bose's name to the frontier
of contemporary physics.
mentioned here; the rst is that along with his better known activities
in optics, Raman maintained a creative interest in acoustics; see for in-
stance [51] where Raman describes the physics of musical instruments ...
including some Indian instruments such as the sitar and the tabla. The
second example of Raman's activity is closer to the subject of this es-
say: after having been struck by the deep blueness of the Mediterranean
sea, he questioned Rayleigh's theory on the blueness of the sky, and he
applied to the diraction of light the Einstein{Smolukowski stochastic
theory of
uctuations and the attendant correlations [50], which was
extended by his collaborators; amongst them was K.S. Krishnan, who
belongs to this essay on several accounts. He performed some of the
crucial experiments leading to the unambiguous detection and thus the
very discovery of the Raman eect; and later, in the early 1940s, when as
professor of physics at Allahabad, Krishnan kindled Harish{Chandra's
rst scientic direction of research { theoretical physics { which Harish{
Chandra pursued in Bangalore with Bhabha [5], and then in Cambridge
under Dirac [71, p.56].
Krishnan's talents as an experimental physicist rst came to light in
Raman's IACS laboratory; recall [52] and see [54]. The cultivation of
these exceptionally acute abilities later made him famous as a pioneer
in the investigation of quite an array of diverse phenomena in condensed
matter physics { cf. e.g. [4] { so much so that the present address of
the National Physics Laboratory, of which he was the rst director, is
on K.S. Krishnan Road in Delhi. His early association with Raman's
research programme on \light scattered in a homogeneous medium" is
explicitly acknowledged in the opening paragraphs of both [35, 36], his
only overt contribution in and to mathematics. This belongs here for
three reasons: rst, it stems from an analysis of a physically important
stochastic process; second, it gives a mathematically elegant proof for a
special version of a theorem now known to all probability theorists; and
third, it provides my story with a link to Ramanujan, indispensable to
any paper in the history of modern Indian mathematics.
First, the theorem. Krishnan begins by citing [22] { in which Einstein
pursues the theory of critical opalescence proposed by Smolukowski [58]
lim
X+1 sin2 (n + )
=
Z
{ for its use of an approximation amounting to the formula:
1 sin2 x
dx 2 : ( 2.4)
2
n= 1 (n + ) x
!0 1
268 Gerard G. Emch
f~(k) = (2) 2
1
1 Z
Let f be an even real function of a real variable x such that its Fourier
transform
f (x) exp( ikx)
1
exists and vanishes for jkj ko : Then
8 2 (0; 2=ko ] :
X+1 f (n + ) = p2f~(0) : ( 2.5)
n= 1
p
Note that: (i) sin2 x=x2 satises the assumptions, with ko = 2 ; (ii)
the validity of formula (2.5) extends over a range of values of rather
than as a limit, as (2.4) does; (iii) the assumptions are very permissive;
and (iv) (2.5) itself is a special case of the sampling theorem :
3 Contemporary Figures
3.1 Veeravalli S. Varadarajan
event.
Firstly, the gestation period. In this case, one may want to skip
the archaeological phase (1932{1947) in which the physical concepts
and mathematical tools were devised that allowed the passage from a
quantum probability theory for nitely many degrees of freedom, to
one better adapted to the consideration of systems with innitely many
degrees of freedom. Let it suÆce here to evoke the spirits of Fock,
Wiener, It^o and Segal. In the most elementary sense, the question was
to unify two heretofore separated domains of enquiry, the description of
the classical, stochastic process behind the evolution equation proposed
in 1908 by Langevin for the Brownian motion of a particle in a viscous
stochastic medium
dv=dt =
v + (t) ( 3.1)
with v the velocity,
the coeÆcient of viscosity, and a random function,
the time average of which vanishes; and the quantum, deterministic
evolution described by the Heisenberg equation
dB=dt = i [H; B ] ( 3.2)
where B and H are self{adjoint linear operators acting on a Hilbert
space, with B representing an observable, and H the Hamiltonian; equiv-
alently, upon viewing [H; ] as a derivation, the latter may be written
more intuitively in the Liouville form dB=dt = i L[B ]: In the modern
era, the problem is brought in context by mentioning, on one side, the
work of It^o, cf. Iteka and Watanabe (1981); and, on the other side,
the seminal contributions of Segal (1956, 1960), Streater (1969), Araki
(1970), Parthasarathy and Schmidt (1972), Hudson and Cockroft (1977),
Hudson (1980), or Barnet, Streater and Wilde (1982); Accardi, Frigerio
and Lewis (1982); cf. Hudson [30] who does speak with a particular
authority allowing for the expression of some freely admitted personal
bias; some of these may have been softened by a few additions in the
above list, still incomplete, even as it is limited to the years preceding
1984 for reasons to be presently explained.
Secondly, the actual birth place of the theory of quantum stochastic
processes is generally marked as the papers of Hudson and Parthasarathy
[32, 33, 34]; see already [31] for an early appearance of the quantum
stochastic dierential equation which they will use to describe quantum
diusion.
Indian Contributions to Quantum Statistics 277
Thirdly, the resonance. While the above line travels mainly through
territories where the language of quantum physics is spoken, the waves
reached quite rapidly the French coast where classical probabilists viewed
the event as a mathematically genuine generalization of their language,
requiring new techniques; one of the most in
uential advocates of the re-
quired reformulations is Paul-Andre Meyer in whose work [39] the change
in perspective is explicitly implemented. Parthasarathy also found it in-
structive to sketch an outline of quantum stochastic calculus that nev-
ertheless allows him to demonstrate how the familiar classical Markov
processes can be realized in the quantum framework [46]. Yet, as echoes
were also heard from further intellectual shores: \Quantum probability
has been parodied, and indeed bitterly criticized, as an industry consist-
ing in proving non{commutative analogues of well{known commutative
theorems. In my opinion it is, or should be, nothing of the kind ..."
[29]. Indeed, no one here would represent dierential geometry as just
generalizing Euclidean geometry to curved manifolds. Hudson contin-
ues, oering his own view of quantum stochastic theory: \It inhabits
a non{commutative, quantum world which is fundamentally dierent
and new, and which completely transcends conventional mathematical
experience." One of the talents of Parthasarathy is to combine un
ap-
pable rmness, steady diligence, and a necessary dose of that Indian
ingredient, patience. As already mentioned, these were recognized by
the request that he present [45]. Another tribute to these talents is
the creation of the
ourishing school of quantum stochastic theory in
India, going hand{in{hand with its perhaps more outspoken counter-
part in England. Indeed, this development is in large part a deliberate
consequence of Parthasarathy's dedication which is evidenced { perhaps
unwittingly { by his message to Sridharan, one of the organizers of \a
useful symposium which could inspire the young colleagues of Seshadri
to stay in India and bring up a new generation of mathematicians" [37,
p.xxv].
here again that the young faculty members of the physics department at
Rochester { which I joined in 1966 { had their pick from a long parade of
brilliant Indian Ph.D. students attracted there by the reputation of our
eminent senior colleagues, Robert Marshak, Emil Wolf, Leonard Man-
del, Bruce French, and Susumu Okubo. Some students, like Sudarshan
who had worked with Marshak, helped in no small way in establishing
our appeal; others, more adventurous perhaps, choose recent arrivals,
and I was fortunate indeed that Kalyan approached me in the very rst
weeks after I had arrived in Rochester. As part of his own research pro-
gramme, he attended my classes and seminars on the algebraic approach
to statistical mechanics and eld theory, just at the time when Marshak
had commissioned me to write a book on the subject [24]; the book it-
self appeared after Kalyan had left, but several footnotes bring explicit
witness to his early mastery, part of which, I am sure he acquired from
his interaction in Rochester with a then post{doctoral associate of mine,
Richard Herman.
Having nished his Ph.D. with me, Kalyan joined my own former
Ph.D. advisor, J.M. Jauch in Geneva, where the second phase of his
training was completed. Werner Amrein and Kalyan Sinha drove to
completion the book [2] on the rigorous mathematical treatment of par-
ticle scattering in quantum mechanics, an oeuvre which Jauch had left
in outline at the time of his unexpected death in 1974. After the book
had appeared, and was greeted with universal acclaim, Kalyan contin-
ued along this line of research, rst in various positions he occupied in
Europe, North America, and Brazil, and then upon his return in India,
where he started training his own graduate students.
The theory of quantum stochastic processes seemed to be pretty
much set on its path when Kalyan joined Parthasarathy at ISI{Delhi.
Their rst papers indeed conrmed its increasing scope [48]; see also [40,
1, 49]; and for reviews, see [55] and [57] respectively; these advances were
gained in part by taking further advantage of techniques in functional
analysis and operator algebra theory which Kalyan had acquired in his
earlier and diverse activities in mathematical physics.
As these techniques were opening new vistas in modern geometry,
Parthasarathy, Sinha, their collaborators and their students were ready
for the extension of quantum stochastic processes to general von Neu-
mann algebras [27, 26] and non{commutative manifolds [13, 14, 56].
Indian Contributions to Quantum Statistics 279
4 Concluding remarks
I aimed at presenting some of the circumstantial evidences for the How
and Why of quantum statistics in India, as they do appear to an outsider;
and I hope that my account can prove useful, however biased it may be
by my being a mathematical physicist whose career had to unfold on
foreign soils. What I see from this position is that a vital Indian school
of quantum statistics has been created, enhanced by deliberate cross-
fertilizations between diverse scientic disciplines. I expect that any
Indian Contributions to Quantum Statistics 281
revision of this essay in a not too distant future will be able to sight also
the rising stars of quantum communication theory, and to focus more
on ideas than on personalities, thus re
ecting the staying power of the
eld rather than the genius of its early leaders.
Acknowledgements
First and foremost, I must record my deep appreciation for the persis-
tent prodding to which my co-editor R. Sridharan submitted me so that
I bind together in a paper the sketches I had drawn at the December
2003 Bangalore meeting. I also wish to acknowledge a referee's sugges-
tions that I nd a link with S. Ramanujan and that I mention, however
succinctly, such eminent personalities as H.J. Bhabha and C.R. Rao.
References
[1] L. Accardi and K.B. Sinha, Stop-time Algebras, in Quantum Prob-
ability and Applications IV, L. Accardi et al., eds., Lecture Notes
in Mathematics 1396 (1989) 68{72.
[2] W. Amrein, J.M. Jauch and K.B. Sinha, Scattering theory in quan-
tum mechanics, Benjamin, Reading, 1977.
[3] R. Arens and V.S. Varadarajan, On the concept of Einstein{
Podolsky{Rosen states and their structure, J. Math. Phys. 41 (2000)
638{651.
[4] G. Baskaran, ed., Special section: K.S. Krishnan's Birth Centenary,
Current Science 75 (1998) 1197{1275.
[5] H.J. Bhabha and Harish{Chandra, On the theory of point particles,
Proc. Roy. Soc. London A 183 (1944) 134{141; On the elds and
equations of motion of point particles, Proc. Roy. Soc. London A
185 (1946) 250{268.
[6] H.J. Bhabha, Relativistic wave equations for the elementary par-
ticles, Rev. Modern Phys. 17 (1945) 200{216; On a class of rela-
tivistic wave{equations of spin 3/2, Proc. Indian Acad. Sci. A 34
(1951) 335{354.
282 Gerard G. Emch
[50] C.V. Raman, On the molecular scattering of light in water and the
colour of the sea, Proceedings of the Royal Society 64 (1922).
[51] C.V. Raman, Musikinstrumente und ihre Klange, Handbuch der
Physik VIII (1927) 354{424.
[52] C.V. Raman, A new radiation, Indian Journal of Physics 2 (1928)
387{398; (with K.S. Krishnan) A new type of secondary radiation,
Nature 121 (1928) 501.
[53] S.L. Shapiro and S.A. Teukolsky, Black holes, white dwarfs, and
neutron stars: The physics of compact objects, Wiley, New York,
1983.
[54] R. Singh and F. Riess, Sir C.V. Raman and the story of the Nobel
prize, Current Science 75 (1998) 965{971.
[55] K.B. Sinha, Quantum stochastic calculus { a Review, RIMS Publi-
cations 923 (1995) 206{227.
[56] K.B. Sinha, Stochastic
ows on UHF algebras, Quantum probabil-
ity and innite dimensional analysis, Greifwald, 2003; Probability
and geometry in non{commutative spaces, India-US meeting, Ban-
galore, 2003.
[57] K.B. Sinha, Quantum Stop Times, Lectures at a workshop on Quan-
tum Probability, Institut Fourier, Grenoble June 1998 in Quantum
Probability and Communications, World Scientic, Singapore (to
appear).
[58] M. Smolukowski, Molekular{kinetische Theorie der Opaleszenz von
Gasen im kritischen Zustande, so wie einiger verwandter Erschei-
nungen, Annalen der Physik 25 (1908) 205{226.
[59] M.D. Srinivas, Foundations of a quantum probability theory, J.
Math. Phys. 16 (1975) 1672{1685.
Indian Contributions to Quantum Statistics 287