Trong không gian với hệ tọa độ , cho
với
là các số thực thay đổi, khác 0 và thỏa mãn
. Gọi tâm mặt cầu ngoại tiếp tứ diện
là
. Giá trị nhỏ nhất của
bằng

Ta có OABC là tứ diện vuông tại O. Gọi M là trung điểm BC. Đường thẳng d qua M song song với OA là trục đường tròn ngoại tiếp tam giác OBC.
Trong mặt phẳng , từ trung điểm N của đoạn OA kẻ đường thẳng
vuông góc với OA tại N cắt d tại I. Khi đó I là tâm mặt cầu ngoại tiếp tứ diện OABC.
Ta có tọa độ điểm , khi đó điểm
.
Do đó .
Dấu bằng xảy ra






