Elliptische Kurve/Kongruente Zahl/Eigenschaft zu Verdoppelungspunkt/Fakt/Beweis
Erscheinungsbild
Beweis
Es sei , nach Voraussetzung ist wegen Fakt . Nach der Verdoppelungsformel ist die -Koordinate von gleich
Das Ergebnis folgt somit aus Fakt.