The 2x2 matrix representation of a continued fraction makes it clear that we're multiplying together a bunch of group elements. Inversion is essentially freely adjoining a generator to a Coxeter group; the usual notion of simple continued fractions comes from adding such a generator to $\tilde{I}\_1$.


Given a regular tiling of a two-dimensional space (whether spherical, Euclidean, or hyperbolic), we get a triangle group by barycentrically subdividing the regular polygons and considering the ways of reflecting the triangles into each other. The triangle group acts on the space in the obvious way.


Say we pick the center of one of the original polygons as our origin, pick units so that the hypotenuse of the triangle has length 1, and pick one of the triangles with a vertex at the origin as the canonical one.


We can act on the origin with an element of the triangle group and reflect it outside the unit circle, then geometrically invert the point and bring it back inside. Those points on the surface that one can reach in a finite number of such steps could be thought of as "rational".


In the Euclidean and hyperbolic cases, we can also go the other way, since geometric inversion always takes a point inside the unit circle to a point outside of it. We can act on a point in the space with a group element and reflect it into the canonical triangle, then do geometric inversion to place it outside the unit circle. Those points that reach the origin in a finite number of moves could be called "rational"; those points with repeating continued fractions could be called "quadratic surds".


Does anyone know of previous work on this idea? Does the generalization lead to any interesting number theory?



Previous work on this generalization of continued fractions?
The matrix representation of continued fractions appears in Milne-Thomson, "The Calculus of Finite Differences", Chelsea, 1981. As far as I know he was the first to study them systematically.


