Zum Inhalt springen

Eulersche Vermutung

aus Wikipedia, der freien Enzyklopädie

Die Eulersche Vermutung aus dem Jahr 1769 ist eine nach Leonhard Euler benannte Vermutung der Zahlentheorie und verallgemeinert die Fermatsche Vermutung. Die Eulersche Vermutung ist mittlerweile widerlegt, während die Fermatsche Vermutung bewiesen wurde.

Vermutung

Die Eulersche Vermutung besagt, dass es keine positiven ganzzahligen Lösungen <math>a_1, a_2, \dotsc, a_k</math> der Gleichung <math>a_1^n + a_2^n + \dotsb + a_{k-1}^n = a_k^n</math> gibt, wenn <math>n</math> und <math>k</math> ganze Zahlen sind mit <math>n \geq k \geq 3</math>. Fermat bewies angeblich die Vermutung für <math>n \geq k = 3</math> (Fermatsche Vermutung), veröffentlichte aber nur einen Beweis für <math>n = 4</math> und <math>k = 3</math>. Euler gab für <math>n = k = 3</math> einen Beweis an, siehe Großer Fermatscher Satz, für größere <math>n</math> und <math>k</math> konnte er weder einen Beweis noch ein Gegenbeispiel finden.

Widerlegungen

Fall n = 5

Für den Fall <math>n = 5</math> fanden L. J. Lander und T. R. Parkin 1966 ein Gegenbeispiel:<ref>L. J. Lander, T. R. Parkin: Counterexample to Eulers’s conjecture on sums of like powers. In: Bull. Amer. Math. Soc. Band 72, 1966, S. 1079.</ref>

<math>27^5 + 84^5 + 110^5 + 133^5 = 144^5</math>

Fall n = 4

Für <math>n = 4</math> fand Noam Elkies 1988 folgendes Gegenbeispiel:<ref>Noam Elkies: On <math>A^4+B^4+C^4=D^4</math>. In: Math. Comput. Band 51, 1988, S. 825–835.</ref>

<math>2.682.440^4 + 15.365.639^4 + 18.796.760^4 = 20.615.673^4</math>

Elkies bewies zudem, dass es für <math>n = 4</math> unendlich viele Lösungen gibt.

Die kleinste Lösung für <math>n = 4</math> lautet

<math>95.800^4 + 217.519^4 + 414.560^4 = 422.481^4</math>.

Diese Minimallösung wurde nach der Publikation der ersten Lösung durch Elkies von Roger Frye gefunden.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>Ivars Peterson: <templatestyles src="Webarchiv/styles.css" />{{#if:20121201221353 

      | {{#ifeq: 20121201221353 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Euler’s Sums of Powers. | {{#invoke:WLink|getEscapedTitle|Euler’s Sums of Powers.}} | {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20121201221353}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Euler’s Sums of Powers. | {{#invoke:WLink|getEscapedTitle|Euler’s Sums of Powers.}} | {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  |  |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20121201221353}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Euler’s Sums of Powers. | {{#invoke:WLink|getEscapedTitle|Euler’s Sums of Powers.}} | {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  |  |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Euler’s Sums of Powers. | {{#invoke:WLink|getEscapedTitle|Euler’s Sums of Powers.}} | {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  |  |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Euler’s Sums of Powers. | {{#invoke:WLink|getEscapedTitle|Euler’s Sums of Powers.}} | {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html}} }} (Memento{{#if: {{#if:  |  |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Euler’s Sums of Powers. | {{#invoke:WLink|getEscapedTitle|Euler’s Sums of Powers.}} | {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20121201221353|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.maa.org/mathland/mathtrek_09_27_04.html}}
    || {{#if:  || }}
  }}{{#if: Euler’s Sums of Powers.
    | {{#if: {{#invoke:WLink|isBracketedLink|Euler’s Sums of Powers.}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.maa.org/mathland/mathtrek_09_27_04.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.maa.org/mathland/mathtrek_09_27_04.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.maa.org/mathland/mathtrek_09_27_04.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} In: ScienceNews, 2004.</ref>

Verwandte Fragestellung

Zusammen mit seiner Vermutung äußerte Euler zudem, dass es möglich sein sollte, vier 4. Potenzen zu finden, deren Summe eine 4. Potenz ergibt. Diese Vermutung wurde 1911 durch R. Norrie positiv beantwortet:

<math>30^4 + 120^4 + 272^4 + 315^4 = 353^4</math>

Für diese allgemeine Form

<math>a^4 + b^4 + c^4 + d^4 = e^4</math>

wurde 2008 von Lee W. Jacobi und Daniel J. Madden gezeigt, dass sie unendlich viele positive ganzzahlige Lösungen hat. Es wurde auch eine besonders ästhetische Lösung der Form

<math>a^4 + b^4 + c^4 + d^4 = (a + b + c + d)^4</math>

in ganzen Zahlen gefunden:<ref>American Mathematical Monthly. März 2008.</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

<math>955 + 1770 + (-2634) + 5400 = 5491</math>
<math>955^4 + 1770^4 + (-2634)^4 + 5400^4 = 5491^4</math>

Diese Gleichung nennt man auch Jacobi-Madden-Gleichung.

Literatur

  • Leonhard Euler: Resolutio formulae Diophanteae ab(maa + nbb) = cd(mcc + ndd) per numeros rationales. Nova Acta Academiae Scientiarum Imperialis Petropolitanae 13 (1796), S. 45–63, {{#if:novaactaacademia13impe
    |[https://archive.org/{{#switch:
    |DL=download
    |DS=stream
    |#default=details}}/{{#if:trim|novaactaacademia13impe}}{{#if:  | /{{{Fragment}}} | {{#if: 45 | /page/45/mode/{{#if:{{#if:|{{#invoke:TemplUtl|faculty|{{{doppelseitig}}}}}}}|2|1}}up{{#if:|/search/%7B%7B%7BHervorhebung%7D%7D%7D}} | {{#ifeq: {{#if:  | {{{Ausgabe}}} | ST}}@{{#if:  | {{{Typ}}} | T}} | ST@T | /mode/1up }} }} }} {{#if:online|{{#if:trim|online}}|{{#if:45| {{#if:|{{{Fundstelle}}}|Textarchiv – Internet Archive}} | archive.org}}}}]{{#if:| ({{#if: 
           | {{#switch: {{{FORMAT}}}
               |PDF=PDF
               |DJVU=DjVu
               |MP3=MP3
               |MP4=MP4
               |OGG=Ogg
               |#default={{{Format}}}}};  }}{{{KBytes}}} kB)}}{{#if: | im {{#switch:-
    |A=Audioarchiv – Internet Archive
    |B
    |I=Bildarchiv – Internet Archive
    |F
    |M=Videoarchiv – Internet Archive
    |S=Softwarearchiv – Internet Archive
    |T=Textarchiv – Internet Archive
    |-=
    |#default=Unbekannter Parameterwert Typ={{{Typ}}}  }} |{{#if:online| – Internet Archive| }} }} }}{{#invoke:TemplatePar|match
    |1=1=/[^#%s]+/
    |2=2=*
    |3=Typ=/[TABIFMS%-]?/
    |4=Fragment=/[^#%s]*/
    |5=Blatt=/[^#%s]*/
    |6=Hervorhebung=*
    |7=Ausgabe=/[DSds]?[TSLto]?%l*/
    |8=Fundstelle=/%d*/
    |9=doppelseitig=/%a*/
    |10=Format=/%u*/
    |11=KBytes=/%d*/
    |format=
    |template=Vorlage:archive.org
    |cat=Wikipedia:Vorlagenfehler/Vorlage:archive.org
    |errNS=0
  }}.
  • Georg Ehlers: Solution of the Diophantine equation ab(maa+nbb)=cd(mcc+ndd) using rational numbers. Euleriana: 3(2), S. 81–123 (2023), DOI:10.56031/2693-9908.1041. Neuausgabe und englische Übersetzung von Eulers Originalarbeit.
  • Richard K. Guy: Unsolved problems in number theory. Springer, New York 1994, ISBN 0-387-94289-0.
  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Eulersche_Vermutung&oldid=876800“