W pewnym czworościanie wszystkie sfery dopisane są styczne do ścian
czworościanu w środkach okręgów wpisanych w te ściany. Udowodnić,
że czworościan jest foremny.
Rozwiązanie
Weźmy pod uwagę sferę dopisaną do czworościanu
styczną do
ściany
w punkcie
, który jest środkiem koła
wpisanego w trójkąt
oraz styczną do płaszczyzn
i
odpowiednio w punktach
i
. Zauważmy, że
i
To oznacza, że trójkąty
i
są przystające, a stąd
(rys.1 przedstawia półpłaszczyzny ścian
i
,,rozłożone płasko”).
Podobnie uzasadniamy, że
(rys.2) przedstawia
półpłaszczyzny
i
,,rozłożone płasko”) – oraz że
Oczywiście
; stąd
i w konsekwencji
Rozważając sferę dopisaną, styczną do ściany
, stwierdzamy
analogicznie, że
. Zatem wszystkie kąty płaskie ścian
przy wierzchołku
są równe:
W ten sam sposób dowodzimy, że trzy kąty płaskie przy wierzchołku
są równe (oznaczmy ich miarę przez
), kąty przy wierzchołku
są równe
oraz kąty przy wierzchołku
są równe
.
Patrząc na sumy kątów w trójkątach ABD i BCD widzimy, że
Analogicznie uzasadniamy, że
To znaczy, że wszystkie kąty
wszystkich ścian czworościanu są równe. Zatem ściany są trójkątami
równobocznymi i czworościan jest foremny.