Rational pairs of cubes summing to seven

ID: rational-pairs-of-cubes-summing-to-seven

There are infinitely many rational pairs with . The corresponding Weierstrass equation of an elliptic curve is , and maps to . The primes and are good, with point counts and because cubing is bijective in their residue fields. Reduction of torsion points on an elliptic curve bounds rational torsion by order dividing . The flexes of a diagonal cubic exclude three-torsion for , while is not a cube and hence excludes two-torsion. Thus has infinite order.
All nonzero multiples of map to distinct rational affine pairs, since the only rational point at infinity of the diagonal cubic is its identity. The inverse map is and .

New to topics? Read the docs here!