Trong không gian $Oxyz$, cho đường thẳng...

Có

Do đó
Vậy là đường tròn giao tuyến của mặt phẳng và mặt cầu , với là tâm và là bán kính.

Vậy
Mặt khác . Gọi là hình chiếu vuông góc của lên có phương trình

Gọi là hình chiếu vuông góc của lên
là hình chiếu vuông góc của lên
Ta có
Do đó
Mà Do đó
Với
Vậy
.