Dany jest ośmiościan foremny
o środku
. W płaszczyźnie
przechodzącej przez punkt
wybrano koła
i
o środku
i promieniach
i
, odpowiednio. Wykazać, że jeżeli
![]() |
to
![]() |
Rozważmy przekrój ośmiościanu płaszczyzną
. Punkt
jest środkiem symetrii tego przekroju, skąd wynika, że przekrój jest wielokątem o parzystej liczbie boków oraz że przeciwległe boki są równoległe i równej długości. W zależności od tego, czy płaszczyzna
przechodzi przez wierzchołek ośmiościanu, czy nie przechodzi, przekrój jest czworokątem lub sześciokątem. Rozważmy te przypadki kolejno.
Jeśli płaszczyzna
przechodzi przez wierzchołek ośmiościanu, to przechodzi też przez wierzchołek przeciwległy, skąd wynika, że sąsiednie boki przekroju mają równe długości, zatem przekrój jest rombem. Wobec tego średnica mniejszego z rozważanych kół nie przekracza odległości przeciwległych boków rombu, zaś średnica większego nie jest krótsza od dłuższej przekątnej rombu. Jeśli długość boku rombu wynosi
, to
,
, a zatem
![]() |
W drugim przypadku przekrojem jest sześciokąt, którego przeciwległe boki są równoległe i mają równe długości, a przekątne sześciokąta przecinają się w punkcie
, który jest ich wspólnym środkiem.
Przypuśćmy, że
,
,
,
,
,
są kolejnymi wierzchołkami tego sześciokąta, przy czym kąt
jest nie mniejszy od każdego z kątów mających wierzchołek
i ramiona przechodzące przez sąsiednie wierzchołki sześciokąta. Wobec tego
. Oczywiście promień
jest nie większy od odległości punktu
od odcinka
, promień
jest nie mniejszy od
. Ponieważ punkt
jest środkiem symetrii całej figury, więc trójkąt
jest równoramienny, odległość punktu
od
równa jest długości wysokości opuszczonej na
, tj. wynosi
![]() |
Wobec tego
![]() |