Dowieść, że jeżeli w czworościanie
odcinki łączące wierzchołki czworościanu ze środkami kół wpisanych w ściany przeciwległe przecinają się w jednym punkcie, to
![]() |
i że zachodzi również twierdzenie odwrotne.
1°. Niech
będzie środkiem koła wpisanego w trójkąt
, a
- środkiem koła wpisanego w trójkąt
(rys. 18). Według założenia odcinki
i
przecinają się w pewnym punkcie
. Płaszczyzna przechodząca przez krawędź
i przez punkt
przecina krawędź
w punkcie
, który jest punktem przecięcia półprostych
i
. Półprosta
jest dwusieczną kąta
, a półprosta
- dwusieczną kąta
; według twierdzenia o dwusiecznej kąta w trójkącie
![]() |
zatem
![]() |
Ponieważ takie samo rozumowanie można zastosować do dowolnych dwóch ścian czworościanu, więc wszystkie
iloczyny krawędzi przeciwległych są równe, tj. zachodzą równości (1).
2°. Załóżmy, że krawędzie czworościanu spełniają równości (1). Z równości
wynika, że
, skąd wnioskujemy, że dwusieczne kątów
i
przecinają odcinek
w tym samym punkcie
, gdyż pierwsza dzieli odcinek
w stosunku
, druga zaś w stosunku
. Wobec tego odcinki
i
(gdzie
i
są środkami kół wpisanych w trójkąty
i
) przecinają się w pewnym punkcie
trójkąta
.
W taki sam sposób dowiedziemy, że każde dwa spośród odcinków łączących wierzchołki czworościanu ze środkami kół wpisanych w przeciwległe ściany czworościanu przecinają się. Należy jeszcze udowodnić, że wszystkie te odcinki przecinają się w jednym i tym samym punkcie. Wykażemy na przykład, że odcinek
(
- środek koła wpisanego w trójkąt
) przechodzi przez punkt przecięcia
odcinków
i
. Istotnie, odcinek
przecina płaszczyznę
w pewnym punkcie
, gdyż punkty
i
leżą po przeciwnych stronach tej płaszczyzny. Ponieważ zaś odcinek
przecina każdy z odcinków
i
płaszczyzny
, więc punkt
pokrywa się z punktem
.