Trong không gian $Oxyz$, cho mặt cầu...

Mặt cầu có tâm .
Gọi là điểm trên đoạn thỏa mãn .
Xét và có ; .
Từ đó ta có .
Dấu xảy ra khi nằm trên mặt phẳng trung trực của .
Mặt phẳng trung trực của có phương trình là .
Khi đó nằm trên đường tròn có bán kính .