Elliptische Kurve/Kurze Weierstraßform/Verdoppelung/Fakt/Beweis

Beweis

Dies folgt aus Fakt, wobei man für $\alpha$ wegen  $x_1=x_2=x$  den zweiten Ausdruck verwenden muss. Für die letzte Darstellung siehe Aufgabe.

Zur bewiesenen Aussage