Three-Distance Theorem

Let be a real number, and consider the arithmetic progression modulo 1. You can think of this as walking along a circle with steps of a fixed length. The three-distance theorem states that the distance between any two consecutive footprints is one of at most three distinct numbers. That is, the circle is partitioned into arcs with at most three distinct lengths.

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

If is rational, then eventually (namely when is the denominator of ), so the steps are then retraced. In this case there is eventually only one length between distinct consecutive points.
The interesting case is when is irrational. This is the so-called "irrational rotation", and there are either two or three distinct lengths.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.