Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 4/latex
\setcounter{section}{4}
\zwischenueberschrift{Ebene projektive Kurven}
\inputdefinition
{}
{
Eine \definitionswort {projektive ebene Kurve}{} ist die Nullstellenmenge
\mavergleichskette
{\vergleichskette
{C
}
{ = }{ V_+(F)
}
{ \subset }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{
}
}
{}{}{}
zu einem homogenen nicht-konstanten Polynom
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{ K[X,Y,Z]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Zu einer ebenen affinen Kurve
\mavergleichskette
{\vergleichskette
{ V(G)
}
{ \subset }{ {\mathbb A}^{2}_{K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {in den Koordinaten $X,Y$} {} {}
liegt insgesamt die Situation
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} { V(G)
}
{ \subset} { {\mathbb A}^{2}_{K}
}
{ =} { D_+(Z)
}
{ \subset} { {\mathbb P}^{2}_{K}
}
}
{}{}{}
vor. Die affine Kurve ist abgeschlossen in der affinen Ebene, aber nicht in der projektiven Ebene, dort kommen noch einzelne Punkte hinzu. Den
\zusatzklammer {Zariski-topologischen} {} {}
Abschluss von $V$ in
\mathl{{\mathbb P}^{2}_{K}}{} nennt man den \stichwort {projektiven Abschluss} {} der Kurve.
\inputfaktbeweis
{Ebene projektive Kurve/Gleichung für projektiven Abschluss mit Homogenisierung/Fakt}
{Korollar}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{.}
Zu einer
\definitionsverweis {ebenen affinen Kurve}{}{}
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} {V(G)
}
{ \subseteq} { {\mathbb A}^{2}_{K}
}
{ \subseteq} { {\mathbb P}^{2}_{K}
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{G
}
{ \in }{K[X,Y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird}
\faktfolgerung {der
\definitionsverweis {Zariski-Abschluss}{}{}
von $V$ in
\mathl{{\mathbb P}^{2}_{K}}{} durch
\mavergleichskette
{\vergleichskette
{C
}
{ = }{V_+(H)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beschrieben, wobei $H$ die
\definitionsverweis {Homogenisierung}{}{}
von $G$ in
\mathl{K[X,Y,Z]}{} bezeichnet.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus Satz 28.8 (Algebraische Kurven (Osnabrück 2017-2018)), da nach Aufgabe 4.13 die Homogenisierung eines Hauptideals das durch die Homogenisierung des Erzeugers erzeugte Hauptideal ist.
Die vorstehende Aussage gilt nicht ohne die Voraussetzung, dass der Körper algebraisch abgeschlossen ist, siehe
Aufgabe 4.8.
Wir werden aber generell $V_+(H)$ mit der Homogenisierung $H$ als richtige projektive Version der affinen Kurve ansehen, da dieses Konzept sich bei Körpererweiterungen gut verhält.
\inputbemerkung
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{G
}
{ \in }{ K[X,Y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Homogenisierung
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{K[X,Y,Z]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man gewinnt $G$ aus $F$ zurück, indem man $Z$ durch $1$ ersetzt. $G$ beschreibt dann den Durchschnitt
\mathl{D_+(Z) \cap V_+(F)}{.} Die beiden anderen affinen Ausschnitte, also
\mathdisp {D_+(X) \cap V_+(F) \text{ und } D_+(Y) \cap V_+(F)} { , }
sind gleichberechtigt und liefern insbesondere affine Umgebungen für die Punkte von
\mavergleichskette
{\vergleichskette
{C
}
{ = }{ V_+(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die nicht in
\mathl{D_+(Z)}{} liegen.
Von der affinen Kurve
\mathl{V(G)}{} aus gesehen sind die Punkte im Unendlichen die Punkte aus
\mathl{V_+(F) \cap V_+(Z)}{.} Das ist der Schnitt der projektiven Kurve mit einer projektiven Geraden. Dies ist eine endliche Menge, es sei denn die projektive Gerade ist eine Komponente der Kurve, was aber nicht sein kann, wenn man mit einer affinen Kurve startet
\zusatzklammer {da $Z$ kein Teiler der Homogenisierung ist} {} {.}
Zur Berechnung der unendlich fernen Punkte betrachtet man die homogene Zerlegung
\mathdisp {G=G_d + \cdots + G_m \text{ mit } m \leq d} { }
und die Homogenisierung
\mavergleichskettedisp
{\vergleichskette
{ F
}
{ =} { G_d +G_{d-1}Z + \cdots + G_mZ^{d-m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zur Berechnung des Durchschnittes mit
\mathl{V_+(Z)}{} muss man
\mavergleichskette
{\vergleichskette
{Z
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzen, sodass man die Nullstellen des homogenen Polynoms
\mathl{G_d(X,Y)}{}
\zusatzklammer {in zwei Variablen} {} {}
berechnen muss. Der Grad $d$ gibt also sofort eine Schranke, wie viele unendlich ferne Punkte es maximal auf der Kurve geben kann.
}
\inputbeispiel{}
{
Wir betrachten den Standardkegel
\mavergleichskettedisp
{\vergleichskette
{ V(X^2+Y^2-Z^2)
}
{ \subset} { { {\mathbb A}_{ K }^{ 3 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da dies durch eine homogene Gleichung gegeben ist, kann man diesen Kegel auch sofort als eine ebene projektive Kurve
\zusatzklammer {vom Grad zwei} {} {}
\mavergleichskettedisp
{\vergleichskette
{ V_+(X^2+Y^2-Z^2)
}
{ \subset} { {\mathbb P}^{2}_{K}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auffassen. Die Schnitte des Kegels mit einer beliebigen Ebene
\mavergleichskette
{\vergleichskette
{E
}
{ \subset }{{ {\mathbb A}_{ K }^{ 3 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man
\definitionsverweis {Kegelschnitte}{}{.}
Diese bekommen nun eine neue Interpretation. Eine Ebene $E$, auf der nicht der Nullpunkt liegt, kann man in natürlicher Weise identifizieren mit einer offenen affinen Ebene
\mavergleichskette
{\vergleichskette
{ D_+(L)
}
{ \subseteq }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {wobei $L$ eine homogene Linearform ist, die den Untervektorraum zu $E$ beschreibt} {} {.}
Die Schnitte mit dem Kegel sind dann verschiedene affine Ausschnitte aus der ebenen projektiven Kurve
\mathl{V_+(X^2+Y^2-Z^2)}{.} Insbesondere sind also Kreis, Hyperbel und Parabel solche affinen Ausschnitte.
Die Schnitte mit einer Ebenen durch den Nullpunkt sind hingegen projektiv verstanden die endlichen Teilmengen
\mathl{V_+(X^2+Y^2-Z^2) \cap V_+(L)}{.}
}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{d
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann heißt die
\definitionsverweis {ebene projektive Kurve}{}{}
\mavergleichskettedisp
{\vergleichskette
{ V(X^d+Y^d+Z^d)
}
{ \subseteq} { {\mathbb P}^{2}_{K}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Fermat-Kurve}{} vom Grad $d$.
}
Für
\mavergleichskette
{\vergleichskette
{d
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
handelt es sich einfach um eine projektive Gerade.
\zwischenueberschrift{Glattheit von projektiven Kurven}
Ein Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{C
}
{ = }{V_+(F)
}
{ \subseteq }{ {\mathbb P}^{2}_{K}
}
{ }{
}
}
{}{}{}
einer ebenen projektiven Kurve liegt stets auch in einer affin-algebraischen Umgebung. Wegen
\mavergleichskette
{\vergleichskette
{P
}
{ = }{(a,b,c)
}
{ \neq }{(0,0,0)
}
{ }{
}
{ }{
}
}
{}{}{}
ist zumindest eine Koordinate $\neq 0$, bei
\mavergleichskette
{\vergleichskette
{c
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt der Punkt auf
\mavergleichskettedisp
{\vergleichskette
{V_+(F) \cap D_+(Z)
}
{ =} { V( \tilde{F} )
}
{ \subseteq} { {\mathbb A}^{2}_{K}
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $\tilde{F}$ hier die Dehomogenisierung von $F$ bezüglich der dritten Variablen bezeichnet. In dieser Situation kann man den Punkt $P$ auf Glattheit im Sinne der
Definition 2.1
untersuchen. Es stellt sich heraus, dass es dabei nicht darauf ankommt, in welcher affinen Umgebung man die Glattheit überprüft, siehe
Aufgabe 4.18.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Eine
\definitionsverweis {ebene projektive Kurve}{}{}
\mavergleichskette
{\vergleichskette
{ C
}
{ = }{ V_+(F)
}
{ \subset }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{}
}
{}{}{}
zu einem
\definitionsverweis {homogenen Polynom}{}{}
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{K[X,Y,Z]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {glatt}{,}
wenn sie in jedem
$L$-\definitionsverweis {Punkt}{}{}
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{C_L
}
{ \subseteq }{ {\mathbb P}^{2}_{L}
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {glatt}{}{}
ist.
}
\inputfaktbeweis
{Projektive Kurve/Fermat-Kurve vom Grad d/Glattheit/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{}
der
\definitionsverweis {Charakteristik}{}{}
\mavergleichskette
{\vergleichskette
{p
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ C
}
{ = }{ V_+(X^d+Y^d+Z^d)
}
{ \subset }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{
}
}
{}{}{}
die
\definitionsverweis {Fermat-Kurve}{}{}
vom Grad $d$. Die Charakteristik sei kein Teiler von $d$.}
\faktfolgerung {Dann ist $C$ eine
\definitionsverweis {glatte Kurve}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Da Glattheit eine lokale Eigenschaft ist, können wir mit einem beliebigen affinen Ausschnitt argumentieren. Da die Situation symmetrisch ist, können wir uns auf das affine Teilstück
\mavergleichskettedisp
{\vergleichskette
{ V(X^d+Y^d+1)
}
{ \subset} { {\mathbb A}^{2}_{K}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
beschränken. Die partiellen Ableitungen sind \mathkon { d X^{d-1} } { und } { d Y^{d-1} }{ .} Aufgrund der Voraussetzung über die Charakteristik ist
\mavergleichskette
{\vergleichskette
{d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass beide Ableitungen nur bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
verschwinden. Dieser Punkt gehört aber nicht zur Kurve.
\inputfaktbeweis
{Ebene projektive Kurve/Körper/Y^n ist F(X)/Glattheit/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
sei
\mavergleichskette
{\vergleichskette
{G
}
{ \in }{K[X,Z]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {homogenes Polynom}{}{}
vom Grad $d+1$, das in
\zusatzklammer {homogen} {} {}
verschiedene homogene Linearfaktoren der Form
\mathl{\alpha_i X+ \beta_i Z}{} mit
\mavergleichskette
{\vergleichskette
{\alpha_i
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zerfalle.}
\faktvoraussetzung {Es sei
\mavergleichskette
{\vergleichskette
{d
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kein Vielfaches der
\definitionsverweis {Charakteristik}{}{}
von $K$.}
\faktfolgerung {Dann ist die durch die Gleichung
\mavergleichskette
{\vergleichskette
{Y^dZ
}
{ = }{ G(X,Z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebene
\definitionsverweis {projektive Kurve}{}{}
\definitionsverweis {glatt}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Auf der offenen Menge
\mathl{D_+(Z)}{} erhält man die in
Lemma 2.6
beschriebene Situation, diese Punkte sind also glatt. Auf dem Komplement
\mathl{V_+(Z)}{} wird die Gleichung zu
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { G(X,0)
}
{ =} { \alpha X^{d+1}
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem Vorfaktor
\mavergleichskette
{\vergleichskette
{ \alpha
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
woraus
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Es gibt also nur noch den weiteren Punkt $P$ mit den Koordinaten
\mathl{(0,1,0)}{.} Eine affine Umgebung dieses Punktes ist $D_+(Y)$, die affine Version der Gleichung auf diesem Teilstück ist
\mavergleichskette
{\vergleichskette
{Z
}
{ = }{ G(X,Z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die
\definitionsverweis {partielle Ableitung}{}{}
nach $Z$ ist
\mathl{1+ \sum \gamma_{ij} X^iZ^j}{} mit
\mavergleichskette
{\vergleichskette
{i+j
}
{ = }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Im Nullpunkt, der dem Punkt $P$ entspricht, ist dies gleich $1$, daher ist dies auch ein glatter Punkt.
\inputdefinition
{}
{
Eine
\definitionsverweis {glatte}{}{}
ebene
\definitionsverweis {projektive Kurve}{}{}
\mavergleichskette
{\vergleichskette
{V_+(F)
}
{ \subseteq }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{ K[X,Y,Z]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {homogen}{}{}
vom Grad $3$, die zumindest einen
$K$-\definitionsverweis {rationalen Punkt}{}{}
besitzt, heißt
\definitionswort {elliptische Kurve}{}
über $K$.
}
Über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
ist die Bedingung über die Existenz eines rationalen Punktes stets erfüllt. Diese Bedingung ist im Allgemeinen nötig, um sicherzustellen, dass die Menge der $K$-Punkte eine Gruppe bilden - es gibt ja keine leere Gruppe. Eine elliptische Kurve ist also insbesondere projektiv. Wegen der Beziehung zwischen affinen und projektiven Kurven über den projektiven Abschluss bzw. die Homogenisierung kann man aber wiederum häufig die affine Situation betrachten und eine Variable sparen. In der nächsten Vorlesung werden wir überlegen, auf welche Gestalt man eine elliptische Kurve durch eine Variablentransformation bringen kann und wie die affine Version davon aussieht. Es wird sich
\zusatzklammer {bei Charakteristik $\neq 2,3$} {} {}
ergeben, dass die affine Version von der Gestalt
\zusatzklammer {kurze Weierstraßform} {} {}
\mavergleichskette
{\vergleichskette
{Y^2
}
{ = }{X^3+aX+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, mit Koeffizienten
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die sicherstellen, dass das kubische Polynom rechts keine mehrfache Nullstelle besitzt. Wenn wir im Folgenden von der durch
\mavergleichskette
{\vergleichskette
{Y^2
}
{ = }{X^3+aX+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebenen elliptischen Kurve sprechen, so meinen wir in Wahrheit die durch die homogene Gleichung
\mavergleichskette
{\vergleichskette
{Y^2Z
}
{ = }{ X^3+aXZ^2+bZ^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebene elliptische Kurve. Der einzige Punkt darauf, der nicht auf dem affinen Ausschnitt liegt, ist
\mathl{(0,1,0)}{,} und dieser sichert die Existenz eines $K$-rationalen Punktes.
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir betrachten die Gleichung
\mavergleichskettedisp
{\vergleichskette
{Y^2
}
{ =} { X^3-n^2X
}
{ =} { X(X-n)(X+n)
}
{ } {
}
{ } {
}
}
{}{}{}
über einem
\definitionsverweis {Körper}{}{}
$K$, wobei die
\definitionsverweis {Charakteristik}{}{}
$p$ kein Teiler von $2n$ sei. Dann liegt eine glatte kubische Kurve vor. Die
\definitionsverweis {partiellen Ableitungen}{}{}
sind
\mathkor {} {3X^2-n^2} {und} {2Y} {.}
Ein singulärer Punkt könnte allenfalls in
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ 0,n,-n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegen, doch ist da
\mavergleichskette
{\vergleichskette
{3x^2-n^2
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cubic planar curves.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Cubic planar curves.svg } {} {Aizenr} {Commons} {CC-by-sa 4.0} {}
\zwischenueberschrift{Kongruente Zahlen}
Wir betrachten eine erste Beispielklasse von elliptischen Kurven, die mit einem zahlentheoretischen Problem in Zusammenhang steht.
\inputbeispiel{}
{
Wir betrachten die Gleichung
\mavergleichskettedisp
{\vergleichskette
{Y^2
}
{ =} { X^3-25X
}
{ =} { X(X-5)(X+5)
}
{ } {
}
{ } {
}
}
{}{}{}
über
$\Q$, vergleiche
Beispiel 4.10.
Es gibt unmittelbar die drei rationalen Punkte
\mathl{(0,0),\, (5,0),\, (-5,0)}{.} Wir behaupten, dass auch der rationale Punkt
\mathdisp {\left( { \frac{ 1681 }{ 144 } } , \, { \frac{ 62279 }{ 1728 } } \right)} { }
auf der Kurve liegt. Dies beruht auf
\mavergleichskette
{\vergleichskette
{ { \frac{ 1681 }{ 144 } }
}
{ = }{ { \frac{ 41^2 }{ 12^2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ { \frac{ 1681 }{ 144 } } -5
}
{ = }{ { \frac{ 1681 }{ 144 } } - { \frac{ 720 }{ 144 } }
}
{ = }{ { \frac{ 961 }{ 144 } }
}
{ = }{ { \frac{ 31^2 }{ 12^2 } }
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ { \frac{ 1681 }{ 144 } } +5
}
{ = }{ { \frac{ 1681 }{ 144 } } + { \frac{ 720 }{ 144 } }
}
{ = }{ { \frac{ 2401 }{ 144 } }
}
{ = }{ { \frac{ 49^2 }{ 12^2 } }
}
{ }{
}
}
{}{}{}
und auf
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 62279 }{ 1728 } }
}
{ =} { { \frac{ 31 \cdot 41 \cdot 49 }{ 12^3 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Der rationale Punkt im vorstehenden Beispiel wurde mit Hilfe des Lemmas Lemma 4.13 weiter unten gefunden.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Rtriangle-mathsinegypt.svg} }
\end{center}
\bildtext {Die Seitenlängen und der Flächeninhalt dieses rechtwinkligen Dreiecks sind ganzzahlig.} }
\bildlizenz { Rtriangle-mathsinegypt.svg } {} {Historicair} {Commons} {CC-by-sa 3.0} {}
\inputdefinition
{}
{
Eine natürliche Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {kongruent}{,}
wenn sie als Flächeninhalt eines
\definitionsverweis {rechtwinkligen Dreiecks}{}{}
auftritt, dessen Seitenlängen allesamt
\definitionsverweis {rationale Zahlen}{}{}
sind.
}
Die folgende Tabelle zeigt die kongruenten Zahlen echt unterhalb von $20$ zusammen mit einer Realisierung als Flächeninhalt eines rechtwinkligen Dreiecks mit rationalen Seiten. Die Eigenschaften
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ab/2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{a^2+b^2
}
{ = }{c^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man direkt überprüfen. Es ist aber keineswegs klar, wie man die geforderten rechtwinkligen Dreiecke findet, und wie man zeigen kann, dass eine Zahl $n$ nicht kongruent ist. Die nicht aufgeführten Zahlen echt unterhalb $20$ sind nicht kongruent.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ Kathete $a$ }
\renewcommand{\leitzeilezwei}{ Kathete $b$ }
\renewcommand{\leitzeiledrei}{ Hypotenuse $c$ }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ $n$ }
\renewcommand{\leitspalteeins}{ $5$ }
\renewcommand{\leitspaltezwei}{ $6$ }
\renewcommand{\leitspaltedrei}{ $7$ }
\renewcommand{\leitspaltevier}{ $13$ }
\renewcommand{\leitspaltefuenf}{ $14$ }
\renewcommand{\leitspaltesechs}{ $15$ }
\renewcommand{\leitspaltesieben}{ $20$ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ { \frac{ 3 }{ 2 } } }
\renewcommand{\aeinsxzwei}{ { \frac{ 20 }{ 3 } } }
\renewcommand{\aeinsxdrei}{ { \frac{ 41 }{ 6 } } }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 3 }
\renewcommand{\azweixzwei}{ 4 }
\renewcommand{\azweixdrei}{ 5 }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ { \frac{ 35 }{ 12 } } }
\renewcommand{\adreixzwei}{ { \frac{ 24 }{ 5 } } }
\renewcommand{\adreixdrei}{ { \frac{ 337 }{ 60 } } }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ { \frac{ 780 }{ 323 } } }
\renewcommand{\avierxzwei}{ { \frac{ 323 }{ 30 } } }
\renewcommand{\avierxdrei}{ { \frac{ 106921 }{ 9690 } } }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ { \frac{ 8 }{ 3 } } }
\renewcommand{\afuenfxzwei}{ { \frac{ 63 }{ 6 } } }
\renewcommand{\afuenfxdrei}{ { \frac{ 65 }{ 6 } } }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 4 }
\renewcommand{\asechsxzwei}{ { \frac{ 15 }{ 2 } } }
\renewcommand{\asechsxdrei}{ { \frac{ 17 }{ 2 } } }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ 3 }
\renewcommand{\asiebenxzwei}{ { \frac{ 40 }{ 3 } } }
\renewcommand{\asiebenxdrei}{ { \frac{ 41 }{ 3 } } }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitsechsxdrei
\inputfaktbeweis
{Kongruente Zahl/Pythagoreische Lösung/Zugehöriger Punkt auf elliptischer Kurve/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathl{a,b,c}{}
\definitionsverweis {rationale Zahlen}{}{,}
die die Seiten eines rechtwinkligen Dreiecks bilden, also
\mavergleichskettedisp
{\vergleichskette
{a^2+b^2
}
{ =} {c^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllen und derart, dass der Flächeninhalt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ ab }{ 2 } }
}
{ =} { n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine natürliche Zahl $n$ ist.}
\faktfolgerung {Dann ist
\mathl{\left( { \frac{ c^2 }{ 4 } } , \, { \frac{ (b^2-a^2)c }{ 8 } } \right)}{} ein rationaler Punkt der elliptischen Kurve
\mavergleichskettedisp
{\vergleichskette
{y^2
}
{ =} { x^3-n^2x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es ist einerseits
\mavergleichskettealign
{\vergleichskettealign
{ y^2
}
{ =} { { \frac{ (b^2-a^2)^2 c^2 }{ 64 } }
}
{ =} { { \frac{ (b^2-a^2)^2 (a^2+b^2) }{ 64 } }
}
{ =} { { \frac{ a^6 -a^4b^2 -a^2b^4 +b^6 }{ 64 } }
}
{ } {
}
}
{}
{}{}
und andererseits ebenso
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ x(x-n)(x+n)
}
{ =} { x^3 -n^2 x
}
{ =} { \left( \frac{ c^2 }{ 4 } \right)^3 - n^2 \left( \frac{ c^2 }{ 4 } \right)
}
{ =} { { \frac{ (a^2+b^2)^3 }{ 64 } } - { \frac{ a^2b^2 }{ 4 } } \cdot \left( \frac{ a^2+b^2 }{ 4 } \right)
}
{ =} { { \frac{ a^6 +3a^4b^2 +3 a^2b^4 +b^6 }{ 64 } } - { \frac{ a^4b^2+a^2b^4 }{ 16 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ a^6 -a^4b^2 -a^2b^4 +b^6 }{ 64 } }
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Eine gewisse Umkehrung ist die folgende Aussage.
\inputfaktbeweis
{Rationaler Punkt auf elliptischer Kurve/Eigenschaften/Kongruente Zahl/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei $E$ die durch
\mavergleichskette
{\vergleichskette
{y^2
}
{ = }{x^3-n^2x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebene
\definitionsverweis {elliptische Kurve}{}{}
über $\Q$.}
\faktvoraussetzung {Es gebe einen rationalen Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ = }{(x,y)
}
{ \in }{ E(\Q)
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Eigenschaft, dass $x$ ein Quadrat
\zusatzklammer {in $\Q$} {} {}
ist und der Nenner von $x$ in gekürzter Darstellung gerade ist.}
\faktfolgerung {Dann ist $n$ eine
\definitionsverweis {kongruente Zahl}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ u^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{u
}
{ \in }{ \Q_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Mit
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ y/u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ v^2 +n^2
}
{ =} { { \frac{ y^2 }{ u^2 } } +n^2
}
{ =} { { \frac{ x^3-n^2x }{ x } } +n^2
}
{ =} { x^2 -n^2+n^2
}
{ =} { x^2
}
}
{}{}{.}
Es liegt also ein rechtwinkliges Dreieck mit den rationalen Seitenlängen $v,n$ und $x$ vor. Es sei $r$ der Nenner von $u$ in gekürzter Darstellung, dieser ist gerade nach Voraussetzung. Wir multiplizieren die rationalen Zahlen
\mathl{(v,n,x)}{} mit $r^2$. Dabei ist mit $r^2x$ auch $r^2v$ ganzzahlig und so entsteht ein
\definitionsverweis {primitives}{}{}
\definitionsverweis {pythagoreisches Tripel}{}{,}
wobei $r^2 n$ gerade ist. Nach
Satz 10.6 (Zahlentheorie (Osnabrück 2016-2017))
gibt es daher natürliche Zahlen
\mavergleichskette
{\vergleichskette
{s
}
{ > }{t
}
{ > }{0
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {r^2 v = s^2-t^2 ,\, r^2n =2st , \, r^2x =s^2+t^2} { . }
Wir betrachten nun das Dreieck mit den Seitenlängen
\mathl{{ \frac{ 2s }{ r } },\, { \frac{ 2t }{ r } } , \, 2u}{.} Wegen
\mavergleichskettedisp
{\vergleichskette
{ \left( \frac{ 2s }{ r } \right)^2 + \left( \frac{ 2t }{ r } \right)^2
}
{ =} { { \frac{ 4s^2 + 4t^2 }{ r^2 } }
}
{ =} { { \frac{ 4r^2x }{ r^2 } }
}
{ =} { 4x
}
{ =} { (2u)^2
}
}
{}{}{}
liegt ein rechtwinkliges Dreieck vor und wegen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } \cdot { \frac{ 2s }{ r } } \cdot { \frac{ 2t }{ r } }
}
{ =} { { \frac{ 2st }{ r^2 } }
}
{ =} { { \frac{ r^2n }{ r^2 } }
}
{ =} { n
}
{ } {
}
}
{}{}{}
ist sein Flächeninhalt gleich $n$. Somit ist $n$ eine kongruente Zahl.
Die Beziehung zwischen kongruenten Zahlen und elliptischen Kurven werden wir in Satz 25.10 weiter vertiefen.