login
Numbers k such that 2*k^2 - 9 is a square.
7

%I #39 Jun 05 2023 19:39:23

%S 3,15,87,507,2955,17223,100383,585075,3410067,19875327,115841895,

%T 675176043,3935214363,22936110135,133681446447,779152568547,

%U 4541233964835,26468251220463,154268273357943,899141388927195

%N Numbers k such that 2*k^2 - 9 is a square.

%C Lim. n-> Inf. a(n)/a(n-1) = 3 + 2*sqrt(2).

%C Positive values of x (or y) satisfying x^2 - 6*x*y + y^2 + 36 = 0. - _Colin Barker_, Feb 08 2014

%C For each member t of the sequence there exists a nonnegative r such that t^2 = r^2 + (r+3)^2. The r values are in A241976. Example: 87^2 = 60^2 + 63^2. - _Bruno Berselli_, Jul 10 2017

%D A. H. Beiler, "The Pellian", ch. 22 in Recreations in the Theory of Numbers: The Queen of Mathematics Entertains. Dover, New York, New York, pp. 248-268, 1966.

%D L. E. Dickson, History of the Theory of Numbers, Vol. II, Diophantine Analysis. AMS Chelsea Publishing, Providence, Rhode Island, 1999, pp. 341-400.

%D Peter G. L. Dirichlet, Lectures on Number Theory (History of Mathematics Source Series, V. 16); American Mathematical Society, Providence, Rhode Island, 1999, pp. 139-147.

%H Vincenzo Librandi, <a href="/A075841/b075841.txt">Table of n, a(n) for n = 1..200</a>

%H Tanya Khovanova, <a href="http://www.tanyakhovanova.com/RecursiveSequences/RecursiveSequences.html">Recursive Sequences</a>

%H J. J. O'Connor and E. F. Robertson, <a href="http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Pell.html">Pell's Equation</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PellEquation.html">Pell Equation.</a>

%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (6,-1).

%F a(n) = 3*sqrt(2)/4*((1+sqrt(2))^(2*n-1)-(1-sqrt(2))^(2*n-1)) = 6*a(n-1) - a(n-2).

%F G.f.: 3*x*(1-x)/(1-6*x+x^2). - _Philippe Deléham_, Nov 17 2008

%F a(n) = 3*A001653(n). - _R. J. Mathar_, Sep 27 2014

%t CoefficientList[Series[3 (1 - x)/(1 - 6 x + x^2), {x, 0, 40}], x] (* _Vincenzo Librandi_, Feb 11 2014 *)

%t LinearRecurrence[{6,-1},{3,15},20] (* _Harvey P. Dale_, Jun 05 2023 *)

%o (PARI) isok(n) = issquare(2*n^2-9); \\ _Michel Marcus_, Jul 10 2017

%K nonn,easy

%O 1,1

%A _Gregory V. Richardson_, Oct 14 2002