OFFSET
1,2
COMMENTS
The positive fundamental solutions (x0(n), y0(n)) of the Pell equation x^2 - d(n) y^2 = +1, with d not a square, have only even y solutions for d(n) = A007969 (Conway's products of 1-happy couples). The proof is now given in the W. Lang link under A007969. The solutions x0 and y0 = 2*Y0 are given in A262024 and 2*A261250, respectively. The numbers X0(n) = (x0(n) - 1)/2 = a(n) satisfy a(n)*(a(n) + 1) = d(n)*Y0(n)^2. See the mentioned link.
CROSSREFS
KEYWORD
nonn
AUTHOR
Wolfdieter Lang, Sep 19 2015
STATUS
approved