Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 125 5 c Solution 2026-10-03
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 givesIf , this count is bounded; if , it is . Consequently