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 chooseThe duplication formula for isThe numerator has magnitude at most , and the denominator at most . Thussatisfies 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.
Articles by others on the same topic
There are currently no matching articles.