W czworościanie
punkty
i
są odpowiednio środkami krawędzi
i
. Punkt
leży na odcinku
, przy czym
oraz
. Punkt
jest środkiem sfery opisanej na czworościanie
. Dowieść, że jeżeli
, to
.
Wprowadźmy następujące oznaczenia:
![]() |
Wówczas na mocy twierdzenia cosinusów mamy
![]() |
Ponadto korzystając z twierdzenia Pitagorasa otrzymujemy
![]() |
Odejmując stronami równości (1) oraz wykorzystując zależność (2) uzyskujemy
. Stąd
, czyli
.