Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 6/latex

Aus Wikiversity
Zur Navigation springen Zur Suche springen

\setcounter{section}{6}






\zwischenueberschrift{Die Gruppenstruktur}

Ein wesentliches Charakteristikum einer elliptischen Kurve ist, dass es auf ihr die Struktur einer kommutativen Gruppe gibt, die wir additiv schreiben. Dabei ist der Nullpunkt frei wählbar, man kann jeden $K$-Punkt als neutrales Element wählen. Dies ist der Grund, warum man bei der Definition einer elliptischen Kurve die Existenz eines $K$-\definitionsverweis {rationalen Punktes}{}{} fordert. Allerdings ist die Verknüpfung geometrisch signifikanter, wenn man einen Wendepunkt als Nullpunkt wählt. Meistens arbeitet man mit einer kurzen Weierstraßgleichung und setzt dann den unendlich fernen Punkt
\mathl{(0,1,0)}{} als Nullpunkt ${\mathfrak O }$ an.






\inputbemerkung
{}
{






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Addition on cubic (clean version).eps} }
\end{center}
\bildtext {} }

\bildlizenz { Addition on cubic (clean version).svg } {} {Beao} {Commons} {CC-by-sa 3.0} {}

Die Idee zu dieser Addition ist recht einfach und zeigt, warum hier der Kurvengrad $3$ entscheidend ist. Zwei verschiedene Punkte
\mavergleichskette
{\vergleichskette
{P,Q }
{ \in }{E }
{ \subseteq }{ {\mathbb P}^{2}_{} }
{ }{ }
{ }{ }
} {}{}{} legen eine projektive Gerade $G$ in der projektiven Ebene fest. Der Durchschnitt
\mathl{E \cap G}{} besteht aus drei Punkten, gezählt mit Multiplizitäten, wobei natürlich \mathkor {} {P} {und} {Q} {} zum Durchschnitt gehören. Wenn die Gerade $G$ weder zu $P$ noch zu $Q$ tangential ist, so gibt es noch einen weiteren Schnittpunkt $R$. Dieser Punkt ist nun
\betonung{nicht}{} die Summe von \mathkor {} {P} {und} {Q} {.} Dies kann nicht sein, da ja die drei Punkte des Schnittes gleichberechtigt sind \zusatzklammer {dann würde beispielsweise
\mavergleichskette
{\vergleichskette
{ P+ Q +Q }
{ = }{ R+Q }
{ = }{ P }
{ }{ }
{ }{ }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{Q+Q }
{ = }{ {\mathfrak O } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit dem Nullpunkt ${\mathfrak O }$ für alle Punkte gelten} {} {.} Stattdessen soll für ein solches kolineares Punktetripel
\mavergleichskettedisp
{\vergleichskette
{P+Q+R }
{ =} { {\mathfrak O } }
{ } { }
{ } { }
{ } { }
} {}{}{} gelten, also
\mavergleichskette
{\vergleichskette
{P+Q }
{ = }{ -R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wo liegt $-R$? Nach dem gleichen Prinzip gilt
\mavergleichskettedisp
{\vergleichskette
{ -R +R + {\mathfrak O } }
{ =} { {\mathfrak O } }
{ } { }
{ } { }
{ } { }
} {}{}{,} d.h. $-R$ ist der dritte Schnittpunkt der Kurve mit der durch \mathkor {} {{\mathfrak O }} {und} {R} {} festgelegten Geraden. Wenn die Gerade $G$ tangential zu $P$ und wenn $R$ der dritte Schnittpunkt ist, so ist die obige Gleichung als
\mavergleichskettedisp
{\vergleichskette
{ 2P+R }
{ =} { {\mathfrak O } }
{ } { }
{ } { }
{ } { }
} {}{}{} zu interpretieren und
\mavergleichskettedisp
{\vergleichskette
{ P+R }
{ =} { -P }
{ } { }
{ } { }
{ } { }
} {}{}{} bzw.
\mavergleichskette
{\vergleichskette
{ 2P }
{ = }{-R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Für den Nullpunkt ergibt sich aus
\mavergleichskette
{\vergleichskette
{ 2 {\mathfrak O } }
{ = }{ -R }
{ = }{ {\mathfrak O } }
{ }{ }
{ }{ }
} {}{}{,} dass ${\mathfrak O }$ eine Wendepunkt sein muss. Von dieser Idee her kann man sich gut vorstellen, dass es eine wohldefinierte Verknüpfung auf einer elliptischen Kurve gibt. Es ist aber keineswegs klar, dass diese durch polynomiale Ausdrücke gegeben ist, dass sie assoziativ ist und dass es sich wirklich um eine Gruppe handelt.

}




\inputdefinition
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{E }
{ = }{V_+(F) }
{ \subseteq }{ {\mathbb P}^{2}_{K} }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {elliptische Kurve}{}{} über $K$ und sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak O } }
{ \in }{E }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein fixierter $K$- \definitionsverweis {Wendepunkt}{}{} der Kurve. Zu $K$-Punkten
\mavergleichskette
{\vergleichskette
{P,Q }
{ \in }{E }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sei
\mathl{\overline{P,Q}}{} die projektive Gerade durch \mathkor {} {P} {und} {Q} {,} die bei
\mavergleichskette
{\vergleichskette
{P }
{ = }{Q }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als \definitionsverweis {Tangente}{}{} durch $P$ zu interpretieren ist, und sei $P \star Q$ der neben \mathkor {} {P} {und} {Q} {} dritte Punkt auf der Kurve. Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ -P }
{ \defeq} { {\mathfrak O } *P }
{ } { }
{ } { }
{ } { }
} {}{}{} das \definitionswort {Negative}{} zu $P$ und
\mavergleichskettedisp
{\vergleichskette
{P+Q }
{ \defeq} { - (P*Q) }
{ =} { {\mathfrak O } * (P*Q) }
{ } { }
{ } { }
} {}{}{} die \definitionswort {Summe}{} der beiden Punkte.

}





\inputfaktbeweis
{Glatte kubische Kurve/Punkt/Negation/Verknüpfung/Gruppe/Eigenschaften/Fakt}
{Satz}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{E }
{ = }{V_+(F) }
{ \subseteq }{ {\mathbb P}^{2}_{K} }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ und sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak O } }
{ \in }{E }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein fixierter $K$-\definitionsverweis {Wendepunkt}{}{} der Kurve.}
\faktfolgerung {Dann bildet die Menge der $K$-Punkte von $E$ mit der \definitionsverweis {Addition}{}{} eine \definitionsverweis {kommutative Gruppe}{}{} mit ${\mathfrak O }$ als \definitionsverweis {neutralem Element}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Verknüpfung ist wohldefiniert, da $\star$ auf einer glatten Kurve vom Grad $3$ wohldefiniert ist. Die Verknüpfung ist kommutativ, da dies für $\star$ gilt. Es ist
\mavergleichskettedisp
{\vergleichskette
{P + {\mathfrak O } }
{ =} { {\mathfrak O } \star ( {\mathfrak O } \star P ) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Rechts steht der neben \mathkor {} {{\mathfrak O }} {und} {P} {} dritte Punkt der dadurch definierten Geraden
\mathl{\overline{ {\mathfrak O } , P }}{.} Dieser Punkt definiert aber mit ${\mathfrak O }$ eben diese Gerade, und daher ist der dritte Punkt darauf neben diesem Punkt und ${\mathfrak O }$ wiederum gleich $P$. Das bedeutet, dass ${\mathfrak O }$ das neutrale Element ist. Ferner ist
\mavergleichskettedisp
{\vergleichskette
{P + (-P) }
{ =} { {\mathfrak O } \star ( P \star (-P) ) }
{ =} { {\mathfrak O } \star ( P \star ( {\mathfrak O } \star P) ) }
{ =} { {\mathfrak O } \star {\mathfrak O } }
{ =} { {\mathfrak O } }
} {}{}{,} wobei die letzte Gleichheit darauf beruht, dass ${\mathfrak O }$ ein Wendepunkt ist.

Zum Nachweis der Assoziativität
\mavergleichskette
{\vergleichskette
{ (P+Q)+R }
{ = }{ P+ (Q+R) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} betrachten wir die folgenden Geraden mit jeweils drei relevanten Punkten, die auf der elliptischen Kurve liegen. \aufzaehlungsechs{$L_1$ durch $P,Q,-(P+Q)$. }{$L_2$ durch $R,P+Q,-((P+Q)+R)$. }{$L_3$ durch $Q+R, {\mathfrak O },- (Q+R)$. }{$L_4$ durch $Q,R,-(Q+R)$. }{$L_5$ durch $P,Q+R,-(P+(Q+R))$. }{$L_6$ durch $P+Q, {\mathfrak O },- (P+Q)$. } Es sei
\mavergleichskettedisp
{\vergleichskette
{D }
{ \defeq} { L_1 \cup L_2 \cup L_3 }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{D' }
{ \defeq} { L_4 \cup L_5 \cup L_6 }
{ } { }
{ } { }
{ } { }
} {}{}{,} die selbst kubische Kurven sind, ihr Durchschnitt mit $E$ besteht aus den angeführten neun Punkten, die im Allgemeinen aber mit Multiplizitäten auftreten können. Wir nehmen an, dass alle Punkte verschieden sind, die anderen Situationen erfordern Sonderbetrachtungen, siehe Aufgabe 6.2. Die Schnittpunkte
\mathl{E \cap D}{} sind also
\mathdisp {{\mathfrak O } , P,Q,R, P+Q, - (P+Q), Q+R, - (Q+R), -((P+Q)+R)} { , }
die Schnittpunkte
\mathl{E \cap D'}{} sind die gleichen Punkte mit der Ausnahme, dass ganz hinten
\mathl{-(P+( Q+R))}{} steht. Nach Satz Anhang 3.1 folgt in dieser Situation aber \zusatzklammer {wir können zum algebraischen Abschluss übergehen} {} {}
\mavergleichskettedisp
{\vergleichskette
{ -((P+Q)+R) }
{ =} {-(P+( Q+R)) }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}


Auch wenn ${\mathfrak O }$ kein Wendepunkt der Kurve ist, so kann man ihn dennoch als neutrales Element einer Gruppenaddition nehmen. In diesem Fall muss man die Definition des Negativen folgendermaßen abändern: Es sei ${\mathfrak O }'$ der dritte Schnittpunkt der Tangente an ${\mathfrak O }$ mit der Kurve. Dann ist $-P$ der dritte Schnittpunkt der Gerade durch \mathkor {} {P} {und} {{\mathfrak O }} {.}






\inputbemerkung
{}
{

Zu einer elliptischen Kurve $E$ über $K$ ist nach Satz 6.3
\mathl{(E(K),+, {\mathfrak O } )}{,} die Menge der $K$-rationalen Punkte von $E$, eine kommutative Gruppe. Zu einer \definitionsverweis {Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gehört die Gruppe
\mathl{(E(L),+, {\mathfrak O } )}{,} in der $E(K)$ eine \definitionsverweis {Untergruppe}{}{} ist. Die Gruppe $E(K)$ kann endlich oder unendlich sein. Für einen endlichen Körper $K$ ist $E(K)$ stets endlich, da ja ${\mathbb P}^{2}_{K}$ nur endlich viele $K$-Punkte besitzt. Für einen \definitionsverweis {algebraisch abgeschlossenen Körper}{}{} ist $E(K)$ stets unendlich. Für
\mavergleichskette
{\vergleichskette
{K }
{ = }{\Q }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} oder einen anderen \definitionsverweis {Zahlkörper}{}{} ist es eine schwierige Frage, ob $E(K)$ endlich oder unendlich ist. Der wichtigste Satz ist hierbei der Satz von Mordell-Weil.

}





\inputfaktbeweis
{Elliptische Kurve/Kurze Weierstraßform/Gruppenstruktur/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ mit kurzer Weierstraßgleichung
\mavergleichskette
{\vergleichskette
{y^2 }
{ = }{x^3+ax+b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei der unendlich ferne Punkt
\mavergleichskette
{\vergleichskette
{ {\mathfrak O } }
{ = }{ (0,1,0) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als neutrales Element festgelegt.}
\faktfolgerung {Dann ist die \definitionsverweis {Negation}{}{} auf $E$ durch
\mavergleichskettedisp
{\vergleichskette
{- (x,y) }
{ =} { (x,-y) }
{ } { }
{ } { }
{ } { }
} {}{}{} und die \definitionsverweis {Addition}{}{} auf $E$ durch die rationalen Ausdrücke
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ (x_1,y_1) + (x_2,y_2) }
{ =} { \left( \alpha^2- x_1-x_2 , \, - \alpha^3 +\alpha(x_1+x_2)- \beta \right) }
{ } { }
{ } { }
{ } { }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \alpha }
{ =} { { \frac{ y_2-y_1 }{ x_2-x_1 } } }
{ =} { { \frac{ x_1^2+x_1x_2+x_2^2 +a }{ y_2+y_1 } } }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ \beta }
{ =} { y_1 - \alpha x_1 }
{ =} { { \frac{ x_2 y_1 -x_1y_2 }{ x_2-x_1 } } }
{ } { }
{ } { }
} {}{}{} gegeben.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir bestimmen zuerst das Negative. Zu einem Punkt
\mavergleichskettedisp
{\vergleichskette
{P }
{ =} {(x,y) }
{ } { }
{ } { }
{ } { }
} {}{}{} ist die Verbindungsgerade mit ${\mathfrak O }$ durch die affine Gleichung
\mavergleichskettedisp
{\vergleichskette
{ X-x }
{ =} { 0 }
{ } { }
{ } { }
{ } {}
} {}{}{} bzw. die projektive Geichung
\mavergleichskette
{\vergleichskette
{X-xZ }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gegeben. Auf dieser Geraden liegt auch der Punkt
\mathl{(x,-y)}{,} der auch auf der elliptischen Kurve liegt, da ja dort $y$ allein quadratisch eingeht. Also ist
\mavergleichskette
{\vergleichskette
{-P }
{ = }{(x,-y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der dritte Punkt dieser Geraden. Wenn hierbei
\mavergleichskette
{\vergleichskette
{y }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, so ist
\mavergleichskettedisp
{\vergleichskette
{-P }
{ =} {P }
{ } { }
{ } { }
{ } { }
} {}{}{} und die eben angeführte Gerade ist tangential an diesen Punkt.

Der Ausdruck $\alpha$ bedeutet die Steigung der Verbindungsgeraden. Wegen
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ y_2-y_1 }{ x_2-x_1 } } }
{ =} { { \frac{ { \left( y_2-y_1 \right) } { \left( y_2+y_1 \right) } }{ { \left( x_2-x_1 \right) } { \left( y_2+y_1 \right) } } } }
{ =} { { \frac{ y_2^2-y_1^2 }{ { \left( x_2-x_1 \right) } { \left( y_2+y_1 \right) } } } }
{ =} { { \frac{ x_2^3+ax_2+b -x_1^3-ax_1-b }{ { \left( x_2-x_1 \right) } { \left( y_2+y_1 \right) } } } }
{ =} { { \frac{ { \left( x_2-x_1 \right) } { \left( x_2^2+x_1x_2+x_1^2 +a \right) } }{ { \left( x_2-x_1 \right) } { \left( y_2+y_1 \right) } } } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ x_2^2+x_1x_2+x_1^2 +a }{ y_2+y_1 } } }
{ } {}
{ } {}
{ } {}
} {}{} stimmen die beiden Ausdrücke für $\alpha$ als Elemente des \definitionsverweis {Funktionenkörpers}{}{} zum affinen Koordinatenring
\mathl{K[X,Y]/(Y^2-X^3-aX-b)}{} und ebenso als $K$-wertige Funktionen außerhalb der Polstellen überein. Die Steigung der Verbindungsgerade besitzt also eine zweifache Darstellung, aus der rechten Darstellung ist klar, dass sie auch bei
\mavergleichskettedisp
{\vergleichskette
{(x_1,y_1) }
{ =} {(x_2,y_2) }
{ } { }
{ } { }
{ } { }
} {}{}{} bei
\mavergleichskette
{\vergleichskette
{y_1 }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} definiert ist und dass der Zähler in die Ableitung
\mathl{3x_1^2+a}{} übergeht. Bei
\mavergleichskette
{\vergleichskette
{x_1 }
{ = }{x_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{y_2 }
{ = }{-y_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist der Ausdruck nicht definiert, dies ist der oben behandelte Fall der Negation, wo ja die Summe ${\mathfrak O }$ ergibt.

Gemäß der Definition der Addition müssen wir zu den beiden Punkten \mathkor {} {(x_1,y_1)} {und} {(x_2,y_2)} {} die zugehörige Verbindungsgerade \zusatzklammer {bzw. Tangente im identischen Fall} {} {} und den dritten Schnittpunkt mit der Kurve bestimmen. Seien die Punkte zunächst verschieden. Die verbindende Gerade ist dann
\mavergleichskettedisp
{\vergleichskette
{ (y_2-y_1) X- (x_2-x_1)Y -x_1y_2+x_2y_1 }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {einfach die beiden Punkte einsetzen} {} {.} Da die Punkte verschieden sind, sind sie in mindestens einer Koordinaten verschieden und somit liegt in der Tat eine Gerade vor. Wenn
\mavergleichskette
{\vergleichskette
{x_1 }
{ = }{x_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, so ist
\mavergleichskettedisp
{\vergleichskette
{y_1 }
{ =} {-y_2 }
{ } { }
{ } { }
{ } { }
} {}{}{,} und die verbindende Gerade wird wie oben zu
\mavergleichskettedisp
{\vergleichskette
{X-x_1 }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{} mit ${\mathfrak O }$ als drittem Schnittpunkt. In diesem Fall ist
\mavergleichskettedisp
{\vergleichskette
{P + Q+ {\mathfrak O } }
{ =} { {\mathfrak O } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Sei nun
\mavergleichskette
{\vergleichskette
{x_1 }
{ \neq }{x_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wir schreiben die Geradengleichung als
\mavergleichskettedisp
{\vergleichskette
{Y }
{ =} { \alpha X + \beta }
{ } { }
{ } { }
{ } { }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \alpha }
{ =} { { \frac{ y_2-y_1 }{ x_2-x_1 } } }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ \beta }
{ =} { { \frac{ x_2 y_1 -x_1y_2 }{ x_2-x_1 } } }
{ } {}
{ } {}
{ } {}
} {}{}{.} Hier tritt also die erste Beschreibung für $\alpha$ auf.

Wir betrachten nun den Fall
\mavergleichskette
{\vergleichskette
{ (x_1,y_1) }
{ = }{ (x_2,y_2) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{y_1 }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die Tangente in einem Punkt
\mathl{(x_1,y_1)}{} ist durch die lineare Gleichung
\mavergleichskettedisp
{\vergleichskette
{ (3x_1^2+a) (x-x_1) - 2y_1 (y-y_1) }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{} gegeben. Diese Gerade hat mit der Kurve in
\mathl{(x_1,y_1)}{} einen doppelten Schnittpunkt und es muss noch einen weiteren Schnittpunkt geben. Wenn man die Gleichung nach $y$ auflöst, so erhält man
\mavergleichskettealign
{\vergleichskettealign
{y }
{ =} { { \frac{ { \left( 3x_1^2 +a \right) } x -3x_1^3 -ax_1+2y_1^2 }{ 2y_1 } } }
{ =} { { \frac{ 3x_1^2 +a }{ 2y_1 } } x + { \frac{ -3x_1^3 -ax_1+2y_1^2 }{ 2y_1 } } }
{ =} { \alpha x + \beta }
{ } { }
} {} {}{,} hier tritt für $\alpha$ die zweite Beschreibung auf.

Ein Punkt auf der Geraden hat die Form
\mathl{(x, \alpha x + \beta)}{.} Die Bedingung, dass er auf der Kurve liegt, wird zu
\mavergleichskettedisp
{\vergleichskette
{ { \left( \alpha x + \beta \right) }^2 }
{ =} { \alpha^2 x^2 +2 \alpha \beta x + \beta^2 }
{ =} { x^3+ax+b }
{ } { }
{ } { }
} {}{}{} bzw. zu
\mavergleichskettedisp
{\vergleichskette
{ x^3 - (\alpha x+ \beta)^2 +ax+b }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Von dieser Gleichung in der einen Variablen $x$ kennen wir aber schon die Lösungen \mathkor {} {x_1} {und} {x_2} {,} die auch gleich sein können. Deshalb gilt
\mavergleichskettedisp
{\vergleichskette
{ x^3 - (\alpha x+ \beta)^2 +ax+b }
{ =} { (x-x_1)(x-x_2)(x-x_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} mit einer dritten, noch nicht bekannten Lösung $x_3$. Der Koeffizient zu $x^2$ führt auf
\mavergleichskettedisp
{\vergleichskette
{ \alpha^2 }
{ =} { x_1+x_2+x_3 }
{ } { }
{ } { }
{ } { }
} {}{}{} und damit
\mavergleichskettedisp
{\vergleichskette
{x_3 }
{ =} { \alpha^2 -x_1-x_2 }
{ } { }
{ } {}
{ } {}
} {}{}{} und
\mavergleichskettealign
{\vergleichskettealign
{y_3 }
{ =} { - \alpha x_3- \beta }
{ =} { - \alpha^3 + \alpha (x_1+x_2) - \beta }
{ } { }
{ } { }
} {} {}{.}

}





\inputbeispiel{}
{

Wir möchten auf der durch
\mavergleichskettedisp
{\vergleichskette
{y^2 }
{ =} {x^3 +1 }
{ } { }
{ } { }
{ } { }
} {}{}{} gegebenen \definitionsverweis {elliptischen Kurve}{}{} die beiden Punkte \mathkor {} {(0,1)} {und} {(2,3)} {} addieren. Gemäß Satz 6.5 ist
\mavergleichskette
{\vergleichskette
{ \alpha }
{ = }{ { \frac{ 3-1 }{ 2-0 } } }
{ = }{ 1 }
{ }{ }
{ }{ }
} {}{}{} und damit
\mavergleichskettedisp
{\vergleichskette
{ (0,1) +(2,3) }
{ =} { (1-0-2, -1 +2 -1 ) }
{ =} { (-1, 0) }
{ } { }
{ } { }
} {}{}{.}


}





\inputfaktbeweis
{Elliptische Kurve/Kurze Weierstraßform/Verdoppelung/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ mit kurzer Weierstraßgleichung
\mavergleichskette
{\vergleichskette
{y^2 }
{ = }{x^3+ax+b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann ist die Verdoppelung eines Punktes
\mathl{(x,y)}{} mit
\mavergleichskette
{\vergleichskette
{y }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} durch die rationalen Ausdrücke
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{2 (x,y) }
{ =} { \left( \alpha ^2-2x , \, - \alpha^3+ 3x \alpha -y \right) }
{ =} { \left( { \frac{ 9x^4+6ax^2+a^2 }{ 4(x^3+ax+b) } } -2x , \, { \left( - { \frac{ (3x^2+a)^3 }{ 8(x^3+ax+b)^2 } } + { \frac{ 3x(3x^2+a) }{ 2(x^3+ax+b) } } -1 \right) } y \right) }
{ =} { \left( { \frac{ x^4-2ax^2-8bx+a^2 }{ 4(x^3+ax+b) } } , \, { \frac{ x^6 + 5ax^4 + 20bx^3-5a^2x^2 -4abx -a^3-8b^2 }{ 8(x^3+ax+b)^2 } } y \right) }
{ } { }
} {} {}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \alpha }
{ =} { { \frac{ 3x^2+a }{ 2y } } }
{ } { }
{ } { }
{ } { }
} {}{}{} gegeben.}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt aus Satz 6.5, wobei man für $\alpha$ wegen
\mavergleichskette
{\vergleichskette
{x_1 }
{ = }{x_2 }
{ = }{x }
{ }{ }
{ }{ }
} {}{}{} den zweiten Ausdruck verwenden muss. Für die letzte Darstellung siehe Aufgabe 6.13.

}






\inputfaktbeweis
{Elliptische Kurve/Kurze Weierstraßform/Vervielfachung/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ mit kurzer Weierstraßgleichung
\mavergleichskette
{\vergleichskette
{y^2 }
{ = }{x^3+ax+b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei
\mavergleichskettedisp
{\vergleichskette
{ f_2 }
{ =} { { \frac{ 9x^4+6ax^2+a^2 }{ 4(x^3+ax+b) } } -2x }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ q_2 }
{ =} { - { \frac{ (3x^2+a)^3 }{ 8(x^3+ax+b)^2 } } + { \frac{ 3x(3x^2+a) }{ 2(x^3+ax+b) } } -1 }
{ } { }
{ } { }
{ } { }
} {}{}{} und wir definieren rekursiv
\mavergleichskettedisp
{\vergleichskette
{f_{m+1} }
{ =} { { \frac{ (q_m -1)^2 (x^3+ax+b) }{ (f_m-x)^2 } } -x-f_m }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{q_{m+1} }
{ =} { - { \frac{ (q_m -1)^3 (x^3+ax+b) }{ (f_m-x)^3 } } + { \frac{ (q_m -1) }{ f_m-x } } (2x+f_m) -1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei es sich um \definitionsverweis {rationale Funktionen}{}{} in der einen Variablen $x$ handelt.}
\faktfolgerung {Dann wird die $m$-te Vervielfachung eines Punktes $(x,y)$ auf $E$ durch die rationalen Ausdrücke
\mavergleichskettedisp
{\vergleichskette
{m (x,y) }
{ =} { \left( f_m , \, q_my \right) }
{ } { }
{ } { }
{ } { }
} {}{}{} beschrieben.}
\faktzusatz {}
\faktzusatz {}

}
{

Für
\mavergleichskette
{\vergleichskette
{m }
{ = }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} handelt es sich um Korollar 6.7. Wir führen Induktion nach
\mavergleichskette
{\vergleichskette
{m }
{ \geq }{3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Nach Satz 6.5 mit
\mavergleichskette
{\vergleichskette
{ \left( x_1 , \, y_1 \right) }
{ = }{ \left( x , \, y \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{ \left( x_2 , \, y_2 \right) }
{ = }{ \left( f_m , \, q_m y \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{\alpha }
{ = }{ { \frac{ q_my-y }{ f_m-x } } }
{ = }{ { \frac{ (q_m-1)y }{ f_m-x } } }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ (m+1)(x,y) }
{ =} { (x,y) + m(x,y) }
{ =} { (x,y) + \left( f_m , \, q_m y \right) }
{ =} { \left( \left( \frac{ (q_m -1) y }{ f_m-x } \right)^2 -x-f_m , \, - \left( \frac{ (q_m -1) y }{ f_m-x } \right)^3 + { \frac{ (q_m -1) y }{ f_m-x } } (x+f_m) + { \frac{ (q_m -1) y }{ f_m -x } } x-y \right) }
{ =} { \left( { \frac{ (q_m -1)^2 (x^3+ax+b) }{ (f_m-x)^2 } } -x-f_m , \, - { \frac{ (q_m -1)^3 y^3 }{ (f_m-x)^3 } } + { \frac{ (q_m -1) y }{ f_m-x } } (2x+f_m) -y \right) }
} {
\vergleichskettefortsetzungalign
{ =} { \left( f_{m+1} , \, { \left( - { \frac{ (q_m -1)^3 (x^3+ax+b) }{ (f_m-x)^3 } } + { \frac{ (q_m -1) }{ f_m-x } } (2x+f_m) -1 \right) } y \right) }
{ =} { \left( f_{m+1} , \, q_{m+1} y \right) }
{ } {}
{ } {}
}{}{.}

}