login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A133475
Integers n such that n^3 + n^2 - 9*n + 16 is a square.
0
-4, -3, -1, 0, 1, 3, 5, 11, 15, 28, 47, 55, 81, 549, 1799, 8361
OFFSET
1,1
COMMENTS
The set of x values of integral points on the elliptic curve y^2 = x^3 + x^2 - 9*x + 16.
EXAMPLE
0^3 + (-5)^2 + (-9) = 4^2, 1^3 + (-4)^2 + (-8) = 3^2, 3^3 + (-2)^2 + (-6) = 5^2
MATHEMATICA
ok[x_] := Reduce[{y^2 == x^3 + x^2 - 9*x + 16, y >= 0}, y, Integers] =!= False; Select[Table[x, {x, -4, 10000}], ok ] (* Jean-François Alcover, Sep 07 2011 *)
PROG
(Magma) P<n> := PolynomialRing(Integers()); {x: x in Sort([ p[1] : p in IntegralPoints(EllipticCurve(n^3 + n^2 - 9*n + 16)) ])};
(Sage) EllipticCurve([0, 1, 0, -9, 16]).integral_points()
(PARI) is(n)=issquare(n^3+n^2-9*n+16) \\ Charles R Greathouse IV, Sep 06 2016
CROSSREFS
KEYWORD
sign,full,fini
AUTHOR
Mohamed Bouhamida, Nov 29 2007
EXTENSIONS
Edited by Max Alekseyev, Nov 13 2009
STATUS
approved