Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-125/4/b/solution

For
use two-isogeny descent through
The square-class maps send a nonexceptional point to the class of its -coordinate. On , possible classes are ; the defining quartics and positivity exclude the negative classes, while and realize and . Thus the image has order two. On , the possible classes are ; the classes and occur, while the quartics for and have no primitive solution modulo . Hence this image also has order two. The two-isogeny descent formula
therefore gives .
The displayed curve has good reduction at and , where direct counting gives
Reduction injects rational torsion of order prime to these characteristics, so its order divides . We already have the six distinct points
Since the rank is zero, these are all the rational points and .
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!