Trong không gian Oxyz, cho tứ diện ABCD với $A\left( m;0;0...

Đặt
Gọi M, N, O lần lượt là trung điểm của AB; CD và MN

Ta có:
Khi đó , tương tự suy ra O là tâm mặt cầu ngoại tiếp tứ diện.
Ta có:
Xét có:

.
Vậy .
Mặt khác
Suy ra .
Vậy .