Markoff-Zahl
Eine Markoff-Zahl (nach Andrei Andrejewitsch Markow) ist eine natürliche Zahl <math>x, y</math> oder <math>z</math>, die als Lösung der diophantischen Markoff-Gleichung
- <math>x^2 + y^2 + z^2 = 3xyz\,</math>
vorkommt. Die ersten Markoff-Zahlen sind
- 1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325, …
Sie sind Teile der Lösungen der Markoff-Gleichung, von denen die ersten <math>(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29)</math> lauten. Die Lösungen werden auch als Markoff-Tripel bezeichnet.<ref>Siehe auch den Abschnitt „Die Markoff-Zahlen“ in Paulo Ribenboims Buch Meine Zahlen, meine Freunde: Google Books</ref><ref>Die Markoff-Zahlen sind die Folge A002559 in Neil Sloanes Online Encyclopedia of Integer Sequences.</ref>
Markoff-Zahlen kommen in der Theorie der Quadratischen Formen und der diophantischen Approximationen vor: Ist <math>m</math> eine Markoff-Zahl, so ist <math>m/\sqrt{9m^2-4}</math> sowohl ein Element des sogenannten Markoff-Spektrums (quadratische Formen) als auch des Lagrange-Spektrums (diophantische Approximationen).
Eigenschaften
Es gibt unendlich viele Markoff-Zahlen und -Tripel. Da die Markoff-Gleichung symmetrisch in den Variablen ist, kann man die Lösungstripel <math>(x, y, z)</math> der Größe nach geordnet mit <math>x \le y \le z</math> angeben. Mit Ausnahme der beiden kleinsten Tripel <math>(1,1,1)</math> und <math>(1,1,2)</math> bestehen die Lösungstripel <math>(x, y, z)</math> aus drei verschiedenen Zahlen. Eine seit langer Zeit untersuchte – aber noch unbewiesene – Vermutung besagt, dass das größte Element <math>z</math> eines Tripels schon das Markoff-Tripel <math>(x, y, z)</math> bestimmt.<ref>Der Lösungsansatz von Norbert Riedel aus dem Jahr 2007 (Markoff Equation and Nilpotent Matrices, Vorlage:ArXiv) wird diskutiert in dem langen Artikel von Serge Perrine: De Frobenius à Riedel: analyse des solutions de l’équation de Markoff, Archive-Ouvertes (PDF; 713 kB).</ref>
Die Markoff-Zahlen können wie rechts abgebildet in einem Baum angeordnet werden. Die zur Region 1 benachbarten Markoff-Zahlen sind die Fibonacci-Zahlen <math>f_i</math> mit ungeradem <math>i</math>. Die zur Region 2 benachbarten Markoff-Zahlen sind die sogenannten Pell-Zahlen <math>p_i</math> mit ungeradem <math>i</math>.<ref>Diese genügen, mit den Startwerten <math>p_0=0</math> und <math>p_1=1</math>, der Rekursion <math>p_i = 2p_{i-1}+p_{i-2}</math>. Die Pell-Zahlen mit ungeradem <math>i</math> haben die Eigenschaft, dass <math>2p_i^2 - 1</math> eine Quadratzahl ist (sie sind Lösungen <math>y</math> der Pellschen Gleichung <math>x^2-2y^2=-1\,</math>).</ref>
Ist eine Markoff-Zahl <math>m</math> ungerade, so erfüllt sie die Kongruenz <math>m \equiv 1\ mod\ 4</math> und wenn sie gerade ist, dann gilt <math>m \equiv 2\ mod\ 32</math>.<ref>Ying Zhang: Congruence and Uniqueness of Certain Markov Numbers, Acta Arithmetica 128 3, 2007, 295–301</ref> Die drei Markoff-Zahlen eines Tripels sind stets paarweise teilerfremd.
Die Erzeugung neuer Markoff-Tripel aus bekannten
Man kann aus einer Lösung <math>(x, y, z)</math> der Markoff-Gleichung mittels <math>(x, y, z) \to (x, y, 3xy - z)</math> weitere Lösungen erzeugen.<ref>Es gilt nämlich <math>x^2 + y^2 + (3xy-z)^2 = x^2 + y^2 + z^2 + 9x^2y^2 - 6xyz = 9x^2y^2 - 3xyz = 3(3xy-z)xy\,</math>.</ref> Dabei ist es nicht nötig, dass die Lösung, mit der man beginnt, der Größe nach geordnet ist. Die unterschiedlichen Anordnungen von <math>x, y</math> und <math>z</math> können unterschiedliche Tripel <math>(x, y, 3xy - z)</math> erzeugen.
Nimmt man zum Beispiel <math>(1, 5, 13)</math>, dann bekommt man die drei benachbarten Tripel <math>(5, 13, 194), (1, 13, 34)</math> und <math>(1, 2, 5)</math> im Markoff-Baum, wenn man <math>x</math> gleich <math>1, 5</math> oder <math>13</math> setzt. Wendet man <math>(x, y, z) \to (x, y, 3xy - z)</math> zweimal an, ohne die Einträge im Tripel umzusortieren, so bekommt man wieder das Ausgangstripel.
Beginnt man mit <math>(1, 1, 2)</math> und vertauscht fortwährend <math>y</math> und <math>z</math> vor jeder Transformation, so erzeugt man damit die oben erwähnten Markoff-Tripel, die Fibonacci-Zahlen enthalten. Mit dem gleichen Starttripel aber mit Vertauschen von <math>x</math> und <math>z</math> erzeugt man die Pell-Lösungen.
Wie groß ist die n-te Markoff-Zahl?
Im Jahr 1982 bewies Don Zagier eine asymptotische Formel für die Anzahl der Markoff-Tripel unterhalb einer Schranke und vermutete, dass die <math>n</math>-te Markoff-Zahl asymptotisch gegeben ist durch
- <math>m_n = \tfrac13 e^{C\sqrt{n}+o(1)}</math> mit <math>C = 2,3523418721\ldots</math>
(hier wird die O-Notation von E. Landau verwendet).<ref>Don B. Zagier: On the Number of Markoff Numbers Below a Given Bound. In: Mathematics of Computation, 160, 1982, S. 709–723, ams.org (PDF; 1,2 MB)</ref><ref>Siehe den <templatestyles src="Webarchiv/styles.css" />{{#if:20140224114418
| {{#ifeq: 20140224114418 | *
| {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20140224114418}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20140224114418}} im Internet Archive{{#if: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#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: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#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: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#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!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: PDF; 4,2 MB | ; PDF; 4,2 MB }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Vortrag von M. Waldschmidt | {{#invoke:WLink|getEscapedTitle|Vortrag von M. Waldschmidt}} | {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}} }}
}}}}}}}}{{#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:20140224114418|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#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: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#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.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf}}
|| {{#if: || }}
}}{{#if: Vortrag von M. Waldschmidt
| {{#if: {{#invoke:WLink|isBracketedLink|Vortrag von M. Waldschmidt}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch: PDF; 4,2 MB
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.math.jussieu.fr/~miw/articles/pdf/MarkoffEn2009.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#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}}
}}
}}
}}</ref>
Der Fehler <math>(\log(3 m_n)/C)^2-n</math> ist in der nebenstehenden Abbildung illustriert. Die 1000. Markoff-Zahl ist ca. <math>6\cdot 10^{31}</math>.<ref>Folge A002559 in OEIS</ref>
Literatur
- Thomas Cusick, Mari Flahive: The Markoff and Lagrange spectra. In: Math. Surveys and Monographs, 30, 1989, AMS, Providence
- Serge Perrine: La théorie de Markoff et ses développements. Tessier & Ashpool, 2002, Vorlage:ArXiv
- Caroline Series: The Geometry of Markoff Numbers. In: The Mathematical Intelligencer, 7 (3), 1985, S. 20–29.
- {{#if: | {{{author}}} | Eric W. Weisstein }}: Markov number. In: MathWorld (englisch). {{#if: MarkovNumber | {{#ifeq: {{#property:P2812}} | MarkovNumber | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Einzelnachweise
<references />
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:Wikidata P2812 verschieden
- Wikipedia:Wikidata P2812 fehlt
- Zahlentheorie