Mahāvīra: a negative quantity has no square root — the first acknowledgement of imaginary numbers as impossible

# Mahāvīra: a negative quantity has no square root — the first acknowledgement of imaginary numbers as impossible

In 850 CE, in chapter I verse 52 of the *Ganita-sara-sangraha*, Mahāvīra wrote a single sentence that took European mathematics another 700 years to write down:

> As in the nature of things a negative (quantity) is not a square > (quantity), it has therefore no square root. > > — *Ganita-sara-sangraha* I.52, trans. M. Rangacarya (1912)

The reasoning is straightforward. Squaring a real number always produces a non-negative result: $x^2 = x \cdot x$ is positive when $x$ is positive, positive when $x$ is negative (because $(-x)(-x) = +x^2$ by the sign rules), and zero only when $x$ is zero. Therefore the inverse operation — taking the square root — has no real-number answer when applied to a negative input.

That is the foundational impossibility statement. It's the recognition that the equation $x^2 = -n$ for positive $n$ has no real solution. It is the wall that European mathematics, in the 16th century, would discover the only way out is to go *through* — by inventing imaginary numbers.

Mahāvīra didn't take that next step. He stated the impossibility and stopped. But the impossibility-statement is the conceptual move that the entire subsequent history of complex numbers required as its starting point.

The journey through the wall — European chronology

Cardano, Bombelli, Wessel, Gauss, Hamilton.

**Girolamo Cardano** (1545, *Ars Magna*). Cardano was working on the cubic formula — the closed-form solution to $x^3 + bx + c = 0$ — and discovered something unsettling: even for cubics with three real roots, his formula required taking the square root of a negative quantity *as an intermediate step*. The final answer was real, but the computation passed through what we now call complex numbers.

Cardano called these intermediate quantities *radices ficta* ("fictitious roots") and treated them as a formal calculation trick. He explicitly did not believe they corresponded to anything mathematically real.

**Rafael Bombelli** (1572, *L'Algebra*). Bombelli, a Bolognese engineer who used Cardano's cubic formula professionally for calculating water-flow problems, noticed that *if* you formally manipulated Cardano's "fictitious" intermediate quantities using consistent algebraic rules, the final answers came out correct. Bombelli laid down those rules:

- $\sqrt{-1} \cdot \sqrt{-1} = -1$ (he calls $\sqrt{-1}$ "*piu di meno*" — "plus of minus") - the standard addition and multiplication rules carry over

This is the first European formal algebra of complex numbers — *workable* algebra, not just acknowledgement.

**Caspar Wessel** (1799, *On the Analytical Representation of Direction*). The Danish surveyor who first gave the geometric interpretation: complex numbers correspond to points in a plane, with addition by vector translation and multiplication by rotation combined with scaling. The *complex plane* is Wessel's. He published in Danish in a Royal Academy proceeding that European mathematicians didn't read; the result was independently re-discovered by Argand (1806) and Gauss.

**Carl Friedrich Gauss** (1799-1832). Gauss formalised complex numbers as ordered pairs $(a, b)$ representing $a + bi$, proved the *fundamental theorem of algebra* (every polynomial of degree $n$ has exactly $n$ complex roots), and made complex numbers a routine tool in number theory and analysis. The phrase "complex number" is Gauss's.

**William Rowan Hamilton** (1837). Final axiomatisation: complex numbers as a two-dimensional algebra over the reals, with multiplication satisfying specific axioms. Modern textbook complex numbers are Hamilton's formalisation.

What Mahāvīra contributed

The European chronology starts from a *crisis* — Cardano's cubic formula generating answers his theory couldn't accept. The Sanskrit tradition reached the impossibility statement from a different direction: *systematic curriculum reasoning*.

The *Ganita-sara-sangraha* is a textbook. Chapter I is the foundations chapter — definitions, basic operations, sign rules. Verse I.52 is one of the chapter's closing statements about the arithmetic of signed numbers. Before stating the impossibility, verse I.52 also states:

- $(+x)^2 = +x^2$ - $(-x)^2 = +x^2$ - both $+x$ and $-x$ are square roots of the same $+x^2$

That's the explicit recognition of *the multi-valued nature of the square root function* on positives, paired with the recognition of its *undefined-ness* on negatives. The sign-arithmetic Brahmagupta [wrote down 222 years earlier](/c/956cdea3-3b11-535c-844b-de8c73a129aa) laid the groundwork; Mahāvīra closed out the natural follow-up question ("can we always undo a square?") with an honest "no, not on the negatives."

What Mahāvīra DID NOT do

Important honest framing. Three things are not in *Ganita-sara- sangraha* I.52:

1. **No imaginary numbers.** Mahāvīra does not introduce $\sqrt{-1}$ as a new mathematical object. He says the operation is undefined and stops. 2. **No formal algebra over the negatives.** No rules like $\sqrt{-1} \cdot \sqrt{-1} = -1$ appear in the Sanskrit tradition before Bombelli's 16th-century European work. 3. **No geometric interpretation.** The complex plane is Wessel's 1799 insight.

The wow here is the *acknowledgement of the impossibility*. That's a small but real conceptual move. Before the impossibility is acknowledged, no one is asking "but what if we allow it anyway?" After it's acknowledged, the door opens.

Indian mathematical tradition keeps the impossibility-statement in the curriculum but doesn't try to walk through it. Bhāskara II (1150 CE) restates Mahāvīra in the *Bijaganita*. The Kerala school (~1500 CE) uses Mahāvīra's algebra freely but doesn't extend to complex numbers. The opening of the door is the European 16th- century contribution.

The honest comparison

Both traditions are real:

- Sanskrit (850 CE): **states the impossibility clearly**, doesn't extend. - European (1545-1799): **forces a way through**, gives the operation a workable algebra, then a geometric interpretation, then a formal foundation.

Modern complex-number theory is the European chain. The impossibility-statement that necessarily precedes it is Mahāvīra's. Both are genuine mathematical achievements; neither is reducible to the other.

When undergraduate algebra textbooks introduce complex numbers, they typically start with: "$x^2 = -1$ has no real solution. *Suppose* we define a new number $i$ such that $i^2 = -1$..." The "$x^2 = -1$ has no real solution" line is the move Mahāvīra wrote down in 850 CE. The "*suppose*" is what Bombelli added 722 years later.

What this leaves us with

A single Sanskrit sentence. The acknowledgement of an impossibility. The reasoning is honest and complete — every square is non-negative, no real number squares to a negative, therefore $\sqrt{a}$ for negative $a$ has no real-number answer.

That impossibility doesn't have to be the end of the story. In Mahāvīra's tradition, it was. In the European tradition, it became the doorway to imaginary numbers, the complex plane, and ultimately the analytic foundations of modern quantum mechanics. Both stories start at the same place — Mahāvīra's verse.

---

Sources

- [The Ganita-sara-sangraha of Mahāvīrācārya, M. Rangacarya trans., 1912](https://archive.org/details/RangacaryaTheGanitaSaraSangrahaOfMahavira1912) — verse I.52 cited above. - Cardano, G. (1545). *Ars Magna*. — first European encounter with $\sqrt{-15}$ as a "fictitious" intermediate. - Bombelli, R. (1572). *L'Algebra*. Bologna. — first formal algebra of complex numbers in the European tradition. - Gauss, C. F. (1832). "Theoria residuorum biquadraticorum, Commentatio secunda." *Commentationes societatis regiae scientiarum Gottingensis* 7. — the formal-foundation paper that coined "complex number." - Nahin, P. J. (1998). *An Imaginary Tale: The Story of √(-1)*. Princeton University Press. — comprehensive history.

Related claims

- [Brahmagupta on negative × negative = positive](/c/956cdea3-3b11-535c-844b-de8c73a129aa) — the predecessor verse: same Sanskrit tradition, 222 years earlier, the sign-multiplication rules that make Mahāvīra's I.52 reasoning cohere. - [Mahāvīra writes down nCr](/c/50f870a0-ac17-52a9-ad76-d91de7ac23f6) — same author, same treatise, the combinatorics formula.