Pell number

In mathematics, the Pell numbers are an infinite sequence of integers, known since ancient times, that comprise the denominators of the closest rational approximations to the square root of 2. This sequence of approximations begins 1/1, 3/2, 7/5, 17/12, and 41/29, so the sequence of Pell numbers begins with 1, 2, 5, 12, and 29. The numerators of the same sequence of approximations are half the companion Pell numbers or Pell-Lucas numbers; these numbers form a second infinite sequence that begins with 2, 6, 14, 34, and 82.

In words, the sequence of Pell numbers starts with 0 and 1, and then each Pell number is the sum of twice the previous Pell number and the Pell number before that. The first few terms of the sequence are

For large values of n, the term dominates this expression, so the Pell numbers are approximately proportional to powers of the silver ratio, analogous to the growth rate of Fibonacci numbers as powers of the golden ratio.

then their ratio provides a close approximation to . The sequence of approximations of this form is

where the denominator of each fraction is a Pell number and the numerator is the sum of a Pell number and its predecessor in the sequence. That is, the solutions have the form . The approximation

of this type was known to Indian mathematicians in the third or fourth century B.C.[3] The Greek mathematicians of the fifth century B.C. also knew of this sequence of approximations:[4] Plato refers to the numerators as rational diameters.[5] In the 2nd century CE Theon of Smyrna used the term the side and diameter numbers to describe the denominators and numerators of this sequence.[6]

Truncating this expansion to any number of terms produces one of the Pell-number-based approximations in this sequence; for instance,

As Knuth (1994) describes, the fact that Pell numbers approximate allows them to be used for accurate rational approximations to a regular octagon with vertex coordinates and . All vertices are equally distant from the origin, and form nearly uniform angles around the origin. Alternatively, the points , , and form approximate octagons in which the vertices are nearly equally distant from the origin and form uniform angles.

As with the Fibonacci numbers, a Pell number can only be prime if n itself is prime, because if and only if a divides b, then divides .

If and only if a prime pcongruent to 1 or 7 (mod 8), then p divides Pp-1, otherwise, p divides Pp+1. (The only exception is p = 2, if and only if p = 2, then p divides Pp)

The only Pell numbers that are squares, cubes, or any higher power of an integer are 0, 1, and 169 = 132.[7]

However, despite having so few squares or other powers, Pell numbers have a close connection to square triangular numbers.[8] Specifically, these numbers arise from the following identity of Pell numbers:

The left side of this identity describes a square number, while the right side describes a triangular number, so the result is a square triangular number.

Santana and Diaz-Barrero (2006) prove another identity relating Pell numbers to squares and showing that the sum of the Pell numbers up to is always a square:

For instance, the sum of the Pell numbers up to , , is the square of . The numbers forming the square roots of these sums,

Integer right triangles with nearly equal legs, derived from the Pell numbers.

If a right triangle has integer side lengths a, b, c (necessarily satisfying the Pythagorean theorema2+b2=c2), then (a,b,c) is known as a Pythagorean triple. As Martin (1875) describes, the Pell numbers can be used to form Pythagorean triples in which a and b are one unit apart, corresponding to right triangles that are nearly isosceles. Each such triple has the form

In words: the first two numbers in the sequence are both 2, and each successive number is formed by adding twice the previous Pell-Lucas number to the Pell-Lucas number before that, or equivalently, by adding the next Pell number to the previous Pell number: thus, 82 is the companion to 29, and 82 = 2 * 34 + 14 = 70 + 12. The first few terms of the sequence are (sequence A002203 in OEIS): 2, 2, 6, 14, 34, 82, 198, 478...

The following table gives the first few powers of the silver ratio and its conjugate .

0

1

2

3

4

5

6

7

8

9

10

11

12

The coefficients are the half companion Pell numbers and the Pell numbers which are the (non-negative) solutions to . A square triangular number is a number which is both the th triangular number and the th square number. A near isosceles Pythagorean triple is an integer solution to where .

The next table shows that splitting the odd number into nearly equal halves gives a square triangular number when n is even and a near isosceles Pythagorean triple when n is odd. All solutions arise in this manner.

Since is irrational, we can't have i.e. . The best we can achieve is either or .

The (non-negative) solutions to are exactly the pairs even and the solutions to are exactly the pairs odd. To see this, note first that

so that these differences, starting with are alternately . Then note that every positive solution comes in this way from a solution with smaller integers since . The smaller solution also has positive integers with the one exception which comes from .

^For the matrix formula and its consequences see Ercolano (1979) and Kilic and Tasci (2005). Additional identities for the Pell numbers are listed by Horadam (1971) and Bicknell (1975).

^As recorded in the Shulba Sutras; see e.g. Dutka (1986), who cites Thibaut (1875) for this information.

^See Knorr (1976) for the fifth century date, which matches Proclus' claim that the side and diameter numbers were discovered by the Pythagoreans. For more detailed exploration of later Greek knowledge of these numbers see Thompson (1929), Vedova (1951), Ridenhour (1986), Knorr (1998), and Filep (1999).

^For instance, as several of the references from the previous note observe, in Plato's Republic there is a reference to the "rational diameter of 5", by which Plato means 7, the numerator of the approximation 7/5 of which 5 is the denominator.

^Pethő (1992); Cohn (1996). Although the Fibonacci numbers are defined by a very similar recurrence to the Pell numbers, Cohn writes that an analogous result for the Fibonacci numbers seems much more difficult to prove. (However, this was proven in 2006 by Bugeaud et al.)