2.3. Integral points 23
is an invertible rational map, defined over Q, that sends (0,1) to
O, and ψ(0, −1) = (0,0). See Exercise 2.12.4. More generally, any
C : V
+ dU +
for some a, b, c, d, q ∈ Z is isomorphic over Q to a curve of the form
+ a1xy + a3y =
+ a4x + a6, also defined over Q. The
isomorphism is given in [Was08], Theorem 2.17, p. 37.
Let E be an elliptic curve over Q given by a Weierstrass equation
+ a1xy + a3y =
+ a4x + a6, ai ∈ Q.
With a change of variables (x, y) →
we can find the
equation of an elliptic curve isomorphic to E given by
+ (a1u)xy +
with coeﬃcients aiui ∈ Z for i = 1,2,3,4,6. By the way, this is one
of the reasons for the peculiar numbering of the coeﬃcients ai.
Example 2.2.6. Let E be given by
. We may
change variables by x =
and y =
to obtain a new equation
+ 648X + 77760 with integral coeﬃcients.
2.3. Integral points
In 1929, Siegel proved the following result about integral points E(Z),
i.e., about those points on E with integer coordinates:
Theorem 2.3.1 (Siegel’s theorem; [Sil86], Ch. IX, Thm. 3.1). Let
E/Q be an elliptic curve given by
+ Ax + B, with A, B ∈ Z.
Then E has only a finite number of integral points.
Siegel’s theorem is a consequence of a well-known theorem of Roth
on Diophantine approximation. Unfortunately, Siegel’s theorem is not
effective and provides neither a method to find the integral points on
E nor a bound on the number of integral points. However, in [Bak90],
Alan Baker found an alternative proof that provides an explicit upper
bound on the size of the coeﬃcients of an integral solution. More
concretely, if x, y ∈ Z satisfy
+ Ax + B, then