We will discuss below whether Pell's equation is properly named. By this we mean simply: did Pell contribute at all to the study of Pell's equation? There is no doubt that the equation had been studied in depth for hundreds of years before Pell was born. In fact the first contribution by Brahmagupta was made around 1000 years before Pell's time and it is with Brahmagupta's contribution that we begin our historical study.

First let us say what Pell's equation is. We are talking about the indeterminate quadratic equation

Now, although it is fair to say that Brahmagupta was the first to study this equation, it is equally possible to see that earlier authors had studied problems related to Pell's equation. To mention some briefly: Diophantus examines problems related to Pell's equation and we can reduce Archimedes' "cattle problem" to solving Pell's equation although there is no evidence that Archimedes made this connection.

Let us first note that

(*b*^{2} - *na*^{2})(*d*^{2} - *nc*^{2}) = (*bd* + *nac*)^{2} - *n*(*bc* + *ad*)^{2}

and
(*b*^{2} - *na*^{2})(*d*^{2} - *nc*^{2}) = (*bd* - *nac*)^{2} - *n*(*bc* - *ad*)^{2}

From this we see that if
(*bd* + *nac*)^{2} - *n*(*bc* + *ad*)^{2} = 1

and
(*bd* - *nac*)^{2} - *n*(*bc* - *ad*)^{2} = 1.

In other words, if (
(*bc* + *ad*, *bd* + *nac*) and (*bc* - *ad*, *bd* - *nac*).

This fundamentally important fact generalises easily to give Brahmagupta's lemma, namely that if (
(*bc* + *ad*, *bd* + *nac*) and (*bc* - *ad*, *bd* - *nac*)

are both integer solutions of the 'Pell type equation'
One property that he deduced was that if (*a*, *b*) satisfies Pell's equation so does (2*ab*, *b*^{2} + *na*^{2}). This follows immediately applying the method of composition to (*a*, *b*) and (*a*, *b*). Now of course the method of composition can be applied again to (*a*, *b*) and (2*ab*, *b*^{2}+ *na*^{2}) to get another solution and Brahmagupta immediately saw that from one solution of Pell's equation he could generate many solutions.

This was not the only way that Brahmagupta used the method of composition. He also noted that, using a similar argument to what we have just given, if *x* = *a*, *y* = *b* is a solution of *nx*^{2} + *k* = *y*^{2} then applying the method of composition to (*a*, *b*) and (*a*, *b*) gave (2*ab*, *b*^{2} + *na*^{2}) as a solution of *nx*^{2} + *k*^{2} = *y*^{2} and so, dividing through by *k*^{2}, gives

How does this help? These values of *x* and *y* do not look like integers. Well if *k* = 2 then, since (*a*, *b*) is a solution of *nx*^{2} + *k* = *y*^{2} we have *na*^{2} = *b*^{2} - 2. Thus

*y* = (*b*^{2} + *na*^{2})/2 = (2*b*^{2} - 2)/2 = *b*^{2} - 1

For example, if we attempt to solve 23*x*^{2} + 1 = *y*^{2} we see that *a* = 1, *b* = 5 satisfies 23*a*^{2} + 2 = *b*^{2} so, by the above argument, *x* = 5, *y* = 24 satisfies Pell's equation. Applying the method of composition to the pair (5, 24) gives

Among the examples Brahmagupta gives himself is a solution of Pell's equation

83*x*^{2} + 1 = *y*^{2}

where he notes that the pair (1, 9) satisfies
83×1^{2} - 2 = 9^{2}

and applies his method to find the solution
(9, 82),

(1476, 13447),

(242055, 2205226),

(39695544, 361643617),

(6509827161, 59307347962),

(1067571958860, 9726043422151),

(175075291425879, 1595011813884802)

and so on.
(1476, 13447),

(242055, 2205226),

(39695544, 361643617),

(6509827161, 59307347962),

(1067571958860, 9726043422151),

(175075291425879, 1595011813884802)

One can only marvel at this brilliant work done by Brahmagupta in 628 AD.

The next step forward was taken by Bhaskara II in 1150. He discovered the cyclic method, called *chakravala* by the Indians, which was an algorithm to produce a solution to Pell's equation *nx*^{2} + 1 = *y*^{2} starting off from any "close" pair (*a*, *b*) with *na*^{2} + *k* = *b*^{2}. We can assume that *a* and *b* are coprime, for otherwise we could divide each by their gcd and get a "closer" solution with smaller *k*. Clearly *a*, *k* are then also coprime.

The method relies on a simple observation, namely that, for any *m*, (1, *m*) satisfies the 'Pell type equation'

Next Bhaskara II knows that there are infinitely many *m* such that *am* + *b* is divisible by *k*. He chooses the one which makes *m*^{2} - *n* as small as possible in absolute value. If (*m*^{2} - *n*)/*k* is one of 1, -1, 2, -2, 4, -4 then we can apply Brahmagupta's method to find a solution to Pell's equation *nx*^{2} + 1 = *y*^{2}. If (*m*^{2} - *n*)/*k* is not one of these values then repeat the process starting this time with the solution *x* = (*am* + *b*)/*k*, *y* = (*bm* + *na*)/*k* to the 'Pell type equation' *nx*^{2} + (*m*^{2} - *n*)/*k* = *y*^{2} in exactly the same way as we applied the process to *na*^{2} + *k* = *b*^{2}. Bhaskara II knows (almost certainly by experience rather than by having a proof) that the process will end after a finite number of steps. This happens when an equation of the form *nx*^{2} + *t* = *y*^{2} is reached where *t* is one of 1, -1, 2, -2, 4, -4.

Bhaskara II gives examples in *Bijaganita* and the first we look at is

61*x*^{2} + 1 = *y*^{2}.

Using the above method he chooses
Why do we suspect that Bhaskara II had no proof of the method? Well there are at least two reasons. Firstly the proof is long and difficult and would appear to be well beyond 12^{th} Century mathematics. Secondly the algorithm always reaches a solution of Pell's equation after a finite number of steps without stopping when an equation of the type *nx*^{2} + *k* = *y*^{2} where *k* = -1, 2, -2, 4, or -4 is reached and then applying Brahmagupta's method. If experience of the algorithm is only via examples then, knowing how to proceed when *k* = -1, 2, -2, 4, or -4 is reached, it is natural to switch to Brahmagupta's method at that point. However, when one writes down a proof it should become clear that the algorithm switching to Brahmagupta's method is never necessary (although can reach the solution more quickly).

The next contribution to Pell's equation was made by Narayana who, in the 14^{th} Century, wrote a commentary on Bhaskara II's *Bijaganita.* Narayana gave some new examples of the cyclic method. Here are two of his examples:

103*x*^{2} + 1 = *y*^{2}.

Choosing
103×1^{2} - 3 = 10^{2}.

Choose
103×7^{2} - 6 = 71^{2}.

Next we must choose
103×20^{2} + 9 = 203^{2}.

Continuing, choose
103×47^{2} + 2 = 477^{2}.

Now Narayana applies Brahmagupta's method, in the form we gave above for equations with
97*x*^{2} + 1 = *y*^{2}

which leads successively, by applying the cyclic method, to the equations
97×1^{2} + 3 = 10^{2}

Finally Narayana applies Brahmagupta's method to this last equation to get the solution
97×7^{2} + 8 = 69^{2}

97×20^{2} + 9 = 197^{2}

97×53^{2} + 11 = 522^{2}

97×86^{2} - 3 = 847^{2}

97×569^{2} - 1 = 5604^{2}

Narbonese Gaul, of course, was the area around Toulouse where Fermat lived! One of Fermat's challenge problems was the same example of Pell's equation which had been studied by Bhaskara II 500 years earlier, namely to find solutions toWe await these solutions, which, if England or Belgic or Celtic Gaul do not produce, then Narbonese Gaul will.

61*x*^{2} + 1 = *y*^{2}.

Several mathematicians participated in Fermat's challenge, in particular Frenicle de Bessy, Brouncker and Wallis. There followed an exchange of letters between these mathematicians during 1657-58 which Wallis published in
313*x*^{2} + 1 = *y*^{2}.

Brouncker found the smallest solutions, using his method, which is
In *Commercium epistolicum* Wallis gave two methods of proving Brahmagupta's lemma which are both essentially equivalent to the argument we gave at the beginning of this article based on the result

(*b*^{2} - *na*^{2})(*d*^{2} - *nc*^{2}) = (*bd* + *nac*)^{2} - *n*(*bc* + *ad*)^{2}.

In 1658 Rahn published an algebra book which contained an example of Pell's equation. This book was written with help from Pell and it is the only known connection between Pell and the equation which has been named after him.
Wallis published *Treatise on Algebra* in 1685 and Chapter 98 of that work is devoted to giving methods to solve Pell's equation based on the exchange of letters he had published in *Commercium epistolicum* in 1658. However, in his algebra text Wallis put all the methods into a standard form.

We should note that by this time several mathematicians had claimed that Pell's equation *nx*^{2} + 1 = *y*^{2} had solutions for any *n*. Wallis, describing Brouncker's method, had made that claim, as had Fermat when commenting on the solutions proposed to his challenge. In fact Fermat claimed, correctly of course, that for any *n* Pell's equation had infinitely many solutions.

Euler gave Brahmagupta's lemma and its proof in a similar form to that which we have given above. He was, of course, aware of the work of Brouncker on Pell's equation as presented by Wallis, but he was totally unaware of the contributions of the Indian mathematicians. He gave the basis for the continued fractions approach to solving Pell's equation which was put into a polished form by Lagrange in 1766. The other major contribution of Euler was in naming the equation "Pell's equation" and it is generally believed that he gave it that name because he confused Brouncker and Pell, thinking that the major contributions which Wallis had reported on as due to Brouncker were in fact the work of Pell.

Lagrange published his *Additions to Euler's Elements of algebra* in 1771 and this contains his rigorous version of Euler's continued fraction approach to Pell's equation. This established rigorously the fact that for every *n* Pell's equation had infinitely many solutions. The solution depends on the continued fraction expansion of √*n*. In the continued fraction of the square root of an integer the same denominators recur periodically. Moreover, the pattern in most of the recurring sequence is "palindromic". i.e. up to the last element, the second half of the periodic sequence is the first half in reverse. The last number in the repeating sequence is double the integer part of the square root.

For example √19 has the continued fraction expansion

which recurs with length 6. The convergent immediately before the point from which it repeats is ^{170}/_{39} and Lagrange's theory says that

19*x*^{2} + 1 = *y*^{2}.

To find the infinite series of solutions take the powers of 170 + 39√19. For example
(170 + 39√19)^{2} = 57799 + 13260√19

and
(170 + 39√19)^{3} = 19651490 + 4508361√19

giving
57799 + 13260√19

Although the continued fraction approach to solving Pell's equation is a very nice one for small values on 19651490 + 4508361√19

6681448801 + 1532829480√19

2271672940850 + 521157514839√19

772362118440199 + 177192022215780√19

262600848596726810 + 60244766395850361√19

89283516160768675201 + 20483043382566906960√19

**Article by:** *J J O'Connor* and *E F Robertson*

**MacTutor History of Mathematics**

[http://www-history.mcs.st-andrews.ac.uk/HistTopics/Pell.html]