A cord, a peg and a patch of level ground are enough to build a right angle, a square, and a square equal in area to a given circle. From that beginning — the geometry of altar construction — runs an unbroken line to fifteenth-century Kerala, where infinite series for π, sine and cosine were derived, summed with correction terms, and proved.
This chapter follows the line. It is the longest in the series, because there is the most to show.
1Rope geometryशुल्बम्
The word शुल्ब (śulba) means a cord. The Śulba-sūtras are manuals of construction with a cord, and they are the oldest geometry texts in India — some universities now teach the subject under the name “rope geometry”.
The equipment is a peg, a length of cord with marks on it, and level ground. That is enough for a surprising amount.
There are no proofs in the Greek sense here, and no diagrams in the manuscripts — the text is the diagram, and it is written to be executed rather than contemplated.
2Building a falconश्येनचितिः
Why does anyone need this much geometry? Because the altars were not squares.
More than seventy altar shapes are prescribed for different rites — a tortoise, a chariot wheel, a trough, a rhombus — and the most demanding is the श्येनचिति (śyena-citi), the falcon-shaped altar. It must be built of exactly two hundred bricks of five specified shapes, in a prescribed distribution, to a prescribed total area, and then rebuilt in later layers with the joints offset.
Bricks in the first layer of a śyena-citi: five shapes, two hundred bricks
Part
Shape B1
B2
B3
B4
B5
Total
Head
1
—
6
6
1
14
Body
30
6
10
—
—
46
Wings
30
62
16
—
—
108
Tail
8
4
20
—
—
32
Total
69
72
52
6
6
200
The problem this generates
The altar must have a prescribed area. Its shape is a falcon. Its bricks come in five fixed shapes. It must be rebuilt in successive rites with the area increased by a stated amount while the shape stays the same. Solve that and you have needed: the area of an isosceles triangle and a rhombus, the ability to transform a rectangle into a square of equal area, the ability to scale a figure by a given ratio, and the Pythagorean relation. All of these appear in the Śulba-sūtras, and every one of them is there because of this problem.
3What makes it distinctiveवैशिष्ट्यम्
Constructive, not existential
The characteristic Indian question is “how do I find it?” rather than “does one exist?”. The output of a mathematical investigation is an algorithm — a stated procedure that terminates in the answer. This is why so much of the material translates directly into code.
In verse, and in company
Results are stated as sūtras or ślokas, in metre, with the numbers encoded by the schemes of chapter 6. Mathematics sits inside literature rather than beside it — Bhāskara's Līlāvatī poses its problems as riddles addressed to a student, about bees, peacocks and necklaces.
Continuous and geographically spread
An unbroken line of named authors from at least the fifth century BCE to the seventeenth CE, working from Gandhāra to Bengal and from Kashmir to Kerala. There is no Indian dark age in mathematics.
Proofs exist — as upapatti
The claim that Indian mathematics has no proofs is a half-truth resting on the base texts, which are deliberately terse. The commentaries supply demonstrations: Bhāskara's own Vāsanā-bhāṣya, the Kriyākramakarī on the Līlāvatī, and above all the Yukti-bhāṣā, which is nothing but proofs.
4Two and a half millenniaपरम्परा
Work or author
Period and place
Contribution
Vedic texts
3000 BCE or earlier
The earliest recorded mathematics: the number system, Pythagorean triples, decimal naming of numbers, the notion of the unbounded
Lagadha — Vedāṅga-jyotiṣa
c. 1300 BCE
A quantitative model of solar and lunar motion; equinoxes and solstices
The earliest geometry texts; √2 and π approximated; exact construction and transformation of squares, rectangles and trapezia
Pāṇini — Aṣṭādhyāyī
c. 500 BCE, Śālātura
Algorithmic method; context-sensitive rules; recursion. See chapter 5
Piṅgala — Chandaḥ-śāstra
c. 300 BCE
Binary sequences and conversion both ways; the Meru-prastāra; optimal exponentiation; zero as a symbol
Buddhist works
c. 500 BCE – 500 CE
Multi-valued logic; indeterminate and unbounded quantities
Jaina works — Sūrya-prajñapti, Anuyogadvāra-sūtra, Tiloyapaṇṇatti and others
200 BCE – 300 CE
Logarithm-like ideas; very large numbers; exponentiation algorithms; arcs; combinatorics; mensuration; π ≈ √10
Āryabhaṭa — Āryabhaṭīya
476–550 CE, Kusumapura
Square and cube root algorithms; place value; the sine table; quadratic and linear indeterminate equations; sums of squares and cubes; spherical trigonometry
Varāhamihira — Pañca-siddhāntikā, Bṛhat-saṃhitā
482–565 CE, Ujjain
Five earlier siddhāntas summarised; sine table; sin²+cos²=1; combinatorics; magic squares
Bhāskara I
600–680 CE, Saurashtra
Integer solutions of indeterminate equations; a rational approximation to the sine function
Brahmagupta — Brāhmasphuṭa-siddhānta
598–668 CE, Bhillamāla
Arithmetic with zero and negatives; algebra; the cyclic-quadrilateral area and diagonal formulae; Pythagorean triples
Vṛhaṅka — Vṛttajātisamuccaya
c. 600 CE
The Fibonacci numbers, in the context of moric metres
Work or author
Period and place
Contribution
Mahāvīrācārya — Gaṇita-sāra-saṅgraha
800–870 CE, Gulbarga
A complete standalone mathematics textbook: arithmetic, geometry, algebra; permutations and combinations; series
Śrīdharācārya — Pāṭīgaṇita, Triśatikā
870–930 CE, Bengal
Commercial arithmetic; approximation of roots of non-squares; quadratic equations
Jayadeva
10th c. CE or earlier
The cakravāla or cyclic method for second-order indeterminate equations
The canonical textbooks of Indian mathematics; surds; combinatorics; the sine addition formula; indeterminate equations; the instantaneous rate of motion and a form of the mean value theorem
Nārāyaṇa Paṇḍita — Gaṇita-kaumudī
1325–1400 CE
Cyclic quadrilaterals; repeated summation of series; a theory and construction of magic squares; combinatorics
Mādhava of Saṅgamagrāma
1340–1425 CE, Kerala
Founder of the Kerala school. Infinite series for π, sine and cosine, with correction terms
Parameśvara — Dṛggaṇita
1360–1460 CE, Kerala
Iterative techniques; the circumradius formula for a cyclic quadrilateral; a revised observational system
Argues that π is irrational; the basic ideas of calculus; a revised planetary model in which the inner planets orbit the sun
Jyeṣṭhadeva — Yukti-bhāṣā
1500–1575 CE, Kerala
Full demonstrations of the Mādhava series. Written in Malayalam, and often called the first textbook of calculus
Śaṅkara Vāriyar — Kriyākramakarī
1500–1569 CE, Kerala
Proofs and explanations of the procedures of the Līlāvatī
Gaṇeśa Daivajña — Buddhi-vilāsinī
1504 CE, Gujarat
Demonstrations of the Līlāvatī's results
Kṛṣṇa Daivajña — Bījapallava
c. 1600 CE, Delhi
Demonstrations of the Bījagaṇita
Munīśvara — Siddhānta-sārvabhauma
17th c. CE, Varanasi
Trigonometric identities; commentary on the Līlāvatī
Kamalākara — Siddhānta-tattva-viveka
1616–1700 CE, Varanasi
Addition and subtraction theorems for sine and cosine; multiple-angle formulae
Pāṇini and BNF — the claim, stated carefully
The Aṣṭādhyāyī's rule format bears a real structural resemblance to Backus–Naur Form, the notation used to specify programming-language grammars, and in 1967 Peter Ingerman proposed that BNF be renamed “Pāṇini–Backus Form” in recognition of it. What is established is the resemblance and the acknowledgement. What is not established is historical influence: Backus and Naur did not work from Pāṇini. Stating the claim in the first form is defensible and interesting; stating it in the second is not.
5The Śulba theoremभुजाकोटिकर्णन्यायः
The relation between the sides and the diagonal of a rectangle is stated as a general rule in the Baudhāyana Śulba-sūtra, some centuries before Pythagoras.
दीर्घचतुरश्रस्याक्ष्णया रज्जुः पार्श्वमानी तिर्यङ्मानी च यत्पृथग्भूते कुरुतस्तदुभयं करोति ॥
dīrgha-caturaśrasyākṣṇayā rajjuḥ pārśvamānī tiryaṅmānī ca yat pṛthag bhūte kurutas tad ubhayaṃ karoti
Baudhāyana Śulba-sūtra 1.48 — “The cord stretched across the diagonal of a rectangle produces both the areas which the side and the breadth produce separately.”
Note the form of the statement: it is about areas produced, not about numbers, and it is stated for the rectangle as the general case with the square following. The listed triples are practical instructions — knot a cord at 3, 4 and 5 units and you have a right angle you can carry to the site.
6√2 to five placesद्विकरणी
The altar work needs the diagonal of a square, so it needs √2. Baudhāyana gives it as a recipe:
What the honesty of that last word buys: nobody reading the sūtra can mistake it for an exact value, and the Śulba texts elsewhere distinguish carefully between exact constructions and approximate ones. Where the fractions 1/3, 1/12 and 1/408 come from is not stated, and reconstructing the derivation is an open question with several plausible answers.
7The gnomonशङ्कुः
A vertical rod on level ground — the शङ्कु, śaṅku — is the single most productive instrument in Indian science. Similar triangles turn its shadow into a measuring device, and the same figure does duty in surveying and in astronomy.
One proportion, two uses. The transferability is the point: a technique developed for surveying a field is the same technique that gives the eclipse geometry, and the Indian astronomical texts move between the two without remark.
8Squaring a numberवर्गः
Indian arithmetic is taught as procedures, and the procedures are stated in verse. Here is squaring, in three sūtra fragments, applied to 1638.
Drop the leading digit and repeat with what remains; then add the rows.
The method is the expansion (a+b+c+d)² = Σaᵢ² + 2Σaᵢaⱼ, organised so that each cross-term is computed exactly once and placed in the right column automatically. Sixteen digit-products become ten. This is what an algorithm designed for mental arithmetic looks like.
9Extracting a square rootवर्गमूलम्
Āryabhaṭa gives a digit-by-digit root extraction — the ancestor of the long-division square-root method that was taught in schools until calculators arrived. Its two operative sūtras alternate:
At a varga (square) place
वर्गाद्वर्गे शुद्धे
vargād varge śuddhe
Subtract the square of the digit just found.
At an avarga (non-square) place
भागं हरेत् अवर्गात् नित्यं द्विगुणेन वर्गमूलेन
bhāgaṃ haret avargāt nityaṃ dviguṇena vargamūlena
Divide by twice the root so far; the quotient is the next digit of the root.
The alternation is the whole design: the odd places consume a square, the even places consume a division by twice the running root. Both sūtras together are three lines of Sanskrit, and they specify a complete algorithm — with a termination condition, and with a remainder that tells you whether the input was a perfect square.
10Roots of non-squaresबक्षालीविधिः
The Bakhshālī manuscript — birch bark, found near Peshawar, usually placed somewhere in 300–600 CE — gives a formula for the root of a number that is not a perfect square. Write N = A² + b, with A² the nearest square below:
The interest is not the numerical accuracy but the structure: an estimate plus an explicit correction term. That pattern — take a first approximation, then write down what to subtract — recurs throughout Indian mathematics, and reappears in section 20 as the correction terms that make Mādhava's series for π converge usefully.
11Sums of squares and cubesवर्गचितिघनः
Āryabhaṭa gives both closed forms in a single verse, using compound words as technical terms:
saika-sagaccha-padānāṃ kramāt trisaṃvargitasya ṣaṣṭhoṃ'śaḥ | varga-citighanaḥ sa bhavet citivargo ghana-citighanaś ca ||
Āryabhaṭīya, Gaṇitapāda 22
12Bīja-gaṇitaबीजगणितम्
Algebra's Indian name is बीजगणित — bīja, seed or element, plus gaṇita, the science of calculation: the calculus of elements.
Brahmagupta, in 628 CE, states the sign rules — the first unambiguous statement anywhere that negative quantities are numbers and can be operated on:
The sum of two positives is positive; of two negatives, negative; of a positive and a negative, their difference. … A negative minus zero is negative, a positive minus zero is positive, zero minus zero is zero.
He is thinking of them as debts and fortunes, and the physical interpretation does real work: it makes “subtracting a larger from a smaller” meaningful rather than forbidden, which is precisely the obstacle that kept negative roots out of European algebra until the seventeenth century.
Unknowns by colour
Several unknowns are distinguished by naming them for colours and using the first syllable of each — yāvat-tāvat (“as much as”) for the first, then kālaka (black), nīlaka (blue), pītaka (yellow), lohitaka (red). Symbolic algebra, with a mnemonic naming scheme.
Quadratics
Śrīdhara's rule for the quadratic — multiply through by four times the coefficient of the square, add the square of the linear coefficient, take the root — is the completion of the square, stated as a procedure and quoted by later authors under his name.
Surds and operations
Systematic treatment of irrational quantities: addition, multiplication and rationalisation of expressions in surds, with rules for when two surds can be combined into one.
13Pulveriser and cyclic methodकुट्टकः · चक्रवालम्
Two Indian algorithms for indeterminate equations, both of which were unmatched anywhere else for centuries.
Kuṭṭaka — “the pulveriser”
कुट्टकः
Āryabhaṭa's method for solving ax − by = c in integers. The name describes the procedure: the coefficients are repeatedly pulverised by mutual division — the Euclidean algorithm run in reverse to build up a solution.
It arose from astronomy. If two planets have periods of 4,320,000 and 1,577,917,500 units, when do they next coincide? That is an integer problem, and it needs exactly this.
Cakravāla — “the cyclic method”
चक्रवालम्
For x² − N y² = 1, the equation Europe would later call Pell's. Jayadeva describes it by the tenth century; Bhāskara II perfects it. The method cycles through a sequence of auxiliary equations, each closer to the target, and provably terminates.
It is faster than the continued-fraction method Lagrange proved correct in 1768.
The smallest solution for N = 61 has ten digits — which is why Fermat chose it. That a twelfth-century Indian text carries the answer, obtained by a general method, is one of the sharpest single facts in the history of mathematics.
14Piṅgala's six operationsप्रत्ययाः
Chapter 6 introduced the light–heavy syllable as a binary digit. Chapter 8 of the Chandaḥ-śāstra then defines six operations on binary sequences, each with a name and an algorithm.
The last one is the most disarming: a formula for how much floor space you need if you want to lay out the entire array. Piṅgala is thinking about memory allocation.
Naṣṭa and uddiṣṭa, worked and cross-checked
The two algorithms are exact inverses, which is what a pair of conversion routines has to be, and Piṅgala states them as a pair. This is a positional binary numeration system with both directions of conversion specified — around the third century BCE.
15The Meru-prastāraमेरुप्रस्तारः
To answer lagakriyā — how many patterns of n syllables have exactly k light ones — Piṅgala gives a construction: a triangle of numbers, each the sum of the two above it, named for the world-mountain Meru because of its shape.
Perfumes, and a real application
Varāhamihira's Bṛhat-saṃhitā (c. 550 CE) computes the number of perfumes obtainable by choosing four ingredients from sixteen: 1,820. That is 16C4, and it is correct. The combinatorics is not being displayed for its own sake — it is being used to organise a manufacturing problem.
16Magic squaresभद्रगणितम्
The Indian tradition has a name for the study of magic squares — भद्रगणित, bhadra-gaṇita — and a speciality within it: the sarvatobhadra or pan-diagonal square, which is much harder to construct.
Nāgārjuna's construction, in one line of verse
A generic pan-diagonal square, encoded in kaṭapayādi (chapter 6):
अर्क इन्दुनिधा नारी तेन लग्न विनाशनम्
arka indunidhā nārī tena lagna vināśanam
A parametrised family of pan-diagonal magic squares, memorised as one line of verse. Choose n, decode, and you have a square with magic sum 2n — the construction, not just an instance.
17Jyā, and the word “sine”ज्या
The trigonometric functions used today are Indian in origin, and the English word “sine” is a chain of accidents that can be traced back link by link.
Greek astronomy worked with the chord of an arc. Indian astronomers worked instead with the half-chord, which is what we call the sine — and this is the more useful quantity, because it is what appears in the right triangle. The half-chord was called ज्या (jyā) or jīvā, the bowstring, because a chord across an arc looks like a strung bow.
Every time you write sin θ you are using a word that means “bay” because a twelfth-century Latin translator correctly rendered an Arabic word that was itself a misreading of a Sanskrit one.
18Āryabhaṭa's sine tableज्यार्धानि
Āryabhaṭa gives twenty-four sine values at intervals of 3° 45′, and — more remarkably — a rule for generating them that is a difference equation.
Delambre — Napoleon's astronomer, and no partisan of Indian science — is pointing at exactly the right thing. A table built by recursion from a differential relation is a different kind of object from a table built by interpolating measurements.
19The pursuit of πपरिधिमानम्
Nīlakaṇṭha on irrationality
In the Āryabhaṭīya-bhāṣya, Nīlakaṇṭha asks why the ratio is always given as approximate, and answers that if a measure divides the diameter without remainder it cannot divide the circumference without remainder, and conversely — so however far one goes, only an approximate value can be stated. That is not a proof of irrationality, and he does not claim it is. It is a clear statement of what would need to be true, made in the fifteenth century.
20The Kerala schoolकेरलगणितम्
Between about 1350 and 1600, a lineage of mathematicians in a small area of Kerala derived infinite series for π, sine and cosine, developed correction terms to accelerate their convergence, and wrote out the demonstrations.
The series are given in verse, with the coefficients encoded in the systems of chapter 6, and are attributed by later Kerala authors to Mādhava by name. The Yukti-bhāṣā of Jyeṣṭhadeva then does what no earlier Indian text had done at this length: it sets out the derivations in full, in Malayalam prose, including the summation of powers that a modern reader recognises as an integration.
Two claims to keep apart
Established: the series above were obtained in Kerala, with demonstrations, before their European discovery. This is not disputed by historians of mathematics.
Not established: that this work reached Europe and influenced Newton or Leibniz. There is a live and serious argument for transmission — Jesuit missionaries were in Kerala, collecting astronomical material, in the relevant period — but the documentary chain has not been closed. The honest statement is that transmission is possible and unproven. The Kerala achievement does not depend on it.
21Self-checkपरीक्षा
Check your reading
1 · Why did altar construction generate so much geometry?
Area preservation under change of shape, and scaling a figure by a given ratio, are exactly the problems the Śulba-sūtras solve.
2 · What does the word saviśeṣaḥ do at the end of Baudhāyana's √2 rule?
The Śulba texts distinguish carefully between exact constructions and approximations, and label the latter. This matters when assessing claims about the tradition's rigour.
3 · Naṣṭa and uddiṣṭa together amount to —
Row 15 → 0111 by naṣṭa; 0111 → row 15 by uddiṣṭa. A positional binary numeration with both conversions specified, around the third century BCE.
4 · What made Fermat's 1657 challenge — solve x² − 61y² = 1 — a hard one?
x = 1,766,319,049 and y = 226,153,980. The cakravāla finds it; trial and error does not.
5 · What is the strongest correct statement about the Kerala series and European calculus?
Both of the other two overstate what is known — in opposite directions. The first has no documentary chain; the second dismisses a serious and live scholarly argument.
Questions worth arguing about
Does Indian mathematics have proofs?
It depends what counts. If a proof must be a deductive derivation from stated axioms in the Euclidean manner, then mostly no — that programme was not attempted. If a proof is a demonstration that convinces a competent reader why a procedure works, then yes, abundantly: the upapatti tradition, the Yukti-bhāṣā above all, is exactly this. The interesting question is not which tradition had proofs but why the two developed such different conceptions of what a justification is for.
Why did the Kerala school not continue?
Nobody knows, and the honest answer includes several partial ones: the work was carried by a small lineage in a small region; it was written partly in Malayalam and partly in a verse idiom that limited its readership; the political and economic disruption of the coast from the sixteenth century onward was severe; and the mathematics had no institutional home comparable to a university. Any of these could be decisive, and there is no consensus.
Is the constructive style a limitation or an advantage?
Both, at different moments. It makes the tradition superb at algorithms and at problems that can be computed, and it produced results — the cakravāla, the sine recursion, the series with corrections — that a purely existential approach would not have reached. It is weaker at the questions that need a proof of impossibility, which is a genre the Greek tradition owned. Notably, the two styles are now much closer than they were: computational mathematics has made the constructive question respectable again.
22Glossaryशब्दकोशः
IAST
Devanāgarī
Sense
bhadra-gaṇita
भद्रगणित
The study of magic squares.
bhujā, koṭi, karṇa
भुजा, कोटि, कर्ण
The two sides and the hypotenuse of a right triangle.
bīja-gaṇita
बीजगणित
Algebra: “the calculus of elements”.
cakravāla
चक्रवाल
The cyclic method for x² − Ny² = 1.
citi
चिति
A pile or layer; hence a summed series.
jyā, koṭijyā
ज्या, कोटिज्या
Sine and cosine — literally bowstring and its complement.
kuṭṭaka
कुट्टक
“Pulveriser”: the algorithm for linear indeterminate equations.
lagakriyā
लगक्रिया
Counting patterns with a given number of light syllables; binomial coefficients.
meru-prastāra
मेरुप्रस्तार
The triangle of binomial coefficients.
naṣṭa / uddiṣṭa
नष्ट / उद्दिष्ट
Index-to-pattern and pattern-to-index conversion.
prastāra
प्रस्तार
The systematic array of all patterns of a given length.
śaṅku
शङ्कु
A gnomon: a vertical rod whose shadow is measured.
sarvatobhadra
सर्वतोभद्र
A pan-diagonal magic square.
śulba
शुल्ब
A cord; hence the geometry of cord construction.
upapatti
उपपत्ति
Demonstration; the justification of a procedure.
varga / ghana
वर्ग / घन
Square and cube; also the alternating place-classes in root extraction.