Niech
będzie liczbą niewymierną,
- punktem okręgu
o środku
. Rozważmy ciąg nieskończony
punktów okręgu
, w którym punkt
jest obrazem punktu
w obrocie dookoła punktu
o kąt
. Dowieść, że każdy łuk okręgu
zawiera pewne punkty ciągu
.
Gdyby dla pewnych liczb naturalnych
i
, gdzie
, było
, to obroty o kąty
i
byłyby równe. Wtedy liczby
i
różniłyby się o całkowitą wielokrotność liczby
, tzn.
, gdzie
jest pewną liczbą całkowitą. Stąd
, co przeczy niewymierności liczby
. Wobec tego wszystkie wyrazy ciągu
są różne.
Niech
będzie łukiem długości
zawartym w okręgu
o promieniu długości
. Niech
będzie liczbą naturalną większą od
. Dzieląc okrąg
na
równych łuków o długości
stwierdzamy, że istnieje wśród nich łuk zawierający co najmniej dwa z punktów
. Niech będą to punkty
, gdzie
. Wtedy łuk
ma długość nie większą niż
. Ponieważ
, więc
i wobec tego długość łuku
jest mniejsza od
. Wynika stąd, że obrót o kąt
przeprowadza punkt
na
i ogólnie - punkt
na
dla
. Wobec tego kolejne wyrazy podciągu
wyznaczają łuki o długości
mniejszej od
. Pewien wyraz tego podciągu należy więc do łuku
o długości
.