A134074 -id:A134074 - cp's OEIS frontend

A029728 Complete list of solutions to y^2 = x^3 + 17; sequence gives x values.

-2, -1, 2, 4, 8, 43, 52, 5234

Offset: 1

Comments by Henri Cohen on the proof that the list of solutions is complete: (Start)
This is now completely standard. Cremona's mwrank program tells us that this is an elliptic curve of rank 2 with generators P1=(-2,3) and P2=(4,9).
We now apply the algorithm (essentially due to Tzanakis and de Weger) described in Nigel Smart's book on the algorithmic solution of Diophantine equations: using Sinnou David's bounds on linear forms in elliptic logarithms one finds that if P is an integral point then P=aP1+bP2 for |a| and |b| less than a huge bound B (typically 10^100, sometimes more, I didn't do the computation here), but the main point is that B is completely explicit. One then uses the LLL algorithm: this is crucial.
A first application reduces the bound to 200, say, then a second application to 20 and sometimes a third to 12 (at this point it is not necessary). Then a very small search gives all the possible integer points. (End)

L. J. Mordell, Diophantine Equations, Ac. Press, p. 246.
T. Nagell, Einige Gleichungen von der Form ay^2+by+c=dx^3, Vid. Akad. Skrifter Oslo, Nr. 7 (1930).
Silverman, Joseph H. and John Tate, Rational Points on Elliptic Curves. New York: Springer-Verlag, 1992.

Cf. A029727 (y values).
x values of solutions to y^2 = x^3 + a*x + b;
A134107 (a= 0, b=-207),
A134074 (a= 0, b=  73),
A134042 (a= 0, b= 113),
A134103 (a= 0, b= 225),
A134105 (a= 0, b= 297),
A134167 (a= 0, b=1025),
A316456 (a=-7, b=  10),
A309071 (a=20, b=   0).

Sort([ p[1] : p in IntegralPoints(EllipticCurve([0,17])) ]); // Sergei Haller (sergei(AT)sergei-haller.de), Dec 21 2006

ok[x_] := Reduce[y>0 && y^2 == x^3 + 17, y, Integers] =!= False; Select[Table[x, {x, -2, 10000}], ok ] (* Jean-François Alcover, Sep 07 2011 *)

[i[0] for i in EllipticCurve([0, 17]).integral_points()] # Seiichi Manyama, Aug 25 2019

A134105 Complete list of solutions to y^2 = x^3 + 297; sequence gives x values.

Original entry on oeis.org

-6, -2, 3, 4, 12, 34, 48, 1362, 93844

Offset: 1

Klaus Brockhaus, Oct 08 2007

For corresponding y values and examples see A134104.

The parameter -297 of the curve corresponds to A200218(1). a(9)=A200216(1). - Artur Jasinski, Nov 29 2011

Cf. A134104, A134103, A134107, A029728, A134042, A134074.

Sort([ p[1] : p in IntegralPoints(EllipticCurve([0, 297])) ]); /* adapted from A029728 */

sol[x_] := Solve[y > 0 && x^3 - y^2 == -297, y, Integers];
Reap[For[x = 1, x < 10^5, x++, sx = sol[x]; If[sx != {}, xy = {x, y} /. sx[[1]]; Print[xy]; Sow[xy]]; sx = sol[-x]; If[sx != {}, xy = {-x, y} /. sx[[1]]; Print[xy]; Sow[xy]]]][[2, 1]][[All, 1]] // Sort (* Jean-François Alcover, Feb 07 2020 *)

[i[0] for i in EllipticCurve([0, 297]).integral_points()] # Seiichi Manyama, Aug 26 2019

A134107 Complete list of solutions to y^2 = x^3 - 207; sequence gives x values.

Original entry on oeis.org

6, 12, 18, 31, 312, 331, 367806

Offset: 1

Klaus Brockhaus, Oct 08 2007

For corresponding y values and examples see A134106.

Cf. A134106, A134103, A134105, A029728, A134042, A134074.

Sort([ p[1] : p in IntegralPoints(EllipticCurve([0, -207])) ]); /* adapted from A029728 */

[i[0] for i in EllipticCurve([0, -207]).integral_points()] # Seiichi Manyama, Aug 25 2019

A134073 Complete list of solutions to y^2 = x^3 + 73; sequence gives y values.

Original entry on oeis.org

3, 9, 10, 17, 611, 6717

Offset: 1

Klaus Brockhaus, Oct 07 2007

For corresponding x values see A134074.

			a(1)^2 = 3^2 = 9 = A134074(1)^3 + 73 = -64 + 73.
a(2)^2 = 9^2 = 81 = A134074(2)^3 + 73 = 8 + 73.
a(3)^2 = 10^2 = 100 = A134074(3)^3 + 73 = 27 + 73.
a(4)^2 = 17^2 = 289 = A134074(4)^3 + 73 = 216+ 73.
a(5)^2 = 611^2 = 373321 = A134074(5)^3 + 73 = 373248+ 73.
a(6)^2 = 6717^2 = 45118089 = A134074(6)^3 + 73 = 45118016+ 73.

Cf. A134074, A029727, A134043.

Sort([ Abs(p[2]) : p in IntegralPoints(EllipticCurve([0, 73])) ]); /* adapted from A029727 */

A134103 Complete list of solutions to y^2 = x^3 + 225; sequence gives x values.

Original entry on oeis.org

-6, -5, 0, 4, 6, 10, 15, 30, 60, 180, 336, 351, 720114

Offset: 1

Klaus Brockhaus, Oct 08 2007

For corresponding y values and examples see A134102.

Cf. A134102, A134105, A134107, A029728, A134042, A134074.

{ x: x in Sort([ p[1] : p in IntegralPoints(EllipticCurve([0, 225])) ]) }; /* adapted from A029728 */

[i[0] for i in EllipticCurve([0, 225]).integral_points()] # Seiichi Manyama, Aug 26 2019

A134167 Complete list of solutions to y^2 = x^3 + 1025; sequence gives x values.

Original entry on oeis.org

-10, -5, -4, -1, 4, 10, 20, 40, 50, 64, 155, 166, 446, 920, 3631, 3730

Offset: 1

Klaus Brockhaus, Oct 11 2007

For corresponding y values and examples see A134166.

Cf. A134166, A029728, A134042, A134074, A134103, A134105, A134107.

{ x: x in Sort([ p[1] : p in IntegralPoints(EllipticCurve([0, 1025])) ]) }; /* adapted from A029728 */

[i[0] for i in EllipticCurve([0, 1025]).integral_points()] # Seiichi Manyama, Aug 26 2019

cp's OEIS Frontend

A029728 Complete list of solutions to y^2 = x^3 + 17; sequence gives x values.

Views

Author

Keywords

Comments

References

Crossrefs

Programs

Magma

Mathematica

SageMath

A134105 Complete list of solutions to y^2 = x^3 + 297; sequence gives x values.

Views

Author

Keywords

Comments

Crossrefs

Programs

Magma

Mathematica

SageMath

A134107 Complete list of solutions to y^2 = x^3 - 207; sequence gives x values.

Views

Author

Keywords

Comments

Crossrefs

Programs

Magma

SageMath

A134073 Complete list of solutions to y^2 = x^3 + 73; sequence gives y values.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Magma

A134103 Complete list of solutions to y^2 = x^3 + 225; sequence gives x values.

Views

Author

Keywords

Comments

Crossrefs

Programs

Magma

SageMath

A134167 Complete list of solutions to y^2 = x^3 + 1025; sequence gives x values.

Views

Author

Keywords

Comments

Crossrefs

Programs

Magma

SageMath