Udowodnić, że jeżeli prosta łącząca środki dwóch przeciwległych krawędzi czworościanu przechodzi przez środek kuli wpisanej w ten czworościan, to przechodzi również przez środek kuli opisanej na tym czworościanie.
Udowodnimy najpierw lemat.
Lemat. Dany jest wypukły kąt dwuścienny utworzony przez półpłaszczyzny
i
o wspólnej krawędzi
. Niech
będzie półpłaszczyzną dwusieczną tego kąta dwuściennego. Przypuśćmy, że punkt
jest środkiem odcinka
o końcach
,
(przy czym
,
,
). Niech
oznacza rzut prostokątny punktu
na prostą
. Wówczas proste
i
są prostopadłe.
Dowód lematu. Proste
i
są skośne. Istnieje zatem dokładnie jedna płaszczyzna
zawierająca prostą
i równoległa do
. Przecina ona półpłaszczyzny
,
i
wzdłuż prostych
,
,
równoległych do
(rysunek 5). Proste
i
są więc prostopadłe.

Rozważmy trójkąt
położony w płaszczyźnie prostopadłej do
, o wierzchołkach
,
. Trójkąty prostokątne
i
mają równe kąty (
jako kąty wierzchołkowe) i równe przeciwprostokątne (
) - są więc przystające i wobec tego
. Zatem odcinek
jest środkową w trójkącie
. Jest on jednocześnie dwusieczną kąta
(bo półpłaszczyzna
połowi kąt dwuścienny między
i
). Wynika stąd, że ten odcinek jest w trójkącie
również wysokością, a więc
. Prosta
, jako prostopadła do prostych
i
położonych w płaszczyźnie
, jest prostopadła do tej płaszczyzny - a zatem i do prostej
.
Dowód tezy zadania. Niech
i
będą środkami krawędzi
i
czworościanu
(rysunek 6) i niech zgodnie z założeniem zadania prosta
przechodzi przez środek kuli wpisanej w czworościan. Wówczas półpłaszczyzna
połowi kąt dwuścienny utworzony przez ściany
i
. Oznaczając przez
rzut prostokątny punktu
na prostą
mamy na mocy lematu
. Analogicznie, półpłaszczyzną
połowi kąt dwuścienny między ścianami
i
, i z lematu
, gdzie
jest rzutem punktu
na prostą
.

Tak więc każda z prostych
i
jest prostopadła zarówno do prostej
, jak i do
. Ale dla dowolnej pary prostych skośnych istnieje tylko jedna prosta przecinająca je obydwie i do nich prostopadła. W konsekwencji proste
i
pokrywają się. Znaczy to, że prosta
jest prostopadła do prostych
i
. Zatem płaszczyzny
i
są płaszczyznami symetralnymi odcinków
i
(odpowiednio). Środek kuli opisanej musi należeć do obu tych płaszczyzn, a więc i do ich krawędzi przecięcia, czyli prostej
.