The Pellian Equation x2 −Dy2 = 1 A General Method (Part XIIA)
A Method for Generating Pellian Triples from Paired Sequences P(n) (x,y,1)
The Pellian equation is the Diophantine equation
x2 − Dy2 = z2 where z equals 1.
The least solutions of the Pell equation are posted in Wikipedia. and also listed in Table 91, page 254 of Recreations in the Theory of Numbers by Albert H. Beiler (1966), where the values for D on page 252-253 have been computed using the following two expressions:
x = [(p + q√D)n + (p − q√D)n ∕ 2]
y = [(p + q√D)n + (p − q√2D)n ∕ 2√2D)]
The tables in these two articles show a series of numbers of which I will focus on those triples of the type (x,y,1) starting at (3,2,1) and D = 2.
It will be shown here that we can continue generating all those values of x not listed in these articles by employing a general sequence method where the specific seqeunces from this general method may or may not be in the OEIS database. The sequences uses the expression consisting of a pair of numbers and the corresponding x values while keeping y constant:
P(n) = n(an − 2), n(an + 2)
x(n) = an − 1, an + 1
corresponding to the various D and x values in the sequence where each pair uses the same value of n, and a is equal to the square of y. Thus, this method is a way of obtaining the Pellian triples from the set of square numbers S = {(y1)2,(y2)2,(y3)2,...} of which a miniscule number are found in the tables of the above articles.
However, as a check once we find D and its corresponding x value we can backtrack and find y according to the following:
y = ⌊ x/√D ⌋ = a½
where y is the floor(y) value, i.e., rounded down to the nearest integer equal to the square root of a.
Accordingly, Tables D and E shows the calculation of P(n) and x(n) for a, viz., the square numbers 1,4,9,16,25,36,49,64,81 and n 1 to 5, producing the following tabulated results for D and x. Values of y from the floor(y) are calculated from the previous two rows, another way of verifying for the value of y. Moreover, when y = 1 the D and xs are repeated so that we can eliminate the n(n − 2) and n − 1 and just focus on the n(n + 2) and n + 1 . The sequence for these D numbers (where y = 1 in Table D) is listed in the OEIS database entry A005563 as n(n + 2).
Table D
n | 1 | 1 | 2 | 2 | 3 | 3 | 4 | 4 |
5 | 5 |
D | -1 | 3 | 0 | 8 | 3 | 15 | 8 | 24 | 15 | 35 |
x | 0 | 2 | 1 | 3 | 2 | 4 | 3 | 5 | 4 | 6 |
y | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| | | | | | | | | | |
D | 2 | 6 | 12 | 20 | 30 | 42 | 56 | 72 | 90 | 110 |
x | 3 | 5 | 7 | 9 | 11 | 13 | 15 | 17 | 19 | 21 |
y | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
| | | | | | | | | | |
D | 7 | 11 | 32 | 40 | 75 | 87 | 136 | 152 | 215 | 235 |
x | 8 | 10 | 17 | 19 | 26 | 28 | 35 | 37 | 53 | 55 |
y | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 |
| | | | | | | | | | |
D | 14 | 18 | 60 | 68 | 138 | 150 | 248 | 264 | 390 | 410 |
x | 15 | 17 | 31 | 33 | 47 | 49 | 63 | 65 | 79 | 81 |
y | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 |
| | | | | | | | | | |
D | 23 | 27 | 96 | 104 | 219 | 231 | 392 | 408 | 615 | 635 |
x | 24 | 26 | 49 | 51 | 74 | 76 | 99 | 101 | 124 | 126 |
y | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 |
Table E
n | 1 | 1 | 2 | 2 | 3 | 3 | 4 | 4 |
5 | 5 |
D | 34 | 38 | 140 | 148 | 318 | 330 | 568 | 584 | 890 | 910 |
x | 35 | 37 | 71 | 73 | 107 | 109 | 143 | 145 | 179 | 181 |
y | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 |
| | | | | | | | | | |
D | 47 | 51 | 192 | 200 | 435 | 447 | 716 | 792 | 1215 | 1235 |
x | 48 | 50 | 97 | 99 | 146 | 148 | 195 | 197 | 244 | 246 |
y | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 |
| | | | | | | | | | |
D | 62 | 66 | 252 | 260 | 570 | 582 | 1016 | 1032 | 1590 | 1610 |
x | 63 | 65 | 127 | 129 | 191 | 193 | 255 | 257 | 319 | 321 |
y | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 |
| | | | | | | | | | |
D | 79 | 83 | 320 | 328 | 723 | 735 | 1288 | 1304 | 2015 | 2035 |
x | 80 | 82 | 161 | 163 | 242 | 244 | 323 | 325 | 404 | 406 |
y | 9 | 9 | 9 | 9 | 9 | 9 | 9 | 9 | 9 | 9 |
The method of generating groups of triples involves multiplying the initial least solutions by either of the two parts of the following mathematical expression:
RD = (n1y + √D)2 ∕ 2n1 = x + y√D)
where:
n1 are consecutive integers, 1, 2, 3, 4, 5, ...
the values of adjacent xs in a pair is (an1 − 1, an1 + 1).
D are the values from the above sequences starting at column one.
then multiplying and rounding off each row of triples generated by the RD for as many triples as are desired. The lists below show the patterns generated for twelve Ds from table D and the accompanying three row triple tables generated for each D.
Tables of D and Pell (x,y,1) Triples
- Note: The Pell equation for each example is x2 − 2y2 = 1 plus all (n1y + √D)2 ∕ 2n1 occur in pairs.
- Table I shows the triples for R2 = (2 + √2)2 ∕ 2 = 3 + 2√2 = 5.828427125
- Table II shows the triples for R6 = (2 + √6)2 ∕ 2 = 5 + 2√6 = 9.898979486
- Table III shows the triples for R12 = (4 + √12)2 ∕ 4 = 7 + 2√12 = 13.92820323
Table I D=2
x |
y | z |
3 | 2 | 1 |
17 | 12 | 1 |
99 | 70 | 1 |
|
|
Table II D=6
x |
y | z |
5 | 2 | 1 |
49 | 20 | 1 |
485 | 198 | 1 |
|
|
Table III D=12
x |
y | z |
7 | 2 | 1 |
97 | 28 | 1 |
1351 | 1350 | 1 |
|
- Table IV shows the triples for R20 = (4 + √20)2 ∕ 4 = 9 + 2√20 = 17.94427191
- Table V shows the triples for R30 = (6 + √30)2 ∕ 6 = 11 + 2√30 = 21.95445115
- Table VI shows the triples for R42 = (6 + √42)2 ∕ 6 = 13 + 2√42 = 25.9614814
Table IV D=20
x |
y | z |
9 | 2 | 1 |
161 | 36 | 1 |
2889 | 646 | 1 |
|
|
Table V D=30
x |
y | z |
11 | 2 | 1 |
241 | 44 | 1 |
5291 | 966 | 1 |
|
|
Table VI D=42
x |
y | z |
13 | 2 | 1 |
337 | 52 | 1 |
8749 | 1350 | 1 |
|
- Note: The Pell equation for each example is x2 − 3y2 = 1.
- Table VII shows the triples for R7 = (3 + √7)2 ∕ 2 = 8 + 3√7 = 15.93725393
- Table VIII shows the triples for R11 = (3 + √11)2 ∕ 2 = 10 + 3√11 = 19.94987437
- Table IX shows the triples for R32 = (6 + √32)2 ∕ 4 = 17 + 3√32 = 33.97056275
Table VII D=7
x |
y | z |
8 | 3 | 1 |
127 | 48 | 1 |
2024 | 765 | 1 |
|
|
Table VIII D=11
x |
y | z |
10 | 3 | 1 |
199 | 60 | 1 |
3970 | 1197 | 1 |
|
|
Table IX D=32
x |
y | z |
17 | 3 | 1 |
577 | 102 | 1 |
19601 | 3465 | 1 |
|
- Table X shows the triples for R40 = (6 + √40)2 ∕ 4 = 19 + 3√40 = 37.97366596
- Table XI shows the triples for R75 = (9 + √75)2 ∕ 6 = 26 + 3√75 = 51.98076211
- Table XII shows the triples for the R87 = (9 + √87)2 ∕ 6 = 28 + 3√87 = 55.98213716
Table X D=40
x |
y | z |
19 | 3 | 1 |
721 | 114 | 1 |
27379 | 4329 | 1 |
|
|
Table XI D=75
x |
y | z |
26 | 3 | 1 |
1351 | 156 | 1 |
70226 | 8109 | 1 |
|
|
Table XI D=87
x |
y | z |
28 | 3 | 1 |
15671 | 168 | 1 |
87724 | 9405 | 1 |
|
This concludes Part XII. Go to Part XIIb. Go back to Part XI.
Go back to homepage.
Copyright © 2020 by Eddie N Gutierrez. E-Mail: enaguti1949@gmail.com