Na stole bilardowym w kształcie trójkąta, którego miary kątów są współmierne, pchnięto kulę z pewnego punktu wewnętrznego. Kula odbija się od ścian zgodnie z prawem "kąt padania równy kątowi odbicia". Udowodnić, że liczba kierunków, w jakich może się poruszać kula, jest skończona. (Zakładamy, że kula nie trafia w wierzchołek trójkąta).
Udowodnimy najpierw następujący
Lemat. Po dwukrotnym odbiciu kuli kolejno od boków
i
trójkąta
(rys. 14) kierunek ruchu kuli zmienia się o kąt
.
Dowód. Rozpatrzmy obraz
trójkąta
w symetrii względem prostej
oraz obraz
trójkąta
w symetrii względem prostej
. Oznaczmy przez
,
,
kolejne wektory obrazujące ruch kuli, przez
,
- obrazy wektorów
,
w pierwszej symetrii, a przez
- obraz wektora
w drugiej symetrii (rys. 14).
Z prawa ,,kąt padania równy jest kątowi odbicia'' wynika, że wektory
,
,
mają ten sam kierunek. Ponieważ złożenie rozważanych symetrii jest obrotem wokół punktu
o kąt
, więc trójkąt
jest obrazem trójkąta
przy tym obrocie, a wektor
- obrazem wektora
. Wynika stąd, że kierunki wektorów
i
różnią się o kąt
.
Przystąpimy teraz do rozwiązania zadania. Ponieważ miary kątów trójkąta
są współmierne, więc istnieje taka liczba
i liczby naturalne
,
,
, że
,
,
. Stąd
. Oznaczając
otrzymujemy, że
.
Zatem na mocy lematu po parzystej liczbie odbić kierunek ruchu kuli zmienia się o kąt, którego miara jest parzystą wielokrotnością liczby
, a więc jedną z liczb
. Zatem po parzystej liczbie odbić ruch kuli może się odbywać po jednym z
kierunków. Podobnie po nieparzystej liczbie odbić ruch kuli może się odbywać po jednym z
kierunków. Łączna liczba kierunków, po których porusza się kula, jest więc nie większa od
.
Uwaga. Analogicznie można udowodnić, że jeżeli w zadaniu trójkąt zastąpić dowolnym wielokątem, którego miary kątów są współmierne, to również liczba kierunków, po jakich może się poruszać kula w takim wielokącie, jest skończona.