
We compute equations for the families of elliptic curves 9congruent to a given elliptic curve. We use these to find infinitely many nontrivial pairs of 9congruent elliptic curves over Q, i.e. pairs of nonisogenous elliptic curves over Q whose 9torsion subgroups are isomorphic as Galois modules.