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. ThereforeThe rational point consequently has infinite order, so its multiples give infinitely many distinct rational points.
Articles by others on the same topic
There are currently no matching articles.