  We prove an analog of Lagrange's Theorem for continued fractions on the
Heisenberg group: points with an eventually periodic continued fraction
expansion are those that satisfy a particular type of quadratic form, and
vice-versa.
