Cho khối tứ diện $ABCD$ có $\widehat{ADB}=\widehat{CDB}=60{}^\circ...

Gọi là trung điểm của , ta có . Tương tự ta cũng có , . Do đó ta có .
Do nên:
.
Khi đó .
Do nên tam giác đều suy ra , tam giác vuông cân tại . Do nên tam giác vuông cân tại .
Gọi là trung điểm của , ta có do tam giác vuông cân tại nên nên tam giác vuông cân tại , mà . Do đó . Suy ra .