OFFSET
1,1
COMMENTS
The height of a rational point (A/B,C/D) is max{|A|,|B|}.
REFERENCES
J. H. Silverman, A Friendly Introduction to Number Theory, pp. 337, Prentice Hall NJ, 2001.
MATHEMATICA
next[{x1_, y1_}, {x2_, y2_}] :=
With[{y = With[{m = (y2 - y1)/(x2 - x1)}, m x + (y1 - m x1)]},
With[{c =
Coefficient[
PolynomialQuotient[y^2 - (x^3 + 17), (x - x1) (x - x2), x], x,
0]}, {x, -y} /. x -> c]];
With[{P1 = {-2, 3}, P2 = {-1, 4}},
Map[Max@NumeratorDenominator@Abs@First@# &,
Join[{P1}, NestList[next[P1, #] &, P2, 18]]]] (* Oliver Seipel, Sep 26 2025 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Lekraj Beedassy, Jul 16 2004
EXTENSIONS
More terms from Oliver Seipel, Sep 26 2025
STATUS
approved
