For in lowest terms, take the logarithmic naive height . Its required properties areandwith constants depending only on the curve. Define the canonical height of an elliptic curve byThe first bounded-error relation makes this a convergent telescoping correction to . Apply the second relation to , divide by , and let to obtainAlso , and the parallelogram identity then gives for every integer . Thus is a quadratic form.
Articles by others on the same topic
There are currently no matching articles.