Cho hai mặt cầu...

Mặt cầu có tâm , bán kính .

Mặt cầu có tâm , bán kính .
Có .
Suy ra hai mặt cầu cắt nhau theo giao tuyến là đường tròn .
Gọi là điểm chung của thì tọa độ A là nghiệm đúng của hệ:

Suy ra A thuộc mặt phẳng
Giao tuyến của mp và là đường tròn chứa điểm A.
Gọi T là giao điểm của IJ và mp thì T là tâm của đường tròn .
Có . Gọi r là bán kính của thì .
. Vậy (đvdt)