Solution

ID: past-exam-of-the-analytic-number-theory-and-elliptic-curves-course-of-the-university-of-oxford/2007/b/8/ii/solution

Write in lowest terms and put . For ,
Before reduction to lowest terms, both numerator and denominator are bounded in magnitude by . Cancellation can only decrease the height. Hence one may choose
The duplication formula for is
The numerator has magnitude at most , and the denominator at most . Thus
satisfies the second bound. At the identity or any point whose relevant image is the identity, the image height is zero and the same nonnegative constants work directly. Thus the formulas cover every rational point, including the exceptional points of the displayed coordinate expressions.

New to topics? Read the docs here!