Zum Inhalt springen

Luzifer-Rätsel

aus Wikipedia, der freien Enzyklopädie

Das Luzifer-Rätsel (auch unter anderen Namen bekannt) ist ein mathematisches Rätsel aus dem Bereich der Zahlentheorie, das von dem Mathematiker Hans Freudenthal veröffentlicht<ref>Hans Freudenthal, Nieuw Archief Voor Wiskunde, Series 3, Volume 17, 1969, page 152</ref> wurde.

Das Rätsel demonstriert eindrucksvoll, wie bereits einfach formulierte und allgemein erscheinende Voraussetzungen der Ausgangspunkt zu komplexen mathematischen Überlegungen sein können und auch eine präzise und eindeutige Lösung liefern. Es ist deshalb recht weit verbreitet als Übungsaufgabe in der mathematischen Ausbildung oder als intelligentes Preisrätsel.

Das Rätsel

Es kursieren verschiedene Fassungen des Rätsels, die inhaltlich identisch sind und sich lediglich im textlichen Rahmen unterscheiden. Eine populäre Fassung, die zur Bezeichnung „Luzifer-Rätsel“ führte, lautet in etwa folgendermaßen:

Die berühmten Mathematiker Carl Friedrich Gauß und Leonhard Euler landen nach ihrem Tod in der Hölle. Luzifer verspricht ihnen die Freiheit, wenn sie die beiden ganzen Zahlen zwischen 1 und 100 (d.h. im Bereich {2,3,…,99}) erraten, die er sich ausgedacht hat. Er nennt Gauß das Produkt und Euler die Summe der beiden Zahlen; darauf entwickelt sich zwischen den Mathematikern folgender Dialog:
Gauß: „Ich kenne die beiden Zahlen nicht.“
Euler: „Das war mir klar.“
Gauß: „Jetzt kenne ich die beiden Zahlen.“
Euler: „Dann kenne ich sie jetzt auch.“
Unabhängig von der Frage, ob Gauß und Euler aus der Hölle entkommen, lautet die Aufgabe, allein aus diesen Angaben die beiden Ausgangszahlen zu ermitteln.

Als Freudenthal dieses Problem 1969 publizierte, war es schlichter und ohne Nennung von Personen formuliert. Statt der Obergrenze der beiden gesuchten Zahlen, die nicht gleich sein sollten, wurde die Obergrenze der Summe vorgegeben.<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20141220122336 

      | {{#ifeq: 20141220122336 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: The Impossible Puzzle | {{#invoke:WLink|getEscapedTitle|The Impossible Puzzle}} | {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20141220122336}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: The Impossible Puzzle | {{#invoke:WLink|getEscapedTitle|The Impossible Puzzle}} | {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20141220122336}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: The Impossible Puzzle | {{#invoke:WLink|getEscapedTitle|The Impossible Puzzle}} | {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  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: The Impossible Puzzle | {{#invoke:WLink|getEscapedTitle|The Impossible Puzzle}} | {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  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: The Impossible Puzzle | {{#invoke:WLink|getEscapedTitle|The Impossible Puzzle}} | {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: The Impossible Puzzle | {{#invoke:WLink|getEscapedTitle|The Impossible Puzzle}} | {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.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:20141220122336|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://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html}}
    || {{#if:  || }}
  }}{{#if: The Impossible Puzzle
    | {{#if: {{#invoke:WLink|isBracketedLink|The Impossible Puzzle}}
        | {{#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://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://people.sc.fsu.edu/~jburkardt/fun/puzzles/impossible_puzzle.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}}
            }} 
       }}
  }} mit Varianten des Rätsels und einem Link zu Lösungen.</ref> An der Lösung ändert sich dadurch nichts.

Die Lösung

Die beiden gesuchten Zahlen seien <math>a</math> und <math>b</math>, für beide gilt <math>1< a,b< 100</math>, Gauß kennt das Produkt <math>m=a\cdot b</math> beider Zahlen, Euler die Summe <math>s=a+b</math>.

  • Gauß: „Ich kenne die beiden Zahlen nicht.“

Gauß bestimmt zunächst die Primfaktorzerlegung von <math>m</math>. Die Zahlen <math>a</math> und <math>b</math> kann er sofort bestimmen, wenn einer der folgenden Fälle eintritt:

  1. <math>m</math> lässt sich in genau zwei Primfaktoren zerlegen: Der eine Faktor ist <math>a</math>, der andere <math>b</math> (Vertauschung liefert keine prinzipiell andere Lösung, die Zahl 1 wurde in den Voraussetzungen ausgeschlossen).
  2. Einer der Primfaktoren von <math>m</math> ist größer als <math>50</math>: Dieser Faktor muss bereits die eine der beiden gesuchten Zahlen sein; jede Multiplikation mit einem weiteren Faktor würde über <math>100</math> hinausgehen.
  3. <math>m</math> besteht aus der dritten Potenz einer Primzahl: Der Faktor <math>a</math> wäre dann genau diese Primzahl und <math>b</math> wäre <math>a^2</math>.

Da Gauß die Zahlen zu diesem Zeitpunkt noch nicht kennt, kann keiner der drei Fälle vorliegen; die Primfaktorzerlegung von <math>m</math> liefert also mindestens drei Faktoren, die alle kleiner als 50 und nicht alle gleich sind.

  • Euler: „Das war mir klar.“

Euler sieht aus der Summe <math>s</math>, dass die oben genannten Fälle mit Sicherheit nicht vorliegen. Das schließt folgende Werte für <math>s</math> aus:

  1. <math>s = 198</math>: Einzige Zerlegung ist <math>99 + 99</math>, Gauß könnte die Lösung aus dem Produkt <math>9801</math> eindeutig herleiten.
  2. <math>s = 197</math>: Einzige Zerlegung ist <math>98 + 99</math>, auch diesen Fall kann Gauß aus dem Produkt <math>9702</math> eindeutig feststellen.
  3. <math>54 < s < 197</math>: In diesem Bereich könnte einer der beiden Summanden eine Primzahl von <math>53</math> bis <math>97</math> sein. Bei <math>s = 55</math> besteht beispielsweise aus Eulers Sicht die Möglichkeit, dass <math>m = 2 \cdot 53 = 106</math> ist, woraus Gauß mit Sicherheit auf <math>a = 2</math> und <math>b = 53</math> (oder umgekehrt) gekommen wäre.
  4. <math>s < 55</math> und gerade: Nach der Goldbachschen Vermutung könnten in diesem Fall die beiden Summanden Primzahlen (und dann notwendigerweise kleiner als <math>50</math>) sein. Zwar ist die Goldbachsche Vermutung nicht für alle geraden Zahlen bewiesen, der Bereich <math>s < 55</math> ist aber längst überprüft.
  5. <math>s = p + 2</math>, wobei <math>p</math> Primzahl ist (und <math>p < 50</math>): Diese Zahlen erlauben die Zerlegung in die Primzahlen <math>2</math> und <math>p</math>.
  6. <math>s = 51</math>: In diesem Fall ist eine Zerlegung <math>17 + 34</math> möglich, die Gauß aus dem Produkt <math>578 = 17 \cdot 17 \cdot 2</math> eindeutig ableiten kann (<math>17 \cdot 17 = 289 > 100 </math> kommt als Lösungszahl nicht in Frage).

Als einzige mögliche Werte für <math>s</math> bleiben Werte der folgenden Menge <math>S := \left\{11, 17, 23, 27, 29, 35, 37, 41, 47, 53\right\}</math>. Höchstens bei diesen kann Euler sicher sein, dass Gauß die Lösung nicht sofort aus dem Produkt ablesen kann. (Keine davon gehört zu dem dritten o. g. Fall: <math>m=a^3, s=a^2+a</math>.)

Da alle Werte in <math>S</math> ungerade sind, steht jetzt schon fest, dass eine der Zahlen <math>a</math> und <math>b</math> gerade ist, die andere ungerade. Ferner sind <math>a</math> und <math>b</math> in jedem Fall kleiner als <math>53</math>.

  • Gauß: „Jetzt kenne ich die beiden Zahlen.“

Gauß kann sein Produkt auf mehrere Arten zerlegen, von denen aber nur eine auch eine Summe in <math>S</math> ergibt. Unter allen möglichen Fällen sind folgende Spezialfälle hervorzuheben:

  1. <math>m</math> enthält einen ungeraden Primfaktor und mehrfach den Faktor <math>2</math>: Der ungerade Faktor ist die eine Lösungszahl, die andere ist eine Zweierpotenz. Das ist in diesem Fall die einzige Aufteilung, die eine gerade und eine ungerade Zahl ergibt.
  2. <math>m</math> enthält (als einen von mindestens drei) einen Primfaktor ab <math>29</math>: Dieser Primfaktor ist dann zwingend eine der Lösungszahlen. Die Multiplikation dieses mit einem beliebigen anderen Faktor würde einen Wert über <math>53</math> liefern.
  • Euler: „Dann kenne ich sie jetzt auch.“

Euler sieht, dass sich seine Summe nur auf eine einzige Weise zerlegen lässt, die einen der oben genannten Fälle liefert. Folgende Werte für <math>s</math> scheiden aus, da Euler in diesen Fällen keine eindeutige Lösung bestimmen könnte:

  1. Alle Werte ab <math>35</math>: Diese lassen sich sowohl als <math>29 + b</math> wie auch als <math>31 + b</math> zerlegen, also zweimal nach dem Typ Spezialfall 2
  2. <math>11</math>: Zerlegung <math>7 + 4</math> und <math>3 + 8</math> (beides entspricht Spezialfall 1)
  3. <math>23</math>: Zerlegung <math>19 + 4</math> und <math>7 + 16</math> (ebenfalls zweimal Spezialfall 1)
  4. <math>27</math>: Zerlegung <math>23 + 4</math> und <math>19 + 8</math> (wieder in beiden Fällen Spezialfall 1)
  5. <math>29</math>: Zerlegung <math>13 + 16</math> und <math>17 + 12</math> (die erste ist Spezialfall 1, die zweite ist für Gauß eindeutig aus dem Produkt <math>17 \cdot 3 \cdot 2 \cdot 2</math> ablesbar, weil die einzig mögliche andere Aufteilung <math>51 \cdot 4</math> die Summe <math>55</math> liefert)

Damit bleibt der Wert <math>17</math>. Gibt es tatsächlich eine (und nur eine) Zerlegung von <math>17</math>, die Gauß eindeutig als Lösung identifizieren kann? Dazu müssen alle möglichen Zerlegungen geprüft werden:

  • <math>17 = 3 + 14 : m = 3 \cdot 14 = 2 \cdot 21</math> ist für Gauß nicht eindeutig lösbar, da <math>2 + 21 = 23</math> ebenfalls in <math>S</math>
  • <math>17 = 5 + 12 : m = 5 \cdot 12 = 20 \cdot 3</math> ebenfalls nicht eindeutig (<math>20 + 3 = 23</math> in <math>S</math>)
  • <math>17 = 7 + 10 : m = 7 \cdot 10 = 2 \cdot 35</math> ebenso, wegen <math>37</math> in <math>S</math>
  • <math>17 = 9 + 8 : m = 9 \cdot 8 = 24 \cdot 3</math> ebenso, wegen <math>27</math> in <math>S</math>
  • <math>17 = 11 + 6 : m = 11 \cdot 6 = 2 \cdot 33</math> ebenso, wegen <math>35</math> in <math>S</math>
  • <math>17 = 15 + 2 : m = 15 \cdot 2 = 6 \cdot 5</math> ebenso, wegen <math>11</math> in <math>S</math>

Es verbleibt damit <math>a=13</math> und <math>b=4</math>, eine Lösung, die dem obigen Spezialfall 1 entspricht. Dies ist tatsächlich die einzige Lösung, die alle Bedingungen erfüllt.

Probe

Mit Kenntnis der Lösungszahlen <math>4</math> und <math>13</math> kann die Situation der Mathematiker leichter nachvollzogen werden. Gauß wurde das Produkt <math>52</math> mitgeteilt, Euler die Summe <math>17</math>.

Zunächst zerlegt Gauß die Zahl <math>52</math> in ihre möglichen Faktorenpaare:

<math>52=4\cdot13</math> und <math>52=2\cdot26</math>

Welches der beiden Faktorenpaare zum Ergebnis führte, ist ihm noch nicht bekannt. Euler hat entweder die Summe <math>\bold{17}</math> <math>(4+13)</math> oder <math>\bold{28}</math> <math>(2+26)</math> erhalten.

Tabelle 1: Falls Euler die Summe 17 erhalten hat, kann diese aus den folgenden Summanden bestehen:

nach Vorgabe zerlegbar in Produkt mögliche Faktorenpaare
2 + 15 30 2 · 15 / 3 · 10 / 5 · 6
3 + 14 42 2 · 21 / 3 · 14 / 6 · 7
4 + 13 52 2 · 26 / 4 · 13
5 + 12 60 2 · 30 / 3 · 20 / 4 · 15 / 5 · 12 / 6 · 10
6 + 11 66 2 · 33 / 3 · 22 / 6 · 11
7 + 10 70 2 · 35 / 5 · 14 / 7 · 10
8 + 9 72 2 · 36 / 3 · 24 / 4 · 18 / 6 · 12 / 8 · 9

Tabelle 2: Falls Euler die Summe 28 erhalten hat, kommen folgende Summanden infrage:

nach Vorgabe zerlegbar in Produkt mögliche Faktorenpaare
2 + 26 52 2 · 26 / 4 · 13
3 + 25 75 3 · 25 / 5 · 15
4 + 24 96 2 · 48 / 3 · 32 / 4 · 24 / 6 · 16 / 8 · 12
5 + 23 115 5 · 23
6 + 22 132 2 · 66 / 3 · 44 / 4 · 33 / 6 · 22 / 11 · 12
7 + 21 147 3 · 49 / 7 · 21
8 + 20 160 2 · 80 / 4 · 40 / 5 · 32 / 8 · 20 / 10 · 16
9 + 19 171 3 · 57 / 9 · 19
10 + 18 180 2 · 90 / 3 · 60 / 4 · 45 / 5 · 36 / 6 · 30 / 9 · 20 / 10 · 18 / 12 · 15
11 + 17 187 11 · 17
12 + 16 192 2 · 96 / 3 · 64 / 4 · 48 / 6 · 32 / 8 · 24 / 12 · 16
13 + 15 195 3 · 65 / 5 · 39 / 13 · 15
14 + 14 196 2 · 98 / 4 · 49 / 7 · 28 / 14 · 14

Gauß: „Ich kenne die beiden Zahlen nicht.“

Euler hat die Summe 17 erhalten. Er wusste bereits, dass Gauß diese nicht eindeutig faktorisieren kann: Keines der Faktorenpaare in Tabelle 1 ist eindeutig.

Euler: „Das war mir klar.“

Gauß schließt daraus, dass Euler nicht die Summe 28 erhalten hat. Euler hätte ansonsten die Möglichkeit in Betracht ziehen müssen, dass Gauß mit dem Produkt 115 oder 187 bereits über eine eindeutige Lösung verfügt.

Gauß: „Jetzt kenne ich die beiden Zahlen.“

Euler kann nun die in Tabelle 1 dargestellten Möglichkeiten prüfen und die gleiche Schlussfolgerung treffen.

Euler: „Dann kenne ich sie jetzt auch.“

Weblinks

Verweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Luzifer-Rätsel&oldid=261324“