Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-26/1/c/solution

Use in the family from part (b). For order four, take , giving
Its discriminant is , and is a nonzero point equal to its own inverse. Thus and .
For order five, take :
The discriminant is , and gives exact order five by part (b).
For order six, take :
Its discriminant is . Here and ; negation is , so is nonzero 2-torsion. Neither nor is , excluding orders two and three, while . All coefficients and points are rational, and the nonzero discriminants certify genuine elliptic curves.

New to topics? Read the docs here!