Here . A nonzero ordinate of a torsion point must have its square dividing 31, so . The curve equation then becomes , whose only integer solution is . No point with exists over the rationals: the monic cubic has no integer root, since its only possible integer roots are and neither works.
It remains to test . Doubling either gives abscissa , which is not an integer. If the original point were torsion its double would satisfy the integrality part of the Nagell–Lutz theorem, a contradiction. Therefore
The rational point consequently has infinite order, so its multiples give infinitely many distinct rational points.

Articles by others on the same topic (0)

There are currently no matching articles.