Elliptische Kurve/Kongruente Zahl/Eigenschaft zu Verdoppelungspunkt/Fakt/Beweis

Beweis

Es sei , nach Voraussetzung ist wegen Fakt . Nach der Verdoppelungsformel ist die -Koordinate von gleich

Das Ergebnis folgt somit aus Fakt.