Czworościan
jest opisany na kuli o środku
i promieniu 1, przy czym
. Wykazać, że
.
Udowodnimy najpierw następujący lemat.
Lemat
Trójkąt
jest zawarty w kole o promieniu
. Okrąg o promieniu
jest wpisany w trójkąt
. Wówczas
.
Dowód
Niech
będą odpowiednio środkami boków
(rys. 3). Oznaczmy ponadto przez
punkt przecięcia środkowych
,
i
. Rozpatrzmy dalej jednokładność o środku
i skali
. Jednokładność ta przeprowadza punkty
,
i 
odpowiednio na punkty
,
i
, natomiast okrąg o promieniu
zawierający trójkąt
na okrąg
o promieniu 
zawierający trójkąt
.


Poprowadźmy styczną
do okręgu
, która jest równoległa do boku
i która leży po przeciwnej stronie prostej
niż punkt
. Taka prosta istnieje, gdyż okrąg
przecina prostą
. Analogicznie konstruujemy styczne
i
równoległe odpowiednio do prostych
i
. Proste
,
,
wyznaczają boki trójkąta
podobnego do trójkąta
(rys. 4). Ponadto okrąg
jest wpisany w trójkąt
. Ponieważ trójkąt
jest zawarty w trójkącie
, więc promień okręgu wpisanego w trójkąt
nie przekracza promienia okręgu wpisanego
w trójkąt
. Stąd
, czyli
. To kończy dowód lematu.
Przystępujemy do rozwiązania zadania.
Rozpatrzmy płaszczyznę
przechodzącą przez punkt
i równoległą do płaszczyzny
. Płaszczyzna
przecina krawędzie
,
,
odpowiednio w punktach
,
,
i jej przekrój ze sferą wpisaną w czworościan
jest okręgiem
o promieniu 1, zawartym w trójkącie
. Jednokładność o środku
, która przeprowadza trójkąt
na trójkąt
odwzorowuje okrąg
na okrąg o promieniu większym niż 1 i zawartym w trójkącie
. Stąd wniosek, że promień okręgu wpisanego w trójkąt
jest większy od 1.
Niech
będzie punktem styczności sfery wpisanej w czworościan
ze ścianą
i przypuśćmy, że
. Wtedy również
oraz
. Ponadto
![]() |
i analogicznie
oraz
. Zatem trójkąt
leży wewnątrz okręgu o środku
i promieniu 2, co oznacza (na mocy lematu), że promień okręgu wpisanego w trójkąt
jest mniejszy lub równy 1. Otrzymaliśmy sprzeczność, gdyż jak udowodniliśmy wyżej promień ten jest większy od 1. Sprzeczność ta dowodzi, że
.