Elliptische Kurve/Y^2 ist X^3+4X/Addition/(2,4)+(2,4)/Aufgabe/Lösung

Mit den Notationen aus Fakt ist ${}\alpha ={\frac {12+4}{8}}=2$. Somit ist

${}2(2,4)=(4-2\cdot 2,-2^{3}+3\cdot 2\cdot 2-4)=(0,0)\,.$

Zur gelösten Aufgabe