# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Pell's equation

Pell's equation is any Diophantine equation of the form

x2 - ny2 = 1

where n is a nonsquare integer. In calling it "Diophantine" we are really saying what we intend to do with the equation rather than describing any intrinsic property of the equation: we intend to seek solutions in which both x and y are integers. Infinitely many such solutions of this equation exist. The solutions yield good rational approximations to the square root of the natural number n.

The name of this equation arose from Leonhard Euler's mistakenly attributing its study to John Pell. Euler was aware of the work of Lord Brouncker, the first European to find a general solution of the equation, but apparently confused Brouncker with Pell. In fact, this equation had been studied extensively by Indian mathematicians, starting with Brahmagupta about a thousand years before Pell's time, and subsequently by Bhaskara II in the 12th century, and later by Narayana in the 14th century.

As motivation, consider the square root of two. It is often approximated 1.414..., which some might incorrectly interpret as 1.41414141414..., or 140/99. Likewise, the reciprocal of the square root of two to three decimal places is 0.707, which is suggestive of 0.70707070..., or 70/99. If 70/99 approximates the reciprocal of the square root of two, it follows that 99/70 approximates the square root of two. As it turns out, the square root of two is between 140/99 and 99/70. The arithmetic mean of these two rationals is 19601/13860. That number squared is 384199201/192099600. It turns out that 2 times the denominator 192099600 is 384199200, which differs from the numerator by only one. p = 19601 and q = 13860 satisfies the Diophantine equation 2q2 + 1 = p2. Any fraction of natural numbers p and q that satisfy this equation will be a reasonably good approximation for the square root of two.

More generally, if n is a given natural number, then any fraction of natural numbers p and q that satisfy the Pell's equation

nq2 + 1 = p2

is a reasonably good approximation for the square root of n. The larger the numbers p and q, the better the approximation.

It turns out that if both (a, b) and (c, d) satisfy a Pell's equation, then so do

and

Fermat proved that p and q can always be found to satisfy a Pell's equation for any natural number n that is not a perfect square. Given a computer with bignum capability, this makes it easy to converge rapidly toward any irrational square root of a n. As an added bonus, a Pell's equation can always be solved in a finite number of steps by calculating the continued fraction representation of the square root of n.

A general development of solutions of Pell's equation in terms of continued fractions can be presented, as these arise as a special case of quadratic irrationals. Gauss classified such solutions into 64 or 65 sets, with the precise classification of one or the other implying the truth or falsity of the Riemann hypothesis.

The relationship to the continued fractions implies that the solutions to Pell's equation form a semigroup subset of the modular group. Thus, for example, if p and q satisfy Pell's equation, then

$\begin{pmatrix} p & q \\ nq & p \end{pmatrix}$

is a matrix of unit determinant. Products of such matrices take exactly the same form, and thus all such products yield solutions to Pell's equation. This can be understood in part to arise from the fact that successive convergents of a continued fraction share the same property: If pn - 1 / qn - 1 and pn / qn are two successive convergents of a continued fraction, then the matrix

$\begin{pmatrix} p_{n-1} & p_{n} \\ q_{n-1} & q_{n} \end{pmatrix}$

has determinant +1 or -1.

03-10-2013 05:06:04