Trong không gian Oxyz, lấy điểm C trên tia Oz sao cho $OC=1$. Trên...

Giả sử
Tứ diện OABC có OA, OB, OC đôi một vuông góc.
Gọi M, N lần lượt là trung điểm của AB và OC.
Ta có: .
Qua M dựng đường thẳng song song với OC, qua N dựng đường thẳng song song với OM. Hai đường thẳng này cắt nhau tại I.
vuông tại là tâm đường tròn ngoại tiếp
là tâm mặt cầu ngoại tiếp O.ABC.
Ta có: .

Vậy