Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #37 Feb 11 2024 17:08:07
%S 0,2,3,27,98,120
%N Middle number of a set of 5 consecutive integers whose sum of cubes is a square.
%C That is, numbers n >= 0 such that 5n(n^2+6) is a square.
%C According to Dickson, Lucas stated that the only terms are 2, 3, 98 and 120 (missing 27).
%C The Mordell reference shows that there are only finitely many solutions. - _Allan Wilks_, Mar 10 2007
%C From _Max Alekseyev_, Mar 10 2007: (Start)
%C It can be shown that all such numbers n can be obtained from elements that are perfect squares in the following 3 recurrent sequence:
%C 1) x(0)=0, x(1)=4, x(k+1) = 98*x(k) - x(k-1). If x(k) is a square then n = 30*x(k). In particular: for k=0, we have n=30*x(0)=0, for k=1, we have n=30*x(1)=120.
%C 2) x(0)=1, x(1)=49, x(k+1) = 38*x(k) - x(k-1). If x(k) is a square then n = 2*x(k). In particular: for k=1, we have n=2*x(1)=2, for k=2, we have n=2*x(1)=98.
%C 3) x(0)=1, x(1)=9, x(k+1) = 8*x(k) - x(k-1). If x(k) is a square then n = 3*x(k). In particular: for k=1, we have n=3*x(1)=3, for k=2, we have n=3*x(1)=27.
%C It also follows that for any such n one of n/2, n/3, or n/30 is a perfect square. I have tested 10^5 terms of each of the recurrent sequences above and found no new perfect squares. (End)
%C From _Warut Roonguthai_, Apr 28 2007: (Start)
%C The sequence is finite because the number of integral points on an elliptic curve is finite; in this case the curve is m^2 = 5n^3 + 30n. Multiplying the equation by 25 and letting y = 5m and x = 5n, we have y^2 = x^3 + 150x. According to Magma, the integral points on this curve are (x, y) = (0, 0), (10, 50), (15, 75), (24, 132), (135, 1575), (490, 10850), (600, 14700). So the list is complete. (End)
%C This was also confirmed (using Sage) by _Jaap Spies_, May 27 2007
%C About the second comment: Lucas, however, did actually include 27 in his original note, which can be seen at the link cited. The mistake appears to have originated with Dickson. - _Matt Westwood_, Mar 05 2022
%D L. E. Dickson, History of the Theory of Numbers, Volume 2, Chapter 21, page 587.
%D L. J. Mordell, Diophantine Equations, Ac. Press; see Th. 1, Chap. 27, p. 255.
%H L. E. Dickson, <a href="https://archive.org/details/historyoftheoryo02dickuoft/page/587/mode/1up?view=theater&q=120">History of the Theory of Numbers</a>, Volume 2, Chapter 21, page 587.
%H Edouard Lucas, <a href="https://gallica.bnf.fr/ark:/12148/bpt6k215388q/f537.item">Recherches sur l'analyse indéterminée</a>, Bull. Soc. d'Emulation du Département de l'Allier, 12, 1873, 532.
%p q:= n-> issqr((n^2+6)*5*n):
%p select(q, [$0..150])[]; # _Alois P. Heinz_, Mar 08 2022
%t Select[Partition[Range[-5,130],5,1],IntegerQ[Sqrt[Total[#^3]]]&][[All,3]] (* _Harvey P. Dale_, Jan 31 2017 *)
%o (PARI) for(n=1, 10^8, if(issquare(5*n*(n*n+6)), print(n)))
%Y Cf. A000290, A027604.
%K nonn,fini,full
%O 1,2
%A _Nick Hobson_, Mar 10 2007