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

Mặt cầu có tâm và bán kính .
Gọi H là hình chiếu vuông góc của I trên d, khi đó H là trung điểm đoạn EF.
Ta có:
Suy ra EF lớn nhất khi nhỏ nhất. Đường thẳng d qua và có vectơ chỉ phương . Ta có .
Suy ra . Do đó nhỏ nhất khi .
Khi đó .