Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-125/5/c/solution

Since is bounded, a bound on bounds the projective height of . The Northcott theorem gives only finitely many possible rational -coordinates, and each has at most two points above it. Hence
By the Mordell-Weil theorem, . The canonical height is a positive-definite quadratic form on the lattice , so canonical-height lattice-point growth gives
If , this count is bounded; if , it is . Consequently

New to topics? Read the docs here!