Every reduced fraction p/q gets a circle of radius 1/(2q²), tangent to the number line at p/q and tangent to its Farey neighbors. Scroll / drag to explore; deeper zoom reveals finer circles automatically.
10
Only fractions whose continued-fraction digits [a₁,a₂,…] stay ≤ k are drawn. Drag k down and watch the set thin into a Cantor-like dust — this is exactly the "bounded-type" continued fraction set the source paper studies.
Box-counting dimension (visible set)
—
Approximate, live-recomputed from tangent points currently generated on screen — not a closed-form value. Full line (k→∞) → dimension 1. As k shrinks, the visible bounded-type set thins toward a fractal dust.
generating…
Built from Ford circles (real, classical construction: circle at reduced p/q has center (p/q, 1/(2q²)) and radius 1/(2q²), generated recursively via Stern–Brocot mediants) filtered by continued-fraction partial quotients (real: computed via the Euclidean algorithm on each p/q, exactly the "bounded type" sets in the source paper). The Hausdorff dimension estimate is a genuine (if coarse) live box-count over on-screen tangent points — a real diagnostic, not a canned number. Colors, glow, and the spiral-highlight styling are stylized for legibility. Grounded in arXiv:2606.07139, “Multi-scale properties of continued fraction sets” (math.NT) — arxiv.org/abs/2606.07139.