Trong không gian với hệ tọa độ , cho
và điểm
. Xét các điểm
sao cho đường thẳng
luôn tiếp xúc với
. Điểm
luôn thuộc một mặt phẳng cố định có phương trình là
Tọa độ tâm mặt cầu là:
Gọi khi đó:
.
Theo đề bài ra ta có:
Mặt khác phương trình mặt cầu
Lấy (*) trừ (**) ta được: .


