Dany jest czworościan
. Dowieść, że krawędzie
i
są prostopadłe wtedy i tylko wtedy, gdy istnieje w przestrzeni taki równoległobok
, że
oraz
.
Oznaczmy przez
prostą prostopadłą do płaszczyzny trójkąta
i przechodzącą przez środek okręgu opisanego na trójkącie
. Analogicznie, przez
oznaczmy prostą prostopadłą do płaszczyzny trójkąta
i przechodzącą przez środek okręgu opisanego na trójkącie
. Proste
,
przecinają się w przestrzeni (w środku sfery opisanej na czworościanie
) oraz obie są prostopadłe do krawędzi
. Zatem płaszczyzna
, zawierająca proste
i
jest prostopadła do krawędzi
czworościanu
.
Załóżmy najpierw, że istnieje taki równoległobok
, że
oraz
. Wówczas punkt
leży na prostej
, punkt
leży na prostej
. Prosta
leży w płaszczyźnie
, co oznacza, że jest ona prostopadła do krawędzi
. A ponieważ
, więc
.
Załóżmy teraz, że krawędzie
i
są prostopadłe. Wtedy prosta
jest równoległa do płaszczyzny
. Przesuwając prostą
o wektor
otrzymamy prostą
leżącą także w płaszczyźnie
(i nie równoległą do
). Istnieje więc punkt wspólny prostych
i
, który oznaczymy przez
. Niech
będzie obrazem punktu
w translacji o wektor
. Wówczas punkt
leży na prostej
. Punkt
leży na prostej
. Czworokąt
jest równoległobokiem, w którym
oraz
.