OFFSET
1,3
FORMULA
a(n) = m_2(n) is the fundamental proper solution y of the indefinite binary quadratic form x^2 - 3*m(n)*x*y + y^2, of discriminant D(n) = 9*m(n)^2 - 4 = A305312(n), representing -m(n)^2, for n >= 1, with x <= y. The uniqueness conjecture means that there are no other such fundamental solutions.
EXAMPLE
See A305313 for the first Markoff triples MT(n).
CROSSREFS
KEYWORD
nonn
AUTHOR
Wolfdieter Lang, Jun 25 2018
STATUS
approved