OFFSET
3,2
COMMENTS
The equation y^2 = n^3 + A*n^2 + B*n + C, where A = 1, B = 2*r, C = r^2 is a minimal model of an elliptic curve with integral coefficients, for details see the Links section.
For n >= 4, n*(n - 3)/2 >= a(n) >= 2.
LINKS
Robin Visser, Table of n, a(n) for n = 3..10000
Josef Gebel, Attila Pethő, and Horst G. Zimmer, Computing S-integral points on elliptic curves, Rend. Circ. Matem. Palermo 30 (1910), 377-407. In: Cohen, H. (eds) Algorithmic Number Theory. ANTS 1996. Lecture Notes in Computer Science, vol 1122. Springer, Berlin, Heidelberg.
The L-functions and modular forms database, LMFDB
Joseph H. Silverman, The Arithmetic of Elliptic Curves
Eric Weisstein's World of Mathematics, Mordell Curve
FORMULA
a(p) = p*(p - 3)/2, p >= 5 a prime number.
a(n) = 0 for n from A005563.
EXAMPLE
n = 6: y^2 = 6^3 + (6 + r)^2 is valid for r = 9, 19, 47. Least r is 9 thus a(6) = 9 and [y, n, n+r] is [21, 6, 15].
n = 7: y^2 = 7^3 + (7 + r)^2 is valid for r = 14, 164. Least r is 14 thus a(7) = 14 and [y, n, n+r] is [28, 7, 21].
PROG
(PARI) a(n)=vecmin(((select((x)->x[1]>=0&&x[2]>=n, thue(thueinit(x^2-1, 1), n^3)))~[1]))-n \\ Thomas Scheuerle, Sep 03 2023
(Sage)
def a(n):
for d in Integer(n^3).divisors():
if ((d-n^3/d)%2 == 0) and ((d-n^3/d)/2 >= n):
return (d-n^3/d)/2 - n # Robin Visser, Sep 30 2023
CROSSREFS
KEYWORD
nonn
AUTHOR
Ctibor O. Zizka, Sep 01 2023
STATUS
approved