For in lowest terms, take the logarithmic naive height . Its required properties are
and
with constants depending only on the curve. Define the canonical height of an elliptic curve by
The first bounded-error relation makes this a convergent telescoping correction to . Apply the second relation to , divide by , and let to obtain
Also , and the parallelogram identity then gives for every integer . Thus is a quadratic form.

Articles by others on the same topic (0)

There are currently no matching articles.