Zum Inhalt springen

Kongruente Zahl

aus Wikipedia, der freien Enzyklopädie

{{#if: behandelt kongruente Zahlen bezüglich des Flächeninhalts. Zur Kongruenz bezüglich der Division mit Rest siehe Kongruenz (Zahlentheorie).

 | Vorlage:Hinweisbaustein 
 | {{#ifeq: 0 | 0 |}}

}}

Datei:Rtriangle-mathsinegypt.svg
Dreieck mit dem Flächeninhalt 6, einer kongruenten Zahl.

In der Zahlentheorie sind kongruente Zahlen ganze Zahlen, welche sich als Flächeninhalt eines rechtwinkligen Dreiecks mit rationalen Seitenlängen darstellen lassen. Historisch namensgebend sind „sich treffende“ (lat. congruere) arithmetische Folgen von Quadratzahlen, womit auf von Leonardo Fibonacci eingeführte congruum, pl. congrua verwiesen wird, welche mit einem geeigneten rationalen Quadrat multipliziert die kongruente Zahlen bilden. Édouard Lucas bewies 1877 für kongruente Zahlen n den Zusammenhang mit rationalen Lösungen der Gleichung: <math>y^2=x^4-n^2</math>. Kurt Heegner war der erste, der das Problem kongruenter Zahlen mit elliptischen Kurven verband, und 1952 bewies er, dass eine Primzahl eine kongruente Zahl ist, wenn <math>p \equiv 5 \mod 8</math> oder <math>p \equiv 7 \mod 8</math>.

Die Folge der kongruenten Zahlen (Folge A003273 in OEIS) beginnt mit

5, 6, 7, 13, 14, 15, 20, 21, 22, 23, 24, 28, 29, 30, 31, 34, 37, 38, 39, 41, 45, 46, 47, …
Tabelle der kongruenten Zahlen: n ≤ 120<ref>Folge A003273 in OEIS</ref>
—: Nicht-Kongruente Zahl
K: Quadratfreie Kongruente Zahl
Q: Kongruente Zahl mit quadratischem Faktor
n 1 2 3 4 5 6 7 8
K K K
n 9 10 11 12 13 14 15 16
K K K
n 17 18 19 20 21 22 23 24
Q K K K Q
n 25 26 27 28 29 30 31 32
Q K K K
n 33 34 35 36 37 38 39 40
K K K K
n 41 42 43 44 45 46 47 48
K Q K K
n 49 50 51 52 53 54 55 56
Q K Q K Q
n 57 58 59 60 61 62 63 64
Q K K Q
n 65 66 67 68 69 70 71 72
K K K K
n 73 74 75 76 77 78 79 80
K K K Q
n 81 82 83 84 85 86 87 88
Q K K K Q
n 89 90 91 92 93 94 95 96
Q K K K Q
n 97 98 99 100 101 102 103 104
K K K
n 105 106 107 108 109 110 111 112
K K K Q
n 113 114 115 116 117 118 119 120
Q Q K K Q

Beispiel: Die ganze Zahl 6 ist eine kongruente Zahl, denn das rechtwinklige Dreieck mit den Katheten <math>a=3</math> und <math>b=4</math> besitzt den Flächeninhalt <math>A = \tfrac{1}{2}ab = 6</math> und nach dem Satz des Pythagoras die Hypotenuse <math>c = \sqrt{a^2+b^2} = \sqrt{9+16} = 5</math>. Also ist die ganze Zahl 6 als Flächeninhalt eines rechtwinkligen Dreiecks mit rationalen Seitenlängen eine kongruente Zahl.

Für jede positive ganze Zahl <math>s</math> ist eine ganze Zahl <math>q</math> genau dann eine Kongruenzzahl, wenn <math>s^2 q</math> eine Kongruenzzahl ist. Deshalb kann man sich bei der Lösung des Kongruenzzahl-Problems auf quadratfreie Zahlen beschränken.

Allgemeiner werden auch alle rationalen Zahlen, die als Fläche eines rechtwinkligen Dreiecks mit rationalen Seitenlängen auftreten, als kongruente Zahlen bezeichnet.<ref>Neal Koblitz: Introduction to elliptic curves and modular forms, Springer-Verlag, 1984, 2. Auflage 1993, ISBN 3-540-97966-2, S. 3 (englisch)</ref>

Kongruente Zahlen im Bereich 1 bis 20

Die folgenden ganzen Zahlen im Bereich 1 bis 20 sind kongruent,<ref>Kongruente Zahlen: Tausend Jahre altes Geometrierätsel, Spiegel Online, 31. Januar 2013</ref> da sie sich als Flächeninhalt <math>A = \tfrac{1}{2}ab</math> eines rechtwinkligen Dreiecks mit rationalen Katheten <math>a</math> und <math>b</math> und rationaler Hypotenuse <math>c = \sqrt{a^2+b^2}</math> darstellen lassen:

Datei:Pythagorean triangle with sides a b and c.svg
Rechtwinkliges Dreieck mit der Hypotenuse c und den Katheten a und b.
Flächeninhalt <math>A</math> Kathete <math>a</math> Kathete <math>b</math> Hypotenuse <math>c</math>
<math>5</math> <math>\tfrac{3}{2}</math> <math>\tfrac{20}{3}</math> <math>\tfrac{41}{6}</math>
<math>6</math> <math>3</math> <math>4</math> <math>5</math>
<math>7</math> <math>\tfrac{35}{12}</math> <math>\tfrac{24}{5}</math> <math>\tfrac{337}{60}</math>
<math>13</math> <math>\tfrac{780}{323}</math> <math>\tfrac{323}{30}</math> <math>\tfrac{106921}{9690}</math>
<math>14</math> <math>\tfrac{8}{3}</math> <math>\tfrac{63}{6}</math> <math>\tfrac{65}{6}</math>
<math>15</math> <math>4</math> <math>\tfrac{15}{2}</math> <math>\tfrac{17}{2}</math>
<math>20</math> <math>3</math> <math>\tfrac{40}{3}</math> <math>\tfrac{41}{3}</math>

Satz von Fermat

Der französische Mathematiker Pierre de Fermat bewies, dass die Fläche eines rechtwinkligen Dreiecks mit ganzzahligen Seitenlängen keine Quadratzahl sein kann. Dies ist äquivalent dazu, dass weder 1 noch jede andere Quadratzahl eine kongruente Zahl ist. Sein Resultat teilte er 1659 in einem Brief an Pierre de Carcavi mit,<ref>Paul Tannery, Charles Henry (Hrsg.): Œuvres de Fermat. Tome deuxième, Gauthier-Villars, Paris 1894, S. 431–436 (französisch)</ref> den Beweis notierte er in einer Anmerkung, die 1670 postum veröffentlicht wurde.<ref>Samuel de Fermat (Hrsg.): Diophanti Alexandrini Arithmeticorum libri sex, et de numeris multangulis liber unus, Bernard Bosc, Toulouse 1670, S. 338f.; auch in Paul Tannery, Charles Henry (Hrsg.): Œuvres de Fermat. Tome premier, Gauthier-Villars, Paris 1891, S. 340f. (lateinisch)</ref><ref>Catherine Goldstein: Un théorème de Fermat et ses lecteurs, Presse Universitaire de Vincennes, St. Denis 1995, ISBN 2-910381-10-2 (französisch; Inhaltsverzeichnis, (PDF, 29,4 kB); Rezension, Zentralblatt-Rezension)</ref> Fermat geht von der seit der Antike bekannten Darstellung eines primitiven pythagoreischen Tripels als (x2y2, 2xy,x2+y2) aus und verwendet die von ihm eingeführte Methode des unendlichen Abstiegs, eine Variante der vollständigen Induktion. Sein Beweis zeigt auch, dass die Gleichung a4+b4=c4 keine Lösung mit positiven ganzen Zahlen a, b, c hat (ein Spezialfall der Fermatschen Vermutung).<ref>H. G. Zeuthen: Geschichte der Mathematik im XVI. und XVII. Jahrhundert, B. G. Teubner, Leipzig 1903, S. 163f.</ref>

Satz von Tunnell

Der Satz von Tunnell, benannt nach Jerrold B. Tunnell, gibt notwendige Bedingungen dafür, dass eine Zahl kongruent ist.

Für eine quadratfreie ganze Zahl <math>n</math> definiere

<math>\begin{align}

A_n & = \#\{ x,y,z \in \mathbb{Z} \mid n = 2x^2 + y^2 + 32z^2 \}, \\ B_n & = \#\{ x,y,z \in \mathbb{Z} \mid n = 2x^2 + y^2 + 8z^2 \}, \\ C_n & = \#\{ x,y,z \in \mathbb{Z} \mid n = 8x^2 + 2y^2 + 64z^2 \}, \\ D_n & = \#\{ x,y,z \in \mathbb{Z} \mid n = 8x^2 + 2y^2 + 16z^2 \}. \end{align}</math>

Wenn <math>n</math> eine ungerade Kongruenzzahl ist, dann muss <math>2A_n=B_n</math> sein, wenn <math>n</math> eine gerade Kongruenzzahl ist, dann muss <math>2C_n=D_n</math> sein.

Falls die Vermutung von Birch und Swinnerton-Dyer für elliptische Kurven der Form <math>y^2=x^3-n^2x</math> gilt, dann sind diese Bedingungen auch hinreichend. Dann wäre die natürliche Zahl n genau dann kongruent, wenn die abelsche Gruppe der rationalen Punkte der elliptischen Kurve <math>E_n : y^2=x^3-n^2x</math> einen Rang mindestens 1 hat.

Pan Yan bewies 2014 dies bedingt (schwache Form der Vermutung von Birch und Swinnerton-Dyer) für alle positiven quadratfreien ganzen Zahlen <math>n= 5,6,7 \mod 8</math>.<ref>Pan Yan, Congruent Numbers and Elliptic Curves, math.okstate.edu</ref> In Weiterführung dieser Ideen zeigte Alexander Smith 2016, dass mindestens 55,9 Prozent der positiven quadratfreien ganzen Zahlen <math>n= 5,6,7 \mod 8</math> kongruente Zahlen sind.<ref>Smith, The congruent numbers have positive natural density, Arxiv 2016</ref>

Literatur

Einzelnachweise

<references />

Weblinks

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html}}%7C%7C}}}}{{#if:Mathematik: Lösung für Rätsel aus 1001 Nacht rückt näher|{{#if:{{#invoke:WLink|isValidLinktext|1=Mathematik: Lösung für Rätsel aus 1001 Nacht rückt näher|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: Spiegel Online| Spiegel Online{{#if: 2013-01-31|,|{{#if: 2013-02-01 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2013-01-31| {{#if:{{#invoke:DateTime|format|2013-01-31|noerror=1}}
            |{{#invoke:DateTime|format|2013-01-31|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2013-01-31|class=Zitationswartung}} }}{{#if: |,|{{#if: 2013-02-01 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2013-02-01 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2013-01-31Spiegel Online|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:2874286||(?)}}}}}}{{#if: 2013-02-01|;}}}}{{#if: 2013-02-01| {{#if:2013-01-31Spiegel Online{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2013-02-01 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2013-02-01|class=Zitationswartung}} }} {{#invoke:DateTime|format|2013-02-01|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Spiegel Online2013-01-31{{#if: 2013-02-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2013-01-31{{#if: 2013-02-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.spiegel.de/wissenschaft/mensch/kongruente-zahlen-mathematik-raetsel-aus-1001-nacht-a-880152.html }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}