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

Mặt cầu có tâm , bán kính .
Gọi .
Tam giác đều .
Tam giác vuông cân tại .
Tam giác cân tại .
Ta có: vuông tại .
Gọi là trung điểm của , suy ra, là tâm đường tròn ngoại tiếp tam giác
Vì nên thẳng hàng .
Áp dụng hệ thức lượng cho tam giác vuông tại ta nhận được
.
.