Rozważamy ostrosłup prawidłowy ośmiokątny. Oznacza to, że w jego podstawie znajduje się ośmiokąt foremny, a jego krawędzie boczne są sobie równe. Znamy długość krawędzi bocznej oraz miarę kąta między