Udowodnić, że na powierzchni czworościanu foremnego o krawędzi długości 1 istnieją takie punkty
i
, że dowolny punkt powierzchni tego czworościanu można połączyć z jednym z punktów
,
łamaną długości
leżącą na powierzchni czworościanu.
Udowodnimy, że jako punkty
i
można wziąć środki krawędzi
i
danego czworościanu foremnego
. Rozpatrzmy rozwinięcie płaskie dwóch ścian
i
tego czworościanu. Otrzymana figura płaska
jest rombem o boku długości
i kącie ostrym
(rys. 8). Niech punkt
dziekodcinek
w stosunku
i podobnie - punkt
dzieli odcinek
w stosunku
. Mamy więc
. Ponieważ
, więc trójkąt
jest prostokątny.
Na mocy twierdzenia Pitagorasa otrzymujemy
![]() |
czyli
. Analogicznie obliczamy, że
i
. Wobec tego
podobnie
. Mamy też
.
Wynika stąd, że czworokąt
jest zawarty w kole o środku w punkcie
i promieniu długości
i podobnie - czworokąt
jest zawarty w kole o środku w punkcie
i promieniu długości
. W szczególności więc każdy punkt trójkąta
jest odległy od jednego z punktów
i
nie więcej niż o
.
Podobnie przebiega dowód analogicznej własności dla każdego z
trójkątów, na które dzielą ściany danego czworościanu wysokości o spodkach w punktach
lub
.