A006704 -id:A006704 - cp's OEIS frontend

A002350 Take solution to Pellian equation x^2 - n*y^2 = 1 with smallest positive y and x >= 0; sequence gives a(n) = x, or 1 if n is a square. A002349 gives values of y.

1, 3, 2, 1, 9, 5, 8, 3, 1, 19, 10, 7, 649, 15, 4, 1, 33, 17, 170, 9, 55, 197, 24, 5, 1, 51, 26, 127, 9801, 11, 1520, 17, 23, 35, 6, 1, 73, 37, 25, 19, 2049, 13, 3482, 199, 161, 24335, 48, 7, 1, 99, 50, 649, 66249, 485, 89, 15, 151, 19603, 530, 31, 1766319049, 63, 8, 1

Offset: 1

N. J. A. Sloane

From A.H.M. Smeets, Nov 20 2017: (Start)
a(p*q^2) = b(p,q/gcd(A002349(p),q)) where
b(p,0) = 1, b(p,1) = a(p), b(p,i) = 2*a(p)*b(p,i-1) - b(p,i-2) for i>1. (End)

			For n = 1, 2, 3, 4, 5 solutions are (x,y) = (1, 0), (3, 2), (2, 1), (1, 0), (9, 4).

A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443.
C. F. Degen, Canon Pellianus. Hafniae, Copenhagen, 1817.
D. H. Lehmer, Guide to Tables in the Theory of Numbers. Bulletin No. 105, National Research Council, Washington, DC, 1941, p. 55.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Ray Chandler, Table of n, a(n) for n = 1..10000 (first 1000 terms from T. D. Noe)
A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443. (Annotated scanned copy)
L. Beeckmans, Squares expressible as sum of consecutive squares, Amer. Math. Monthly, 101 (1994), 437-442.
L. Euler, De solutione problematum diophanteorum per numeros integros (English and Latin), par. 17.
N. J. A. Sloane et al., Binary Quadratic Forms and OEIS (Index to related sequences, programs, references)

Cf. A002349, A006702, A006703, A006704, A006705. See A033316, A033315, A033319 for records.

PellSolve[(m_Integer)?Positive] := Module[{cf, n, s}, cf = ContinuedFraction[ Sqrt[m]]; n = Length[ Last[cf]]; If[ OddQ[n], n = 2*n]; s = FromContinuedFraction[ ContinuedFraction[ Sqrt[m], n]]; {Numerator[s], Denominator[s]}]; f[n_] := If[ !IntegerQ[ Sqrt[n]], PellSolve[n][[1]], 1]; Table[ f[n], {n, 0, 65}]
Table[If[! IntegerQ[Sqrt[k]], {k, FindInstance[x^2 - k*y^2 == 1 && x > 0 && y > 0, {x, y}, Integers]}, Nothing], {k, 2, 80}][[All, 2, 1, 1, 2]] (* Horst H. Manninger, Mar 23 2021 *)

from sympy.ntheory.primetest import is_square
from sympy.solvers.diophantine.diophantine import diop_DN
def A002350(n): return 1 if is_square(n) else next(a for a,b in diop_DN(n,1)) # Chai Wah Wu, Feb 11 2025

a(prime(i)) = A081233(i). - R. J. Mathar, Feb 25 2025

A002349 Take solution to Pellian equation x^2 - n*y^2 = 1 with smallest positive y and x >= 0; sequence gives a(n) = y, or 0 if n is a square. A002350 gives values of x.

Original entry on oeis.org

0, 2, 1, 0, 4, 2, 3, 1, 0, 6, 3, 2, 180, 4, 1, 0, 8, 4, 39, 2, 12, 42, 5, 1, 0, 10, 5, 24, 1820, 2, 273, 3, 4, 6, 1, 0, 12, 6, 4, 3, 320, 2, 531, 30, 24, 3588, 7, 1, 0, 14, 7, 90, 9100, 66, 12, 2, 20, 2574, 69, 4, 226153980, 8, 1, 0, 16, 8, 5967, 4, 936, 30, 413, 2, 267000, 430, 3

Offset: 1

N. J. A. Sloane

			For n = 1, 2, 3, 4, 5 solutions are (x,y) = (1, 0), (3, 2), (2, 1), (1, 0), (9, 4).

Albert H. Beiler, "The Pellian" (chap 22), Recreations in the Theory of Numbers, 2nd ed. NY: Dover, 1966.
A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443.
C. F. Degen, Canon Pellianus. Hafniae, Copenhagen, 1817.
D. H. Lehmer, Guide to Tables in the Theory of Numbers. Bulletin No. 105, National Research Council, Washington, DC, 1941, p. 55.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
E. E. Whitford, The Pell Equation.

Ray Chandler, Table of n, a(n) for n = 1..10000 (first 1000 terms from T. D. Noe)
A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443. (Annotated scanned copy)
L. Euler, De solutione problematum diophanteorum per numeros integros, par. 17.
N. J. A. Sloane et al., Binary Quadratic Forms and OEIS (Index to related sequences, programs, references)
E. E. Whitford, The Pell equation, New York, 1912.

Cf. A002350, A006702, A006703, A006704, A006705. See A033316, A033315, A033319 for records.

a[n_] := If[IntegerQ[Sqrt[n]], 0, For[y=1, !IntegerQ[Sqrt[n*y^2+1]], y++, Null]; y]
(* Second program: *)
PellSolve[(m_Integer)?Positive] := Module[{cof, n, s}, cof = ContinuedFraction[ Sqrt[m]]; n = Length[ Last[cof]]; If[ OddQ[n], n = 2*n]; s = FromContinuedFraction[ ContinuedFraction[ Sqrt[m], n]]; {Numerator[s], Denominator[s]}]; f[n_] := If[ !IntegerQ[ Sqrt[n]], PellSolve[n][[2]], 0]; Table[ f[n], {n, 0, 75}]

from sympy.ntheory.primetest import is_square
from sympy.solvers.diophantine.diophantine import diop_DN
def A002349(n): return 0 if is_square(n) else next(b for a,b in diop_DN(n,1)) # Chai Wah Wu, Feb 11 2025

a(prime(i)) = A081234(i). - R. J. Mathar, Feb 25 2025

More terms from Enoch Haga, Mar 14 2002

Better description from Robert G. Wilson v, Apr 14 2003

A006705 Solution to Pellian: y such that x^2 - n y^2 = +- 1, +- 4.

Original entry on oeis.org

0, 1, 1, 0, 1, 2, 3, 1, 0, 1, 3, 1, 1, 4, 1, 0, 1, 4, 39, 1, 1, 42, 5, 1, 0, 1, 5, 3, 1, 2, 273, 1, 4, 6, 1, 0, 1, 6, 4, 1, 5, 2, 531, 3, 1, 3588, 7, 1, 0, 1, 7, 5, 1, 66, 12, 2, 20, 13, 69, 1, 5, 8, 1, 0, 1, 8, 5967, 1, 3, 30, 413, 2, 125, 5, 3, 39, 1, 6, 9, 1, 0, 1, 9, 6, 1, 1122, 3, 21, 53

Offset: 1

N. J. A. Sloane

When n is a square, the trivial solution (x,y) = (1,0) is taken; otherwise we take the least nontrivial solution that satisfies one of the four equations with +1, -1, +4 or -4. - Ray Chandler, Aug 22 2015

A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443.
C. F. Degen, Canon Pellianus. Hafniae, Copenhagen, 1817.
D. H. Lehmer, Guide to Tables in the Theory of Numbers. Bulletin No. 105, National Research Council, Washington, DC, 1941, p. 55.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Ray Chandler, Table of n, a(n) for n = 1..10000 (first 150 terms from Robert G. Wilson v)
A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443. (Annotated scanned copy)

Cf. A006704.

r[x_, n_] := Reduce[lhs = x^2 - n*y^2; y > 0 && (lhs == -1 || lhs == 1 || lhs == -4 || lhs == 4), y, Integers]; a[n_ /; IntegerQ[Sqrt[n]]] = 0; xx[n_ /; IntegerQ[Sqrt[n]]] = 1; a[n_] := (x = 1; While[r[x, n] === False, x++]; xx[n] = x; y /. ToRules[r[x, n]]); A006705 = Table[yn = a[n]; Print[{n, xx[n], yn}]; yn, {n, 1, 65}] (* Jean-François Alcover, Mar 08 2012 *)

3 terms corrected by Jean-François Alcover, Mar 09 2012

Extended by Ray Chandler, Aug 22 2015

A175155 Numbers m satisfying m^2 + 1 = x^2 * y^3 for positive integers x and y.

Original entry on oeis.org

0, 682, 1268860318, 1459639851109444, 2360712083917682, 86149711981264908618, 4392100110703410665318, 8171493471761113423918890682, 15203047261220215902863544865414318, 5484296027914919579181500526692857773246, 28285239023397517753374058381589688919682, 12439333951782387734360136352377558500557329868

Offset: 1

Michel Lagneau, Feb 27 2010

nonn

This sequence is infinite. The fundamental solution of m^2 + 1 = x^2 y^3 is (m,x,y) = (682,61,5), which means the Pellian equation m^2 - 125x^2 = -1 has the solution (m,x) = (682,61) = (m(1),x(1)). This Pellian equation admits an infinity of solutions (m(2k+1),x(2k+1)), k=1,2,..., given by the following recursive relation, starting with m(1)=682, x(1)= 61: m(2k+1) + x(2k+1)*sqrt(125) = (m(1) + x(1)*sqrt(125))^(2k+1).
Squares of these terms are in A060355, since both a(n)^2 and a(n)^2 + 1 are powerful (A001694). - Charles R Greathouse IV, Nov 16 2012
It appears that y = A077426. - Robert G. Wilson v, Nov 16 2012
Also m^2 + 1 is powerful. Other solutions arise from solutions x to x^2 - k^3*y^2 = -1. - Georgi Guninski, Nov 17 2012
Although it is believed that the b-file is complete for all terms m < 10^100, the search only looked for y < 100000. - Robert G. Wilson v, Nov 17 2012

			For m=682, m^2 + 1 = 465125 = 61^2 * 5^3.

Albert H. Beiler, "The Pellian" (Chap. 22), Recreations in the Theory of Numbers, 2nd ed. NY: Dover, 1966.
A. Cayley, Report of a committee appointed for the purpose of carrying on the tables connected with the Pellian equation ..., Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 13, pp. 430-443.
J. M. De Koninck, Ces nombres qui nous fascinent, Ellipses, 2008, p. 108.

Robert G. Wilson v, Table of n, a(n) for n = 1..292. [This list has not been proved to be complete! - _N. J. A. Sloane_, Nov 17 2012]
E. E. Whitford, The Pell equation, New York, 1912.
Wikipedia, Pell's equation

Pellian equation: A006704, A006702, A006705, A006703, A003153, A001571, A001570.

C:=array(0..20,0..20):C[1,1]=1: C[2,1]=1: n1:=682:x1:=61:for nn from 1 by 2 to 15 do:s:=0:for i from 2 to 15 do:for j from 1 to i do:C[i,j]:= C[i-1,j] + C[i-1,j-1]: od:od:for n from 1 by 2 to nn+1 do:s:=s + C[nn+1,n] * n1^(nn-n+1)*x1^(n-1)*125^((n-1)/2):od:print (s):od: # Michel Lagneau
# 2nd program R. J. Mathar, Mar 16 2016:
# print (nonsorted!) all solutions of A175155 up to search limit
with(numtheory):
# upper limit for solutions n
nsearchlim := 10^40 :
A175155y := proc(y::integer)
    local disc;
    disc := y^3 ;
    cfrac(sqrt(disc),periodic,quotients) ;
end proc:
for y from 2 do
    if issqrfree(y) then
        # find continued fraction for x^2-(y^3=disc)*y^2=-1, sqrt(disc)
        cf := A175155y(y) ;
        nlen :=  nops(op(2,cf)) ;
        if type(nlen,odd) then
            # fundamental solution
            fuso := numtheory[nthconver](cf,nlen-1) ;
            fusolx := numer(fuso) ;
            fusoly := denom(fuso) ;
            solx := fusolx ;
            soly := fusoly ;
            while solx <= nsearchlim do
                rhhs := solx^2-y^3*soly^2 ;
                if rhhs = -1 then
                    # print("n=",solx,"x=",soly,"y=",y^3) ;
                    print(solx) ;
                end if;
                # solutions from fundamental solution
                tempx := fusolx*solx+y^3*fusoly*soly ;
                tempy := fusolx*soly+fusoly*solx ;
                solx := tempx ;
                soly := tempy ;
            end do;
        end if;
    fi;
end do:

nmax = 10^50; ymax = 100; instances = 10; fi[y_] := n /. FindInstance[0 <= n <= nmax && x > 0 && n^2 + 1 == x^2*y^3, {n, x}, Integers, instances]; yy = Select[Range[1, ymax, 2], !IntegerQ[Sqrt[#]] && OddQ[ Length[ ContinuedFraction[Sqrt[#]][[2]]]]&]; Join[{0}, fi /@ yy // Flatten // Union // Most] (* Jean-François Alcover, Jul 12 2017 *)

is(n)=ispowerful(n^2+1) \\ Charles R Greathouse IV, Nov 16 2012

m(1)=682, x(1) = 61 and m(2k+1) + x(2k+1)*sqrt(125) = (m(1) + x(1)*sqrt(125))^(2k+1) m(2k+1) = C(2k+1,0) * m(1)^(2k+1) + C(2k+1,2)*m(1)^(2k-1)*x(1)^2 + ...

Added condition that x and y must be positive. Added missing initial term 0. Added warning that b-file has not been proved to be correct - there could be missing entries. - N. J. A. Sloane, Nov 17 2012

cp's OEIS Frontend

A002350 Take solution to Pellian equation x^2 - n*y^2 = 1 with smallest positive y and x >= 0; sequence gives a(n) = x, or 1 if n is a square. A002349 gives values of y.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Python

Formula

A002349 Take solution to Pellian equation x^2 - n*y^2 = 1 with smallest positive y and x >= 0; sequence gives a(n) = y, or 0 if n is a square. A002350 gives values of x.

Views

Author

Keywords

Examples

References

Links

Crossrefs

Programs

Mathematica

Python

Formula

Extensions

A006705 Solution to Pellian: y such that x^2 - n y^2 = +- 1, +- 4.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

Extensions

A175155 Numbers m satisfying m^2 + 1 = x^2 * y^3 for positive integers x and y.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions