W ostrosłupie prawidłowym o wierzchołku
i podstawie
każda krawędź boczna tworzy z płaszczyzną podstawy kąt
. Dla każdej liczby naturalnej
rozstrzygnąć, czy można wybrać takie punkty
leżące odpowiednio na krawędziach
, że
![]() |
Takie punkty istnieją dla dowolnego
.
Niech
będzie spodkiem wysokości ostrosłupa, zaś
miarą kąta ściany bocznej przy wierzchołku
. Z równości
otrzymujemy
![]() |
skąd
![]() |

Rozetnijmy powierzchnię boczną ostrosłupa wzdłuż krawędzi
i rozłóżmy ją na płaszczyźnie. Otrzymamy wtedy wielokąt
(rys. 1). Na mocy nierówności (1),
.
Niech
będą punktami przecięcia odcinka
odpowiednio z odcinkami
. Na mocy nierówności trójkąta,
![]() |
Punkty
wyznaczają więc punkty
na krawędziach ostrosłupa spełniające warunki zadania.