| Summary: | We discuss a technique for trying to find all rational points on curves of the form $Y^2 = f_3 X^6 + f_2 X^4 + f_1 X^2 + f_0$, where the sextic has nonzero discriminant. This is a bielliptic curve of genus 2. When the rank of the Jacobian is 0 or 1, Chabauty's Theorem may be applied. However, we shall concentrate on the situation when the rank is at least 2. In this case, we shall derive an associated family of elliptic curves, defined over a number field Q(a). If each of these elliptic curves has rank less than the degree of Q(a) : Q, then we shall describe a Chabauty-like technique which may be applied to try to find all the points (x,y) defined over Q(a) on the elliptic curves, for which x is in Q. This in turn allows us to find all Q-rational points on the original genus 2 curve. We apply this to give a solution to a problem of Diophantus (where the sextic in X is irreducible over Q), which simplifies the recent solution of Wetherell. We also present two examples where the sextic in X is reducible over Q.
|
|---|