History of Hindu Mathematics: A Source Book v2.c17.s21: 23. Linear Functions Made Squares or Cubes
History of Hindu Mathematics: A Source Book v2.c17.s21
- Language
- English
23. Linear Functions Made Squares or Cubes
v2.c17.s21.1
**Square-pulveriser.** The indeterminate equation of the type
v2.c17.s21.2
$bx + c = y²$ is called *varga-kuṭṭaka* or the "Square-pulveriser,"¹ inasmuch as, when expressed in the form $(y²-c)/b = x,$ the problem reduces to finding a square (*varga*) which being diminished by c will be exactly divisible by b, which closely resembles the problem solved by the method of the pulveriser (*kuṭṭaka*).
v2.c17.s21.3
² *BBi*, p. 103 ; also *vide infra*, p. 280.
v2.c17.s21.4
For the solution in *integers* of an equation of this type, the method of the earlier writers appears to have been to assume suitable arbitrary values for y and then to solve the equation for x. Brahmagupta gives the following problems:
v2.c17.s21.5
“The residue of the sun on Thursday is lessened and then multiplied by 5, or by 10. Making this (result) an exact square, within a year, a person becomes a mathematician.”²
“The residue of any optional revolution lessened by 92 and then multiplied by 83 becomes together with unity a square. A person solving this within a year is a mathematician.”³
v2.c17.s21.6
² *BrSpSi*, xviii. 76.
v2.c17.s21.7
³ *BrSpSi*, xviii. 79.
v2.c17.s21.8
That is to say, we are to solve the equations: (1) & 5x - 25 = y², / (2) & 10x - 100 = y², / (3) & 83x - 7635 = y².
v2.c17.s21.9
Pṛthûdakasvâmî solves them thus:
v2.c17.s21.10
(1.¹) Suppose y = 10; then x = 125. Or, put y = 5; then x = 10. (2.1) Suppose y = 10; then x = 20. (3.1) Assume y = 1; then x = 92.
v2.c17.s21.11
¹ *BBi*, p. 122.
v2.c17.s21.12
He then remarks that by virtue of the multiplicity of suppositions there will be an infinitude of solutions in every case. But no method has been given either by Brahmagupta or by his commentator Pṛthûdakasvâmî to obtain the general solution.
v2.c17.s21.13
The above method is remainder should be increased by so many times the divisor as will make a square. If this is not possible, then the problem is not soluble."¹
v2.c17.s21.14
¹ *BBi*, p. 121.
v2.c17.s21.15
*Case i.* Let *c* be a square, equal to β², say. Then we have to solve $bx + β² = y².$ The rule says, find *p* such that $p² = bq, 2pβ = br.$ Then assume $y = pu + β ;$ whence we get $x = qu² + ru.$
v2.c17.s21.16
Bhâskara II prefers the assumption $y = bv + β,$ so that we have $x = bv² + 2β v.$
v2.c17.s21.17
*Case ii.* If *c* is not a square, suppose c = bm + n. Then find *s* such that $n + sb = r².$ Now assume $y = bu ± r.$
v2.c17.s21.18
Substituting this value in the equation bx + c = y², we get bx + c &= (bu ± r)² / &= b²u² ± 2bru + r², / or bx + c - r² &= b²u² ± 2bru, / or bx + b(m - s) &= b²u² ± 2bru. / \therefore x &= bu² ± 2ru - (m - s).
v2.c17.s21.19
*Example* from Bhâskara II :² $7x + 30 = y².$
v2.c17.s21.20
On dividing 30 by 7 the remainder is found to be 2; we also know that 2 + 7.2 = 4². Therefore, we assume in accordance with the above rule $y = 7u ± 4;$ whence we get $x = 7u² ± 8u - 2,$ which is the general solution.
v2.c17.s21.21
² *BBi*, pp. 120, 121.
v2.c17.s21.22
**Cube-pulveriser.** The indeterminate equation of the type $bx + c = y³$ is called the *ghana-kuṭṭaka* or the "Cube-pulveriser."¹ For its solution in integers Bhâskara II says :
v2.c17.s21.23
¹ *BBi*, p. 122.
v2.c17.s21.24
"A method similar to the above may be applied also in the case of a cube thus : (find) a number whose cube is exactly divisible by the divisor, as also its product by thrice the cube-root of the absolute term. An unknown multiplied by that number and superadded by the cube-root of the absolute term should be assumed. If there be no cube-root of the absolute term, then after dividing it by the divisor, so many times the divisor should be added to the remainder as will make a cube. The cube-root of that will be the root of the absolute number. If there cannot be found a cube, even by so doing, that problem will be insoluble."²
v2.c17.s21.25
² *BBi*, p. 121.
v2.c17.s21.26
*Case i.* Let c = β³. Then we shall have to find p such that p³ = bq, 3pβ = br. Now assume y = pv + β. Substituting in the equation bx + β³ = y³ we get bx + \beta³ &= (pv + \beta)³ / &= p³v³ + 3pv\beta(pv + \beta) + \beta³, / or \phantom{bx + \beta³} bx &= bqv³ + brv(pv + \beta). / \therefore \phantom{bx + \beta³} x &= qv³ + rv(pv + \beta).
v2.c17.s21.27
Or, if we assume y = bv + β, we shall have $x = b²v³ + 3β v(bv + β).$
v2.c17.s21.28
*Case ii.* c ≠ a cube. Suppose c = bm + n; then find s such that $n + sb = r³.$ Now assume y = bv + r, whence we get $x = b²v³ + 3rv(bv + r) - (m - s),$ as the general solution.
v2.c17.s21.29
*Example from Bhâskara II :*¹ $5x + 6 = y³.$ Since 6 = 5.1 + 1 and 1 + 43.5 = 6³, we assume y = 5v + 6. Therefore x = 25v³ + 18v(5v + 6) + 42, is the general solution.
v2.c17.s21.30
¹ *BBi*, p. 122.
v2.c17.s21.31
**Equation bx ± c = ay².** To solve an equation of the type $ay² = bx ± c,$ Bhâskara II says :
v2.c17.s21.32
"Where the first side of the equation yields a root on being multiplied or divided² (by a number), there also the divisor will be as stated in the problem but the absolute term will be as modified by the operations."³
v2.c17.s21.33
² The printed text has *hitvâ kṣiptâ* (subtracting or adding). After collating with several copies Colebrooke accepted the reading *hatvâ kṣiptâ* (multiplying or adding). But we think that the correct reading should be *hatvâ hṛtvâ* (multiplying or dividing). For in his gloss Bhâskara II has employed the terms *guṇito vibhakto va* (multiplied or divided). Our emendation is further supported by the rationale of the rule.
v2.c17.s21.34
³ *BBi*, p. 121.
v2.c17.s21.35
What is implied is this: Multiplying both sided of the given equation by *a*, we get $a²y² = abx ± ac,$ Put u = ay, v = ax. Then the equation reduces to $u² = bv ± ac,$ which can be solved in the way described before.
v2.c17.s21.36
We take the following illustrative example with its solution from Bhâskara II :¹ 5y² + 3 = 16x. Multiplying by 5, and putting u = 5y, v = 5x, we get u² = 16v - 15. The solution of this is u = 8w ± 1, v = 4w² ± w + 1. Therefore, we have (1) 5y &= 8w + 1, / or (2) 5y &= 8w - 1. Now, solving by the method of the pulveriser, we get the solution of (1) as y = 8t + 5, w = 5t + 3; and that of (2) as y = 8t + 3, w = 5t + 2; where *t* is any rational number.
v2.c17.s21.37
¹ *BBi*, p. 121.
v2.c17.s21.38
**Equation bx ± c = ayn.** After describing the above methods Bhâskara II observes, *ityagre'pi yojyamiti śeṣaḥ* or "the same method can be applied further on (*i.e.*, to the cases of higher powers).”¹ Again at the end of the section he has added *evaṁ buddhimadbhiranyadapi yathâsambhavaṁ yojyam*, *i.e.*, “similar devices should be applied by the intelligent to further cases as far as practicable.”² What is implied is as follows :
v2.c17.s21.39
¹ *BBi*, p. 121.
v2.c17.s21.40
² *BBi*, p. 122.
v2.c17.s21.41
(1) To solve (xn ± c)/b = y.
v2.c17.s21.42
Put x = mz ± k. Then (x^n ± c)/b = 1/b{ m^n z^n ± n mn-1 zn-1 k &+ (n(n-1))/2 mn-2 zn-2 k² ± / &\dots + n m z (± k)n-1 + (± k)^n ± c } / = 1/b{ m^n z^n ± n mn-1 zn-1 k &+ \dots + n m z (± k)n-1 } / &+ (±)^n ( (k^n ± c)/b ).
v2.c17.s21.43
Now, if $(kn ± c)/b = a whole number,$ (xn ± c)/b will be an integral number when (1) m = b or (2) b is a factor of mn, n mn-1 k, etc. Or, in other words, knowing one integral solution of (1) an infinite number of others can be derived.
v2.c17.s21.44
(2) To solve (a xn ± c)/b = y.
v2.c17.s21.45
Multiplying by an-1, we get $(an xn ± c an-1)/b = y an-1.$
v2.c17.s21.46
Putting u = ax, v = yan-1, we have $(un ± can-1)/b = v,$ which is similar to case (1).
Linked texts (2)
- Brāhmasphuṭasiddhānta — Brahmagupta, Sanskrit
- Bījagaṇita — Bhāskara II, Sanskrit