A255235 -id:A255235 - cp's OEIS frontend

A254938 Fundamental positive solution x = x1(n) of the first class of the Pell equation x^2 - 2*y^2 = -A007522(n), n >= 1 (primes congruent to 7 mod 8).

1, 3, 1, 5, 1, 7, 5, 1, 7, 11, 3, 1, 13, 7, 5, 11, 9, 17, 5, 3, 9, 19, 7, 13, 5, 3, 7, 19, 13, 1, 9, 25, 15, 7, 23, 27, 17, 9, 21, 7, 1, 13, 19, 11, 23, 17, 31, 7, 1, 33, 11, 17, 7, 27, 5, 35, 13, 25, 19, 11, 29, 9, 17, 5, 3, 1, 27, 21, 35, 17, 23, 15, 37, 41, 21, 13, 19, 7, 3, 23, 15, 33, 13

Offset: 1

Wolfdieter Lang, Feb 18 2015

nonn

For the corresponding term y1(n) see 2*A255232(n).
For the positive fundamental proper (sometimes called primitive) solutions x2(n) and y2(n) of the second class of this (generalized) Pell equation see A255233(n) and A255234(n).
The present solutions of this first class are the smallest positive ones.
See the Nagell reference Theorem 111, p. 210, for the proof of the existence of solutions (the discriminant of this binary quadratic form is +8 hence it is an indefinite form with an infinitude of solutions if there exists at least one).
See the Nagell reference Theorem 110, p. 208, for the proof that there are only two classes of solutions for this Pell equation, because the equation is solvable and each prime from A007522 does not divide 4.
The present fundamental solutions are found according to the Nagell reference Theorem 108a, p. 206-207, adapted to the case at hand, by scanning the following two inequalities for solutions x1(n) = 2*X1(n) + 1 and y1(n) = 2*Y1(n) (because odd y is out in this Pell equation). The interval to be scanned for X1(n) is [0, floor((sqrt(p(n))-1)/2)] and for Y1(n) it is [0, floor(sqrt(p(n))/2)], with p(n) = A007522(n).
The general positive proper solutions are for both classes obtained by applying positive powers of the matrix M = [[3,4],[2,3]] on the fundamental positive column vectors (x(n),y(n))^T. The n-th power is M^n = S(n-1, 6)*M - S(n-2, 6) 1_2, where 1_2 is the 2 X 2 identity matrix and S(n, 6), with S(-2, 6) = -1 and S(-1, 6) = 0, is the Chebyshev S-polynomial evaluated at x = 6, given in A001109(n).
The least positive x solutions (that is those of the first class) for the primes +1 and -1 (mod 8) together (including prime 2) are given in A255235.

			The first pairs [x1(n), y1(n)] of the fundamental positive solutions of this first class are (the prime A007522(n) is listed as first entry):
  [7, [1, 2]], [23, [3, 4]], [31, [1, 4]],
  [47, [5, 6]], [71, [1, 6]], [79, [7, 8]],
  [103, [5, 8]], [127, [1, 8]], [151, [7, 10]],
  [167, [11, 12]], [191, [3, 10]], [199, [1, 10]], [223, [13, 14]], [239, [7, 12]], [263, [5, 12]], [271, [11, 14]], [311, [9, 14]], [359, [17, 18]], [367, [5, 14]], [383, [3, 14]], [431, [9, 16]], [439, [19, 20]], [463, [7, 16]], [479, [13, 18]], [487, [5, 16]], [503, [3, 16]], ...
n=1: 1^2 - 2*(2*1)^2 = 1 - 8 = -7 = -A007522(1), ...

T. Nagell, Introduction to Number Theory, Chelsea Publishing Company, New York, 1964.

M. F. Hasler, Table of n, a(n) for n = 1..1000, May 22 2025

Cf. A007522 (primes == 7 mod 8).
Cf. A255232 (corresponding y2 values, halved), A255233 (x2 values), A255234 (y2 values), A255235.
Cf. A254934 - A254937 (similar for primes == 1 mod 8).

apply( {A254938(n, p=A007522(n))=Set(abs(qfbsolve(Qfb(-1, 0, 2), p, 1)))[1][1]}, [1..88]) \\ The 2nd optional arg allows to directly specify the prime. - M. F. Hasler, May 22 2025

a(n)^2 - 2*(2*A255232(n))^2 = -A007522(n), n >= 1, gives the smallest positive (proper) solution of this (generalized) Pell equation.

More terms from Colin Barker, Feb 23 2015

A254934 Fundamental positive solution x = x1(n) of the first class of the Pell equation x^2 - 2*y^2 = -A007519(n), n>=1 (primes congruent to 1 mod 8).

Original entry on oeis.org

1, 3, 5, 3, 1, 7, 5, 7, 3, 1, 9, 13, 5, 1, 15, 7, 13, 17, 1, 11, 19, 3, 1, 17, 11, 21, 9, 7, 11, 17, 21, 5, 1, 23, 11, 27, 9, 7, 5, 3, 19, 11, 23, 27, 7, 31, 1, 13, 25, 19, 33, 7, 5, 21, 31, 25, 9, 29, 5, 15, 27, 13, 31, 11, 7, 17, 3, 37, 41, 31, 19, 25, 7, 35, 5, 17, 33, 13, 21, 19, 45, 25, 3

Offset: 1

Wolfdieter Lang, Feb 18 2015

For the corresponding term y1(n) see A254935(n).
For the positive fundamental proper (sometimes called primitive) solutions x2(n) and y2(n) of the second class of this (generalized) Pell equation see A254936(n) and A254937(n).
The present solutions of this first class are the smallest positive ones.
See the Nagell reference Theorem 111, p. 210, for the proof of the existence of solutions (the discriminant of this binary quadratic form is +8 hence it is an indefinite form with an infinitude of solutions if there exists at least one).
See the Nagell reference Theorem 110, p. 208, for the proof that there are only two classes of solutions for this Pell equation, because the equation is solvable and each prime from A007519 does not divide 4.
The present fundamental solutions are found according to the Nagell reference Theorem 108a, p. 206-207, adapted to the case at hand, by scanning the following two inequalities for solutions x1(n) = 2*X1(n) + 1 and y1(n) = 2*Y1(n) + 1 (because even y is out in this Pell equation). The intervals to be scanned are identical for X1(n) and Y1(n), namely [0, floor((sqrt(p(n) - 1)/2)] with p(n) = A007519(n).
The general positive proper solutions are for both classes obtained by applying positive powers of the matrix M = [[3,4],[2,3]] on the fundamental positive column vectors (x(n),y(n))^T. The n-th power M^n = S(n-1, 6)*M - S(n-2, 6) 1_2 , where 1_2 is the 2 X 2 identity matrix and S(n, 6), with S(-2, 6) = -1 and S(-1, 6) = 0 is the Chebyshev S-polynomial evaluated at x = 6, given in A001109(n).
The least positive x solutions (that is the ones of the first class) for the primes +1 and -1 (mod 8) together (including prime 2) are given in A255235.

			The first pairs [x1(n), y1(n)] of the fundamental positive solutions of this first class are (the prime A007519(n) is listed as first entry):
[17, [1, 3]], [41, [3, 5]], [73, [5, 7]],
[89, [3, 7]], [97, [1, 7]], [113, [7, 9]],
[137, [5, 9]], [193, [7, 11]], [233, [3, 11]],
[241, [1, 11]], [257, [9, 13]], [281, [13, 15]],
[313, [5, 13]], [337, [1, 13]], [353, [15, 17]],
[401, [7, 15]], [409, [13, 17]], [433, [17, 19]],
[449, [1, 15]], [457, [11, 17]], [521, [19, 21]],
[569, [3, 17]], [577, [1, 17]], [593, [17, 21]],
[601, [11, 19]], [617, [21, 23]], [641, [9, 19]],
[673, [7, 19]], [761, [11, 21]], [769, [17, 23]],
...
n=1: 1^2 - 2*3^2 = 1 - 18 = -17, ...

T. Nagell, Introduction to Number Theory, Chelsea Publishing Company, New York, 1964.

M. F. Hasler, Table of n, a(n) for n = 1..1000

Cf. A007519 (primes == 1 mod 8), A005123 (8k+1 is prime).

Cf. A254935 (corresponding y1 values), A254936 (x2 values), A254937 (y2 values), A254938, A255232, A255235, A254760.

apply( {A254934(n, p=A007519(n))=Set(abs(qfbsolve(Qfb(-1,0,2), p,1)))[1][1]}, [1..77]) \\ The 2nd optional arg allows to directly specify the prime. - M. F. Hasler, May 22 2025

a(n)^2 - 2*A254935(n)^2 = -A007519(n), n >=1, gives the smallest positive (proper) solution of this (generalized) Pell equation.

More terms from M. F. Hasler, May 22 2025

A255246 Fundamental positive solution y = y1(n) of the first class of the Pell equation x^2 - 2*y^2 = -A038873(n), n>=1 (primes congruent to {1,2,7} mod 8).

Original entry on oeis.org

3, 2, 3, 4, 4, 5, 6, 6, 7, 8, 7, 7, 8, 9, 8, 9, 10, 12, 10, 11, 10, 14, 11, 12, 11, 13, 12, 14, 15, 14, 13, 13, 17, 18, 14, 14, 15, 17, 16, 19, 20, 15, 17, 16, 18, 16, 16, 21, 17, 17, 21, 18, 19, 22, 23, 20, 19, 18, 19, 20, 26, 22, 20, 21, 23, 25, 26, 28, 21

Offset: 1

Wolfdieter Lang, Feb 25 2015

For the corresponding term x1(n) see A255235(n).
For the primes 1 (mod 8) see A154935, and for the primes 7 (mod 8) see 2*A255232.
See A254934 and A254938 also for the derivation based on the Nagell reference given there.

			See A255235.
n = 1: 4^2 - 2*3^2 = -2 = -A038873(1),
n = 3: 1^2 - 2*3^2 = 1 - 18 = -17 = -A038873(3).

Cf. A038873, A255235, A255247, A255248, A254935, 2*A255232, A002335.

A255235(n)^2 - 2*a(n)^2 = -A038873(n) gives the smallest positive (proper) solution of this (generalized) Pell equation.

More terms from Colin Barker, Feb 26 2015

A255247 Fundamental positive solution x = x2(n) of the second class of the Pell equation x^2 - 2*y^2 = -A001132(n), n>=1 (primes congruent to {1,7} mod 8).

Original entry on oeis.org

5, 9, 7, 13, 11, 9, 21, 13, 11, 19, 25, 17, 15, 29, 21, 19, 15, 31, 23, 37, 17, 35, 27, 41, 25, 33, 23, 21, 29, 37, 49, 23, 21, 41, 47, 39, 29, 37, 25, 23, 57, 35, 43, 33, 49, 55, 27, 59, 65, 33, 51, 43, 31, 29, 41, 49, 69, 55, 53, 29, 43, 59, 51, 41, 37, 35

Offset: 1

Wolfdieter Lang, Feb 19 2015

nonn

For the corresponding term y2(n) see A255248(n).
For the positive fundamental proper (sometimes called primitive) solutions x1(n) and y1(n) of the first class of this (generalized) Pell equation see A255235(n) and A255246(n).
The present solutions of this second class are the next to smallest positive ones. Note that for prime 2 only the first class exists.
For the derivation based on the book of Nagell see the comments on A254934 and A254938 for the primes 1 (mod 8) and 7 (mod 8) separately, where also the Nagell reference is given.

			The first pairs [x1(n), y1(n)] of the fundamental positive solutions of this first class are (the prime A001132(n) is listed as first entry):
  [7, [5, 4]], [17, [9, 7]], [23, [7, 6]],
  [31, [13, 10]], [41, [11, 9]], [47, [9, 8]],
  [71, [21, 16]], [73, [13, 11]], [79, [11, 10]],
  [89, [19, 15]], [97, [25, 19]], [103, [17, 14]],
  [113, [15, 13]], [127, [29, 22]],
  [137, [21, 17]], [151, [19, 16]],
  [167, [15, 14]], [191, [31, 24]],
  [193, [23, 19]], [199, [37, 28]],
  [223, [17, 16]], [233, [35, 27]],
  [239, [27, 22]], [241, [41, 31]], ...
n = 1: 5^2 - 2*4^2 = 25 - 32 = -7 = -A001132(1).
a(3) = -(3*3 - 4*4) = 16 - 9 = 7.

Cf. A001132, A255248, A255235, A255246, A254936, A255233, A254930.

a(n)^2 - 2*A255248(n)^2 = -A001132(n), n >= 1, gives the second smallest positive (proper) solution of this (generalized) Pell equation.

a(n) = -(3*A255235(n+1) - 4*A255246(n+1)), n >= 1.

More terms from Colin Barker, Feb 26 2015

A255248 Fundamental positive solution y = y2(n) of the second class of the Pell equation x^2 - 2*y^2 = -A001132(n), n>=1 (primes congruent to {1,7} mod 8).

Original entry on oeis.org

4, 7, 6, 10, 9, 8, 16, 11, 10, 15, 19, 14, 13, 22, 17, 16, 14, 24, 19, 28, 16, 27, 22, 31, 21, 26, 20, 19, 24, 29, 37, 21, 20, 32, 36, 31, 25, 30, 23, 22, 43, 29, 34, 28, 38, 42, 25, 45, 49, 29, 40, 35, 28, 27, 34, 39, 52, 43, 42, 28, 36, 46, 41, 35, 33, 32

Offset: 1

Wolfdieter Lang, Feb 19 2015

For the corresponding term x2(n) see A255247(n).

See the comments on A255247.

			See A255247.
a(4) = -(2*1 - 3*4) = 12 - 2 = 10.
n=4: 13^2 - 2*10^2 = 169 - 200 = -31 = -A001132(4).

Cf. A001132, A255247, A255235, A255246, A254937, A255234, A254931.

A255247(n)^2 - 2*a(n)^2 = -A001132(n), n >= 1, gives the second smallest positive (proper) solution of this (generalized) Pell equation.

a(n) = -(2*A255235(n+1) - 3*A255246(n+1)), n >= 1.

More terms from Colin Barker, Feb 26 2015

cp's OEIS Frontend

A254938 Fundamental positive solution x = x1(n) of the first class of the Pell equation x^2 - 2*y^2 = -A007522(n), n >= 1 (primes congruent to 7 mod 8).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

PARI

Formula

Extensions

A254934 Fundamental positive solution x = x1(n) of the first class of the Pell equation x^2 - 2*y^2 = -A007519(n), n>=1 (primes congruent to 1 mod 8).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

PARI

Formula

Extensions

A255246 Fundamental positive solution y = y1(n) of the first class of the Pell equation x^2 - 2*y^2 = -A038873(n), n>=1 (primes congruent to {1,2,7} mod 8).

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions

A255247 Fundamental positive solution x = x2(n) of the second class of the Pell equation x^2 - 2*y^2 = -A001132(n), n>=1 (primes congruent to {1,7} mod 8).

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions

A255248 Fundamental positive solution y = y2(n) of the second class of the Pell equation x^2 - 2*y^2 = -A001132(n), n>=1 (primes congruent to {1,7} mod 8).

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions