{"id":"arxiv/2603.12425","url":"https://arxiv.org/abs/2603.12425","tags":["math.NT","math.DS","math.GR","math.MG","math.RA"],"score":0,"title":"A geometric proof of Lagrange's theorem for continued fractions","domain":"math.NT","source":"arxiv","authors":["Anton Lukyanenko","Joseph Vandehey"],"reviews":0,"subject":"math.NT","summary":"For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\\in \\mathcal M(\\infty)$ for the appropriate modular group $\\mathcal M$, and $p$ is a fixed point of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-12","reactions":{}}