Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 9/latex
\setcounter{section}{9}
\zwischenueberschrift{Summe von zwei Quadraten - Primzahlen}
In diesem Abschnitt werden wir die Frage beantworten, welche ganze Zahlen sich als Summe von zwei Quadraten darstellen lassen, oder, anders formuliert, wann die diophantische Gleichung
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {x^2+y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Lösung mit ganzen Zahlen
\mathl{x,y}{} besitzt. Wir werden dabei wesentlich den Ring der
\definitionsverweis {Gaußschen Zahlen}{}{}
verwenden und schließen dabei an Vorlesung 2 an. Zunächst betrachten wir den Fall, wo
\mathl{n=p}{} eine ungerade Primzahl ist. Es gilt folgende Charakterisierung.
\inputfaktbeweis
{Gaußsche Zahlen/Primelement/Charakterisierungen/Fakt}
{Satz}
{}
{
Es sei $p$ ein ungerade
\definitionsverweis {Primzahl}{}{.}
Dann sind folgende Aussagen äquivalent.
\aufzaehlungfuenf{$p$ ist die Summe von zwei Quadraten,
\mavergleichskette
{\vergleichskette
{p
}
{ = }{x^2+y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$p$ ist die
\definitionsverweis {Norm}{}{}
eines Elementes aus
\mathl{\Z [ { \mathrm i} ]}{.}
}{$p$ ist zerlegbar
\zusatzklammer {nicht prim} {} {}
in
\mathl{\Z [ { \mathrm i} ]}{.}
}{$-1$ ist ein Quadrat in
\mathl{\Z/(p)}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{p
}
{ = }{1 \mod 4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
(1) $\Leftrightarrow$ (2). Dies folgt sofort aus
\mavergleichskette
{\vergleichskette
{ x^2+y^2
}
{ = }{ (x+y { \mathrm i} )(x-y { \mathrm i} )
}
{ = }{ N(x+y { \mathrm i} )
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {diese Äquivalenz gilt für alle ganzen Zahlen} {} {.}
(2) $\Rightarrow$ (3). Die Normdarstellung
\mavergleichskettedisp
{\vergleichskette
{ p
}
{ =} { N(x+y { \mathrm i} )
}
{ =} { (x+y { \mathrm i} )(x-y { \mathrm i} )
}
{ } {
}
{ } {
}
}
{}{}{}
ist eine Faktorzerlegung in
\mathl{\Z [ { \mathrm i} ]}{.} Da $x$ und $y$ beide von $0$ verschieden sind, ist
\mavergleichskette
{\vergleichskette
{ N(x+ y { \mathrm i} )
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathl{x+y { \mathrm i}}{} ist keine Einheit, also ist die Zerlegung nicht trivial. Da der Ring der Gaußschen Zahlen
nach Lemma 2.12
\definitionsverweis {euklidisch}{}{}
ist, sind
nach Satz 3.5
prim und unzerlegbar äquivalent.
(3) $\Rightarrow$ (2). Es sei $p$ zerlegbar, sagen wir
\mavergleichskette
{\vergleichskette
{p
}
{ = }{ wz
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit Nichteinheiten
\mavergleichskette
{\vergleichskette
{w,z
}
{ \in }{ \Z [ { \mathrm i} ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist innerhalb der natürlichen Zahlen
\mavergleichskette
{\vergleichskette
{ p^2
}
{ = }{ N(p)
}
{ = }{ N(w)N(z)
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann muss
\mavergleichskette
{\vergleichskette
{ N(w)
}
{ = }{ p
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein.
(3) $\Leftrightarrow$ (4). Es gilt
\mavergleichskettedisp
{\vergleichskette
{ \Z [ { \mathrm i} ]/(p)
}
{ \cong} { \Z [X]/(X^2+1))/(p)
}
{ \cong} { \Z [X]/(X^2+1,p)
}
{ \cong} { ( \Z/(p) [X])/(X^2+1)
}
{ } {
}
}
{}{}{.}
Dieser Restklassenring ist endlich und somit nach
Aufgabe 9.5
genau dann ein Körper, wenn es ein
\definitionsverweis {Integritätsbereich}{}{}
ist. Dies ist wiederum äquivalent dazu, dass $p$ prim in $\Z [ { \mathrm i} ]$ ist
\zusatzklammer {man kann auch mit
Satz 3.12
schließen} {} {.}
Andererseits zeigt die Darstellung rechts, dass ein Körper genau dann vorliegt, wenn das Polynom
\mathl{X^2+1}{} ein irreduzibles Polynom in
\mathl{(\Z/(p)) [X]}{} ist, und dies ist genau dann der Fall, wenn das Polynom keine Nullstelle in
\mathl{\Z/(p)}{} besitzen, was bedeutet, dass $-1$ kein Quadrat in
\mathl{\Z/(p)}{} ist.
Die Äquivalenz (4) $\Leftrightarrow$ (5) wurde schon im Satz 6.8 gezeigt.
\inputbemerkung
{}
{
Es sei $p$ eine Primzahl, die modulo $4$ den Rest $1$ besitzt, sodass es nach
Satz 9.1
eine Darstellung als Summe von zwei Quadraten geben muss. Wie findet man eine solche Darstellung explizit? Einerseits durch probieren, andererseits kann man aber entlang dem Beweis des Satzes vorgehen. Dazu muss man folgende Schritte gehen:
\aufzaehlungdrei{Finde in
\mathl{\Z/(p)}{} ein Element $a$ mit
\mavergleichskette
{\vergleichskette
{ a^2
}
{ = }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Um dies zu finden braucht man in der Regel ein primitives Element in diesem Restklassenkörper
\zusatzklammer {ist $b$ ein primitives Element, so kann man
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ b^{(p-1)/4}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nehmen; siehe auch
Aufgabe 6.7} {} {.}
}{Die Abbildung
\maabb {} {\Z [ { \mathrm i} ] } { \Z/(p)
} {,}
die ganze Zahlen modulo $p$ nimmt und ${ \mathrm i}$ auf $a$ schickt, ist ein surjektiver Ringhomomorphismus auf einen Körper. Der Kern ist ein
\definitionsverweis {Hauptideal}{}{,}
das von $p$ und von
\mathl{a- { \mathrm i}}{} erzeugt wird.
}{Finde mit dem euklidischen Algorithmus einen Erzeuger $z$ für das Hauptideal
\mathl{( p,a- { \mathrm i} )}{.} Ein solcher Erzeuger hat die Norm
\mavergleichskette
{\vergleichskette
{ N(z)
}
{ = }{ p
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine Zerlegung
\mavergleichskette
{\vergleichskette
{ p
}
{ = }{ zw
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
führt ja generell auf
\mavergleichskette
{\vergleichskette
{ N(z) N(w)
}
{ = }{ N(p)
}
{ = }{ p^2
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\inputbeispiel{}
{
Es sei
\mathl{p = 13}{}
\zusatzklammer {man sieht natürlich sofort eine Darstellung} {} {.}
Mit dem oben beschriebenen Verfahren müsste man wie folgt vorgehen:
In
\mathl{\Z/(13)}{} ist
\mavergleichskette
{\vergleichskette
{5^2
}
{ = }{25
}
{ = }{-1
}
{ }{
}
{ }{
}
}
{}{}{,}
also kann man
\mathl{a=5}{} nehmen. Dies führt zum Ideal
\mathl{( 13 , 5- { \mathrm i} )}{.}
Division in
\mathl{\Q[ { \mathrm i} ]}{} liefert
\mavergleichskettedisp
{\vergleichskette
{ \frac{13}{5- { \mathrm i} }
}
{ =} {\frac{13(5+ { \mathrm i} )}{(5- { \mathrm i} )(5+ { \mathrm i} )}
}
{ =} {\frac{65+13 { \mathrm i} }{26}
}
{ } {
}
{ } {
}
}
{}{}{}
und $2$ ist eine beste Approximation in
\mathl{\Z[ { \mathrm i} ]}{.} Damit ist die Division mit Rest
\mavergleichskettedisp
{\vergleichskette
{ 13
}
{ =} { 2 \cdot (5- { \mathrm i} )+r
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 3+2 { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die nächste durchzuführende Division liefert
\mavergleichskettedisp
{\vergleichskette
{ \frac{5- { \mathrm i} }{3+2 { \mathrm i} }
}
{ =} { \frac{(5- { \mathrm i} )(3-2 { \mathrm i} ) }{13}
}
{ =} { { \frac{ 13-13 { \mathrm i} }{ 13 } }
}
{ =} { 1- { \mathrm i}
}
{ } {}
}
{}{}{.}
Damit ist also
\mavergleichskette
{\vergleichskette
{5- { \mathrm i}
}
{ = }{(1- { \mathrm i} ) (3+2 { \mathrm i} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist
\mathl{3+2 { \mathrm i}}{} ein Erzeuger des Ideals.
}
\inputbemerkung
{}
{
Wenn für eine
\definitionsverweis {Primzahl}{}{}
$p$ eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{p
}
{ =} { x^2+y^2
}
{ =} { (x+{ \mathrm i} y)(x-{ \mathrm i}y)
}
{ } {
}
{ } {
}
}
{}{}{}
als Summe von zwei Quadraten bekannt ist, so kann man daraus einfach eine Quadratwurzel der $-1$ in $\Z/(p)$ finden. In diesem Fall gibt es einen surjektiven
\definitionsverweis {Ringhomomorphismus}{}{}
\maabbdisp {\varphi} {\Z[{ \mathrm i}]} { \Z[{ \mathrm i}]/(x+{ \mathrm i}y) \cong \Z/(p)
} {.}
Die Isomorphie rechts rührt dabei von
\mathdisp {\Z \longrightarrow \Z/(p) \longrightarrow \Z[{ \mathrm i}]/(x+{ \mathrm i}y)} { }
her, wobei die Surjektivität darauf beruht, dass
\mathl{\Z[{ \mathrm i}]/(x+{ \mathrm i}y)}{} ein Körper ist und es in
\mathl{\Z/(p)}{} schon zwei Quadratwurzeln der $-1$ gibt. Die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{{ \mathrm i}^2
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
überträgt sich auf das Bild, und dort gilt
\mavergleichskettedisp
{\vergleichskette
{\varphi ({ \mathrm i} )
}
{ =} { -x \cdot y^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Wir wollen in
\mathl{\Z/(29)}{} eine Quadratwurzel für $-1$ mit Hilfe von
Bemerkung 9.4
finden. Es ist
\mavergleichskettedisp
{\vergleichskette
{29
}
{ =} {5^2 +2^2
}
{ =} { (5+2 { \mathrm i} )(5-2 { \mathrm i} )
}
{ } {
}
{ } {
}
}
{}{}{.}
Im Restklassenkörper
\mavergleichskettedisp
{\vergleichskette
{ \Z[ { \mathrm i} ] /(5+ 2 { \mathrm i} )
}
{ \cong} { \Z/(29)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ { \mathrm i}
}
{ =} {-5 \cdot 2^{-1}
}
{ =} { - 5 \cdot 15
}
{ =} { -75
}
{ =} { 12
}
}
{}{}{.}
In der Tat ist
\mavergleichskettedisp
{\vergleichskette
{12^2
}
{ =} {144
}
{ =} {-1 \mod 29
}
{ } {
}
{ } {
}
}
{}{}{}
}
\zwischenueberschrift{Primfaktorzerlegung für Gaußsche Zahlen}
Aus dem Hauptsatz können wir problemlos ableiten, wie sich die Primzahlen in
\mathl{{\mathbb Z}[{\mathrm i}]}{} verhalten:
\inputfaktbeweis
{Gaußsche Zahlen/Primzahlverhalten/Fakt}
{Korollar}
{}
{
Die
\definitionsverweis {Primzahlen}{}{}
aus $\Z$ haben in
\mathl{\Z [ { \mathrm i} ]}{} folgendes Zerlegungsverhalten:
\auflistungdrei{Es ist
\mavergleichskettedisp
{\vergleichskette
{2
}
{ =} { - { \mathrm i} (1+ { \mathrm i} )^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und $1+ { \mathrm i}$ ist prim in
\mathl{\Z [ { \mathrm i} ]}{.}
}{Für
\mathl{p=1 \mod 4}{} ist
\mavergleichskettedisp
{\vergleichskette
{p
}
{ =} { (x+y { \mathrm i} ) (x-y { \mathrm i} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
mit gewissen eindeutig bestimmten
\mathl{x,y \in \N_+}{,} wobei beide Faktoren prim sind.
}{Für
\mathl{p=3 \mod 4}{} ist $p$ prim in
\mathl{\Z [ { \mathrm i} ]}{.}
}
}
{
Aufgrund von
Satz 9.1
gibt es im zweiten Fall eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{p
}
{ =} { x^2 +y^2
}
{ =} { (x+ { \mathrm i} y) (x- { \mathrm i} y)
}
{ } {
}
{ } {
}
}
{}{}{}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ p^2
}
{ =} { N(p)
}
{ =} { N(x+y { \mathrm i} ) N(x-y { \mathrm i} )
}
{ } {
}
{ } {
}
}
{}{}{}
haben die beiden Faktoren die Norm $p$ und sind deshalb nach
Lemma 2.13
prim. Die Eindeutigkeit ergibt sich aus der eindeutigen Primfaktorzerlegung im Ring der Gaußschen Zahlen und der Kenntnis der Einheiten.
\inputbemerkung
{}
{
Für eine Gaußsche Zahl
\mathl{z \in \Z[ { \mathrm i} ]}{} kann man folgendermaßen entscheiden, ob sie prim ist bzw. wie ihre Primfaktorzerlegung aussieht:
\aufzaehlungsechs{Berechne die Norm
\mathl{N(z)}{.} Ist diese eine Primzahl, so ist nach
Lemma 2.13
das Element $z$ selbst prim.
}{Bestimme die
\zusatzklammer {ganzzahligen} {} {}
Primfaktoren von $N(z)$. Schreibe
\mavergleichskettedisp
{\vergleichskette
{ N(z)
}
{ =} { z \bar{z}
}
{ =} {2^r p_1 \cdots p_s q_1 \cdots q_t
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die $p_i$ ungerade mit Rest $1$ modulo $4$ und die $q_j$ ungerade mit Rest $3$ modulo $4$ seien.
}{Schreibe
\mavergleichskette
{\vergleichskette
{ p_i
}
{ = }{ N(u_i)
}
{ = }{ u_i \overline{u_i}
}
{ }{
}
{ }{
}
}
{}{}{}
für die Primfaktoren
\mathl{p_i}{} mit Rest $1$ modulo $4$, und
\mavergleichskette
{\vergleichskette
{ 2^r
}
{ = }{(-{ \mathrm i} )^r (1+{ \mathrm i} )^{2r}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist
\mavergleichskettedisp
{\vergleichskette
{ z \bar{z}
}
{ =} { (-{ \mathrm i} )^r (1+{ \mathrm i} )^{2r} u_1 \overline{u_1} \cdots u_s \overline{u_s} q_1 \cdots q_t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Liste die möglichen Primfaktoren von $z$
\zusatzklammer {und zugleich von $\overline{z}$} {} {}
auf: das sind
\mathl{1+{ \mathrm i}}{}
\zusatzklammer {falls $2$ mit positivem Exponenten vorkommt} {} {,}
die $u_i$ und $\overline{u_i}$ sowie die $q_j$
\zusatzklammer {da
\mathl{\Z[{ \mathrm i} ]}{} ein Hauptidealbereich ist und
somit
die eindeutige Primfaktorzerlegung gilt, setzt sich die Primfaktorzerlegung von $z$ und von $\bar{z}$ bis auf Einheiten aus Primfaktoren der rechten Seite zusammen} {} {.}
}{Durch $2^r$ und die $q_j$ kann man sofort durchdividieren, da diese Faktoren jeweils sowohl von $z$ als auch von $\bar{z}$ ein Faktor sind.
}{Für die möglichen Primfaktoren $u_i$ und $\overline{u_i}$ muss man
\zusatzklammer {durch Division mit Rest} {} {}
überprüfen, ob sie Primfaktoren von $z$ sind oder nicht
\zusatzklammer {wenn nicht, so teilen sie $\bar{z}$} {} {.}
Statt Division kann man auch die möglichen Kombinationen ausmultiplizieren.}
}
\inputbeispiel{}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{N( 17+13 { \mathrm i} )
}
{ =} { 17^2 +13^2
}
{ =} { 289 +169
}
{ =} { 458
}
{ =} {2 \cdot 229
}
}
{}{}{,}
wobei $229$ eine Primzahl ist. Wegen
\mavergleichskettedisp
{\vergleichskette
{229
}
{ =} {225+4
}
{ =} {15^2+2^2
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt $229$ in $\Z[ { \mathrm i} ]$ die Primfaktorzerlegung
\mavergleichskettedisp
{\vergleichskette
{229
}
{ =} { (15 +2 { \mathrm i} )(15-2 { \mathrm i} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ergibt sich die Primfaktorzerlegung
\mavergleichskettedisp
{\vergleichskette
{17+13 { \mathrm i}
}
{ =} { (1+ { \mathrm i} )(15-2 { \mathrm i} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Summe von zwei Quadraten}
Wie kommen nun zur Bestimmung aller ganzen Zahlen, die Summe von zwei Quadraten sind.
\inputfaktbeweis
{Zahlentheorie/Summe von Quadraten/Produktverhalten/Fakt}
{Lemma}
{}
{
\mathl{2=1+1}{} ist eine Summe von zwei Quadraten.
Sind die natürlichen Zahlen $m$ und $n$ jeweils eine Summe von zwei Quadratzahlen, so ist auch das Produkt $m n$ eine Summe von zwei Quadratzahlen.
Ist
\mavergleichskette
{\vergleichskette
{n
}
{ = }{r^2m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und ist $m$ eine Summe von zwei Quadratzahlen, so auch $n$.
}
{
Die erste Aussage ist klar, für die zweite hat man die Charakterisierung mit der Norm und die Multiplikativität der Norm auszunutzen. Ist
\mavergleichskette
{\vergleichskette
{ m
}
{ = }{ x^2+y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so kann man einfach mit $r^2$ multiplizieren.
\inputfaktbeweis
{Zahlentheorie/Summe von Quadraten/Charakterisierung/Fakt}
{Satz}
{}
{
Es sei $n$ eine positive natürliche Zahl. Wir schreiben
\mavergleichskette
{\vergleichskette
{n
}
{ = }{r^2 m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei jeder Primfaktor von $m$ nur einfach vorkomme. Dann ist $n$ die Summe von zwei Quadraten genau dann, wenn in der Primfaktorzerlegung von $m$ nur $2$ und Primzahlen vorkommen, die modulo $4$ den Rest $1$ haben.
}
{
Erfüllt $n$ die angegebene Bedingung an die Primfaktorzerlegung, so ist $n$ nach dem vorangehenden Lemma und dem Hauptsatz die Summe zweier Quadrate. Es sei umgekehrt angenommen, dass $n$ die Summe zweier Quadrate ist, sodass also eine Zerlegung
\mavergleichskette
{\vergleichskette
{n
}
{ = }{(x+ { \mathrm i}y)(x- { \mathrm i} y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegt. Es sei $p$ ein Primfaktor von $n$, der modulo $4$ den Rest $3$ besitze. Dann ist nach
Satz 9.1
$p$ prim in
\mathl{\Z [{ \mathrm i}]}{} und teilt einen und damit
\zusatzklammer {betrachte die Konjugation} {} {}
beide Faktoren in der Zerlegung, jeweils mit dem gleichen Exponenten. Damit ist der Exponent von $p$ in der Primfaktorzerlegung von $n$ gerade und $p$ kommt in der Primfaktorzerlegung von $m$ nicht vor.
\inputbeispiel{}
{
Nach Satz 9.10
ist
\mavergleichskettedisp
{\vergleichskette
{1000
}
{ =} { 100 \cdot 2 \cdot 5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Summe von zwei Quadraten und
\mavergleichskettedisp
{\vergleichskette
{ 108
}
{ =} { 36 \cdot 3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
keine Summe von zwei Quadraten.
}
\zwischenueberschrift{Summe von drei und von vier Quadraten}
Die beiden folgenden Sätze heißen \stichwort {Dreiquadratesatz} {} bzw. \stichwort {Vierquadratesatz} {}
\zusatzklammer {oder Satz von Lagrange} {} {.}
\inputfakt{Dreiquadratesatz/Fakt}{Satz}{}
{
\faktsituation {Eine natürliche Zahl $n$}
\faktvoraussetzung {lässt sich genau dann als Summe von drei Quadratzahlen darstellen,}
\faktfolgerung {wenn $n$
\betonung{nicht}{} die Form
\mathdisp {4^{i} (8 j + 7)} { }
mit
\mathl{i,j \in \N}{} besitzt.}
\faktzusatz {}
\faktzusatz {}
}
\inputfakt{Vierquadratesatz/Fakt}{Satz}{}
{
\faktsituation {}
\faktvoraussetzung {Jede natürliche Zahl}
\faktfolgerung {lässt sich als Summe von vier Quadratzahlen darstellen.}
\faktzusatz {}
\faktzusatz {}
}
Das Waringsche Problem ist die Frage, ob man für jeden Exponenten $k$ eine Zahl $g$ mit der Eigenschaft derart finden kann, dass jede natürliche Zahl eine Darstellung als Summe von maximal $g$ $k$-ten Potenzen besitzt. Bei
\mavergleichskette
{\vergleichskette
{k
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ g
}
{ = }{ 4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dieses Problem wurde von Hilbert positiv gelöst. Beispielsweise kann man jede natürliche Zahl als Summe von $9$ Kuben darstellen. Für $23$ braucht man wirklich $9$ Kuben.
| << | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
|---|