Sformułowanie Twierdzenie o trzech odstępach można sformułować geometrycznie, w języku punktów na okręgu. W tej postaci głosi ono, że jeśli na okręgu umieści się punkt początkowy, a następnie punktów pod kątami względem niego, to punkty te dzielą okrąg na nie więcej niż łuków o co najwyżej trzech różnych długościach. Łuków jest dokładnie gdy nie jest wymierną wielokrotnością bo wtedy żadne dwa z tych punktów się nie pokrywają. Równoważne i bardziej algebraiczne sformułowanie odwołuje się do części ułamkowych wielokrotności liczby rzeczywistej. Głosi ono, że dla dowolnej dodatniej liczby rzeczywistej i dodatniej liczby całkowitej części ułamkowe liczb dzielą odcinek jednostkowy na nie więcej niż podprzedziałów o co najwyżej trzech różnych długościach. Gdy jest niewymierna, podprzedziałów jest dokładnie a różnych długości zawsze co najmniej dwie. Oba zagadnienia są równoważne. Wystarczy liniowo utożsamić odcinek jednostkowy z obwodem okręgu tak, by obu końcom odcinka odpowiadał punkt początkowy, a liczbie rzeczywistej przyporządkować kąt .
Źródło i licencja
Fragment artykułu Wikipedia — Twierdzenie o trzech odstępach · historia autorów.
Tekst: CC BY-SA 4.0. Wydzielono fragment z dłuższego artykułu.