Dany jest czworościan
. Dwusieczna kąta
przecina krawędź
w punkcie
. Punkt
jest symetryczny do
względem punktu
. Punkt
leży na krawędzi
, przy czym
. Udowodnić, że z odcinków o długościach
,
oraz
można zbudować trójkąt.
Niech
będzie środkiem krawędzi
, zaś
- punktem symetrycznym do punktu
względem punktu
(rys. 3).

Ponieważ
, więc punkty
i
leżą symetrycznie względem dwusiecznej
kąta
, a zatem
. Ponadto trójkąt
jest obrazem trójkąta
w jednokładności o środku w punkcie
i skali
, co daje
. Wreszcie końce odcinków
i
są odpowiednio symetryczne do siebie względem punktu
, skąd
.
Z wyprowadzonych zależności otrzymujemy, że trójkąt
jest zbudowany z odcinków o długościach
,
oraz
, skąd wynika teza (punkty
,
,
nie leżą na jednej prostej, gdyż punkt
znajduje się poza płaszczyzną
).