OFFSET
1,3
COMMENTS
Negative k are in A175035.
Numbers such that the Diophantine equation y^2 + y - 2x^2 = 2n, y > 0 has a solution. Empirically, solutions (x,y) don't exceed (5n,5n) for n < 10^5. Record quotients y/n are at n = 2, 3, 12, 45, 1225, 6806, ...
Conjecture: these are the sorted distinct terms of A064784.
n is in this sequence iff 8n+1 is in A035251, that is, every prime p == 3 or 5 (mod 8) dividing 8n+1 appears to an even power. - Max Alekseyev, Oct 14 2013
LINKS
Charles R Greathouse IV, Table of n, a(n) for n = 1..10000
EXAMPLE
28 is triangular, and 25 is a square <= 28, and 28-25=3, so 3 is in sequence.
PROG
(PARI) B=bnfinit(z^2-8); is(n)=#bnfisintnorm(B, 8*n+1) \\ Max Alekseyev, Oct 13 2013
CROSSREFS
KEYWORD
nonn
AUTHOR
Ralf Stephan, Oct 06 2013
STATUS
approved