Числа Маркова — это положительные числа x, y или z, являющиеся решениями диофантова уравнения Маркова

Первые уровни дерева чисел Маркова

которое изучал Андрей Андреевич Марков[1][2].

Первые несколько чисел Маркова

1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325, ... (A002559),

появляющиеся как координаты троек Маркова

(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), (1, 13, 34), (1, 34, 89), (2, 29, 169), (5, 13, 194), (1, 89, 233), (5, 29, 433), (1, 233, 610), (89, 233, 62210), и т.д.

Существует бесконечно много чисел Маркова и троек Маркова.

Дерево Маркова

править

Существует простой способ получения новой тройки Маркова из старой тройки (xyz). Сначала нормализуем тройку x,y,z, переставив числа так, чтобы x ≤ y ≤ z. Далее, если (xyz) является тройкой Маркова, то совершив прыжок Виета, получим (xy, 3xy − z). Если применить эту операцию второй раз, получим исходную тройку. Если связать каждую нормализованную тройку Маркова с 1, 2 или 3 нормализованными тройками, можно получить граф (дерево), имеющий в корне тройку (1,1,1), как на рисунке. Этот граф связен. Другими словами, любая тройка Маркова может быть получена из (1,1,1) в результате последовательности описанной выше операции[3]. Если мы начнём, скажем, с тройки (1, 5, 13), мы получим три соседние тройки — (5, 13, 194), (1, 13, 34) и (1, 2, 5) дерева Маркова, если в качестве z подставить 1, 5 и 13 соответственно. Если начать с (1, 1, 2) и перед каждой операцией менять местами y и z, получим тройки с числами Фибоначчи. Если же начать с той же тройки и менять местами x и z, получим числа Пелля.

Все числа Маркова, полученные первым способом, являются числами Фибоначчи с нечётными индексами (A001519), а полученные вторым способом — числами Пелля с нечётными индексами (или такими числами n, что 2n2 − 1 является квадратом, A001653). Таким образом, имеется бесконечно много троек Маркова вида

 

где Fx является x-м числом Фибоначчи. Таким же образом, существует бесконечно много троек Маркова вида

 

где Pxx-ое число Пелля[4]

Другие свойства

править

Кроме двух наименьших особенных троек (1,1,1) и (1,1,2) все тройки Маркова состоят из трёх различных целых чисел[5].

Гипотеза единственности утверждает, что для заданного числа Маркова c существует в точности одно нормализованное решение, в котором c является наибольшим элементом — доказательства этого факта объявлялись, но ни одно из них не признано удовлетворительным[6].

Нечётные числа Маркова сравнимы с 1 по модулю 4, чётные же числа сравнимы с 2 по модулю 32[7].

В статье 1982 года Дон Цагир высказал гипотезу, что n-ое число Маркова асимптотически задаётся выражением

 , где  

Более того, он указал на то, что  , приближение исходного диофантова уравнения, эквивалентно   с f(t) = arch(3t/2)[8]. Гипотезу доказали[9] Грег Макшейн и Игорь Ривин в 1995, используя технику гиперболической геометрии[10].

n-ое число Лагранжа можно вычислить из n-го числа Маркова по формуле

 

Числа Маркова являются суммами (неуникальных) пар квадратов.

Теорема Маркова

править

Марков[1][11] показал, что если

 

является неопределённой бинарной квадратичной формой с вещественными коэффициентами и дискриминантом  , то существуют целые числа xy, для которых f принимает ненулевое значение, по абсолютной величине не превосходящее

 ,

если только f не форма Маркова [12] — умноженная на константу форма

 ,

где (pqr) является тройкой Маркова и

 

Матрицы

править

Если X и Y принадлежат SL2(C), то

Tr(X) Tr(Y) Tr(XY) + Tr(XYX−1Y−1) + 2 = Tr(X)2 + Tr(Y)2 + Tr(XY)2

так что в случае Tr(XYX−1Y−1) = −2

Tr(X) Tr(Y) Tr(XY) = Tr(X)2 + Tr(Y)2 + Tr(XY)2

В частности, если X и Y имеют целочисленные составляющие, то Tr(X)/3, Tr(Y)/3 и Tr(XY)/3 является тройкой Маркова. Если XYZ = Е, то Tr(XY) = Tr(Z), более симметричны, если X, Y и Z входят в SL2(Z) с XYZ = Е и коммутатор двух из них имеет след −2, тогда их следы/3 являются тройкой Маркова[13].

См. также

править

Примечания

править
  1. 1 2 Марков, 1879.
  2. Марков, 1880.
  3. Cassels, 1957, с. 28.
  4. A030452 перечисляет числа Маркова, которые появляются в решениях с x = 5.
  5. Cassels, 1957, с. 27.
  6. Guy, 2004, с. 263.
  7. Zhang, 2007, с. 295–301.
  8. Zagier, 1982, с. 709–723.
  9. Не все авторы согласны, что гипотеза доказана, поскольку Макшейн и Ривин доказали её с ошибкой  .
  10. McShane, Rivin, 1995.
  11. Марков, 1880.
  12. Cassels, 1957, с. 39.
  13. Aigner, 2013, с. 63–77.

Литература

править
  • Крейн М. Диофантово уравнение А.А.Маркова // Квант. — 1985. — Вып. 4. — С. 13-16.
  • Ю. Г. Прохоров Числа Маркова в арифметике и геометрии на YouTube лекция на закрытии Московской математической олимпиады.
  • Ying Zhang. Congruence and Uniqueness of Certain Markov Numbers // Acta Arithmetica. — 2007. — Т. 128, вып. 3. — С. 295–301. — doi:10.4064/aa128-3-7.
  • Don B. Zagier. On the Number of Markoff Numbers Below a Given Bound // Mathematics of Computation. — 1982. — Т. 160, вып. 160. — С. 709–723. — doi:10.2307/2007348. — JSTOR 2007348.
  • Greg McShane, Igor Rivin. Simple curves on hyperbolic tori // C. R. Acad. Sci. Paris Sér. I. Math.. — 1995. — Т. 320, вып. 12.
  • Martin Aigner. The Cohn tree // Markov's theorem and 100 years of the uniqueness conjecture. — Springer, 2013. — С. 63–77. — ISBN 978-3-319-00887-5. — doi:10.1007/978-3-319-00888-2_4.
  • J.W.S. Cassels. An introduction to Diophantine approximation. — Cambridge University Press, 1957. — Т. 45. — (Cambridge Tracts in Mathematics and Mathematical Physics).
  • Thomas Cusick, Mari Flahive. The Markoff and Lagrange spectra. — Providence, RI: American Mathematical Society, 1989. — Т. 30. — (Math. Surveys and Monographs). — ISBN 0-8218-1531-8.
  • Richard K. Guy. Unsolved Problems in Number Theory. — Springer-Verlag, 2004. — С. 263–265. — ISBN 0-387-20860-7.
  • A.V. Malyshev. Markov spectrum problem // Hazewinkel, Michiel, Encyclopedia of Mathematics. — Springer, 2001. — ISBN 978-1-55608-010-4. (недоступная ссылка)
  • A. Markoff. Sur les formes quadratiques binaires indefinites // Mathematische Annalen. — Springer Berlin / Heidelberg. — ISSN 0025-5831.