Trong không gian với hệ tọa độ , mặt cầu
và mặt phẳng
cắt nhau theo một đường tròn có chu vi là:
Hình vẽ minh họa
Mặt cầu (S) có tâm và bán kính
.
Ta có
Vì nên (α) cắt (S) theo giao tuyến là đường tròn (C).
Gọi H là hình chiếu vuông góc của I trên (α) ⇒ H là tâm của (C).
Lấy
Tam giác IHM vuông tại M
Suy ra chu vi của đường tròn (C) bằng .